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

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2003/industrial/am_5_5.cnf 

running on 1 cores: 1

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


[startup+0.100496 s]*
/proc/loadavg: 0.00 0.00 0.00 8/458 356489
/proc/meminfo: memFree=1702600/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=0.1 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1868 0 0 0 9 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+0.230501 s]*
/proc/loadavg: 0.00 0.00 0.00 10/458 356489
/proc/meminfo: memFree=1693024/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=0.2 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1868 0 0 0 19 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+0.326498 s]*
/proc/loadavg: 0.00 0.00 0.00 8/458 356489
/proc/meminfo: memFree=1692016/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=0.28 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1868 0 0 0 27 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+0.700499 s]
/proc/loadavg: 0.00 0.00 0.00 8/458 356489
/proc/meminfo: memFree=1691008/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=0.58 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1868 0 0 0 57 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+1.5005 s]
/proc/loadavg: 0.00 0.00 0.00 8/458 356489
/proc/meminfo: memFree=1690872/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=1.35 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1869 0 0 0 134 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+3.12349 s]
/proc/loadavg: 0.48 0.10 0.03 10/458 356489
/proc/meminfo: memFree=1690116/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=2.92 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1869 0 0 0 291 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+6.3095 s]
/proc/loadavg: 0.48 0.10 0.03 8/458 356489
/proc/meminfo: memFree=1689988/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=6.01 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1869 0 0 0 600 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+12.7035 s]
/proc/loadavg: 0.84 0.18 0.06 8/458 356489
/proc/meminfo: memFree=1689484/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=12.21 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1869 0 0 0 1220 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 12.21 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+25.5015 s]
/proc/loadavg: 1.68 0.40 0.13 10/458 356489
/proc/meminfo: memFree=1689568/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=24.62 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1869 0 0 0 2461 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 24.62 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+51.1385 s]
/proc/loadavg: 2.55 0.71 0.24 8/458 356498
/proc/meminfo: memFree=1687548/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=49.45 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 4944 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 49.45 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+102.31 s]
/proc/loadavg: 3.68 1.30 0.47 8/458 356507
/proc/meminfo: memFree=1686004/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=99.07 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 9906 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 99.07 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 1.88 0.72 8/458 356516
/proc/meminfo: memFree=1685972/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=157.39 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 15738 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 157.39 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.27 0.93 8/455 356526
/proc/meminfo: memFree=1684964/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=215.65 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 21564 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 215.65 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+282.301 s]
/proc/loadavg: 4.02 2.59 1.13 8/456 356537
/proc/meminfo: memFree=1684960/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=273.98 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 27397 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 273.98 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+342.306 s]
/proc/loadavg: 4.00 2.85 1.31 8/455 356546
/proc/meminfo: memFree=1684740/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=332.29 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 33228 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 332.29 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+402.309 s]
/proc/loadavg: 4.11 3.09 1.49 8/455 356556
/proc/meminfo: memFree=1677400/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=390.57 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 39056 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 390.57 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+462.306 s]
/proc/loadavg: 4.11 3.27 1.66 8/456 356566
/proc/meminfo: memFree=1669556/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=448.82 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 44881 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 448.82 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+522.3 s]
/proc/loadavg: 4.38 3.50 1.84 8/455 356575
/proc/meminfo: memFree=1660232/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=507.04 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 50703 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 507.04 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+582.308 s]
/proc/loadavg: 4.49 3.70 2.01 8/455 356585
/proc/meminfo: memFree=1656420/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=565.27 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 56526 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 565.27 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+642.31 s]
/proc/loadavg: 4.64 3.89 2.19 8/455 356596
/proc/meminfo: memFree=1655916/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39336 memory=12196 CPUtime=623.48 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1870 0 0 0 62347 1 0 0 20 0 1 0 189317577 40280064 3049 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9834 3049 1543 2 0 2243 0
Current children cumulated CPU time: 623.48 s
Current children cumulated vsize: 39336 KiB
Current children cumulated memory: 12196 KiB

[startup+702.3 s]
/proc/loadavg: 4.46 3.98 2.32 8/455 356605
/proc/meminfo: memFree=1653136/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39848 memory=12724 CPUtime=681.7 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 1999 0 0 0 68169 1 0 0 20 0 1 0 189317577 40804352 3181 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9962 3181 1543 2 0 2371 0
Current children cumulated CPU time: 681.7 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 12724 KiB

