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 (5577 MiB free)
memory of node 1: 16384 MiB (7008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306958-1534104075/watcher-4306958-1534104075 -o /tmp/evaluation-result-4306958-1534104075/solver-4306958-1534104075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534096142-24483 --watchdog 2580 HOME/xcsp3-exec -seed 1491369176 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306958-1534104075.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=26318, runsolver pid=26315
[startup+0.100141 s]*
/proc/loadavg: 1.97 1.60 1.53 3/219 26334
/proc/meminfo: memFree=12870432/32770624 swapFree=67108860/67108860
[pid=26318] ppid=26315 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26318/stat : 26318 (xcsp3-exec) S 26315 26318 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970642 115843072 363 33554432000 4194304 5098028 140729771307664 140729771305768 139737987453564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140729771312186 140729771312388 140729771312388 140729771315146 0
/proc/26318/statm: 28282 363 305 221 0 87 0
[pid=26320] ppid=26318 vsize=14082940 memory=28672 CPUtime=0.12 cores=1,3,5,7
/proc/26320/stat : 26320 (java) S 26318 26318 24451 0 -1 1077944320 5596 0 0 0 11 1 0 0 20 0 15 0 227970643 14420930560 7168 33554432000 4194304 4196468 140732806984784 140732806967328 140145091284727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
/proc/26320/statm: 3520735 7168 2997 1 0 3483012 0
[pid=26320/tid=26321] ppid=26318 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26320/task/26321/stat : 26321 (java) R 26318 26318 24451 0 -1 4202560 3605 0 0 0 8 1 0 0 20 0 15 0 227970643 14420930560 7168 33554432000 4194304 4196468 140732806984784 140145095517840 140145091296662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26322] ppid=26318 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26322/stat : 26322 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970644 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144686640272 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26323] ppid=26318 vsize=14082940 memory=139689747588736 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26323/stat : 26323 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970644 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144685587472 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26324] ppid=26318 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26324/stat : 26324 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970644 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144684534672 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26325] ppid=26318 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26325/stat : 26325 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970644 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144683481872 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26326] ppid=26318 vsize=14082940 memory=139689747588736 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26326/stat : 26326 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970645 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144565475696 140145091295874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26327] ppid=26318 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26327/stat : 26327 (java) S 26318 26318 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970645 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144564421664 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26328] ppid=26318 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26328/stat : 26328 (java) S 26318 26318 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970646 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144563368816 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26329] ppid=26318 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26329/stat : 26329 (java) S 26318 26318 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970648 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144562317136 140145091303323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26330] ppid=26318 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26330/stat : 26330 (java) S 26318 26318 24451 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 227970648 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144561265520 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26331] ppid=26318 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26331/stat : 26331 (java) R 26318 26318 24451 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 227970648 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144560212720 140145091295874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26332] ppid=26318 vsize=14082940 memory=139689747588736 CPUtime=0.01 cores=1,3,5,7
/proc/26320/task/26332/stat : 26332 (java) S 26318 26318 24451 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 227970648 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144559159920 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26333] ppid=26318 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26333/stat : 26333 (java) S 26318 26318 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970648 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144558107360 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26334] ppid=26318 vsize=14082940 memory=139689747588736 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26334/stat : 26334 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970648 14420930560 7168 33554432000 4194304 4196468 140732806984784 140144557054640 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30124 KiB
[startup+0.210699 s]*
/proc/loadavg: 1.97 1.60 1.53 4/219 26334
/proc/meminfo: memFree=12859516/32770624 swapFree=67108860/67108860
[pid=26318] ppid=26315 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26318/stat : 26318 (xcsp3-exec) S 26315 26318 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970642 115843072 363 33554432000 4194304 5098028 140729771307664 140729771305768 139737987453564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140729771312186 140729771312388 140729771312388 140729771315146 0
/proc/26318/statm: 28282 363 305 221 0 87 0
[pid=26320] ppid=26318 vsize=14082940 memory=40768 CPUtime=0.35 cores=1,3,5,7
/proc/26320/stat : 26320 (java) S 26318 26318 24451 0 -1 1077944320 8211 0 0 0 32 3 0 0 20 0 15 0 227970643 14420930560 10192 33554432000 4194304 4196468 140732806984784 140732806967328 140145091284727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
/proc/26320/statm: 3520735 10192 3199 1 0 3483012 0
[pid=26320/tid=26321] ppid=26318 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26320/task/26321/stat : 26321 (java) R 26318 26318 24451 0 -1 4202560 5447 0 0 0 18 2 0 0 20 0 15 0 227970643 14420930560 10192 33554432000 4194304 4196468 140732806984784 140145095519264 140145091306074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26322] ppid=26318 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26322/stat : 26322 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970644 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144686640272 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26323] ppid=26318 vsize=14082940 memory=139689748809439 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26323/stat : 26323 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970644 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144685587472 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26324] ppid=26318 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26324/stat : 26324 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970644 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144684534672 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26325] ppid=26318 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26325/stat : 26325 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970644 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144683481872 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26326] ppid=26318 vsize=14082940 memory=139689747588736 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26326/stat : 26326 (java) S 26318 26318 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227970645 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144565475696 140145091295874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26327] ppid=26318 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26327/stat : 26327 (java) S 26318 26318 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970645 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144564421664 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26328] ppid=26318 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26328/stat : 26328 (java) S 26318 26318 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970646 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144563368816 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26329] ppid=26318 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26329/stat : 26329 (java) S 26318 26318 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970648 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144562317136 140145091303323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26330] ppid=26318 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26320/task/26330/stat : 26330 (java) S 26318 26318 24451 0 -1 1077944384 500 0 0 0 3 0 0 0 20 0 15 0 227970648 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144561265520 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26331] ppid=26318 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26320/task/26331/stat : 26331 (java) S 26318 26318 24451 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 227970648 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144560212720 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26332] ppid=26318 vsize=14082940 memory=139689747588736 CPUtime=0.08 cores=1,3,5,7
/proc/26320/task/26332/stat : 26332 (java) S 26318 26318 24451 0 -1 1077944384 748 0 0 0 8 0 0 0 20 0 15 0 227970648 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144559159920 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26333] ppid=26318 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26333/stat : 26333 (java) S 26318 26318 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970648 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144558107360 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26334] ppid=26318 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26334/stat : 26334 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970648 14420930560 10192 33554432000 4194304 4196468 140732806984784 140144557054640 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42220 KiB
[startup+0.31892 s]*
/proc/loadavg: 1.97 1.60 1.53 4/219 26334
/proc/meminfo: memFree=12852592/32770624 swapFree=67108860/67108860
[pid=26318] ppid=26315 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26318/stat : 26318 (xcsp3-exec) S 26315 26318 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970642 115843072 363 33554432000 4194304 5098028 140729771307664 140729771305768 139737987453564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140729771312186 140729771312388 140729771312388 140729771315146 0
/proc/26318/statm: 28282 363 305 221 0 87 0
[pid=26320] ppid=26318 vsize=14087196 memory=48120 CPUtime=0.54 cores=1,3,5,7
/proc/26320/stat : 26320 (java) S 26318 26318 24451 0 -1 1077944320 9256 0 0 0 51 3 0 0 20 0 15 0 227970643 14425288704 12030 33554432000 4194304 4196468 140732806984784 140732806967328 140145091284727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
/proc/26320/statm: 3521799 12030 3266 1 0 3483012 0
[pid=26320/tid=26321] ppid=26318 vsize=14087196 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/26320/task/26321/stat : 26321 (java) R 26318 26318 24451 0 -1 4202560 6260 0 0 0 28 3 0 0 20 0 15 0 227970643 14425288704 12030 33554432000 4194304 4196468 140732806984784 140145095522016 140145075365214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26322] ppid=26318 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26322/stat : 26322 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970644 14425288704 12030 33554432000 4194304 4196468 140732806984784 140144686640272 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26323] ppid=26318 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26323/stat : 26323 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970644 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144685587472 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26324] ppid=26318 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26324/stat : 26324 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970644 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144684534672 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26325] ppid=26318 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26325/stat : 26325 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970644 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144683481872 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26326] ppid=26318 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26326/stat : 26326 (java) S 26318 26318 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227970645 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144565475696 140145091295874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26327] ppid=26318 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26327/stat : 26327 (java) S 26318 26318 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970645 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144564421664 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26328] ppid=26318 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26328/stat : 26328 (java) S 26318 26318 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970646 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144563368816 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26329] ppid=26318 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26329/stat : 26329 (java) S 26318 26318 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970648 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144562317136 140145091303323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26330] ppid=26318 vsize=14087196 memory=4426078206164241782 CPUtime=0.06 cores=1,3,5,7
/proc/26320/task/26330/stat : 26330 (java) S 26318 26318 24451 0 -1 1077944384 583 0 0 0 6 0 0 0 20 0 15 0 227970648 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144561265520 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26331] ppid=26318 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26320/task/26331/stat : 26331 (java) S 26318 26318 24451 0 -1 1077944384 218 0 0 0 3 0 0 0 20 0 15 0 227970648 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144560212720 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26332] ppid=26318 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26320/task/26332/stat : 26332 (java) S 26318 26318 24451 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 15 0 227970648 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144559159920 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26333] ppid=26318 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26333/stat : 26333 (java) S 26318 26318 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970648 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144558107360 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26334] ppid=26318 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26334/stat : 26334 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970648 14425288704 12095 33554432000 4194304 4196468 140732806984784 140144557054640 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49572 KiB
[startup+0.617793 s]
# the end of solver process 26318 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.29203 s, system=0.054409 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410363 s]*
/proc/loadavg: 1.97 1.60 1.53 4/219 26334
/proc/meminfo: memFree=12847816/32770624 swapFree=67108860/67108860
[pid=26318] ppid=26315 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26318/stat : 26318 (xcsp3-exec) S 26315 26318 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970642 115843072 363 33554432000 4194304 5098028 140729771307664 140729771305768 139737987453564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140729771312186 140729771312388 140729771312388 140729771315146 0
/proc/26318/statm: 28282 363 305 221 0 87 0
[pid=26320] ppid=26318 vsize=14089320 memory=54636 CPUtime=0.72 cores=1,3,5,7
/proc/26320/stat : 26320 (java) S 26318 26318 24451 0 -1 1077944320 9775 0 0 0 68 4 0 0 20 0 15 0 227970643 14427463680 13659 33554432000 4194304 4196468 140732806984784 140732806967328 140145091284727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
/proc/26320/statm: 3522330 13659 3298 1 0 3483524 0
[pid=26320/tid=26321] ppid=26318 vsize=14089320 memory=7883960649037381690 CPUtime=0.39 cores=1,3,5,7
/proc/26320/task/26321/stat : 26321 (java) R 26318 26318 24451 0 -1 4202560 6602 0 0 0 36 3 0 0 20 0 15 0 227970643 14427463680 13659 33554432000 4194304 4196468 140732806984784 140145095521440 140145075365214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26322] ppid=26318 vsize=14089320 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26322/stat : 26322 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970644 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144686640272 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26323] ppid=26318 vsize=14089320 memory=139689748809439 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26323/stat : 26323 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970644 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144685587472 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26324] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26324/stat : 26324 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970644 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144684534672 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26325] ppid=26318 vsize=14089320 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26325/stat : 26325 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970644 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144683481872 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26326] ppid=26318 vsize=14089320 memory=139689747588736 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26326/stat : 26326 (java) S 26318 26318 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227970645 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144565475696 140145091295874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26327] ppid=26318 vsize=14089320 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26327/stat : 26327 (java) S 26318 26318 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970645 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144564421664 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26328] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26328/stat : 26328 (java) S 26318 26318 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970646 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144563368816 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26329] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26329/stat : 26329 (java) S 26318 26318 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970648 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144562317136 140145091303323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26330] ppid=26318 vsize=14089320 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26320/task/26330/stat : 26330 (java) S 26318 26318 24451 0 -1 1077944384 598 0 0 0 9 0 0 0 20 0 15 0 227970648 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144561265520 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26331] ppid=26318 vsize=14089320 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26320/task/26331/stat : 26331 (java) S 26318 26318 24451 0 -1 1077944384 225 0 0 0 4 0 0 0 20 0 15 0 227970648 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144560212720 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26332] ppid=26318 vsize=14089320 memory=139689747588736 CPUtime=0.18 cores=1,3,5,7
/proc/26320/task/26332/stat : 26332 (java) R 26318 26318 24451 0 -1 4202560 1044 0 0 0 18 0 0 0 20 0 15 0 227970648 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144559159920 140145084381603 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26333] ppid=26318 vsize=14089320 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26333/stat : 26333 (java) S 26318 26318 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970648 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144558107360 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26334] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26334/stat : 26334 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970648 14427463680 13659 33554432000 4194304 4196468 140732806984784 140144557054640 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 56088 KiB
[startup+0.61052 s]
/proc/loadavg: 1.97 1.60 1.53 6/219 26334
/proc/meminfo: memFree=12837148/32770624 swapFree=67108860/67108860
[pid=26318] ppid=26315 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26318/stat : 26318 (xcsp3-exec) S 26315 26318 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970642 115843072 363 33554432000 4194304 5098028 140729771307664 140729771305768 139737987453564 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140729771312186 140729771312388 140729771312388 140729771315146 0
/proc/26318/statm: 28282 363 305 221 0 87 0
[pid=26320] ppid=26318 vsize=14089320 memory=66944 CPUtime=1.34 cores=1,3,5,7
/proc/26320/stat : 26320 (java) S 26318 26318 24451 0 -1 1077944320 11982 0 0 0 129 5 0 0 20 0 13 0 227970643 14427463680 16736 33554432000 4194304 4196468 140732806984784 140732806967328 140145091284727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
/proc/26320/statm: 3522330 16736 3353 1 0 3483524 0
[pid=26320/tid=26321] ppid=26318 vsize=14089320 memory=13567093857585738 CPUtime=0.57 cores=1,3,5,7
/proc/26320/task/26321/stat : 26321 (java) S 26318 26318 24451 0 -1 1077944384 6999 0 0 0 54 3 0 0 20 0 13 0 227970643 14427463680 16736 33554432000 4194304 4196468 140732806984784 140145095527568 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26322] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26322/stat : 26322 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 227970644 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144686640272 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26323] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26323/stat : 26323 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 227970644 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144685587472 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26324] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26324/stat : 26324 (java) S 26318 26318 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 227970644 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144684534672 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26325] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26325/stat : 26325 (java) S 26318 26318 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 227970644 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144683481872 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26326] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26326/stat : 26326 (java) S 26318 26318 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 13 0 227970645 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144565475904 140145091295874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26327] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26327/stat : 26327 (java) S 26318 26318 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 227970645 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144564421664 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26328] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26328/stat : 26328 (java) S 26318 26318 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 227970646 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144563368816 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26330] ppid=26318 vsize=14089320 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/26320/task/26330/stat : 26330 (java) S 26318 26318 24451 0 -1 1077944384 1136 0 0 0 24 0 0 0 20 0 13 0 227970648 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144561245920 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26331] ppid=26318 vsize=14089320 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/26320/task/26331/stat : 26331 (java) S 26318 26318 24451 0 -1 1077944384 762 0 0 0 16 0 0 0 20 0 13 0 227970648 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144560197232 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26332] ppid=26318 vsize=14089320 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/26320/task/26332/stat : 26332 (java) S 26318 26318 24451 0 -1 1077944384 1756 0 0 0 33 0 0 0 20 0 13 0 227970648 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144559159920 140145091295874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
[pid=26320/tid=26333] ppid=26318 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26320/task/26333/stat : 26333 (java) S 26318 26318 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 227970648 14427463680 16736 33554432000 4194304 4196468 140732806984784 140144558107360 140145091294933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21495808 140732806993030 140732806993201 140732806993201 140732806995919 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 68396 KiB
Child status: 0
Real time (s): 0.617827
CPU time (s): 1.34644
CPU user time (s): 1.29203
CPU system time (s): 0.054409
CPU usage (%): 217.931
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 68396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.29203
system time used= 0.054409
maximum resident set size= 67548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12535
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= 1587
involuntary context switches= 26
# summary of solver processes directly reported to runsolver:
# pid: 26318
# total CPU time (s): 1.34644
# total CPU user time (s): 1.29203
# total CPU system time (s): 0.054409
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023691 second user time and 0.051608 second system time
The end