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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443708-1721313372/watcher-4443708-1721313372 -o /tmp/evaluation-result-4443708-1721313372/solver-4443708-1721313372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721305421-949651 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4443708-1721313372.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=955569, runsolver pid=955566

[startup+0.100107 s]*
/proc/loadavg: 4.10 4.15 4.17 5/246 955574
/proc/meminfo: memFree=123245088/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=9900 memory=5628 CPUtime=0.1 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 525 0 0 0 10 0 0 0 20 0 1 0 183493368 10137600 1407 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 2475 1407 436 659 0 1679 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19832 KiB
Current children cumulated memory: 8356 KiB

[startup+0.21335 s]*
/proc/loadavg: 4.10 4.15 4.17 5/246 955574
/proc/meminfo: memFree=123243744/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=11004 memory=6872 CPUtime=0.21 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 850 0 0 0 21 0 0 0 20 0 1 0 183493368 11268096 1718 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 2751 1718 436 659 0 1955 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20936 KiB
Current children cumulated memory: 9600 KiB

[startup+0.313178 s]*
/proc/loadavg: 4.10 4.15 4.17 5/246 955574
/proc/meminfo: memFree=123242400/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=12240 memory=8156 CPUtime=0.31 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 1195 0 0 0 31 0 0 0 20 0 1 0 183493368 12533760 2039 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 3060 2039 436 659 0 2264 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 22172 KiB
Current children cumulated memory: 10884 KiB

[startup+0.700427 s]
/proc/loadavg: 4.10 4.15 4.17 5/246 955574
/proc/meminfo: memFree=123237944/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=16792 memory=14224 CPUtime=0.69 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 2413 0 0 0 68 1 0 0 20 0 1 0 183493368 17195008 3556 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 4198 3556 436 659 0 3402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26724 KiB
Current children cumulated memory: 16952 KiB

[startup+1.50043 s]
/proc/loadavg: 4.10 4.15 4.17 6/246 955574
/proc/meminfo: memFree=123232568/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=29136 memory=25136 CPUtime=1.48 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 5461 0 0 0 147 1 0 0 20 0 1 0 183493368 29835264 6284 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 7284 6284 436 659 0 6488 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 27864 KiB

[startup+3.11283 s]
/proc/loadavg: 4.10 4.15 4.17 6/246 955575
/proc/meminfo: memFree=123193712/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=58612 memory=49336 CPUtime=3.09 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 10236 0 0 0 306 3 0 0 20 0 1 0 183493368 60018688 12334 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 14653 12334 436 659 0 13857 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68544 KiB
Current children cumulated memory: 52064 KiB

[startup+6.30042 s]
/proc/loadavg: 4.09 4.15 4.17 5/246 955575
/proc/meminfo: memFree=123144348/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=110100 memory=92252 CPUtime=6.27 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 17031 0 0 0 621 6 0 0 20 0 1 0 183493368 112742400 23063 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 27525 23063 436 659 0 26729 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120032 KiB
Current children cumulated memory: 94980 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.16 4.18 5/246 955577
/proc/meminfo: memFree=123024524/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=185836 memory=165492 CPUtime=12.65 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 33880 0 0 0 1255 10 0 0 20 0 1 0 183493368 190296064 41373 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 46459 41373 468 659 0 45663 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 195768 KiB
Current children cumulated memory: 168220 KiB

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

# cumulated CPU time of all completed processes:  user=21.5716 s, system=0.126158 s

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

[startup+12.8005 s]
/proc/loadavg: 4.16 4.16 4.18 5/246 955577
/proc/meminfo: memFree=123024524/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=185836 memory=165492 CPUtime=12.75 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 33880 0 0 0 1265 10 0 0 20 0 1 0 183493368 190296064 41373 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 46459 41373 468 659 0 45663 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 195768 KiB
Current children cumulated memory: 168220 KiB

