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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444038-1721317548/watcher-4444038-1721317548 -o /tmp/evaluation-result-4444038-1721317548/solver-4444038-1721317548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721317560-958808 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4444038-1721317548.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=958865, runsolver pid=958862

[startup+0.100097 s]*
/proc/loadavg: 1.11 1.16 1.82 5/240 958870
/proc/meminfo: memFree=125106956/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=9380 memory=3208 CPUtime=0.1 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 447 0 0 0 10 0 0 0 20 0 1 0 183910627 9605120 802 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 2345 802 436 659 0 1549 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19312 KiB
Current children cumulated memory: 5900 KiB

[startup+0.212849 s]*
/proc/loadavg: 1.11 1.16 1.82 5/240 958870
/proc/meminfo: memFree=125100356/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=9636 memory=3684 CPUtime=0.21 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 552 0 0 0 21 0 0 0 20 0 1 0 183910627 9867264 921 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 2409 921 436 659 0 1613 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19568 KiB
Current children cumulated memory: 6376 KiB

[startup+0.312868 s]*
/proc/loadavg: 1.11 1.16 1.82 5/240 958870
/proc/meminfo: memFree=125095336/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=10084 memory=3944 CPUtime=0.31 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 663 0 0 0 31 0 0 0 20 0 1 0 183910627 10326016 986 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 2521 986 436 659 0 1725 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20016 KiB
Current children cumulated memory: 6636 KiB

[startup+0.700382 s]
/proc/loadavg: 1.11 1.16 1.82 5/238 958870
/proc/meminfo: memFree=125087572/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=11652 memory=6228 CPUtime=0.68 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 1222 0 0 0 68 0 0 0 20 0 1 0 183910627 11931648 1557 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 2913 1557 436 659 0 2117 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21584 KiB
Current children cumulated memory: 8920 KiB

[startup+1.50034 s]
/proc/loadavg: 1.11 1.16 1.82 5/245 958887
/proc/meminfo: memFree=125067028/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=16840 memory=13312 CPUtime=1.48 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 2600 0 0 0 147 1 0 0 20 0 1 0 183910627 17244160 3328 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 4210 3328 436 659 0 3414 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 26772 KiB
Current children cumulated memory: 16004 KiB

[startup+3.11323 s]
/proc/loadavg: 1.34 1.21 1.83 5/245 958887
/proc/meminfo: memFree=124989716/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=53412 memory=45104 CPUtime=3.08 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 9839 0 0 0 305 3 0 0 20 0 1 0 183910627 54693888 11276 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 13353 11276 468 659 0 12557 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63344 KiB
Current children cumulated memory: 47796 KiB

[startup+6.3004 s]
/proc/loadavg: 1.34 1.21 1.83 5/245 958887
/proc/meminfo: memFree=124880620/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=90944 memory=69712 CPUtime=6.26 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 11194 0 0 0 622 4 0 0 20 0 1 0 183910627 93126656 17428 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 22736 17428 468 659 0 21940 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 100876 KiB
Current children cumulated memory: 72404 KiB

[startup+12.7004 s]
/proc/loadavg: 1.75 1.30 1.85 5/245 958888
/proc/meminfo: memFree=124785084/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=140264 memory=124852 CPUtime=12.64 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 12087 0 0 0 1259 5 0 0 20 0 1 0 183910627 143630336 31213 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 35066 31213 468 659 0 34270 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 150196 KiB
Current children cumulated memory: 127544 KiB

[startup+25.5004 s]
/proc/loadavg: 2.17 1.41 1.88 5/245 958890
/proc/meminfo: memFree=124656212/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=91676 memory=87244 CPUtime=25.41 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 14062 0 0 0 2533 8 0 0 20 0 1 0 183910627 93876224 21811 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 22919 21811 468 659 0 22123 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 89936 KiB

