runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (13764 MiB free)
memory of node 1: 16384 MiB (15785 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395656-1568332624/watcher-4395656-1568332624 -o /tmp/evaluation-result-4395656-1568332624/solver-4395656-1568332624 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22106 --watchdog 2560 xcsp_picat HOME/instance-4395656-1568332624.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24465, runsolver pid=24462
[startup+0.100217 s]*
/proc/loadavg: 2.16 2.09 2.11 3/200 24466
/proc/meminfo: memFree=30231604/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2031716 memory=30376 CPUtime=0.1 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 1671 0 0 0 10 0 0 0 20 0 1 0 409511112 2080477184 7594 33554432000 4194304 5870510 140728132093488 140728132090632 4537562 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 507929 7594 860 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30376 KiB
[startup+0.210024 s]*
/proc/loadavg: 2.16 2.09 2.11 3/200 24466
/proc/meminfo: memFree=30214724/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2031716 memory=49568 CPUtime=0.21 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 1843 0 0 0 21 0 0 0 20 0 1 0 409511112 2080477184 12392 33554432000 4194304 5870510 140728132093488 140728132090632 4804592 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 507929 12392 886 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 49568 KiB
[startup+0.309931 s]*
/proc/loadavg: 2.16 2.09 2.11 3/200 24466
/proc/meminfo: memFree=30191716/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2054308 memory=70932 CPUtime=0.31 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 6392 0 0 0 30 1 0 0 20 0 1 0 409511112 2103611392 17733 33554432000 4194304 5870510 140728132093488 140728132090632 139665102602119 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 513577 17733 951 410 0 509050 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2054308 KiB
Current children cumulated memory: 70932 KiB
[startup+0.700372 s]
/proc/loadavg: 2.16 2.09 2.11 3/200 24466
/proc/meminfo: memFree=30191468/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2055964 memory=75084 CPUtime=0.7 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 6969 0 0 0 64 6 0 0 20 0 1 0 409511112 2105307136 18771 33554432000 4194304 5870510 140728132093488 140728132092664 139665102602119 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 513991 18771 970 410 0 509464 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2055964 KiB
Current children cumulated memory: 75084 KiB
[startup+1.50035 s]
/proc/loadavg: 2.16 2.09 2.11 3/200 24466
/proc/meminfo: memFree=30171140/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2099084 memory=106776 CPUtime=1.49 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 14905 0 0 0 138 11 0 0 20 0 1 0 409511112 2149462016 26694 33554432000 4194304 5870510 140728132093488 140728132092648 139665102602119 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 524771 26694 970 410 0 520244 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2099084 KiB
Current children cumulated memory: 106776 KiB
[startup+3.10923 s]
/proc/loadavg: 2.15 2.09 2.11 3/199 24466
/proc/meminfo: memFree=30130288/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2106532 memory=131792 CPUtime=3.1 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 18478 0 0 0 298 12 0 0 20 0 1 0 409511112 2157088768 32948 33554432000 4194304 5870510 140728132093488 140728132092648 5479784 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 526633 32948 972 410 0 522106 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2106532 KiB
Current children cumulated memory: 131792 KiB
[startup+6.30033 s]
/proc/loadavg: 2.15 2.09 2.11 3/199 24466
/proc/meminfo: memFree=30129440/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2106936 memory=132120 CPUtime=6.29 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 19583 0 0 0 616 13 0 0 20 0 1 0 409511112 2157502464 33030 33554432000 4194304 5870510 140728132093488 140728132092584 139665102141160 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 526734 33030 972 410 0 522207 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2106936 KiB
Current children cumulated memory: 132120 KiB
[startup+12.7003 s]
/proc/loadavg: 2.14 2.09 2.11 3/199 24466
/proc/meminfo: memFree=30129248/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2107088 memory=132420 CPUtime=12.69 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 20503 0 0 0 1256 13 0 0 20 0 1 0 409511112 2157658112 33105 33554432000 4194304 5870510 140728132093488 140728132092664 5478360 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 526772 33105 972 410 0 522245 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2107088 KiB
Current children cumulated memory: 132420 KiB
[startup+25.5003 s]
/proc/loadavg: 2.11 2.08 2.10 3/199 24467
/proc/meminfo: memFree=30124756/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2107664 memory=134984 CPUtime=25.49 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 23945 0 0 0 2535 14 0 0 20 0 1 0 409511112 2158247936 33746 33554432000 4194304 5870510 140728132093488 140728132092584 5574858 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 526916 33746 972 410 0 522389 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2107664 KiB
Current children cumulated memory: 134984 KiB
[startup+51.1092 s]
/proc/loadavg: 2.07 2.07 2.10 3/199 24469
/proc/meminfo: memFree=30116368/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2109256 memory=136960 CPUtime=51.11 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 31793 0 0 0 5093 18 0 0 20 0 1 0 409511112 2159878144 34240 33554432000 4194304 5870510 140728132093488 140728132092600 5406778 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 527314 34240 972 410 0 522787 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2109256 KiB
Current children cumulated memory: 136960 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.10 3/199 24474
/proc/meminfo: memFree=30098032/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2115352 memory=146040 CPUtime=102.3 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 58352 0 0 0 10193 37 0 0 20 0 1 0 409511112 2166120448 36510 33554432000 4194304 5870510 140728132093488 140728132092600 139665102151575 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 528838 36510 1002 410 0 524311 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2115352 KiB
Current children cumulated memory: 146040 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.09 3/199 24478
/proc/meminfo: memFree=30097664/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2115352 memory=144808 CPUtime=162.31 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 72002 0 0 0 16175 56 0 0 20 0 1 0 409511112 2166120448 36202 33554432000 4194304 5870510 140728132093488 140728132092600 5406536 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 528838 36202 1002 410 0 524311 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 2115352 KiB
Current children cumulated memory: 144808 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/199 24491
/proc/meminfo: memFree=30054868/32770624 swapFree=67001524/67108860
[pid=24465] ppid=24462 vsize=2115352 memory=144720 CPUtime=222.31 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 88246 0 0 0 22157 74 0 0 20 0 1 0 409511112 2166120448 36180 33554432000 4194304 5870510 140728132093488 140728132092584 5406746 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 528838 36180 1002 410 0 524311 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2115352 KiB
Current children cumulated memory: 144720 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/200 24522
/proc/meminfo: memFree=30096256/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2115352 memory=144800 CPUtime=282.32 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 93185 0 0 0 28140 92 0 0 20 0 1 0 409511112 2166120448 36200 33554432000 4194304 5870510 140728132093488 140728132092584 5562048 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 528838 36200 1002 410 0 524311 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2115352 KiB
Current children cumulated memory: 144800 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/200 24526
/proc/meminfo: memFree=30098108/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2115348 memory=145152 CPUtime=342.33 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 109625 0 0 0 34120 113 0 0 20 0 1 0 409511112 2166116352 36288 33554432000 4194304 5870510 140728132093488 140728132092584 5562080 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 528837 36288 1009 410 0 524310 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 2115348 KiB
Current children cumulated memory: 145152 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/201 24532
/proc/meminfo: memFree=30101084/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2115348 memory=144544 CPUtime=402.33 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 116087 0 0 0 40104 129 0 0 20 0 1 0 409511112 2166116352 36136 33554432000 4194304 5870510 140728132093488 140728132092584 5406809 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 528837 36136 1009 410 0 524310 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2115348 KiB
Current children cumulated memory: 144544 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/200 24536
/proc/meminfo: memFree=30056604/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2179688 memory=195652 CPUtime=462.34 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 117843 0 0 0 46100 134 0 0 20 0 1 0 409511112 2232000512 48913 33554432000 4194304 5870510 140728132093488 140728132091656 5331161 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 544922 48913 1009 410 0 540395 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 2179688 KiB
Current children cumulated memory: 195652 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/200 24540
/proc/meminfo: memFree=30098028/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2115348 memory=145244 CPUtime=522.35 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 122743 0 0 0 52084 151 0 0 20 0 1 0 409511112 2166116352 36311 33554432000 4194304 5870510 140728132093488 140728132092744 5478360 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 528837 36311 1011 410 0 524310 0
Current children cumulated CPU time: 522.35 s
Current children cumulated vsize: 2115348 KiB
Current children cumulated memory: 145244 KiB
[startup+533.818 s]
# the end of solver process 24465 was just reported to runsolver
# cumulated CPU time of all completed processes: user=532.337 s, system=1.54118 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 2.00 2.01 2.06 3/200 24540
/proc/meminfo: memFree=30098028/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2115348 memory=145244 CPUtime=524.85 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 122770 0 0 0 52334 151 0 0 20 0 1 0 409511112 2166116352 36311 33554432000 4194304 5870510 140728132093488 140728132092744 5407242 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 528837 36311 1011 410 0 524310 0
Current children cumulated CPU time: 524.85 s
Current children cumulated vsize: 2115348 KiB
Current children cumulated memory: 145244 KiB
[startup+528 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 24540
/proc/meminfo: memFree=30068616/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2179688 memory=174540 CPUtime=528.05 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 124082 0 0 0 52653 152 0 0 20 0 1 0 409511112 2232000512 43635 33554432000 4194304 5870510 140728132093488 140728132092600 5271723 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 544922 43635 1011 410 0 540395 0
Current children cumulated CPU time: 528.05 s
Current children cumulated vsize: 2179688 KiB
Current children cumulated memory: 174540 KiB
[startup+531.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24540
/proc/meminfo: memFree=30036904/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2179688 memory=205972 CPUtime=531.25 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 124296 0 0 0 52972 153 0 0 20 0 1 0 409511112 2232000512 51493 33554432000 4194304 5870510 140728132093488 140728132091656 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 544922 51493 1011 410 0 540395 0
Current children cumulated CPU time: 531.25 s
Current children cumulated vsize: 2179688 KiB
Current children cumulated memory: 205972 KiB
[startup+532.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24540
/proc/meminfo: memFree=30034856/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2179688 memory=208020 CPUtime=532.85 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 124297 0 0 0 53132 153 0 0 20 0 1 0 409511112 2232000512 52005 33554432000 4194304 5870510 140728132093488 140728132091656 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 544922 52005 1011 410 0 540395 0
Current children cumulated CPU time: 532.85 s
Current children cumulated vsize: 2179688 KiB
Current children cumulated memory: 208020 KiB
[startup+533.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24540
/proc/meminfo: memFree=30034980/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2179688 memory=208020 CPUtime=533.65 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 124297 0 0 0 53212 153 0 0 20 0 1 0 409511112 2232000512 52005 33554432000 4194304 5870510 140728132093488 140728132091656 5283106 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 544922 52005 1011 410 0 540395 0
Current children cumulated CPU time: 533.65 s
Current children cumulated vsize: 2179688 KiB
Current children cumulated memory: 208020 KiB
[startup+533.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24540
/proc/meminfo: memFree=30034980/32770624 swapFree=67001532/67108860
[pid=24465] ppid=24462 vsize=2179688 memory=208020 CPUtime=533.85 cores=0,2,4,6
/proc/24465/stat : 24465 (xcsp_picat) R 24462 24465 22075 0 -1 4202496 124297 0 0 0 53232 153 0 0 20 0 1 0 409511112 2232000512 52005 33554432000 4194304 5870510 140728132093488 140728132091656 5258735 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 24797184 140728132101151 140728132101229 140728132101229 140728132104138 0
/proc/24465/statm: 544922 52005 1011 410 0 540395 0
Current children cumulated CPU time: 533.85 s
Current children cumulated vsize: 2179688 KiB
Current children cumulated memory: 208020 KiB
Child status: 0
Real time (s): 533.818
CPU time (s): 533.878
CPU user time (s): 532.337
CPU system time (s): 1.54118
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 2179692
Max. memory (cumulated for all children) (KiB): 209528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 532.337
system time used= 1.54117
maximum resident set size= 209528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124359
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= 4
involuntary context switches= 141
# summary of solver processes directly reported to runsolver:
# pid: 24465
# total CPU time (s): 533.878
# total CPU user time (s): 532.337
# total CPU system time (s): 1.54118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.21084 second user time and 3.32795 second system time
The end