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

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

running on 1 cores: 2

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


[startup+0.100445 s]*
/proc/loadavg: 0.00 0.01 0.28 7/457 418482
/proc/meminfo: memFree=1707008/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10360 CPUtime=0.1 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1486 0 0 0 9 1 0 0 20 0 1 0 225476853 39223296 2590 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2590 1483 2 0 1985 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10360 KiB

[startup+0.234443 s]*
/proc/loadavg: 0.00 0.01 0.28 6/457 418482
/proc/meminfo: memFree=1706216/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10360 CPUtime=0.21 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1488 0 0 0 20 1 0 0 20 0 1 0 225476853 39223296 2590 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2590 1483 2 0 1985 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10360 KiB

[startup+0.332445 s]*
/proc/loadavg: 0.00 0.01 0.28 6/457 418482
/proc/meminfo: memFree=1705460/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10360 CPUtime=0.28 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1490 0 0 0 27 1 0 0 20 0 1 0 225476853 39223296 2590 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2590 1483 2 0 1985 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10360 KiB

[startup+0.700442 s]
/proc/loadavg: 0.00 0.01 0.28 6/457 418482
/proc/meminfo: memFree=1704704/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10624 CPUtime=0.58 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1503 0 0 0 57 1 0 0 20 0 1 0 225476853 39223296 2656 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2656 1483 2 0 1985 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10624 KiB

[startup+1.50244 s]
/proc/loadavg: 0.00 0.01 0.28 6/457 418482
/proc/meminfo: memFree=1704200/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10624 CPUtime=1.35 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1506 0 0 0 134 1 0 0 20 0 1 0 225476853 39223296 2656 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2656 1483 2 0 1985 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10624 KiB

[startup+3.13444 s]
/proc/loadavg: 0.32 0.08 0.30 6/456 418482
/proc/meminfo: memFree=1703948/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10624 CPUtime=2.93 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1507 0 0 0 292 1 0 0 20 0 1 0 225476853 39223296 2656 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2656 1483 2 0 1985 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10624 KiB

[startup+6.30044 s]
/proc/loadavg: 0.32 0.08 0.30 6/456 418482
/proc/meminfo: memFree=1703884/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10624 CPUtime=6.02 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1511 0 0 0 601 1 0 0 20 0 1 0 225476853 39223296 2656 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2656 1483 2 0 1985 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10624 KiB

[startup+12.7004 s]
/proc/loadavg: 0.62 0.14 0.32 7/456 418482
/proc/meminfo: memFree=1703412/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10624 CPUtime=12.27 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1513 0 0 0 1226 1 0 0 20 0 1 0 225476853 39223296 2656 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2656 1483 2 0 1985 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10624 KiB

[startup+25.5004 s]
/proc/loadavg: 1.37 0.33 0.38 7/456 418490
/proc/meminfo: memFree=1701672/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10624 CPUtime=24.75 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1518 0 0 0 2474 1 0 0 20 0 1 0 225476853 39223296 2656 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2656 1483 2 0 1985 0
Current children cumulated CPU time: 24.75 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10624 KiB

[startup+51.1355 s]
/proc/loadavg: 2.25 0.63 0.48 5/448 418492
/proc/meminfo: memFree=1708500/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10624 CPUtime=49.72 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1547 0 0 0 4971 1 0 0 20 0 1 0 225476853 39223296 2656 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2656 1483 2 0 1985 0
Current children cumulated CPU time: 49.72 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10624 KiB

[startup+102.3 s]
/proc/loadavg: 2.68 1.00 0.61 5/448 418502
/proc/meminfo: memFree=1708080/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10888 CPUtime=99.59 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1587 0 0 0 9958 1 0 0 20 0 1 0 225476853 39223296 2722 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2722 1483 2 0 1985 0
Current children cumulated CPU time: 99.59 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10888 KiB

