0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271836-1502648290.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271836-1502648290.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
33.42/14.31 c solve instance...
50.47/17.39 o 2
50.68/17.41 s OPTIMUM FOUND
50.68/17.41 v <instantiation>
50.68/17.41 v <list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][5] x[4][6] x[4][7] x[4][8] x[5][6] x[5][7] x[5][8] x[6][7] x[6][8] x[7][8] </list>
50.68/17.41 v <values>1 1 0 1 0 0 0 2 0 1 2 1 0 0 1 0 0 0 1 1 1 1 2 1 1 0 1 0 0 1 1 1 0 2 0 0 </values>
50.68/17.41 v </instantiation>
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 (14295 MiB free)
memory of node 1: 16384 MiB (14166 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271836-1502648290/watcher-4271836-1502648290 -o /tmp/evaluation-result-4271836-1502648290/solver-4271836-1502648290 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 71041904 HOME/instance-4271836-1502648290.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19217, runsolver pid=19214
[startup+0.100134 s]*
/proc/loadavg: 8.06 7.49 6.16 2/201 19238
/proc/meminfo: memFree=29130084/32770624 swapFree=67108860/67108860
[pid=19217] ppid=19214 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97917046 9740288 345 33554432000 4194304 5098028 140721570704384 140721570702488 139985058058876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12075008 140721570706540 140721570706748 140721570706748 140721570709483 0
/proc/19217/statm: 2378 345 289 221 0 87 0
[pid=19219] ppid=19217 vsize=25999808 memory=26408 CPUtime=0.11 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 3823 0 -1 1077944320 5482 0 0 0 10 1 0 0 20 0 20 0 97917046 26623803392 6602 33554432000 4194304 4196468 140734975683232 140734975665776 139915525996279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
/proc/19219/statm: 6499952 6602 2875 1 0 6488269 0
[pid=19219/tid=19220] ppid=19217 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) R 19217 19217 3823 0 -1 4202560 3488 0 0 0 8 0 0 0 20 0 20 0 97917047 26623803392 6602 33554432000 4194304 4196468 140734975683232 139915530222880 139915526008214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19221] ppid=19217 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26623803392 6602 33554432000 4194304 4196468 140734975683232 139915478616848 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19222] ppid=19217 vsize=25999808 memory=139636067579520 CPUtime=0 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917048 26623803392 6602 33554432000 4194304 4196468 140734975683232 139915477564304 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19223] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26623803392 6602 33554432000 4194304 4196468 140734975683232 139915476511760 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19224] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19224/stat : 19224 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26623803392 6602 33554432000 4194304 4196468 140734975683232 139915475459216 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19225] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19225/stat : 19225 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26623803392 6602 33554432000 4194304 4196468 140734975683232 139915474405648 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19226] ppid=19217 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19226/stat : 19226 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917048 26623803392 6602 33554432000 4194304 4196468 140734975683232 139915473353104 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19227] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19227/stat : 19227 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26623803392 6602 33554432000 4194304 4196468 140734975683232 139915078007312 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19228] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) S 19217 19217 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97917048 26623803392 6602 33554432000 4194304 4196468 140734975683232 139915076954768 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19229] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917049 26623803392 6602 33554432000 4194304 4196468 140734975683232 139914518665712 139915526007426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19230] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97917050 26623803392 6602 33554432000 4194304 4196468 140734975683232 139914517611936 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19231] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97917050 26623803392 6602 33554432000 4194304 4196468 140734975683232 139914516559344 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19232] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917052 26623803392 6602 33554432000 4194304 4196468 140734975683232 139914515507920 139915526014875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19233] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) S 19217 19217 3823 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 97917052 26623803392 6602 33554432000 4194304 4196468 140734975683232 139914514454512 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19234] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917052 26623803392 6602 33554432000 4194304 4196468 140734975683232 139914513401968 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19235] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) S 19217 19217 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97917052 26623803392 6602 33554432000 4194304 4196468 140734975683232 139914512349424 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19236] ppid=19217 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) S 19217 19217 3823 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 97917052 26623803392 6602 33554432000 4194304 4196468 140734975683232 139914511296880 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19237] ppid=19217 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97917052 26623803392 6602 33554432000 4194304 4196468 140734975683232 139914510244576 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19238] ppid=19217 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917053 26623803392 6602 33554432000 4194304 4196468 140734975683232 139914509192112 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27788 KiB
[startup+0.209885 s]*
/proc/loadavg: 8.06 7.49 6.16 2/201 19238
/proc/meminfo: memFree=29118052/32770624 swapFree=67108860/67108860
[pid=19217] ppid=19214 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97917046 9740288 345 33554432000 4194304 5098028 140721570704384 140721570702488 139985058058876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12075008 140721570706540 140721570706748 140721570706748 140721570709483 0
/proc/19217/statm: 2378 345 289 221 0 87 0
[pid=19219] ppid=19217 vsize=26004064 memory=38904 CPUtime=0.33 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 3823 0 -1 1077944320 8317 0 0 0 31 2 0 0 20 0 20 0 97917046 26628161536 9726 33554432000 4194304 4196468 140734975683232 140734975665776 139915525996279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
/proc/19219/statm: 6501016 9726 3033 1 0 6488269 0
[pid=19219/tid=19220] ppid=19217 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) R 19217 19217 3823 0 -1 4202560 5412 0 0 0 18 1 0 0 20 0 20 0 97917047 26628161536 9726 33554432000 4194304 4196468 140734975683232 139915530218320 139915518674293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19221] ppid=19217 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 9726 33554432000 4194304 4196468 140734975683232 139915478616848 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19222] ppid=19217 vsize=26004064 memory=3904813513716577952 CPUtime=0 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 9726 33554432000 4194304 4196468 140734975683232 139915477564304 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19223] ppid=19217 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 9726 33554432000 4194304 4196468 140734975683232 139915476511760 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19224] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19224/stat : 19224 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 9726 33554432000 4194304 4196468 140734975683232 139915475459216 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19225] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19225/stat : 19225 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 9726 33554432000 4194304 4196468 140734975683232 139915474405648 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19226] ppid=19217 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19226/stat : 19226 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 9726 33554432000 4194304 4196468 140734975683232 139915473353104 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19227] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19227/stat : 19227 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 9726 33554432000 4194304 4196468 140734975683232 139915078007312 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19228] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) S 19217 19217 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 9726 33554432000 4194304 4196468 140734975683232 139915076954768 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19229] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917049 26628161536 9726 33554432000 4194304 4196468 140734975683232 139914518665712 139915526007426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19230] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97917050 26628161536 9726 33554432000 4194304 4196468 140734975683232 139914517611936 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19231] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97917050 26628161536 9726 33554432000 4194304 4196468 140734975683232 139914516559344 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19232] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917052 26628161536 9726 33554432000 4194304 4196468 140734975683232 139914515507920 139915526014875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19233] ppid=19217 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) S 19217 19217 3823 0 -1 1077944384 621 0 0 0 1 0 0 0 20 0 20 0 97917052 26628161536 9726 33554432000 4194304 4196468 140734975683232 139914514454512 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19234] ppid=19217 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) S 19217 19217 3823 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 20 0 97917052 26628161536 9726 33554432000 4194304 4196468 140734975683232 139914513401968 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19235] ppid=19217 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) S 19217 19217 3823 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 20 0 97917052 26628161536 9726 33554432000 4194304 4196468 140734975683232 139914512349424 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19236] ppid=19217 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) R 19217 19217 3823 0 -1 4202560 795 0 0 0 7 0 0 0 20 0 20 0 97917052 26628161536 9726 33554432000 4194304 4196468 140734975683232 139914511296880 139915518233406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19237] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97917052 26628161536 9726 33554432000 4194304 4196468 140734975683232 139914510244576 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19238] ppid=19217 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917053 26628161536 9726 33554432000 4194304 4196468 140734975683232 139914509192112 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40284 KiB
[startup+0.309596 s]*
/proc/loadavg: 8.06 7.49 6.16 3/201 19238
/proc/meminfo: memFree=29111780/32770624 swapFree=67108860/67108860
[pid=19217] ppid=19214 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97917046 9740288 345 33554432000 4194304 5098028 140721570704384 140721570702488 139985058058876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12075008 140721570706540 140721570706748 140721570706748 140721570709483 0
/proc/19217/statm: 2378 345 289 221 0 87 0
[pid=19219] ppid=19217 vsize=26004064 memory=45892 CPUtime=0.5 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 3823 0 -1 1077944320 9281 0 0 0 47 3 0 0 20 0 20 0 97917046 26628161536 11473 33554432000 4194304 4196468 140734975683232 140734975665776 139915525996279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
/proc/19219/statm: 6501016 11473 3066 1 0 6488269 0
[pid=19219/tid=19220] ppid=19217 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) R 19217 19217 3823 0 -1 4202560 6159 0 0 0 27 2 0 0 20 0 20 0 97917047 26628161536 11473 33554432000 4194304 4196468 140734975683232 139915530234352 139915510076766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19221] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 11473 33554432000 4194304 4196468 140734975683232 139915478616848 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19222] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 11473 33554432000 4194304 4196468 140734975683232 139915477564304 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19223] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 11473 33554432000 4194304 4196468 140734975683232 139915476511760 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19224] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19224/stat : 19224 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 11473 33554432000 4194304 4196468 140734975683232 139915475459216 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19225] ppid=19217 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/19219/task/19225/stat : 19225 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 11473 33554432000 4194304 4196468 140734975683232 139915474405648 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19226] ppid=19217 vsize=26004064 memory=139635963556783 CPUtime=0 cores=0-7
/proc/19219/task/19226/stat : 19226 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 11473 33554432000 4194304 4196468 140734975683232 139915473353104 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19227] ppid=19217 vsize=26004064 memory=139635963559088 CPUtime=0 cores=0-7
/proc/19219/task/19227/stat : 19227 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 11473 33554432000 4194304 4196468 140734975683232 139915078007312 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19228] ppid=19217 vsize=26004064 memory=139635963561392 CPUtime=0 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) S 19217 19217 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97917048 26628161536 11473 33554432000 4194304 4196468 140734975683232 139915076954768 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19229] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917049 26628161536 11473 33554432000 4194304 4196468 140734975683232 139914518665712 139915526007426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19230] ppid=19217 vsize=26004064 memory=279271927129744 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97917050 26628161536 11473 33554432000 4194304 4196468 140734975683232 139914517611936 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19231] ppid=19217 vsize=26004064 memory=279271927136656 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97917050 26628161536 11473 33554432000 4194304 4196468 140734975683232 139914516559344 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19232] ppid=19217 vsize=26004064 memory=279271927077936 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917052 26628161536 11473 33554432000 4194304 4196468 140734975683232 139914515507920 139915526014875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19233] ppid=19217 vsize=26004064 memory=279271927150480 CPUtime=0.02 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) S 19217 19217 3823 0 -1 1077944384 703 0 0 0 2 0 0 0 20 0 20 0 97917052 26628161536 11473 33554432000 4194304 4196468 140734975683232 139914514454512 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19234] ppid=19217 vsize=26004064 memory=279271927157392 CPUtime=0.02 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) S 19217 19217 3823 0 -1 1077944384 65 0 0 0 2 0 0 0 20 0 20 0 97917052 26628161536 11473 33554432000 4194304 4196468 140734975683232 139914513401968 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19235] ppid=19217 vsize=26004064 memory=279271927155088 CPUtime=0.02 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) S 19217 19217 3823 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 20 0 97917052 26628161536 11473 33554432000 4194304 4196468 140734975683232 139914512349424 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19236] ppid=19217 vsize=26004064 memory=279271927171248 CPUtime=0.12 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) S 19217 19217 3823 0 -1 1077944384 916 0 0 0 12 0 0 0 20 0 20 0 97917052 26628161536 11473 33554432000 4194304 4196468 140734975683232 139914511296880 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19237] ppid=19217 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97917052 26628161536 11473 33554432000 4194304 4196468 140734975683232 139914510244576 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19238] ppid=19217 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917053 26628161536 11473 33554432000 4194304 4196468 140734975683232 139914509192112 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47272 KiB
[startup+0.700904 s]
/proc/loadavg: 7.49 7.38 6.13 3/201 19238
/proc/meminfo: memFree=29099496/32770624 swapFree=67108860/67108860
[pid=19217] ppid=19214 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97917046 9740288 345 33554432000 4194304 5098028 140721570704384 140721570702488 139985058058876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12075008 140721570706540 140721570706748 140721570706748 140721570709483 0
/proc/19217/statm: 2378 345 289 221 0 87 0
[pid=19219] ppid=19217 vsize=26004140 memory=88220 CPUtime=1.18 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 3823 0 -1 1077944320 10628 0 0 0 114 4 0 0 20 0 20 0 97917046 26628239360 22055 33554432000 4194304 4196468 140734975683232 140734975665776 139915525996279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
/proc/19219/statm: 6501035 22055 3183 1 0 6488269 0
[pid=19219/tid=19220] ppid=19217 vsize=26004140 memory=279271927529136 CPUtime=0.67 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) R 19217 19217 3823 0 -1 4202560 6624 0 0 0 64 3 0 0 20 0 20 0 97917047 26628239360 22055 33554432000 4194304 4196468 140734975683232 139915530232064 139915155903314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19221] ppid=19217 vsize=26004140 memory=139635963765616 CPUtime=0 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628239360 22055 33554432000 4194304 4196468 140734975683232 139915478616848 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19222] ppid=19217 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97917048 26628239360 22055 33554432000 4194304 4196468 140734975683232 139915477564304 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19223] ppid=19217 vsize=26004140 memory=5296 CPUtime=0 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97917048 26628239360 22055 33554432000 4194304 4196468 140734975683232 139915476511760 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
################
# More data... #
################
[pid=19219/tid=19228] ppid=19217 vsize=26538700 memory=15872 CPUtime=4.28 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) S 19217 19217 3823 0 -1 1077944384 4387 0 0 0 361 67 0 0 20 0 28 0 97917048 27175628800 634547 33554432000 4194304 4196468 140734975683232 139915076954768 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19229] ppid=19217 vsize=26538700 memory=18448 CPUtime=1.21 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) R 19217 19217 3823 0 -1 4202560 3422 0 0 0 116 5 0 0 20 0 28 0 97917049 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914518664144 139915510696897 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19230] ppid=19217 vsize=26538700 memory=15880 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 3823 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 97917050 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914517612000 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19231] ppid=19217 vsize=26538700 memory=4044 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 3823 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 97917050 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914516559360 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19232] ppid=19217 vsize=26538700 memory=1792 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97917052 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914515507920 139915526014875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19233] ppid=19217 vsize=26538700 memory=1380 CPUtime=0.24 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) S 19217 19217 3823 0 -1 1077944384 2451 0 0 0 23 1 0 0 20 0 28 0 97917052 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914514454512 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19234] ppid=19217 vsize=26538700 memory=2538164 CPUtime=0.25 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) S 19217 19217 3823 0 -1 1077944384 1808 0 0 0 25 0 0 0 20 0 28 0 97917052 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914513401968 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19235] ppid=19217 vsize=26538700 memory=8243114992657236051 CPUtime=0.21 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) S 19217 19217 3823 0 -1 1077944384 917 0 0 0 21 0 0 0 20 0 28 0 97917052 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914512349424 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19236] ppid=19217 vsize=26538700 memory=288289974007366485 CPUtime=0.47 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) S 19217 19217 3823 0 -1 1077944384 5004 0 0 0 46 1 0 0 20 0 28 0 97917052 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914511296880 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19237] ppid=19217 vsize=26538700 memory=-7531821116701384608 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97917052 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914510244576 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19238] ppid=19217 vsize=26538700 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 3823 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 97917053 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914509192112 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19239] ppid=19217 vsize=26538700 memory=7100839861465685612 CPUtime=0 cores=0-7
/proc/19219/task/19239/stat : 19239 (java) S 19217 19217 3823 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 97918479 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914501179760 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19240] ppid=19217 vsize=26538700 memory=-7175204567652784766 CPUtime=0 cores=0-7
/proc/19219/task/19240/stat : 19240 (java) S 19217 19217 3823 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 97918480 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914500128336 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19241] ppid=19217 vsize=26538700 memory=3054156605268465310 CPUtime=0 cores=0-7
/proc/19219/task/19241/stat : 19241 (java) S 19217 19217 3823 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97918480 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914499071088 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19242] ppid=19217 vsize=26538700 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/19219/task/19242/stat : 19242 (java) S 19217 19217 3823 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 97918480 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914498022224 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19243] ppid=19217 vsize=26538700 memory=-8412652177879177843 CPUtime=0 cores=0-7
/proc/19219/task/19243/stat : 19243 (java) S 19217 19217 3823 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 97918480 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914496969584 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19244] ppid=19217 vsize=26538700 memory=7822038051842261661 CPUtime=0 cores=0-7
/proc/19219/task/19244/stat : 19244 (java) S 19217 19217 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 97918480 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914495923168 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19245] ppid=19217 vsize=26538700 memory=1399105007669254531 CPUtime=0 cores=0-7
/proc/19219/task/19245/stat : 19245 (java) S 19217 19217 3823 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 97918480 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914494864592 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19246] ppid=19217 vsize=26538700 memory=589972051086833205 CPUtime=0 cores=0-7
/proc/19219/task/19246/stat : 19246 (java) S 19217 19217 3823 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97918480 27175628800 634547 33554432000 4194304 4196468 140734975683232 139914493817360 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
Current children cumulated CPU time: 47.96 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2539568 KiB
[startup+17.2012 s]
/proc/loadavg: 6.38 7.13 6.07 10/209 19246
/proc/meminfo: memFree=26610744/32770624 swapFree=67108860/67108860
[pid=19217] ppid=19214 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97917046 9740288 345 33554432000 4194304 5098028 140721570704384 140721570702488 139985058058876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12075008 140721570706540 140721570706748 140721570706748 140721570709483 0
/proc/19217/statm: 2378 345 289 221 0 87 0
[pid=19219] ppid=19217 vsize=26538700 memory=2543956 CPUtime=50.33 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 3823 0 -1 1077944320 90502 0 0 0 4471 562 0 0 20 0 28 0 97917046 27175628800 635989 33554432000 4194304 4196468 140734975683232 140734975665776 139915525996279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
/proc/19219/statm: 6634675 635989 3266 1 0 6621909 0
[pid=19219/tid=19220] ppid=19217 vsize=26538700 memory=6944656575208382560 CPUtime=11.2 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) S 19217 19217 3823 0 -1 1077944384 11011 0 0 0 1111 9 0 0 20 0 28 0 97917047 27175628800 635989 33554432000 4194304 4196468 140734975683232 139915530237056 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19221] ppid=19217 vsize=26538700 memory=6944656592455360604 CPUtime=4.26 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 3823 0 -1 1077944384 3589 0 0 0 362 64 0 0 20 0 28 0 97917048 27175628800 635989 33554432000 4194304 4196468 140734975683232 139915478616848 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19222] ppid=19217 vsize=26538700 memory=6655300316396806240 CPUtime=4.27 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 3823 0 -1 1077944384 19894 0 0 0 359 68 0 0 20 0 28 0 97917048 27175628800 635989 33554432000 4194304 4196468 140734975683232 139915477564304 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19223] ppid=19217 vsize=26538700 memory=6944613755294413216 CPUtime=4.28 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 3823 0 -1 1077944384 3094 0 0 0 363 65 0 0 20 0 28 0 97917048 27175628800 635989 33554432000 4194304 4196468 140734975683232 139915476511760 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19224] ppid=19217 vsize=26538700 memory=6944656592452807320 CPUtime=4.29 cores=0-7
/proc/19219/task/19224/stat : 19224 (java) S 19217 19217 3823 0 -1 1077944384 3528 0 0 0 360 69 0 0 20 0 28 0 97917048 27175628800 635989 33554432000 4194304 4196468 140734975683232 139915475459216 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19225] ppid=19217 vsize=26538700 memory=6944656592455360569 CPUtime=4.28 cores=0-7
/proc/19219/task/19225/stat : 19225 (java) S 19217 19217 3823 0 -1 1077944384 4795 0 0 0 362 66 0 0 20 0 28 0 97917048 27175628800 635989 33554432000 4194304 4196468 140734975683232 139915474405648 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19226] ppid=19217 vsize=26538700 memory=8996927262957663786 CPUtime=4.29 cores=0-7
/proc/19219/task/19226/stat : 19226 (java) S 19217 19217 3823 0 -1 1077944384 4127 0 0 0 362 67 0 0 20 0 28 0 97917048 27175628800 635989 33554432000 4194304 4196468 140734975683232 139915473353104 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19227] ppid=19217 vsize=26538700 memory=8514726395714820749 CPUtime=4.28 cores=0-7
/proc/19219/task/19227/stat : 19227 (java) S 19217 19217 3823 0 -1 1077944384 13389 0 0 0 359 69 0 0 20 0 28 0 97917048 27175628800 635989 33554432000 4194304 4196468 140734975683232 139915078007312 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19228] ppid=19217 vsize=26538700 memory=7100839852556323184 CPUtime=4.28 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) S 19217 19217 3823 0 -1 1077944384 4390 0 0 0 361 67 0 0 20 0 28 0 97917048 27175628800 635989 33554432000 4194304 4196468 140734975683232 139915076954768 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19229] ppid=19217 vsize=26538700 memory=8110268329460797845 CPUtime=1.3 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) S 19217 19217 3823 0 -1 1077944384 5916 0 0 0 124 6 0 0 20 0 28 0 97917049 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914518665712 139915526007426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19230] ppid=19217 vsize=26538700 memory=469259 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 3823 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 97917050 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914517612000 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19231] ppid=19217 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 3823 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 97917050 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914516559360 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19232] ppid=19217 vsize=26538700 memory=2538188 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97917052 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914515507920 139915526014875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19233] ppid=19217 vsize=26538700 memory=0 CPUtime=0.36 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) R 19217 19217 3823 0 -1 4202560 3469 0 0 0 35 1 0 0 20 0 28 0 97917052 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914514434064 139915509407173 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19234] ppid=19217 vsize=26538700 memory=0 CPUtime=0.31 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) S 19217 19217 3823 0 -1 1077944384 2012 0 0 0 31 0 0 0 20 0 28 0 97917052 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914513401968 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19235] ppid=19217 vsize=26538700 memory=0 CPUtime=0.27 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) S 19217 19217 3823 0 -1 1077944384 1335 0 0 0 27 0 0 0 20 0 28 0 97917052 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914512349424 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19236] ppid=19217 vsize=26538700 memory=0 CPUtime=0.53 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) S 19217 19217 3823 0 -1 1077944384 5538 0 0 0 52 1 0 0 20 0 28 0 97917052 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914511296880 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19237] ppid=19217 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97917052 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914510244576 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19238] ppid=19217 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 3823 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 97917053 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914509192112 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19239] ppid=19217 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/19219/task/19239/stat : 19239 (java) R 19217 19217 3823 0 -1 4202560 237 0 0 0 24 0 0 0 20 0 28 0 97918479 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914501180528 139915158745000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19240] ppid=19217 vsize=26538700 memory=0 CPUtime=0.18 cores=0-7
/proc/19219/task/19240/stat : 19240 (java) S 19217 19217 3823 0 -1 1077944384 107 0 0 0 18 0 0 0 20 0 28 0 97918480 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914500134480 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19241] ppid=19217 vsize=26538700 memory=0 CPUtime=0.26 cores=0-7
/proc/19219/task/19241/stat : 19241 (java) S 19217 19217 3823 0 -1 1077944384 1195 0 0 0 26 0 0 0 20 0 28 0 97918480 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914499080912 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19242] ppid=19217 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/19219/task/19242/stat : 19242 (java) S 19217 19217 3823 0 -1 1077944384 74 0 0 0 24 0 0 0 20 0 28 0 97918480 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914498028368 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19243] ppid=19217 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/19219/task/19243/stat : 19243 (java) S 19217 19217 3823 0 -1 1077944384 333 0 0 0 23 0 0 0 20 0 28 0 97918480 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914496975824 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19244] ppid=19217 vsize=26538700 memory=0 CPUtime=0.27 cores=0-7
/proc/19219/task/19244/stat : 19244 (java) S 19217 19217 3823 0 -1 1077944384 336 0 0 0 27 0 0 0 20 0 28 0 97918480 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914495923280 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19245] ppid=19217 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7
/proc/19219/task/19245/stat : 19245 (java) S 19217 19217 3823 0 -1 1077944384 231 0 0 0 25 0 0 0 20 0 28 0 97918480 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914494870736 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19246] ppid=19217 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/19219/task/19246/stat : 19246 (java) R 19217 19217 3823 0 -1 4202560 392 0 0 0 24 0 0 0 20 0 28 0 97918480 27175628800 635989 33554432000 4194304 4196468 140734975683232 139914493811600 139915158344089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
Current children cumulated CPU time: 50.33 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2545336 KiB
[startup+17.4115 s]
/proc/loadavg: 6.38 7.13 6.07 10/209 19246
/proc/meminfo: memFree=26610744/32770624 swapFree=67108860/67108860
[pid=19217] ppid=19214 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97917046 9740288 345 33554432000 4194304 5098028 140721570704384 140721570702488 139985058058876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12075008 140721570706540 140721570706748 140721570706748 140721570709483 0
/proc/19217/statm: 2378 345 289 221 0 87 0
[pid=19219] ppid=19217 vsize=26538700 memory=2543876 CPUtime=50.68 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 3823 0 -1 1077944320 91540 0 0 0 4506 562 0 0 20 0 28 0 97917046 27175628800 635969 33554432000 4194304 4196468 140734975683232 140734975665776 139915525996279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
/proc/19219/statm: 6634675 635969 3269 1 0 6621909 0
[pid=19219/tid=19220] ppid=19217 vsize=26538700 memory=0 CPUtime=11.2 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) S 19217 19217 3823 0 -1 1077944384 11116 0 0 0 1111 9 0 0 20 0 28 0 97917047 27175628800 635969 33554432000 4194304 4196468 140734975683232 139915530237056 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19221] ppid=19217 vsize=26538700 memory=0 CPUtime=4.26 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 3823 0 -1 1077944384 3589 0 0 0 362 64 0 0 20 0 28 0 97917048 27175628800 635969 33554432000 4194304 4196468 140734975683232 139915478616848 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19222] ppid=19217 vsize=26538700 memory=0 CPUtime=4.27 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 3823 0 -1 1077944384 19894 0 0 0 359 68 0 0 20 0 28 0 97917048 27175628800 635969 33554432000 4194304 4196468 140734975683232 139915477564304 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19223] ppid=19217 vsize=26538700 memory=0 CPUtime=4.28 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 3823 0 -1 1077944384 3094 0 0 0 363 65 0 0 20 0 28 0 97917048 27175628800 635969 33554432000 4194304 4196468 140734975683232 139915476511760 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19224] ppid=19217 vsize=26538700 memory=0 CPUtime=4.29 cores=0-7
/proc/19219/task/19224/stat : 19224 (java) S 19217 19217 3823 0 -1 1077944384 3528 0 0 0 360 69 0 0 20 0 28 0 97917048 27175628800 635969 33554432000 4194304 4196468 140734975683232 139915475459216 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19225] ppid=19217 vsize=26538700 memory=0 CPUtime=4.28 cores=0-7
/proc/19219/task/19225/stat : 19225 (java) S 19217 19217 3823 0 -1 1077944384 4795 0 0 0 362 66 0 0 20 0 28 0 97917048 27175628800 635969 33554432000 4194304 4196468 140734975683232 139915474405648 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19226] ppid=19217 vsize=26538700 memory=0 CPUtime=4.29 cores=0-7
/proc/19219/task/19226/stat : 19226 (java) S 19217 19217 3823 0 -1 1077944384 4127 0 0 0 362 67 0 0 20 0 28 0 97917048 27175628800 635969 33554432000 4194304 4196468 140734975683232 139915473353104 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19227] ppid=19217 vsize=26538700 memory=0 CPUtime=4.28 cores=0-7
/proc/19219/task/19227/stat : 19227 (java) S 19217 19217 3823 0 -1 1077944384 13389 0 0 0 359 69 0 0 20 0 28 0 97917048 27175628800 635969 33554432000 4194304 4196468 140734975683232 139915078007312 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19228] ppid=19217 vsize=26538700 memory=0 CPUtime=4.28 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) S 19217 19217 3823 0 -1 1077944384 4390 0 0 0 361 67 0 0 20 0 28 0 97917048 27175628800 635969 33554432000 4194304 4196468 140734975683232 139915076954768 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19229] ppid=19217 vsize=26538700 memory=0 CPUtime=1.3 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) S 19217 19217 3823 0 -1 1077944384 5916 0 0 0 124 6 0 0 20 0 28 0 97917049 27175628800 635969 33554432000 4194304 4196468 140734975683232 139914518665712 139915526007426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19230] ppid=19217 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 3823 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 97917050 27175628800 635969 33554432000 4194304 4196468 140734975683232 139914517612000 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19231] ppid=19217 vsize=26538700 memory=2542052 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 3823 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 97917050 27175628800 635969 33554432000 4194304 4196468 140734975683232 139914516559360 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19232] ppid=19217 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97917052 27175628800 635969 33554432000 4194304 4196468 140734975683232 139914515507920 139915526014875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19233] ppid=19217 vsize=26538700 memory=0 CPUtime=0.39 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) S 19217 19217 3823 0 -1 1077944384 3556 0 0 0 38 1 0 0 20 0 28 0 97917052 27175628800 635969 33554432000 4194304 4196468 140734975683232 139914514454512 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19234] ppid=19217 vsize=26538700 memory=0 CPUtime=0.31 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) S 19217 19217 3823 0 -1 1077944384 2079 0 0 0 31 0 0 0 20 0 28 0 97917052 27175628800 635969 33554432000 4194304 4196468 140734975683232 139914513401968 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19235] ppid=19217 vsize=26538700 memory=0 CPUtime=0.27 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) R 19217 19217 3823 0 -1 1077944384 1410 0 0 0 27 0 0 0 20 0 28 0 97917052 27175628800 635969 33554432000 4194304 4196468 140734975683232 139914512349424 139915526007426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19236] ppid=19217 vsize=26538700 memory=0 CPUtime=0.54 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) R 19217 19217 3823 0 -1 4202560 5987 0 0 0 53 1 0 0 20 0 28 0 97917052 27175628800 635969 33554432000 4194304 4196468 140734975683232 139914511296880 139915504672135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19237] ppid=19217 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97917052 27175628800 635969 33554432000 4194304 4196468 140734975683232 139914510244576 139915526006485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
[pid=19219/tid=19238] ppid=19217 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 3823 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 97917053 27175628800 635969 33554432000 4194304 4196468 140734975683232 139914509192112 139915526007426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 30519296 140734975685784 140734975685960 140734975685960 140734975688655 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2545256 KiB
Child status: 0
Real time (s): 17.4493
CPU time (s): 50.7357
CPU user time (s): 45.09
CPU system time (s): 5.64567
CPU usage (%): 290.76
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2545636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.09
system time used= 5.64567
maximum resident set size= 2544432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5431
involuntary context switches= 660
# summary of solver processes directly reported to runsolver:
# pid: 19217
# total CPU time (s): 50.7357
# total CPU user time (s): 45.09
# total CPU system time (s): 5.64567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.145323 second user time and 0.216481 second system time
The end
Begin job on node107 at 2017-08-13 20:03:51
IDJOB=4271836
IDBENCH=140554
IDSOLVER=2663
FILE ID=node107/4271836-1502648290
RUNJOBID= node107-1502636397-3850
PBS_JOBID= 20628325
Free space on /tmp= 61660 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-09.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271836-1502648290/watcher-4271836-1502648290 -o /tmp/evaluation-result-4271836-1502648290/solver-4271836-1502648290 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 71041904 HOME/instance-4271836-1502648290.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e7a7addaec4b730d6fe0c9469eb0bfe6
RANDOM SEED=71041904
node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 29145648 kB
MemAvailable: 31990032 kB
Buffers: 171988 kB
Cached: 2960876 kB
SwapCached: 0 kB
Active: 535756 kB
Inactive: 2650020 kB
Active(anon): 55820 kB
Inactive(anon): 24972 kB
Active(file): 479936 kB
Inactive(file): 2625048 kB
Unevictable: 6328 kB
Mlocked: 6328 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7960 kB
Writeback: 0 kB
AnonPages: 68340 kB
Mapped: 43928 kB
Shmem: 25228 kB
Slab: 136292 kB
SReclaimable: 110468 kB
SUnreclaim: 25824 kB
KernelStack: 3552 kB
PageTables: 5500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 91520 kB
DirectMap2M: 33454080 kB
Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-13 20:04:09