[startup+762.3 s]
/proc/loadavg: 4.25 4.01 2.44 8/455 356615
/proc/meminfo: memFree=1633452/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39848 memory=14404 CPUtime=739.94 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2000 0 0 0 73993 1 0 0 20 0 1 0 189317577 40804352 3601 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9962 3601 1543 2 0 2371 0
Current children cumulated CPU time: 739.94 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 14404 KiB

[startup+822.308 s]
/proc/loadavg: 4.33 4.09 2.57 8/456 356626
/proc/meminfo: memFree=1631656/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39848 memory=14404 CPUtime=798.14 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2000 0 0 0 79813 1 0 0 20 0 1 0 189317577 40804352 3601 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9962 3601 1543 2 0 2371 0
Current children cumulated CPU time: 798.14 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 14404 KiB

[startup+882.3 s]
/proc/loadavg: 4.26 4.11 2.68 8/456 356635
/proc/meminfo: memFree=1612976/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39848 memory=14404 CPUtime=856.37 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2000 0 0 0 85635 2 0 0 20 0 1 0 189317577 40804352 3601 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9962 3601 1543 2 0 2371 0
Current children cumulated CPU time: 856.37 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 14404 KiB

[startup+942.308 s]
/proc/loadavg: 4.15 4.10 2.77 8/457 356646
/proc/meminfo: memFree=1608692/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39848 memory=14404 CPUtime=914.57 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2000 0 0 0 91455 2 0 0 20 0 1 0 189317577 40804352 3601 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9962 3601 1543 2 0 2371 0
Current children cumulated CPU time: 914.57 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 14404 KiB

[startup+1002.3 s]
/proc/loadavg: 4.80 4.27 2.91 11/457 356657
/proc/meminfo: memFree=1608660/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39848 memory=14404 CPUtime=972.77 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2000 0 0 0 97275 2 0 0 20 0 1 0 189317577 40804352 3601 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9962 3601 1543 2 0 2371 0
Current children cumulated CPU time: 972.77 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 14404 KiB

[startup+1062.31 s]
/proc/loadavg: 6.40 4.82 3.19 8/458 356667
/proc/meminfo: memFree=1608408/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39848 memory=14404 CPUtime=1030.97 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2000 0 0 0 103095 2 0 0 20 0 1 0 189317577 40804352 3601 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9962 3601 1543 2 0 2371 0
Current children cumulated CPU time: 1030.97 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 14404 KiB

[startup+1122.3 s]
/proc/loadavg: 7.71 5.47 3.51 8/456 356676
/proc/meminfo: memFree=1606612/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39848 memory=14404 CPUtime=1089.11 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2000 0 0 0 108909 2 0 0 20 0 1 0 189317577 40804352 3601 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9962 3601 1543 2 0 2371 0
Current children cumulated CPU time: 1089.11 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 14404 KiB

[startup+1182.31 s]
/proc/loadavg: 7.51 5.83 3.76 8/456 356685
/proc/meminfo: memFree=1606108/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39848 memory=14404 CPUtime=1147.25 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2000 0 0 0 114723 2 0 0 20 0 1 0 189317577 40804352 3601 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9962 3601 1543 2 0 2371 0
Current children cumulated CPU time: 1147.25 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 14404 KiB

[startup+1242.3 s]
/proc/loadavg: 6.26 5.79 3.88 8/455 356695
/proc/meminfo: memFree=1603556/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=39848 memory=14404 CPUtime=1205.4 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2000 0 0 0 120538 2 0 0 20 0 1 0 189317577 40804352 3601 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 9962 3601 1543 2 0 2371 0
Current children cumulated CPU time: 1205.4 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 14404 KiB

[startup+1302.31 s]
/proc/loadavg: 5.13 5.56 3.92 8/455 356711
/proc/meminfo: memFree=1598736/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=40104 memory=14928 CPUtime=1263.59 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2104 0 0 0 126357 2 0 0 20 0 1 0 189317577 41066496 3732 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 10026 3732 1543 2 0 2435 0
Current children cumulated CPU time: 1263.59 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14928 KiB

[startup+1362.3 s]
/proc/loadavg: 4.61 5.33 3.95 8/455 356720
/proc/meminfo: memFree=1589632/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=40104 memory=14928 CPUtime=1321.8 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2104 0 0 0 132178 2 0 0 20 0 1 0 189317577 41066496 3732 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 10026 3732 1543 2 0 2435 0
Current children cumulated CPU time: 1321.8 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14928 KiB

[startup+1422.31 s]
/proc/loadavg: 4.22 5.09 3.96 8/455 356729
/proc/meminfo: memFree=1589128/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=40104 memory=14928 CPUtime=1380.02 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2104 0 0 0 138000 2 0 0 20 0 1 0 189317577 41066496 3732 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 10026 3732 1543 2 0 2435 0
Current children cumulated CPU time: 1380.02 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14928 KiB

