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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443565-1721308292/watcher-4443565-1721308292 -o /tmp/evaluation-result-4443565-1721308292/solver-4443565-1721308292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721304555-957903 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443565-1721308292.opb 3600 HOME 31000 

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=961253, runsolver pid=961250

[startup+0.100377 s]*
/proc/loadavg: 4.36 4.37 4.21 5/266 961257
/proc/meminfo: memFree=127799380/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=37080 memory=24524 CPUtime=0.08 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 3100 0 0 0 8 0 0 0 20 0 1 0 182993027 37969920 6131 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 3 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 9270 6131 1073 2753 0 5923 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 55672 KiB
Current children cumulated memory: 28316 KiB

[startup+0.206378 s]*
/proc/loadavg: 4.36 4.37 4.21 5/266 961257
/proc/meminfo: memFree=127792508/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=43224 memory=27032 CPUtime=0.19 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 3705 0 0 0 19 0 0 0 20 0 1 0 182993027 44261376 6758 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 10806 6758 1073 2753 0 7459 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 30824 KiB

[startup+0.305125 s]*
/proc/loadavg: 4.36 4.37 4.21 5/266 961257
/proc/meminfo: memFree=127794264/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=43224 memory=29080 CPUtime=0.28 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 3706 0 0 0 28 0 0 0 20 0 1 0 182993027 44261376 7270 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 10806 7270 1073 2753 0 7459 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 32872 KiB

[startup+0.700244 s]
/proc/loadavg: 4.36 4.37 4.21 5/266 961257
/proc/meminfo: memFree=127788092/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=51416 memory=37276 CPUtime=0.68 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 4274 0 0 0 67 1 0 0 20 0 1 0 182993027 52649984 9319 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 12854 9319 1073 2753 0 9507 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 41068 KiB

[startup+1.50024 s]
/proc/loadavg: 4.41 4.38 4.21 5/266 961258
/proc/meminfo: memFree=127746992/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=67800 memory=54160 CPUtime=1.47 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 4945 0 0 0 146 1 0 0 20 0 1 0 182993027 69427200 13540 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 16950 13540 1073 2753 0 13603 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 57952 KiB

[startup+3.10561 s]
/proc/loadavg: 4.41 4.38 4.21 5/266 961258
/proc/meminfo: memFree=127568016/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=266728 memory=223968 CPUtime=3.07 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 16205 0 0 0 300 7 0 0 20 0 1 0 182993027 273129472 55992 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 66682 55992 1105 2753 0 63335 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 227760 KiB

[startup+6.30027 s]
/proc/loadavg: 4.38 4.38 4.21 5/266 961258
/proc/meminfo: memFree=127568004/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=266728 memory=224176 CPUtime=6.26 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 16252 0 0 0 619 7 0 0 20 0 1 0 182993027 273129472 56044 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 66682 56044 1153 2753 0 63335 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 227968 KiB

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

# cumulated CPU time of all completed processes:  user=7.60242 s, system=0.134072 s

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

[startup+6.40033 s]
/proc/loadavg: 4.38 4.38 4.21 5/266 961258
/proc/meminfo: memFree=127568004/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=266728 memory=224176 CPUtime=6.36 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 16252 0 0 0 629 7 0 0 20 0 1 0 182993027 273129472 56044 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 66682 56044 1153 2753 0 63335 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 227968 KiB

[startup+7.20026 s]
/proc/loadavg: 4.38 4.38 4.21 5/266 961258
/proc/meminfo: memFree=127568004/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=266728 memory=224176 CPUtime=7.16 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 16289 0 0 0 709 7 0 0 20 0 1 0 182993027 273129472 56044 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 66682 56044 1153 2753 0 63335 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 227968 KiB

[startup+7.60027 s]
/proc/loadavg: 4.38 4.38 4.21 5/266 961258
/proc/meminfo: memFree=127568004/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=316916 memory=264052 CPUtime=7.57 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 36189 0 0 0 746 11 0 0 20 0 1 0 182993027 324521984 66013 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 79229 66013 1153 2753 0 75882 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 267844 KiB

[startup+7.70027 s]
/proc/loadavg: 4.38 4.38 4.21 5/266 961258
/proc/meminfo: memFree=127568004/131524600 swapFree=131071996/131071996
[pid=961253] ppid=961250 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/961253/stat : 961253 (Hybrid-LSMabP+E) S 961250 961253 957891 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 182993026 10170368 690 134679101440 94206980775936 94206981855256 140728179738256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94206983953712 94206984000900 94206984736768 140728179745769 140728179745914 140728179745914 140728179752930 0
/proc/961253/statm: 2483 690 613 264 0 134 0
[pid=961256] ppid=961253 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/961256/stat : 961256 (timeout) S 961253 961256 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182993027 8867840 258 134679101440 94274726154240 94274726189256 140730800615120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94274728286672 94274728288804 94274740420608 140730800616482 140730800616604 140730800616604 140730800623591 0
/proc/961256/statm: 2165 258 234 9 0 87 0
[pid=961257] ppid=961256 vsize=368088 memory=315440 CPUtime=7.66 cores=1,3
/proc/961257/stat : 961257 (LS-MabP) R 961256 961256 957891 0 -1 4194304 40872 0 0 0 754 12 0 0 20 0 1 0 182993027 376922112 78860 134679101440 4194304 15467897 140723921209440 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30191616 140723921216566 140723921216675 140723921216675 140723921223662 0
/proc/961257/statm: 92022 78860 1153 2753 0 88675 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 386680 KiB
Current children cumulated memory: 319232 KiB

Child status: 0

Real time (s): 7.76006
CPU time (s): 7.73649
CPU user time (s): 7.60242
CPU system time (s): 0.134072
CPU usage (%): 99.6963
Max. virtual memory (cumulated for all children) (KiB): 386680
Max. memory (cumulated for all children) (KiB): 319232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.60241
system time used= 0.134072
maximum resident set size= 315440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 961253
#   total CPU time (s): 7.73649
#   total CPU user time (s): 7.60242
#   total CPU system time (s): 0.134072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034064 second user time and 0.054779 second system time

The end