0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281009-1503145244.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4281009-1503145244.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
1.05/0.59 c solve instance...
43.81/6.10 s SATISFIABLE
43.81/6.10 v <instantiation>
43.81/6.10 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] </list>
43.81/6.10 v <values>112 128 153 124 112 290 96 135 96 93 128 96 124 96 116 153 93 215 0 0 303 290 163 215 0 287 240 277 247 275 277 275 240 291 311 215 247 258 215 287 215 334 189 311 215 189 290 277 0 0 </values>
43.81/6.10 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 (14373 MiB free)
memory of node 1: 16384 MiB (13961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281009-1503145244/watcher-4281009-1503145244 -o /tmp/evaluation-result-4281009-1503145244/solver-4281009-1503145244 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503141368-6723 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 26281302 HOME/instance-4281009-1503145244.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=8472, runsolver pid=8469
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 7.46 8.15 8.06 3/199 8493
/proc/meminfo: memFree=28998528/32770624 swapFree=67108860/67108860
[pid=8472] ppid=8469 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8472/stat : 8472 (xcsp3-exec) S 8469 8472 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147612540 9740288 345 33554432000 4194304 5098028 140728407837632 140728407835736 140272287076988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23109632 140728407843942 140728407844151 140728407844151 140728407846891 0
/proc/8472/statm: 2378 345 289 221 0 87 0
[pid=8474] ppid=8472 vsize=25999808 memory=26508 CPUtime=0.12 cores=0-7
/proc/8474/stat : 8474 (java) S 8472 8472 6696 0 -1 1077944320 5569 0 0 0 10 2 0 0 20 0 20 0 147612540 26623803392 6627 33554432000 4194304 4196468 140731222883840 140731222866384 140562964664055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
/proc/8474/statm: 6499952 6627 2845 1 0 6488269 0
[pid=8474/tid=8475] ppid=8472 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/8474/task/8475/stat : 8475 (java) R 8472 8472 6696 0 -1 4202560 3573 0 0 0 8 1 0 0 20 0 20 0 147612540 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562968896048 140562964675990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8476] ppid=8472 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8474/task/8476/stat : 8476 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612541 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562872224656 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8477] ppid=8472 vsize=25999808 memory=140418021746304 CPUtime=0 cores=0-7
/proc/8474/task/8477/stat : 8477 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562522278672 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8478] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8478/stat : 8478 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562521226384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8479] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8479/stat : 8479 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562520173584 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8480] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8480/stat : 8480 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612541 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562519120272 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8481] ppid=8472 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8474/task/8481/stat : 8481 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612541 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562518067472 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8482] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8482/stat : 8482 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562517015184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8483] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8483/stat : 8483 (java) S 8472 8472 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147612541 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562515962384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8484] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8484/stat : 8484 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612543 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562472700528 140562964675202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8485] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8485/stat : 8485 (java) S 8472 8472 6696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147612543 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562471646496 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8486] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8486/stat : 8486 (java) S 8472 8472 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147612543 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562470594160 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8487] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8487/stat : 8487 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612546 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562469542480 140562964682651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8488] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8488/stat : 8488 (java) S 8472 8472 6696 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 147612546 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562356267120 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8489] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8489/stat : 8489 (java) S 8472 8472 6696 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 147612546 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562355214320 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8490] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8490/stat : 8490 (java) S 8472 8472 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147612546 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562354162032 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8491] ppid=8472 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/8474/task/8491/stat : 8491 (java) R 8472 8472 6696 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 20 0 147612546 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562353109232 140562943341688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8492] ppid=8472 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8492/stat : 8492 (java) S 8472 8472 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147612546 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562352057184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8493] ppid=8472 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8474/task/8493/stat : 8493 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612546 26623803392 6692 33554432000 4194304 4196468 140731222883840 140562351004464 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27888 KiB
[startup+0.210434 s]*
/proc/loadavg: 7.46 8.15 8.06 2/199 8493
/proc/meminfo: memFree=28987464/32770624 swapFree=67108860/67108860
[pid=8472] ppid=8469 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8472/stat : 8472 (xcsp3-exec) S 8469 8472 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147612540 9740288 345 33554432000 4194304 5098028 140728407837632 140728407835736 140272287076988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23109632 140728407843942 140728407844151 140728407844151 140728407846891 0
/proc/8472/statm: 2378 345 289 221 0 87 0
[pid=8474] ppid=8472 vsize=26004064 memory=38816 CPUtime=0.33 cores=0-7
/proc/8474/stat : 8474 (java) S 8472 8472 6696 0 -1 1077944320 8274 0 0 0 30 3 0 0 20 0 20 0 147612540 26628161536 9704 33554432000 4194304 4196468 140731222883840 140731222866384 140562964664055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
/proc/8474/statm: 6501016 9704 3067 1 0 6488269 0
[pid=8474/tid=8475] ppid=8472 vsize=26004096 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/8474/task/8475/stat : 8475 (java) R 8472 8472 6696 0 -1 4202560 5491 0 0 0 18 2 0 0 20 0 20 0 147612540 26628194304 9725 33554432000 4194304 4196468 140731222883840 140562968874848 140562957381159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8476] ppid=8472 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/8474/task/8476/stat : 8476 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612541 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562872224656 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8477] ppid=8472 vsize=26004064 memory=140418021756935 CPUtime=0 cores=0-7
/proc/8474/task/8477/stat : 8477 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562522278672 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8478] ppid=8472 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8474/task/8478/stat : 8478 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562521226384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8479] ppid=8472 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8479/stat : 8479 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562520173584 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8480] ppid=8472 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8480/stat : 8480 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612541 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562519120272 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8481] ppid=8472 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8474/task/8481/stat : 8481 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612541 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562518067472 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8482] ppid=8472 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8482/stat : 8482 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562517015184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8483] ppid=8472 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8483/stat : 8483 (java) S 8472 8472 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147612541 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562515962384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8484] ppid=8472 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8484/stat : 8484 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612543 26628194304 9725 33554432000 4194304 4196468 140731222883840 140562472700528 140562964675202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8485] ppid=8472 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8485/stat : 8485 (java) S 8472 8472 6696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147612543 26628194304 9725 33554432000 4194304 4196468 140731222883840 140562471646496 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8486] ppid=8472 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8486/stat : 8486 (java) S 8472 8472 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147612543 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562470594160 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8487] ppid=8472 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8487/stat : 8487 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612546 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562469542480 140562964682651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8488] ppid=8472 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/8474/task/8488/stat : 8488 (java) S 8472 8472 6696 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 20 0 147612546 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562356267120 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8489] ppid=8472 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8489/stat : 8489 (java) S 8472 8472 6696 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 147612546 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562355214320 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8490] ppid=8472 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/8474/task/8490/stat : 8490 (java) S 8472 8472 6696 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 147612546 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562354162032 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8491] ppid=8472 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/8474/task/8491/stat : 8491 (java) S 8472 8472 6696 0 -1 1077944384 714 0 0 0 7 0 0 0 20 0 20 0 147612546 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562353109232 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8492] ppid=8472 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8492/stat : 8492 (java) S 8472 8472 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147612546 26628161536 9725 33554432000 4194304 4196468 140731222883840 140562352057184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8493] ppid=8472 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/8474/task/8493/stat : 8493 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612546 26628194304 9725 33554432000 4194304 4196468 140731222883840 140562351004464 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40196 KiB
[startup+0.310465 s]*
/proc/loadavg: 7.46 8.15 8.06 2/199 8493
/proc/meminfo: memFree=28980632/32770624 swapFree=67108860/67108860
[pid=8472] ppid=8469 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8472/stat : 8472 (xcsp3-exec) S 8469 8472 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147612540 9740288 345 33554432000 4194304 5098028 140728407837632 140728407835736 140272287076988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23109632 140728407843942 140728407844151 140728407844151 140728407846891 0
/proc/8472/statm: 2378 345 289 221 0 87 0
[pid=8474] ppid=8472 vsize=26004140 memory=46124 CPUtime=0.49 cores=0-7
/proc/8474/stat : 8474 (java) S 8472 8472 6696 0 -1 1077944320 9298 0 0 0 45 4 0 0 20 0 20 0 147612540 26628239360 11531 33554432000 4194304 4196468 140731222883840 140731222866384 140562964664055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
/proc/8474/statm: 6501035 11531 3087 1 0 6488269 0
[pid=8474/tid=8475] ppid=8472 vsize=26004140 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8474/task/8475/stat : 8475 (java) R 8472 8472 6696 0 -1 4202560 6256 0 0 0 27 2 0 0 20 0 20 0 147612540 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562968896416 140562948744542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8476] ppid=8472 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8476/stat : 8476 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612541 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562872224656 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8477] ppid=8472 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8477/stat : 8477 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562522278672 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8478] ppid=8472 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8478/stat : 8478 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562521226384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8479] ppid=8472 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8479/stat : 8479 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562520173584 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8480] ppid=8472 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/8474/task/8480/stat : 8480 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612541 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562519120272 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8481] ppid=8472 vsize=26004140 memory=140417916040111 CPUtime=0 cores=0-7
/proc/8474/task/8481/stat : 8481 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612541 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562518067472 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8482] ppid=8472 vsize=26004140 memory=140417916042416 CPUtime=0 cores=0-7
/proc/8474/task/8482/stat : 8482 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612541 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562517015184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8483] ppid=8472 vsize=26004140 memory=140417916044720 CPUtime=0 cores=0-7
/proc/8474/task/8483/stat : 8483 (java) S 8472 8472 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147612541 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562515962384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8484] ppid=8472 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8484/stat : 8484 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147612543 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562472700528 140562964675202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8485] ppid=8472 vsize=26004140 memory=280835832096400 CPUtime=0 cores=0-7
/proc/8474/task/8485/stat : 8485 (java) S 8472 8472 6696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147612543 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562471646496 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8486] ppid=8472 vsize=26004140 memory=280835832103312 CPUtime=0 cores=0-7
/proc/8474/task/8486/stat : 8486 (java) S 8472 8472 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147612543 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562470594160 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8487] ppid=8472 vsize=26004140 memory=280835832044592 CPUtime=0 cores=0-7
/proc/8474/task/8487/stat : 8487 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612546 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562469542480 140562964682651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8488] ppid=8472 vsize=26004140 memory=280835832117136 CPUtime=0.02 cores=0-7
/proc/8474/task/8488/stat : 8488 (java) S 8472 8472 6696 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 147612546 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562356267120 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8489] ppid=8472 vsize=26004140 memory=280835832124048 CPUtime=0.01 cores=0-7
/proc/8474/task/8489/stat : 8489 (java) S 8472 8472 6696 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 20 0 147612546 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562355214320 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8490] ppid=8472 vsize=26004140 memory=280835832121744 CPUtime=0.01 cores=0-7
/proc/8474/task/8490/stat : 8490 (java) S 8472 8472 6696 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 147612546 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562354162032 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8491] ppid=8472 vsize=26004140 memory=280835832137904 CPUtime=0.11 cores=0-7
/proc/8474/task/8491/stat : 8491 (java) S 8472 8472 6696 0 -1 1077944384 830 0 0 0 11 0 0 0 20 0 20 0 147612546 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562353109232 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8492] ppid=8472 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8492/stat : 8492 (java) S 8472 8472 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147612546 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562352057184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8493] ppid=8472 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/8474/task/8493/stat : 8493 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147612546 26628239360 11531 33554432000 4194304 4196468 140731222883840 140562351004464 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47504 KiB
[startup+0.70124 s]
/proc/loadavg: 7.46 8.15 8.06 4/199 8493
/proc/meminfo: memFree=28962964/32770624 swapFree=67108860/67108860
[pid=8472] ppid=8469 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8472/stat : 8472 (xcsp3-exec) S 8469 8472 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147612540 9740288 345 33554432000 4194304 5098028 140728407837632 140728407835736 140272287076988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23109632 140728407843942 140728407844151 140728407844151 140728407846891 0
/proc/8472/statm: 2378 345 289 221 0 87 0
[pid=8474] ppid=8472 vsize=26538700 memory=95300 CPUtime=1.91 cores=0-7
/proc/8474/stat : 8474 (java) S 8472 8472 6696 0 -1 1077944320 14278 0 0 0 184 7 0 0 20 0 28 0 147612540 27175628800 23825 33554432000 4194304 4196468 140731222883840 140731222866384 140562964664055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
/proc/8474/statm: 6634675 23825 3203 1 0 6621909 0
[pid=8474/tid=8475] ppid=8472 vsize=26538700 memory=280835832495792 CPUtime=0.58 cores=0-7
/proc/8474/task/8475/stat : 8475 (java) S 8472 8472 6696 0 -1 1077944384 7002 0 0 0 55 3 0 0 20 0 28 0 147612540 27175628800 23825 33554432000 4194304 4196468 140731222883840 140562968904832 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8476] ppid=8472 vsize=26538700 memory=140417916248944 CPUtime=0 cores=0-7
/proc/8474/task/8476/stat : 8476 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 23825 33554432000 4194304 4196468 140731222883840 140562872224656 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8477] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8477/stat : 8477 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 23825 33554432000 4194304 4196468 140731222883840 140562522278672 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8478] ppid=8472 vsize=26538700 memory=5792 CPUtime=0 cores=0-7
/proc/8474/task/8478/stat : 8478 (java) S 8472 8472 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 23825 33554432000 4194304 4196468 140731222883840 140562521226384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
################
# More data... #
################
[pid=8474/tid=8482] ppid=8472 vsize=26538700 memory=8604 CPUtime=0 cores=0-7
/proc/8474/task/8482/stat : 8482 (java) S 8472 8472 6696 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562517015184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8483] ppid=8472 vsize=26538700 memory=1724 CPUtime=0 cores=0-7
/proc/8474/task/8483/stat : 8483 (java) S 8472 8472 6696 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562515962384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8484] ppid=8472 vsize=26538700 memory=11104 CPUtime=0 cores=0-7
/proc/8474/task/8484/stat : 8484 (java) S 8472 8472 6696 0 -1 1077944384 370 0 0 0 0 0 0 0 20 0 28 0 147612543 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562472700528 140562964675202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8485] ppid=8472 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/8474/task/8485/stat : 8485 (java) S 8472 8472 6696 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 147612543 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562471646496 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8486] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8486/stat : 8486 (java) S 8472 8472 6696 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 147612543 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562470594160 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8487] ppid=8472 vsize=26538700 memory=4316 CPUtime=0 cores=0-7
/proc/8474/task/8487/stat : 8487 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147612546 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562469542480 140562964682651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8488] ppid=8472 vsize=26538700 memory=2196 CPUtime=2.4 cores=0-7
/proc/8474/task/8488/stat : 8488 (java) R 8472 8472 6696 0 -1 4202560 14946 0 0 0 237 3 0 0 20 0 28 0 147612546 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562356253936 140562948782209 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8489] ppid=8472 vsize=26538700 memory=7784 CPUtime=2.37 cores=0-7
/proc/8474/task/8489/stat : 8489 (java) R 8472 8472 6696 0 -1 1077944384 19172 0 0 0 233 4 0 0 20 0 28 0 147612546 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562355201120 140562964685245 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8490] ppid=8472 vsize=26538700 memory=832 CPUtime=2.34 cores=0-7
/proc/8474/task/8490/stat : 8490 (java) R 8472 8472 6696 0 -1 4202560 15711 0 0 0 231 3 0 0 20 0 28 0 147612546 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562354143328 140562946207778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8491] ppid=8472 vsize=26538700 memory=4100 CPUtime=0.61 cores=0-7
/proc/8474/task/8491/stat : 8491 (java) S 8472 8472 6696 0 -1 1077944384 5292 0 0 0 60 1 0 0 20 0 28 0 147612546 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562353109232 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8492] ppid=8472 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/8474/task/8492/stat : 8492 (java) S 8472 8472 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147612546 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562352057184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8493] ppid=8472 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/8474/task/8493/stat : 8493 (java) S 8472 8472 6696 0 -1 1077944384 829 0 0 0 0 0 0 0 20 0 28 0 147612546 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562351004464 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8494] ppid=8472 vsize=26538700 memory=4320 CPUtime=4.09 cores=0-7
/proc/8474/task/8494/stat : 8494 (java) R 8472 8472 6696 0 -1 4202560 262 0 0 0 409 0 0 0 20 0 28 0 147612600 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562342995712 140562556656864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8495] ppid=8472 vsize=26538700 memory=1156 CPUtime=3.92 cores=0-7
/proc/8474/task/8495/stat : 8495 (java) R 8472 8472 6696 0 -1 4202560 288 0 0 0 392 0 0 0 20 0 28 0 147612601 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562341941160 140562559812815 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8496] ppid=8472 vsize=26538700 memory=2688 CPUtime=3.89 cores=0-7
/proc/8474/task/8496/stat : 8496 (java) R 8472 8472 6696 0 -1 4202560 280 0 0 0 389 0 0 0 20 0 28 0 147612601 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562340887304 140562560056934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8497] ppid=8472 vsize=26538700 memory=1380 CPUtime=3.7 cores=0-7
/proc/8474/task/8497/stat : 8497 (java) R 8472 8472 6696 0 -1 4202560 448 0 0 0 367 3 0 0 20 0 28 0 147612601 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562339835384 140562557541176 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8498] ppid=8472 vsize=26538700 memory=246124 CPUtime=4.33 cores=0-7
/proc/8474/task/8498/stat : 8498 (java) R 8472 8472 6696 0 -1 4202560 220 0 0 0 433 0 0 0 20 0 28 0 147612601 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562338783304 140562559475730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8499] ppid=8472 vsize=26538700 memory=280835832581568 CPUtime=4.11 cores=0-7
/proc/8474/task/8499/stat : 8499 (java) R 8472 8472 6696 0 -1 4202560 228 0 0 0 411 0 0 0 20 0 28 0 147612601 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562337732264 140562557259256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8500] ppid=8472 vsize=26538700 memory=140417916297360 CPUtime=4.33 cores=0-7
/proc/8474/task/8500/stat : 8500 (java) R 8472 8472 6696 0 -1 4202560 172 0 0 0 433 0 0 0 20 0 28 0 147612601 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562336676928 140562559319197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8501] ppid=8472 vsize=26538700 memory=0 CPUtime=3.83 cores=0-7
/proc/8474/task/8501/stat : 8501 (java) R 8472 8472 6696 0 -1 4202560 194 0 0 0 383 0 0 0 20 0 28 0 147612601 27175628800 69507 33554432000 4194304 4196468 140731222883840 140562335624440 140562556857440 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
Current children cumulated CPU time: 40.65 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 279408 KiB
[startup+6.00124 s]*
/proc/loadavg: 7.26 8.10 8.05 12/207 8501
/proc/meminfo: memFree=28737780/32770624 swapFree=67108860/67108860
[pid=8472] ppid=8469 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8472/stat : 8472 (xcsp3-exec) S 8469 8472 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147612540 9740288 345 33554432000 4194304 5098028 140728407837632 140728407835736 140272287076988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23109632 140728407843942 140728407844151 140728407844151 140728407846891 0
/proc/8472/statm: 2378 345 289 221 0 87 0
[pid=8474] ppid=8472 vsize=26538700 memory=288904 CPUtime=43.81 cores=0-7
/proc/8474/stat : 8474 (java) S 8472 8472 6696 0 -1 1077944320 68748 0 0 0 4356 25 0 0 20 0 28 0 147612540 27175628800 72226 33554432000 4194304 4196468 140731222883840 140731222866384 140562964664055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
/proc/8474/statm: 6634675 72226 3266 1 0 6621909 0
[pid=8474/tid=8475] ppid=8472 vsize=26538700 memory=8112282956445269571 CPUtime=0.58 cores=0-7
/proc/8474/task/8475/stat : 8475 (java) S 8472 8472 6696 0 -1 1077944384 7002 0 0 0 55 3 0 0 20 0 28 0 147612540 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562968904832 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8476] ppid=8472 vsize=26538700 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8474/task/8476/stat : 8476 (java) S 8472 8472 6696 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562872224656 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8477] ppid=8472 vsize=26538700 memory=140418021746304 CPUtime=0 cores=0-7
/proc/8474/task/8477/stat : 8477 (java) S 8472 8472 6696 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562522278672 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8478] ppid=8472 vsize=26538700 memory=-1 CPUtime=0 cores=0-7
/proc/8474/task/8478/stat : 8478 (java) S 8472 8472 6696 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562521226384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8479] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8479/stat : 8479 (java) S 8472 8472 6696 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562520173584 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8480] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8480/stat : 8480 (java) S 8472 8472 6696 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562519120272 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8481] ppid=8472 vsize=26538700 memory=-1 CPUtime=0 cores=0-7
/proc/8474/task/8481/stat : 8481 (java) S 8472 8472 6696 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562518067472 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8482] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8482/stat : 8482 (java) S 8472 8472 6696 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562517015184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8483] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8483/stat : 8483 (java) S 8472 8472 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 147612541 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562515962384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8484] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8484/stat : 8484 (java) S 8472 8472 6696 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 28 0 147612543 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562472700528 140562964675202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8485] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8485/stat : 8485 (java) S 8472 8472 6696 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 147612543 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562471646496 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8486] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8486/stat : 8486 (java) S 8472 8472 6696 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 147612543 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562470594160 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8487] ppid=8472 vsize=26538700 memory=545 CPUtime=0 cores=0-7
/proc/8474/task/8487/stat : 8487 (java) S 8472 8472 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147612546 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562469542480 140562964682651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8488] ppid=8472 vsize=26538700 memory=0 CPUtime=2.61 cores=0-7
/proc/8474/task/8488/stat : 8488 (java) R 8472 8472 6696 0 -1 4202560 15167 0 0 0 258 3 0 0 20 0 28 0 147612546 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562356248528 140562949789144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8489] ppid=8472 vsize=26538700 memory=0 CPUtime=2.67 cores=0-7
/proc/8474/task/8489/stat : 8489 (java) R 8472 8472 6696 0 -1 4202560 19381 0 0 0 263 4 0 0 20 0 28 0 147612546 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562355200704 140562949585881 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8490] ppid=8472 vsize=26538700 memory=0 CPUtime=2.69 cores=0-7
/proc/8474/task/8490/stat : 8490 (java) R 8472 8472 6696 0 -1 4202560 16126 0 0 0 266 3 0 0 20 0 28 0 147612546 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562354162160 140562946236468 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8491] ppid=8472 vsize=26538700 memory=0 CPUtime=0.65 cores=0-7
/proc/8474/task/8491/stat : 8491 (java) S 8472 8472 6696 0 -1 1077944384 5368 0 0 0 64 1 0 0 20 0 28 0 147612546 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562353109232 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8492] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8492/stat : 8492 (java) S 8472 8472 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147612546 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562352057184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8493] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8493/stat : 8493 (java) S 8472 8472 6696 0 -1 1077944384 829 0 0 0 0 0 0 0 20 0 28 0 147612546 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562351004464 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8494] ppid=8472 vsize=26538700 memory=0 CPUtime=4.39 cores=0-7
/proc/8474/task/8494/stat : 8494 (java) R 8472 8472 6696 0 -1 4202560 262 0 0 0 439 0 0 0 20 0 28 0 147612600 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562342992680 140562559475722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8495] ppid=8472 vsize=26538700 memory=-1 CPUtime=4.2 cores=0-7
/proc/8474/task/8495/stat : 8495 (java) R 8472 8472 6696 0 -1 4202560 290 0 0 0 420 0 0 0 20 0 28 0 147612601 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562341942456 140562559290314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8496] ppid=8472 vsize=26538700 memory=-1 CPUtime=4.14 cores=0-7
/proc/8474/task/8496/stat : 8496 (java) R 8472 8472 6696 0 -1 4202560 280 0 0 0 414 0 0 0 20 0 28 0 147612601 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562340887544 140562559319189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8497] ppid=8472 vsize=26538700 memory=0 CPUtime=4.06 cores=0-7
/proc/8474/task/8497/stat : 8497 (java) R 8472 8472 6696 0 -1 4202560 449 0 0 0 403 3 0 0 20 0 28 0 147612601 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562339835944 140562560742291 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8498] ppid=8472 vsize=26538700 memory=0 CPUtime=4.58 cores=0-7
/proc/8474/task/8498/stat : 8498 (java) R 8472 8472 6696 0 -1 4202560 220 0 0 0 458 0 0 0 20 0 28 0 147612601 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562338782752 140562559898678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8499] ppid=8472 vsize=26538700 memory=0 CPUtime=4.41 cores=0-7
/proc/8474/task/8499/stat : 8499 (java) R 8472 8472 6696 0 -1 4202560 228 0 0 0 441 0 0 0 20 0 28 0 147612601 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562337730456 140562558905129 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8500] ppid=8472 vsize=26538700 memory=0 CPUtime=4.58 cores=0-7
/proc/8474/task/8500/stat : 8500 (java) R 8472 8472 6696 0 -1 4202560 174 0 0 0 458 0 0 0 20 0 28 0 147612601 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562336679992 140562559986366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8501] ppid=8472 vsize=26538700 memory=0 CPUtime=4.06 cores=0-7
/proc/8474/task/8501/stat : 8501 (java) R 8472 8472 6696 0 -1 4202560 194 0 0 0 406 0 0 0 20 0 28 0 147612601 27175628800 72226 33554432000 4194304 4196468 140731222883840 140562335625832 140562560122967 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
Current children cumulated CPU time: 43.81 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 290284 KiB
[startup+6.11126 s]
/proc/loadavg: 7.26 8.10 8.05 12/207 8501
/proc/meminfo: memFree=28737780/32770624 swapFree=67108860/67108860
[pid=8472] ppid=8469 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8472/stat : 8472 (xcsp3-exec) S 8469 8472 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147612540 9740288 345 33554432000 4194304 5098028 140728407837632 140728407835736 140272287076988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23109632 140728407843942 140728407844151 140728407844151 140728407846891 0
/proc/8472/statm: 2378 345 289 221 0 87 0
[pid=8474] ppid=8472 vsize=26538700 memory=288668 CPUtime=44.6 cores=0-7
/proc/8474/stat : 8474 (java) S 8472 8472 6696 0 -1 1077944320 69345 0 0 0 4435 25 0 0 20 0 19 0 147612540 27175628800 72167 33554432000 4194304 4196468 140731222883840 140731222866384 140562964664055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
/proc/8474/statm: 6634675 72167 3270 1 0 6621909 0
[pid=8474/tid=8475] ppid=8472 vsize=26538700 memory=38571356457450 CPUtime=0.58 cores=0-7
/proc/8474/task/8475/stat : 8475 (java) S 8472 8472 6696 0 -1 1077944384 7293 0 0 0 55 3 0 0 20 0 19 0 147612540 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562968906896 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8476] ppid=8472 vsize=26538700 memory=38571356457194 CPUtime=0 cores=0-7
/proc/8474/task/8476/stat : 8476 (java) S 8472 8472 6696 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 147612541 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562872224656 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8477] ppid=8472 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/8474/task/8477/stat : 8477 (java) S 8472 8472 6696 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 147612541 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562522278672 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8478] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8478/stat : 8478 (java) S 8472 8472 6696 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 147612541 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562521226384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8479] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8479/stat : 8479 (java) S 8472 8472 6696 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 147612541 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562520173584 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8480] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8480/stat : 8480 (java) S 8472 8472 6696 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 19 0 147612541 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562519120272 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8481] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8481/stat : 8481 (java) S 8472 8472 6696 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 19 0 147612541 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562518067472 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8482] ppid=8472 vsize=26538700 memory=5553 CPUtime=0 cores=0-7
/proc/8474/task/8482/stat : 8482 (java) S 8472 8472 6696 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 19 0 147612541 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562517015184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8483] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8483/stat : 8483 (java) S 8472 8472 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 147612541 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562515962384 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8484] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8484/stat : 8484 (java) S 8472 8472 6696 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 19 0 147612543 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562472700736 140562964675202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8485] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8485/stat : 8485 (java) S 8472 8472 6696 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 147612543 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562471646496 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8486] ppid=8472 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8474/task/8486/stat : 8486 (java) S 8472 8472 6696 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 147612543 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562470594160 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8487] ppid=8472 vsize=26538700 memory=124 CPUtime=0 cores=0-7
/proc/8474/task/8487/stat : 8487 (java) S 8472 8472 6696 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 147612546 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562469542128 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8488] ppid=8472 vsize=26538700 memory=118 CPUtime=2.66 cores=0-7
/proc/8474/task/8488/stat : 8488 (java) R 8472 8472 6696 0 -1 4202560 15182 0 0 0 263 3 0 0 20 0 19 0 147612546 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562356256800 140562944357159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8489] ppid=8472 vsize=26538700 memory=126 CPUtime=2.76 cores=0-7
/proc/8474/task/8489/stat : 8489 (java) R 8472 8472 6696 0 -1 4202560 19467 0 0 0 272 4 0 0 20 0 19 0 147612546 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562355200864 140562949779089 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8490] ppid=8472 vsize=26538700 memory=58 CPUtime=2.78 cores=0-7
/proc/8474/task/8490/stat : 8490 (java) S 8472 8472 6696 0 -1 1077944384 16176 0 0 0 275 3 0 0 20 0 19 0 147612546 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562354146992 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8491] ppid=8472 vsize=26538700 memory=56 CPUtime=0.66 cores=0-7
/proc/8474/task/8491/stat : 8491 (java) S 8472 8472 6696 0 -1 1077944384 5456 0 0 0 65 1 0 0 20 0 19 0 147612546 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562353109232 140562964675202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
[pid=8474/tid=8492] ppid=8472 vsize=26538700 memory=9179 CPUtime=0 cores=0-7
/proc/8474/task/8492/stat : 8492 (java) S 8472 8472 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 147612546 27175628800 72167 33554432000 4194304 4196468 140731222883840 140562352057184 140562964674261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37265408 140731222885522 140731222885699 140731222885699 140731222888399 0
Current children cumulated CPU time: 44.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 290048 KiB
Child status: 0
Real time (s): 6.13262
CPU time (s): 44.646
CPU user time (s): 44.3759
CPU system time (s): 0.270078
CPU usage (%): 728.008
Max. virtual memory (cumulated for all children) (KiB): 26553504
Max. memory (cumulated for all children) (KiB): 290284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.3759
system time used= 0.270078
maximum resident set size= 289220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69904
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6148
involuntary context switches= 1502
# summary of solver processes directly reported to runsolver:
# pid: 8472
# total CPU time (s): 44.646
# total CPU user time (s): 44.3759
# total CPU system time (s): 0.270078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.088132 second user time and 0.10387 second system time
The end
Begin job on node102 at 2017-08-19 14:06:24
IDJOB=4281009
IDBENCH=127922
IDSOLVER=2675
FILE ID=node102/4281009-1503145244
RUNJOBID= node102-1503141368-6723
PBS_JOBID= 20630798
Free space on /tmp= 61880 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-129.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-4281009-1503145244/watcher-4281009-1503145244 -o /tmp/evaluation-result-4281009-1503145244/solver-4281009-1503145244 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503141368-6723 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 26281302 HOME/instance-4281009-1503145244.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 98286cf95bf5397e70229f7335ae5343
RANDOM SEED=26281302
node102.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.35
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.35
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.35
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.35
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: 29015036 kB
MemAvailable: 31975204 kB
Buffers: 232568 kB
Cached: 3020324 kB
SwapCached: 0 kB
Active: 958332 kB
Inactive: 2346020 kB
Active(anon): 4228 kB
Inactive(anon): 83052 kB
Active(file): 954104 kB
Inactive(file): 2262968 kB
Unevictable: 7504 kB
Mlocked: 7504 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7868 kB
Writeback: 0 kB
AnonPages: 58928 kB
Mapped: 50792 kB
Shmem: 33420 kB
Slab: 145000 kB
SReclaimable: 117864 kB
SUnreclaim: 27136 kB
KernelStack: 3152 kB
PageTables: 4672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 334152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 134528 kB
DirectMap2M: 33411072 kB
Free space on /tmp at the end= 61872 MiB
End job on node102 at 2017-08-19 14:06:30