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 (11309 MiB free)
memory of node 1: 16384 MiB (15346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393012-1568316169/watcher-4393012-1568316169 -o /tmp/evaluation-result-4393012-1568316169/solver-4393012-1568316169 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1706839137 HOME/instance-4393012-1568316169.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
Current StackSize limit: 8192 KiB
solver pid=16784, runsolver pid=16781
[startup+0.100236 s]*
/proc/loadavg: 7.81 8.34 8.04 7/233 16800
/proc/meminfo: memFree=27278476/32770624 swapFree=66996236/67108860
[pid=16784] ppid=16781 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16784/stat : 16784 (xcsp3-exec) S 16781 16784 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871586 115843072 362 33554432000 4194304 5098028 140725852769728 140725852767832 140357172253308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140725852775290 140725852775533 140725852775533 140725852778442 0
/proc/16784/statm: 28282 362 304 221 0 87 0
[pid=16786] ppid=16784 vsize=15144768 memory=30060 CPUtime=0.13 cores=1,3,5,7
/proc/16786/stat : 16786 (java) S 16784 16784 14062 0 -1 1077944320 5911 0 0 0 12 1 0 0 20 0 15 0 407871586 15508242432 7515 33554432000 4194304 4196468 140726112434912 140726112417456 140644133916407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
/proc/16786/statm: 3786192 7515 3147 1 0 3748377 0
[pid=16786/tid=16787] ppid=16784 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/16786/task/16787/stat : 16787 (java) R 16784 16784 14062 0 -1 4202560 3834 0 0 0 8 1 0 0 20 0 15 0 407871587 15508242432 7515 33554432000 4194304 4196468 140726112434912 140644138139408 140644126153534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16788] ppid=16784 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16788/stat : 16788 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871587 15508242432 7515 33554432000 4194304 4196468 140726112434912 140644086537104 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16789] ppid=16784 vsize=15144768 memory=140009381901952 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16789/stat : 16789 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871587 15508242432 7515 33554432000 4194304 4196468 140726112434912 140644085484304 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16790] ppid=16784 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16790/stat : 16790 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871587 15508242432 7515 33554432000 4194304 4196468 140726112434912 140644084432016 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16791] ppid=16784 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16791/stat : 16791 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871587 15508242432 7515 33554432000 4194304 4196468 140726112434912 140644083379216 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16792] ppid=16784 vsize=15144768 memory=140009381901952 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16792/stat : 16792 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871589 15508242432 7515 33554432000 4194304 4196468 140726112434912 140643601995888 140644133927554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16793] ppid=16784 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16793/stat : 16793 (java) S 16784 16784 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407871589 15508242432 7515 33554432000 4194304 4196468 140726112434912 140643600941856 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16794] ppid=16784 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16794/stat : 16794 (java) S 16784 16784 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407871589 15508242432 7515 33554432000 4194304 4196468 140726112434912 140643599889520 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16795] ppid=16784 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16795/stat : 16795 (java) S 16784 16784 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871592 15508242432 7515 33554432000 4194304 4196468 140726112434912 140643598837840 140644133935003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16796] ppid=16784 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16796/stat : 16796 (java) R 16784 16784 14062 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 407871592 15508242432 7515 33554432000 4194304 4196468 140726112434912 140643597785712 140644133927554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16797] ppid=16784 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16797/stat : 16797 (java) R 16784 16784 14062 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 15 0 407871592 15508242432 7515 33554432000 4194304 4196468 140726112434912 140643596732912 140644117402639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16798] ppid=16784 vsize=15144768 memory=140009381901952 CPUtime=0.02 cores=1,3,5,7
/proc/16786/task/16798/stat : 16798 (java) R 16784 16784 14062 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 407871592 15508242432 7515 33554432000 4194304 4196468 140726112434912 140643595680624 140644113354692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16799] ppid=16784 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16799/stat : 16799 (java) S 16784 16784 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871592 15508242432 7515 33554432000 4194304 4196468 140726112434912 140643594628064 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16800] ppid=16784 vsize=15144768 memory=140009381901952 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16800/stat : 16800 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871592 15508242432 7515 33554432000 4194304 4196468 140726112434912 140643593574832 140644133927554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31508 KiB
[startup+0.210862 s]*
/proc/loadavg: 7.81 8.34 8.04 7/233 16800
/proc/meminfo: memFree=27266240/32770624 swapFree=66996236/67108860
[pid=16784] ppid=16781 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16784/stat : 16784 (xcsp3-exec) S 16781 16784 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871586 115843072 362 33554432000 4194304 5098028 140725852769728 140725852767832 140357172253308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140725852775290 140725852775533 140725852775533 140725852778442 0
/proc/16784/statm: 28282 362 304 221 0 87 0
[pid=16786] ppid=16784 vsize=15144768 memory=40404 CPUtime=0.35 cores=1,3,5,7
/proc/16786/stat : 16786 (java) S 16784 16784 14062 0 -1 1077944320 9328 0 0 0 32 3 0 0 20 0 15 0 407871586 15508242432 10101 33554432000 4194304 4196468 140726112434912 140726112417456 140644133916407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
/proc/16786/statm: 3786192 10101 3271 1 0 3748377 0
[pid=16786/tid=16787] ppid=16784 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16786/task/16787/stat : 16787 (java) R 16784 16784 14062 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 15 0 407871587 15508242432 10101 33554432000 4194304 4196468 140726112434912 140644138150528 140644133938333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16788] ppid=16784 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16788/stat : 16788 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871587 15508242432 10101 33554432000 4194304 4196468 140726112434912 140644086537104 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16789] ppid=16784 vsize=15144768 memory=2854497 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16789/stat : 16789 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871587 15508242432 10101 33554432000 4194304 4196468 140726112434912 140644085484304 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16790] ppid=16784 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16790/stat : 16790 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871587 15508242432 10101 33554432000 4194304 4196468 140726112434912 140644084432016 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16791] ppid=16784 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16791/stat : 16791 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871587 15508242432 10101 33554432000 4194304 4196468 140726112434912 140644083379216 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16792] ppid=16784 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16792/stat : 16792 (java) S 16784 16784 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407871589 15508242432 10101 33554432000 4194304 4196468 140726112434912 140643601995888 140644133927554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16793] ppid=16784 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16793/stat : 16793 (java) S 16784 16784 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407871589 15508242432 10101 33554432000 4194304 4196468 140726112434912 140643600941856 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16794] ppid=16784 vsize=15144768 memory=140009381901952 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16794/stat : 16794 (java) S 16784 16784 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407871589 15508242432 10101 33554432000 4194304 4196468 140726112434912 140643599889520 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16795] ppid=16784 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16795/stat : 16795 (java) S 16784 16784 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871592 15508242432 10101 33554432000 4194304 4196468 140726112434912 140643598837840 140644133935003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16796] ppid=16784 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16786/task/16796/stat : 16796 (java) S 16784 16784 14062 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 15 0 407871592 15508242432 10101 33554432000 4194304 4196468 140726112434912 140643597785712 140644133927554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16797] ppid=16784 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/16786/task/16797/stat : 16797 (java) S 16784 16784 14062 0 -1 1077944384 169 0 0 0 3 0 0 0 20 0 15 0 407871592 15508242432 10101 33554432000 4194304 4196468 140726112434912 140643596732912 140644133927554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16798] ppid=16784 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16786/task/16798/stat : 16798 (java) S 16784 16784 14062 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 15 0 407871592 15508242432 10101 33554432000 4194304 4196468 140726112434912 140643595680624 140644133927554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16799] ppid=16784 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16799/stat : 16799 (java) S 16784 16784 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871592 15508242432 10101 33554432000 4194304 4196468 140726112434912 140643594628064 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16800] ppid=16784 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16800/stat : 16800 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871592 15508242432 10101 33554432000 4194304 4196468 140726112434912 140643593574832 140644133927554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41852 KiB
[startup+0.316627 s]*
/proc/loadavg: 7.81 8.34 8.04 7/233 16800
/proc/meminfo: memFree=27258596/32770624 swapFree=66996236/67108860
[pid=16784] ppid=16781 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16784/stat : 16784 (xcsp3-exec) S 16781 16784 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871586 115843072 362 33554432000 4194304 5098028 140725852769728 140725852767832 140357172253308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140725852775290 140725852775533 140725852775533 140725852778442 0
/proc/16784/statm: 28282 362 304 221 0 87 0
[pid=16786] ppid=16784 vsize=15149024 memory=50260 CPUtime=0.54 cores=1,3,5,7
/proc/16786/stat : 16786 (java) S 16784 16784 14062 0 -1 1077944320 10923 0 0 0 50 4 0 0 20 0 15 0 407871586 15512600576 12565 33554432000 4194304 4196468 140726112434912 140726112417456 140644133916407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
/proc/16786/statm: 3787256 12565 3370 1 0 3748377 0
[pid=16786/tid=16787] ppid=16784 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/16786/task/16787/stat : 16787 (java) R 16784 16784 14062 0 -1 4202560 7885 0 0 0 27 3 0 0 20 0 15 0 407871587 15512600576 12565 33554432000 4194304 4196468 140726112434912 140644138147520 140644117996894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16788] ppid=16784 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16788/stat : 16788 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871587 15512600576 12565 33554432000 4194304 4196468 140726112434912 140644086537104 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16789] ppid=16784 vsize=15149024 memory=2856532 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16789/stat : 16789 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871587 15512600576 12565 33554432000 4194304 4196468 140726112434912 140644085484304 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16790] ppid=16784 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16790/stat : 16790 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871587 15512600576 12565 33554432000 4194304 4196468 140726112434912 140644084432016 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16791] ppid=16784 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16791/stat : 16791 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871587 15512600576 12565 33554432000 4194304 4196468 140726112434912 140644083379216 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16792] ppid=16784 vsize=15149024 memory=140009381901952 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16792/stat : 16792 (java) S 16784 16784 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407871589 15512600576 12565 33554432000 4194304 4196468 140726112434912 140643601995888 140644133927554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16793] ppid=16784 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16793/stat : 16793 (java) S 16784 16784 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407871589 15512600576 12565 33554432000 4194304 4196468 140726112434912 140643600941856 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16794] ppid=16784 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16794/stat : 16794 (java) S 16784 16784 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407871589 15512600576 12565 33554432000 4194304 4196468 140726112434912 140643599889520 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16795] ppid=16784 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16795/stat : 16795 (java) S 16784 16784 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871592 15512600576 12565 33554432000 4194304 4196468 140726112434912 140643598837840 140644133935003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16796] ppid=16784 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16786/task/16796/stat : 16796 (java) S 16784 16784 14062 0 -1 1077944384 487 0 0 0 3 0 0 0 20 0 15 0 407871592 15512600576 12565 33554432000 4194304 4196468 140726112434912 140643597785712 140644133927554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16797] ppid=16784 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/16786/task/16797/stat : 16797 (java) S 16784 16784 14062 0 -1 1077944384 330 0 0 0 5 0 0 0 20 0 15 0 407871592 15512600576 12565 33554432000 4194304 4196468 140726112434912 140643596732912 140644133927554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16798] ppid=16784 vsize=15149024 memory=140009381901952 CPUtime=0.12 cores=1,3,5,7
/proc/16786/task/16798/stat : 16798 (java) S 16784 16784 14062 0 -1 1077944384 917 0 0 0 12 0 0 0 20 0 15 0 407871592 15512600576 12565 33554432000 4194304 4196468 140726112434912 140643595680624 140644133927554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16799] ppid=16784 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16799/stat : 16799 (java) S 16784 16784 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871592 15512600576 12565 33554432000 4194304 4196468 140726112434912 140643594628064 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16800] ppid=16784 vsize=15149024 memory=140009381901952 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16800/stat : 16800 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871592 15512600576 12565 33554432000 4194304 4196468 140726112434912 140643593574832 140644133927554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51708 KiB
[startup+0.70075 s]
/proc/loadavg: 7.81 8.34 8.04 6/233 16800
/proc/meminfo: memFree=27241384/32770624 swapFree=66996236/67108860
[pid=16784] ppid=16781 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16784/stat : 16784 (xcsp3-exec) S 16781 16784 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871586 115843072 362 33554432000 4194304 5098028 140725852769728 140725852767832 140357172253308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140725852775290 140725852775533 140725852775533 140725852778442 0
/proc/16784/statm: 28282 362 304 221 0 87 0
[pid=16786] ppid=16784 vsize=15417404 memory=87408 CPUtime=1.59 cores=1,3,5,7
/proc/16786/stat : 16786 (java) S 16784 16784 14062 0 -1 1077944320 15119 0 0 0 153 6 0 0 20 0 18 0 407871586 15787421696 21852 33554432000 4194304 4196468 140726112434912 140726112417456 140644133916407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
/proc/16786/statm: 3854351 21852 3456 1 0 3815453 0
[pid=16786/tid=16787] ppid=16784 vsize=15417404 memory=11932 CPUtime=0.58 cores=1,3,5,7
/proc/16786/task/16787/stat : 16787 (java) S 16784 16784 14062 0 -1 1077944384 9330 0 0 0 54 4 0 0 20 0 18 0 407871587 15787421696 21852 33554432000 4194304 4196468 140726112434912 140644138159248 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16788] ppid=16784 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16788/stat : 16788 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 407871587 15787421696 21852 33554432000 4194304 4196468 140726112434912 140644086537104 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16789] ppid=16784 vsize=15417404 memory=500 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16789/stat : 16789 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 407871587 15787421696 21852 33554432000 4194304 4196468 140726112434912 140644085484304 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16790] ppid=16784 vsize=15417404 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16790/stat : 16790 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 407871587 15787421696 21852 33554432000 4194304 4196468 140726112434912 140644084432016 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16791] ppid=16784 vsize=15417404 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16791/stat : 16791 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 407871587 15787421696 21852 33554432000 4194304 4196468 140726112434912 140644083379216 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16792] ppid=16784 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16792/stat : 16792 (java) S 16784 16784 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 407871589 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643601996096 140644133927554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16793] ppid=16784 vsize=15417404 memory=876 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16793/stat : 16793 (java) S 16784 16784 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 407871589 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643600941856 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16794] ppid=16784 vsize=15417404 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16794/stat : 16794 (java) S 16784 16784 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 407871589 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643599889520 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16795] ppid=16784 vsize=15417404 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16795/stat : 16795 (java) S 16784 16784 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 407871592 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643598837488 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16796] ppid=16784 vsize=15417404 memory=7302135314614015840 CPUtime=0.2 cores=1,3,5,7
/proc/16786/task/16796/stat : 16796 (java) S 16784 16784 14062 0 -1 1077944384 1220 0 0 0 20 0 0 0 20 0 18 0 407871592 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643597764720 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16797] ppid=16784 vsize=15417404 memory=6152570550421908077 CPUtime=0.24 cores=1,3,5,7
/proc/16786/task/16797/stat : 16797 (java) S 16784 16784 14062 0 -1 1077944384 871 0 0 0 24 0 0 0 20 0 18 0 407871592 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643596712080 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16798] ppid=16784 vsize=15417404 memory=7223887401239728208 CPUtime=0.36 cores=1,3,5,7
/proc/16786/task/16798/stat : 16798 (java) S 16784 16784 14062 0 -1 1077944384 2187 0 0 0 36 0 0 0 20 0 18 0 407871592 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643595674944 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16799] ppid=16784 vsize=15417404 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16799/stat : 16799 (java) S 16784 16784 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 407871592 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643594628064 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 88856 KiB
[startup+0.709052 s]
# the end of solver process 16784 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.53248 s, system=0.071763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.70075 s]
/proc/loadavg: 7.81 8.34 8.04 6/233 16800
/proc/meminfo: memFree=27241384/32770624 swapFree=66996236/67108860
[pid=16784] ppid=16781 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16784/stat : 16784 (xcsp3-exec) S 16781 16784 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871586 115843072 362 33554432000 4194304 5098028 140725852769728 140725852767832 140357172253308 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19877888 140725852775290 140725852775533 140725852775533 140725852778442 0
/proc/16784/statm: 28282 362 304 221 0 87 0
[pid=16786] ppid=16784 vsize=15417404 memory=87408 CPUtime=1.59 cores=1,3,5,7
/proc/16786/stat : 16786 (java) S 16784 16784 14062 0 -1 1077944320 15119 0 0 0 153 6 0 0 20 0 18 0 407871586 15787421696 21852 33554432000 4194304 4196468 140726112434912 140726112417456 140644133916407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
/proc/16786/statm: 3854351 21852 3456 1 0 3815453 0
[pid=16786/tid=16787] ppid=16784 vsize=15417404 memory=11932 CPUtime=0.58 cores=1,3,5,7
/proc/16786/task/16787/stat : 16787 (java) S 16784 16784 14062 0 -1 1077944384 9330 0 0 0 54 4 0 0 20 0 18 0 407871587 15787421696 21852 33554432000 4194304 4196468 140726112434912 140644138159248 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16788] ppid=16784 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16788/stat : 16788 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 407871587 15787421696 21852 33554432000 4194304 4196468 140726112434912 140644086537104 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16789] ppid=16784 vsize=15417404 memory=500 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16789/stat : 16789 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 407871587 15787421696 21852 33554432000 4194304 4196468 140726112434912 140644085484304 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16790] ppid=16784 vsize=15417404 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16790/stat : 16790 (java) S 16784 16784 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 407871587 15787421696 21852 33554432000 4194304 4196468 140726112434912 140644084432016 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16791] ppid=16784 vsize=15417404 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16791/stat : 16791 (java) S 16784 16784 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 407871587 15787421696 21852 33554432000 4194304 4196468 140726112434912 140644083379216 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16792] ppid=16784 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16792/stat : 16792 (java) S 16784 16784 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 407871589 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643601996096 140644133927554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16793] ppid=16784 vsize=15417404 memory=876 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16793/stat : 16793 (java) S 16784 16784 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 407871589 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643600941856 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16794] ppid=16784 vsize=15417404 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16794/stat : 16794 (java) S 16784 16784 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 407871589 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643599889520 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16795] ppid=16784 vsize=15417404 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16795/stat : 16795 (java) S 16784 16784 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 407871592 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643598837488 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16796] ppid=16784 vsize=15417404 memory=7302135314614015840 CPUtime=0.2 cores=1,3,5,7
/proc/16786/task/16796/stat : 16796 (java) S 16784 16784 14062 0 -1 1077944384 1220 0 0 0 20 0 0 0 20 0 18 0 407871592 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643597764720 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16797] ppid=16784 vsize=15417404 memory=6152570550421908077 CPUtime=0.24 cores=1,3,5,7
/proc/16786/task/16797/stat : 16797 (java) S 16784 16784 14062 0 -1 1077944384 871 0 0 0 24 0 0 0 20 0 18 0 407871592 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643596712080 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16798] ppid=16784 vsize=15417404 memory=7223887401239728208 CPUtime=0.36 cores=1,3,5,7
/proc/16786/task/16798/stat : 16798 (java) S 16784 16784 14062 0 -1 1077944384 2187 0 0 0 36 0 0 0 20 0 18 0 407871592 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643595674944 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
[pid=16786/tid=16799] ppid=16784 vsize=15417404 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/16786/task/16799/stat : 16799 (java) S 16784 16784 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 407871592 15787421696 21852 33554432000 4194304 4196468 140726112434912 140643594628064 140644133926613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140726112437231 140726112437402 140726112437402 140726112440271 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 88856 KiB
Child status: 0
Real time (s): 0.709087
CPU time (s): 1.60424
CPU user time (s): 1.53248
CPU system time (s): 0.071763
CPU usage (%): 226.241
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 88856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.53248
system time used= 0.071763
maximum resident set size= 88352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15679
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1804
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 16784
# total CPU time (s): 1.60424
# total CPU user time (s): 1.53248
# total CPU system time (s): 0.071763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028907 second user time and 0.04749 second system time
The end