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 (62930 MiB free)
  memory of node 1: 64473 MiB (58293 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430691-1722948203/watcher-4430691-1722948203 -o /tmp/evaluation-result-4430691-1722948203/solver-4430691-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722948202-330996 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430691-1722948203.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
solver pid=331049, runsolver pid=331040
Current StackSize limit: 8192 KiB


[startup+0.100977 s]*
/proc/loadavg: 0.09 0.08 0.09 7/248 331061
/proc/meminfo: memFree=124119768/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6096 CPUtime=0.04 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) R 331040 331049 330983 0 -1 1077936128 785 0 1 0 4 0 0 0 20 0 2 0 61190470 99078144 1524 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 5 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1524 980 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=4026531971 CPUtime=0.03 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 309 0 0 0 3 0 0 0 20 0 2 0 61190477 99078144 1524 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6096 KiB

[startup+0.214557 s]*
/proc/loadavg: 0.09 0.08 0.09 5/249 331062
/proc/meminfo: memFree=124104996/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6096 CPUtime=0.16 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) R 331040 331049 330983 0 -1 1077936128 785 0 1 0 16 0 0 0 20 0 2 0 61190470 99078144 1524 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1524 980 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=8532476662982705283 CPUtime=0.14 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 309 0 0 0 14 0 0 0 20 0 2 0 61190477 99078144 1524 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6096 KiB

[startup+0.314371 s]*
/proc/loadavg: 0.09 0.08 0.09 6/249 331062
/proc/meminfo: memFree=124100668/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6096 CPUtime=0.26 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 785 0 1 0 26 0 0 0 20 0 2 0 61190470 99078144 1524 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1524 980 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=-7735674235772895103 CPUtime=0.24 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 309 0 0 0 24 0 0 0 20 0 2 0 61190477 99078144 1524 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6096 KiB

[startup+0.700278 s]
/proc/loadavg: 0.09 0.08 0.09 6/249 331062
/proc/meminfo: memFree=124092296/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6096 CPUtime=0.63 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 785 0 1 0 63 0 0 0 20 0 2 0 61190470 99078144 1524 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1524 980 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=16032 CPUtime=0.61 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 309 0 0 0 61 0 0 0 20 0 2 0 61190477 99078144 1524 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6096 KiB

[startup+1.50027 s]
/proc/loadavg: 0.09 0.08 0.09 5/250 331063
/proc/meminfo: memFree=124036416/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=1.43 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 1063 0 1 0 143 0 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=16032 CPUtime=1.41 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 582 0 0 0 141 0 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+3.11243 s]
/proc/loadavg: 0.40 0.15 0.11 13/250 331063
/proc/meminfo: memFree=124036024/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3.05 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 1349 0 1 0 304 1 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6096 CPUtime=3.02 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 863 0 0 0 302 0 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+6.30023 s]
/proc/loadavg: 0.40 0.15 0.11 5/250 331065
/proc/meminfo: memFree=124035656/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=6.26 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 1683 0 1 0 623 3 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6096 CPUtime=6.2 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 1192 0 0 0 620 0 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+12.7002 s]
/proc/loadavg: 0.69 0.21 0.13 5/250 331065
/proc/meminfo: memFree=124035552/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=12.7 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 1975 0 1 0 1262 8 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6096 CPUtime=12.58 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 1479 0 0 0 1258 0 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+25.5002 s]
/proc/loadavg: 1.58 0.43 0.20 5/250 331068
/proc/meminfo: memFree=124034824/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=25.57 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 2559 0 1 0 2540 17 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6096 CPUtime=25.36 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 2053 0 0 0 2536 0 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 25.57 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+51.1124 s]
/proc/loadavg: 2.41 0.72 0.31 5/250 331072
/proc/meminfo: memFree=124034328/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=51.32 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 3435 0 1 0 5098 34 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=50.92 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 2914 0 0 0 5092 0 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 51.32 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.27 0.52 5/250 331081
/proc/meminfo: memFree=124033384/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=102.81 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 4019 0 1 0 10209 72 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=102 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 3487 0 0 0 10200 0 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 102.81 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 1.82 0.75 5/248 331092
/proc/meminfo: memFree=124024244/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=163.15 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 4603 0 1 0 16197 118 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=11428 CPUtime=161.87 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 4061 0 0 0 16187 0 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 163.15 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.25 0.97 5/248 331103
/proc/meminfo: memFree=124022568/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=223.47 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 4895 0 1 0 22185 162 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=221.71 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 4348 0 0 0 22171 0 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 223.47 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+282.3 s]
/proc/loadavg: 4.28 2.63 1.18 5/248 331114
/proc/meminfo: memFree=124021584/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=283.77 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 5187 0 1 0 28169 208 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=32052 CPUtime=281.55 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 4635 0 0 0 28155 0 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 283.77 s
Current children cumulated vsize: 96756 KiB

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