[startup+16.0004 s]*
/proc/loadavg: 4.15 4.16 4.17 5/246 955577
/proc/meminfo: memFree=123010012/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=185836 memory=165492 CPUtime=15.96 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 33894 0 0 0 1586 10 0 0 20 0 1 0 183493368 190296064 41373 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 46459 41373 468 659 0 45663 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 195768 KiB
Current children cumulated memory: 168220 KiB

[startup+19.2004 s]
/proc/loadavg: 4.14 4.16 4.17 5/246 955577
/proc/meminfo: memFree=122984044/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=209580 memory=176776 CPUtime=19.14 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 35222 0 0 0 1903 11 0 0 20 0 1 0 183493368 214609920 44194 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 52395 44194 468 659 0 51599 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 219512 KiB
Current children cumulated memory: 179504 KiB

[startup+20.8004 s]
/proc/loadavg: 4.14 4.16 4.17 5/246 955577
/proc/meminfo: memFree=122981968/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=209580 memory=176776 CPUtime=20.73 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 35238 0 0 0 2062 11 0 0 20 0 1 0 183493368 214609920 44194 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 52395 44194 468 659 0 51599 0
Current children cumulated CPU time: 20.73 s
Current children cumulated vsize: 219512 KiB
Current children cumulated memory: 179504 KiB

[startup+21.2004 s]
/proc/loadavg: 4.14 4.16 4.17 5/246 955577
/proc/meminfo: memFree=122979892/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=209580 memory=176776 CPUtime=21.13 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 35238 0 0 0 2102 11 0 0 20 0 1 0 183493368 214609920 44194 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 52395 44194 468 659 0 51599 0
Current children cumulated CPU time: 21.13 s
Current children cumulated vsize: 219512 KiB
Current children cumulated memory: 179504 KiB

[startup+21.6004 s]
/proc/loadavg: 4.14 4.16 4.17 5/246 955577
/proc/meminfo: memFree=122979892/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=211188 memory=178288 CPUtime=21.53 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 35643 0 0 0 2142 11 0 0 20 0 1 0 183493368 216256512 44572 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 52797 44572 468 659 0 52001 0
Current children cumulated CPU time: 21.53 s
Current children cumulated vsize: 221120 KiB
Current children cumulated memory: 181016 KiB

[startup+21.7004 s]
/proc/loadavg: 4.14 4.16 4.17 5/246 955577
/proc/meminfo: memFree=122979892/131655788 swapFree=131071996/131071996
[pid=955569] ppid=955566 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955569/stat : 955569 (naps-1.03.sh) S 955566 955569 949639 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 183493367 10170368 682 134679101440 94145583230976 94145584310296 140730549243504 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94145586408752 94145586455940 94145595899904 140730549248991 140730549249120 140730549249120 140730549256136 0
/proc/955569/statm: 2483 682 603 264 0 134 0
[pid=955574] ppid=955569 vsize=211724 memory=178816 CPUtime=21.63 cores=1,3
/proc/955574/stat : 955574 (naps-1.03) R 955569 955569 949639 0 -1 4194304 35773 0 0 0 2152 11 0 0 20 0 1 0 183493368 216805376 44704 134679101440 4194304 6891213 140734993648272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36495360 140734993650672 140734993650788 140734993650788 140734993657803 0
/proc/955574/statm: 52931 44704 468 659 0 52135 0
Current children cumulated CPU time: 21.63 s
Current children cumulated vsize: 221656 KiB
Current children cumulated memory: 181544 KiB

Child status: 10

Real time (s): 21.7502
CPU time (s): 21.6978
CPU user time (s): 21.5716
CPU system time (s): 0.126158
CPU usage (%): 99.759
Max. virtual memory (cumulated for all children) (KiB): 221656
Max. memory (cumulated for all children) (KiB): 181544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.5716
system time used= 0.126158
maximum resident set size= 179444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36341
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= 26


# summary of solver processes directly reported to runsolver:
#   pid: 955569
#   total CPU time (s): 21.6978
#   total CPU user time (s): 21.5716
#   total CPU system time (s): 0.126158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.164606 second user time and 0.252345 second system time

The end