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: 3639 MiB (1676 MiB free)
  node distances:
     10

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

running on 1 cores: 3

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


[startup+0.100692 s]*
/proc/loadavg: 0.00 0.01 0.28 8/457 418482
/proc/meminfo: memFree=1706788/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=10932 CPUtime=0.08 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1586 0 0 0 8 0 0 0 20 0 1 0 225476854 39485440 2733 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2733 1494 2 0 2049 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 10932 KiB

[startup+0.226693 s]*
/proc/loadavg: 0.00 0.01 0.28 7/457 418482
/proc/meminfo: memFree=1705964/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=10932 CPUtime=0.19 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1586 0 0 0 19 0 0 0 20 0 1 0 225476854 39485440 2733 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2733 1494 2 0 2049 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 10932 KiB

[startup+0.326693 s]*
/proc/loadavg: 0.00 0.01 0.28 7/457 418482
/proc/meminfo: memFree=1705460/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=10932 CPUtime=0.27 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1586 0 0 0 27 0 0 0 20 0 1 0 225476854 39485440 2733 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2733 1494 2 0 2049 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 10932 KiB

[startup+0.700688 s]
/proc/loadavg: 0.00 0.01 0.28 8/457 418482
/proc/meminfo: memFree=1704452/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=10932 CPUtime=0.57 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1593 0 0 0 57 0 0 0 20 0 1 0 225476854 39485440 2733 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2733 1494 2 0 2049 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 10932 KiB

[startup+1.50069 s]
/proc/loadavg: 0.00 0.01 0.28 7/457 418482
/proc/meminfo: memFree=1704200/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=11196 CPUtime=1.35 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1632 0 0 0 135 0 0 0 20 0 1 0 225476854 39485440 2799 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2799 1494 2 0 2049 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 11196 KiB

[startup+3.13469 s]
/proc/loadavg: 0.32 0.08 0.30 8/456 418482
/proc/meminfo: memFree=1703948/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=11196 CPUtime=2.94 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1640 0 0 0 294 0 0 0 20 0 1 0 225476854 39485440 2799 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2799 1494 2 0 2049 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 11196 KiB

[startup+6.30069 s]
/proc/loadavg: 0.32 0.08 0.30 7/456 418482
/proc/meminfo: memFree=1703884/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=11196 CPUtime=6.04 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1642 0 0 0 603 1 0 0 20 0 1 0 225476854 39485440 2799 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2799 1494 2 0 2049 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 11196 KiB

[startup+12.7057 s]
/proc/loadavg: 0.62 0.14 0.32 7/456 418482
/proc/meminfo: memFree=1703412/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=11196 CPUtime=12.3 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1648 0 0 0 1229 1 0 0 20 0 1 0 225476854 39485440 2799 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2799 1494 2 0 2049 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 11196 KiB

[startup+25.5017 s]
/proc/loadavg: 1.37 0.33 0.38 7/456 418490
/proc/meminfo: memFree=1701672/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=11196 CPUtime=24.76 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1649 0 0 0 2475 1 0 0 20 0 1 0 225476854 39485440 2799 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2799 1494 2 0 2049 0
Current children cumulated CPU time: 24.76 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 11196 KiB

[startup+51.1297 s]
/proc/loadavg: 2.25 0.63 0.48 6/448 418492
/proc/meminfo: memFree=1708500/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=11196 CPUtime=49.75 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1661 0 0 0 4974 1 0 0 20 0 1 0 225476854 39485440 2799 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2799 1494 2 0 2049 0
Current children cumulated CPU time: 49.75 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 11196 KiB

[startup+102.301 s]
/proc/loadavg: 2.68 1.00 0.61 6/448 418502
/proc/meminfo: memFree=1708080/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38560 memory=11460 CPUtime=99.69 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1718 0 0 0 9968 1 0 0 20 0 1 0 225476854 39485440 2865 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9640 2865 1494 2 0 2049 0
Current children cumulated CPU time: 99.69 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 11460 KiB

[startup+162.301 s]
/proc/loadavg: 2.88 1.36 0.76 6/448 418511
/proc/meminfo: memFree=1708108/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38816 memory=11788 CPUtime=158.24 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416690 0 0 0 14732 1092 0 0 20 0 1 0 225476854 39747584 2947 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9704 2947 1494 2 0 2113 0
Current children cumulated CPU time: 158.24 s
Current children cumulated vsize: 38816 KiB
Current children cumulated memory: 11788 KiB

