0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393973-1568419544.xml" -tl '20160s' -p 8
0.13/0.18 c Choco e747e1e
0.13/0.18 c [HOME/instance-4393973-1568419544.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
1.59/0.77 c solve instance...
1.93/0.83 o 3
484.47/61.95 s OPTIMUM FOUND
484.47/61.95 v <instantiation>
484.47/61.95 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] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] </list>
484.47/61.95 v <values>0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 3 </values>
484.47/61.95 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 (10686 MiB free)
memory of node 1: 16384 MiB (13047 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393973-1568419544/watcher-4393973-1568419544 -o /tmp/evaluation-result-4393973-1568419544/solver-4393973-1568419544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568416727-4864 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 800334196 HOME/instance-4393973-1568419544.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=5979, runsolver pid=5976
[startup+0.100149 s]*
/proc/loadavg: 6.03 7.46 7.30 3/212 6000
/proc/meminfo: memFree=24288280/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28227388 memory=28868 CPUtime=0.13 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 5698 0 0 0 11 2 0 0 20 0 20 0 417891815 28904845312 7217 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7056847 7217 3117 1 0 7019032 0
[pid=5981/tid=5982] ppid=5979 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 4837 0 -1 4202560 3586 0 0 0 8 1 0 0 20 0 20 0 417891815 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702912815920 140702892623205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28227388 memory=140672708228736 CPUtime=0 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5986] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702456326544 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5987] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702455274512 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5988] ppid=5979 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702454221968 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5989] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702453168912 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5990] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702452116368 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5991] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701439310064 140702908590722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5992] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701438256288 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5993] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701437203184 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5994] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701436151760 140702908598171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5995] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5995/stat : 5995 (java) R 5979 5979 4837 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701435099888 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5996] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5996/stat : 5996 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701434047344 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5997] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5997/stat : 5997 (java) R 5979 5979 4837 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701432994288 140702901564617 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5998] ppid=5979 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) R 5979 5979 4837 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701431941744 140702887597897 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30324 KiB
[startup+0.210337 s]*
/proc/loadavg: 6.03 7.46 7.30 3/212 6000
/proc/meminfo: memFree=24275280/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28227388 memory=40728 CPUtime=0.34 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 9385 0 0 0 30 4 0 0 20 0 20 0 417891815 28904845312 10182 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7056847 10182 3305 1 0 7019032 0
[pid=5981/tid=5982] ppid=5979 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 4837 0 -1 4202560 6600 0 0 0 17 2 0 0 20 0 20 0 417891815 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702912813280 140702541491696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28227388 memory=140672708238435 CPUtime=0 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5986] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702456326544 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5987] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702455274512 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5988] ppid=5979 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702454221968 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5989] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702453168912 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5990] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702452116368 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5991] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701439310064 140702908590722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5992] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701438256288 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5993] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701437203184 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5994] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701436151760 140702908598171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5995] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 4837 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701435099888 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5996] ppid=5979 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/5981/task/5996/stat : 5996 (java) S 5979 5979 4837 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701434047344 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5997] ppid=5979 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/5981/task/5997/stat : 5997 (java) S 5979 5979 4837 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701432994288 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5998] ppid=5979 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) R 5979 5979 4837 0 -1 4202560 815 0 0 0 8 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701431941552 140702900816702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42184 KiB
[startup+0.309536 s]*
/proc/loadavg: 6.03 7.46 7.30 3/212 6000
/proc/meminfo: memFree=24266896/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28231644 memory=49820 CPUtime=0.52 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 10846 0 0 0 47 5 0 0 20 0 20 0 417891815 28909203456 12455 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7057911 12455 3349 1 0 7019032 0
[pid=5981/tid=5982] ppid=5979 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 4837 0 -1 4202560 7738 0 0 0 26 3 0 0 20 0 20 0 417891815 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702912810688 140702908601501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5986] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702456326544 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5987] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702455274512 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5988] ppid=5979 vsize=28231644 memory=140672594176687 CPUtime=0 cores=0-7
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702454221968 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5989] ppid=5979 vsize=28231644 memory=140672594178992 CPUtime=0 cores=0-7
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702453168912 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5990] ppid=5979 vsize=28231644 memory=140672594181296 CPUtime=0 cores=0-7
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702452116368 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5991] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417891818 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701439310064 140702908590722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5992] ppid=5979 vsize=28231644 memory=281345188376464 CPUtime=0 cores=0-7
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417891818 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701438256288 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5993] ppid=5979 vsize=28231644 memory=281345188374160 CPUtime=0 cores=0-7
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417891818 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701437203184 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5994] ppid=5979 vsize=28231644 memory=281345188381072 CPUtime=0 cores=0-7
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701436151760 140702908598171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5995] ppid=5979 vsize=28231644 memory=281345188322352 CPUtime=0.02 cores=0-7
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 4837 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701435099888 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5996] ppid=5979 vsize=28231644 memory=281345188394896 CPUtime=0.04 cores=0-7
/proc/5981/task/5996/stat : 5996 (java) R 5979 5979 4837 0 -1 4202560 220 0 0 0 4 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701434037728 140702887826547 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5997] ppid=5979 vsize=28231644 memory=281345188401808 CPUtime=0.01 cores=0-7
/proc/5981/task/5997/stat : 5997 (java) S 5979 5979 4837 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701432994288 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5998] ppid=5979 vsize=28231644 memory=281345188399504 CPUtime=0.12 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) S 5979 5979 4837 0 -1 1077944384 964 0 0 0 12 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701431941744 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51276 KiB
[startup+0.700938 s]
/proc/loadavg: 6.03 7.46 7.30 4/212 6000
/proc/meminfo: memFree=24251084/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28233768 memory=84928 CPUtime=1.59 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 14927 0 0 0 152 7 0 0 20 0 20 0 417891815 28911378432 21232 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7058442 21232 3450 1 0 7019544 0
[pid=5981/tid=5982] ppid=5979 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 4837 0 -1 4202560 9199 0 0 0 64 4 0 0 20 0 20 0 417891815 28911378432 21232 33554432000 4194304 4196468 140729348144512 140702912817808 140702544591249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28233768 memory=140672594387824 CPUtime=0 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28911378432 21232 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28911378432 21232 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28233768 memory=7180 CPUtime=0 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28911378432 21232 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
################
# More data... #
################
[pid=5981/tid=5998] ppid=5979 vsize=28768328 memory=7180 CPUtime=1.06 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) S 5979 5979 4837 0 -1 1077944384 9759 0 0 0 103 3 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701431941744 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28768328 memory=1100 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28768328 memory=15208 CPUtime=0.01 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6009] ppid=5979 vsize=28768328 memory=24728 CPUtime=58.56 cores=0-7
/proc/5981/task/6009/stat : 6009 (java) R 5979 5979 4837 0 -1 4202560 1237 0 0 0 5847 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701418760720 140702549956766 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6010] ppid=5979 vsize=28768328 memory=4048 CPUtime=58.37 cores=0-7
/proc/5981/task/6010/stat : 6010 (java) R 5979 5979 4837 0 -1 4202560 1309 0 0 0 5828 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701417709200 140702549961697 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6011] ppid=5979 vsize=28768328 memory=14288 CPUtime=58.55 cores=0-7
/proc/5981/task/6011/stat : 6011 (java) R 5979 5979 4837 0 -1 4202560 5062 0 0 0 5850 5 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701416657344 140702549923039 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6012] ppid=5979 vsize=28768328 memory=504 CPUtime=58.39 cores=0-7
/proc/5981/task/6012/stat : 6012 (java) R 5979 5979 4837 0 -1 1077944384 2918 0 0 0 5830 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701413499376 140702908589781 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6013] ppid=5979 vsize=28768328 memory=1728 CPUtime=59 cores=0-7
/proc/5981/task/6013/stat : 6013 (java) R 5979 5979 4837 0 -1 4202560 2925 0 0 0 5881 19 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701414551648 140702550265941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6014] ppid=5979 vsize=28768328 memory=924 CPUtime=58.89 cores=0-7
/proc/5981/task/6014/stat : 6014 (java) R 5979 5979 4837 0 -1 4202560 1360 0 0 0 5876 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701419815136 140702547386900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6015] ppid=5979 vsize=28768328 memory=2376 CPUtime=58.67 cores=0-7
/proc/5981/task/6015/stat : 6015 (java) R 5979 5979 4837 0 -1 4202560 2178 0 0 0 5852 15 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701420867424 140702551376840 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6016] ppid=5979 vsize=28768328 memory=2212 CPUtime=58.85 cores=0-7
/proc/5981/task/6016/stat : 6016 (java) R 5979 5979 4837 0 -1 4202560 1823 0 0 0 5872 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701415604192 140702547292363 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 482.08 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1317056 KiB
[startup+61.8033 s]
/proc/loadavg: 7.58 7.67 7.38 9/220 6021
/proc/meminfo: memFree=22997532/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28768328 memory=1315600 CPUtime=483.68 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 94162 0 0 0 48197 171 0 0 20 0 28 0 417891815 29458767872 328900 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7192082 328900 3517 1 0 7153184 0
[pid=5981/tid=5982] ppid=5979 vsize=28768328 memory=932 CPUtime=0.77 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) S 5979 5979 4837 0 -1 1077944384 9366 0 0 0 73 4 0 0 20 0 28 0 417891815 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702912820352 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28768328 memory=2008 CPUtime=0.36 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 1729 0 0 0 30 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28768328 memory=111636 CPUtime=0.38 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1856 0 0 0 31 7 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28768328 memory=804 CPUtime=0.37 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 861 0 0 0 31 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5986] ppid=5979 vsize=28768328 memory=4100 CPUtime=0.36 cores=0-7
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 4837 0 -1 1077944384 848 0 0 0 30 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702456326544 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5987] ppid=5979 vsize=28768328 memory=1808 CPUtime=0.35 cores=0-7
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 4837 0 -1 1077944384 1047 0 0 0 29 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702455274512 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5988] ppid=5979 vsize=28768328 memory=920 CPUtime=0.38 cores=0-7
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 4837 0 -1 1077944384 2185 0 0 0 32 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702454221968 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5989] ppid=5979 vsize=28768328 memory=4488 CPUtime=0.35 cores=0-7
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 4837 0 -1 1077944384 1208 0 0 0 29 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702453168912 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5990] ppid=5979 vsize=28768328 memory=1412 CPUtime=0.37 cores=0-7
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 4837 0 -1 1077944384 1279 0 0 0 30 7 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702452116368 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5991] ppid=5979 vsize=28768328 memory=3284 CPUtime=0.11 cores=0-7
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 4837 0 -1 1077944384 3741 0 0 0 8 3 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701439310064 140702908590722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5992] ppid=5979 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 4837 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701438256352 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5993] ppid=5979 vsize=28768328 memory=1318056 CPUtime=0 cores=0-7
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 4837 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701437203200 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5994] ppid=5979 vsize=28768328 memory=1964 CPUtime=0 cores=0-7
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701436151760 140702908598171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5995] ppid=5979 vsize=28768328 memory=1398722017469774279 CPUtime=2.39 cores=0-7
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 4837 0 -1 1077944384 13218 0 0 0 235 4 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701435099888 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5996] ppid=5979 vsize=28768328 memory=4872558044660077418 CPUtime=2.72 cores=0-7
/proc/5981/task/5996/stat : 5996 (java) S 5979 5979 4837 0 -1 1077944384 12922 0 0 0 268 4 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701434047344 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5997] ppid=5979 vsize=28768328 memory=812 CPUtime=2.51 cores=0-7
/proc/5981/task/5997/stat : 5997 (java) S 5979 5979 4837 0 -1 1077944384 12862 0 0 0 248 3 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701432994288 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5998] ppid=5979 vsize=28768328 memory=1840 CPUtime=1.06 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) S 5979 5979 4837 0 -1 1077944384 9759 0 0 0 103 3 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701431941744 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28768328 memory=1384 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28768328 memory=1456 CPUtime=0.01 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6009] ppid=5979 vsize=28768328 memory=1456 CPUtime=58.76 cores=0-7
/proc/5981/task/6009/stat : 6009 (java) R 5979 5979 4837 0 -1 4202560 1244 0 0 0 5867 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701418760624 140702542567358 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6010] ppid=5979 vsize=28768328 memory=1313820 CPUtime=58.57 cores=0-7
/proc/5981/task/6010/stat : 6010 (java) R 5979 5979 4837 0 -1 4202560 1313 0 0 0 5848 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701417709296 140702547387703 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6011] ppid=5979 vsize=28768328 memory=2352 CPUtime=58.75 cores=0-7
/proc/5981/task/6011/stat : 6011 (java) R 5979 5979 4837 0 -1 4202560 5077 0 0 0 5870 5 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701416657344 140702550082025 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6012] ppid=5979 vsize=28768328 memory=8112282956445269571 CPUtime=58.59 cores=0-7
/proc/5981/task/6012/stat : 6012 (java) R 5979 5979 4837 0 -1 4202560 2921 0 0 0 5850 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701413499280 140702551208526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6013] ppid=5979 vsize=28768328 memory=4048 CPUtime=59.2 cores=0-7
/proc/5981/task/6013/stat : 6013 (java) R 5979 5979 4837 0 -1 4202560 2930 0 0 0 5901 19 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701414551648 140702548277332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6014] ppid=5979 vsize=28768328 memory=14288 CPUtime=59.09 cores=0-7
/proc/5981/task/6014/stat : 6014 (java) R 5979 5979 4837 0 -1 4202560 1363 0 0 0 5896 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701419815232 140702552456883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6015] ppid=5979 vsize=28768328 memory=504 CPUtime=58.87 cores=0-7
/proc/5981/task/6015/stat : 6015 (java) R 5979 5979 4837 0 -1 1077944384 2179 0 0 0 5872 15 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701420867424 140702908590722 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6016] ppid=5979 vsize=28768328 memory=1728 CPUtime=59.05 cores=0-7
/proc/5981/task/6016/stat : 6016 (java) R 5979 5979 4837 0 -1 4202560 1824 0 0 0 5892 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701415604288 140702548277962 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 483.68 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1317056 KiB
[startup+61.9018 s]
/proc/loadavg: 7.58 7.67 7.38 9/220 6021
/proc/meminfo: memFree=22997532/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28768328 memory=1315600 CPUtime=484.47 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 94175 0 0 0 48275 172 0 0 20 0 28 0 417891815 29458767872 328900 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7192082 328900 3517 1 0 7153184 0
[pid=5981/tid=5982] ppid=5979 vsize=28768328 memory=1315600 CPUtime=0.77 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) S 5979 5979 4837 0 -1 1077944384 9366 0 0 0 73 4 0 0 20 0 28 0 417891815 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702912820352 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28768328 memory=1456 CPUtime=0.36 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 1729 0 0 0 30 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28768328 memory=8112282956445269571 CPUtime=0.38 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1856 0 0 0 31 7 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28768328 memory=2212 CPUtime=0.37 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 861 0 0 0 31 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5986] ppid=5979 vsize=28768328 memory=164 CPUtime=0.36 cores=0-7
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 4837 0 -1 1077944384 848 0 0 0 30 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702456326544 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5987] ppid=5979 vsize=28768328 memory=6944652177228980320 CPUtime=0.35 cores=0-7
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 4837 0 -1 1077944384 1047 0 0 0 29 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702455274512 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5988] ppid=5979 vsize=28768328 memory=1319276 CPUtime=0.38 cores=0-7
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 4837 0 -1 1077944384 2185 0 0 0 32 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702454221968 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5989] ppid=5979 vsize=28768328 memory=5 CPUtime=0.35 cores=0-7
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 4837 0 -1 1077944384 1208 0 0 0 29 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702453168912 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5990] ppid=5979 vsize=28768328 memory=1456 CPUtime=0.37 cores=0-7
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 4837 0 -1 1077944384 1279 0 0 0 30 7 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702452116368 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5991] ppid=5979 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 4837 0 -1 1077944384 3741 0 0 0 8 3 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701439310064 140702908590722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5992] ppid=5979 vsize=28768328 memory=7236548286627538792 CPUtime=0 cores=0-7
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 4837 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701438256352 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5993] ppid=5979 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 4837 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701437203200 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5994] ppid=5979 vsize=28768328 memory=1412 CPUtime=0 cores=0-7
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701436151760 140702908598171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5995] ppid=5979 vsize=28768328 memory=3384 CPUtime=2.39 cores=0-7
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 4837 0 -1 1077944384 13218 0 0 0 235 4 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701435099888 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5996] ppid=5979 vsize=28768328 memory=1456 CPUtime=2.72 cores=0-7
/proc/5981/task/5996/stat : 5996 (java) S 5979 5979 4837 0 -1 1077944384 12922 0 0 0 268 4 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701434047344 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5997] ppid=5979 vsize=28768328 memory=40932 CPUtime=2.51 cores=0-7
/proc/5981/task/5997/stat : 5997 (java) S 5979 5979 4837 0 -1 1077944384 12862 0 0 0 248 3 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701432994288 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5998] ppid=5979 vsize=28768328 memory=1228 CPUtime=1.06 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) S 5979 5979 4837 0 -1 1077944384 9759 0 0 0 103 3 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701431941744 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28768328 memory=2352 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28768328 memory=3924 CPUtime=0.01 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6009] ppid=5979 vsize=28768328 memory=40932 CPUtime=58.86 cores=0-7
/proc/5981/task/6009/stat : 6009 (java) R 5979 5979 4837 0 -1 4202560 1245 0 0 0 5877 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701418760720 140702548273987 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6010] ppid=5979 vsize=28768328 memory=1456 CPUtime=58.67 cores=0-7
/proc/5981/task/6010/stat : 6010 (java) R 5979 5979 4837 0 -1 4202560 1316 0 0 0 5858 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701417709200 140702892919704 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6011] ppid=5979 vsize=28768328 memory=1316924 CPUtime=58.85 cores=0-7
/proc/5981/task/6011/stat : 6011 (java) R 5979 5979 4837 0 -1 4202560 5080 0 0 0 5880 5 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701416657344 140702549222435 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6012] ppid=5979 vsize=28768328 memory=40932 CPUtime=58.69 cores=0-7
/proc/5981/task/6012/stat : 6012 (java) R 5979 5979 4837 0 -1 4202560 2922 0 0 0 5860 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701413499280 140702542458997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6013] ppid=5979 vsize=28768328 memory=1228 CPUtime=59.3 cores=0-7
/proc/5981/task/6013/stat : 6013 (java) R 5979 5979 4837 0 -1 4202560 2931 0 0 0 5911 19 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701414551648 140702894647680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6014] ppid=5979 vsize=28768328 memory=2352 CPUtime=59.19 cores=0-7
/proc/5981/task/6014/stat : 6014 (java) R 5979 5979 4837 0 -1 4202560 1365 0 0 0 5906 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701419815232 140702549310716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6015] ppid=5979 vsize=28768328 memory=1792 CPUtime=58.96 cores=0-7
/proc/5981/task/6015/stat : 6015 (java) R 5979 5979 4837 0 -1 4202560 2180 0 0 0 5881 15 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701420867912 140702549923047 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6016] ppid=5979 vsize=28768328 memory=8612 CPUtime=59.15 cores=0-7
/proc/5981/task/6016/stat : 6016 (java) R 5979 5979 4837 0 -1 4202560 1826 0 0 0 5902 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701415604192 140702549087023 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 484.47 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1317056 KiB
Child status: 0
Real time (s): 61.9758
CPU time (s): 484.944
CPU user time (s): 483.193
CPU system time (s): 1.75069
CPU usage (%): 782.473
Max. virtual memory (cumulated for all children) (KiB): 28883376
Max. memory (cumulated for all children) (KiB): 1324836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.193
system time used= 1.75069
maximum resident set size= 1324920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78265
involuntary context switches= 4512
# summary of solver processes directly reported to runsolver:
# pid: 5979
# total CPU time (s): 484.944
# total CPU user time (s): 483.193
# total CPU system time (s): 1.75069
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.549796 second user time and 0.790266 second system time
The end
Begin job on node143 at 2019-09-14 02:05:03
IDJOB=4393973
IDBENCH=120617
IDSOLVER=2841
FILE ID=node143/4393973-1568419544
RUNJOBID= node143-1568416727-4864
PBS_JOBID= 21702255
Free space on /tmp= 59272 MiB
SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-4-insertions-3.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-4393973-1568419544/watcher-4393973-1568419544 -o /tmp/evaluation-result-4393973-1568419544/solver-4393973-1568419544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568416727-4864 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 800334196 HOME/instance-4393973-1568419544.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 681bcba91e68c7fd43dde01217071906
RANDOM SEED=800334196
node143.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.73
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.73
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.73
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.73
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: 24304568 kB
MemAvailable: 31756876 kB
Buffers: 200008 kB
Cached: 7541896 kB
SwapCached: 8 kB
Active: 2144180 kB
Inactive: 5649204 kB
Active(anon): 5860 kB
Inactive(anon): 144604 kB
Active(file): 2138320 kB
Inactive(file): 5504600 kB
Unevictable: 107696 kB
Mlocked: 107696 kB
SwapTotal: 67108860 kB
SwapFree: 67108848 kB
Dirty: 26148 kB
Writeback: 0 kB
AnonPages: 172536 kB
Mapped: 49044 kB
Shmem: 90756 kB
Slab: 266240 kB
SReclaimable: 237848 kB
SUnreclaim: 28392 kB
KernelStack: 3728 kB
PageTables: 5636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 499344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 86016 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 132480 kB
DirectMap2M: 33413120 kB
Free space on /tmp at the end= 59248 MiB
End job on node143 at 2019-09-14 02:06:06