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 (12853 MiB free)
memory of node 1: 16384 MiB (13657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301324-1532878959/watcher-4301324-1532878959 -o /tmp/evaluation-result-4301324-1532878959/solver-4301324-1532878959 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10018 --watchdog 312 HOME/xcsp3-exec -seed 579828387 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301324-1532878959.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=12672, runsolver pid=12669
[startup+0.100154 s]*
/proc/loadavg: 2.18 2.16 2.06 4/223 12688
/proc/meminfo: memFree=27128824/32770624 swapFree=67108856/67108860
[pid=12672] ppid=12669 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12672/stat : 12672 (xcsp3-exec) S 12669 12672 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105459101 115843072 363 33554432000 4194304 5098028 140728332509184 140728332507288 139808764019324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140728332514369 140728332514569 140728332514569 140728332517322 0
/proc/12672/statm: 28282 363 305 221 0 87 0
[pid=12674] ppid=12672 vsize=14082940 memory=28340 CPUtime=0.12 cores=1,3,5,7
/proc/12674/stat : 12674 (java) S 12672 12672 5155 0 -1 1077944320 5508 0 0 0 11 1 0 0 20 0 15 0 105459101 14420930560 7085 33554432000 4194304 4196468 140729283635360 140729283617904 140608417259255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
/proc/12674/statm: 3520735 7085 2997 1 0 3483012 0
[pid=12674/tid=12675] ppid=12672 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=1,3,5,7
/proc/12674/task/12675/stat : 12675 (java) R 12672 12672 5155 0 -1 4202560 3523 0 0 0 8 1 0 0 20 0 15 0 105459102 14420930560 7216 33554432000 4194304 4196468 140729283635360 140608421492528 140608417271190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12676] ppid=12672 vsize=14082940 memory=3472468396702000336 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12676/stat : 12676 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14420930560 7216 33554432000 4194304 4196468 140729283635360 140608373812112 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12677] ppid=12672 vsize=14082940 memory=140267806848640 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12677/stat : 12677 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14420930560 7216 33554432000 4194304 4196468 140729283635360 140608372759312 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12678] ppid=12672 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12678/stat : 12678 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14420930560 7216 33554432000 4194304 4196468 140729283635360 140608010644624 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12679] ppid=12672 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12679/stat : 12679 (java) S 12672 12672 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105459102 14420930560 7216 33554432000 4194304 4196468 140729283635360 140608009591824 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12680] ppid=12672 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12680/stat : 12680 (java) S 12672 12672 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105459104 14420930560 7216 33554432000 4194304 4196468 140729283635360 140607891523696 140608417270402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12681] ppid=12672 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12681/stat : 12681 (java) S 12672 12672 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105459104 14420930560 7216 33554432000 4194304 4196468 140729283635360 140607890469664 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12682] ppid=12672 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12682/stat : 12682 (java) S 12672 12672 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105459104 14420930560 7216 33554432000 4194304 4196468 140729283635360 140607889417328 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12683] ppid=12672 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12683/stat : 12683 (java) S 12672 12672 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105459107 14420930560 7216 33554432000 4194304 4196468 140729283635360 140607888365648 140608417277851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12684] ppid=12672 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12684/stat : 12684 (java) S 12672 12672 5155 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 105459107 14420930560 7216 33554432000 4194304 4196468 140729283635360 140607887313520 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12685] ppid=12672 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12685/stat : 12685 (java) S 12672 12672 5155 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 105459107 14420930560 7216 33554432000 4194304 4196468 140729283635360 140607886260720 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12686] ppid=12672 vsize=14082940 memory=140267806848640 CPUtime=0.01 cores=1,3,5,7
/proc/12674/task/12686/stat : 12686 (java) R 12672 12672 5155 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 15 0 105459107 14420930560 7216 33554432000 4194304 4196468 140729283635360 140607885208432 140608409496382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12687] ppid=12672 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12687/stat : 12687 (java) S 12672 12672 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105459107 14420930560 7216 33554432000 4194304 4196468 140729283635360 140607884155872 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12688] ppid=12672 vsize=14082940 memory=140267806848640 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12688/stat : 12688 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459107 14420930560 7216 33554432000 4194304 4196468 140729283635360 140607883102640 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29792 KiB
[startup+0.211074 s]*
/proc/loadavg: 2.18 2.16 2.06 4/223 12688
/proc/meminfo: memFree=27117412/32770624 swapFree=67108856/67108860
[pid=12672] ppid=12669 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12672/stat : 12672 (xcsp3-exec) S 12669 12672 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105459101 115843072 363 33554432000 4194304 5098028 140728332509184 140728332507288 139808764019324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140728332514369 140728332514569 140728332514569 140728332517322 0
/proc/12672/statm: 28282 363 305 221 0 87 0
[pid=12674] ppid=12672 vsize=14087196 memory=41136 CPUtime=0.34 cores=1,3,5,7
/proc/12674/stat : 12674 (java) S 12672 12672 5155 0 -1 1077944320 8325 0 0 0 32 2 0 0 20 0 15 0 105459101 14425288704 10284 33554432000 4194304 4196468 140729283635360 140729283617904 140608417259255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
/proc/12674/statm: 3521799 10284 3194 1 0 3483012 0
[pid=12674/tid=12675] ppid=12672 vsize=14087196 memory=5854525157017485473 CPUtime=0.2 cores=1,3,5,7
/proc/12674/task/12675/stat : 12675 (java) R 12672 12672 5155 0 -1 4202560 5473 0 0 0 19 1 0 0 20 0 15 0 105459102 14425288704 10284 33554432000 4194304 4196468 140729283635360 140608421480248 140608401339742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12676] ppid=12672 vsize=14087196 memory=3472468396702000336 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12676/stat : 12676 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14425288704 10284 33554432000 4194304 4196468 140729283635360 140608373812112 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12677] ppid=12672 vsize=14087196 memory=140267806848640 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12677/stat : 12677 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14425288704 10284 33554432000 4194304 4196468 140729283635360 140608372759312 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12678] ppid=12672 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12678/stat : 12678 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14425288704 10284 33554432000 4194304 4196468 140729283635360 140608010644624 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12679] ppid=12672 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12679/stat : 12679 (java) S 12672 12672 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105459102 14425288704 10284 33554432000 4194304 4196468 140729283635360 140608009591824 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12680] ppid=12672 vsize=14087196 memory=140267806848640 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12680/stat : 12680 (java) S 12672 12672 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105459104 14425288704 10284 33554432000 4194304 4196468 140729283635360 140607891523696 140608417270402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12681] ppid=12672 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12681/stat : 12681 (java) S 12672 12672 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105459104 14425288704 10284 33554432000 4194304 4196468 140729283635360 140607890469664 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12682] ppid=12672 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12682/stat : 12682 (java) S 12672 12672 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105459104 14425288704 10284 33554432000 4194304 4196468 140729283635360 140607889417328 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12683] ppid=12672 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12683/stat : 12683 (java) S 12672 12672 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105459107 14425288704 10284 33554432000 4194304 4196468 140729283635360 140607888365648 140608417277851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12684] ppid=12672 vsize=14087196 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12674/task/12684/stat : 12684 (java) S 12672 12672 5155 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 15 0 105459107 14425288704 10284 33554432000 4194304 4196468 140729283635360 140607887313520 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12685] ppid=12672 vsize=14087196 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12674/task/12685/stat : 12685 (java) S 12672 12672 5155 0 -1 1077944384 429 0 0 0 3 0 0 0 20 0 15 0 105459107 14425288704 10284 33554432000 4194304 4196468 140729283635360 140607886260720 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12686] ppid=12672 vsize=14087196 memory=140267806848640 CPUtime=0.08 cores=1,3,5,7
/proc/12674/task/12686/stat : 12686 (java) S 12672 12672 5155 0 -1 1077944384 797 0 0 0 8 0 0 0 20 0 15 0 105459107 14425288704 10284 33554432000 4194304 4196468 140729283635360 140607885208432 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12687] ppid=12672 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12687/stat : 12687 (java) S 12672 12672 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105459107 14425288704 10284 33554432000 4194304 4196468 140729283635360 140607884155872 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12688] ppid=12672 vsize=14087196 memory=140267806848640 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12688/stat : 12688 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459107 14425288704 10284 33554432000 4194304 4196468 140729283635360 140607883102640 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42588 KiB
[startup+0.310884 s]*
/proc/loadavg: 2.18 2.16 2.06 5/223 12688
/proc/meminfo: memFree=27110712/32770624 swapFree=67108856/67108860
[pid=12672] ppid=12669 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12672/stat : 12672 (xcsp3-exec) S 12669 12672 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105459101 115843072 363 33554432000 4194304 5098028 140728332509184 140728332507288 139808764019324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140728332514369 140728332514569 140728332514569 140728332517322 0
/proc/12672/statm: 28282 363 305 221 0 87 0
[pid=12674] ppid=12672 vsize=14087196 memory=48332 CPUtime=0.53 cores=1,3,5,7
/proc/12674/stat : 12674 (java) S 12672 12672 5155 0 -1 1077944320 9227 0 0 0 50 3 0 0 20 0 15 0 105459101 14425288704 12083 33554432000 4194304 4196468 140729283635360 140729283617904 140608417259255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
/proc/12674/statm: 3521799 12083 3275 1 0 3483012 0
[pid=12674/tid=12675] ppid=12672 vsize=14087196 memory=8514701219881125278 CPUtime=0.3 cores=1,3,5,7
/proc/12674/task/12675/stat : 12675 (java) R 12672 12672 5155 0 -1 4202560 6169 0 0 0 28 2 0 0 20 0 15 0 105459102 14425288704 12083 33554432000 4194304 4196468 140729283635360 140608421498656 140608401339742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12676] ppid=12672 vsize=14087196 memory=3472468396702000336 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12676/stat : 12676 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14425288704 12083 33554432000 4194304 4196468 140729283635360 140608373812112 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12677] ppid=12672 vsize=14087196 memory=140267806848640 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12677/stat : 12677 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14425288704 12083 33554432000 4194304 4196468 140729283635360 140608372759312 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12678] ppid=12672 vsize=14087196 memory=19 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12678/stat : 12678 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14425288704 12083 33554432000 4194304 4196468 140729283635360 140608010644624 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12679] ppid=12672 vsize=14087196 memory=140267659339807 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12679/stat : 12679 (java) S 12672 12672 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105459102 14425288704 12083 33554432000 4194304 4196468 140729283635360 140608009591824 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12680] ppid=12672 vsize=14087196 memory=280535318658848 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12680/stat : 12680 (java) S 12672 12672 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105459104 14425288704 12083 33554432000 4194304 4196468 140729283635360 140607891523696 140608417270402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12681] ppid=12672 vsize=14087196 memory=140267659316751 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12681/stat : 12681 (java) S 12672 12672 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105459104 14425288704 12083 33554432000 4194304 4196468 140729283635360 140607890469664 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12682] ppid=12672 vsize=14087196 memory=280535466174560 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12682/stat : 12682 (java) S 12672 12672 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105459104 14425288704 12083 33554432000 4194304 4196468 140729283635360 140607889417328 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12683] ppid=12672 vsize=14087196 memory=140267659321359 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12683/stat : 12683 (java) S 12672 12672 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105459107 14425288704 12083 33554432000 4194304 4196468 140729283635360 140607888365648 140608417277851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12684] ppid=12672 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12674/task/12684/stat : 12684 (java) S 12672 12672 5155 0 -1 1077944384 345 0 0 0 3 0 0 0 20 0 15 0 105459107 14425288704 12083 33554432000 4194304 4196468 140729283635360 140607887313520 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12685] ppid=12672 vsize=14087196 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/12674/task/12685/stat : 12685 (java) S 12672 12672 5155 0 -1 1077944384 520 0 0 0 6 0 0 0 20 0 15 0 105459107 14425288704 12083 33554432000 4194304 4196468 140729283635360 140607886260720 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12686] ppid=12672 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12674/task/12686/stat : 12686 (java) S 12672 12672 5155 0 -1 1077944384 891 0 0 0 12 0 0 0 20 0 15 0 105459107 14425288704 12083 33554432000 4194304 4196468 140729283635360 140607885208432 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12687] ppid=12672 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12687/stat : 12687 (java) S 12672 12672 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105459107 14425288704 12083 33554432000 4194304 4196468 140729283635360 140607884155872 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12688] ppid=12672 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12688/stat : 12688 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459107 14425288704 12083 33554432000 4194304 4196468 140729283635360 140607883102640 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49784 KiB
[startup+0.701716 s]
/proc/loadavg: 2.18 2.16 2.06 5/223 12688
/proc/meminfo: memFree=27093716/32770624 swapFree=67108856/67108860
[pid=12672] ppid=12669 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12672/stat : 12672 (xcsp3-exec) S 12669 12672 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105459101 115843072 363 33554432000 4194304 5098028 140728332509184 140728332507288 139808764019324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140728332514369 140728332514569 140728332514569 140728332517322 0
/proc/12672/statm: 28282 363 305 221 0 87 0
[pid=12674] ppid=12672 vsize=14089320 memory=76580 CPUtime=1.53 cores=1,3,5,7
/proc/12674/stat : 12674 (java) S 12672 12672 5155 0 -1 1077944320 12334 0 0 0 148 5 0 0 20 0 15 0 105459101 14427463680 19145 33554432000 4194304 4196468 140729283635360 140729283617904 140608417259255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
/proc/12674/statm: 3522330 19145 3361 1 0 3483524 0
[pid=12674/tid=12675] ppid=12672 vsize=14089320 memory=5795117241467496816 CPUtime=0.66 cores=1,3,5,7
/proc/12674/task/12675/stat : 12675 (java) R 12672 12672 5155 0 -1 4202560 7137 0 0 0 64 2 0 0 20 0 15 0 105459102 14427463680 19145 33554432000 4194304 4196468 140729283635360 140608421497664 140608417271190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12676] ppid=12672 vsize=14089320 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12676/stat : 12676 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14427463680 19145 33554432000 4194304 4196468 140729283635360 140608373812112 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12677] ppid=12672 vsize=14089320 memory=4638778402628129104 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12677/stat : 12677 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14427463680 19145 33554432000 4194304 4196468 140729283635360 140608372759312 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12678] ppid=12672 vsize=14089320 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12678/stat : 12678 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14427463680 19145 33554432000 4194304 4196468 140729283635360 140608010644624 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12679] ppid=12672 vsize=14089320 memory=-7395679465411340910 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12679/stat : 12679 (java) S 12672 12672 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105459102 14427463680 19145 33554432000 4194304 4196468 140729283635360 140608009591824 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12680] ppid=12672 vsize=14089320 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12680/stat : 12680 (java) S 12672 12672 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105459104 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607891523696 140608417270402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12681] ppid=12672 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12681/stat : 12681 (java) S 12672 12672 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105459104 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607890469664 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12682] ppid=12672 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12682/stat : 12682 (java) S 12672 12672 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105459104 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607889417328 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12683] ppid=12672 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12683/stat : 12683 (java) S 12672 12672 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607888365648 140608417277851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12684] ppid=12672 vsize=14089320 memory=30536 CPUtime=0.22 cores=1,3,5,7
/proc/12674/task/12684/stat : 12684 (java) R 12672 12672 5155 0 -1 1077944384 911 0 0 0 22 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607887313520 140608417270402 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12685] ppid=12672 vsize=14089320 memory=1244 CPUtime=0.26 cores=1,3,5,7
/proc/12674/task/12685/stat : 12685 (java) S 12672 12672 5155 0 -1 1077944384 974 0 0 0 26 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607886260720 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12686] ppid=12672 vsize=14089320 memory=2268 CPUtime=0.34 cores=1,3,5,7
/proc/12674/task/12686/stat : 12686 (java) R 12672 12672 5155 0 -1 4202560 2004 0 0 0 34 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607885208432 140608395445744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12687] ppid=12672 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12687/stat : 12687 (java) S 12672 12672 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607884155872 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12688] ppid=12672 vsize=14089320 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12688/stat : 12688 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607883102640 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 78032 KiB
[startup+0.721565 s]
# the end of solver process 12672 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.51663 s, system=0.060785 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.701716 s]
/proc/loadavg: 2.18 2.16 2.06 5/223 12688
/proc/meminfo: memFree=27093716/32770624 swapFree=67108856/67108860
[pid=12672] ppid=12669 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12672/stat : 12672 (xcsp3-exec) S 12669 12672 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105459101 115843072 363 33554432000 4194304 5098028 140728332509184 140728332507288 139808764019324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140728332514369 140728332514569 140728332514569 140728332517322 0
/proc/12672/statm: 28282 363 305 221 0 87 0
[pid=12674] ppid=12672 vsize=14089320 memory=76580 CPUtime=1.53 cores=1,3,5,7
/proc/12674/stat : 12674 (java) S 12672 12672 5155 0 -1 1077944320 12334 0 0 0 148 5 0 0 20 0 15 0 105459101 14427463680 19145 33554432000 4194304 4196468 140729283635360 140729283617904 140608417259255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
/proc/12674/statm: 3522330 19145 3361 1 0 3483524 0
[pid=12674/tid=12675] ppid=12672 vsize=14089320 memory=5795117241467496816 CPUtime=0.66 cores=1,3,5,7
/proc/12674/task/12675/stat : 12675 (java) R 12672 12672 5155 0 -1 4202560 7137 0 0 0 64 2 0 0 20 0 15 0 105459102 14427463680 19145 33554432000 4194304 4196468 140729283635360 140608421497664 140608417271190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12676] ppid=12672 vsize=14089320 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12676/stat : 12676 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14427463680 19145 33554432000 4194304 4196468 140729283635360 140608373812112 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12677] ppid=12672 vsize=14089320 memory=4638778402628129104 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12677/stat : 12677 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14427463680 19145 33554432000 4194304 4196468 140729283635360 140608372759312 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12678] ppid=12672 vsize=14089320 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12678/stat : 12678 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459102 14427463680 19145 33554432000 4194304 4196468 140729283635360 140608010644624 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12679] ppid=12672 vsize=14089320 memory=-7395679465411340910 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12679/stat : 12679 (java) S 12672 12672 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105459102 14427463680 19145 33554432000 4194304 4196468 140729283635360 140608009591824 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12680] ppid=12672 vsize=14089320 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12680/stat : 12680 (java) S 12672 12672 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105459104 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607891523696 140608417270402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12681] ppid=12672 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12681/stat : 12681 (java) S 12672 12672 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105459104 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607890469664 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12682] ppid=12672 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12682/stat : 12682 (java) S 12672 12672 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105459104 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607889417328 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12683] ppid=12672 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12683/stat : 12683 (java) S 12672 12672 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607888365648 140608417277851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12684] ppid=12672 vsize=14089320 memory=30536 CPUtime=0.22 cores=1,3,5,7
/proc/12674/task/12684/stat : 12684 (java) R 12672 12672 5155 0 -1 1077944384 911 0 0 0 22 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607887313520 140608417270402 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12685] ppid=12672 vsize=14089320 memory=1244 CPUtime=0.26 cores=1,3,5,7
/proc/12674/task/12685/stat : 12685 (java) S 12672 12672 5155 0 -1 1077944384 974 0 0 0 26 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607886260720 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12686] ppid=12672 vsize=14089320 memory=2268 CPUtime=0.34 cores=1,3,5,7
/proc/12674/task/12686/stat : 12686 (java) R 12672 12672 5155 0 -1 4202560 2004 0 0 0 34 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607885208432 140608395445744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12687] ppid=12672 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12687/stat : 12687 (java) S 12672 12672 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607884155872 140608417269461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
[pid=12674/tid=12688] ppid=12672 vsize=14089320 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/12674/task/12688/stat : 12688 (java) S 12672 12672 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105459107 14427463680 19145 33554432000 4194304 4196468 140729283635360 140607883102640 140608417270402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30138368 140729283638412 140729283638582 140729283638582 140729283641295 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 78032 KiB
Child status: 0
Real time (s): 0.721611
CPU time (s): 1.57741
CPU user time (s): 1.51663
CPU system time (s): 0.060785
CPU usage (%): 218.596
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 78032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.51663
system time used= 0.060785
maximum resident set size= 79420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12964
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= 1718
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 12672
# total CPU time (s): 1.57741
# total CPU user time (s): 1.51663
# total CPU system time (s): 0.060785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029673 second user time and 0.048466 second system time
The end