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: 63837 MiB (62128 MiB free)
  memory of node 1: 64465 MiB (63577 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509135-1751504114/watcher-4509135-1751504114 -o /tmp/evaluation-result-4509135-1751504114/solver-4509135-1751504114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751500320-69283 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4509135-1751504114.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=70823, runsolver pid=70820
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 7.71 8.01 7.93 7/252 70824
/proc/meminfo: memFree=128717488/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=43608 memory=8960 CPUtime=0.1 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 1254 0 0 0 10 0 0 0 20 0 1 0 66090071 44654592 2240 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 10902 2240 1152 6655 0 1137 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 8960 KiB

[startup+0.212559 s]*
/proc/loadavg: 7.71 8.01 7.93 8/252 70824
/proc/meminfo: memFree=128717488/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=43608 memory=8960 CPUtime=0.21 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 1254 0 0 0 21 0 0 0 20 0 1 0 66090071 44654592 2240 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 10902 2240 1152 6655 0 1137 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 8960 KiB

[startup+0.312 s]*
/proc/loadavg: 7.71 8.01 7.93 7/252 70824
/proc/meminfo: memFree=128717488/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=43608 memory=8960 CPUtime=0.31 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 1254 0 0 0 31 0 0 0 20 0 1 0 66090071 44654592 2240 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 10902 2240 1152 6655 0 1137 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 8960 KiB

[startup+0.70018 s]
/proc/loadavg: 7.71 8.01 7.93 7/252 70824
/proc/meminfo: memFree=128717488/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=43608 memory=8960 CPUtime=0.68 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 1254 0 0 0 68 0 0 0 20 0 1 0 66090071 44654592 2240 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 10902 2240 1152 6655 0 1137 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 8960 KiB

[startup+1.5002 s]
/proc/loadavg: 7.71 8.01 7.93 7/252 70824
/proc/meminfo: memFree=128717488/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=43608 memory=8960 CPUtime=1.48 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 1254 0 0 0 148 0 0 0 20 0 1 0 66090071 44654592 2240 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 10902 2240 1152 6655 0 1137 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 8960 KiB

[startup+3.11174 s]
/proc/loadavg: 7.57 7.97 7.92 7/251 70833
/proc/meminfo: memFree=128715024/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=43608 memory=8960 CPUtime=3.09 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 1254 0 0 0 309 0 0 0 20 0 1 0 66090071 44654592 2240 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 10902 2240 1152 6655 0 1137 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 8960 KiB

[startup+6.30029 s]
/proc/loadavg: 7.57 7.97 7.92 7/252 70870
/proc/meminfo: memFree=128654680/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=43608 memory=8960 CPUtime=6.27 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 1254 0 0 0 627 0 0 0 20 0 1 0 66090071 44654592 2240 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 10902 2240 1152 6655 0 1137 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 8960 KiB

[startup+12.7002 s]
/proc/loadavg: 7.41 7.92 7.91 8/253 70871
/proc/meminfo: memFree=128607064/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=146328 memory=59932 CPUtime=15.21 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 11610 0 0 0 1518 3 0 0 20 0 2 0 66090071 149839872 14983 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 36582 14983 3456 6655 0 13293 0
[pid=70823/tid=70871] ppid=70820 vsize=146328 memory=58140 CPUtime=2.55 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 2969 0 0 0 254 1 0 0 20 0 2 0 66091073 149839872 14983 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 146328 KiB
Current children cumulated memory: 59932 KiB

[startup+25.5002 s]
/proc/loadavg: 7.43 7.91 7.90 9/254 70872
/proc/meminfo: memFree=128175968/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=152932 memory=67996 CPUtime=40.35 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 30277 0 0 0 4031 4 0 0 20 0 2 0 66090071 156602368 16999 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 38233 16999 3456 6655 0 15320 0
[pid=70823/tid=70871] ppid=70820 vsize=152932 memory=55836 CPUtime=14.93 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 9610 0 0 0 1492 1 0 0 20 0 2 0 66091073 156602368 16999 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 40.35 s
Current children cumulated vsize: 152932 KiB
Current children cumulated memory: 67996 KiB

[startup+51.1054 s]
/proc/loadavg: 7.70 7.93 7.91 9/254 70873
/proc/meminfo: memFree=127828824/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=174152 memory=114204 CPUtime=91.17 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 49747 0 0 0 9109 8 0 0 20 0 2 0 66090071 178331648 28551 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 43538 28551 3456 6655 0 26949 0
[pid=70823/tid=70871] ppid=70820 vsize=174152 memory=108316 CPUtime=40.25 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 19185 0 0 0 4021 4 0 0 20 0 2 0 66091073 178331648 28551 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 91.17 s
Current children cumulated vsize: 174152 KiB
Current children cumulated memory: 114204 KiB

[startup+102.3 s]
/proc/loadavg: 7.88 7.95 7.92 9/254 70875
/proc/meminfo: memFree=127790848/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=335128 memory=294056 CPUtime=192.84 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 128759 0 0 0 19260 24 0 0 20 0 2 0 66090071 343171072 73514 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 83782 73514 3456 6655 0 71900 0
[pid=70823/tid=70871] ppid=70820 vsize=335128 memory=257448 CPUtime=90.89 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 56774 0 0 0 9077 12 0 0 20 0 2 0 66091073 343171072 73514 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 192.84 s
Current children cumulated vsize: 335128 KiB
Current children cumulated memory: 294056 KiB

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

# cumulated CPU time of all completed processes:  user=255.53 s, system=0.306828 s

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

[startup+102.4 s]
/proc/loadavg: 7.88 7.95 7.92 9/254 70875
/proc/meminfo: memFree=127790848/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=338468 memory=296616 CPUtime=193.04 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 129463 0 0 0 19280 24 0 0 20 0 2 0 66090071 346591232 74154 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 84617 74154 3456 6655 0 72735 0
[pid=70823/tid=70871] ppid=70820 vsize=338468 memory=245160 CPUtime=90.99 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 56785 0 0 0 9087 12 0 0 20 0 2 0 66091073 346591232 74154 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 193.04 s
Current children cumulated vsize: 338468 KiB
Current children cumulated memory: 296616 KiB

[startup+115.2 s]
/proc/loadavg: 7.90 7.95 7.92 9/254 70875
/proc/meminfo: memFree=127784432/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=338468 memory=301992 CPUtime=218.47 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 140368 0 0 0 21821 26 0 0 20 0 2 0 66090071 346591232 75498 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 84617 75498 3456 6655 0 73917 0
[pid=70823/tid=70871] ppid=70820 vsize=338468 memory=11136 CPUtime=103.66 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 63591 0 0 0 10353 13 0 0 20 0 2 0 66091073 346591232 75498 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 218.47 s
Current children cumulated vsize: 338468 KiB
Current children cumulated memory: 301992 KiB

[startup+121.6 s]
/proc/loadavg: 7.91 7.95 7.92 9/254 70875
/proc/meminfo: memFree=127518592/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=341256 memory=308520 CPUtime=231.18 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 144877 0 0 0 23091 27 0 0 20 0 2 0 66090071 349446144 77130 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 85314 77130 3456 6655 0 75509 0
[pid=70823/tid=70871] ppid=70820 vsize=341256 memory=16624 CPUtime=109.99 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 65865 0 0 0 10986 13 0 0 20 0 2 0 66091073 349446144 77130 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 231.18 s
Current children cumulated vsize: 341256 KiB
Current children cumulated memory: 308520 KiB

[startup+128 s]*
/proc/loadavg: 8.00 7.97 7.93 9/254 70878
/proc/meminfo: memFree=127503216/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=341848 memory=309612 CPUtime=243.88 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 147399 0 0 0 24361 27 0 0 20 0 2 0 66090071 350052352 77403 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 85462 77403 3456 6655 0 75660 0
[pid=70823/tid=70871] ppid=70820 vsize=341848 memory=-6296714420876841313 CPUtime=116.31 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 67181 0 0 0 11617 14 0 0 20 0 2 0 66091073 350052352 77403 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 243.88 s
Current children cumulated vsize: 341848 KiB
Current children cumulated memory: 309612 KiB

[startup+131.2 s]
/proc/loadavg: 8.00 7.97 7.93 9/254 70878
/proc/meminfo: memFree=127503216/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=341848 memory=309612 CPUtime=250.23 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 150435 0 0 0 24995 28 0 0 20 0 2 0 66090071 350052352 77403 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 85462 77403 3456 6655 0 75660 0
[pid=70823/tid=70871] ppid=70820 vsize=341848 memory=18432 CPUtime=119.47 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 69093 0 0 0 11933 14 0 0 20 0 2 0 66091073 350052352 77403 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 250.23 s
Current children cumulated vsize: 341848 KiB
Current children cumulated memory: 309612 KiB

[startup+132.8 s]
/proc/loadavg: 8.00 7.97 7.93 9/254 70878
/proc/meminfo: memFree=127503216/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=341848 memory=309612 CPUtime=253.4 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 152328 0 0 0 25312 28 0 0 20 0 2 0 66090071 350052352 77403 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 85462 77403 3456 6655 0 75660 0
[pid=70823/tid=70871] ppid=70820 vsize=341848 memory=309612 CPUtime=121.05 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 69915 0 0 0 12091 14 0 0 20 0 2 0 66091073 350052352 77403 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 253.4 s
Current children cumulated vsize: 341848 KiB
Current children cumulated memory: 309612 KiB

[startup+133.6 s]
/proc/loadavg: 8.00 7.97 7.93 9/254 70878
/proc/meminfo: memFree=127503468/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=341848 memory=309612 CPUtime=254.99 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 153054 0 0 0 25471 28 0 0 20 0 2 0 66090071 350052352 77403 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 85462 77403 3456 6655 0 75660 0
[pid=70823/tid=70871] ppid=70820 vsize=341848 memory=-6584944797028553063 CPUtime=121.84 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 70291 0 0 0 12170 14 0 0 20 0 2 0 66091073 350052352 77403 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 254.99 s
Current children cumulated vsize: 341848 KiB
Current children cumulated memory: 309612 KiB

[startup+134 s]*
/proc/loadavg: 8.00 7.97 7.93 9/254 70878
/proc/meminfo: memFree=127503468/131382120 swapFree=33010416/33010684
[pid=70823] ppid=70820 vsize=341848 memory=309612 CPUtime=255.79 cores=5,7
/proc/70823/stat : 70823 (LSIPExact) R 70820 70823 69270 0 -1 4194304 153417 0 0 0 25551 28 0 0 20 0 2 0 66090071 350052352 77403 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
/proc/70823/statm: 85462 77403 3456 6655 0 75660 0
[pid=70823/tid=70871] ppid=70820 vsize=341848 memory=-6296714420876841313 CPUtime=122.24 cores=5,7
/proc/70823/task/70871/stat : 70871 (LSIPExact) R 70820 70823 69270 0 -1 4194368 70506 0 0 0 12210 14 0 0 20 0 2 0 66091073 350052352 77403 18446744073709551615 94484468576256 94484495832657 140724204816432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94484504335496 94484504767104 94484528226304 140724204824922 140724204825098 140724204825098 140724204830700 0
Current children cumulated CPU time: 255.79 s
Current children cumulated vsize: 341848 KiB
Current children cumulated memory: 309612 KiB

Child status: 0

Real time (s): 134.033
CPU time (s): 255.837
CPU user time (s): 255.53
CPU system time (s): 0.306828
CPU usage (%): 190.876
Max. virtual memory (cumulated for all children) (KiB): 407384
Max. memory (cumulated for all children) (KiB): 310124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.53
system time used= 0.306828
maximum resident set size= 310252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155403
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= 183
involuntary context switches= 7303


# summary of solver processes directly reported to runsolver:
#   pid: 70823
#   total CPU time (s): 255.837
#   total CPU user time (s): 255.53
#   total CPU system time (s): 0.306828

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.332222 second user time and 0.68299 second system time

The end