[startup+222.301 s]
/proc/loadavg: 2.96 1.66 0.91 6/448 418522
/proc/meminfo: memFree=1707012/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38816 memory=11788 CPUtime=216.79 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416726 0 0 0 20587 1092 0 0 20 0 1 0 225476854 39747584 2947 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9704 2947 1494 2 0 2113 0
Current children cumulated CPU time: 216.79 s
Current children cumulated vsize: 38816 KiB
Current children cumulated memory: 11788 KiB

[startup+282.301 s]
/proc/loadavg: 2.99 1.91 1.04 5/448 418531
/proc/meminfo: memFree=1707036/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38816 memory=12048 CPUtime=275.36 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416777 0 0 0 26444 1092 0 0 20 0 1 0 225476854 39747584 3012 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9704 3012 1494 2 0 2113 0
Current children cumulated CPU time: 275.36 s
Current children cumulated vsize: 38816 KiB
Current children cumulated memory: 12048 KiB

[startup+342.301 s]
/proc/loadavg: 3.04 2.12 1.17 7/447 418541
/proc/meminfo: memFree=1706312/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=38948 memory=12048 CPUtime=333.93 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416806 0 0 0 32301 1092 0 0 20 0 1 0 225476854 39882752 3012 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9737 3012 1494 2 0 2146 0
Current children cumulated CPU time: 333.93 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 12048 KiB

[startup+402.301 s]
/proc/loadavg: 3.04 2.30 1.29 6/447 418550
/proc/meminfo: memFree=1704960/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39084 memory=12312 CPUtime=392.5 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416834 0 0 0 38158 1092 0 0 20 0 1 0 225476854 40022016 3078 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9771 3078 1494 2 0 2180 0
Current children cumulated CPU time: 392.5 s
Current children cumulated vsize: 39084 KiB
Current children cumulated memory: 12312 KiB

[startup+462.301 s]
/proc/loadavg: 3.06 2.45 1.41 6/447 418560
/proc/meminfo: memFree=1704676/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39220 memory=12312 CPUtime=451.08 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416864 0 0 0 44015 1093 0 0 20 0 1 0 225476854 40161280 3078 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9805 3078 1494 2 0 2214 0
Current children cumulated CPU time: 451.08 s
Current children cumulated vsize: 39220 KiB
Current children cumulated memory: 12312 KiB

[startup+522.301 s]
/proc/loadavg: 3.05 2.56 1.52 6/447 418569
/proc/meminfo: memFree=1704424/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=509.65 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416941 0 0 0 49872 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 509.65 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+582.301 s]
/proc/loadavg: 3.02 2.64 1.61 6/447 418579
/proc/meminfo: memFree=1704396/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=568.23 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416942 0 0 0 55730 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 568.23 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+642.301 s]
/proc/loadavg: 3.00 2.71 1.70 6/447 418589
/proc/meminfo: memFree=1704652/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=626.81 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416943 0 0 0 61588 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 626.81 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+702.301 s]
/proc/loadavg: 3.00 2.77 1.79 6/447 418600
/proc/meminfo: memFree=1703652/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=685.38 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416943 0 0 0 67445 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 685.38 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+762.301 s]
/proc/loadavg: 3.10 2.84 1.87 6/447 418609
/proc/meminfo: memFree=1703620/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=743.96 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416943 0 0 0 73303 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 743.96 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+822.301 s]
/proc/loadavg: 3.17 2.91 1.96 5/447 418619
/proc/meminfo: memFree=1703620/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=802.53 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 79160 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 802.53 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+882.301 s]
/proc/loadavg: 3.15 2.95 2.04 6/446 418639
/proc/meminfo: memFree=1703868/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=861.1 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 85017 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 861.1 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+942.301 s]
/proc/loadavg: 3.19 3.00 2.11 6/447 418649
/proc/meminfo: memFree=1703588/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=919.69 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 90876 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 919.69 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1002.3 s]
/proc/loadavg: 3.07 3.00 2.17 7/446 418658
/proc/meminfo: memFree=1703784/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=978.27 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 96734 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 978.27 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1062.3 s]
/proc/loadavg: 3.02 3.00 2.22 6/447 418669
/proc/meminfo: memFree=1703808/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1036.85 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 102592 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1036.85 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1122.3 s]
/proc/loadavg: 3.01 3.00 2.28 6/447 418678
/proc/meminfo: memFree=1703776/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1095.42 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 108449 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1095.42 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 2.32 7/447 418687
/proc/meminfo: memFree=1703776/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1154 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 114307 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1154 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 2.37 6/447 418697
/proc/meminfo: memFree=1703188/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1212.57 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 120164 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1212.57 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 2.41 6/447 418708
/proc/meminfo: memFree=1703380/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1271.15 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 126022 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1271.15 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1362.3 s]
/proc/loadavg: 3.09 3.03 2.46 6/447 418718
/proc/meminfo: memFree=1703552/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1329.73 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 131880 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1329.73 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1422.3 s]
/proc/loadavg: 3.07 3.03 2.50 6/447 418728
/proc/meminfo: memFree=1703156/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1388.31 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 137738 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1388.31 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1482.3 s]
/proc/loadavg: 3.06 3.04 2.54 7/447 418737
/proc/meminfo: memFree=1703268/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1446.89 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 143596 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1446.89 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1542.3 s]
/proc/loadavg: 3.09 3.05 2.58 6/447 418746
/proc/meminfo: memFree=1703472/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1505.46 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 149453 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1505.46 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1602.3 s]
/proc/loadavg: 3.03 3.03 2.61 6/447 418765
/proc/meminfo: memFree=1703148/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1564.03 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 155310 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1564.03 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1662.3 s]
/proc/loadavg: 3.08 3.04 2.64 5/449 418777
/proc/meminfo: memFree=1703120/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1622.6 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 161167 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1622.6 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1722.3 s]
/proc/loadavg: 3.03 3.03 2.66 7/449 418790
/proc/meminfo: memFree=1703144/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1681.17 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 167024 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1681.17 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1782.3 s]
/proc/loadavg: 3.01 3.02 2.69 6/449 418799
/proc/meminfo: memFree=1702892/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1739.74 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 172881 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1739.74 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB
slurmstepd: error: *** JOB 4287 ON node201 CANCELLED AT 2021-07-15T10:17:08 DUE TO TIME LIMIT ***

