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: 63665 MiB (59652 MiB free)
  memory of node 1: 64507 MiB (63295 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527637-1752234256/watcher-4527637-1752234256 -o /tmp/evaluation-result-4527637-1752234256/solver-4527637-1752234256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752232205-117776 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527637-1752234256.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=119140, runsolver pid=119137

[startup+0.100058 s]*
/proc/loadavg: 6.96 7.22 6.76 7/266 119141
/proc/meminfo: memFree=125894620/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=43608 memory=9088 CPUtime=0.09 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 1255 0 0 0 9 0 0 0 20 0 1 0 139105155 44654592 2272 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 10902 2272 1184 6655 0 1137 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 9088 KiB

[startup+0.205539 s]*
/proc/loadavg: 6.96 7.22 6.76 7/266 119141
/proc/meminfo: memFree=125894620/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=43608 memory=9088 CPUtime=0.19 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 1255 0 0 0 19 0 0 0 20 0 1 0 139105155 44654592 2272 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 10902 2272 1184 6655 0 1137 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 9088 KiB

[startup+0.305539 s]*
/proc/loadavg: 6.96 7.22 6.76 7/266 119141
/proc/meminfo: memFree=125893864/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=43608 memory=9088 CPUtime=0.28 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 1255 0 0 0 28 0 0 0 20 0 1 0 139105155 44654592 2272 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 10902 2272 1184 6655 0 1137 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 9088 KiB

[startup+0.700127 s]
/proc/loadavg: 6.96 7.22 6.76 7/266 119141
/proc/meminfo: memFree=125893864/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=43608 memory=9088 CPUtime=0.67 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 1255 0 0 0 67 0 0 0 20 0 1 0 139105155 44654592 2272 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 10902 2272 1184 6655 0 1137 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 9088 KiB

[startup+1.50013 s]
/proc/loadavg: 6.96 7.22 6.76 7/266 119141
/proc/meminfo: memFree=125893360/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=43608 memory=9088 CPUtime=1.47 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 1255 0 0 0 147 0 0 0 20 0 1 0 139105155 44654592 2272 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 10902 2272 1184 6655 0 1137 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 9088 KiB

[startup+3.10538 s]
/proc/loadavg: 6.89 7.20 6.76 7/266 119141
/proc/meminfo: memFree=125882608/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=43608 memory=9088 CPUtime=3.07 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 1255 0 0 0 307 0 0 0 20 0 1 0 139105155 44654592 2272 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 10902 2272 1184 6655 0 1137 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 9088 KiB

[startup+6.30011 s]
/proc/loadavg: 6.89 7.20 6.76 7/266 119141
/proc/meminfo: memFree=125882868/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=43608 memory=9088 CPUtime=6.26 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 1255 0 0 0 626 0 0 0 20 0 1 0 139105155 44654592 2272 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 10902 2272 1184 6655 0 1137 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 9088 KiB

[startup+12.7002 s]
/proc/loadavg: 6.83 7.18 6.75 8/267 119142
/proc/meminfo: memFree=125858620/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=146340 memory=58040 CPUtime=15.22 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 11103 0 0 0 1521 1 0 0 20 0 2 0 139105155 149852160 14510 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 36585 14510 3488 6655 0 12856 0
[pid=119140/tid=119142] ppid=119137 vsize=146340 memory=57784 CPUtime=2.57 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 2480 0 0 0 257 0 0 0 20 0 2 0 139106157 149852160 14510 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 15.22 s
Current children cumulated vsize: 146340 KiB
Current children cumulated memory: 58040 KiB

[startup+25.5002 s]
/proc/loadavg: 6.94 7.19 6.76 8/267 119142
/proc/meminfo: memFree=125792416/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=170788 memory=109240 CPUtime=40.48 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 40850 0 0 0 4041 7 0 0 20 0 2 0 139105155 174886912 27310 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 42697 27310 3488 6655 0 25580 0
[pid=119140/tid=119142] ppid=119137 vsize=170788 memory=87608 CPUtime=15.11 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 14707 0 0 0 1508 3 0 0 20 0 2 0 139106157 174886912 27310 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 40.48 s
Current children cumulated vsize: 170788 KiB
Current children cumulated memory: 109240 KiB

[startup+51.1055 s]
/proc/loadavg: 6.96 7.17 6.77 8/267 119143
/proc/meminfo: memFree=125775440/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=180996 memory=126008 CPUtime=91.36 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 64347 0 0 0 9125 11 0 0 20 0 2 0 139105155 185339904 31502 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 45249 31502 3488 6655 0 29896 0
[pid=119140/tid=119142] ppid=119137 vsize=180996 memory=126008 CPUtime=40.46 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 26297 0 0 0 4041 5 0 0 20 0 2 0 139106157 185339904 31502 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 91.36 s
Current children cumulated vsize: 180996 KiB
Current children cumulated memory: 126008 KiB

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

# cumulated CPU time of all completed processes:  user=160.145 s, system=0.146371 s

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

[startup+51.2002 s]
/proc/loadavg: 6.96 7.17 6.77 8/267 119143
/proc/meminfo: memFree=125775440/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=180996 memory=126008 CPUtime=91.55 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 64348 0 0 0 9144 11 0 0 20 0 2 0 139105155 185339904 31502 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 45249 31502 3488 6655 0 29896 0
[pid=119140/tid=119142] ppid=119137 vsize=180996 memory=16128 CPUtime=40.55 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 26298 0 0 0 4050 5 0 0 20 0 2 0 139106157 185339904 31502 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 91.55 s
Current children cumulated vsize: 180996 KiB
Current children cumulated memory: 126008 KiB

[startup+64.0002 s]*
/proc/loadavg: 6.97 7.16 6.77 8/267 119144
/proc/meminfo: memFree=125742912/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=183172 memory=131768 CPUtime=117 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 71452 0 0 0 11687 13 0 0 20 0 2 0 139105155 187568128 32942 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 45793 32942 3488 6655 0 31344 0
[pid=119140/tid=119142] ppid=119137 vsize=183172 memory=-7880352373718351479 CPUtime=53.23 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 29756 0 0 0 5317 6 0 0 20 0 2 0 139106157 187568128 32942 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 117 s
Current children cumulated vsize: 183172 KiB
Current children cumulated memory: 131768 KiB

[startup+76.8002 s]
/proc/loadavg: 7.05 7.18 6.78 8/267 119144
/proc/meminfo: memFree=125734148/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=183172 memory=132024 CPUtime=142.43 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 73058 0 0 0 14230 13 0 0 20 0 2 0 139105155 187568128 33006 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 45793 33006 3488 6655 0 31344 0
[pid=119140/tid=119142] ppid=119137 vsize=183172 memory=115768 CPUtime=65.9 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 30644 0 0 0 6584 6 0 0 20 0 2 0 139106157 187568128 33006 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 142.43 s
Current children cumulated vsize: 183172 KiB
Current children cumulated memory: 132024 KiB

[startup+80.0002 s]*
/proc/loadavg: 7.04 7.17 6.78 8/267 119144
/proc/meminfo: memFree=125725840/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=184604 memory=133176 CPUtime=148.79 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 73767 0 0 0 14866 13 0 0 20 0 2 0 139105155 189034496 33294 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 46151 33294 3488 6655 0 31976 0
[pid=119140/tid=119142] ppid=119137 vsize=184604 memory=-7880352373718351479 CPUtime=69.07 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 30975 0 0 0 6901 6 0 0 20 0 2 0 139106157 189034496 33294 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 148.79 s
Current children cumulated vsize: 184604 KiB
Current children cumulated memory: 133176 KiB

[startup+83.2002 s]
/proc/loadavg: 7.04 7.17 6.79 8/267 119144
/proc/meminfo: memFree=125724596/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=184604 memory=133304 CPUtime=155.14 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 74141 0 0 0 15501 13 0 0 20 0 2 0 139105155 189034496 33326 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 46151 33326 3488 6655 0 31976 0
[pid=119140/tid=119142] ppid=119137 vsize=184604 memory=132024 CPUtime=72.23 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 31226 0 0 0 7217 6 0 0 20 0 2 0 139106157 189034496 33326 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 155.14 s
Current children cumulated vsize: 184604 KiB
Current children cumulated memory: 133304 KiB

[startup+84.8001 s]
/proc/loadavg: 7.04 7.17 6.79 8/267 119144
/proc/meminfo: memFree=125722832/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=184604 memory=133432 CPUtime=158.33 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 74330 0 0 0 15820 13 0 0 20 0 2 0 139105155 189034496 33358 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 46151 33358 3488 6655 0 31976 0
[pid=119140/tid=119142] ppid=119137 vsize=184604 memory=16128 CPUtime=73.82 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 31350 0 0 0 7376 6 0 0 20 0 2 0 139106157 189034496 33358 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 158.33 s
Current children cumulated vsize: 184604 KiB
Current children cumulated memory: 133432 KiB

[startup+85.6002 s]
/proc/loadavg: 7.04 7.17 6.79 8/267 119144
/proc/meminfo: memFree=125722832/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=184604 memory=133432 CPUtime=159.92 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) R 119137 119140 117758 0 -1 4194304 74643 0 0 0 15979 13 0 0 20 0 2 0 139105155 189034496 33358 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 46151 33358 3488 6655 0 31976 0
[pid=119140/tid=119142] ppid=119137 vsize=184604 memory=16128 CPUtime=74.61 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 31497 0 0 0 7455 6 0 0 20 0 2 0 139106157 189034496 33358 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 159.92 s
Current children cumulated vsize: 184604 KiB
Current children cumulated memory: 133432 KiB

