0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270973-1502771226.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4270973-1502771226.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.34/0.26 c parse instance...
5.67/3.87 c solve instance...
117.87/18.06 s SATISFIABLE
117.87/18.06 v <instantiation>
117.87/18.06 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] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] </list>
117.87/18.06 v <values>0 12 4 16 8 27 35 43 31 50 42 30 51 63 75 54 73 61 80 72 60 41 53 34 46 38 19 7 15 23 11 3 22 10 2 14 6 18 26 5 17 9 28 36 24 45 33 25 37 29 48 56 44 65 57 49 68 47 39 58 66 74 95 83 91 70 62 81 93 85 97 89 77 69 88 96 84 92 71 90 82 94 86 98 79 87 99 78 59 67 55 76 64 52 40 32 20 1 13 21 </values>
117.87/18.06 v </instantiation>
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12259 MiB free)
memory of node 1: 16384 MiB (13557 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270973-1502771226/watcher-4270973-1502771226 -o /tmp/evaluation-result-4270973-1502771226/solver-4270973-1502771226 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502765290-13238 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1944645471 HOME/instance-4270973-1502771226.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=14129, runsolver pid=14126
[startup+0.100162 s]*
/proc/loadavg: 1.40 1.60 2.01 3/199 14150
/proc/meminfo: memFree=26419984/32770624 swapFree=67108860/67108860
[pid=14129] ppid=14126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 13211 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110194173 9740288 346 33554432000 4194304 5098028 140735654589216 140735654587320 140081733153404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15630336 140735654597732 140735654597943 140735654597943 140735654600683 0
/proc/14129/statm: 2378 346 289 221 0 87 0
[pid=14131] ppid=14129 vsize=25999808 memory=26452 CPUtime=0.11 cores=0-7
/proc/14131/stat : 14131 (java) S 14129 14129 13211 0 -1 1077944320 5486 0 0 0 10 1 0 0 20 0 20 0 110194173 26623803392 6613 33554432000 4194304 4196468 140726435496240 140726435478784 140524017909495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
/proc/14131/statm: 6499952 6613 2865 1 0 6488269 0
[pid=14131/tid=14132] ppid=14129 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/14131/task/14132/stat : 14132 (java) R 14129 14129 13211 0 -1 4202560 3478 0 0 0 8 1 0 0 20 0 20 0 110194174 26623803392 6613 33554432000 4194304 4196468 140726435496240 140524022138672 140524017921430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14133] ppid=14129 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523970530064 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14134] ppid=14129 vsize=25999808 memory=140588210144896 CPUtime=0 cores=0-7
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110194175 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523969477520 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14135] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194175 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523968424976 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14136] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194175 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523967372432 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14137] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523966318864 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14138] ppid=14129 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194175 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523965266320 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14139] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523964213776 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14140] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523963161232 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14141] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14141/stat : 14141 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194176 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523279555056 140524017920642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14142] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14142/stat : 14142 (java) S 14129 14129 13211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110194176 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523278501280 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14143] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 13211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110194177 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523209745904 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14144] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194179 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523208694480 140524017928091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14145] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 13211 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 110194179 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523207641072 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14146] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14146/stat : 14146 (java) S 14129 14129 13211 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 110194179 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523206588528 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14147] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14147/stat : 14147 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110194179 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523205535984 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14148] ppid=14129 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14131/task/14148/stat : 14148 (java) R 14129 14129 13211 0 -1 4202560 277 0 0 0 1 0 0 0 20 0 20 0 110194179 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523204483440 140524017921430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14149] ppid=14129 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14149/stat : 14149 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110194179 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523203431136 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14150] ppid=14129 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14131/task/14150/stat : 14150 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194179 26623803392 6613 33554432000 4194304 4196468 140726435496240 140523202378672 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27836 KiB
[startup+0.209997 s]*
/proc/loadavg: 1.40 1.60 2.01 2/199 14150
/proc/meminfo: memFree=26407392/32770624 swapFree=67108860/67108860
[pid=14129] ppid=14126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 13211 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110194173 9740288 346 33554432000 4194304 5098028 140735654589216 140735654587320 140081733153404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15630336 140735654597732 140735654597943 140735654597943 140735654600683 0
/proc/14129/statm: 2378 346 289 221 0 87 0
[pid=14131] ppid=14129 vsize=26004064 memory=38756 CPUtime=0.34 cores=0-7
/proc/14131/stat : 14131 (java) S 14129 14129 13211 0 -1 1077944320 8246 0 0 0 31 3 0 0 20 0 20 0 110194173 26628161536 9689 33554432000 4194304 4196468 140726435496240 140726435478784 140524017909495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
/proc/14131/statm: 6501016 9689 3049 1 0 6488269 0
[pid=14131/tid=14132] ppid=14129 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14131/task/14132/stat : 14132 (java) D 14129 14129 13211 0 -1 1077944384 5379 0 0 0 18 2 0 0 20 0 20 0 110194174 26628161536 9689 33554432000 4194304 4196468 140726435496240 140524022111536 140524010588717 0 4 0 16800975 18446744072101613092 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14133] ppid=14129 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26628161536 9689 33554432000 4194304 4196468 140726435496240 140523970530064 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14134] ppid=14129 vsize=26004064 memory=140588210158453 CPUtime=0 cores=0-7
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110194175 26628161536 9689 33554432000 4194304 4196468 140726435496240 140523969477520 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14135] ppid=14129 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194175 26628161536 9689 33554432000 4194304 4196468 140726435496240 140523968424976 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14136] ppid=14129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194175 26628161536 9689 33554432000 4194304 4196468 140726435496240 140523967372432 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14137] ppid=14129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26628161536 9689 33554432000 4194304 4196468 140726435496240 140523966318864 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14138] ppid=14129 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194175 26628194304 9689 33554432000 4194304 4196468 140726435496240 140523965266320 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14139] ppid=14129 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26628194304 9689 33554432000 4194304 4196468 140726435496240 140523964213776 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14140] ppid=14129 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26628194304 9689 33554432000 4194304 4196468 140726435496240 140523963161232 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14141] ppid=14129 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14141/stat : 14141 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194176 26628194304 9689 33554432000 4194304 4196468 140726435496240 140523279555056 140524017920642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14142] ppid=14129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14142/stat : 14142 (java) S 14129 14129 13211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110194176 26628161536 9709 33554432000 4194304 4196468 140726435496240 140523278501280 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14143] ppid=14129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 13211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110194177 26628161536 9709 33554432000 4194304 4196468 140726435496240 140523209745904 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14144] ppid=14129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194179 26628161536 9709 33554432000 4194304 4196468 140726435496240 140523208694480 140524017928091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14145] ppid=14129 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 13211 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 110194179 26628161536 9709 33554432000 4194304 4196468 140726435496240 140523207641072 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14146] ppid=14129 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14131/task/14146/stat : 14146 (java) S 14129 14129 13211 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 110194179 26628161536 9709 33554432000 4194304 4196468 140726435496240 140523206588528 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14147] ppid=14129 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/14131/task/14147/stat : 14147 (java) S 14129 14129 13211 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 110194179 26628161536 9709 33554432000 4194304 4196468 140726435496240 140523205535984 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14148] ppid=14129 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/14131/task/14148/stat : 14148 (java) S 14129 14129 13211 0 -1 1077944384 738 0 0 0 8 0 0 0 20 0 20 0 110194179 26628161536 9709 33554432000 4194304 4196468 140726435496240 140523204483440 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14149] ppid=14129 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14149/stat : 14149 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110194179 26628161536 9709 33554432000 4194304 4196468 140726435496240 140523203431136 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14150] ppid=14129 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/14131/task/14150/stat : 14150 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194179 26628194304 9709 33554432000 4194304 4196468 140726435496240 140523202378672 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40140 KiB
[startup+0.309711 s]*
/proc/loadavg: 1.40 1.60 2.01 3/199 14150
/proc/meminfo: memFree=26400880/32770624 swapFree=67108860/67108860
[pid=14129] ppid=14126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 13211 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110194173 9740288 346 33554432000 4194304 5098028 140735654589216 140735654587320 140081733153404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15630336 140735654597732 140735654597943 140735654597943 140735654600683 0
/proc/14129/statm: 2378 346 289 221 0 87 0
[pid=14131] ppid=14129 vsize=26004140 memory=45812 CPUtime=0.49 cores=0-7
/proc/14131/stat : 14131 (java) S 14129 14129 13211 0 -1 1077944320 9238 0 0 0 45 4 0 0 20 0 20 0 110194173 26628239360 11453 33554432000 4194304 4196468 140726435496240 140726435478784 140524017909495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
/proc/14131/statm: 6501035 11453 3071 1 0 6488269 0
[pid=14131/tid=14132] ppid=14129 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14131/task/14132/stat : 14132 (java) R 14129 14129 13211 0 -1 4202560 6180 0 0 0 26 3 0 0 20 0 20 0 110194174 26628239360 11453 33554432000 4194304 4196468 140726435496240 140524022141856 140524001989982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14133] ppid=14129 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523970530064 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14134] ppid=14129 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110194175 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523969477520 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14135] ppid=14129 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194175 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523968424976 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14136] ppid=14129 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194175 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523967372432 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14137] ppid=14129 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523966318864 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14138] ppid=14129 vsize=26004140 memory=140588104119215 CPUtime=0 cores=0-7
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194175 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523965266320 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14139] ppid=14129 vsize=26004140 memory=140588104121520 CPUtime=0 cores=0-7
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523964213776 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14140] ppid=14129 vsize=26004140 memory=140588104123824 CPUtime=0 cores=0-7
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523963161232 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14141] ppid=14129 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14141/stat : 14141 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194176 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523279555056 140524017920642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14142] ppid=14129 vsize=26004140 memory=281176208254608 CPUtime=0 cores=0-7
/proc/14131/task/14142/stat : 14142 (java) S 14129 14129 13211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110194176 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523278501280 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14143] ppid=14129 vsize=26004140 memory=281176208261520 CPUtime=0 cores=0-7
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 13211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110194177 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523209745904 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14144] ppid=14129 vsize=26004140 memory=281176208202800 CPUtime=0 cores=0-7
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194179 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523208694480 140524017928091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14145] ppid=14129 vsize=26004140 memory=281176208275344 CPUtime=0.02 cores=0-7
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 13211 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 20 0 110194179 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523207641072 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14146] ppid=14129 vsize=26004140 memory=281176208282256 CPUtime=0.01 cores=0-7
/proc/14131/task/14146/stat : 14146 (java) S 14129 14129 13211 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 20 0 110194179 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523206588528 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14147] ppid=14129 vsize=26004140 memory=281176208279952 CPUtime=0.02 cores=0-7
/proc/14131/task/14147/stat : 14147 (java) S 14129 14129 13211 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 20 0 110194179 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523205535984 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14148] ppid=14129 vsize=26004140 memory=281176208296112 CPUtime=0.11 cores=0-7
/proc/14131/task/14148/stat : 14148 (java) S 14129 14129 13211 0 -1 1077944384 821 0 0 0 11 0 0 0 20 0 20 0 110194179 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523204483440 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14149] ppid=14129 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14149/stat : 14149 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110194179 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523203431136 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14150] ppid=14129 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/14131/task/14150/stat : 14150 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194179 26628239360 11453 33554432000 4194304 4196468 140726435496240 140523202378672 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47196 KiB
[startup+0.700957 s]
/proc/loadavg: 1.40 1.60 2.01 5/199 14150
/proc/meminfo: memFree=26382276/32770624 swapFree=67108860/67108860
[pid=14129] ppid=14126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 13211 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110194173 9740288 346 33554432000 4194304 5098028 140735654589216 140735654587320 140081733153404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15630336 140735654597732 140735654597943 140735654597943 140735654600683 0
/proc/14129/statm: 2378 346 289 221 0 87 0
[pid=14131] ppid=14129 vsize=26008428 memory=83676 CPUtime=1.67 cores=0-7
/proc/14131/stat : 14131 (java) S 14129 14129 13211 0 -1 1077944320 17110 0 0 0 161 6 0 0 20 0 20 0 110194173 26632630272 20919 33554432000 4194304 4196468 140726435496240 140726435478784 140524017909495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
/proc/14131/statm: 6502107 20919 3201 1 0 6489341 0
[pid=14131/tid=14132] ppid=14129 vsize=26008428 memory=281176208654000 CPUtime=0.67 cores=0-7
/proc/14131/task/14132/stat : 14132 (java) R 14129 14129 13211 0 -1 4202560 6662 0 0 0 64 3 0 0 20 0 20 0 110194174 26632630272 20919 33554432000 4194304 4196468 140726435496240 140524022143248 140523631992760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14133] ppid=14129 vsize=26008428 memory=140588104328048 CPUtime=0 cores=0-7
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 13211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110194175 26632630272 20919 33554432000 4194304 4196468 140726435496240 140523970530064 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14134] ppid=14129 vsize=26008428 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110194175 26632630272 20919 33554432000 4194304 4196468 140726435496240 140523969477520 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14135] ppid=14129 vsize=26008428 memory=1428 CPUtime=0 cores=0-7
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110194175 26632630272 20919 33554432000 4194304 4196468 140726435496240 140523968424976 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
################
# More data... #
################
[pid=14131/tid=14148] ppid=14129 vsize=26538700 memory=7 CPUtime=0.68 cores=0-7
/proc/14131/task/14148/stat : 14148 (java) S 14129 14129 13211 0 -1 1077944384 5633 0 0 0 67 1 0 0 20 0 28 0 110194179 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523204483440 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14149] ppid=14129 vsize=26538700 memory=9 CPUtime=0 cores=0-7
/proc/14131/task/14149/stat : 14149 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110194179 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523203431136 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14150] ppid=14129 vsize=26538700 memory=9 CPUtime=0 cores=0-7
/proc/14131/task/14150/stat : 14150 (java) S 14129 14129 13211 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 28 0 110194179 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523202378672 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14151] ppid=14129 vsize=26538700 memory=7 CPUtime=12.36 cores=0-7
/proc/14131/task/14151/stat : 14151 (java) R 14129 14129 13211 0 -1 4202560 319 0 0 0 1234 2 0 0 20 0 28 0 110194562 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523194863016 140523635894877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14152] ppid=14129 vsize=26538700 memory=6 CPUtime=12.34 cores=0-7
/proc/14131/task/14152/stat : 14152 (java) R 14129 14129 13211 0 -1 4202560 297 0 0 0 1231 3 0 0 20 0 28 0 110194562 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523193811592 140523634810952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14153] ppid=14129 vsize=26538700 memory=1 CPUtime=11.94 cores=0-7
/proc/14131/task/14153/stat : 14153 (java) R 14129 14129 13211 0 -1 4202560 702 0 0 0 1191 3 0 0 20 0 28 0 110194562 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523192757976 140523635661113 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14154] ppid=14129 vsize=26538700 memory=0 CPUtime=11.96 cores=0-7
/proc/14131/task/14154/stat : 14154 (java) R 14129 14129 13211 0 -1 4202560 605 0 0 0 1194 2 0 0 20 0 28 0 110194562 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523191705232 140523636054884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14155] ppid=14129 vsize=26538700 memory=0 CPUtime=12.23 cores=0-7
/proc/14131/task/14155/stat : 14155 (java) R 14129 14129 13211 0 -1 4202560 462 0 0 0 1220 3 0 0 20 0 28 0 110194562 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523190652936 140523636333524 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14156] ppid=14129 vsize=26538700 memory=0 CPUtime=12.19 cores=0-7
/proc/14131/task/14156/stat : 14156 (java) R 14129 14129 13211 0 -1 4202560 343 0 0 0 1218 1 0 0 20 0 28 0 110194562 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523189600344 140523634693263 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14157] ppid=14129 vsize=26538700 memory=176 CPUtime=11.88 cores=0-7
/proc/14131/task/14157/stat : 14157 (java) R 14129 14129 13211 0 -1 4202560 275 0 0 0 1187 1 0 0 20 0 28 0 110194562 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523188547848 140523635660268 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14158] ppid=14129 vsize=26538700 memory=179 CPUtime=12.1 cores=0-7
/proc/14131/task/14158/stat : 14158 (java) R 14129 14129 13211 0 -1 4202560 839 0 0 0 1206 4 0 0 20 0 28 0 110194562 27175628800 292436 33554432000 4194304 4196468 140726435496240 140523187497496 140523636333438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
Current children cumulated CPU time: 108.24 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1171128 KiB
[startup+17.6015 s]
/proc/loadavg: 2.32 1.78 2.06 9/207 14158
/proc/meminfo: memFree=25277584/32770624 swapFree=67108860/67108860
[pid=14129] ppid=14126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 13211 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110194173 9740288 346 33554432000 4194304 5098028 140735654589216 140735654587320 140081733153404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15630336 140735654597732 140735654597943 140735654597943 140735654600683 0
/proc/14129/statm: 2378 346 289 221 0 87 0
[pid=14131] ppid=14129 vsize=26538700 memory=1167668 CPUtime=114.61 cores=0-7
/proc/14131/stat : 14131 (java) S 14129 14129 13211 0 -1 1077944320 42513 0 0 0 11389 72 0 0 20 0 28 0 110194173 27175628800 291917 33554432000 4194304 4196468 140726435496240 140726435478784 140524017909495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
/proc/14131/statm: 6634675 291917 3286 1 0 6621909 0
[pid=14131/tid=14132] ppid=14129 vsize=26538700 memory=6791534058613427641 CPUtime=3.85 cores=0-7
/proc/14131/task/14132/stat : 14132 (java) S 14129 14129 13211 0 -1 1077944384 9006 0 0 0 381 4 0 0 20 0 28 0 110194174 27175628800 291917 33554432000 4194304 4196468 140726435496240 140524022150272 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14133] ppid=14129 vsize=26538700 memory=12783 CPUtime=0.07 cores=0-7
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 13211 0 -1 1077944384 183 0 0 0 3 4 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523970530064 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14134] ppid=14129 vsize=26538700 memory=24912 CPUtime=0.08 cores=0-7
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 13211 0 -1 1077944384 468 0 0 0 4 4 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523969477520 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14135] ppid=14129 vsize=26538700 memory=7593446574154474851 CPUtime=0.05 cores=0-7
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 13211 0 -1 1077944384 321 0 0 0 2 3 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523968424976 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14136] ppid=14129 vsize=26538700 memory=7523921138148666471 CPUtime=0.07 cores=0-7
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 13211 0 -1 1077944384 490 0 0 0 3 4 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523967372432 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14137] ppid=14129 vsize=26538700 memory=7523639689025907042 CPUtime=0.09 cores=0-7
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 13211 0 -1 1077944384 146 0 0 0 5 4 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523966318864 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14138] ppid=14129 vsize=26538700 memory=7451300602763962215 CPUtime=0.09 cores=0-7
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 13211 0 -1 1077944384 200 0 0 0 4 5 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523965266320 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14139] ppid=14129 vsize=26538700 memory=7451019136427781473 CPUtime=0.07 cores=0-7
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 13211 0 -1 1077944384 176 0 0 0 3 4 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523964213776 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14140] ppid=14129 vsize=26538700 memory=7378680050165836646 CPUtime=0.06 cores=0-7
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 13211 0 -1 1077944384 140 0 0 0 3 3 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523963161232 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14141] ppid=14129 vsize=26538700 memory=1169744 CPUtime=0.01 cores=0-7
/proc/14131/task/14141/stat : 14141 (java) S 14129 14129 13211 0 -1 1077944384 1040 0 0 0 1 0 0 0 20 0 28 0 110194176 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523279555056 140524017920642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14142] ppid=14129 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/14131/task/14142/stat : 14142 (java) S 14129 14129 13211 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 110194176 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523278501280 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14143] ppid=14129 vsize=26538700 memory=1169744 CPUtime=0 cores=0-7
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 13211 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 110194177 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523209745904 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14144] ppid=14129 vsize=26538700 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523208694480 140524017928091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14145] ppid=14129 vsize=26538700 memory=6944656592455359580 CPUtime=1.76 cores=0-7
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 13211 0 -1 1077944384 3882 0 0 0 175 1 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523207641072 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14146] ppid=14129 vsize=26538700 memory=6656426216303648864 CPUtime=1.79 cores=0-7
/proc/14131/task/14146/stat : 14146 (java) S 14129 14129 13211 0 -1 1077944384 4817 0 0 0 177 2 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523206588528 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14147] ppid=14129 vsize=26538700 memory=7811044310603950144 CPUtime=2.33 cores=0-7
/proc/14131/task/14147/stat : 14147 (java) S 14129 14129 13211 0 -1 1077944384 9889 0 0 0 232 1 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523205535984 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14148] ppid=14129 vsize=26538700 memory=7811044310603950144 CPUtime=0.68 cores=0-7
/proc/14131/task/14148/stat : 14148 (java) S 14129 14129 13211 0 -1 1077944384 5633 0 0 0 67 1 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523204483440 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14149] ppid=14129 vsize=26538700 memory=4642197910265684584 CPUtime=0 cores=0-7
/proc/14131/task/14149/stat : 14149 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523203431136 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14150] ppid=14129 vsize=26538700 memory=7883944108235712103 CPUtime=0 cores=0-7
/proc/14131/task/14150/stat : 14150 (java) S 14129 14129 13211 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523202378672 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14151] ppid=14129 vsize=26538700 memory=7306316804797196914 CPUtime=13.16 cores=0-7
/proc/14131/task/14151/stat : 14151 (java) R 14129 14129 13211 0 -1 4202560 331 0 0 0 1314 2 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523194863016 140523635895795 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14152] ppid=14129 vsize=26538700 memory=0 CPUtime=13.14 cores=0-7
/proc/14131/task/14152/stat : 14152 (java) R 14129 14129 13211 0 -1 4202560 316 0 0 0 1311 3 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523193811456 140523634810914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14153] ppid=14129 vsize=26538700 memory=2241 CPUtime=12.71 cores=0-7
/proc/14131/task/14153/stat : 14153 (java) R 14129 14129 13211 0 -1 4202560 746 0 0 0 1268 3 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523192757880 140523635741580 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14154] ppid=14129 vsize=26538700 memory=2244 CPUtime=12.76 cores=0-7
/proc/14131/task/14154/stat : 14154 (java) R 14129 14129 13211 0 -1 4202560 618 0 0 0 1274 2 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523191705200 140523635895795 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14155] ppid=14129 vsize=26538700 memory=7681905605394137875 CPUtime=13.03 cores=0-7
/proc/14131/task/14155/stat : 14155 (java) R 14129 14129 13211 0 -1 4202560 497 0 0 0 1300 3 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523190652664 140523634695084 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14156] ppid=14129 vsize=26538700 memory=-7384994778349281184 CPUtime=12.99 cores=0-7
/proc/14131/task/14156/stat : 14156 (java) R 14129 14129 13211 0 -1 4202560 360 0 0 0 1298 1 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523189600392 140523636054281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14157] ppid=14129 vsize=26538700 memory=-9001734013606258791 CPUtime=12.68 cores=0-7
/proc/14131/task/14157/stat : 14157 (java) R 14129 14129 13211 0 -1 4202560 545 0 0 0 1267 1 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523188550080 140523634810567 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14158] ppid=14129 vsize=26538700 memory=6944656592455359580 CPUtime=12.9 cores=0-7
/proc/14131/task/14158/stat : 14158 (java) R 14129 14129 13211 0 -1 4202560 879 0 0 0 1286 4 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523187494936 140523635948719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
Current children cumulated CPU time: 114.61 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1169052 KiB
[startup+18.0015 s]*
/proc/loadavg: 2.32 1.78 2.06 9/207 14158
/proc/meminfo: memFree=25279384/32770624 swapFree=67108860/67108860
[pid=14129] ppid=14126 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 13211 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110194173 9740288 346 33554432000 4194304 5098028 140735654589216 140735654587320 140081733153404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15630336 140735654597732 140735654597943 140735654597943 140735654600683 0
/proc/14129/statm: 2378 346 289 221 0 87 0
[pid=14131] ppid=14129 vsize=26538700 memory=1167668 CPUtime=117.87 cores=0-7
/proc/14131/stat : 14131 (java) S 14129 14129 13211 0 -1 1077944320 42644 0 0 0 11715 72 0 0 20 0 28 0 110194173 27175628800 291917 33554432000 4194304 4196468 140726435496240 140726435478784 140524017909495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
/proc/14131/statm: 6634675 291917 3286 1 0 6621909 0
[pid=14131/tid=14132] ppid=14129 vsize=26538700 memory=6791534058613427641 CPUtime=3.85 cores=0-7
/proc/14131/task/14132/stat : 14132 (java) S 14129 14129 13211 0 -1 1077944384 9006 0 0 0 381 4 0 0 20 0 28 0 110194174 27175628800 291917 33554432000 4194304 4196468 140726435496240 140524022150272 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14133] ppid=14129 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 13211 0 -1 1077944384 183 0 0 0 3 4 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523970530064 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14134] ppid=14129 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 13211 0 -1 1077944384 468 0 0 0 4 4 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523969477520 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14135] ppid=14129 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 13211 0 -1 1077944384 321 0 0 0 2 3 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523968424976 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14136] ppid=14129 vsize=26538700 memory=4872558044660077418 CPUtime=0.07 cores=0-7
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 13211 0 -1 1077944384 490 0 0 0 3 4 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523967372432 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14137] ppid=14129 vsize=26538700 memory=288230621803970871 CPUtime=0.09 cores=0-7
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 13211 0 -1 1077944384 146 0 0 0 5 4 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523966318864 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14138] ppid=14129 vsize=26538700 memory=14699582244260269 CPUtime=0.09 cores=0-7
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 13211 0 -1 1077944384 200 0 0 0 4 5 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523965266320 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14139] ppid=14129 vsize=26538700 memory=3464 CPUtime=0.07 cores=0-7
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 13211 0 -1 1077944384 176 0 0 0 3 4 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523964213776 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14140] ppid=14129 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 13211 0 -1 1077944384 140 0 0 0 3 3 0 0 20 0 28 0 110194175 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523963161232 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14141] ppid=14129 vsize=26538700 memory=287 CPUtime=0.01 cores=0-7
/proc/14131/task/14141/stat : 14141 (java) S 14129 14129 13211 0 -1 1077944384 1040 0 0 0 1 0 0 0 20 0 28 0 110194176 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523279555056 140524017920642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14142] ppid=14129 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14142/stat : 14142 (java) S 14129 14129 13211 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 110194176 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523278501280 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14143] ppid=14129 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 13211 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 110194177 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523209745904 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14144] ppid=14129 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 13211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523208694480 140524017928091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14145] ppid=14129 vsize=26538700 memory=0 CPUtime=1.76 cores=0-7
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 13211 0 -1 1077944384 3882 0 0 0 175 1 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523207641072 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14146] ppid=14129 vsize=26538700 memory=0 CPUtime=1.79 cores=0-7
/proc/14131/task/14146/stat : 14146 (java) S 14129 14129 13211 0 -1 1077944384 4817 0 0 0 177 2 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523206588528 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14147] ppid=14129 vsize=26538700 memory=0 CPUtime=2.33 cores=0-7
/proc/14131/task/14147/stat : 14147 (java) S 14129 14129 13211 0 -1 1077944384 9889 0 0 0 232 1 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523205535984 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14148] ppid=14129 vsize=26538700 memory=2241 CPUtime=0.69 cores=0-7
/proc/14131/task/14148/stat : 14148 (java) S 14129 14129 13211 0 -1 1077944384 5641 0 0 0 68 1 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523204483440 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14149] ppid=14129 vsize=26538700 memory=3539883394562334769 CPUtime=0 cores=0-7
/proc/14131/task/14149/stat : 14149 (java) S 14129 14129 13211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523203431136 140524017919701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14150] ppid=14129 vsize=26538700 memory=-1 CPUtime=0 cores=0-7
/proc/14131/task/14150/stat : 14150 (java) S 14129 14129 13211 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 28 0 110194179 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523202378672 140524017920642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14151] ppid=14129 vsize=26538700 memory=26464255 CPUtime=13.57 cores=0-7
/proc/14131/task/14151/stat : 14151 (java) R 14129 14129 13211 0 -1 4202560 341 0 0 0 1355 2 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523194863016 140523635894807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14152] ppid=14129 vsize=26538700 memory=93309940 CPUtime=13.55 cores=0-7
/proc/14131/task/14152/stat : 14152 (java) R 14129 14129 13211 0 -1 4202560 325 0 0 0 1352 3 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523193811592 140523635661051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14153] ppid=14129 vsize=26538700 memory=95632374 CPUtime=13.11 cores=0-7
/proc/14131/task/14153/stat : 14153 (java) R 14129 14129 13211 0 -1 4202560 766 0 0 0 1308 3 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523192757880 140523636054386 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14154] ppid=14129 vsize=26538700 memory=34483801 CPUtime=13.17 cores=0-7
/proc/14131/task/14154/stat : 14154 (java) R 14129 14129 13211 0 -1 4202560 627 0 0 0 1315 2 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523191705088 140523636278592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14155] ppid=14129 vsize=26538700 memory=24567391 CPUtime=13.44 cores=0-7
/proc/14131/task/14155/stat : 14155 (java) R 14129 14129 13211 0 -1 4202560 518 0 0 0 1341 3 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523190652664 140523635846455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14156] ppid=14129 vsize=26538700 memory=112680555 CPUtime=13.4 cores=0-7
/proc/14131/task/14156/stat : 14156 (java) R 14129 14129 13211 0 -1 4202560 369 0 0 0 1339 1 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523189600392 140523635894855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14157] ppid=14129 vsize=26538700 memory=125943475 CPUtime=13.09 cores=0-7
/proc/14131/task/14157/stat : 14157 (java) R 14129 14129 13211 0 -1 4202560 560 0 0 0 1307 2 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523188550080 140523634693263 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
[pid=14131/tid=14158] ppid=14129 vsize=26538700 memory=125943481 CPUtime=13.3 cores=0-7
/proc/14131/task/14158/stat : 14158 (java) R 14129 14129 13211 0 -1 4202560 909 0 0 0 1326 4 0 0 20 0 28 0 110194562 27175628800 291917 33554432000 4194304 4196468 140726435496240 140523187497688 140523635323008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35028992 140726435501202 140726435501379 140726435501379 140726435504079 0
Current children cumulated CPU time: 117.87 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1169052 KiB
Child status: 0
Real time (s): 18.0871
CPU time (s): 118.301
CPU user time (s): 117.559
CPU system time (s): 0.742287
CPU usage (%): 654.065
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1171128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.559
system time used= 0.742287
maximum resident set size= 1171820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5110
involuntary context switches= 1940
# summary of solver processes directly reported to runsolver:
# pid: 14129
# total CPU time (s): 118.301
# total CPU user time (s): 117.559
# total CPU system time (s): 0.742287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.183328 second user time and 0.236396 second system time
The end
Begin job on node105 at 2017-08-15 06:12:47
IDJOB=4270973
IDBENCH=134603
IDSOLVER=2662
FILE ID=node105/4270973-1502771226
RUNJOBID= node105-1502765290-13238
PBS_JOBID= 20629095
Free space on /tmp= 60664 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-10-int.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-4270973-1502771226/watcher-4270973-1502771226 -o /tmp/evaluation-result-4270973-1502771226/solver-4270973-1502771226 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502765290-13238 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1944645471 HOME/instance-4270973-1502771226.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ba113f9707e5398e41eeef1481acd1fa
RANDOM SEED=1944645471
node105.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.17
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.17
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.17
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.17
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: 26436172 kB
MemAvailable: 31971928 kB
Buffers: 225408 kB
Cached: 5583500 kB
SwapCached: 0 kB
Active: 747988 kB
Inactive: 5114080 kB
Active(anon): 56024 kB
Inactive(anon): 25060 kB
Active(file): 691964 kB
Inactive(file): 5089020 kB
Unevictable: 6248 kB
Mlocked: 6248 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8200 kB
Writeback: 0 kB
AnonPages: 59200 kB
Mapped: 45052 kB
Shmem: 25228 kB
Slab: 167444 kB
SReclaimable: 141212 kB
SUnreclaim: 26232 kB
KernelStack: 3424 kB
PageTables: 4644 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 60656 MiB
End job on node105 at 2017-08-15 06:13:05