Detected pigeons:

[startup+1799.37 s]
# the end of solver process 418480 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1745.46 s, system=10.9387 s

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

[startup+1792.01 s]*
/proc/loadavg: 3.01 3.02 2.69 5/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1749.23 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 173830 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1749.23 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1795.21 s]
/proc/loadavg: 3.01 3.02 2.69 6/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1752.33 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 174140 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1752.33 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1796.8 s]
/proc/loadavg: 3.01 3.02 2.69 6/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1753.9 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 174297 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1753.9 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1798.4 s]
/proc/loadavg: 3.01 3.02 2.70 6/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1755.45 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 174452 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1755.45 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1798.8 s]
/proc/loadavg: 3.01 3.02 2.70 6/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1755.85 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 174492 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1755.85 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1799.2 s]
/proc/loadavg: 3.01 3.02 2.70 5/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1756.23 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 174530 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1756.23 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

[startup+1799.3 s]
/proc/loadavg: 3.01 3.02 2.70 5/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418480] ppid=418479 vsize=39356 memory=12576 CPUtime=1756.33 cores=3
/proc/418480/stat : 418480 (pigeonPurSampli) R 418479 418480 418466 0 -1 4194304 1416945 0 0 0 174540 1093 0 0 20 0 1 0 225476854 40300544 3144 18446744073709551615 94218295185408 94218295189520 140721106378544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94218297289984 94218297290756 94218320687104 140721106383348 140721106383446 140721106383446 140721106386913 0
/proc/418480/statm: 9839 3144 1494 2 0 2248 0
Current children cumulated CPU time: 1756.33 s
Current children cumulated vsize: 39356 KiB
Current children cumulated memory: 12576 KiB

Child status: 1
Real time (s): 1799.37
CPU time (s): 1756.4
CPU user time (s): 1745.46
CPU system time (s): 10.9387
CPU usage (%): 97.6116
Max. virtual memory (cumulated for all children) (KiB): 39356
Max. memory (cumulated for all children) (KiB): 12576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.46
system time used= 10.9387
maximum resident set size= 12576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1416947
page faults= 0
swaps= 0
block input operations= 104
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 40314


# summary of solver processes directly reported to runsolver:
#   pid: 418480
#   total CPU time (s): 1756.4
#   total CPU user time (s): 1745.46
#   total CPU system time (s): 10.9387

??? end of timestamper thread
runsolver used 15.3266 second user time and 21.154 second system time

The end