/proc/meminfo: memFree=123988300/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=2997.44 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 18327 0 1 0 297600 2144 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=-9186994229762943588 CPUtime=2974.25 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 17544 0 0 0 297419 6 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 2997.44 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.22 4.26 6/248 332810
/proc/meminfo: memFree=123987748/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3057.75 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 18619 0 1 0 303584 2191 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=3034.09 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 17831 0 0 0 303403 6 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3057.75 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+3102.3 s]
/proc/loadavg: 4.33 4.25 4.27 5/247 332822
/proc/meminfo: memFree=123986920/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3118.05 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 18911 0 1 0 309572 2233 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=3093.93 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 18118 0 0 0 309387 6 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3118.05 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.21 4.26 5/245 332834
/proc/meminfo: memFree=123986156/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3178.35 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 19203 0 1 0 315562 2273 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=3153.77 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 18405 0 0 0 315371 6 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3178.35 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.22 4.26 5/245 332845
/proc/meminfo: memFree=123985472/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3238.66 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 19495 0 1 0 321550 2316 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=3213.6 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 18692 0 0 0 321354 6 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3238.66 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.28 4.28 5/245 332856
/proc/meminfo: memFree=123984412/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3298.97 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 19787 0 1 0 327535 2362 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=-9186994238336100964 CPUtime=3273.45 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 18979 0 0 0 327338 7 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3298.97 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.40 4.30 4.28 5/245 332867
/proc/meminfo: memFree=123983800/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3359.27 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 20079 0 1 0 333523 2404 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=3333.29 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 19266 0 0 0 333322 7 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3359.27 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.29 4.28 5/245 332878
/proc/meminfo: memFree=123983064/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3419.58 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 20371 0 1 0 339512 2446 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=3393.12 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 19553 0 0 0 339305 7 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3419.58 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.27 4.27 5/248 332893
/proc/meminfo: memFree=123982264/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3479.88 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 20663 0 1 0 345501 2487 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=3452.96 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 19840 0 0 0 345289 7 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3479.88 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.23 4.26 5/248 332905
/proc/meminfo: memFree=123981672/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3540.18 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 20955 0 1 0 351489 2529 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=3512.8 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 20127 0 0 0 351273 7 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3540.18 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581.9 s]
/proc/loadavg: 4.10 4.20 4.25 4/242 332970
/proc/meminfo: memFree=124048012/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3600.08 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 21247 0 1 0 357431 2577 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=3572.23 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 20414 0 0 0 357216 7 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

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

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

# cumulated CPU time of all completed processes:  user=3574.32 s, system=25.7766 s

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

[startup+3581.9 s]
/proc/loadavg: 4.10 4.20 4.25 4/242 332970
/proc/meminfo: memFree=124048012/131655788 swapFree=131071472/131071996
[pid=331049] ppid=331040 vsize=96756 memory=6588 CPUtime=3600.08 cores=5,7
/proc/331049/stat : 331049 (ParLS-PBO) S 331040 331049 330983 0 -1 1077936128 21247 0 1 0 357431 2577 0 0 20 0 2 0 61190470 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 17 7 0 0 4 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
/proc/331049/statm: 24189 1647 996 32 0 2781 0
[pid=331049/tid=331060] ppid=331040 vsize=96756 memory=6588 CPUtime=3572.23 cores=5,7
/proc/331049/task/331060/stat : 331060 (ParLS-PBO) R 331040 331049 330983 0 -1 4194368 20414 0 0 0 357216 7 0 0 20 0 2 0 61190477 99078144 1647 134679101440 4194304 4322517 140730390990992 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 33779712 140730391000077 140730391000197 140730391000197 140730391007212 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 6588 KiB

Child status: 0

Real time (s): 3581.91
CPU time (s): 3600.1
CPU user time (s): 3574.32
CPU system time (s): 25.7766
CPU usage (%): 100.508
Max. virtual memory (cumulated for all children) (KiB): 96756
Max. memory (cumulated for all children) (KiB): 6588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.32
system time used= 25.7766
maximum resident set size= 6844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21416
page faults= 1
swaps= 0
block input operations= 312
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3250369
involuntary context switches= 1008


# summary of solver processes directly reported to runsolver:
#   pid: 331049
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3574.32
#   total CPU system time (s): 25.7766

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3679 second user time and 31.8604 second system time

The end