0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393980-1568445947.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4393980-1568445947.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
7.97/2.11 c solve instance...
9.79/2.43 o 7
10.59/2.54 o 6
12.06/2.77 o 5
324.29/41.91 o 4
327.37/42.33 o 3
2030.36/255.90 o 2
2031.18/256.06 s OPTIMUM FOUND
2031.18/256.06 v <instantiation>
2031.18/256.06 v <list>x[0][0] 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[0][9] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] </list>
2031.18/256.06 v <values>0 0 0 1 1 1 2 2 2 2 0 1 1 0 1 2 0 0 1 2 0 1 2 2 2 1 1 1 0 2 0 2 2 1 0 0 1 2 1 1 1 1 0 2 0 2 0 2 0 1 1 2 0 2 1 0 1 0 2 0 1 2 1 1 2 2 2 1 0 0 2 0 2 0 1 0 2 1 0 1 </values>
2031.18/256.06 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 (12416 MiB free)
memory of node 1: 16384 MiB (11690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393980-1568445947/watcher-4393980-1568445947 -o /tmp/evaluation-result-4393980-1568445947/solver-4393980-1568445947 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568442536-28255 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 453580019 HOME/instance-4393980-1568445947.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
Current StackSize limit: 8192 KiB
solver pid=29571, runsolver pid=29568
[startup+0.100134 s]*
/proc/loadavg: 7.89 8.25 8.25 2/212 29592
/proc/meminfo: memFree=24668260/32770624 swapFree=66939852/67108860
[pid=29571] ppid=29568 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29571/stat : 29571 (xcsp3-exec) S 29568 29571 28228 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420509595 115843072 364 33554432000 4194304 5098028 140723791169808 140723791167912 139709768147580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140723791172470 140723791172713 140723791172713 140723791175626 0
/proc/29571/statm: 28282 364 305 221 0 87 0
[pid=29573] ppid=29571 vsize=28227388 memory=30192 CPUtime=0.12 cores=0-7
/proc/29573/stat : 29573 (java) S 29571 29571 28228 0 -1 1077944320 5449 0 0 0 11 1 0 0 20 0 20 0 420509596 28904845312 7548 33554432000 4194304 4196468 140726934637264 140726934619808 139875450965751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
/proc/29573/statm: 7056847 7548 3167 1 0 7019032 0
[pid=29573/tid=29574] ppid=29571 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/29573/task/29574/stat : 29574 (java) R 29571 29571 28228 0 -1 4202560 3397 0 0 0 8 1 0 0 20 0 20 0 420509596 28904845312 7548 33554432000 4194304 4196468 140726934637264 139875455186560 139875087064988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29575] ppid=29571 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29573/task/29575/stat : 29575 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 7548 33554432000 4194304 4196468 140726934637264 139875409725968 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29576] ppid=29571 vsize=28227388 memory=139999250376320 CPUtime=0 cores=0-7
/proc/29573/task/29576/stat : 29576 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 7548 33554432000 4194304 4196468 140726934637264 139875001051792 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29577] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29577/stat : 29577 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 7548 33554432000 4194304 4196468 140726934637264 139874999998736 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29578] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29578/stat : 29578 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 7548 33554432000 4194304 4196468 140726934637264 139874998946192 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29579] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29579/stat : 29579 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 7548 33554432000 4194304 4196468 140726934637264 139874997894160 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29580] ppid=29571 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29573/task/29580/stat : 29580 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 7548 33554432000 4194304 4196468 140726934637264 139874996841616 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29581] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29581/stat : 29581 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 7548 33554432000 4194304 4196468 140726934637264 139874995788560 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29582] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29582/stat : 29582 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 7548 33554432000 4194304 4196468 140726934637264 139874994736016 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29583] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29583/stat : 29583 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509598 28904845312 7548 33554432000 4194304 4196468 140726934637264 139873646209264 139875450976898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29584] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29584/stat : 29584 (java) S 29571 29571 28228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420509599 28904845312 7548 33554432000 4194304 4196468 140726934637264 139873645155488 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29585] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29585/stat : 29585 (java) S 29571 29571 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420509599 28904845312 7548 33554432000 4194304 4196468 140726934637264 139873644102384 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29586] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29586/stat : 29586 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420509601 28904845312 7548 33554432000 4194304 4196468 140726934637264 139873643050960 139875450984347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29587] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29587/stat : 29587 (java) S 29571 29571 28228 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 20 0 420509601 28904845312 7548 33554432000 4194304 4196468 140726934637264 139873641999088 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29588] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29588/stat : 29588 (java) R 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420509601 28904845312 7548 33554432000 4194304 4196468 140726934637264 139873640946544 139875450976898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29589] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29589/stat : 29589 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420509601 28904845312 7548 33554432000 4194304 4196468 140726934637264 139873639893488 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29590] ppid=29571 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/29573/task/29590/stat : 29590 (java) R 29571 29571 28228 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 20 0 420509601 28904845312 7548 33554432000 4194304 4196468 140726934637264 139873638840944 139875450977686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29591] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29591/stat : 29591 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420509601 28904845312 7548 33554432000 4194304 4196468 140726934637264 139873637788128 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29592] ppid=29571 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29573/task/29592/stat : 29592 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420509602 28904845312 7548 33554432000 4194304 4196468 140726934637264 139873636735664 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31648 KiB
[startup+0.210634 s]*
/proc/loadavg: 7.89 8.25 8.25 2/212 29593
/proc/meminfo: memFree=24654960/32770624 swapFree=66939852/67108860
[pid=29571] ppid=29568 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29571/stat : 29571 (xcsp3-exec) S 29568 29571 28228 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420509595 115843072 364 33554432000 4194304 5098028 140723791169808 140723791167912 139709768147580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140723791172470 140723791172713 140723791172713 140723791175626 0
/proc/29571/statm: 28282 364 305 221 0 87 0
[pid=29573] ppid=29571 vsize=28227388 memory=41568 CPUtime=0.34 cores=0-7
/proc/29573/stat : 29573 (java) S 29571 29571 28228 0 -1 1077944320 9121 0 0 0 31 3 0 0 20 0 20 0 420509596 28904845312 10392 33554432000 4194304 4196468 140726934637264 140726934619808 139875450965751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
/proc/29573/statm: 7056847 10392 3301 1 0 7019032 0
[pid=29573/tid=29574] ppid=29571 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29573/task/29574/stat : 29574 (java) R 29571 29571 28228 0 -1 4202560 6222 0 0 0 17 2 0 0 20 0 20 0 420509596 28904845312 10392 33554432000 4194304 4196468 140726934637264 139875455199488 139875450977686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29575] ppid=29571 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/29573/task/29575/stat : 29575 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 10392 33554432000 4194304 4196468 140726934637264 139875409725968 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29576] ppid=29571 vsize=28227388 memory=139999250403493 CPUtime=0 cores=0-7
/proc/29573/task/29576/stat : 29576 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 10392 33554432000 4194304 4196468 140726934637264 139875001051792 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29577] ppid=29571 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29573/task/29577/stat : 29577 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 10392 33554432000 4194304 4196468 140726934637264 139874999998736 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29578] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29578/stat : 29578 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 10392 33554432000 4194304 4196468 140726934637264 139874998946192 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29579] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29579/stat : 29579 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 10392 33554432000 4194304 4196468 140726934637264 139874997894160 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29580] ppid=29571 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29573/task/29580/stat : 29580 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 10392 33554432000 4194304 4196468 140726934637264 139874996841616 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29581] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29581/stat : 29581 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 10392 33554432000 4194304 4196468 140726934637264 139874995788560 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29582] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29582/stat : 29582 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420509597 28904845312 10392 33554432000 4194304 4196468 140726934637264 139874994736016 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29583] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29583/stat : 29583 (java) S 29571 29571 28228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420509598 28904845312 10392 33554432000 4194304 4196468 140726934637264 139873646209264 139875450976898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29584] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29584/stat : 29584 (java) S 29571 29571 28228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420509599 28904845312 10392 33554432000 4194304 4196468 140726934637264 139873645155488 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29585] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29585/stat : 29585 (java) S 29571 29571 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420509599 28904845312 10392 33554432000 4194304 4196468 140726934637264 139873644102384 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29586] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29586/stat : 29586 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420509601 28904845312 10392 33554432000 4194304 4196468 140726934637264 139873643050960 139875450984347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29587] ppid=29571 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/29573/task/29587/stat : 29587 (java) S 29571 29571 28228 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 20 0 420509601 28904845312 10392 33554432000 4194304 4196468 140726934637264 139873641999088 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29588] ppid=29571 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/29573/task/29588/stat : 29588 (java) S 29571 29571 28228 0 -1 1077944384 124 0 0 0 2 0 0 0 20 0 20 0 420509601 28904845312 10392 33554432000 4194304 4196468 140726934637264 139873640946544 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29589] ppid=29571 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/29573/task/29589/stat : 29589 (java) S 29571 29571 28228 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 20 0 420509601 28904845312 10392 33554432000 4194304 4196468 140726934637264 139873639893488 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29590] ppid=29571 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/29573/task/29590/stat : 29590 (java) R 29571 29571 28228 0 -1 4202560 728 0 0 0 8 0 0 0 20 0 20 0 420509601 28904845312 10392 33554432000 4194304 4196468 140726934637264 139873638840944 139875443202878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29591] ppid=29571 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29591/stat : 29591 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420509601 28904845312 10392 33554432000 4194304 4196468 140726934637264 139873637788128 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29592] ppid=29571 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29573/task/29592/stat : 29592 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420509602 28904845312 10392 33554432000 4194304 4196468 140726934637264 139873636735664 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 43024 KiB
[startup+0.319717 s]*
/proc/loadavg: 7.89 8.25 8.25 3/212 29593
/proc/meminfo: memFree=24647580/32770624 swapFree=66939852/67108860
[pid=29571] ppid=29568 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29571/stat : 29571 (xcsp3-exec) S 29568 29571 28228 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420509595 115843072 364 33554432000 4194304 5098028 140723791169808 140723791167912 139709768147580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140723791172470 140723791172713 140723791172713 140723791175626 0
/proc/29571/statm: 28282 364 305 221 0 87 0
[pid=29573] ppid=29571 vsize=28231644 memory=50864 CPUtime=0.54 cores=0-7
/proc/29573/stat : 29573 (java) S 29571 29571 28228 0 -1 1077944320 10533 0 0 0 50 4 0 0 20 0 20 0 420509596 28909203456 12716 33554432000 4194304 4196468 140726934637264 140726934619808 139875450965751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
/proc/29573/statm: 7057911 12716 3369 1 0 7019032 0
[pid=29573/tid=29574] ppid=29571 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/29573/task/29574/stat : 29574 (java) R 29571 29571 28228 0 -1 4202560 7440 0 0 0 27 3 0 0 20 0 20 0 420509596 28909203456 12716 33554432000 4194304 4196468 140726934637264 139875455195904 139875435046238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29575] ppid=29571 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29575/stat : 29575 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28909203456 12716 33554432000 4194304 4196468 140726934637264 139875409725968 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29576] ppid=29571 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29576/stat : 29576 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28909203456 12716 33554432000 4194304 4196468 140726934637264 139875001051792 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29577] ppid=29571 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29577/stat : 29577 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420509597 28909203456 12716 33554432000 4194304 4196468 140726934637264 139874999998736 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29578] ppid=29571 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29578/stat : 29578 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28909203456 12716 33554432000 4194304 4196468 140726934637264 139874998946192 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29579] ppid=29571 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29579/stat : 29579 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28909203456 12725 33554432000 4194304 4196468 140726934637264 139874997894160 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29580] ppid=29571 vsize=28231644 memory=139999089617583 CPUtime=0 cores=0-7
/proc/29573/task/29580/stat : 29580 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28909203456 12725 33554432000 4194304 4196468 140726934637264 139874996841616 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29581] ppid=29571 vsize=28231644 memory=139999089619888 CPUtime=0 cores=0-7
/proc/29573/task/29581/stat : 29581 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28909203456 12725 33554432000 4194304 4196468 140726934637264 139874995788560 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29582] ppid=29571 vsize=28231644 memory=139999089622192 CPUtime=0 cores=0-7
/proc/29573/task/29582/stat : 29582 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420509597 28909203456 12725 33554432000 4194304 4196468 140726934637264 139874994736016 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29583] ppid=29571 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29583/stat : 29583 (java) S 29571 29571 28228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420509598 28909203456 12725 33554432000 4194304 4196468 140726934637264 139873646209264 139875450976898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29584] ppid=29571 vsize=28231644 memory=279998179258256 CPUtime=0 cores=0-7
/proc/29573/task/29584/stat : 29584 (java) S 29571 29571 28228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420509599 28909203456 12725 33554432000 4194304 4196468 140726934637264 139873645155488 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29585] ppid=29571 vsize=28231644 memory=279998179255952 CPUtime=0 cores=0-7
/proc/29573/task/29585/stat : 29585 (java) S 29571 29571 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420509599 28909203456 12725 33554432000 4194304 4196468 140726934637264 139873644102384 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29586] ppid=29571 vsize=28231644 memory=279998179262864 CPUtime=0 cores=0-7
/proc/29573/task/29586/stat : 29586 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420509601 28909203456 12725 33554432000 4194304 4196468 140726934637264 139873643050960 139875450984347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29587] ppid=29571 vsize=28231644 memory=279998179204144 CPUtime=0.02 cores=0-7
/proc/29573/task/29587/stat : 29587 (java) S 29571 29571 28228 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 20 0 420509601 28909203456 12725 33554432000 4194304 4196468 140726934637264 139873641999088 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29588] ppid=29571 vsize=28231644 memory=279998179276688 CPUtime=0.02 cores=0-7
/proc/29573/task/29588/stat : 29588 (java) S 29571 29571 28228 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 20 0 420509601 28909203456 12725 33554432000 4194304 4196468 140726934637264 139873640946544 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29589] ppid=29571 vsize=28231644 memory=279998179283600 CPUtime=0.04 cores=0-7
/proc/29573/task/29589/stat : 29589 (java) S 29571 29571 28228 0 -1 1077944384 354 0 0 0 4 0 0 0 20 0 20 0 420509601 28909203456 12725 33554432000 4194304 4196468 140726934637264 139873639893488 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29590] ppid=29571 vsize=28231644 memory=279998179281296 CPUtime=0.12 cores=0-7
/proc/29573/task/29590/stat : 29590 (java) S 29571 29571 28228 0 -1 1077944384 790 0 0 0 12 0 0 0 20 0 20 0 420509601 28909203456 12725 33554432000 4194304 4196468 140726934637264 139873638840944 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29591] ppid=29571 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29591/stat : 29591 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420509601 28909203456 12725 33554432000 4194304 4196468 140726934637264 139873637788128 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29592] ppid=29571 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/29573/task/29592/stat : 29592 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420509602 28909203456 12725 33554432000 4194304 4196468 140726934637264 139873636735664 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 52320 KiB
[startup+0.706717 s]
/proc/loadavg: 7.89 8.25 8.25 6/212 29593
/proc/meminfo: memFree=24620780/32770624 swapFree=66939852/67108860
[pid=29571] ppid=29568 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29571/stat : 29571 (xcsp3-exec) S 29568 29571 28228 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420509595 115843072 364 33554432000 4194304 5098028 140723791169808 140723791167912 139709768147580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140723791172470 140723791172713 140723791172713 140723791175626 0
/proc/29571/statm: 28282 364 305 221 0 87 0
[pid=29573] ppid=29571 vsize=28233768 memory=101156 CPUtime=1.99 cores=0-7
/proc/29573/stat : 29573 (java) S 29571 29571 28228 0 -1 1077944320 15982 0 0 0 192 7 0 0 20 0 20 0 420509596 28911378432 25289 33554432000 4194304 4196468 140726934637264 140726934619808 139875450965751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
/proc/29573/statm: 7058442 25289 3456 1 0 7019544 0
[pid=29573/tid=29574] ppid=29571 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/29573/task/29574/stat : 29574 (java) R 29571 29571 28228 0 -1 4202560 8803 0 0 0 63 5 0 0 20 0 20 0 420509596 28911378432 25801 33554432000 4194304 4196468 140726934637264 139875455202576 139875091651303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29575] ppid=29571 vsize=28233768 memory=139999089828720 CPUtime=0 cores=0-7
/proc/29573/task/29575/stat : 29575 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28911378432 25801 33554432000 4194304 4196468 140726934637264 139875409725968 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29576] ppid=29571 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29573/task/29576/stat : 29576 (java) S 29571 29571 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420509597 28911378432 25801 33554432000 4194304 4196468 140726934637264 139875001051792 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29577] ppid=29571 vsize=28233768 memory=1256 CPUtime=0 cores=0-7
/proc/29573/task/29577/stat : 29577 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420509597 28911378432 25801 33554432000 4194304 4196468 140726934637264 139874999998736 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
################
# More data... #
################
[pid=29573/tid=29590] ppid=29571 vsize=28768328 memory=4136 CPUtime=1.37 cores=0-7
/proc/29573/task/29590/stat : 29590 (java) S 29571 29571 28228 0 -1 1077944384 21499 0 0 0 132 5 0 0 20 0 28 0 420509601 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873638840944 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29591] ppid=29571 vsize=28768328 memory=4104 CPUtime=0 cores=0-7
/proc/29573/task/29591/stat : 29591 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420509601 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873637788128 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29592] ppid=29571 vsize=28768328 memory=6791534058613427641 CPUtime=0.11 cores=0-7
/proc/29573/task/29592/stat : 29592 (java) S 29571 29571 28228 0 -1 1077944384 6584 0 0 0 2 9 0 0 20 0 28 0 420509602 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873636735664 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29636] ppid=29571 vsize=28768328 memory=1408 CPUtime=208.42 cores=0-7
/proc/29573/task/29636/stat : 29636 (java) R 29571 29571 28228 0 -1 4202560 1333 0 0 0 20840 2 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873625663976 139875097041489 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29637] ppid=29571 vsize=28768328 memory=2008 CPUtime=210.57 cores=0-7
/proc/29573/task/29637/stat : 29637 (java) R 29571 29571 28228 0 -1 4202560 1686 0 0 0 21055 2 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873621454616 139875096363795 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29638] ppid=29571 vsize=28768328 memory=1436 CPUtime=209.9 cores=0-7
/proc/29573/task/29638/stat : 29638 (java) R 29571 29571 28228 0 -1 4202560 15062 0 0 0 20941 49 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873622508504 139875091401778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29639] ppid=29571 vsize=28768328 memory=4164 CPUtime=211.07 cores=0-7
/proc/29573/task/29639/stat : 29639 (java) R 29571 29571 28228 0 -1 4202560 16734 0 0 0 21042 65 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873623561048 139875094833420 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29640] ppid=29571 vsize=28768328 memory=1548 CPUtime=209.97 cores=0-7
/proc/29573/task/29640/stat : 29640 (java) R 29571 29571 28228 0 -1 4202560 1920 0 0 0 20994 3 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873624612952 139875097574988 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29641] ppid=29571 vsize=28768328 memory=1728 CPUtime=211.21 cores=0-7
/proc/29573/task/29641/stat : 29641 (java) R 29571 29571 28228 0 -1 4202560 2149 0 0 0 21118 3 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873619349688 139875097391972 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29642] ppid=29571 vsize=28768328 memory=7992 CPUtime=211.06 cores=0-7
/proc/29573/task/29642/stat : 29642 (java) R 29571 29571 28228 0 -1 4202560 1494 0 0 0 21104 2 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873620402200 139875097391972 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29643] ppid=29571 vsize=28768328 memory=9580 CPUtime=211.09 cores=0-7
/proc/29573/task/29643/stat : 29643 (java) R 29571 29571 28228 0 -1 4202560 4689 0 0 0 21082 27 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873618296704 139875095364380 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
Current children cumulated CPU time: 2024.76 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5676084 KiB
[startup+255.602 s]
/proc/loadavg: 8.22 8.40 8.33 9/219 29658
/proc/meminfo: memFree=19015500/32770624 swapFree=66939852/67108860
[pid=29571] ppid=29568 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29571/stat : 29571 (xcsp3-exec) S 29568 29571 28228 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420509595 115843072 364 33554432000 4194304 5098028 140723791169808 140723791167912 139709768147580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140723791172470 140723791172713 140723791172713 140723791175626 0
/proc/29571/statm: 28282 364 305 221 0 87 0
[pid=29573] ppid=29571 vsize=28768328 memory=5674628 CPUtime=2027.96 cores=0-7
/proc/29573/stat : 29573 (java) S 29571 29571 28228 0 -1 1077944320 348275 0 0 0 202453 343 0 0 20 0 28 0 420509596 29458767872 1418657 33554432000 4194304 4196468 140726934637264 140726934619808 139875450965751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
/proc/29573/statm: 7192082 1418657 3537 1 0 7153184 0
[pid=29573/tid=29574] ppid=29571 vsize=28768328 memory=1436 CPUtime=2.06 cores=0-7
/proc/29573/task/29574/stat : 29574 (java) S 29571 29571 28228 0 -1 1077944384 9294 0 0 0 198 8 0 0 20 0 28 0 420509596 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139875455206528 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29575] ppid=29571 vsize=28768328 memory=4164 CPUtime=0.33 cores=0-7
/proc/29573/task/29575/stat : 29575 (java) S 29571 29571 28228 0 -1 1077944384 2463 0 0 0 23 10 0 0 20 0 28 0 420509597 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139875409725968 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29576] ppid=29571 vsize=28768328 memory=1548 CPUtime=0.32 cores=0-7
/proc/29573/task/29576/stat : 29576 (java) S 29571 29571 28228 0 -1 1077944384 1498 0 0 0 21 11 0 0 20 0 28 0 420509597 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139875001051792 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29577] ppid=29571 vsize=28768328 memory=1728 CPUtime=0.3 cores=0-7
/proc/29573/task/29577/stat : 29577 (java) S 29571 29571 28228 0 -1 1077944384 550 0 0 0 21 9 0 0 20 0 28 0 420509597 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139874999998736 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29578] ppid=29571 vsize=28768328 memory=7992 CPUtime=0.32 cores=0-7
/proc/29573/task/29578/stat : 29578 (java) S 29571 29571 28228 0 -1 1077944384 978 0 0 0 23 9 0 0 20 0 28 0 420509597 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139874998946192 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29579] ppid=29571 vsize=28768328 memory=6791534058613427641 CPUtime=0.32 cores=0-7
/proc/29573/task/29579/stat : 29579 (java) S 29571 29571 28228 0 -1 1077944384 1513 0 0 0 22 10 0 0 20 0 28 0 420509597 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139874997894160 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29580] ppid=29571 vsize=28768328 memory=6944656575208382560 CPUtime=0.32 cores=0-7
/proc/29573/task/29580/stat : 29580 (java) S 29571 29571 28228 0 -1 1077944384 1758 0 0 0 22 10 0 0 20 0 28 0 420509597 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139874996841616 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29581] ppid=29571 vsize=28768328 memory=6944656592387989600 CPUtime=0.29 cores=0-7
/proc/29573/task/29581/stat : 29581 (java) S 29571 29571 28228 0 -1 1077944384 690 0 0 0 20 9 0 0 20 0 28 0 420509597 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139874995788560 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29582] ppid=29571 vsize=28768328 memory=301741394899511548 CPUtime=0.32 cores=0-7
/proc/29573/task/29582/stat : 29582 (java) S 29571 29571 28228 0 -1 1077944384 1419 0 0 0 22 10 0 0 20 0 28 0 420509597 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139874994736016 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29583] ppid=29571 vsize=28768328 memory=13849664034199760 CPUtime=0.06 cores=0-7
/proc/29573/task/29583/stat : 29583 (java) S 29571 29571 28228 0 -1 1077944384 5673 0 0 0 5 1 0 0 20 0 28 0 420509598 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873646209264 139875450976898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29584] ppid=29571 vsize=28768328 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/29573/task/29584/stat : 29584 (java) S 29571 29571 28228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 420509599 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873645155552 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29585] ppid=29571 vsize=28768328 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/29573/task/29585/stat : 29585 (java) S 29571 29571 28228 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 420509599 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873644102400 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29586] ppid=29571 vsize=28768328 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/29573/task/29586/stat : 29586 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420509601 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873643050960 139875450984347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29587] ppid=29571 vsize=28768328 memory=6944652177228980320 CPUtime=7.97 cores=0-7
/proc/29573/task/29587/stat : 29587 (java) S 29571 29571 28228 0 -1 1077944384 91006 0 0 0 780 17 0 0 20 0 28 0 420509601 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873641999088 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29588] ppid=29571 vsize=28768328 memory=8320808402720010548 CPUtime=8.22 cores=0-7
/proc/29573/task/29588/stat : 29588 (java) S 29571 29571 28228 0 -1 1077944384 55383 0 0 0 812 10 0 0 20 0 28 0 420509601 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873640946544 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29589] ppid=29571 vsize=28768328 memory=9580 CPUtime=8.87 cores=0-7
/proc/29573/task/29589/stat : 29589 (java) S 29571 29571 28228 0 -1 1077944384 82469 0 0 0 874 13 0 0 20 0 28 0 420509601 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873639893488 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29590] ppid=29571 vsize=28768328 memory=1052 CPUtime=1.37 cores=0-7
/proc/29573/task/29590/stat : 29590 (java) S 29571 29571 28228 0 -1 1077944384 21499 0 0 0 132 5 0 0 20 0 28 0 420509601 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873638840944 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29591] ppid=29571 vsize=28768328 memory=776 CPUtime=0 cores=0-7
/proc/29573/task/29591/stat : 29591 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420509601 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873637788128 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29592] ppid=29571 vsize=28768328 memory=2832 CPUtime=0.11 cores=0-7
/proc/29573/task/29592/stat : 29592 (java) S 29571 29571 28228 0 -1 1077944384 6584 0 0 0 2 9 0 0 20 0 28 0 420509602 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873636735664 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29636] ppid=29571 vsize=28768328 memory=668 CPUtime=208.81 cores=0-7
/proc/29573/task/29636/stat : 29636 (java) R 29571 29571 28228 0 -1 4202560 1333 0 0 0 20879 2 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873625663976 139875094915984 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29637] ppid=29571 vsize=28768328 memory=1256 CPUtime=210.97 cores=0-7
/proc/29573/task/29637/stat : 29637 (java) R 29571 29571 28228 0 -1 4202560 1686 0 0 0 21095 2 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873621454616 139875098363646 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29638] ppid=29571 vsize=28768328 memory=1076 CPUtime=210.3 cores=0-7
/proc/29573/task/29638/stat : 29638 (java) R 29571 29571 28228 0 -1 4202560 15070 0 0 0 20981 49 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873622508504 139875089175377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29639] ppid=29571 vsize=28768328 memory=14008 CPUtime=211.47 cores=0-7
/proc/29573/task/29639/stat : 29639 (java) R 29571 29571 28228 0 -1 4202560 16746 0 0 0 21082 65 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873623561048 139875095447888 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29640] ppid=29571 vsize=28768328 memory=22788 CPUtime=210.37 cores=0-7
/proc/29573/task/29640/stat : 29640 (java) R 29571 29571 28228 0 -1 4202560 1920 0 0 0 21034 3 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873624612952 139875088063100 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29641] ppid=29571 vsize=28768328 memory=14056 CPUtime=211.61 cores=0-7
/proc/29573/task/29641/stat : 29641 (java) R 29571 29571 28228 0 -1 4202560 2153 0 0 0 21158 3 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873619349688 139875094916006 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29642] ppid=29571 vsize=28768328 memory=2116 CPUtime=211.46 cores=0-7
/proc/29573/task/29642/stat : 29642 (java) R 29571 29571 28228 0 -1 4202560 1494 0 0 0 21144 2 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873620402200 139875097392211 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29643] ppid=29571 vsize=28768328 memory=520 CPUtime=211.49 cores=0-7
/proc/29573/task/29643/stat : 29643 (java) R 29571 29571 28228 0 -1 4202560 4691 0 0 0 21122 27 0 0 20 0 28 0 420513829 29458767872 1418657 33554432000 4194304 4196468 140726934637264 139873618296704 139875097575211 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
Current children cumulated CPU time: 2027.96 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5676084 KiB
[startup+256.002 s]*
/proc/loadavg: 8.22 8.40 8.33 9/219 29666
/proc/meminfo: memFree=19015468/32770624 swapFree=66939852/67108860
[pid=29571] ppid=29568 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29571/stat : 29571 (xcsp3-exec) S 29568 29571 28228 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420509595 115843072 364 33554432000 4194304 5098028 140723791169808 140723791167912 139709768147580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140723791172470 140723791172713 140723791172713 140723791175626 0
/proc/29571/statm: 28282 364 305 221 0 87 0
[pid=29573] ppid=29571 vsize=28768328 memory=5674072 CPUtime=2031.18 cores=0-7
/proc/29573/stat : 29573 (java) S 29571 29571 28228 0 -1 1077944320 349058 0 0 0 202775 343 0 0 20 0 28 0 420509596 29458767872 1418518 33554432000 4194304 4196468 140726934637264 140726934619808 139875450965751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
/proc/29573/statm: 7192082 1418518 3537 1 0 7153184 0
[pid=29573/tid=29574] ppid=29571 vsize=28768328 memory=2116 CPUtime=2.06 cores=0-7
/proc/29573/task/29574/stat : 29574 (java) S 29571 29571 28228 0 -1 1077944384 9381 0 0 0 198 8 0 0 20 0 28 0 420509596 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139875455206528 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29575] ppid=29571 vsize=28768328 memory=520 CPUtime=0.33 cores=0-7
/proc/29573/task/29575/stat : 29575 (java) S 29571 29571 28228 0 -1 1077944384 2463 0 0 0 23 10 0 0 20 0 28 0 420509597 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139875409725968 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29576] ppid=29571 vsize=28768328 memory=4872558044660077418 CPUtime=0.32 cores=0-7
/proc/29573/task/29576/stat : 29576 (java) S 29571 29571 28228 0 -1 1077944384 1498 0 0 0 21 11 0 0 20 0 28 0 420509597 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139875001051792 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29577] ppid=29571 vsize=28768328 memory=10 CPUtime=0.3 cores=0-7
/proc/29573/task/29577/stat : 29577 (java) S 29571 29571 28228 0 -1 1077944384 550 0 0 0 21 9 0 0 20 0 28 0 420509597 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139874999998736 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29578] ppid=29571 vsize=28768328 memory=15291 CPUtime=0.32 cores=0-7
/proc/29573/task/29578/stat : 29578 (java) S 29571 29571 28228 0 -1 1077944384 978 0 0 0 23 9 0 0 20 0 28 0 420509597 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139874998946192 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29579] ppid=29571 vsize=28768328 memory=15386 CPUtime=0.32 cores=0-7
/proc/29573/task/29579/stat : 29579 (java) S 29571 29571 28228 0 -1 1077944384 1513 0 0 0 22 10 0 0 20 0 28 0 420509597 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139874997894160 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29580] ppid=29571 vsize=28768328 memory=15316 CPUtime=0.32 cores=0-7
/proc/29573/task/29580/stat : 29580 (java) S 29571 29571 28228 0 -1 1077944384 1758 0 0 0 22 10 0 0 20 0 28 0 420509597 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139874996841616 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29581] ppid=29571 vsize=28768328 memory=21127 CPUtime=0.29 cores=0-7
/proc/29573/task/29581/stat : 29581 (java) S 29571 29571 28228 0 -1 1077944384 690 0 0 0 20 9 0 0 20 0 28 0 420509597 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139874995788560 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29582] ppid=29571 vsize=28768328 memory=21017 CPUtime=0.32 cores=0-7
/proc/29573/task/29582/stat : 29582 (java) S 29571 29571 28228 0 -1 1077944384 1419 0 0 0 22 10 0 0 20 0 28 0 420509597 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139874994736016 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29583] ppid=29571 vsize=28768328 memory=21141 CPUtime=0.06 cores=0-7
/proc/29573/task/29583/stat : 29583 (java) S 29571 29571 28228 0 -1 1077944384 5675 0 0 0 5 1 0 0 20 0 28 0 420509598 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873646209264 139875450976898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29584] ppid=29571 vsize=28768328 memory=21126 CPUtime=0 cores=0-7
/proc/29573/task/29584/stat : 29584 (java) S 29571 29571 28228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 420509599 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873645155552 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29585] ppid=29571 vsize=28768328 memory=21129 CPUtime=0 cores=0-7
/proc/29573/task/29585/stat : 29585 (java) S 29571 29571 28228 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 420509599 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873644102400 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29586] ppid=29571 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29573/task/29586/stat : 29586 (java) S 29571 29571 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420509601 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873643050960 139875450984347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29587] ppid=29571 vsize=28768328 memory=5674628 CPUtime=7.98 cores=0-7
/proc/29573/task/29587/stat : 29587 (java) S 29571 29571 28228 0 -1 1077944384 91115 0 0 0 781 17 0 0 20 0 28 0 420509601 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873641999088 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29588] ppid=29571 vsize=28768328 memory=1808 CPUtime=8.22 cores=0-7
/proc/29573/task/29588/stat : 29588 (java) S 29571 29571 28228 0 -1 1077944384 55383 0 0 0 812 10 0 0 20 0 28 0 420509601 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873640946544 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29589] ppid=29571 vsize=28768328 memory=924 CPUtime=8.87 cores=0-7
/proc/29573/task/29589/stat : 29589 (java) S 29571 29571 28228 0 -1 1077944384 82469 0 0 0 874 13 0 0 20 0 28 0 420509601 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873639893488 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29590] ppid=29571 vsize=28768328 memory=4136 CPUtime=1.38 cores=0-7
/proc/29573/task/29590/stat : 29590 (java) S 29571 29571 28228 0 -1 1077944384 21696 0 0 0 132 6 0 0 20 0 28 0 420509601 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873638840944 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29591] ppid=29571 vsize=28768328 memory=3673708 CPUtime=0 cores=0-7
/proc/29573/task/29591/stat : 29591 (java) S 29571 29571 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420509601 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873637788128 139875450975957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29592] ppid=29571 vsize=28768328 memory=1456 CPUtime=0.11 cores=0-7
/proc/29573/task/29592/stat : 29592 (java) S 29571 29571 28228 0 -1 1077944384 6584 0 0 0 2 9 0 0 20 0 28 0 420509602 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873636735664 139875450976898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29659] ppid=29571 vsize=28768328 memory=3669612 CPUtime=0.1 cores=0-7
/proc/29573/task/29659/stat : 29659 (java) R 29571 29571 28228 0 -1 4202560 35 0 0 0 10 0 0 0 20 0 28 0 420535186 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873622510312 139875097392138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29660] ppid=29571 vsize=28768328 memory=1456 CPUtime=0.1 cores=0-7
/proc/29573/task/29660/stat : 29660 (java) R 29571 29571 28228 0 -1 4202560 19 0 0 0 10 0 0 0 20 0 28 0 420535186 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873620406248 139875097441594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29661] ppid=29571 vsize=28768328 memory=3669612 CPUtime=0.1 cores=0-7
/proc/29573/task/29661/stat : 29661 (java) R 29571 29571 28228 0 -1 4202560 38 0 0 0 10 0 0 0 20 0 28 0 420535186 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873624615576 139875089685570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29662] ppid=29571 vsize=28768328 memory=1456 CPUtime=0.1 cores=0-7
/proc/29573/task/29662/stat : 29662 (java) R 29571 29571 28228 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 28 0 420535186 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873625673288 139875098363581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29663] ppid=29571 vsize=28768328 memory=5674628 CPUtime=0.1 cores=0-7
/proc/29573/task/29663/stat : 29663 (java) R 29571 29571 28228 0 -1 4202560 20 0 0 0 10 0 0 0 20 0 28 0 420535186 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873621462216 139875094916006 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29664] ppid=29571 vsize=28768328 memory=3735268 CPUtime=0.09 cores=0-7
/proc/29573/task/29664/stat : 29664 (java) R 29571 29571 28228 0 -1 4202560 35 0 0 0 9 0 0 0 20 0 28 0 420535186 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873619357000 139875090114192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29665] ppid=29571 vsize=28768328 memory=988 CPUtime=0.1 cores=0-7
/proc/29573/task/29665/stat : 29665 (java) R 29571 29571 28228 0 -1 4202560 22 0 0 0 10 0 0 0 20 0 28 0 420535186 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873618303944 139875097575303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
[pid=29573/tid=29666] ppid=29571 vsize=28768328 memory=2008 CPUtime=0.09 cores=0-7
/proc/29573/task/29666/stat : 29666 (java) R 29571 29571 28228 0 -1 4202560 19 0 0 0 9 0 0 0 20 0 28 0 420535186 29458767872 1418518 33554432000 4194304 4196468 140726934637264 139873623567432 139875095092560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27930624 140726934643690 140726934643862 140726934643862 140726934646735 0
Current children cumulated CPU time: 2031.18 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5675528 KiB
Child status: 0
Real time (s): 256.106
CPU time (s): 2031.62
CPU user time (s): 2028.15
CPU system time (s): 3.47788
CPU usage (%): 793.274
Max. virtual memory (cumulated for all children) (KiB): 28952152
Max. memory (cumulated for all children) (KiB): 5676084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2028.15
system time used= 3.47788
maximum resident set size= 5697252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16197
involuntary context switches= 25770
# summary of solver processes directly reported to runsolver:
# pid: 29571
# total CPU time (s): 2031.62
# total CPU user time (s): 2028.15
# total CPU system time (s): 3.47788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.15193 second user time and 3.21435 second system time
The end
Begin job on node119 at 2019-09-14 09:25:07
IDJOB=4393980
IDBENCH=139745
IDSOLVER=2841
FILE ID=node119/4393980-1568445947
RUNJOBID= node119-1568442536-28255
PBS_JOBID= 21702345
Free space on /tmp= 61504 MiB
SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-08-10.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393980-1568445947/watcher-4393980-1568445947 -o /tmp/evaluation-result-4393980-1568445947/solver-4393980-1568445947 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568442536-28255 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 453580019 HOME/instance-4393980-1568445947.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 23e84b7c24701222a8a18862c478c748
RANDOM SEED=453580019
node119.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.47
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.47
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.47
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.47
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: 24686244 kB
MemAvailable: 31824232 kB
Buffers: 192876 kB
Cached: 7213544 kB
SwapCached: 61128 kB
Active: 2835128 kB
Inactive: 4636104 kB
Active(anon): 3500 kB
Inactive(anon): 102744 kB
Active(file): 2831628 kB
Inactive(file): 4533360 kB
Unevictable: 107736 kB
Mlocked: 107736 kB
SwapTotal: 67108860 kB
SwapFree: 66939852 kB
Dirty: 25880 kB
Writeback: 4 kB
AnonPages: 112572 kB
Mapped: 44980 kB
Shmem: 32816 kB
Slab: 207168 kB
SReclaimable: 177668 kB
SUnreclaim: 29500 kB
KernelStack: 3392 kB
PageTables: 5900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 497692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 61476 MiB
End job on node119 at 2019-09-14 09:29:23