[startup+162.3 s]
/proc/loadavg: 2.88 1.36 0.76 5/448 418511
/proc/meminfo: memFree=1708108/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=10888 CPUtime=158.08 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1623 0 0 0 15807 1 0 0 20 0 1 0 225476853 39223296 2722 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2722 1483 2 0 1985 0
Current children cumulated CPU time: 158.08 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 10888 KiB

[startup+222.3 s]
/proc/loadavg: 2.96 1.66 0.91 5/448 418522
/proc/meminfo: memFree=1707012/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38304 memory=11152 CPUtime=216.57 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1654 0 0 0 21656 1 0 0 20 0 1 0 225476853 39223296 2788 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9576 2788 1483 2 0 1985 0
Current children cumulated CPU time: 216.57 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 11152 KiB

[startup+282.3 s]
/proc/loadavg: 2.99 1.91 1.04 5/448 418531
/proc/meminfo: memFree=1707036/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=11416 CPUtime=275.06 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1717 0 0 0 27505 1 0 0 20 0 1 0 225476853 39485440 2854 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 2854 1483 2 0 2049 0
Current children cumulated CPU time: 275.06 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 11416 KiB

[startup+342.3 s]
/proc/loadavg: 3.04 2.12 1.17 5/447 418541
/proc/meminfo: memFree=1706312/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=11416 CPUtime=333.56 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1721 0 0 0 33355 1 0 0 20 0 1 0 225476853 39485440 2854 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 2854 1483 2 0 2049 0
Current children cumulated CPU time: 333.56 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 11416 KiB

[startup+402.3 s]
/proc/loadavg: 3.04 2.30 1.29 5/447 418550
/proc/meminfo: memFree=1704960/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=392.06 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1734 0 0 0 39205 1 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 392.06 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+462.3 s]
/proc/loadavg: 3.06 2.45 1.41 5/447 418560
/proc/meminfo: memFree=1704676/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=450.57 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 45056 1 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 450.57 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+522.3 s]
/proc/loadavg: 3.05 2.56 1.52 5/447 418569
/proc/meminfo: memFree=1704424/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=509.09 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 50907 2 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 509.09 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+582.3 s]
/proc/loadavg: 3.02 2.64 1.61 5/447 418579
/proc/meminfo: memFree=1704396/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=567.61 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 56759 2 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 567.61 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+642.3 s]
/proc/loadavg: 3.00 2.71 1.70 5/447 418589
/proc/meminfo: memFree=1704652/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=626.13 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 62611 2 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 626.13 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+702.3 s]
/proc/loadavg: 3.00 2.77 1.79 5/447 418600
/proc/meminfo: memFree=1703652/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=684.65 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 68463 2 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 684.65 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+762.3 s]
/proc/loadavg: 3.10 2.84 1.87 5/447 418609
/proc/meminfo: memFree=1703620/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=743.18 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 74316 2 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 743.18 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+822.3 s]
/proc/loadavg: 3.17 2.91 1.96 5/447 418619
/proc/meminfo: memFree=1703620/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=801.7 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 80168 2 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 801.7 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+882.3 s]
/proc/loadavg: 3.15 2.95 2.04 5/446 418639
/proc/meminfo: memFree=1703868/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=860.22 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 86020 2 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 860.22 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+942.3 s]
/proc/loadavg: 3.19 3.00 2.11 5/447 418649
/proc/meminfo: memFree=1703588/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=918.75 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 91873 2 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 918.75 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1002.3 s]
/proc/loadavg: 3.07 3.00 2.17 5/446 418658
/proc/meminfo: memFree=1703784/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=977.28 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 97726 2 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 977.28 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1062.3 s]
/proc/loadavg: 3.02 3.00 2.22 5/447 418669
/proc/meminfo: memFree=1703808/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1035.8 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 103578 2 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1035.8 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1122.3 s]
/proc/loadavg: 3.01 3.00 2.28 5/447 418678
/proc/meminfo: memFree=1703776/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1094.33 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 109430 3 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1094.33 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 2.32 5/447 418687
/proc/meminfo: memFree=1703776/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1152.86 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 115283 3 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1152.86 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 2.37 5/447 418697
/proc/meminfo: memFree=1703188/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1211.38 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 121135 3 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1211.38 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 2.41 5/447 418708
/proc/meminfo: memFree=1703380/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1269.9 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 126987 3 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1269.9 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1362.3 s]
/proc/loadavg: 3.09 3.03 2.46 5/447 418718
/proc/meminfo: memFree=1703552/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1328.43 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 132840 3 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1328.43 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1422.3 s]
/proc/loadavg: 3.07 3.03 2.50 5/447 418728
/proc/meminfo: memFree=1703156/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1386.95 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 138692 3 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1386.95 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1482.3 s]
/proc/loadavg: 3.06 3.04 2.54 5/447 418737
/proc/meminfo: memFree=1703268/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1445.48 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 144544 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1445.48 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1542.3 s]
/proc/loadavg: 3.09 3.05 2.58 5/447 418746
/proc/meminfo: memFree=1703472/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1504.01 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 150397 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1504.01 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1602.3 s]
/proc/loadavg: 3.03 3.03 2.61 5/447 418765
/proc/meminfo: memFree=1703148/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1562.51 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 156247 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1562.51 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 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=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1621.02 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 162098 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1621.02 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1722.3 s]
/proc/loadavg: 3.03 3.03 2.66 5/449 418790
/proc/meminfo: memFree=1703144/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1679.54 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 167950 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1679.54 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1782.3 s]
/proc/loadavg: 3.01 3.02 2.69 5/449 418799
/proc/meminfo: memFree=1702892/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1738.05 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 173801 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1738.05 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB
slurmstepd: error: *** JOB 4286 ON node201 CANCELLED AT 2021-07-15T10:17:08 DUE TO TIME LIMIT ***

