0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271334-1502777400.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271334-1502777400.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.34/0.26 c parse instance...
19.27/14.45 c solve instance...
38.43/16.90 s SATISFIABLE
38.43/16.90 v <instantiation>
38.43/16.90 v <list>w3 w4 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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list>
38.43/16.90 v <values>179 0 20 6 16 8 17 10 4 19 12 18 3 2 5 15 1 13 7 11 14 9 18 11 2 26 6 3 4 1 13 2 3 0 23 11 7 8 0 4 29 8 29 31 57 63 66 70 71 84 86 89 89 112 123 130 138 138 142 171 179 </values>
38.43/16.90 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 (13319 MiB free)
memory of node 1: 16384 MiB (13786 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271334-1502777400/watcher-4271334-1502777400 -o /tmp/evaluation-result-4271334-1502777400/solver-4271334-1502777400 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502773987-13167 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 330437971 HOME/instance-4271334-1502777400.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13739, runsolver pid=13736
Current StackSize limit: 8192 KiB
[startup+0.105423 s]*
/proc/loadavg: 6.64 7.80 8.13 3/199 13760
/proc/meminfo: memFree=27739916/32770624 swapFree=67108860/67108860
[pid=13739] ppid=13736 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13739/stat : 13739 (xcsp3-exec) S 13736 13739 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110820849 9740288 346 33554432000 4194304 5098028 140726599705312 140726599703416 139815079682684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20930560 140726599713893 140726599714103 140726599714103 140726599716843 0
/proc/13739/statm: 2378 346 289 221 0 87 0
[pid=13741] ppid=13739 vsize=25999808 memory=27564 CPUtime=0.12 cores=0-7
/proc/13741/stat : 13741 (java) S 13739 13739 13140 0 -1 1077944320 5710 0 0 0 11 1 0 0 20 0 20 0 110820850 26623803392 6891 33554432000 4194304 4196468 140727809135008 140727809117552 140277992455927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
/proc/13741/statm: 6499952 6891 2895 1 0 6488269 0
[pid=13741/tid=13742] ppid=13739 vsize=25999808 memory=8185180655885130395 CPUtime=0.09 cores=0-7
/proc/13741/task/13742/stat : 13742 (java) R 13739 13739 13140 0 -1 4202560 3642 0 0 0 8 1 0 0 20 0 20 0 110820850 26623803392 6891 33554432000 4194304 4196468 140727809135008 140277996688032 140277976499557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13743] ppid=13739 vsize=25999808 memory=732370756772944869 CPUtime=0 cores=0-7
/proc/13741/task/13743/stat : 13743 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26623803392 6891 33554432000 4194304 4196468 140727809135008 140277945076240 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13744] ppid=13739 vsize=25999808 memory=140618435491456 CPUtime=0 cores=0-7
/proc/13741/task/13744/stat : 13744 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26623803392 6891 33554432000 4194304 4196468 140727809135008 140277944023696 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13745] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13745/stat : 13745 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110820851 26623803392 6891 33554432000 4194304 4196468 140727809135008 140277942970640 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13746] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13746/stat : 13746 (java) S 13739 13739 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110820851 26623803392 6891 33554432000 4194304 4196468 140727809135008 140277941918096 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13747] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13747/stat : 13747 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26623803392 6891 33554432000 4194304 4196468 140727809135008 140277940866064 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13748] ppid=13739 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13741/task/13748/stat : 13748 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26623803392 6891 33554432000 4194304 4196468 140727809135008 140277939813520 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13749] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13749/stat : 13749 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26623803392 6891 33554432000 4194304 4196468 140727809135008 140277938760464 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13750] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13750/stat : 13750 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26623803392 6891 33554432000 4194304 4196468 140727809135008 140277937707920 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13751] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13751/stat : 13751 (java) S 13739 13739 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110820852 26623803392 6891 33554432000 4194304 4196468 140727809135008 140276985219312 140277992467074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13752] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13752/stat : 13752 (java) S 13739 13739 13140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110820853 26623803392 6891 33554432000 4194304 4196468 140727809135008 140276984165536 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13753] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13753/stat : 13753 (java) S 13739 13739 13140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110820853 26623803392 6891 33554432000 4194304 4196468 140727809135008 140276983112432 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13754] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13754/stat : 13754 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820855 26623803392 6891 33554432000 4194304 4196468 140727809135008 140276982061008 140277992474523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13755] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13755/stat : 13755 (java) S 13739 13739 13140 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 110820855 26623803392 6891 33554432000 4194304 4196468 140727809135008 140276981009136 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13756] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13756/stat : 13756 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820855 26623803392 6891 33554432000 4194304 4196468 140727809135008 140276979956592 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13757] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13757/stat : 13757 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110820855 26623803392 6891 33554432000 4194304 4196468 140727809135008 140276978903536 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13758] ppid=13739 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/13741/task/13758/stat : 13758 (java) R 13739 13739 13140 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 20 0 110820855 26623803392 6891 33554432000 4194304 4196468 140727809135008 140276977850992 140277992467862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13759] ppid=13739 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13759/stat : 13759 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110820855 26623803392 6891 33554432000 4194304 4196468 140727809135008 140276976798176 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13760] ppid=13739 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13741/task/13760/stat : 13760 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820856 26623803392 6891 33554432000 4194304 4196468 140727809135008 140276975745712 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28948 KiB
[startup+0.210664 s]*
/proc/loadavg: 6.64 7.80 8.13 3/199 13760
/proc/meminfo: memFree=27729188/32770624 swapFree=67108860/67108860
[pid=13739] ppid=13736 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13739/stat : 13739 (xcsp3-exec) S 13736 13739 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110820849 9740288 346 33554432000 4194304 5098028 140726599705312 140726599703416 139815079682684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20930560 140726599713893 140726599714103 140726599714103 140726599716843 0
/proc/13739/statm: 2378 346 289 221 0 87 0
[pid=13741] ppid=13739 vsize=26004064 memory=38832 CPUtime=0.34 cores=0-7
/proc/13741/stat : 13741 (java) S 13739 13739 13140 0 -1 1077944320 8258 0 0 0 32 2 0 0 20 0 20 0 110820850 26628161536 9708 33554432000 4194304 4196468 140727809135008 140727809117552 140277992455927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
/proc/13741/statm: 6501016 9708 3044 1 0 6488269 0
[pid=13741/tid=13742] ppid=13739 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/13741/task/13742/stat : 13742 (java) D 13739 13739 13140 0 -1 1077944384 5449 0 0 0 18 1 0 0 20 0 20 0 110820850 26628161536 9729 33554432000 4194304 4196468 140727809135008 140277996657616 140277985135149 0 4 0 16800975 18446744072101568036 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13743] ppid=13739 vsize=26004064 memory=281236738504440 CPUtime=0 cores=0-7
/proc/13741/task/13743/stat : 13743 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 9729 33554432000 4194304 4196468 140727809135008 140277945076240 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13744] ppid=13739 vsize=26004064 memory=140618435491456 CPUtime=0 cores=0-7
/proc/13741/task/13744/stat : 13744 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 9729 33554432000 4194304 4196468 140727809135008 140277944023696 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13745] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13745/stat : 13745 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 9729 33554432000 4194304 4196468 140727809135008 140277942970640 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13746] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13746/stat : 13746 (java) S 13739 13739 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 9729 33554432000 4194304 4196468 140727809135008 140277941918096 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13747] ppid=13739 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13747/stat : 13747 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628194304 9729 33554432000 4194304 4196468 140727809135008 140277940866064 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13748] ppid=13739 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/13741/task/13748/stat : 13748 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628194304 9729 33554432000 4194304 4196468 140727809135008 140277939813520 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13749] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13749/stat : 13749 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 9729 33554432000 4194304 4196468 140727809135008 140277938760464 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13750] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13750/stat : 13750 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 9729 33554432000 4194304 4196468 140727809135008 140277937707920 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13751] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13751/stat : 13751 (java) S 13739 13739 13140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110820852 26628161536 9729 33554432000 4194304 4196468 140727809135008 140276985219312 140277992467074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13752] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13752/stat : 13752 (java) S 13739 13739 13140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110820853 26628161536 9729 33554432000 4194304 4196468 140727809135008 140276984165536 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13753] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13753/stat : 13753 (java) S 13739 13739 13140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110820853 26628161536 9729 33554432000 4194304 4196468 140727809135008 140276983112432 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13754] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13754/stat : 13754 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820855 26628161536 9729 33554432000 4194304 4196468 140727809135008 140276982061008 140277992474523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13755] ppid=13739 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13741/task/13755/stat : 13755 (java) S 13739 13739 13140 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 20 0 110820855 26628161536 9729 33554432000 4194304 4196468 140727809135008 140276981009136 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13756] ppid=13739 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/13741/task/13756/stat : 13756 (java) S 13739 13739 13140 0 -1 1077944384 320 0 0 0 2 0 0 0 20 0 20 0 110820855 26628194304 9729 33554432000 4194304 4196468 140727809135008 140276979956592 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13757] ppid=13739 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13757/stat : 13757 (java) S 13739 13739 13140 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 110820855 26628194304 9729 33554432000 4194304 4196468 140727809135008 140276978903536 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13758] ppid=13739 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/13741/task/13758/stat : 13758 (java) S 13739 13739 13140 0 -1 1077944384 696 0 0 0 8 0 0 0 20 0 20 0 110820855 26628161536 9729 33554432000 4194304 4196468 140727809135008 140276977850992 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13759] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13759/stat : 13759 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110820855 26628161536 9729 33554432000 4194304 4196468 140727809135008 140276976798176 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13760] ppid=13739 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13741/task/13760/stat : 13760 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820856 26628161536 9729 33554432000 4194304 4196468 140727809135008 140276975745712 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40216 KiB
[startup+0.310376 s]*
/proc/loadavg: 6.64 7.80 8.13 3/199 13760
/proc/meminfo: memFree=27724904/32770624 swapFree=67108860/67108860
[pid=13739] ppid=13736 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13739/stat : 13739 (xcsp3-exec) S 13736 13739 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110820849 9740288 346 33554432000 4194304 5098028 140726599705312 140726599703416 139815079682684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20930560 140726599713893 140726599714103 140726599714103 140726599716843 0
/proc/13739/statm: 2378 346 289 221 0 87 0
[pid=13741] ppid=13739 vsize=26004064 memory=46256 CPUtime=0.51 cores=0-7
/proc/13741/stat : 13741 (java) S 13739 13739 13140 0 -1 1077944320 9284 0 0 0 49 2 0 0 20 0 20 0 110820850 26628161536 11564 33554432000 4194304 4196468 140727809135008 140727809117552 140277992455927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
/proc/13741/statm: 6501016 11564 3094 1 0 6488269 0
[pid=13741/tid=13742] ppid=13739 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13741/task/13742/stat : 13742 (java) R 13739 13739 13140 0 -1 4202560 6129 0 0 0 28 1 0 0 20 0 20 0 110820850 26628161536 11564 33554432000 4194304 4196468 140727809135008 140277996694720 140277992477853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13743] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13743/stat : 13743 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 11564 33554432000 4194304 4196468 140727809135008 140277945076240 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13744] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13744/stat : 13744 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 11564 33554432000 4194304 4196468 140727809135008 140277944023696 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13745] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13745/stat : 13745 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 11564 33554432000 4194304 4196468 140727809135008 140277942970640 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13746] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13746/stat : 13746 (java) S 13739 13739 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 11564 33554432000 4194304 4196468 140727809135008 140277941918096 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13747] ppid=13739 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/13741/task/13747/stat : 13747 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 11564 33554432000 4194304 4196468 140727809135008 140277940866064 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13748] ppid=13739 vsize=26004064 memory=140618303108015 CPUtime=0 cores=0-7
/proc/13741/task/13748/stat : 13748 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 11564 33554432000 4194304 4196468 140727809135008 140277939813520 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13749] ppid=13739 vsize=26004064 memory=140618303110320 CPUtime=0 cores=0-7
/proc/13741/task/13749/stat : 13749 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 11564 33554432000 4194304 4196468 140727809135008 140277938760464 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13750] ppid=13739 vsize=26004064 memory=140618303112624 CPUtime=0 cores=0-7
/proc/13741/task/13750/stat : 13750 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26628161536 11564 33554432000 4194304 4196468 140727809135008 140277937707920 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13751] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13751/stat : 13751 (java) S 13739 13739 13140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110820852 26628161536 11564 33554432000 4194304 4196468 140727809135008 140276985219312 140277992467074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13752] ppid=13739 vsize=26004064 memory=281236606232208 CPUtime=0 cores=0-7
/proc/13741/task/13752/stat : 13752 (java) S 13739 13739 13140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110820853 26628161536 11564 33554432000 4194304 4196468 140727809135008 140276984165536 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13753] ppid=13739 vsize=26004064 memory=281236606239120 CPUtime=0 cores=0-7
/proc/13741/task/13753/stat : 13753 (java) S 13739 13739 13140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110820853 26628161536 11564 33554432000 4194304 4196468 140727809135008 140276983112432 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13754] ppid=13739 vsize=26004064 memory=281236606180400 CPUtime=0 cores=0-7
/proc/13741/task/13754/stat : 13754 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820855 26628161536 11564 33554432000 4194304 4196468 140727809135008 140276982061008 140277992474523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13755] ppid=13739 vsize=26004064 memory=281236606252944 CPUtime=0.02 cores=0-7
/proc/13741/task/13755/stat : 13755 (java) S 13739 13739 13140 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 20 0 110820855 26628161536 11564 33554432000 4194304 4196468 140727809135008 140276981009136 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13756] ppid=13739 vsize=26004064 memory=281236606259856 CPUtime=0.03 cores=0-7
/proc/13741/task/13756/stat : 13756 (java) S 13739 13739 13140 0 -1 1077944384 414 0 0 0 3 0 0 0 20 0 20 0 110820855 26628161536 11564 33554432000 4194304 4196468 140727809135008 140276979956592 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13757] ppid=13739 vsize=26004064 memory=281236606257552 CPUtime=0.01 cores=0-7
/proc/13741/task/13757/stat : 13757 (java) R 13739 13739 13140 0 -1 4202560 53 0 0 0 1 0 0 0 20 0 20 0 110820855 26628161536 11564 33554432000 4194304 4196468 140727809135008 140276978884552 140277973156224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13758] ppid=13739 vsize=26004064 memory=281236606273712 CPUtime=0.13 cores=0-7
/proc/13741/task/13758/stat : 13758 (java) R 13739 13739 13140 0 -1 4202560 891 0 0 0 13 0 0 0 20 0 20 0 110820855 26628161536 11564 33554432000 4194304 4196468 140727809135008 140276977847928 140277992469831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13759] ppid=13739 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13759/stat : 13759 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110820855 26628161536 11564 33554432000 4194304 4196468 140727809135008 140276976798176 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13760] ppid=13739 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13741/task/13760/stat : 13760 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820856 26628161536 11564 33554432000 4194304 4196468 140727809135008 140276975745712 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47640 KiB
[startup+0.701008 s]
/proc/loadavg: 6.64 7.80 8.13 5/199 13760
/proc/meminfo: memFree=27684744/32770624 swapFree=67108860/67108860
[pid=13739] ppid=13736 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13739/stat : 13739 (xcsp3-exec) S 13736 13739 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110820849 9740288 346 33554432000 4194304 5098028 140726599705312 140726599703416 139815079682684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20930560 140726599713893 140726599714103 140726599714103 140726599716843 0
/proc/13739/statm: 2378 346 289 221 0 87 0
[pid=13741] ppid=13739 vsize=26006188 memory=98876 CPUtime=1.75 cores=0-7
/proc/13741/stat : 13741 (java) S 13739 13739 13140 0 -1 1077944320 13680 0 0 0 171 4 0 0 20 0 20 0 110820850 26630336512 24719 33554432000 4194304 4196468 140727809135008 140727809117552 140277992455927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
/proc/13741/statm: 6501547 24719 3195 1 0 6488781 0
[pid=13741/tid=13742] ppid=13739 vsize=26006188 memory=281236606568576 CPUtime=0.67 cores=0-7
/proc/13741/task/13742/stat : 13742 (java) R 13739 13739 13140 0 -1 4202560 6560 0 0 0 65 2 0 0 20 0 20 0 110820850 26630336512 24719 33554432000 4194304 4196468 140727809135008 140277996690704 140277611874079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13743] ppid=13739 vsize=26006188 memory=5080946312342 CPUtime=0 cores=0-7
/proc/13741/task/13743/stat : 13743 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26630336512 24719 33554432000 4194304 4196468 140727809135008 140277945076240 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13744] ppid=13739 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13744/stat : 13744 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110820851 26630336512 24719 33554432000 4194304 4196468 140727809135008 140277944023696 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13745] ppid=13739 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13745/stat : 13745 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110820851 26630336512 24719 33554432000 4194304 4196468 140727809135008 140277942970640 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
################
# More data... #
################
[pid=13741/tid=13758] ppid=13739 vsize=26538700 memory=4144 CPUtime=0.64 cores=0-7
/proc/13741/task/13758/stat : 13758 (java) R 13739 13739 13140 0 -1 1077944384 4531 0 0 0 64 0 0 0 20 0 28 0 110820855 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276977850992 140277992467074 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13759] ppid=13739 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/13741/task/13759/stat : 13759 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110820855 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276976798176 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13760] ppid=13739 vsize=26538700 memory=806852 CPUtime=0 cores=0-7
/proc/13741/task/13760/stat : 13760 (java) S 13739 13739 13140 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 28 0 110820856 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276975745712 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13761] ppid=13739 vsize=26538700 memory=1572 CPUtime=1.43 cores=0-7
/proc/13741/task/13761/stat : 13761 (java) R 13739 13739 13140 0 -1 4202560 170 0 0 0 143 0 0 0 20 0 28 0 110822296 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276967734456 140277615040128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13762] ppid=13739 vsize=26538700 memory=2244 CPUtime=1.31 cores=0-7
/proc/13741/task/13762/stat : 13762 (java) R 13739 13739 13140 0 -1 4202560 78 0 0 0 131 0 0 0 20 0 28 0 110822296 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276966682392 140277614632074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13763] ppid=13739 vsize=26538700 memory=4124 CPUtime=1.48 cores=0-7
/proc/13741/task/13763/stat : 13763 (java) R 13739 13739 13140 0 -1 4202560 141 0 0 0 148 0 0 0 20 0 28 0 110822296 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276965632168 140277614278499 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13764] ppid=13739 vsize=26538700 memory=2208 CPUtime=1.46 cores=0-7
/proc/13741/task/13764/stat : 13764 (java) R 13739 13739 13140 0 -1 4202560 79 0 0 0 146 0 0 0 20 0 28 0 110822296 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276964577520 140277614113452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13765] ppid=13739 vsize=26538700 memory=6508 CPUtime=1.39 cores=0-7
/proc/13741/task/13765/stat : 13765 (java) R 13739 13739 13140 0 -1 4202560 82 0 0 0 138 1 0 0 20 0 28 0 110822296 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276963527480 140277614279884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13766] ppid=13739 vsize=26538700 memory=844 CPUtime=1.36 cores=0-7
/proc/13741/task/13766/stat : 13766 (java) R 13739 13739 13140 0 -1 4202560 90 0 0 0 136 0 0 0 20 0 28 0 110822297 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276962472696 140277614278587 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13767] ppid=13739 vsize=26538700 memory=4100 CPUtime=1.38 cores=0-7
/proc/13741/task/13767/stat : 13767 (java) R 13739 13739 13140 0 -1 4202560 90 0 0 0 138 0 0 0 20 0 28 0 110822297 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276961419624 140277614586308 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13768] ppid=13739 vsize=26538700 memory=1696 CPUtime=1.58 cores=0-7
/proc/13741/task/13768/stat : 13768 (java) R 13739 13739 13140 0 -1 4202560 83 0 0 0 158 0 0 0 20 0 28 0 110822297 27175628800 202147 33554432000 4194304 4196468 140727809135008 140276960367304 140277614112962 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
Current children cumulated CPU time: 34.43 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 809972 KiB
[startup+16.8016 s]
/proc/loadavg: 5.39 7.47 8.01 13/207 13768
/proc/meminfo: memFree=26960416/32770624 swapFree=67108860/67108860
[pid=13739] ppid=13736 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13739/stat : 13739 (xcsp3-exec) S 13736 13739 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110820849 9740288 346 33554432000 4194304 5098028 140726599705312 140726599703416 139815079682684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20930560 140726599713893 140726599714103 140726599714103 140726599716843 0
/proc/13739/statm: 2378 346 289 221 0 87 0
[pid=13741] ppid=13739 vsize=26538700 memory=808612 CPUtime=37.63 cores=0-7
/proc/13741/stat : 13741 (java) S 13739 13739 13140 0 -1 1077944320 61188 0 0 0 3620 143 0 0 20 0 28 0 110820850 27175628800 202153 33554432000 4194304 4196468 140727809135008 140727809117552 140277992455927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
/proc/13741/statm: 6634675 202153 3271 1 0 6621909 0
[pid=13741/tid=13742] ppid=13739 vsize=26538700 memory=30 CPUtime=14.08 cores=0-7
/proc/13741/task/13742/stat : 13742 (java) S 13739 13739 13140 0 -1 1077944384 11251 0 0 0 1401 7 0 0 20 0 28 0 110820850 27175628800 202153 33554432000 4194304 4196468 140727809135008 140277996696704 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13743] ppid=13739 vsize=26538700 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/13741/task/13743/stat : 13743 (java) S 13739 13739 13140 0 -1 1077944384 1572 0 0 0 14 16 0 0 20 0 28 0 110820851 27175628800 202153 33554432000 4194304 4196468 140727809135008 140277945076240 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13744] ppid=13739 vsize=26538700 memory=803868 CPUtime=0.3 cores=0-7
/proc/13741/task/13744/stat : 13744 (java) S 13739 13739 13140 0 -1 1077944384 2472 0 0 0 15 15 0 0 20 0 28 0 110820851 27175628800 202153 33554432000 4194304 4196468 140727809135008 140277944023696 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13745] ppid=13739 vsize=26538700 memory=0 CPUtime=0.29 cores=0-7
/proc/13741/task/13745/stat : 13745 (java) S 13739 13739 13140 0 -1 1077944384 1554 0 0 0 13 16 0 0 20 0 28 0 110820851 27175628800 202153 33554432000 4194304 4196468 140727809135008 140277942970640 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13746] ppid=13739 vsize=26538700 memory=10 CPUtime=0.29 cores=0-7
/proc/13741/task/13746/stat : 13746 (java) S 13739 13739 13140 0 -1 1077944384 1546 0 0 0 14 15 0 0 20 0 28 0 110820851 27175628800 202153 33554432000 4194304 4196468 140727809135008 140277941918096 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13747] ppid=13739 vsize=26538700 memory=10 CPUtime=0.29 cores=0-7
/proc/13741/task/13747/stat : 13747 (java) S 13739 13739 13140 0 -1 1077944384 1857 0 0 0 14 15 0 0 20 0 28 0 110820851 27175628800 202153 33554432000 4194304 4196468 140727809135008 140277940866064 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13748] ppid=13739 vsize=26538700 memory=288230574492221466 CPUtime=0.29 cores=0-7
/proc/13741/task/13748/stat : 13748 (java) S 13739 13739 13140 0 -1 1077944384 1655 0 0 0 14 15 0 0 20 0 28 0 110820851 27175628800 202153 33554432000 4194304 4196468 140727809135008 140277939813520 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13749] ppid=13739 vsize=26538700 memory=304556170453188919 CPUtime=0.3 cores=0-7
/proc/13741/task/13749/stat : 13749 (java) S 13739 13739 13140 0 -1 1077944384 1667 0 0 0 15 15 0 0 20 0 28 0 110820851 27175628800 202153 33554432000 4194304 4196468 140727809135008 140277938760464 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13750] ppid=13739 vsize=26538700 memory=15252640887999017 CPUtime=0.29 cores=0-7
/proc/13741/task/13750/stat : 13750 (java) S 13739 13739 13140 0 -1 1077944384 1532 0 0 0 14 15 0 0 20 0 28 0 110820851 27175628800 202153 33554432000 4194304 4196468 140727809135008 140277937707920 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13751] ppid=13739 vsize=26538700 memory=6946047491808717139 CPUtime=0.04 cores=0-7
/proc/13741/task/13751/stat : 13751 (java) S 13739 13739 13140 0 -1 1077944384 2023 0 0 0 4 0 0 0 20 0 28 0 110820852 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276985219312 140277992467074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13752] ppid=13739 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13752/stat : 13752 (java) S 13739 13739 13140 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 110820853 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276984165600 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13753] ppid=13739 vsize=26538700 memory=6946047491808717139 CPUtime=0 cores=0-7
/proc/13741/task/13753/stat : 13753 (java) S 13739 13739 13140 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 110820853 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276983112448 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13754] ppid=13739 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/13741/task/13754/stat : 13754 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110820855 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276982061008 140277992474523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13755] ppid=13739 vsize=26538700 memory=807984 CPUtime=2.05 cores=0-7
/proc/13741/task/13755/stat : 13755 (java) S 13739 13739 13140 0 -1 1077944384 9360 0 0 0 204 1 0 0 20 0 28 0 110820855 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276981009136 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13756] ppid=13739 vsize=26538700 memory=-8253362762722141311 CPUtime=1.63 cores=0-7
/proc/13741/task/13756/stat : 13756 (java) S 13739 13739 13140 0 -1 1077944384 7395 0 0 0 162 1 0 0 20 0 28 0 110820855 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276979956592 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13757] ppid=13739 vsize=26538700 memory=-8707038579349950309 CPUtime=2.12 cores=0-7
/proc/13741/task/13757/stat : 13757 (java) S 13739 13739 13140 0 -1 1077944384 10042 0 0 0 210 2 0 0 20 0 28 0 110820855 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276978903536 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13758] ppid=13739 vsize=26538700 memory=7822038051842261661 CPUtime=0.65 cores=0-7
/proc/13741/task/13758/stat : 13758 (java) S 13739 13739 13140 0 -1 1077944384 4553 0 0 0 65 0 0 0 20 0 28 0 110820855 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276977850992 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13759] ppid=13739 vsize=26538700 memory=-6520471753822164382 CPUtime=0 cores=0-7
/proc/13741/task/13759/stat : 13759 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110820855 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276976798176 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13760] ppid=13739 vsize=26538700 memory=9047017150487036575 CPUtime=0 cores=0-7
/proc/13741/task/13760/stat : 13760 (java) S 13739 13739 13140 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 28 0 110820856 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276975745712 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13761] ppid=13739 vsize=26538700 memory=9047017150487036571 CPUtime=1.83 cores=0-7
/proc/13741/task/13761/stat : 13761 (java) R 13739 13739 13140 0 -1 4202560 177 0 0 0 183 0 0 0 20 0 28 0 110822296 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276967734456 140277614279033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13762] ppid=13739 vsize=26538700 memory=1952 CPUtime=1.68 cores=0-7
/proc/13741/task/13762/stat : 13762 (java) R 13739 13739 13140 0 -1 4202560 90 0 0 0 168 0 0 0 20 0 28 0 110822296 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276966682392 140277614277916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13763] ppid=13739 vsize=26538700 memory=8616 CPUtime=1.88 cores=0-7
/proc/13741/task/13763/stat : 13763 (java) R 13739 13739 13140 0 -1 4202560 216 0 0 0 188 0 0 0 20 0 28 0 110822296 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276965632168 140277614278490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13764] ppid=13739 vsize=26538700 memory=4620 CPUtime=1.86 cores=0-7
/proc/13741/task/13764/stat : 13764 (java) R 13739 13739 13140 0 -1 4202560 92 0 0 0 186 0 0 0 20 0 28 0 110822296 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276964577520 140277614278386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13765] ppid=13739 vsize=26538700 memory=1572 CPUtime=1.76 cores=0-7
/proc/13741/task/13765/stat : 13765 (java) R 13739 13739 13140 0 -1 4202560 92 0 0 0 175 1 0 0 20 0 28 0 110822296 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276963527480 140277615040309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13766] ppid=13739 vsize=26538700 memory=2244 CPUtime=1.75 cores=0-7
/proc/13741/task/13766/stat : 13766 (java) R 13739 13739 13140 0 -1 4202560 97 0 0 0 175 0 0 0 20 0 28 0 110822297 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276962472760 140277614240192 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13767] ppid=13739 vsize=26538700 memory=4124 CPUtime=1.78 cores=0-7
/proc/13741/task/13767/stat : 13767 (java) R 13739 13739 13140 0 -1 4202560 101 0 0 0 178 0 0 0 20 0 28 0 110822297 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276961419624 140277614278816 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13768] ppid=13739 vsize=26538700 memory=2208 CPUtime=1.98 cores=0-7
/proc/13741/task/13768/stat : 13768 (java) R 13739 13739 13140 0 -1 4202560 97 0 0 0 198 0 0 0 20 0 28 0 110822297 27175628800 202153 33554432000 4194304 4196468 140727809135008 140276960367304 140277614279162 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
Current children cumulated CPU time: 37.63 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 809996 KiB
[startup+16.9011 s]
/proc/loadavg: 5.39 7.47 8.01 13/207 13768
/proc/meminfo: memFree=26960416/32770624 swapFree=67108860/67108860
[pid=13739] ppid=13736 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13739/stat : 13739 (xcsp3-exec) S 13736 13739 13140 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110820849 9740288 346 33554432000 4194304 5098028 140726599705312 140726599703416 139815079682684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20930560 140726599713893 140726599714103 140726599714103 140726599716843 0
/proc/13739/statm: 2378 346 289 221 0 87 0
[pid=13741] ppid=13739 vsize=26538700 memory=808808 CPUtime=38.43 cores=0-7
/proc/13741/stat : 13741 (java) S 13739 13739 13140 0 -1 1077944320 61335 0 0 0 3699 144 0 0 20 0 28 0 110820850 27175628800 202202 33554432000 4194304 4196468 140727809135008 140727809117552 140277992455927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
/proc/13741/statm: 6634675 202202 3271 1 0 6621909 0
[pid=13741/tid=13742] ppid=13739 vsize=26538700 memory=784044 CPUtime=14.08 cores=0-7
/proc/13741/task/13742/stat : 13742 (java) S 13739 13739 13140 0 -1 1077944384 11251 0 0 0 1401 7 0 0 20 0 28 0 110820850 27175628800 202202 33554432000 4194304 4196468 140727809135008 140277996696704 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13743] ppid=13739 vsize=26538700 memory=808592 CPUtime=0.3 cores=0-7
/proc/13741/task/13743/stat : 13743 (java) S 13739 13739 13140 0 -1 1077944384 1572 0 0 0 14 16 0 0 20 0 28 0 110820851 27175628800 202202 33554432000 4194304 4196468 140727809135008 140277945076240 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13744] ppid=13739 vsize=26538700 memory=1384 CPUtime=0.3 cores=0-7
/proc/13741/task/13744/stat : 13744 (java) S 13739 13739 13140 0 -1 1077944384 2472 0 0 0 15 15 0 0 20 0 28 0 110820851 27175628800 202202 33554432000 4194304 4196468 140727809135008 140277944023696 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13745] ppid=13739 vsize=26538700 memory=807544 CPUtime=0.29 cores=0-7
/proc/13741/task/13745/stat : 13745 (java) S 13739 13739 13140 0 -1 1077944384 1554 0 0 0 13 16 0 0 20 0 28 0 110820851 27175628800 202202 33554432000 4194304 4196468 140727809135008 140277942970640 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13746] ppid=13739 vsize=26538700 memory=9126232286719478932 CPUtime=0.29 cores=0-7
/proc/13741/task/13746/stat : 13746 (java) S 13739 13739 13140 0 -1 1077944384 1546 0 0 0 14 15 0 0 20 0 28 0 110820851 27175628800 202202 33554432000 4194304 4196468 140727809135008 140277941918096 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13747] ppid=13739 vsize=26538700 memory=0 CPUtime=0.29 cores=0-7
/proc/13741/task/13747/stat : 13747 (java) S 13739 13739 13140 0 -1 1077944384 1857 0 0 0 14 15 0 0 20 0 28 0 110820851 27175628800 202202 33554432000 4194304 4196468 140727809135008 140277940866064 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13748] ppid=13739 vsize=26538700 memory=1604 CPUtime=0.29 cores=0-7
/proc/13741/task/13748/stat : 13748 (java) S 13739 13739 13140 0 -1 1077944384 1655 0 0 0 14 15 0 0 20 0 28 0 110820851 27175628800 202202 33554432000 4194304 4196468 140727809135008 140277939813520 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13749] ppid=13739 vsize=26538700 memory=808612 CPUtime=0.3 cores=0-7
/proc/13741/task/13749/stat : 13749 (java) S 13739 13739 13140 0 -1 1077944384 1667 0 0 0 15 15 0 0 20 0 28 0 110820851 27175628800 202202 33554432000 4194304 4196468 140727809135008 140277938760464 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13750] ppid=13739 vsize=26538700 memory=18476 CPUtime=0.29 cores=0-7
/proc/13741/task/13750/stat : 13750 (java) S 13739 13739 13140 0 -1 1077944384 1532 0 0 0 14 15 0 0 20 0 28 0 110820851 27175628800 202202 33554432000 4194304 4196468 140727809135008 140277937707920 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13751] ppid=13739 vsize=26538700 memory=33 CPUtime=0.04 cores=0-7
/proc/13741/task/13751/stat : 13751 (java) S 13739 13739 13140 0 -1 1077944384 2048 0 0 0 4 0 0 0 20 0 28 0 110820852 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276985219312 140277992467074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13752] ppid=13739 vsize=26538700 memory=-2892745056948402235 CPUtime=0 cores=0-7
/proc/13741/task/13752/stat : 13752 (java) S 13739 13739 13140 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 110820853 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276984165600 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13753] ppid=13739 vsize=26538700 memory=18476 CPUtime=0 cores=0-7
/proc/13741/task/13753/stat : 13753 (java) S 13739 13739 13140 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 110820853 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276983112448 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13754] ppid=13739 vsize=26538700 memory=18656 CPUtime=0 cores=0-7
/proc/13741/task/13754/stat : 13754 (java) S 13739 13739 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110820855 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276982061008 140277992474523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13755] ppid=13739 vsize=26538700 memory=0 CPUtime=2.05 cores=0-7
/proc/13741/task/13755/stat : 13755 (java) R 13739 13739 13140 0 -1 1077944384 9360 0 0 0 204 1 0 0 20 0 28 0 110820855 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276981009136 140277992467074 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13756] ppid=13739 vsize=26538700 memory=6944656592455360604 CPUtime=1.63 cores=0-7
/proc/13741/task/13756/stat : 13756 (java) S 13739 13739 13140 0 -1 1077944384 7395 0 0 0 162 1 0 0 20 0 28 0 110820855 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276979956592 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13757] ppid=13739 vsize=26538700 memory=0 CPUtime=2.12 cores=0-7
/proc/13741/task/13757/stat : 13757 (java) S 13739 13739 13140 0 -1 1077944384 10048 0 0 0 210 2 0 0 20 0 28 0 110820855 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276978903536 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13758] ppid=13739 vsize=26538700 memory=0 CPUtime=0.65 cores=0-7
/proc/13741/task/13758/stat : 13758 (java) S 13739 13739 13140 0 -1 1077944384 4584 0 0 0 65 0 0 0 20 0 28 0 110820855 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276977850992 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13759] ppid=13739 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13741/task/13759/stat : 13759 (java) S 13739 13739 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110820855 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276976798176 140277992466133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13760] ppid=13739 vsize=26538700 memory=26262775 CPUtime=0 cores=0-7
/proc/13741/task/13760/stat : 13760 (java) S 13739 13739 13140 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 28 0 110820856 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276975745712 140277992467074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13761] ppid=13739 vsize=26538700 memory=0 CPUtime=1.93 cores=0-7
/proc/13741/task/13761/stat : 13761 (java) R 13739 13739 13140 0 -1 4202560 177 0 0 0 193 0 0 0 20 0 28 0 110822296 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276967733680 140277613916857 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13762] ppid=13739 vsize=26538700 memory=6655300316396806240 CPUtime=1.78 cores=0-7
/proc/13741/task/13762/stat : 13762 (java) R 13739 13739 13140 0 -1 4202560 107 0 0 0 178 0 0 0 20 0 28 0 110822296 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276966682448 140277614278216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13763] ppid=13739 vsize=26538700 memory=6656426216303648864 CPUtime=1.98 cores=0-7
/proc/13741/task/13763/stat : 13763 (java) R 13739 13739 13140 0 -1 4202560 218 0 0 0 198 0 0 0 20 0 28 0 110822296 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276965630096 140277614113203 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13764] ppid=13739 vsize=26538700 memory=4048 CPUtime=1.96 cores=0-7
/proc/13741/task/13764/stat : 13764 (java) R 13739 13739 13140 0 -1 4202560 93 0 0 0 196 0 0 0 20 0 28 0 110822296 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276964577456 140277615228653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13765] ppid=13739 vsize=26538700 memory=1792 CPUtime=1.86 cores=0-7
/proc/13741/task/13765/stat : 13765 (java) R 13739 13739 13140 0 -1 4202560 119 0 0 0 185 1 0 0 20 0 28 0 110822296 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276963528248 140277608229737 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13766] ppid=13739 vsize=26538700 memory=648 CPUtime=1.85 cores=0-7
/proc/13741/task/13766/stat : 13766 (java) R 13739 13739 13140 0 -1 4202560 116 0 0 0 185 0 0 0 20 0 28 0 110822297 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276962471872 140277614585703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13767] ppid=13739 vsize=26538700 memory=1240 CPUtime=1.87 cores=0-7
/proc/13741/task/13767/stat : 13767 (java) R 13739 13739 13140 0 -1 4202560 102 0 0 0 187 0 0 0 20 0 28 0 110822297 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276961419432 140277614586198 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
[pid=13741/tid=13768] ppid=13739 vsize=26538700 memory=960 CPUtime=2.08 cores=0-7
/proc/13741/task/13768/stat : 13768 (java) R 13739 13739 13140 0 -1 4202560 115 0 0 0 208 0 0 0 20 0 28 0 110822297 27175628800 202202 33554432000 4194304 4196468 140727809135008 140276960368824 140277614278620 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24334336 140727809139858 140727809140035 140727809140035 140727809142735 0
Current children cumulated CPU time: 38.43 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 810192 KiB
Child status: 0
Real time (s): 16.9229
CPU time (s): 38.4798
CPU user time (s): 37.0216
CPU system time (s): 1.45819
CPU usage (%): 227.383
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 810192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.0216
system time used= 1.45819
maximum resident set size= 809544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5024
involuntary context switches= 650
# summary of solver processes directly reported to runsolver:
# pid: 13739
# total CPU time (s): 38.4798
# total CPU user time (s): 37.0216
# total CPU system time (s): 1.45819
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.153227 second user time and 0.206906 second system time
The end
Begin job on node149 at 2017-08-15 07:55:41
IDJOB=4271334
IDBENCH=135692
IDSOLVER=2662
FILE ID=node149/4271334-1502777400
RUNJOBID= node149-1502773987-13167
PBS_JOBID= 20629106
Free space on /tmp= 61936 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20/TravellingSalesman-20-142_X2.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271334-1502777400/watcher-4271334-1502777400 -o /tmp/evaluation-result-4271334-1502777400/solver-4271334-1502777400 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502773987-13167 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 330437971 HOME/instance-4271334-1502777400.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= d56953f82a267c4c8ee700c959d37f45
RANDOM SEED=330437971
node149.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.43
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.43
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.43
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.43
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: 27756576 kB
MemAvailable: 31970712 kB
Buffers: 315228 kB
Cached: 4171492 kB
SwapCached: 0 kB
Active: 1190284 kB
Inactive: 3351440 kB
Active(anon): 58188 kB
Inactive(anon): 24944 kB
Active(file): 1132096 kB
Inactive(file): 3326496 kB
Unevictable: 6360 kB
Mlocked: 6360 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7784 kB
Writeback: 0 kB
AnonPages: 70888 kB
Mapped: 45516 kB
Shmem: 25224 kB
Slab: 169640 kB
SReclaimable: 142756 kB
SUnreclaim: 26884 kB
KernelStack: 3520 kB
PageTables: 4716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 97664 kB
DirectMap2M: 33447936 kB
Free space on /tmp at the end= 61928 MiB
End job on node149 at 2017-08-15 07:55:58