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 (9750 MiB free)
memory of node 1: 16384 MiB (11680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395026-1568331780/watcher-4395026-1568331780 -o /tmp/evaluation-result-4395026-1568331780/solver-4395026-1568331780 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24211 --watchdog 2580 xcsp_picat HOME/instance-4395026-1568331780.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=27040, runsolver pid=27037
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 1.96 2.03 2.04 3/199 27041
/proc/meminfo: memFree=21925740/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=2031716 memory=23172 CPUtime=0.1 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1352 0 0 0 10 0 0 0 20 0 1 0 409116428 2080477184 5793 33554432000 4194304 5870510 140735413413312 140735413410456 140031725112320 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 507929 5793 846 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23172 KiB
[startup+0.209821 s]*
/proc/loadavg: 1.96 2.03 2.04 3/199 27041
/proc/meminfo: memFree=21917548/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=2031716 memory=31364 CPUtime=0.21 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1356 0 0 0 21 0 0 0 20 0 1 0 409116428 2080477184 7841 33554432000 4194304 5870510 140735413413312 140735413412616 4433462 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 507929 7841 846 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 31364 KiB
[startup+0.309592 s]*
/proc/loadavg: 1.96 2.03 2.04 3/199 27041
/proc/meminfo: memFree=21904144/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=2031716 memory=39556 CPUtime=0.31 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1360 0 0 0 31 0 0 0 20 0 1 0 409116428 2080477184 9889 33554432000 4194304 5870510 140735413413312 140735413412616 140031725112320 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 507929 9889 846 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 39556 KiB
[startup+0.700346 s]
/proc/loadavg: 1.96 2.03 2.04 3/199 27041
/proc/meminfo: memFree=21889476/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=2031716 memory=66180 CPUtime=0.69 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1373 0 0 0 68 1 0 0 20 0 1 0 409116428 2080477184 16545 33554432000 4194304 5870510 140735413413312 140735413412616 4462665 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 507929 16545 846 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 66180 KiB
[startup+1.50039 s]
/proc/loadavg: 1.96 2.03 2.04 3/199 27041
/proc/meminfo: memFree=21851452/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=2031716 memory=119772 CPUtime=1.49 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1480 0 0 0 147 2 0 0 20 0 1 0 409116428 2080477184 29943 33554432000 4194304 5870510 140735413413312 140735413412680 4524135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 507929 29943 892 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 119772 KiB
[startup+3.10965 s]
/proc/loadavg: 1.96 2.03 2.04 2/199 27073
/proc/meminfo: memFree=21476664/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=2464648 memory=529952 CPUtime=3.1 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 85114 0 0 0 294 16 0 0 20 0 1 0 409116428 2523799552 132488 33554432000 4194304 5870510 140735413413312 140735413411864 140031724674021 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 616162 132488 902 410 0 611635 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2464648 KiB
Current children cumulated memory: 529952 KiB
[startup+6.30031 s]
/proc/loadavg: 1.88 2.01 2.04 3/199 27227
/proc/meminfo: memFree=20709912/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=3307204 memory=1288676 CPUtime=6.29 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 176934 0 0 0 596 33 0 0 20 0 1 0 409116428 3386576896 322169 33554432000 4194304 5870510 140735413413312 140735413411976 5334091 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 826801 322169 907 410 0 822274 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3307204 KiB
Current children cumulated memory: 1288676 KiB
[startup+12.7004 s]
/proc/loadavg: 1.89 2.01 2.04 3/199 27227
/proc/meminfo: memFree=20644588/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=3307204 memory=1292780 CPUtime=12.69 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 245546 0 0 0 1232 37 0 0 20 0 1 0 409116428 3386576896 323195 33554432000 4194304 5870510 140735413413312 140735413411816 5261287 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 826801 323195 909 410 0 822274 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3307204 KiB
Current children cumulated memory: 1292780 KiB
[startup+25.5004 s]
/proc/loadavg: 1.92 2.01 2.04 3/199 27227
/proc/meminfo: memFree=20607924/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=3334664 memory=1321500 CPUtime=25.48 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 342346 0 0 0 2503 45 0 0 20 0 1 0 409116428 3414695936 330375 33554432000 4194304 5870510 140735413413312 140735413411800 5261272 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 833666 330375 909 410 0 829139 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 3334664 KiB
Current children cumulated memory: 1321500 KiB
[startup+51.1096 s]
/proc/loadavg: 1.95 2.01 2.04 5/199 27291
/proc/meminfo: memFree=19568384/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=3436180 memory=1414268 CPUtime=51.08 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 602986 0 0 0 5044 64 0 0 20 0 1 0 409116428 3518648320 353567 33554432000 4194304 5870510 140735413413312 140735413411464 5352861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 859045 353567 912 410 0 854518 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 3436180 KiB
Current children cumulated memory: 1414268 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.04 4/199 27294
/proc/meminfo: memFree=16073896/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=4500704 memory=2197936 CPUtime=102.25 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 808984 0 0 0 10131 94 0 0 20 0 1 0 409116428 4608720896 549484 33554432000 4194304 5870510 140735413413312 140735413411464 5343278 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1125176 549484 912 410 0 1120649 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 4500704 KiB
Current children cumulated memory: 2197936 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.04 5/200 27299
/proc/meminfo: memFree=16830860/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1784940 CPUtime=162.24 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1064184 0 0 0 16102 122 0 0 20 0 1 0 409116428 4150755328 446235 33554432000 4194304 5870510 140735413413312 140735413412568 5282574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 446235 933 410 0 1008841 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1784940 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/213 27334
/proc/meminfo: memFree=19275532/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1787036 CPUtime=222.22 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1177680 0 0 0 22091 131 0 0 20 0 1 0 409116428 4150755328 446759 33554432000 4194304 5870510 140735413413312 140735413412424 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 446759 935 410 0 1008841 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1787036 KiB
[startup+282.3 s]
/proc/loadavg: 1.86 1.97 2.03 3/200 27369
/proc/meminfo: memFree=20092504/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1793644 CPUtime=282.2 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1263475 0 0 0 28084 136 0 0 20 0 1 0 409116428 4150755328 448411 33554432000 4194304 5870510 140735413413312 140735413412424 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 448411 935 410 0 1008841 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1793644 KiB
[startup+342.3 s]
/proc/loadavg: 1.95 1.97 2.03 3/200 27373
/proc/meminfo: memFree=20056624/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1796680 CPUtime=342.17 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1358134 0 0 0 34075 142 0 0 20 0 1 0 409116428 4150755328 449170 33554432000 4194304 5870510 140735413413312 140735413412424 5282617 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 449170 935 410 0 1008841 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1796680 KiB
[startup+402.3 s]
/proc/loadavg: 1.98 1.98 2.03 3/200 27379
/proc/meminfo: memFree=20035312/32770624 swapFree=66999192/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1798936 CPUtime=402.15 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1426248 0 0 0 40068 147 0 0 20 0 1 0 409116428 4150755328 449734 33554432000 4194304 5870510 140735413413312 140735413412424 5282499 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 449734 935 410 0 1008841 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1798936 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 27390
/proc/meminfo: memFree=20029732/32770624 swapFree=66999196/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1800032 CPUtime=462.13 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1476444 0 0 0 46061 152 0 0 20 0 1 0 409116428 4150755328 450008 33554432000 4194304 5870510 140735413413312 140735413412424 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 450008 935 410 0 1008841 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1800032 KiB
[startup+504.628 s]
# the end of solver process 27040 was just reported to runsolver
# cumulated CPU time of all completed processes: user=502.883 s, system=1.57779 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27391
/proc/meminfo: memFree=20019484/32770624 swapFree=66999196/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1800900 CPUtime=486.22 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1483439 0 0 0 48470 152 0 0 20 0 1 0 409116428 4150755328 450225 33554432000 4194304 5870510 140735413413312 140735413412424 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 450225 935 410 0 1008841 0
Current children cumulated CPU time: 486.22 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1800900 KiB
[startup+492.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27393
/proc/meminfo: memFree=20015388/32770624 swapFree=66999196/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1802312 CPUtime=492.63 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1491417 0 0 0 49110 153 0 0 20 0 1 0 409116428 4150755328 450578 33554432000 4194304 5870510 140735413413312 140735413412424 5289014 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 450578 935 410 0 1008841 0
Current children cumulated CPU time: 492.63 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1802312 KiB
[startup+499.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27393
/proc/meminfo: memFree=20015684/32770624 swapFree=66999196/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1802312 CPUtime=499.02 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1495164 0 0 0 49749 153 0 0 20 0 1 0 409116428 4150755328 450578 33554432000 4194304 5870510 140735413413312 140735413412424 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 450578 935 410 0 1008841 0
Current children cumulated CPU time: 499.02 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1802312 KiB
[startup+502.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27393
/proc/meminfo: memFree=20014580/32770624 swapFree=66999196/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1803192 CPUtime=502.22 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1496560 0 0 0 50069 153 0 0 20 0 1 0 409116428 4150755328 450798 33554432000 4194304 5870510 140735413413312 140735413412424 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 450798 935 410 0 1008841 0
Current children cumulated CPU time: 502.22 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1803192 KiB
[startup+504 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 27393
/proc/meminfo: memFree=20014820/32770624 swapFree=66999196/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1803192 CPUtime=503.83 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1509025 0 0 0 50229 154 0 0 20 0 1 0 409116428 4150755328 450798 33554432000 4194304 5870510 140735413413312 140735413412424 5281854 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 450798 935 410 0 1008841 0
Current children cumulated CPU time: 503.83 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1803192 KiB
[startup+504.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27393
/proc/meminfo: memFree=20014820/32770624 swapFree=66999196/67108860
[pid=27040] ppid=27037 vsize=4053472 memory=1803192 CPUtime=504.22 cores=1,3,5,7
/proc/27040/stat : 27040 (xcsp_picat) R 27037 27040 24179 0 -1 4202496 1509025 0 0 0 50268 154 0 0 20 0 1 0 409116428 4150755328 450798 33554432000 4194304 5870510 140735413413312 140735413412424 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41791488 140735413416991 140735413417069 140735413417069 140735413419978 0
/proc/27040/statm: 1013368 450798 935 410 0 1008841 0
Current children cumulated CPU time: 504.22 s
Current children cumulated vsize: 4053472 KiB
Current children cumulated memory: 1803192 KiB
[startup+504.6 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 27393
/proc/meminfo: memFree=20895912/32770624 swapFree=66999196/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 504.628
CPU time (s): 504.461
CPU user time (s): 502.883
CPU system time (s): 1.57779
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 5059504
Max. memory (cumulated for all children) (KiB): 2563096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 502.883
system time used= 1.57779
maximum resident set size= 2563096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1509129
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= 181
involuntary context switches= 415
# summary of solver processes directly reported to runsolver:
# pid: 27040
# total CPU time (s): 504.461
# total CPU user time (s): 502.883
# total CPU system time (s): 1.57779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.03183 second user time and 2.86732 second system time
The end