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: 64059 MiB (63233 MiB free)
  memory of node 1: 64510 MiB (63743 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427293-1720905406/watcher-4427293-1720905406 -o /tmp/evaluation-result-4427293-1720905406/solver-4427293-1720905406 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1720905418-715660 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427293-1720905406.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
solver pid=715689, runsolver pid=715686
Current StackSize limit: 8192 KiB


[startup+0.100255 s]*
/proc/loadavg: 2.90 3.04 3.03 5/241 715723
/proc/meminfo: memFree=130006184/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=9752 memory=4820 CPUtime=0.1 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 861 0 0 0 10 0 0 0 20 0 1 0 142700191 9986048 1205 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 2438 1205 405 379 0 1972 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19684 KiB
Current children cumulated memory: 7624 KiB

[startup+0.215061 s]*
/proc/loadavg: 2.90 3.04 3.03 6/242 715728
/proc/meminfo: memFree=129988596/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=15100 memory=10204 CPUtime=0.21 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 2281 0 0 0 21 0 0 0 20 0 1 0 142700191 15462400 2551 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 3775 2551 421 379 0 3309 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25032 KiB
Current children cumulated memory: 13008 KiB

[startup+0.314931 s]*
/proc/loadavg: 2.90 3.04 3.03 5/246 715738
/proc/meminfo: memFree=129983508/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=11996 memory=10968 CPUtime=0.3 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 2614 0 0 0 30 0 0 0 20 0 1 0 142700191 12283904 2742 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 2999 2742 421 379 0 2533 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21928 KiB
Current children cumulated memory: 13772 KiB

[startup+0.700365 s]
/proc/loadavg: 2.90 3.04 3.03 5/246 715738
/proc/meminfo: memFree=129963428/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=11996 memory=10968 CPUtime=0.68 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 2614 0 0 0 68 0 0 0 20 0 1 0 142700191 12283904 2742 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 2999 2742 421 379 0 2533 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21928 KiB
Current children cumulated memory: 13772 KiB

[startup+1.50043 s]
/proc/loadavg: 2.90 3.04 3.03 5/246 715738
/proc/meminfo: memFree=129909004/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=126132 memory=124132 CPUtime=1.47 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 13909 0 0 0 142 5 0 0 20 0 1 0 142700191 129159168 31033 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 31533 31033 421 379 0 31067 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 136064 KiB
Current children cumulated memory: 126936 KiB

[startup+3.11443 s]
/proc/loadavg: 2.90 3.04 3.03 5/246 715738
/proc/meminfo: memFree=129139380/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=644744 memory=584380 CPUtime=3.09 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 62294 0 0 0 287 22 0 0 20 0 1 0 142700191 660217856 146095 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 161186 146095 421 379 0 160720 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 654676 KiB
Current children cumulated memory: 587184 KiB

[startup+6.30038 s]
/proc/loadavg: 2.99 3.06 3.04 5/246 715738
/proc/meminfo: memFree=127329080/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=1557896 memory=1385732 CPUtime=6.26 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 124774 0 0 0 584 42 0 0 20 0 1 0 142700191 1595285504 346433 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 389474 346433 421 379 0 389008 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1567828 KiB
Current children cumulated memory: 1388536 KiB

[startup+12.7004 s]
/proc/loadavg: 3.07 3.08 3.04 5/246 715740
/proc/meminfo: memFree=124277292/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=1847272 memory=1639936 CPUtime=12.65 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 150547 0 0 0 1210 55 0 0 20 0 1 0 142700191 1891606528 409984 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 461818 409984 421 379 0 461352 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1857204 KiB
Current children cumulated memory: 1642740 KiB

[startup+23.9667 s]
# the end of solver process 715689 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=23.2086 s, system=0.682975 s

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

[startup+12.8005 s]
/proc/loadavg: 3.07 3.08 3.04 5/246 715740
/proc/meminfo: memFree=124277292/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=1848064 memory=1642772 CPUtime=12.74 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 150744 0 0 0 1219 55 0 0 20 0 1 0 142700191 1892417536 410693 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 462016 410693 421 379 0 461550 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 1857996 KiB
Current children cumulated memory: 1645576 KiB

[startup+19.2004 s]
/proc/loadavg: 3.21 3.11 3.05 5/246 715740
/proc/meminfo: memFree=120768216/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=1811004 memory=1715812 CPUtime=19.12 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 159268 0 0 0 1852 60 0 0 20 0 1 0 142700191 1854468096 428953 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 452751 428953 421 379 0 452285 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 1820936 KiB
Current children cumulated memory: 1718616 KiB

[startup+22.4004 s]
/proc/loadavg: 3.21 3.11 3.05 5/246 715741
/proc/meminfo: memFree=120172976/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=1761236 memory=1642784 CPUtime=22.31 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 160353 0 0 0 2169 62 0 0 20 0 1 0 142700191 1803505664 410696 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 440309 410696 421 379 0 439843 0
Current children cumulated CPU time: 22.31 s
Current children cumulated vsize: 1771168 KiB
Current children cumulated memory: 1645588 KiB

[startup+23.2004 s]
/proc/loadavg: 3.21 3.11 3.05 5/246 715741
/proc/meminfo: memFree=119918492/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=1851392 memory=1689924 CPUtime=23.11 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 163775 0 0 0 2246 65 0 0 20 0 1 0 142700191 1895825408 422481 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 462848 422481 421 379 0 462382 0
Current children cumulated CPU time: 23.11 s
Current children cumulated vsize: 1861324 KiB
Current children cumulated memory: 1692728 KiB

[startup+23.6004 s]
/proc/loadavg: 3.21 3.11 3.05 5/246 715741
/proc/meminfo: memFree=119918492/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=1851392 memory=1689924 CPUtime=23.51 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 163818 0 0 0 2286 65 0 0 20 0 1 0 142700191 1895825408 422481 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 462848 422481 421 379 0 462382 0
Current children cumulated CPU time: 23.51 s
Current children cumulated vsize: 1861324 KiB
Current children cumulated memory: 1692728 KiB

[startup+23.8004 s]
/proc/loadavg: 3.21 3.11 3.05 5/246 715741
/proc/meminfo: memFree=119918492/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=1851392 memory=1692044 CPUtime=23.71 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 163862 0 0 0 2306 65 0 0 20 0 1 0 142700191 1895825408 423011 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 462848 423011 421 379 0 462382 0
Current children cumulated CPU time: 23.71 s
Current children cumulated vsize: 1861324 KiB
Current children cumulated memory: 1694848 KiB

[startup+23.9004 s]
/proc/loadavg: 3.21 3.11 3.05 5/246 715741
/proc/meminfo: memFree=119918492/131655788 swapFree=131071996/131071996
[pid=715689] ppid=715686 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/715689/stat : 715689 (naps-1.02b5.sh) S 715686 715689 713411 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 142700191 10170368 701 134679101440 94399034277888 94399035357208 140725853351392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94399037455664 94399037502852 94399055179776 140725853356972 140725853357099 140725853357099 140725853364166 0
/proc/715689/statm: 2483 701 625 264 0 134 0
[pid=715695] ppid=715689 vsize=1851392 memory=1692044 CPUtime=23.81 cores=1,3
/proc/715695/stat : 715695 (naps-1.02b5) R 715689 715689 713411 0 -1 4194304 163862 0 0 0 2316 65 0 0 20 0 1 0 142700191 1895825408 423011 134679101440 4194304 5746509 140723071957920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 15396864 140723071959995 140723071960109 140723071960109 140723071967177 0
/proc/715695/statm: 462848 423011 421 379 0 462382 0
Current children cumulated CPU time: 23.81 s
Current children cumulated vsize: 1861324 KiB
Current children cumulated memory: 1694848 KiB

Child status: 30

Real time (s): 23.9668
CPU time (s): 23.8916
CPU user time (s): 23.2086
CPU system time (s): 0.682975
CPU usage (%): 99.6864
Max. virtual memory (cumulated for all children) (KiB): 1997464
Max. memory (cumulated for all children) (KiB): 1785152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.2086
system time used= 0.682975
maximum resident set size= 1782348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164344
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= 35


# summary of solver processes directly reported to runsolver:
#   pid: 715689
#   total CPU time (s): 23.8916
#   total CPU user time (s): 23.2086
#   total CPU system time (s): 0.682975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.185124 second user time and 0.308597 second system time

The end