runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 1
  memory of node 0: 3630 MiB (1718 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/biere/dinphil/dp06u05.shuffled.cnf 

running on 1 cores: 0

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-305.3.1.el8.x86_64
solver pid=413028, runsolver pid=413025
Current StackSize limit: 8192 KiB


[startup+0.100793 s]*
/proc/loadavg: 0.00 0.32 1.60 6/472 413039
/proc/meminfo: memFree=1732852/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39072 memory=11432 CPUtime=0.09 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1744 0 0 0 9 0 0 0 20 0 1 0 225722840 40009728 2858 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9768 2858 1488 2 0 2177 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 11432 KiB

[startup+0.234792 s]*
/proc/loadavg: 0.00 0.32 1.60 6/472 413039
/proc/meminfo: memFree=1729576/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39072 memory=11432 CPUtime=0.19 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1744 0 0 0 19 0 0 0 20 0 1 0 225722840 40009728 2858 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9768 2858 1488 2 0 2177 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 11432 KiB

[startup+0.337793 s]*
/proc/loadavg: 0.00 0.32 1.60 6/472 413039
/proc/meminfo: memFree=1728512/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39072 memory=11432 CPUtime=0.28 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1744 0 0 0 28 0 0 0 20 0 1 0 225722840 40009728 2858 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9768 2858 1488 2 0 2177 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 11432 KiB

[startup+0.708796 s]
/proc/loadavg: 0.00 0.32 1.60 6/472 413039
/proc/meminfo: memFree=1727252/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39328 memory=11640 CPUtime=0.57 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1747 0 0 0 57 0 0 0 20 0 1 0 225722840 40271872 2910 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9832 2910 1488 2 0 2241 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 39328 KiB
Current children cumulated memory: 11640 KiB

[startup+1.5008 s]
/proc/loadavg: 0.00 0.32 1.60 6/472 413039
/proc/meminfo: memFree=1727252/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39328 memory=11640 CPUtime=1.32 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1764 0 0 0 132 0 0 0 20 0 1 0 225722840 40271872 2910 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9832 2910 1488 2 0 2241 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 39328 KiB
Current children cumulated memory: 11640 KiB

[startup+3.1338 s]
/proc/loadavg: 0.32 0.38 1.61 7/472 413039
/proc/meminfo: memFree=1726676/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39328 memory=11900 CPUtime=2.9 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1818 0 0 0 290 0 0 0 20 0 1 0 225722840 40271872 2975 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9832 2975 1488 2 0 2241 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 39328 KiB
Current children cumulated memory: 11900 KiB

[startup+6.3008 s]
/proc/loadavg: 0.32 0.38 1.61 6/472 413039
/proc/meminfo: memFree=1726580/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39328 memory=11900 CPUtime=5.99 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1851 0 0 0 598 1 0 0 20 0 1 0 225722840 40271872 2975 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9832 2975 1488 2 0 2241 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 39328 KiB
Current children cumulated memory: 11900 KiB

[startup+12.7008 s]
/proc/loadavg: 0.62 0.44 1.62 7/472 413039
/proc/meminfo: memFree=1724816/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39328 memory=11900 CPUtime=12.22 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1862 0 0 0 1221 1 0 0 20 0 1 0 225722840 40271872 2975 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9832 2975 1488 2 0 2241 0
Current children cumulated CPU time: 12.22 s
Current children cumulated vsize: 39328 KiB
Current children cumulated memory: 11900 KiB

[startup+25.5008 s]
/proc/loadavg: 1.37 0.62 1.66 7/471 413047
/proc/meminfo: memFree=1723492/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39328 memory=11900 CPUtime=24.64 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1876 0 0 0 2463 1 0 0 20 0 1 0 225722840 40271872 2975 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9832 2975 1488 2 0 2241 0
Current children cumulated CPU time: 24.64 s
Current children cumulated vsize: 39328 KiB
Current children cumulated memory: 11900 KiB

[startup+51.1338 s]
/proc/loadavg: 2.27 0.89 1.73 8/471 413048
/proc/meminfo: memFree=1722988/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39328 memory=12164 CPUtime=49.52 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1883 0 0 0 4951 1 0 0 20 0 1 0 225722840 40271872 3041 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9832 3041 1488 2 0 2241 0
Current children cumulated CPU time: 49.52 s
Current children cumulated vsize: 39328 KiB
Current children cumulated memory: 12164 KiB

[startup+102.301 s]
/proc/loadavg: 3.31 1.39 1.85 7/470 413057
/proc/meminfo: memFree=1721948/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39328 memory=12164 CPUtime=99.23 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1925 0 0 0 9922 1 0 0 20 0 1 0 225722840 40271872 3041 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9832 3041 1488 2 0 2241 0
Current children cumulated CPU time: 99.23 s
Current children cumulated vsize: 39328 KiB
Current children cumulated memory: 12164 KiB

[startup+162.301 s]
/proc/loadavg: 4.02 1.94 2.02 7/472 413069
/proc/meminfo: memFree=1715036/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39328 memory=13624 CPUtime=157.46 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 1964 0 0 0 15745 1 0 0 20 0 1 0 225722840 40271872 3406 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9832 3406 1488 2 0 2241 0
Current children cumulated CPU time: 157.46 s
Current children cumulated vsize: 39328 KiB
Current children cumulated memory: 13624 KiB

[startup+222.301 s]
/proc/loadavg: 4.11 2.35 2.15 6/472 413078
/proc/meminfo: memFree=1714532/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39460 memory=13624 CPUtime=215.73 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2003 0 0 0 21572 1 0 0 20 0 1 0 225722840 40407040 3406 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9865 3406 1488 2 0 2274 0
Current children cumulated CPU time: 215.73 s
Current children cumulated vsize: 39460 KiB
Current children cumulated memory: 13624 KiB

[startup+282.301 s]
/proc/loadavg: 5.16 2.95 2.37 6/472 413087
/proc/meminfo: memFree=1714500/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39600 memory=13888 CPUtime=273.97 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2037 0 0 0 27396 1 0 0 20 0 1 0 225722840 40550400 3472 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9900 3472 1488 2 0 2309 0
Current children cumulated CPU time: 273.97 s
Current children cumulated vsize: 39600 KiB
Current children cumulated memory: 13888 KiB

[startup+342.307 s]
/proc/loadavg: 6.30 3.68 2.66 7/470 413097
/proc/meminfo: memFree=1714548/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39600 memory=13888 CPUtime=332.24 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2071 0 0 0 33223 1 0 0 20 0 1 0 225722840 40550400 3472 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9900 3472 1488 2 0 2309 0
Current children cumulated CPU time: 332.24 s
Current children cumulated vsize: 39600 KiB
Current children cumulated memory: 13888 KiB

[startup+402.301 s]
/proc/loadavg: 7.31 4.46 3.00 6/470 413106
/proc/meminfo: memFree=1713728/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39740 memory=14152 CPUtime=390.4 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2107 0 0 0 39039 1 0 0 20 0 1 0 225722840 40693760 3538 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9935 3538 1488 2 0 2344 0
Current children cumulated CPU time: 390.4 s
Current children cumulated vsize: 39740 KiB
Current children cumulated memory: 14152 KiB

[startup+462.301 s]
/proc/loadavg: 7.06 4.91 3.24 7/468 413115
/proc/meminfo: memFree=1713192/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=39876 memory=14152 CPUtime=448.51 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2139 0 0 0 44849 2 0 0 20 0 1 0 225722840 40833024 3538 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 9969 3538 1488 2 0 2378 0
Current children cumulated CPU time: 448.51 s
Current children cumulated vsize: 39876 KiB
Current children cumulated memory: 14152 KiB

[startup+522.301 s]
/proc/loadavg: 6.00 5.04 3.40 7/469 413126
/proc/meminfo: memFree=1712940/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=506.64 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 50662 2 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 506.64 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+582.301 s]
/proc/loadavg: 4.99 4.92 3.46 6/470 413136
/proc/meminfo: memFree=1712656/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=564.83 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 56481 2 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 564.83 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+642.32 s]
/proc/loadavg: 4.36 4.75 3.50 7/470 413146
/proc/meminfo: memFree=1713160/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=622.99 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 62297 2 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 622.99 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+702.301 s]
/proc/loadavg: 4.13 4.61 3.54 7/470 413155
/proc/meminfo: memFree=1712624/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=681.13 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 68111 2 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 681.13 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+762.301 s]
/proc/loadavg: 4.12 4.52 3.57 6/470 413165
/proc/meminfo: memFree=1712340/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=739.38 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 73936 2 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 739.38 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+822.301 s]
/proc/loadavg: 4.04 4.42 3.60 7/470 413175
/proc/meminfo: memFree=1712560/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=797.57 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 79755 2 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 797.57 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+882.301 s]
/proc/loadavg: 4.21 4.39 3.65 6/470 413195
/proc/meminfo: memFree=1712340/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=855.91 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 85589 2 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 855.91 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+942.301 s]
/proc/loadavg: 4.45 4.41 3.70 6/469 413205
/proc/meminfo: memFree=1711804/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=914.23 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 91421 2 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 914.23 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1002.3 s]
/proc/loadavg: 4.58 4.45 3.76 6/469 413214
/proc/meminfo: memFree=1711804/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=972.58 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 97255 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 972.58 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1062.3 s]
/proc/loadavg: 4.49 4.45 3.81 7/469 413223
/proc/meminfo: memFree=1711520/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1030.93 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 103090 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1030.93 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1122.31 s]
/proc/loadavg: 4.23 4.38 3.83 6/469 413234
/proc/meminfo: memFree=1711204/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1089.29 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 108926 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1089.29 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1182.3 s]
/proc/loadavg: 4.08 4.31 3.84 7/470 413244
/proc/meminfo: memFree=1711424/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1147.59 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 114756 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1147.59 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1242.3 s]
/proc/loadavg: 4.18 4.29 3.86 7/470 413254
/proc/meminfo: memFree=1711140/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1205.73 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 120570 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1205.73 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1302.3 s]
/proc/loadavg: 4.36 4.32 3.91 6/470 413263
/proc/meminfo: memFree=1711140/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1263.89 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 126386 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1263.89 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1362.3 s]
/proc/loadavg: 4.73 4.43 3.97 6/470 413273
/proc/meminfo: memFree=1710856/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1322.04 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 132201 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1322.04 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1422.3 s]
/proc/loadavg: 4.45 4.41 4.00 6/469 413282
/proc/meminfo: memFree=1711076/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1380.17 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 138014 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1380.17 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1482.3 s]
/proc/loadavg: 4.20 4.35 4.00 6/468 413291
/proc/meminfo: memFree=1711076/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1438.46 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 143843 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1438.46 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1542.3 s]
/proc/loadavg: 4.07 4.28 4.00 7/470 413304
/proc/meminfo: memFree=1710540/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1496.61 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 149658 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1496.61 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1602.3 s]
/proc/loadavg: 4.02 4.23 4.00 7/471 413314
/proc/meminfo: memFree=1710760/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1554.75 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 155472 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1554.75 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1662.3 s]
/proc/loadavg: 4.01 4.18 4.00 6/471 413323
/proc/meminfo: memFree=1710728/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1612.92 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 161289 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1612.92 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1722.3 s]
/proc/loadavg: 4.00 4.15 4.00 6/471 413337
/proc/meminfo: memFree=1710444/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1671.2 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 167117 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1671.2 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1782.3 s]
/proc/loadavg: 4.35 4.21 4.03 6/471 413346
/proc/meminfo: memFree=1710412/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1729.42 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 172939 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1729.42 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB
slurmstepd: error: *** JOB 4288 ON node202 CANCELLED AT 2021-07-15T10:17:08 DUE TO TIME LIMIT ***