Detected pigeons:

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

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

[startup+1792 s]*
/proc/loadavg: 3.01 3.02 2.69 5/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1747.53 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 174749 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1747.53 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1795.2 s]
/proc/loadavg: 3.01 3.02 2.69 5/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1750.63 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 175059 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1750.63 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1796.8 s]
/proc/loadavg: 3.01 3.02 2.69 5/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1752.2 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 175216 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1752.2 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1798.4 s]
/proc/loadavg: 3.01 3.02 2.70 5/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1753.75 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 175371 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1753.75 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

[startup+1798.8 s]
/proc/loadavg: 3.01 3.02 2.70 5/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1754.15 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 175411 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1754.15 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 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=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1754.53 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 175449 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1754.53 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 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=418476] ppid=418475 vsize=38560 memory=12872 CPUtime=1754.63 cores=2
/proc/418476/stat : 418476 (pigeonPurSampli) R 418475 418476 418460 0 -1 4194304 1746 0 0 0 175459 4 0 0 20 0 1 0 225476853 39485440 3218 18446744073709551615 94315938750464 94315938754576 140735564910736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94315940855040 94315940855812 94315944443904 140735564915188 140735564915286 140735564915286 140735564918753 0
/proc/418476/statm: 9640 3218 1483 2 0 2049 0
Current children cumulated CPU time: 1754.63 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12872 KiB

Child status: 1
Real time (s): 1799.37
CPU time (s): 1754.7
CPU user time (s): 1754.65
CPU system time (s): 0.047495
CPU usage (%): 97.5172
Max. virtual memory (cumulated for all children) (KiB): 38560
Max. memory (cumulated for all children) (KiB): 12872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.65
system time used= 0.047495
maximum resident set size= 12896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1748
page faults= 0
swaps= 0
block input operations= 64
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 27074


# summary of solver processes directly reported to runsolver:
#   pid: 418476
#   total CPU time (s): 1754.7
#   total CPU user time (s): 1754.65
#   total CPU system time (s): 0.047495

??? end of timestamper thread
runsolver used 16.5142 second user time and 21.1437 second system time

The end