[startup+1482.3 s]
/proc/loadavg: 4.08 4.89 3.96 9/455 356738
/proc/meminfo: memFree=1589096/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=40104 memory=14928 CPUtime=1438.23 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2104 0 0 0 143820 3 0 0 20 0 1 0 189317577 41066496 3732 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 10026 3732 1543 2 0 2435 0
Current children cumulated CPU time: 1438.23 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14928 KiB

[startup+1542.3 s]
/proc/loadavg: 4.03 4.72 3.97 8/456 356749
/proc/meminfo: memFree=1587836/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=40104 memory=14928 CPUtime=1496.43 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2104 0 0 0 149640 3 0 0 20 0 1 0 189317577 41066496 3732 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 10026 3732 1543 2 0 2435 0
Current children cumulated CPU time: 1496.43 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14928 KiB

[startup+1602.31 s]
/proc/loadavg: 4.01 4.59 3.98 8/455 356758
/proc/meminfo: memFree=1585788/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=40104 memory=14928 CPUtime=1554.63 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2104 0 0 0 155460 3 0 0 20 0 1 0 189317577 41066496 3732 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 10026 3732 1543 2 0 2435 0
Current children cumulated CPU time: 1554.63 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14928 KiB

[startup+1662.31 s]
/proc/loadavg: 4.39 4.58 4.01 9/457 356770
/proc/meminfo: memFree=1577724/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=40616 memory=15192 CPUtime=1612.85 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2205 0 0 0 161282 3 0 0 20 0 1 0 189317577 41590784 3798 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 10154 3798 1543 2 0 2563 0
Current children cumulated CPU time: 1612.85 s
Current children cumulated vsize: 40616 KiB
Current children cumulated memory: 15192 KiB

[startup+1722.3 s]
/proc/loadavg: 4.57 4.59 4.05 8/456 356780
/proc/meminfo: memFree=1565196/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=40616 memory=15192 CPUtime=1671.07 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2205 0 0 0 167104 3 0 0 20 0 1 0 189317577 41590784 3798 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 10154 3798 1543 2 0 2563 0
Current children cumulated CPU time: 1671.07 s
Current children cumulated vsize: 40616 KiB
Current children cumulated memory: 15192 KiB

[startup+1782.31 s]
/proc/loadavg: 4.53 4.59 4.09 8/456 356789
/proc/meminfo: memFree=1559648/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=40616 memory=15192 CPUtime=1729.27 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2205 0 0 0 172924 3 0 0 20 0 1 0 189317577 41590784 3798 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 10154 3798 1543 2 0 2563 0
Current children cumulated CPU time: 1729.27 s
Current children cumulated vsize: 40616 KiB
Current children cumulated memory: 15192 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.58 4.60 4.10 10/456 356790
/proc/meminfo: memFree=1559396/3726824 swapFree=8388604/8388604
[pid=356488] ppid=356487 vsize=40616 memory=15192 CPUtime=1746.45 cores=1
/proc/356488/stat : 356488 (pigeonPur.py) R 356487 356488 356470 0 -1 4194304 2205 0 0 0 174642 3 0 0 20 0 1 0 189317577 41590784 3798 18446744073709551615 94313984831488 94313984835600 140721428324032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94313986936064 94313986936836 94314005757952 140721428324926 140721428325002 140721428325002 140721428328425 0
/proc/356488/statm: 10154 3798 1543 2 0 2563 0
Current children cumulated CPU time: 1746.45 s
Current children cumulated vsize: 40616 KiB
Current children cumulated memory: 15192 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[] -> []

[-1] -> []

[-1, -2] -> []


Detected pigeons:

[startup+1800.07 s]
# the end of solver process 356488 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1746.46 s, system=0.036382 s

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

Child status: 1
Real time (s): 1800.07
CPU time (s): 1746.5
CPU user time (s): 1746.46
CPU system time (s): 0.036382
CPU usage (%): 97.0239
Max. virtual memory (cumulated for all children) (KiB): 40616
Max. memory (cumulated for all children) (KiB): 15192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.46
system time used= 0.036382
maximum resident set size= 15192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2207
page faults= 0
swaps= 0
block input operations= 112
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 147411


# summary of solver processes directly reported to runsolver:
#   pid: 356488
#   total CPU time (s): 1746.5
#   total CPU user time (s): 1746.46
#   total CPU system time (s): 0.036382

??? end of timestamper thread
runsolver used 16.5074 second user time and 24.1558 second system time

The end
