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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443681-1721317468/watcher-4443681-1721317468 -o /tmp/evaluation-result-4443681-1721317468/solver-4443681-1721317468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721317481-967416 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443681-1721317468.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
solver pid=967452, runsolver pid=967448
Current StackSize limit: 8192 KiB


[startup+0.100667 s]*
/proc/loadavg: 1.10 1.44 2.05 5/248 967466
/proc/meminfo: memFree=128389084/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=8436 memory=5452 CPUtime=0.09 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 504 0 0 0 9 0 0 0 20 0 1 0 183910676 8638464 1363 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 2109 1363 405 379 0 1643 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18368 KiB
Current children cumulated memory: 8200 KiB

[startup+0.205975 s]*
/proc/loadavg: 1.10 1.44 2.05 5/248 967466
/proc/meminfo: memFree=128386252/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=9680 memory=6712 CPUtime=0.2 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 830 0 0 0 20 0 0 0 20 0 1 0 183910676 9912320 1678 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 2420 1678 405 379 0 1954 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19612 KiB
Current children cumulated memory: 9460 KiB

[startup+0.305741 s]*
/proc/loadavg: 1.10 1.44 2.05 5/262 967496
/proc/meminfo: memFree=128370504/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=10916 memory=8000 CPUtime=0.3 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 1182 0 0 0 30 0 0 0 20 0 1 0 183910676 11177984 2000 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 2729 2000 405 379 0 2263 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20848 KiB
Current children cumulated memory: 10748 KiB

[startup+0.700177 s]
/proc/loadavg: 1.10 1.44 2.05 5/262 967496
/proc/meminfo: memFree=128353080/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=15476 memory=14048 CPUtime=0.68 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 2377 0 0 0 68 0 0 0 20 0 1 0 183910676 15847424 3512 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 3869 3512 405 379 0 3403 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25408 KiB
Current children cumulated memory: 16796 KiB

[startup+1.50019 s]
/proc/loadavg: 1.33 1.48 2.06 5/262 967496
/proc/meminfo: memFree=128325720/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=27700 memory=24496 CPUtime=1.48 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 5343 0 0 0 147 1 0 0 20 0 1 0 183910676 28364800 6124 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 6925 6124 405 379 0 6459 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37632 KiB
Current children cumulated memory: 27244 KiB

[startup+3.10601 s]
/proc/loadavg: 1.33 1.48 2.06 5/262 967496
/proc/meminfo: memFree=128214844/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=55976 memory=47804 CPUtime=3.08 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 9935 0 0 0 306 2 0 0 20 0 1 0 183910676 57319424 11951 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 13994 11951 405 379 0 13528 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65908 KiB
Current children cumulated memory: 50552 KiB

[startup+6.30018 s]
/proc/loadavg: 1.55 1.52 2.07 5/262 967498
/proc/meminfo: memFree=128040856/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=95532 memory=90616 CPUtime=6.27 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 16678 0 0 0 622 5 0 0 20 0 1 0 183910676 97824768 22654 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 23883 22654 405 379 0 23417 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105464 KiB
Current children cumulated memory: 93364 KiB

[startup+12.7003 s]
/proc/loadavg: 1.74 1.56 2.08 5/262 967498
/proc/meminfo: memFree=127705632/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=197116 memory=173772 CPUtime=12.65 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 37563 0 0 0 1257 8 0 0 20 0 1 0 183910676 201846784 43443 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 49279 43443 421 379 0 48813 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 207048 KiB
Current children cumulated memory: 176520 KiB

[startup+24.1397 s]
# the end of solver process 967452 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=23.985 s, system=0.097398 s

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

[startup+12.8003 s]
/proc/loadavg: 1.74 1.56 2.08 5/262 967498
/proc/meminfo: memFree=127705632/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=197116 memory=173772 CPUtime=12.75 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 37563 0 0 0 1267 8 0 0 20 0 1 0 183910676 201846784 43443 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 49279 43443 421 379 0 48813 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 207048 KiB
Current children cumulated memory: 176520 KiB