[startup+85.8001 s]
/proc/loadavg: 7.04 7.17 6.79 8/267 119144
/proc/meminfo: memFree=125722832/131249996 swapFree=33005016/33010684
[pid=119140] ppid=119137 vsize=184604 memory=133432 CPUtime=160.24 cores=4,6
/proc/119140/stat : 119140 (LSIPExact) S 119137 119140 117758 0 -1 4194304 74661 0 0 0 16011 13 0 0 20 0 2 0 139105155 189034496 33358 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
/proc/119140/statm: 46151 33358 3488 6655 0 31976 0
[pid=119140/tid=119142] ppid=119137 vsize=184604 memory=16128 CPUtime=74.81 cores=4,6
/proc/119140/task/119142/stat : 119142 (LSIPExact) R 119137 119140 117758 0 -1 4194368 31499 0 0 0 7475 6 0 0 20 0 2 0 139106157 189034496 33358 18446744073709551615 94222490050560 94222517307729 140722512863152 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94222525809800 94222526241408 94222557343744 140722512865624 140722512865800 140722512865800 140722512871404 0
Current children cumulated CPU time: 160.24 s
Current children cumulated vsize: 184604 KiB
Current children cumulated memory: 133432 KiB

Child status: 0

Real time (s): 85.8283
CPU time (s): 160.291
CPU user time (s): 160.145
CPU system time (s): 0.146371
CPU usage (%): 186.758
Max. virtual memory (cumulated for all children) (KiB): 184604
Max. memory (cumulated for all children) (KiB): 133432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.145
system time used= 0.146371
maximum resident set size= 133688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76612
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= 157
involuntary context switches= 1550


# summary of solver processes directly reported to runsolver:
#   pid: 119140
#   total CPU time (s): 160.291
#   total CPU user time (s): 160.145
#   total CPU system time (s): 0.146371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.187801 second user time and 0.388032 second system time

The end