[startup+51.1133 s]
/proc/loadavg: 2.66 1.58 1.93 5/245 959144
/proc/meminfo: memFree=124876520/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=171816 memory=158624 CPUtime=50.96 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 17095 0 0 0 5084 12 0 0 20 0 1 0 183910627 175939584 39656 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 42954 39656 468 659 0 42158 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 181748 KiB
Current children cumulated memory: 161316 KiB

[startup+55.4417 s]
# the end of solver process 958865 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=55.1508 s, system=0.136598 s

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

[startup+51.2005 s]
/proc/loadavg: 2.66 1.58 1.93 5/245 959144
/proc/meminfo: memFree=124876520/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=171816 memory=158624 CPUtime=51.04 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 17095 0 0 0 5092 12 0 0 20 0 1 0 183910627 175939584 39656 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 42954 39656 468 659 0 42158 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 181748 KiB
Current children cumulated memory: 161316 KiB

[startup+52.8004 s]
/proc/loadavg: 2.69 1.61 1.93 5/245 959194
/proc/meminfo: memFree=124851076/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=91676 memory=87248 CPUtime=52.64 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 17106 0 0 0 5252 12 0 0 20 0 1 0 183910627 93876224 21812 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 22919 21812 468 659 0 22123 0
Current children cumulated CPU time: 52.64 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 89940 KiB

[startup+54.4004 s]
/proc/loadavg: 2.69 1.61 1.93 5/245 959194
/proc/meminfo: memFree=124903632/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=91676 memory=87248 CPUtime=54.23 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 17111 0 0 0 5411 12 0 0 20 0 1 0 183910627 93876224 21812 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 22919 21812 468 659 0 22123 0
Current children cumulated CPU time: 54.23 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 89940 KiB

[startup+55.2004 s]
/proc/loadavg: 2.69 1.61 1.93 5/245 959194
/proc/meminfo: memFree=124861136/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=140996 memory=123360 CPUtime=55.03 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 17497 0 0 0 5490 13 0 0 20 0 1 0 183910627 144379904 30840 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 35249 30840 468 659 0 34453 0
Current children cumulated CPU time: 55.03 s
Current children cumulated vsize: 150928 KiB
Current children cumulated memory: 126052 KiB

[startup+55.4004 s]
/proc/loadavg: 2.69 1.61 1.93 5/245 959194
/proc/meminfo: memFree=124861136/131655788 swapFree=131071996/131071996
[pid=958865] ppid=958862 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/958865/stat : 958865 (naps-1.03.sh) S 958862 958865 958796 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183910627 10170368 673 134679101440 94675242217472 94675243296792 140736641729472 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94675245395248 94675245442436 94675273371648 140736641737695 140736641737824 140736641737824 140736641744840 0
/proc/958865/statm: 2483 673 596 264 0 134 0
[pid=958870] ppid=958865 vsize=140996 memory=123360 CPUtime=55.23 cores=1,3
/proc/958870/stat : 958870 (naps-1.03) R 958865 958865 958796 0 -1 4194304 17497 0 0 0 5510 13 0 0 20 0 1 0 183910627 144379904 30840 134679101440 4194304 6891213 140728357662848 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 18870272 140728357667824 140728357667940 140728357667940 140728357674955 0
/proc/958870/statm: 35249 30840 468 659 0 34453 0
Current children cumulated CPU time: 55.23 s
Current children cumulated vsize: 150928 KiB
Current children cumulated memory: 126052 KiB

Child status: 10

Real time (s): 55.4417
CPU time (s): 55.2874
CPU user time (s): 55.1508
CPU system time (s): 0.136598
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 181748
Max. memory (cumulated for all children) (KiB): 165412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.1508
system time used= 0.136598
maximum resident set size= 162720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17977
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= 12
involuntary context switches= 69


# summary of solver processes directly reported to runsolver:
#   pid: 958865
#   total CPU time (s): 55.2874
#   total CPU user time (s): 55.1508
#   total CPU system time (s): 0.136598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.295293 second user time and 0.658249 second system time

The end