Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 103 | 243.917 | 31.2407 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-07.xml |
MD5SUM | 8aa67fa0ddb9b908e7b385aede1c36d3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 103 |
Best CPU time to get the best result obtained on this benchmark | 97.2195 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 116 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 334 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":334,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":14},{"degree":6,"count":16},{"degree":7,"count":12},{"degree":8,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 38 |
Distribution of constraint arities | [{"arity":2,"count":112},{"arity":21,"count":1},{"arity":27,"count":1},{"arity":35,"count":1},{"arity":38,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 112 |
Distribution of constraint types | [{"type":"intension","count":112},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399891-1568708080.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399891-1568708080.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.68/0.79 c solve instance... 2.82/0.92 o 121 2.82/0.93 o 120 2.82/0.97 o 114 3.50/1.05 o 111 4.92/1.24 o 109 7.29/1.58 o 108 8.07/1.67 o 106 21.57/3.34 o 105 21.57/3.38 o 104 85.20/11.37 o 103 243.70/31.23 s OPTIMUM FOUND 243.70/31.23 v <instantiation> 243.70/31.23 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 243.70/31.23 v <values>0 1 0 0 14 11 5 16 4 4 19 35 11 24 24 22 17 23 21 28 17 37 46 27 62 37 33 51 56 29 43 57 39 72 59 54 60 70 49 51 15 43 23 72 69 73 77 65 87 78 69 75 83 91 77 91 90 85 94 102 94 103 </values> 243.70/31.23 v </instantiation>
OK 103
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 (15275 MiB free) memory of node 1: 16384 MiB (15686 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399891-1568708080/watcher-4399891-1568708080 -o /tmp/evaluation-result-4399891-1568708080/solver-4399891-1568708080 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1760702630 HOME/instance-4399891-1568708080.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=1287, runsolver pid=1284 Current StackSize limit: 8192 KiB [startup+0.100108 s]* /proc/loadavg: 8.38 7.96 7.68 2/212 1308 /proc/meminfo: memFree=31683884/32770624 swapFree=66977240/67108860 [pid=1287] ppid=1284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1287/stat : 1287 (xcsp3-exec) S 1284 1287 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447070674 115843072 364 33554432000 4194304 5098028 140728902802432 140728902800536 139963217248892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39260160 140728902804341 140728902804585 140728902804585 140728902807498 0 /proc/1287/statm: 28282 364 306 221 0 87 0 [pid=1289] ppid=1287 vsize=28227396 memory=31732 CPUtime=0.12 cores=0-7 /proc/1289/stat : 1289 (java) S 1287 1287 29062 0 -1 1077944320 5382 0 0 0 11 1 0 0 20 0 20 0 447070674 28904853504 7933 33554432000 4194304 4196468 140730307810832 140730307793376 140546340007671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 /proc/1289/statm: 7056849 7933 3121 1 0 7019032 0 [pid=1289/tid=1290] ppid=1287 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7 /proc/1289/task/1290/stat : 1290 (java) R 1287 1287 29062 0 -1 4202560 3294 0 0 0 8 1 0 0 20 0 20 0 447070674 28904853504 7933 33554432000 4194304 4196468 140730307810832 140546344240448 140546321402877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1291] ppid=1287 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1289/task/1291/stat : 1291 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 7933 33554432000 4194304 4196468 140730307810832 140546296560656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1292] ppid=1287 vsize=28227396 memory=139742088357504 CPUtime=0 cores=0-7 /proc/1289/task/1292/stat : 1292 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545890573456 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1293] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1293/stat : 1293 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545889520400 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1294] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1294/stat : 1294 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545888467856 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1295] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1295/stat : 1295 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545887414800 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1296] ppid=1287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1289/task/1296/stat : 1296 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545886362256 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1297] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1297/stat : 1297 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545885309200 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1298] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1298/stat : 1298 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545884256656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1299] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1299/stat : 1299 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070676 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545724779248 140546340018818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1300] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1300/stat : 1300 (java) S 1287 1287 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447070677 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545723725472 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1301] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1301/stat : 1301 (java) S 1287 1287 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447070677 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545722672368 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1302] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1302/stat : 1302 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070679 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545721620944 140546340026267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1303] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1303/stat : 1303 (java) S 1287 1287 29062 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 447070679 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545720568048 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1304] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1304/stat : 1304 (java) S 1287 1287 29062 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447070679 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545719515504 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1305] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1305/stat : 1305 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447070679 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545718462448 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1306] ppid=1287 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1289/task/1306/stat : 1306 (java) R 1287 1287 29062 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 20 0 447070680 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545717409904 140546340019606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1307] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1307/stat : 1307 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447070680 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545716358112 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1308] ppid=1287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1289/task/1308/stat : 1308 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070680 28904853504 7933 33554432000 4194304 4196468 140730307810832 140545715305648 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 33188 KiB [startup+0.209909 s]* /proc/loadavg: 8.38 7.96 7.68 2/212 1308 /proc/meminfo: memFree=31671832/32770624 swapFree=66977240/67108860 [pid=1287] ppid=1284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1287/stat : 1287 (xcsp3-exec) S 1284 1287 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447070674 115843072 364 33554432000 4194304 5098028 140728902802432 140728902800536 139963217248892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39260160 140728902804341 140728902804585 140728902804585 140728902807498 0 /proc/1287/statm: 28282 364 306 221 0 87 0 [pid=1289] ppid=1287 vsize=28227396 memory=42556 CPUtime=0.34 cores=0-7 /proc/1289/stat : 1289 (java) S 1287 1287 29062 0 -1 1077944320 8823 0 0 0 31 3 0 0 20 0 20 0 447070674 28904853504 10639 33554432000 4194304 4196468 140730307810832 140730307793376 140546340007671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 /proc/1289/statm: 7056849 10639 3306 1 0 7019032 0 [pid=1289/tid=1290] ppid=1287 vsize=28227396 memory=8390339637985935414 CPUtime=0.2 cores=0-7 /proc/1289/task/1290/stat : 1290 (java) R 1287 1287 29062 0 -1 4202560 6099 0 0 0 18 2 0 0 20 0 20 0 447070674 28904853504 10639 33554432000 4194304 4196468 140730307810832 140546344239104 140546324088158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1291] ppid=1287 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/1289/task/1291/stat : 1291 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 10639 33554432000 4194304 4196468 140730307810832 140546296560656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1292] ppid=1287 vsize=28227396 memory=288370118240069248 CPUtime=0 cores=0-7 /proc/1289/task/1292/stat : 1292 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545890573456 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1293] ppid=1287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1289/task/1293/stat : 1293 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545889520400 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1294] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1294/stat : 1294 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545888467856 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1295] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1295/stat : 1295 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545887414800 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1296] ppid=1287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1289/task/1296/stat : 1296 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545886362256 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1297] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1297/stat : 1297 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545885309200 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1298] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1298/stat : 1298 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545884256656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1299] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1299/stat : 1299 (java) S 1287 1287 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447070676 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545724779248 140546340018818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1300] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1300/stat : 1300 (java) S 1287 1287 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447070677 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545723725472 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1301] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1301/stat : 1301 (java) S 1287 1287 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447070677 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545722672368 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1302] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1302/stat : 1302 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070679 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545721620944 140546340026267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1303] ppid=1287 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1289/task/1303/stat : 1303 (java) S 1287 1287 29062 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 447070679 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545720568048 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1304] ppid=1287 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/1289/task/1304/stat : 1304 (java) R 1287 1287 29062 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 20 0 447070679 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545719515504 140546340018818 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1305] ppid=1287 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/1289/task/1305/stat : 1305 (java) S 1287 1287 29062 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 447070679 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545718462448 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1306] ppid=1287 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/1289/task/1306/stat : 1306 (java) R 1287 1287 29062 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 20 0 447070680 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545717409712 140546319028712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1307] ppid=1287 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1307/stat : 1307 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447070680 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545716358112 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1308] ppid=1287 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1289/task/1308/stat : 1308 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070680 28904853504 10639 33554432000 4194304 4196468 140730307810832 140545715305648 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44012 KiB [startup+0.309484 s]* /proc/loadavg: 8.38 7.96 7.68 4/212 1308 /proc/meminfo: memFree=31664672/32770624 swapFree=66977240/67108860 [pid=1287] ppid=1284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1287/stat : 1287 (xcsp3-exec) S 1284 1287 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447070674 115843072 364 33554432000 4194304 5098028 140728902802432 140728902800536 139963217248892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39260160 140728902804341 140728902804585 140728902804585 140728902807498 0 /proc/1287/statm: 28282 364 306 221 0 87 0 [pid=1289] ppid=1287 vsize=28231652 memory=51588 CPUtime=0.53 cores=0-7 /proc/1289/stat : 1289 (java) S 1287 1287 29062 0 -1 1077944320 10246 0 0 0 49 4 0 0 20 0 20 0 447070674 28909211648 12897 33554432000 4194304 4196468 140730307810832 140730307793376 140546340007671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 /proc/1289/statm: 7057913 12897 3355 1 0 7019032 0 [pid=1289/tid=1290] ppid=1287 vsize=28231652 memory=1398720917958146503 CPUtime=0.29 cores=0-7 /proc/1289/task/1290/stat : 1290 (java) R 1287 1287 29062 0 -1 4202560 7208 0 0 0 27 2 0 0 20 0 20 0 447070674 28909211648 12897 33554432000 4194304 4196468 140730307810832 140546344238784 140546324088158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1291] ppid=1287 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1289/task/1291/stat : 1291 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28909211648 12897 33554432000 4194304 4196468 140730307810832 140546296560656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1292] ppid=1287 vsize=28231652 memory=1060 CPUtime=0 cores=0-7 /proc/1289/task/1292/stat : 1292 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070675 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545890573456 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1293] ppid=1287 vsize=28231652 memory=2828 CPUtime=0 cores=0-7 /proc/1289/task/1293/stat : 1293 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447070675 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545889520400 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1294] ppid=1287 vsize=28231652 memory=756 CPUtime=0 cores=0-7 /proc/1289/task/1294/stat : 1294 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545888467856 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1295] ppid=1287 vsize=28231652 memory=1548 CPUtime=0 cores=0-7 /proc/1289/task/1295/stat : 1295 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070675 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545887414800 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1296] ppid=1287 vsize=28231652 memory=7872 CPUtime=0 cores=0-7 /proc/1289/task/1296/stat : 1296 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070675 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545886362256 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1297] ppid=1287 vsize=28231652 memory=1164 CPUtime=0 cores=0-7 /proc/1289/task/1297/stat : 1297 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545885309200 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1298] ppid=1287 vsize=28231652 memory=9448 CPUtime=0 cores=0-7 /proc/1289/task/1298/stat : 1298 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545884256656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1299] ppid=1287 vsize=28231652 memory=14008 CPUtime=0 cores=0-7 /proc/1289/task/1299/stat : 1299 (java) S 1287 1287 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447070676 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545724779248 140546340018818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1300] ppid=1287 vsize=28231652 memory=2120 CPUtime=0 cores=0-7 /proc/1289/task/1300/stat : 1300 (java) S 1287 1287 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447070677 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545723725472 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1301] ppid=1287 vsize=28231652 memory=11976 CPUtime=0 cores=0-7 /proc/1289/task/1301/stat : 1301 (java) S 1287 1287 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447070677 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545722672368 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1302] ppid=1287 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1302/stat : 1302 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070679 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545721620944 140546340026267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1303] ppid=1287 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/1289/task/1303/stat : 1303 (java) S 1287 1287 29062 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 447070679 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545720568048 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1304] ppid=1287 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/1289/task/1304/stat : 1304 (java) S 1287 1287 29062 0 -1 1077944384 233 0 0 0 3 0 0 0 20 0 20 0 447070679 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545719515504 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1305] ppid=1287 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/1289/task/1305/stat : 1305 (java) R 1287 1287 29062 0 -1 4202560 176 0 0 0 2 0 0 0 20 0 20 0 447070679 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545718443464 140546319254178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1306] ppid=1287 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7 /proc/1289/task/1306/stat : 1306 (java) S 1287 1287 29062 0 -1 1077944384 902 0 0 0 12 0 0 0 20 0 20 0 447070680 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545717409904 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1307] ppid=1287 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1307/stat : 1307 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447070680 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545716358112 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1308] ppid=1287 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1308/stat : 1308 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070680 28909211648 12897 33554432000 4194304 4196468 140730307810832 140545715305648 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 53044 KiB [startup+0.7009 s] /proc/loadavg: 8.38 7.96 7.68 6/212 1308 /proc/meminfo: memFree=31648092/32770624 swapFree=66977240/67108860 [pid=1287] ppid=1284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1287/stat : 1287 (xcsp3-exec) S 1284 1287 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447070674 115843072 364 33554432000 4194304 5098028 140728902802432 140728902800536 139963217248892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39260160 140728902804341 140728902804585 140728902804585 140728902807498 0 /proc/1287/statm: 28282 364 306 221 0 87 0 [pid=1289] ppid=1287 vsize=28233776 memory=90852 CPUtime=1.68 cores=0-7 /proc/1289/stat : 1289 (java) S 1287 1287 29062 0 -1 1077944320 14881 0 0 0 161 7 0 0 20 0 20 0 447070674 28911386624 22713 33554432000 4194304 4196468 140730307810832 140730307793376 140546340007671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 /proc/1289/statm: 7058444 22713 3456 1 0 7019544 0 [pid=1289/tid=1290] ppid=1287 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/1289/task/1290/stat : 1290 (java) R 1287 1287 29062 0 -1 4202560 8746 0 0 0 64 3 0 0 20 0 20 0 447070674 28911386624 22713 33554432000 4194304 4196468 140730307810832 140546344242608 140545976511770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1291] ppid=1287 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1291/stat : 1291 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447070675 28911386624 22713 33554432000 4194304 4196468 140730307810832 140546296560656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1292] ppid=1287 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1289/task/1292/stat : 1292 (java) S 1287 1287 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447070675 28911386624 22713 33554432000 4194304 4196468 140730307810832 140545890573456 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1293] ppid=1287 vsize=28233776 memory=3620 CPUtime=0 cores=0-7 /proc/1289/task/1293/stat : 1293 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447070675 28911386624 22713 33554432000 4194304 4196468 140730307810832 140545889520400 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 ################ # More data... # ################ [pid=1289/tid=1306] ppid=1287 vsize=28769364 memory=14008 CPUtime=0.95 cores=0-7 /proc/1289/task/1306/stat : 1306 (java) S 1287 1287 29062 0 -1 1077944384 11412 0 0 0 93 2 0 0 20 0 28 0 447070680 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545717409904 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1307] ppid=1287 vsize=28769364 memory=2120 CPUtime=0 cores=0-7 /proc/1289/task/1307/stat : 1307 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447070680 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545716358112 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1308] ppid=1287 vsize=28769364 memory=11976 CPUtime=0 cores=0-7 /proc/1289/task/1308/stat : 1308 (java) S 1287 1287 29062 0 -1 1077944384 904 0 0 0 0 0 0 0 20 0 28 0 447070680 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545715305648 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1389] ppid=1287 vsize=28769364 memory=11568 CPUtime=18.99 cores=0-7 /proc/1289/task/1389/stat : 1389 (java) R 1287 1287 29062 0 -1 4202560 269 0 0 0 1899 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545699776624 140545984516987 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1390] ppid=1287 vsize=28769364 memory=512 CPUtime=18.82 cores=0-7 /proc/1289/task/1390/stat : 1390 (java) R 1287 1287 29062 0 -1 4202560 259 0 0 0 1882 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545703989672 140545984103617 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1391] ppid=1287 vsize=28769364 memory=1564 CPUtime=18.93 cores=0-7 /proc/1289/task/1391/stat : 1391 (java) R 1287 1287 29062 0 -1 4202560 441 0 0 0 1893 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545701884184 140545984335566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1392] ppid=1287 vsize=28769364 memory=928 CPUtime=18.64 cores=0-7 /proc/1289/task/1392/stat : 1392 (java) R 1287 1287 29062 0 -1 4202560 899 0 0 0 1864 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545698728424 140545984904085 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1393] ppid=1287 vsize=28769364 memory=1412 CPUtime=18.98 cores=0-7 /proc/1289/task/1393/stat : 1393 (java) R 1287 1287 29062 0 -1 4202560 423 0 0 0 1898 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545696619144 140545984767409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1394] ppid=1287 vsize=28769364 memory=3196 CPUtime=18.97 cores=0-7 /proc/1289/task/1394/stat : 1394 (java) R 1287 1287 29062 0 -1 4202560 514 0 0 0 1897 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545695567256 140545985209724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1395] ppid=1287 vsize=28769364 memory=1456 CPUtime=18.88 cores=0-7 /proc/1289/task/1395/stat : 1395 (java) R 1287 1287 29062 0 -1 4202560 943 0 0 0 1888 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545697673320 140545984500231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1396] ppid=1287 vsize=28769364 memory=240424 CPUtime=18.87 cores=0-7 /proc/1289/task/1396/stat : 1396 (java) R 1287 1287 29062 0 -1 4202560 351 0 0 0 1887 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545700831576 140545984767992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 Current children cumulated CPU time: 237.35 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 241880 KiB [startup+30.8017 s] /proc/loadavg: 8.57 8.06 7.72 9/220 1398 /proc/meminfo: memFree=31477040/32770624 swapFree=66977240/67108860 [pid=1287] ppid=1284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1287/stat : 1287 (xcsp3-exec) S 1284 1287 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447070674 115843072 364 33554432000 4194304 5098028 140728902802432 140728902800536 139963217248892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39260160 140728902804341 140728902804585 140728902804585 140728902807498 0 /proc/1287/statm: 28282 364 306 221 0 87 0 [pid=1289] ppid=1287 vsize=28769364 memory=240424 CPUtime=240.54 cores=0-7 /proc/1289/stat : 1289 (java) S 1287 1287 29062 0 -1 1077944320 74421 0 0 0 24024 30 0 0 20 0 28 0 447070674 29459828736 60106 33554432000 4194304 4196468 140730307810832 140730307793376 140546340007671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 /proc/1289/statm: 7192341 60106 3539 1 0 7153441 0 [pid=1289/tid=1290] ppid=1287 vsize=28769364 memory=7079773316970467408 CPUtime=0.78 cores=0-7 /proc/1289/task/1290/stat : 1290 (java) S 1287 1287 29062 0 -1 1077944384 9083 0 0 0 75 3 0 0 20 0 28 0 447070674 29459828736 60106 33554432000 4194304 4196468 140730307810832 140546344248448 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1291] ppid=1287 vsize=28769364 memory=4945125699554088323 CPUtime=0.01 cores=0-7 /proc/1289/task/1291/stat : 1291 (java) S 1287 1287 29062 0 -1 1077944384 571 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 60106 33554432000 4194304 4196468 140730307810832 140546296560656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1292] ppid=1287 vsize=28769364 memory=8546823402028195750 CPUtime=0.01 cores=0-7 /proc/1289/task/1292/stat : 1292 (java) S 1287 1287 29062 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545890573456 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1293] ppid=1287 vsize=28769364 memory=7681421203011431829 CPUtime=0.01 cores=0-7 /proc/1289/task/1293/stat : 1293 (java) S 1287 1287 29062 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545889520400 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1294] ppid=1287 vsize=28769364 memory=-2331055268852096867 CPUtime=0.01 cores=0-7 /proc/1289/task/1294/stat : 1294 (java) S 1287 1287 29062 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545888467856 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1295] ppid=1287 vsize=28769364 memory=-7812193691855986592 CPUtime=0.01 cores=0-7 /proc/1289/task/1295/stat : 1295 (java) S 1287 1287 29062 0 -1 1077944384 991 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545887414800 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1296] ppid=1287 vsize=28769364 memory=1456 CPUtime=0.02 cores=0-7 /proc/1289/task/1296/stat : 1296 (java) S 1287 1287 29062 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 28 0 447070675 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545886362256 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1297] ppid=1287 vsize=28769364 memory=240424 CPUtime=0.01 cores=0-7 /proc/1289/task/1297/stat : 1297 (java) S 1287 1287 29062 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545885309200 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1298] ppid=1287 vsize=28769364 memory=15542920530889053 CPUtime=0.01 cores=0-7 /proc/1289/task/1298/stat : 1298 (java) S 1287 1287 29062 0 -1 1077944384 953 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545884256656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1299] ppid=1287 vsize=28769364 memory=290 CPUtime=0.02 cores=0-7 /proc/1289/task/1299/stat : 1299 (java) S 1287 1287 29062 0 -1 1077944384 640 0 0 0 2 0 0 0 20 0 28 0 447070676 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545724779248 140546340018818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1300] ppid=1287 vsize=28769364 memory=295 CPUtime=0 cores=0-7 /proc/1289/task/1300/stat : 1300 (java) S 1287 1287 29062 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447070677 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545723725472 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1301] ppid=1287 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/1289/task/1301/stat : 1301 (java) S 1287 1287 29062 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 447070677 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545722672368 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1302] ppid=1287 vsize=28769364 memory=95 CPUtime=0 cores=0-7 /proc/1289/task/1302/stat : 1302 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447070679 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545721620944 140546340026267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1303] ppid=1287 vsize=28769364 memory=0 CPUtime=2.95 cores=0-7 /proc/1289/task/1303/stat : 1303 (java) S 1287 1287 29062 0 -1 1077944384 13304 0 0 0 292 3 0 0 20 0 28 0 447070679 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545720568048 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1304] ppid=1287 vsize=28769364 memory=0 CPUtime=2.95 cores=0-7 /proc/1289/task/1304/stat : 1304 (java) S 1287 1287 29062 0 -1 1077944384 13536 0 0 0 291 4 0 0 20 0 28 0 447070679 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545719515504 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1305] ppid=1287 vsize=28769364 memory=1300 CPUtime=2.88 cores=0-7 /proc/1289/task/1305/stat : 1305 (java) R 1287 1287 29062 0 -1 4202560 12010 0 0 0 285 3 0 0 20 0 28 0 447070679 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545718462744 140546324671088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1306] ppid=1287 vsize=28769364 memory=1282 CPUtime=0.95 cores=0-7 /proc/1289/task/1306/stat : 1306 (java) S 1287 1287 29062 0 -1 1077944384 11412 0 0 0 93 2 0 0 20 0 28 0 447070680 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545717409904 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1307] ppid=1287 vsize=28769364 memory=1294 CPUtime=0 cores=0-7 /proc/1289/task/1307/stat : 1307 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447070680 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545716358112 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1308] ppid=1287 vsize=28769364 memory=5787477641288517003 CPUtime=0 cores=0-7 /proc/1289/task/1308/stat : 1308 (java) S 1287 1287 29062 0 -1 1077944384 904 0 0 0 0 0 0 0 20 0 28 0 447070680 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545715305648 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1389] ppid=1287 vsize=28769364 memory=-8961168018402230209 CPUtime=19.36 cores=0-7 /proc/1289/task/1389/stat : 1389 (java) R 1287 1287 29062 0 -1 4202560 270 0 0 0 1936 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545699777960 140545983600925 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1390] ppid=1287 vsize=28769364 memory=-8985395855772247728 CPUtime=19.22 cores=0-7 /proc/1289/task/1390/stat : 1390 (java) R 1287 1287 29062 0 -1 4202560 259 0 0 0 1922 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545703989912 140545985115854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1391] ppid=1287 vsize=28769364 memory=279483856716016 CPUtime=19.33 cores=0-7 /proc/1289/task/1391/stat : 1391 (java) R 1287 1287 29062 0 -1 4202560 441 0 0 0 1933 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545701883672 140545982918057 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1392] ppid=1287 vsize=28769364 memory=8100680987747117143 CPUtime=19.03 cores=0-7 /proc/1289/task/1392/stat : 1392 (java) R 1287 1287 29062 0 -1 4202560 905 0 0 0 1903 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545698725656 140545987649833 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1393] ppid=1287 vsize=28769364 memory=7306074822095299690 CPUtime=19.38 cores=0-7 /proc/1289/task/1393/stat : 1393 (java) R 1287 1287 29062 0 -1 4202560 424 0 0 0 1938 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545696619640 140545984331516 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1394] ppid=1287 vsize=28769364 memory=7956009429706762841 CPUtime=19.37 cores=0-7 /proc/1289/task/1394/stat : 1394 (java) R 1287 1287 29062 0 -1 4202560 515 0 0 0 1937 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545695566744 140545984330368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1395] ppid=1287 vsize=28769364 memory=2657 CPUtime=19.23 cores=0-7 /proc/1289/task/1395/stat : 1395 (java) R 1287 1287 29062 0 -1 4202560 945 0 0 0 1923 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545697673096 140545985110014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1396] ppid=1287 vsize=28769364 memory=6944656592455360604 CPUtime=19.27 cores=0-7 /proc/1289/task/1396/stat : 1396 (java) R 1287 1287 29062 0 -1 4202560 351 0 0 0 1927 0 0 0 20 0 28 0 447071811 29459828736 60106 33554432000 4194304 4196468 140730307810832 140545700831056 140545985109686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 Current children cumulated CPU time: 240.54 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 241880 KiB [startup+31.2017 s] /proc/loadavg: 8.57 8.06 7.72 9/220 1398 /proc/meminfo: memFree=31470136/32770624 swapFree=66977240/67108860 [pid=1287] ppid=1284 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1287/stat : 1287 (xcsp3-exec) S 1284 1287 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447070674 115843072 364 33554432000 4194304 5098028 140728902802432 140728902800536 139963217248892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39260160 140728902804341 140728902804585 140728902804585 140728902807498 0 /proc/1287/statm: 28282 364 306 221 0 87 0 [pid=1289] ppid=1287 vsize=28769364 memory=247080 CPUtime=243.7 cores=0-7 /proc/1289/stat : 1289 (java) S 1287 1287 29062 0 -1 1077944320 74658 0 0 0 24338 32 0 0 20 0 28 0 447070674 29459828736 61770 33554432000 4194304 4196468 140730307810832 140730307793376 140546340007671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 /proc/1289/statm: 7192341 61770 3539 1 0 7153441 0 [pid=1289/tid=1290] ppid=1287 vsize=28769364 memory=8112282956445269571 CPUtime=0.78 cores=0-7 /proc/1289/task/1290/stat : 1290 (java) S 1287 1287 29062 0 -1 1077944384 9083 0 0 0 75 3 0 0 20 0 28 0 447070674 29459828736 61770 33554432000 4194304 4196468 140730307810832 140546344248448 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1291] ppid=1287 vsize=28769364 memory=1324 CPUtime=0.01 cores=0-7 /proc/1289/task/1291/stat : 1291 (java) S 1287 1287 29062 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 61770 33554432000 4194304 4196468 140730307810832 140546296560656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1292] ppid=1287 vsize=28769364 memory=780 CPUtime=0.01 cores=0-7 /proc/1289/task/1292/stat : 1292 (java) S 1287 1287 29062 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545890573456 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1293] ppid=1287 vsize=28769364 memory=4088 CPUtime=0.01 cores=0-7 /proc/1289/task/1293/stat : 1293 (java) S 1287 1287 29062 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545889520400 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1294] ppid=1287 vsize=28769364 memory=1580 CPUtime=0.01 cores=0-7 /proc/1289/task/1294/stat : 1294 (java) S 1287 1287 29062 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545888467856 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1295] ppid=1287 vsize=28769364 memory=1028 CPUtime=0.01 cores=0-7 /proc/1289/task/1295/stat : 1295 (java) S 1287 1287 29062 0 -1 1077944384 995 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545887414800 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1296] ppid=1287 vsize=28769364 memory=1060 CPUtime=0.02 cores=0-7 /proc/1289/task/1296/stat : 1296 (java) S 1287 1287 29062 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 28 0 447070675 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545886362256 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1297] ppid=1287 vsize=28769364 memory=1456 CPUtime=0.01 cores=0-7 /proc/1289/task/1297/stat : 1297 (java) S 1287 1287 29062 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 28 0 447070675 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545885309200 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1298] ppid=1287 vsize=28769364 memory=240424 CPUtime=0.02 cores=0-7 /proc/1289/task/1298/stat : 1298 (java) S 1287 1287 29062 0 -1 1077944384 959 0 0 0 2 0 0 0 20 0 28 0 447070675 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545884256656 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1299] ppid=1287 vsize=28769364 memory=2997365 CPUtime=0.02 cores=0-7 /proc/1289/task/1299/stat : 1299 (java) S 1287 1287 29062 0 -1 1077944384 646 0 0 0 2 0 0 0 20 0 28 0 447070676 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545724779248 140546340018818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1300] ppid=1287 vsize=28769364 memory=7079773316970467408 CPUtime=0 cores=0-7 /proc/1289/task/1300/stat : 1300 (java) S 1287 1287 29062 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447070677 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545723725472 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1301] ppid=1287 vsize=28769364 memory=7079773316970467408 CPUtime=0 cores=0-7 /proc/1289/task/1301/stat : 1301 (java) S 1287 1287 29062 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 447070677 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545722672368 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1302] ppid=1287 vsize=28769364 memory=7079773316970467408 CPUtime=0 cores=0-7 /proc/1289/task/1302/stat : 1302 (java) S 1287 1287 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447070679 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545721620944 140546340026267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1303] ppid=1287 vsize=28769364 memory=7079773316970467408 CPUtime=2.95 cores=0-7 /proc/1289/task/1303/stat : 1303 (java) S 1287 1287 29062 0 -1 1077944384 13304 0 0 0 292 3 0 0 20 0 28 0 447070679 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545720568048 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1304] ppid=1287 vsize=28769364 memory=1456 CPUtime=2.95 cores=0-7 /proc/1289/task/1304/stat : 1304 (java) S 1287 1287 29062 0 -1 1077944384 13607 0 0 0 291 4 0 0 20 0 28 0 447070679 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545719515504 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1305] ppid=1287 vsize=28769364 memory=240424 CPUtime=2.88 cores=0-7 /proc/1289/task/1305/stat : 1305 (java) S 1287 1287 29062 0 -1 1077944384 12124 0 0 0 285 3 0 0 20 0 28 0 447070679 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545718462448 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1306] ppid=1287 vsize=28769364 memory=904 CPUtime=0.95 cores=0-7 /proc/1289/task/1306/stat : 1306 (java) S 1287 1287 29062 0 -1 1077944384 11412 0 0 0 93 2 0 0 20 0 28 0 447070680 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545717409904 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1307] ppid=1287 vsize=28769364 memory=1984 CPUtime=0 cores=0-7 /proc/1289/task/1307/stat : 1307 (java) S 1287 1287 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447070680 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545716358112 140546340017877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1308] ppid=1287 vsize=28769364 memory=2528 CPUtime=0 cores=0-7 /proc/1289/task/1308/stat : 1308 (java) S 1287 1287 29062 0 -1 1077944384 904 0 0 0 0 0 0 0 20 0 28 0 447070680 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545715305648 140546340018818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1389] ppid=1287 vsize=28769364 memory=1764 CPUtime=19.75 cores=0-7 /proc/1289/task/1389/stat : 1389 (java) R 1287 1287 29062 0 -1 4202560 271 0 0 0 1975 0 0 0 20 0 28 0 447071811 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545699777960 140545984768796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1390] ppid=1287 vsize=28769364 memory=111632 CPUtime=19.61 cores=0-7 /proc/1289/task/1390/stat : 1390 (java) R 1287 1287 29062 0 -1 4202560 260 0 0 0 1961 0 0 0 20 0 28 0 447071811 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545703989224 140545985114328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1391] ppid=1287 vsize=28769364 memory=804 CPUtime=19.72 cores=0-7 /proc/1289/task/1391/stat : 1391 (java) R 1287 1287 29062 0 -1 4202560 441 0 0 0 1972 0 0 0 20 0 28 0 447071811 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545701883696 140545984819050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1392] ppid=1287 vsize=28769364 memory=288230574492221466 CPUtime=19.42 cores=0-7 /proc/1289/task/1392/stat : 1392 (java) R 1287 1287 29062 0 -1 4202560 906 0 0 0 1942 0 0 0 20 0 28 0 447071811 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545698725912 140545983600946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1393] ppid=1287 vsize=28769364 memory=288230617509003574 CPUtime=19.77 cores=0-7 /proc/1289/task/1393/stat : 1393 (java) R 1287 1287 29062 0 -1 4202560 424 0 0 0 1977 0 0 0 20 0 28 0 447071811 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545696619992 140545985106782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1394] ppid=1287 vsize=28769364 memory=15542920530889053 CPUtime=19.75 cores=0-7 /proc/1289/task/1394/stat : 1394 (java) R 1287 1287 29062 0 -1 4202560 515 0 0 0 1975 0 0 0 20 0 28 0 447071811 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545695569632 140545984041453 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1395] ppid=1287 vsize=28769364 memory=1398720917958146503 CPUtime=19.63 cores=0-7 /proc/1289/task/1395/stat : 1395 (java) R 1287 1287 29062 0 -1 4202560 946 0 0 0 1963 0 0 0 20 0 28 0 447071811 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545697674328 140545984768022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 [pid=1289/tid=1396] ppid=1287 vsize=28769364 memory=4126316290023845779 CPUtime=19.66 cores=0-7 /proc/1289/task/1396/stat : 1396 (java) R 1287 1287 29062 0 -1 4202560 351 0 0 0 1966 0 0 0 20 0 28 0 447071811 29459828736 61770 33554432000 4194304 4196468 140730307810832 140545700831800 140545983749758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21106688 140730307814378 140730307814550 140730307814550 140730307817423 0 Current children cumulated CPU time: 243.7 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 248536 KiB Child status: 0 Real time (s): 31.2407 CPU time (s): 243.917 CPU user time (s): 243.582 CPU system time (s): 0.334966 CPU usage (%): 780.767 Max. virtual memory (cumulated for all children) (KiB): 28884504 Max. memory (cumulated for all children) (KiB): 252228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 243.582 system time used= 0.334966 maximum resident set size= 250772 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75633 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= 6587 involuntary context switches= 4077 # summary of solver processes directly reported to runsolver: # pid: 1287 # total CPU time (s): 243.917 # total CPU user time (s): 243.582 # total CPU system time (s): 0.334966 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.286375 second user time and 0.358337 second system time The end
Begin job on node121 at 2019-09-17 10:13:58 IDJOB=4399891 IDBENCH=128622 IDSOLVER=2854 FILE ID=node121/4399891-1568708080 RUNJOBID= node121-1568700707-29089 PBS_JOBID= 21703902 Free space on /tmp= 61408 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-21-07.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399891-1568708080/watcher-4399891-1568708080 -o /tmp/evaluation-result-4399891-1568708080/solver-4399891-1568708080 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1760702630 HOME/instance-4399891-1568708080.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8aa67fa0ddb9b908e7b385aede1c36d3 RANDOM SEED=1760702630 node121.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.75 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.75 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.75 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.75 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: 31703940 kB MemAvailable: 31918856 kB Buffers: 68964 kB Cached: 444160 kB SwapCached: 10792 kB Active: 209580 kB Inactive: 318788 kB Active(anon): 5568 kB Inactive(anon): 42468 kB Active(file): 204012 kB Inactive(file): 276320 kB Unevictable: 109160 kB Mlocked: 109160 kB SwapTotal: 67108860 kB SwapFree: 66977240 kB Dirty: 26036 kB Writeback: 0 kB AnonPages: 269448 kB Mapped: 41772 kB Shmem: 24044 kB Slab: 130152 kB SReclaimable: 100840 kB SUnreclaim: 29312 kB KernelStack: 3888 kB PageTables: 6248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506832 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61380 MiB End job on node121 at 2019-09-17 10:14:29