runsolver version 3.4.2 (svn: 4680) 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: 2
  memory of node 0: 64096 MiB (63125 MiB free)
  memory of node 1: 64473 MiB (58612 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430731-1722971653/watcher-4430731-1722971653 -o /tmp/evaluation-result-4430731-1722971653/solver-4430731-1722971653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722971653-348540 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430731-1722971653.opb --time_limit=3600 --nbcore=1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=348593, runsolver pid=348590

[startup+0.100063 s]*
/proc/loadavg: 2.89 3.85 4.10 8/246 348602
/proc/meminfo: memFree=124643512/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6556 CPUtime=0.1 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) R 348590 348593 348527 0 -1 1077936128 883 0 0 0 10 0 0 0 20 0 2 0 63761783 99475456 1639 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1639 961 32 0 2936 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 348 0 0 0 8 0 0 0 20 0 2 0 63761786 99475456 1639 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6556 KiB

[startup+0.212948 s]*
/proc/loadavg: 2.89 3.85 4.10 9/247 348603
/proc/meminfo: memFree=124626376/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6556 CPUtime=0.21 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) R 348590 348593 348527 0 -1 1077936128 890 0 0 0 21 0 0 0 20 0 2 0 63761783 99475456 1639 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1639 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=8245937348197351555 CPUtime=0.19 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 355 0 0 0 19 0 0 0 20 0 2 0 63761786 99475456 1639 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6556 KiB

[startup+0.31292 s]*
/proc/loadavg: 2.89 3.85 4.10 10/248 348604
/proc/meminfo: memFree=124601812/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6556 CPUtime=0.31 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) R 348590 348593 348527 0 -1 1077936128 890 0 0 0 31 0 0 0 20 0 2 0 63761783 99475456 1639 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1639 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=-6530988453675038658 CPUtime=0.29 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 355 0 0 0 29 0 0 0 20 0 2 0 63761786 99475456 1639 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6556 KiB

[startup+0.700293 s]
/proc/loadavg: 2.89 3.85 4.10 9/248 348604
/proc/meminfo: memFree=124601284/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6556 CPUtime=0.69 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 890 0 0 0 69 0 0 0 20 0 2 0 63761783 99475456 1639 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1639 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=15860 CPUtime=0.67 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 355 0 0 0 67 0 0 0 20 0 2 0 63761786 99475456 1639 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6556 KiB

[startup+1.50027 s]
/proc/loadavg: 2.89 3.85 4.10 7/248 348604
/proc/meminfo: memFree=124600700/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6660 CPUtime=1.5 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 1246 0 0 0 149 1 0 0 20 0 2 0 63761783 99475456 1665 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1665 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=15860 CPUtime=1.46 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 706 0 0 0 146 0 0 0 20 0 2 0 63761786 99475456 1665 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6660 KiB

[startup+3.11209 s]
/proc/loadavg: 2.89 3.85 4.10 7/248 348604
/proc/meminfo: memFree=124600772/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6660 CPUtime=3.11 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 1570 0 0 0 309 2 0 0 20 0 2 0 63761783 99475456 1665 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1665 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6556 CPUtime=3.07 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 1025 0 0 0 307 0 0 0 20 0 2 0 63761786 99475456 1665 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6660 KiB

[startup+6.30024 s]
/proc/loadavg: 2.98 3.85 4.10 6/248 348606
/proc/meminfo: memFree=124600564/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=6.31 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 1958 0 0 0 628 3 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6556 CPUtime=6.25 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 1408 0 0 0 625 0 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 6.31 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+12.7002 s]
/proc/loadavg: 3.06 3.85 4.10 7/248 348606
/proc/meminfo: memFree=124600656/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=12.75 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 2295 0 0 0 1268 7 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6556 CPUtime=12.63 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 1740 0 0 0 1263 0 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+25.5003 s]
/proc/loadavg: 3.27 3.86 4.10 7/248 348607
/proc/meminfo: memFree=124600584/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=25.61 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 2969 0 0 0 2546 15 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6556 CPUtime=25.4 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 2404 0 0 0 2540 0 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 25.61 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+51.112 s]
/proc/loadavg: 3.52 3.87 4.09 7/248 348612
/proc/meminfo: memFree=124599248/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=51.36 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 3980 0 0 0 5101 35 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=12036 CPUtime=50.94 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 3400 0 0 0 5094 0 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 51.36 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+102.3 s]
/proc/loadavg: 3.97 3.94 4.10 7/246 348620
/proc/meminfo: memFree=124598332/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=102.81 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 4654 0 0 0 10209 72 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=101.99 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 4064 0 0 0 10199 0 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 102.81 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 4.02 4.11 8/246 348632
/proc/meminfo: memFree=124597620/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=163.12 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 5328 0 0 0 16200 112 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=161.83 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 4728 0 0 0 16183 0 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 163.12 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.04 4.11 7/246 348644
/proc/meminfo: memFree=124596400/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=223.43 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 5665 0 0 0 22192 151 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=35116 CPUtime=221.66 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 5060 0 0 0 22166 0 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 223.43 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.07 4.11 7/246 348654
/proc/meminfo: memFree=124591244/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=283.73 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 6002 0 0 0 28180 193 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=281.5 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 5392 0 0 0 28150 0 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 283.73 s

