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 (15062 MiB free)
memory of node 1: 16384 MiB (15412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395606-1568338596/watcher-4395606-1568338596 -o /tmp/evaluation-result-4395606-1568338596/solver-4395606-1568338596 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568333755-10547 --watchdog 2560 xcsp_picat HOME/instance-4395606-1568338596.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
solver pid=11320, runsolver pid=11317
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 1.92 1.98 2.04 3/198 11321
/proc/meminfo: memFree=31176636/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2031716 memory=33444 CPUtime=0.09 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 1888 0 0 0 9 0 0 0 20 0 1 0 410131100 2080477184 8361 33554432000 4194304 5870510 140734463561744 140734463561048 4520537 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 507929 8361 867 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 33444 KiB
[startup+0.209611 s]*
/proc/loadavg: 1.92 1.98 2.04 3/198 11321
/proc/meminfo: memFree=31157692/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2031716 memory=52128 CPUtime=0.2 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 1999 0 0 0 20 0 0 0 20 0 1 0 410131100 2080477184 13032 33554432000 4194304 5870510 140734463561744 140734463561048 4461466 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 507929 13032 890 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 52128 KiB
[startup+0.309495 s]*
/proc/loadavg: 1.92 1.98 2.04 3/198 11321
/proc/meminfo: memFree=31139888/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2048612 memory=72832 CPUtime=0.3 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 4663 0 0 0 29 1 0 0 20 0 1 0 410131100 2097778688 18208 33554432000 4194304 5870510 140734463561744 140734463561048 5579072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 512153 18208 968 410 0 507626 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2048612 KiB
Current children cumulated memory: 72832 KiB
[startup+0.70023 s]
/proc/loadavg: 1.92 1.98 2.04 3/198 11321
/proc/meminfo: memFree=31138028/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2048612 memory=72832 CPUtime=0.68 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 4680 0 0 0 67 1 0 0 20 0 1 0 410131100 2097778688 18208 33554432000 4194304 5870510 140734463561744 140734463560840 5476932 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 512153 18208 968 410 0 507626 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2048612 KiB
Current children cumulated memory: 72832 KiB
[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 2.04 3/198 11321
/proc/meminfo: memFree=31137604/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2048612 memory=72832 CPUtime=1.48 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 4703 0 0 0 147 1 0 0 20 0 1 0 410131100 2097778688 18208 33554432000 4194304 5870510 140734463561744 140734463560840 140272357416562 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 512153 18208 968 410 0 507626 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2048612 KiB
Current children cumulated memory: 72832 KiB
[startup+3.10894 s]
/proc/loadavg: 1.92 1.98 2.04 3/198 11321
/proc/meminfo: memFree=31137360/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2048672 memory=73208 CPUtime=3.1 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 4936 0 0 0 308 2 0 0 20 0 1 0 410131100 2097840128 18302 33554432000 4194304 5870510 140734463561744 140734463560504 5406662 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 512168 18302 971 410 0 507641 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2048672 KiB
Current children cumulated memory: 73208 KiB
[startup+6.30022 s]
/proc/loadavg: 1.92 1.98 2.04 3/198 11321
/proc/meminfo: memFree=31136336/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2049308 memory=74132 CPUtime=6.28 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 5499 0 0 0 626 2 0 0 20 0 1 0 410131100 2098491392 18533 33554432000 4194304 5870510 140734463561744 140734463560840 5562072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 512327 18533 971 410 0 507800 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2049308 KiB
Current children cumulated memory: 74132 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.05 3/198 11322
/proc/meminfo: memFree=31108184/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2076140 memory=102028 CPUtime=12.69 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 13988 0 0 0 1264 5 0 0 20 0 1 0 410131100 2125967360 25507 33554432000 4194304 5870510 140734463561744 140734463560840 5562052 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 519035 25507 973 410 0 514508 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2076140 KiB
Current children cumulated memory: 102028 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.00 2.05 3/199 11324
/proc/meminfo: memFree=31014256/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2178144 memory=196080 CPUtime=25.48 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 70900 0 0 0 2534 14 0 0 20 0 1 0 410131100 2230419456 49020 33554432000 4194304 5870510 140734463561744 140734463561000 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 544536 49020 1002 410 0 540009 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2178144 KiB
Current children cumulated memory: 196080 KiB
[startup+51.1096 s]
/proc/loadavg: 2.01 2.00 2.05 3/199 11325
/proc/meminfo: memFree=30945572/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2243668 memory=264168 CPUtime=51.09 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 89290 0 0 0 5083 26 0 0 20 0 1 0 410131100 2297516032 66042 33554432000 4194304 5870510 140734463561744 140734463559912 5337504 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 560917 66042 1011 410 0 556390 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2243668 KiB
Current children cumulated memory: 264168 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/200 11330
/proc/meminfo: memFree=30954832/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2243584 memory=254084 CPUtime=102.28 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 114669 0 0 0 10187 41 0 0 20 0 1 0 410131100 2297430016 63521 33554432000 4194304 5870510 140734463561744 140734463560856 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 560896 63521 1011 410 0 556369 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2243584 KiB
Current children cumulated memory: 254084 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/200 11336
/proc/meminfo: memFree=31020604/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2156560 memory=183256 CPUtime=162.28 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 136426 0 0 0 16176 52 0 0 20 0 1 0 410131100 2208317440 45814 33554432000 4194304 5870510 140734463561744 140734463560920 5261008 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 539140 45814 1011 410 0 534613 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2156560 KiB
Current children cumulated memory: 183256 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/200 11401
/proc/meminfo: memFree=31017404/32770624 swapFree=66933780/67108860
[pid=11320] ppid=11317 vsize=2194360 memory=222436 CPUtime=222.27 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 150136 0 0 0 22171 56 0 0 20 0 1 0 410131100 2247024640 55609 33554432000 4194304 5870510 140734463561744 140734463560760 5288833 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 548590 55609 1011 410 0 544063 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2194360 KiB
Current children cumulated memory: 222436 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/201 11413
/proc/meminfo: memFree=30958552/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2205076 memory=230884 CPUtime=282.27 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 165947 0 0 0 28157 70 0 0 20 0 1 0 410131100 2257997824 57721 33554432000 4194304 5870510 140734463561744 140734463560728 5272920 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 551269 57721 1011 410 0 546742 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2205076 KiB
Current children cumulated memory: 230884 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/201 11419
/proc/meminfo: memFree=30924688/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2235424 memory=265168 CPUtime=342.27 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 175843 0 0 0 34156 71 0 0 20 0 1 0 410131100 2289074176 66292 33554432000 4194304 5870510 140734463561744 140734463560312 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 558856 66292 1011 410 0 554329 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2235424 KiB
Current children cumulated memory: 265168 KiB
[startup+391.321 s]
# the end of solver process 11320 was just reported to runsolver
# cumulated CPU time of all completed processes: user=390.466 s, system=0.834999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/201 11419
/proc/meminfo: memFree=31022496/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2141616 memory=167632 CPUtime=358.37 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 186559 0 0 0 35760 77 0 0 20 0 1 0 410131100 2193014784 41908 33554432000 4194304 5870510 140734463561744 140734463560840 140272357421885 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 535404 41908 1011 410 0 530877 0
Current children cumulated CPU time: 358.37 s
Current children cumulated vsize: 2141616 KiB
Current children cumulated memory: 167632 KiB
[startup+371.2 s]
/proc/loadavg: 2.00 2.00 2.05 3/200 11420
/proc/meminfo: memFree=30925772/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2246352 memory=263524 CPUtime=371.17 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 189742 0 0 0 37035 82 0 0 20 0 1 0 410131100 2300264448 65881 33554432000 4194304 5870510 140734463561744 140734463560552 5272433 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 561588 65881 1011 410 0 557061 0
Current children cumulated CPU time: 371.17 s
Current children cumulated vsize: 2246352 KiB
Current children cumulated memory: 263524 KiB
[startup+384 s]*
/proc/loadavg: 2.00 2.00 2.05 3/201 11423
/proc/meminfo: memFree=30952840/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2215892 memory=236900 CPUtime=383.98 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 190211 0 0 0 38315 83 0 0 20 0 1 0 410131100 2269073408 59225 33554432000 4194304 5870510 140734463561744 140734463560184 5267696 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 553973 59225 1011 410 0 549446 0
Current children cumulated CPU time: 383.98 s
Current children cumulated vsize: 2215892 KiB
Current children cumulated memory: 236900 KiB
[startup+387.2 s]
/proc/loadavg: 2.00 2.00 2.05 3/201 11423
/proc/meminfo: memFree=30950792/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2215892 memory=238948 CPUtime=387.17 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 190212 0 0 0 38634 83 0 0 20 0 1 0 410131100 2269073408 59737 33554432000 4194304 5870510 140734463561744 140734463560856 5281745 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 553973 59737 1011 410 0 549446 0
Current children cumulated CPU time: 387.17 s
Current children cumulated vsize: 2215892 KiB
Current children cumulated memory: 238948 KiB
[startup+388.8 s]
/proc/loadavg: 2.00 2.00 2.05 3/200 11423
/proc/meminfo: memFree=30950684/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2215892 memory=238948 CPUtime=388.77 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 190212 0 0 0 38794 83 0 0 20 0 1 0 410131100 2269073408 59737 33554432000 4194304 5870510 140734463561744 140734463560856 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 553973 59737 1011 410 0 549446 0
Current children cumulated CPU time: 388.77 s
Current children cumulated vsize: 2215892 KiB
Current children cumulated memory: 238948 KiB
[startup+390.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/200 11423
/proc/meminfo: memFree=30950684/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2215892 memory=238948 CPUtime=390.37 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 190212 0 0 0 38954 83 0 0 20 0 1 0 410131100 2269073408 59737 33554432000 4194304 5870510 140734463561744 140734463560856 5272324 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 553973 59737 1011 410 0 549446 0
Current children cumulated CPU time: 390.37 s
Current children cumulated vsize: 2215892 KiB
Current children cumulated memory: 238948 KiB
[startup+390.8 s]
/proc/loadavg: 2.00 2.00 2.05 3/200 11423
/proc/meminfo: memFree=30950684/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2215892 memory=238948 CPUtime=390.77 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 190212 0 0 0 38994 83 0 0 20 0 1 0 410131100 2269073408 59737 33554432000 4194304 5870510 140734463561744 140734463560856 5272202 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 553973 59737 1011 410 0 549446 0
Current children cumulated CPU time: 390.77 s
Current children cumulated vsize: 2215892 KiB
Current children cumulated memory: 238948 KiB
[startup+391.2 s]
/proc/loadavg: 2.00 2.00 2.05 3/200 11423
/proc/meminfo: memFree=30950684/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2215892 memory=238948 CPUtime=391.17 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 190212 0 0 0 39034 83 0 0 20 0 1 0 410131100 2269073408 59737 33554432000 4194304 5870510 140734463561744 140734463560856 5272665 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 553973 59737 1011 410 0 549446 0
Current children cumulated CPU time: 391.17 s
Current children cumulated vsize: 2215892 KiB
Current children cumulated memory: 238948 KiB
[startup+391.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/200 11423
/proc/meminfo: memFree=30950684/32770624 swapFree=66933792/67108860
[pid=11320] ppid=11317 vsize=2215892 memory=238948 CPUtime=391.27 cores=0,2,4,6
/proc/11320/stat : 11320 (xcsp_picat) R 11317 11320 10516 0 -1 4202496 190212 0 0 0 39044 83 0 0 20 0 1 0 410131100 2269073408 59737 33554432000 4194304 5870510 140734463561744 140734463560856 5282667 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22704128 140734463562783 140734463562861 140734463562861 140734463565770 0
/proc/11320/statm: 553973 59737 1011 410 0 549446 0
Current children cumulated CPU time: 391.27 s
Current children cumulated vsize: 2215892 KiB
Current children cumulated memory: 238948 KiB
Child status: 0
Real time (s): 391.321
CPU time (s): 391.301
CPU user time (s): 390.466
CPU system time (s): 0.834999
CPU usage (%): 99.9948
Max. virtual memory (cumulated for all children) (KiB): 2293000
Max. memory (cumulated for all children) (KiB): 307372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 390.466
system time used= 0.834999
maximum resident set size= 307372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190234
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= 21
involuntary context switches= 321
# summary of solver processes directly reported to runsolver:
# pid: 11320
# total CPU time (s): 391.301
# total CPU user time (s): 390.466
# total CPU system time (s): 0.834999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46386 second user time and 2.9216 second system time
The end