[startup+19.2002 s]
/proc/loadavg: 2.00 1.62 2.09 5/262 967499
/proc/meminfo: memFree=127464192/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=197116 memory=173996 CPUtime=19.13 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 37589 0 0 0 1905 8 0 0 20 0 1 0 183910676 201846784 43499 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 49279 43499 421 379 0 48813 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 207048 KiB
Current children cumulated memory: 176744 KiB

[startup+22.4002 s]
/proc/loadavg: 2.16 1.66 2.10 5/262 967499
/proc/meminfo: memFree=127451896/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=197116 memory=178244 CPUtime=22.34 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 37662 0 0 0 2225 9 0 0 20 0 1 0 183910676 201846784 44561 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 49279 44561 421 379 0 48813 0
Current children cumulated CPU time: 22.34 s
Current children cumulated vsize: 207048 KiB
Current children cumulated memory: 180992 KiB

[startup+23.2002 s]
/proc/loadavg: 2.16 1.66 2.10 5/262 967499
/proc/meminfo: memFree=127451896/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=197116 memory=178244 CPUtime=23.14 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 37662 0 0 0 2305 9 0 0 20 0 1 0 183910676 201846784 44561 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 49279 44561 421 379 0 48813 0
Current children cumulated CPU time: 23.14 s
Current children cumulated vsize: 207048 KiB
Current children cumulated memory: 180992 KiB

[startup+23.6002 s]
/proc/loadavg: 2.16 1.66 2.10 5/262 967499
/proc/meminfo: memFree=127451896/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=197116 memory=178244 CPUtime=23.53 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 37662 0 0 0 2344 9 0 0 20 0 1 0 183910676 201846784 44561 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 49279 44561 421 379 0 48813 0
Current children cumulated CPU time: 23.53 s
Current children cumulated vsize: 207048 KiB
Current children cumulated memory: 180992 KiB

[startup+24.0002 s]*
/proc/loadavg: 2.16 1.66 2.10 5/262 967499
/proc/meminfo: memFree=127451652/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=197116 memory=178244 CPUtime=23.94 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 37680 0 0 0 2385 9 0 0 20 0 1 0 183910676 201846784 44561 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 49279 44561 421 379 0 48813 0
Current children cumulated CPU time: 23.94 s
Current children cumulated vsize: 207048 KiB
Current children cumulated memory: 180992 KiB

[startup+24.1058 s]
/proc/loadavg: 2.16 1.66 2.10 5/262 967499
/proc/meminfo: memFree=127451652/131524600 swapFree=131071996/131071996
[pid=967452] ppid=967448 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/967452/stat : 967452 (naps-1.02b5.sh) S 967448 967452 967405 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183910675 10170368 687 134679101440 94247543721984 94247544801304 140724049754656 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94247546899760 94247546946948 94247550324736 140724049761247 140724049761374 140724049761374 140724049768390 0
/proc/967452/statm: 2483 687 609 264 0 134 0
[pid=967462] ppid=967452 vsize=197116 memory=178432 CPUtime=24.04 cores=4,6
/proc/967462/stat : 967462 (naps-1.02b5) R 967452 967452 967405 0 -1 4194304 37715 0 0 0 2395 9 0 0 20 0 1 0 183910676 201846784 44608 134679101440 4194304 5746509 140721630225232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 11214848 140721630233582 140721630233696 140721630233696 140721630240713 0
/proc/967462/statm: 49279 44608 421 379 0 48813 0
Current children cumulated CPU time: 24.04 s
Current children cumulated vsize: 207048 KiB
Current children cumulated memory: 181180 KiB

Child status: 20

Real time (s): 24.1397
CPU time (s): 24.0824
CPU user time (s): 23.985
CPU system time (s): 0.097398
CPU usage (%): 99.7624
Max. virtual memory (cumulated for all children) (KiB): 207048
Max. memory (cumulated for all children) (KiB): 181180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.985
system time used= 0.097398
maximum resident set size= 178508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38186
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= 14
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 967452
#   total CPU time (s): 24.0824
#   total CPU user time (s): 23.985
#   total CPU system time (s): 0.097398

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05727 second user time and 0.144858 second system time

The end