################
# More data... #
################

/proc/meminfo: memFree=124658972/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=2937.2 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 20805 0 0 0 291830 1890 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=2914.42 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 19974 0 0 0 291441 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 2937.2 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.24 4.34 7/247 350340
/proc/meminfo: memFree=124658488/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=2997.5 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 21141 0 0 0 297820 1930 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=2974.25 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 20305 0 0 0 297424 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 2997.5 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+3042.3 s]
/proc/loadavg: 4.39 4.29 4.36 7/247 350351
/proc/meminfo: memFree=124657508/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=3057.8 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 21477 0 0 0 303813 1967 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=3034.09 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 20636 0 0 0 303408 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3057.8 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+3102.3 s]
/proc/loadavg: 4.32 4.28 4.35 7/246 350361
/proc/meminfo: memFree=124656968/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=3118.11 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 21813 0 0 0 309805 2006 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=12036 CPUtime=3093.93 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 20967 0 0 0 309392 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3118.11 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.26 4.34 7/245 350372
/proc/meminfo: memFree=124656308/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=3178.41 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 22149 0 0 0 315798 2043 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=3153.77 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 21298 0 0 0 315376 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3178.41 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.25 4.33 7/245 350384
/proc/meminfo: memFree=124655596/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=3238.72 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 22485 0 0 0 321794 2078 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=3213.61 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 21629 0 0 0 321360 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3238.72 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.24 4.32 6/245 350395
/proc/meminfo: memFree=124654712/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=3299.02 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 22821 0 0 0 327789 2113 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=3273.45 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 21960 0 0 0 327344 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3299.02 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.21 4.30 7/245 350406
/proc/meminfo: memFree=124654328/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=3359.33 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 23157 0 0 0 333782 2151 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=3333.28 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 22291 0 0 0 333327 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3359.33 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.21 4.30 8/248 350422
/proc/meminfo: memFree=124653336/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=3419.64 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 23493 0 0 0 339769 2195 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=3393.12 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 22622 0 0 0 339311 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3419.64 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.22 4.29 7/248 350433
/proc/meminfo: memFree=124652480/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=3479.94 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 23829 0 0 0 345759 2235 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=6868 CPUtime=3452.96 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 22953 0 0 0 345295 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3479.94 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.22 4.29 7/248 350444
/proc/meminfo: memFree=124651736/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=3540.25 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 24165 0 0 0 351751 2274 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=12036 CPUtime=3512.8 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 23284 0 0 0 351279 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3540.25 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581.8 s]
/proc/loadavg: 4.21 4.21 4.27 6/249 350549
/proc/meminfo: memFree=124674964/131655788 swapFree=131071996/131071996
[pid=348593] ppid=348590 vsize=97144 memory=6868 CPUtime=3600.05 cores=5,7
/proc/348593/stat : 348593 (ParLS-PBO) S 348590 348593 348527 0 -1 1077936128 24501 0 0 0 357692 2313 0 0 20 0 2 0 63761783 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
/proc/348593/statm: 24286 1717 961 32 0 2943 0
[pid=348593/tid=348602] ppid=348590 vsize=97144 memory=5548 CPUtime=3572.14 cores=5,7
/proc/348593/task/348602/stat : 348602 (ParLS-PBO) R 348590 348593 348527 0 -1 4194368 23615 0 0 0 357213 1 0 0 20 0 2 0 63761786 99475456 1717 134679101440 4194304 4322517 140726792853136 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 28037120 140726792860685 140726792860805 140726792860805 140726792867820 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 6868 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3581.81 s]
# the end of solver process 348593 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3576.93 s, system=23.1389 s

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

Child status: 0

Real time (s): 3581.81
CPU time (s): 3600.07
CPU user time (s): 3576.93
CPU system time (s): 23.1389
CPU usage (%): 100.51
Max. virtual memory (cumulated for all children) (KiB): 97144
Max. memory (cumulated for all children) (KiB): 6868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.93
system time used= 23.1389
maximum resident set size= 7124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3252232
involuntary context switches= 4509


# summary of solver processes directly reported to runsolver:
#   pid: 348593
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3576.93
#   total CPU system time (s): 23.1389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6032 second user time and 29.8683 second system time

The end