Detected pigeons:

[startup+1799.44 s]
# the end of solver process 413028 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1746.05 s, system=0.03556 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1792 s]*
/proc/loadavg: 4.53 4.26 4.05 7/472 413348
/proc/meminfo: memFree=1710412/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1738.87 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 173884 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1738.87 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1795.2 s]
/proc/loadavg: 4.64 4.29 4.06 8/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1741.97 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 174194 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1741.97 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1796.8 s]
/proc/loadavg: 4.64 4.29 4.06 6/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1743.53 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 174350 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1743.53 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1798.4 s]
/proc/loadavg: 4.64 4.29 4.06 6/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1745.08 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 174505 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1745.08 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1799.2 s]
/proc/loadavg: 4.75 4.32 4.07 6/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1745.86 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 174583 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1745.86 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

[startup+1799.4 s]
/proc/loadavg: 4.75 4.32 4.07 6/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413028] ppid=413025 vsize=40272 memory=14680 CPUtime=1746.05 cores=0
/proc/413028/stat : 413028 (pigeonPurSampli) R 413025 413028 413000 0 -1 4194304 2235 0 0 0 174602 3 0 0 20 0 1 0 225722840 41238528 3670 18446744073709551615 94857380073472 94857380077584 140728097704864 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 225722841 0 0 94857382178048 94857382178820 94857385353216 140728097710580 140728097710678 140728097710678 140728097714145 0
/proc/413028/statm: 10068 3670 1488 2 0 2477 0
Current children cumulated CPU time: 1746.05 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 14680 KiB

Child status: 1
Real time (s): 1799.44
CPU time (s): 1746.08
CPU user time (s): 1746.05
CPU system time (s): 0.03556
CPU usage (%): 97.035
Max. virtual memory (cumulated for all children) (KiB): 40272
Max. memory (cumulated for all children) (KiB): 14680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.05
system time used= 0.03556
maximum resident set size= 14680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2237
page faults= 0
swaps= 0
block input operations= 168
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 64692


# summary of solver processes directly reported to runsolver:
#   pid: 413028
#   total CPU time (s): 1746.08
#   total CPU user time (s): 1746.05
#   total CPU system time (s): 0.03556

??? end of timestamper thread
runsolver used 16.4647 second user time and 22.2158 second system time

The end
