Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | SAT (TO) | 48 | 1992.05 | 252.11 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-1.xml |
MD5SUM | bac8a2bd88d13c89c2cced4f7584e960 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 48 |
Best CPU time to get the best result obtained on this benchmark | 18.8373 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 211 |
Number of constraints | 4100 |
Number of domains | 1 |
Minimum domain size | 211 |
Maximum domain size | 211 |
Distribution of domain sizes | [{"size":211,"count":211}] |
Minimum variable degree | 1 |
Maximum variable degree | 112 |
Distribution of variable degrees | [{"degree":1,"count":85},{"degree":29,"count":1},{"degree":30,"count":1},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":3},{"degree":34,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":7},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":4},{"degree":43,"count":3},{"degree":44,"count":2},{"degree":45,"count":11},{"degree":47,"count":6},{"degree":48,"count":7},{"degree":49,"count":5},{"degree":50,"count":3},{"degree":51,"count":2},{"degree":52,"count":1},{"degree":53,"count":1},"...",{"degree":68,"count":1}, {"degree":72,"count":1}, {"degree":75,"count":1}, {"degree":85,"count":1}, {"degree":87,"count":1}, {"degree":89,"count":1}, {"degree":90,"count":1}, {"degree":92,"count":1}, {"degree":95,"count":1}, {"degree":97,"count":2}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":100,"count":1}, {"degree":101,"count":5}, {"degree":102,"count":2}, {"degree":103,"count":1}, {"degree":104,"count":6}, {"degree":105,"count":1}, {"degree":106,"count":1}, {"degree":107,"count":1}, {"degree":108,"count":2}, {"degree":109,"count":1}, {"degree":110,"count":11}, {"degree":111,"count":1}, {"degree":112,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4100}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4100 |
Distribution of constraint types | [{"type":"intension","count":4100}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400319-1568710026.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400319-1568710026.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 7.09/2.03 c solve instance... 7.63/2.17 o 210 8.28/2.25 o 48 1991.42/252.08 s SATISFIABLE 1991.42/252.08 v <instantiation> 1991.42/252.08 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] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] </list> 1991.42/252.08 v <values>0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 0 0 17 0 0 0 0 18 0 19 0 20 0 18 21 0 0 22 0 0 23 0 16 21 0 24 24 25 26 16 17 18 19 20 21 22 23 27 28 29 30 31 32 33 34 35 24 36 0 25 37 0 26 27 38 0 39 0 40 0 0 16 0 16 0 0 0 0 0 28 0 0 41 0 0 0 0 0 0 25 24 0 0 0 0 0 0 24 0 0 42 0 26 0 0 24 0 0 25 0 24 24 0 0 0 0 43 44 44 0 0 22 22 0 0 25 0 0 0 0 0 0 0 0 0 44 45 44 44 45 21 0 16 0 0 0 0 0 16 0 45 44 44 46 46 44 44 20 20 20 20 0 0 0 0 0 16 45 0 46 0 21 0 47 47 48 47 46 16 16 0 0 45 45 21 0 0 24 </values> 1991.42/252.08 v </instantiation> 1991.42/252.08 c Unexpected resolution interruption!
OK 48
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 (14532 MiB free) memory of node 1: 16384 MiB (14114 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400319-1568710026/watcher-4400319-1568710026 -o /tmp/evaluation-result-4400319-1568710026/solver-4400319-1568710026 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1645814578 HOME/instance-4400319-1568710026.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=14468, runsolver pid=14465 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 7.30 8.11 8.17 3/211 14489 /proc/meminfo: memFree=29318532/32770624 swapFree=66939908/67108860 [pid=14468] ppid=14465 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14468/stat : 14468 (xcsp3-exec) S 14465 14468 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917455 115843072 362 33554432000 4194304 5098028 140732981493792 140732981491896 139910687199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39137280 140732981502843 140732981503086 140732981503086 140732981505994 0 /proc/14468/statm: 28282 362 304 221 0 87 0 [pid=14470] ppid=14468 vsize=28227396 memory=29068 CPUtime=0.12 cores=0-7 /proc/14470/stat : 14470 (java) S 14468 14468 10570 0 -1 1077944320 5681 0 0 0 11 1 0 0 20 0 20 0 446917456 28904853504 7267 33554432000 4194304 4196468 140721473428864 140721473411408 140640581537527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 /proc/14470/statm: 7056849 7267 3148 1 0 7019032 0 [pid=14470/tid=14471] ppid=14468 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/14470/task/14471/stat : 14471 (java) R 14468 14468 10570 0 -1 4202560 3627 0 0 0 8 1 0 0 20 0 20 0 446917456 28904853504 7267 33554432000 4194304 4196468 140721473428864 140640585776768 140640581549462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14472] ppid=14468 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/14470/task/14472/stat : 14472 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 7267 33554432000 4194304 4196468 140721473428864 140640534157712 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14473] ppid=14468 vsize=28227396 memory=140394207745664 CPUtime=0 cores=0-7 /proc/14470/task/14473/stat : 14473 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 7267 33554432000 4194304 4196468 140721473428864 140640533104912 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14474] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14474/stat : 14474 (java) S 14468 14468 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 7267 33554432000 4194304 4196468 140721473428864 140640532052624 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14475] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14475/stat : 14475 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 7267 33554432000 4194304 4196468 140721473428864 140640530999824 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14476] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14476/stat : 14476 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 7267 33554432000 4194304 4196468 140721473428864 140640529947536 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14477] ppid=14468 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14470/task/14477/stat : 14477 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 7267 33554432000 4194304 4196468 140721473428864 140640528894736 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14478] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14478/stat : 14478 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 7267 33554432000 4194304 4196468 140721473428864 140640527842448 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14479] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14479/stat : 14479 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 7267 33554432000 4194304 4196468 140721473428864 140640526789648 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14480] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14480/stat : 14480 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917458 28904853504 7267 33554432000 4194304 4196468 140721473428864 140639247001712 140640581548674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14481] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14481/stat : 14481 (java) S 14468 14468 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917459 28904853504 7267 33554432000 4194304 4196468 140721473428864 140639245947680 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14482] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14482/stat : 14482 (java) S 14468 14468 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917459 28904853504 7267 33554432000 4194304 4196468 140721473428864 140639244895344 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14483] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14483/stat : 14483 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917461 28904853504 7267 33554432000 4194304 4196468 140721473428864 140639243843664 140640581556123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14484] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14484/stat : 14484 (java) S 14468 14468 10570 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 446917461 28904853504 7267 33554432000 4194304 4196468 140721473428864 140639242791536 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14485] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14485/stat : 14485 (java) R 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917461 28904853504 7267 33554432000 4194304 4196468 140721473428864 140639039646192 140640581548674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14486] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14486/stat : 14486 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917461 28904853504 7267 33554432000 4194304 4196468 140721473428864 140639038593904 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14487] ppid=14468 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/14470/task/14487/stat : 14487 (java) R 14468 14468 10570 0 -1 4202560 322 0 0 0 1 0 0 0 20 0 20 0 446917461 28904853504 7267 33554432000 4194304 4196468 140721473428864 140639037541104 140640581558874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14488] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14488/stat : 14488 (java) S 14468 14468 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917462 28904853504 7267 33554432000 4194304 4196468 140721473428864 140639036488032 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14489] ppid=14468 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14470/task/14489/stat : 14489 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917462 28904853504 7267 33554432000 4194304 4196468 140721473428864 140639035435312 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30516 KiB [startup+0.210427 s]* /proc/loadavg: 7.30 8.11 8.17 3/211 14489 /proc/meminfo: memFree=29306720/32770624 swapFree=66939908/67108860 [pid=14468] ppid=14465 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14468/stat : 14468 (xcsp3-exec) S 14465 14468 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917455 115843072 362 33554432000 4194304 5098028 140732981493792 140732981491896 139910687199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39137280 140732981502843 140732981503086 140732981503086 140732981505994 0 /proc/14468/statm: 28282 362 304 221 0 87 0 [pid=14470] ppid=14468 vsize=28227396 memory=41208 CPUtime=0.34 cores=0-7 /proc/14470/stat : 14470 (java) S 14468 14468 10570 0 -1 1077944320 9518 0 0 0 31 3 0 0 20 0 20 0 446917456 28904853504 10302 33554432000 4194304 4196468 140721473428864 140721473411408 140640581537527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 /proc/14470/statm: 7056849 10302 3305 1 0 7019032 0 [pid=14470/tid=14471] ppid=14468 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/14470/task/14471/stat : 14471 (java) R 14468 14468 10570 0 -1 4202560 6647 0 0 0 18 2 0 0 20 0 20 0 446917456 28904853504 10302 33554432000 4194304 4196468 140721473428864 140640585771040 140640581549462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14472] ppid=14468 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/14470/task/14472/stat : 14472 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 10302 33554432000 4194304 4196468 140721473428864 140640534157712 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14473] ppid=14468 vsize=28227396 memory=288370770359457408 CPUtime=0 cores=0-7 /proc/14470/task/14473/stat : 14473 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 10302 33554432000 4194304 4196468 140721473428864 140640533104912 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14474] ppid=14468 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14470/task/14474/stat : 14474 (java) S 14468 14468 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 10302 33554432000 4194304 4196468 140721473428864 140640532052624 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14475] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14475/stat : 14475 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 10302 33554432000 4194304 4196468 140721473428864 140640530999824 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14476] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14476/stat : 14476 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 10302 33554432000 4194304 4196468 140721473428864 140640529947536 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14477] ppid=14468 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14470/task/14477/stat : 14477 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 10302 33554432000 4194304 4196468 140721473428864 140640528894736 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14478] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14478/stat : 14478 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 10302 33554432000 4194304 4196468 140721473428864 140640527842448 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14479] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14479/stat : 14479 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917457 28904853504 10302 33554432000 4194304 4196468 140721473428864 140640526789648 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14480] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14480/stat : 14480 (java) S 14468 14468 10570 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446917458 28904853504 10302 33554432000 4194304 4196468 140721473428864 140639247001712 140640581548674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14481] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14481/stat : 14481 (java) S 14468 14468 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917459 28904853504 10302 33554432000 4194304 4196468 140721473428864 140639245947680 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14482] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14482/stat : 14482 (java) S 14468 14468 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917459 28904853504 10302 33554432000 4194304 4196468 140721473428864 140639244895344 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14483] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14483/stat : 14483 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917461 28904853504 10302 33554432000 4194304 4196468 140721473428864 140639243843664 140640581556123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14484] ppid=14468 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/14470/task/14484/stat : 14484 (java) S 14468 14468 10570 0 -1 1077944384 601 0 0 0 1 0 0 0 20 0 20 0 446917461 28904853504 10302 33554432000 4194304 4196468 140721473428864 140639242791536 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14485] ppid=14468 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/14470/task/14485/stat : 14485 (java) S 14468 14468 10570 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 446917461 28904853504 10302 33554432000 4194304 4196468 140721473428864 140639039646192 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14486] ppid=14468 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14470/task/14486/stat : 14486 (java) S 14468 14468 10570 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 446917461 28904853504 10302 33554432000 4194304 4196468 140721473428864 140639038593904 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14487] ppid=14468 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/14470/task/14487/stat : 14487 (java) R 14468 14468 10570 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 20 0 446917461 28904853504 10302 33554432000 4194304 4196468 140721473428864 140639037541104 140640560522192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14488] ppid=14468 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14488/stat : 14488 (java) S 14468 14468 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917462 28904853504 10302 33554432000 4194304 4196468 140721473428864 140639036488032 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14489] ppid=14468 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14470/task/14489/stat : 14489 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917462 28904853504 10302 33554432000 4194304 4196468 140721473428864 140639035435312 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42656 KiB [startup+0.310841 s]* /proc/loadavg: 7.30 8.11 8.17 3/211 14489 /proc/meminfo: memFree=29299344/32770624 swapFree=66939908/67108860 [pid=14468] ppid=14465 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14468/stat : 14468 (xcsp3-exec) S 14465 14468 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917455 115843072 362 33554432000 4194304 5098028 140732981493792 140732981491896 139910687199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39137280 140732981502843 140732981503086 140732981503086 140732981505994 0 /proc/14468/statm: 28282 362 304 221 0 87 0 [pid=14470] ppid=14468 vsize=28231652 memory=50060 CPUtime=0.53 cores=0-7 /proc/14470/stat : 14470 (java) S 14468 14468 10570 0 -1 1077944320 10898 0 0 0 49 4 0 0 20 0 20 0 446917456 28909211648 12515 33554432000 4194304 4196468 140721473428864 140721473411408 140640581537527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 /proc/14470/statm: 7057913 12515 3339 1 0 7019032 0 [pid=14470/tid=14471] ppid=14468 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/14470/task/14471/stat : 14471 (java) R 14468 14468 10570 0 -1 4202560 7806 0 0 0 27 2 0 0 20 0 20 0 446917456 28909211648 12515 33554432000 4194304 4196468 140721473428864 140640585768640 140640565618014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14472] ppid=14468 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14472/stat : 14472 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28909211648 12515 33554432000 4194304 4196468 140721473428864 140640534157712 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14473] ppid=14468 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14473/stat : 14473 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28909211648 12515 33554432000 4194304 4196468 140721473428864 140640533104912 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14474] ppid=14468 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14474/stat : 14474 (java) S 14468 14468 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917457 28909211648 12515 33554432000 4194304 4196468 140721473428864 140640532052624 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14475] ppid=14468 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14475/stat : 14475 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28909211648 12515 33554432000 4194304 4196468 140721473428864 140640530999824 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14476] ppid=14468 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14476/stat : 14476 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28909211648 12515 33554432000 4194304 4196468 140721473428864 140640529947536 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14477] ppid=14468 vsize=28231652 memory=140394092391087 CPUtime=0 cores=0-7 /proc/14470/task/14477/stat : 14477 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28909211648 12515 33554432000 4194304 4196468 140721473428864 140640528894736 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14478] ppid=14468 vsize=28231652 memory=140394092393392 CPUtime=0 cores=0-7 /proc/14470/task/14478/stat : 14478 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917457 28909211648 12515 33554432000 4194304 4196468 140721473428864 140640527842448 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14479] ppid=14468 vsize=28231652 memory=140394092395696 CPUtime=0 cores=0-7 /proc/14470/task/14479/stat : 14479 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917457 28909211648 12515 33554432000 4194304 4196468 140721473428864 140640526789648 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14480] ppid=14468 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14480/stat : 14480 (java) S 14468 14468 10570 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446917458 28909211648 12515 33554432000 4194304 4196468 140721473428864 140639247001712 140640581548674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14481] ppid=14468 vsize=28231652 memory=280788184805264 CPUtime=0 cores=0-7 /proc/14470/task/14481/stat : 14481 (java) S 14468 14468 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446917459 28909211648 12515 33554432000 4194304 4196468 140721473428864 140639245947680 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14482] ppid=14468 vsize=28231652 memory=280788184802960 CPUtime=0 cores=0-7 /proc/14470/task/14482/stat : 14482 (java) S 14468 14468 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446917459 28909211648 12515 33554432000 4194304 4196468 140721473428864 140639244895344 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14483] ppid=14468 vsize=28231652 memory=280788184809872 CPUtime=0 cores=0-7 /proc/14470/task/14483/stat : 14483 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917461 28909211648 12515 33554432000 4194304 4196468 140721473428864 140639243843664 140640581556123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14484] ppid=14468 vsize=28231652 memory=280788184751152 CPUtime=0.02 cores=0-7 /proc/14470/task/14484/stat : 14484 (java) S 14468 14468 10570 0 -1 1077944384 617 0 0 0 2 0 0 0 20 0 20 0 446917461 28909211648 12515 33554432000 4194304 4196468 140721473428864 140639242791536 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14485] ppid=14468 vsize=28231652 memory=280788184823696 CPUtime=0.04 cores=0-7 /proc/14470/task/14485/stat : 14485 (java) R 14468 14468 10570 0 -1 4202560 282 0 0 0 4 0 0 0 20 0 20 0 446917461 28909211648 12515 33554432000 4194304 4196468 140721473428864 140639039627208 140640560781853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14486] ppid=14468 vsize=28231652 memory=280788184830608 CPUtime=0.02 cores=0-7 /proc/14470/task/14486/stat : 14486 (java) S 14468 14468 10570 0 -1 1077944384 40 0 0 0 2 0 0 0 20 0 20 0 446917461 28909211648 12515 33554432000 4194304 4196468 140721473428864 140639038593904 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14487] ppid=14468 vsize=28231652 memory=280788184828304 CPUtime=0.12 cores=0-7 /proc/14470/task/14487/stat : 14487 (java) S 14468 14468 10570 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 20 0 446917461 28909211648 12515 33554432000 4194304 4196468 140721473428864 140639037541104 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14488] ppid=14468 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14488/stat : 14488 (java) S 14468 14468 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917462 28909211648 12515 33554432000 4194304 4196468 140721473428864 140639036488032 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14489] ppid=14468 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/14470/task/14489/stat : 14489 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446917462 28909211648 12515 33554432000 4194304 4196468 140721473428864 140639035435312 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51508 KiB [startup+0.702667 s] /proc/loadavg: 7.30 8.11 8.17 5/211 14489 /proc/meminfo: memFree=29278896/32770624 swapFree=66939908/67108860 [pid=14468] ppid=14465 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14468/stat : 14468 (xcsp3-exec) S 14465 14468 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917455 115843072 362 33554432000 4194304 5098028 140732981493792 140732981491896 139910687199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39137280 140732981502843 140732981503086 140732981503086 140732981505994 0 /proc/14468/statm: 28282 362 304 221 0 87 0 [pid=14470] ppid=14468 vsize=28233776 memory=100540 CPUtime=1.94 cores=0-7 /proc/14470/stat : 14470 (java) S 14468 14468 10570 0 -1 1077944320 16351 0 0 0 187 7 0 0 20 0 20 0 446917456 28911386624 25135 33554432000 4194304 4196468 140721473428864 140721473411408 140640581537527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 /proc/14470/statm: 7058444 25135 3446 1 0 7019544 0 [pid=14470/tid=14471] ppid=14468 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/14470/task/14471/stat : 14471 (java) R 14468 14468 10570 0 -1 4202560 9100 0 0 0 64 4 0 0 20 0 20 0 446917456 28911386624 25135 33554432000 4194304 4196468 140721473428864 140640585771720 140640581558874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14472] ppid=14468 vsize=28233776 memory=140394092602224 CPUtime=0 cores=0-7 /proc/14470/task/14472/stat : 14472 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28911386624 25135 33554432000 4194304 4196468 140721473428864 140640534157712 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14473] ppid=14468 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/14470/task/14473/stat : 14473 (java) S 14468 14468 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446917457 28911386624 25135 33554432000 4194304 4196468 140721473428864 140640533104912 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14474] ppid=14468 vsize=28233776 memory=1256 CPUtime=0 cores=0-7 /proc/14470/task/14474/stat : 14474 (java) S 14468 14468 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446917457 28911386624 25135 33554432000 4194304 4196468 140721473428864 140640532052624 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 ################ # More data... # ################ [pid=14470/tid=14513] ppid=14468 vsize=28768336 memory=1760 CPUtime=158.05 cores=0-7 /proc/14470/task/14513/stat : 14513 (java) R 14468 14468 10570 0 -1 4202560 8175 0 0 0 15781 24 0 0 20 0 28 0 446917728 29458776064 472438 33554432000 4194304 4196468 140721473428864 140639023295928 140640207220272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 Current children cumulated CPU time: 1280.36 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1891200 KiB [startup+222.301 s] /proc/loadavg: 8.93 8.46 8.29 10/220 14535 /proc/meminfo: memFree=27430788/32770624 swapFree=66939908/67108860 [pid=14468] ppid=14465 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14468/stat : 14468 (xcsp3-exec) S 14465 14468 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917455 115843072 362 33554432000 4194304 5098028 140732981493792 140732981491896 139910687199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39137280 140732981502843 140732981503086 140732981503086 140732981505994 0 /proc/14468/statm: 28282 362 304 221 0 87 0 [pid=14470] ppid=14468 vsize=28768336 memory=1918592 CPUtime=1756.68 cores=0-7 /proc/14470/stat : 14470 (java) S 14468 14468 10570 0 -1 1077944320 132666 0 0 0 175502 166 0 0 20 0 28 0 446917456 29458776064 479648 33554432000 4194304 4196468 140721473428864 140721473411408 140640581537527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 /proc/14470/statm: 7192084 479648 3539 1 0 7153184 0 [pid=14470/tid=14471] ppid=14468 vsize=28768336 memory=1918592 CPUtime=1.99 cores=0-7 /proc/14470/task/14471/stat : 14471 (java) S 14468 14468 10570 0 -1 1077944384 12080 0 0 0 191 8 0 0 20 0 28 0 446917456 29458776064 479648 33554432000 4194304 4196468 140721473428864 140640585778304 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14472] ppid=14468 vsize=28768336 memory=1918592 CPUtime=0.26 cores=0-7 /proc/14470/task/14472/stat : 14472 (java) S 14468 14468 10570 0 -1 1077944384 1318 0 0 0 22 4 0 0 20 0 28 0 446917457 29458776064 479648 33554432000 4194304 4196468 140721473428864 140640534157712 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14473] ppid=14468 vsize=28768336 memory=1918592 CPUtime=0.27 cores=0-7 /proc/14470/task/14473/stat : 14473 (java) S 14468 14468 10570 0 -1 1077944384 2219 0 0 0 23 4 0 0 20 0 28 0 446917457 29458776064 479648 33554432000 4194304 4196468 140721473428864 140640533104912 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14474] ppid=14468 vsize=28768336 memory=1918592 CPUtime=0.28 cores=0-7 /proc/14470/task/14474/stat : 14474 (java) S 14468 14468 10570 0 -1 1077944384 2195 0 0 0 23 5 0 0 20 0 28 0 446917457 29458776064 479648 33554432000 4194304 4196468 140721473428864 140640532052624 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14475] ppid=14468 vsize=28768336 memory=3504 CPUtime=0.24 cores=0-7 /proc/14470/task/14475/stat : 14475 (java) S 14468 14468 10570 0 -1 1077944384 2814 0 0 0 20 4 0 0 20 0 28 0 446917457 29458776064 479648 33554432000 4194304 4196468 140721473428864 140640530999824 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14476] ppid=14468 vsize=28768336 memory=48344 CPUtime=0.26 cores=0-7 /proc/14470/task/14476/stat : 14476 (java) S 14468 14468 10570 0 -1 1077944384 2970 0 0 0 21 5 0 0 20 0 28 0 446917457 29458776064 479648 33554432000 4194304 4196468 140721473428864 140640529947536 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14477] ppid=14468 vsize=28768336 memory=288230574492221466 CPUtime=0.26 cores=0-7 /proc/14470/task/14477/stat : 14477 (java) S 14468 14468 10570 0 -1 1077944384 1783 0 0 0 22 4 0 0 20 0 28 0 446917457 29458776064 479648 33554432000 4194304 4196468 140721473428864 140640528894736 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14478] ppid=14468 vsize=28768336 memory=288230596050944315 CPUtime=0.26 cores=0-7 /proc/14470/task/14478/stat : 14478 (java) S 14468 14468 10570 0 -1 1077944384 4965 0 0 0 23 3 0 0 20 0 28 0 446917457 29458776064 479648 33554432000 4194304 4196468 140721473428864 140640527842448 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14479] ppid=14468 vsize=28768336 memory=1448 CPUtime=0.26 cores=0-7 /proc/14470/task/14479/stat : 14479 (java) S 14468 14468 10570 0 -1 1077944384 2216 0 0 0 21 5 0 0 20 0 28 0 446917457 29458776064 479648 33554432000 4194304 4196468 140721473428864 140640526789648 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14480] ppid=14468 vsize=28768336 memory=1916484 CPUtime=0.19 cores=0-7 /proc/14470/task/14480/stat : 14480 (java) S 14468 14468 10570 0 -1 1077944384 8217 0 0 0 15 4 0 0 20 0 28 0 446917458 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639247001712 140640581548674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14481] ppid=14468 vsize=28768336 memory=1916512 CPUtime=0 cores=0-7 /proc/14470/task/14481/stat : 14481 (java) S 14468 14468 10570 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446917459 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639245947744 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14482] ppid=14468 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/14470/task/14482/stat : 14482 (java) S 14468 14468 10570 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 446917459 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639244895360 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14483] ppid=14468 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/14470/task/14483/stat : 14483 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446917461 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639243843664 140640581556123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14484] ppid=14468 vsize=28768336 memory=3504 CPUtime=3.06 cores=0-7 /proc/14470/task/14484/stat : 14484 (java) S 14468 14468 10570 0 -1 1077944384 14803 0 0 0 303 3 0 0 20 0 28 0 446917461 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639242791536 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14485] ppid=14468 vsize=28768336 memory=48344 CPUtime=2.83 cores=0-7 /proc/14470/task/14485/stat : 14485 (java) S 14468 14468 10570 0 -1 1077944384 10574 0 0 0 281 2 0 0 20 0 28 0 446917461 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639039646192 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14486] ppid=14468 vsize=28768336 memory=1918592 CPUtime=2.96 cores=0-7 /proc/14470/task/14486/stat : 14486 (java) S 14468 14468 10570 0 -1 1077944384 12172 0 0 0 294 2 0 0 20 0 28 0 446917461 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639038593904 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14487] ppid=14468 vsize=28768336 memory=2832 CPUtime=0.85 cores=0-7 /proc/14470/task/14487/stat : 14487 (java) S 14468 14468 10570 0 -1 1077944384 8448 0 0 0 82 3 0 0 20 0 28 0 446917461 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639037541104 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14488] ppid=14468 vsize=28768336 memory=668 CPUtime=0 cores=0-7 /proc/14470/task/14488/stat : 14488 (java) S 14468 14468 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446917462 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639036488032 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14489] ppid=14468 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7 /proc/14470/task/14489/stat : 14489 (java) S 14468 14468 10570 0 -1 1077944384 1079 0 0 0 2 5 0 0 20 0 28 0 446917462 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639035435312 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14506] ppid=14468 vsize=28768336 memory=297328835828132088 CPUtime=216.54 cores=0-7 /proc/14470/task/14506/stat : 14506 (java) R 14468 14468 10570 0 -1 4202560 1423 0 0 0 21654 0 0 0 20 0 28 0 446917728 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639022243216 140640198926538 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14507] ppid=14468 vsize=28768336 memory=15537414382835916 CPUtime=218.43 cores=0-7 /proc/14470/task/14507/stat : 14507 (java) R 14468 14468 10570 0 -1 4202560 1634 0 0 0 21843 0 0 0 20 0 28 0 446917728 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639025402304 140640566738469 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14508] ppid=14468 vsize=28768336 memory=1448 CPUtime=217.94 cores=0-7 /proc/14470/task/14508/stat : 14508 (java) R 14468 14468 10570 0 -1 4202560 3844 0 0 0 21790 4 0 0 20 0 28 0 446917728 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639026455360 140640198926879 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14509] ppid=14468 vsize=28768336 memory=132 CPUtime=217.69 cores=0-7 /proc/14470/task/14509/stat : 14509 (java) R 14468 14468 10570 0 -1 4202560 6617 0 0 0 21739 30 0 0 20 0 28 0 446917728 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639021191384 140640208210964 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14510] ppid=14468 vsize=28768336 memory=6656426216303648864 CPUtime=217.83 cores=0-7 /proc/14470/task/14510/stat : 14510 (java) R 14468 14468 10570 0 -1 4202560 4004 0 0 0 21778 5 0 0 20 0 28 0 446917728 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639024349536 140640204920213 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14511] ppid=14468 vsize=28768336 memory=3504 CPUtime=218.07 cores=0-7 /proc/14470/task/14511/stat : 14511 (java) R 14468 14468 10570 0 -1 4202560 7321 0 0 0 21786 21 0 0 20 0 28 0 446917728 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639019086192 140640205501217 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14512] ppid=14468 vsize=28768336 memory=48348 CPUtime=217.79 cores=0-7 /proc/14470/task/14512/stat : 14512 (java) R 14468 14468 10570 0 -1 4202560 8305 0 0 0 21767 12 0 0 20 0 28 0 446917728 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639020138952 140640206150870 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14513] ppid=14468 vsize=28768336 memory=1916512 CPUtime=217.23 cores=0-7 /proc/14470/task/14513/stat : 14513 (java) R 14468 14468 10570 0 -1 4202560 9825 0 0 0 21696 27 0 0 20 0 28 0 446917728 29458776064 479648 33554432000 4194304 4196468 140721473428864 140639023298672 140640206946880 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 Current children cumulated CPU time: 1756.68 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1920040 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.01 s]* /proc/loadavg: 9.06 8.54 8.32 9/220 14537 /proc/meminfo: memFree=27393100/32770624 swapFree=66939908/67108860 [pid=14468] ppid=14465 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14468/stat : 14468 (xcsp3-exec) S 14465 14468 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446917455 115843072 362 33554432000 4194304 5098028 140732981493792 140732981491896 139910687199868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39137280 140732981502843 140732981503086 140732981503086 140732981505994 0 /proc/14468/statm: 28282 362 304 221 0 87 0 [pid=14470] ppid=14468 vsize=28768336 memory=1955880 CPUtime=1991.42 cores=0-7 /proc/14470/stat : 14470 (java) S 14468 14468 10570 0 -1 1077944320 155819 0 0 0 198964 178 0 0 20 0 28 0 446917456 29458776064 488970 33554432000 4194304 4196468 140721473428864 140721473411408 140640581537527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 /proc/14470/statm: 7192084 488970 3539 1 0 7153184 0 [pid=14470/tid=14471] ppid=14468 vsize=28768336 memory=8317482817917895235 CPUtime=1.99 cores=0-7 /proc/14470/task/14471/stat : 14471 (java) S 14468 14468 10570 0 -1 1077944384 12080 0 0 0 191 8 0 0 20 0 28 0 446917456 29458776064 488970 33554432000 4194304 4196468 140721473428864 140640585778304 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14472] ppid=14468 vsize=28768336 memory=4126316290023845779 CPUtime=0.39 cores=0-7 /proc/14470/task/14472/stat : 14472 (java) S 14468 14468 10570 0 -1 1077944384 2296 0 0 0 34 5 0 0 20 0 28 0 446917457 29458776064 488970 33554432000 4194304 4196468 140721473428864 140640534157712 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14473] ppid=14468 vsize=28768336 memory=303771973916567798 CPUtime=0.39 cores=0-7 /proc/14470/task/14473/stat : 14473 (java) S 14468 14468 10570 0 -1 1077944384 3015 0 0 0 34 5 0 0 20 0 28 0 446917457 29458776064 488970 33554432000 4194304 4196468 140721473428864 140640533104912 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14474] ppid=14468 vsize=28768336 memory=15262532180924618 CPUtime=0.4 cores=0-7 /proc/14470/task/14474/stat : 14474 (java) S 14468 14468 10570 0 -1 1077944384 3450 0 0 0 35 5 0 0 20 0 28 0 446917457 29458776064 488970 33554432000 4194304 4196468 140721473428864 140640532052624 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14475] ppid=14468 vsize=28768336 memory=288291056322347705 CPUtime=0.37 cores=0-7 /proc/14470/task/14475/stat : 14475 (java) S 14468 14468 10570 0 -1 1077944384 4180 0 0 0 32 5 0 0 20 0 28 0 446917457 29458776064 488970 33554432000 4194304 4196468 140721473428864 140640530999824 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14476] ppid=14468 vsize=28768336 memory=3618981182940934062 CPUtime=0.38 cores=0-7 /proc/14470/task/14476/stat : 14476 (java) S 14468 14468 10570 0 -1 1077944384 3692 0 0 0 32 6 0 0 20 0 28 0 446917457 29458776064 488970 33554432000 4194304 4196468 140721473428864 140640529947536 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14477] ppid=14468 vsize=28768336 memory=-1891255765032775953 CPUtime=0.38 cores=0-7 /proc/14470/task/14477/stat : 14477 (java) S 14468 14468 10570 0 -1 1077944384 3366 0 0 0 33 5 0 0 20 0 28 0 446917457 29458776064 488970 33554432000 4194304 4196468 140721473428864 140640528894736 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14478] ppid=14468 vsize=28768336 memory=-3621219749712857441 CPUtime=0.39 cores=0-7 /proc/14470/task/14478/stat : 14478 (java) S 14468 14468 10570 0 -1 1077944384 7395 0 0 0 35 4 0 0 20 0 28 0 446917457 29458776064 488970 33554432000 4194304 4196468 140721473428864 140640527842448 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14479] ppid=14468 vsize=28768336 memory=6791534058613427641 CPUtime=0.38 cores=0-7 /proc/14470/task/14479/stat : 14479 (java) S 14468 14468 10570 0 -1 1077944384 3208 0 0 0 33 5 0 0 20 0 28 0 446917457 29458776064 488970 33554432000 4194304 4196468 140721473428864 140640526789648 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14480] ppid=14468 vsize=28768336 memory=1440 CPUtime=0.3 cores=0-7 /proc/14470/task/14480/stat : 14480 (java) S 14468 14468 10570 0 -1 1077944384 12472 0 0 0 23 7 0 0 20 0 28 0 446917458 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639247001712 140640581548674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14481] ppid=14468 vsize=28768336 memory=816 CPUtime=0 cores=0-7 /proc/14470/task/14481/stat : 14481 (java) S 14468 14468 10570 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446917459 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639245947744 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14482] ppid=14468 vsize=28768336 memory=2580 CPUtime=0 cores=0-7 /proc/14470/task/14482/stat : 14482 (java) S 14468 14468 10570 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 446917459 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639244895360 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14483] ppid=14468 vsize=28768336 memory=1760 CPUtime=0 cores=0-7 /proc/14470/task/14483/stat : 14483 (java) S 14468 14468 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446917461 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639243843664 140640581556123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14484] ppid=14468 vsize=28768336 memory=111636 CPUtime=3.06 cores=0-7 /proc/14470/task/14484/stat : 14484 (java) S 14468 14468 10570 0 -1 1077944384 14811 0 0 0 303 3 0 0 20 0 28 0 446917461 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639242791536 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14485] ppid=14468 vsize=28768336 memory=808 CPUtime=2.83 cores=0-7 /proc/14470/task/14485/stat : 14485 (java) S 14468 14468 10570 0 -1 1077944384 10582 0 0 0 281 2 0 0 20 0 28 0 446917461 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639039646192 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14486] ppid=14468 vsize=28768336 memory=1808 CPUtime=2.96 cores=0-7 /proc/14470/task/14486/stat : 14486 (java) S 14468 14468 10570 0 -1 1077944384 12180 0 0 0 294 2 0 0 20 0 28 0 446917461 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639038593904 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14487] ppid=14468 vsize=28768336 memory=924 CPUtime=0.85 cores=0-7 /proc/14470/task/14487/stat : 14487 (java) S 14468 14468 10570 0 -1 1077944384 8460 0 0 0 82 3 0 0 20 0 28 0 446917461 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639037541104 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14488] ppid=14468 vsize=28768336 memory=4872 CPUtime=0 cores=0-7 /proc/14470/task/14488/stat : 14488 (java) S 14468 14468 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446917462 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639036488032 140640581547733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14489] ppid=14468 vsize=28768336 memory=4096 CPUtime=0.07 cores=0-7 /proc/14470/task/14489/stat : 14489 (java) S 14468 14468 10570 0 -1 1077944384 1304 0 0 0 2 5 0 0 20 0 28 0 446917462 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639035435312 140640581548674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14506] ppid=14468 vsize=28768336 memory=3504 CPUtime=245.75 cores=0-7 /proc/14470/task/14506/stat : 14506 (java) R 14468 14468 10570 0 -1 4202560 2142 0 0 0 24575 0 0 0 20 0 28 0 446917728 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639022243216 140640198926869 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14507] ppid=14468 vsize=28768336 memory=48348 CPUtime=247.78 cores=0-7 /proc/14470/task/14507/stat : 14507 (java) R 14468 14468 10570 0 -1 4202560 2472 0 0 0 24777 1 0 0 20 0 28 0 446917728 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639025402304 140640566778712 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14508] ppid=14468 vsize=28768336 memory=988 CPUtime=247.19 cores=0-7 /proc/14470/task/14508/stat : 14508 (java) R 14468 14468 10570 0 -1 4202560 4639 0 0 0 24715 4 0 0 20 0 28 0 446917728 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639026455496 140640205801905 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14509] ppid=14468 vsize=28768336 memory=6791534058613427641 CPUtime=246.89 cores=0-7 /proc/14470/task/14509/stat : 14509 (java) R 14468 14468 10570 0 -1 4202560 7620 0 0 0 24658 31 0 0 20 0 28 0 446917728 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639021191872 140640198926923 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14510] ppid=14468 vsize=28768336 memory=1076 CPUtime=247.07 cores=0-7 /proc/14470/task/14510/stat : 14510 (java) R 14468 14468 10570 0 -1 4202560 4867 0 0 0 24701 6 0 0 20 0 28 0 446917728 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639024349648 140640204919954 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14511] ppid=14468 vsize=28768336 memory=14008 CPUtime=247.19 cores=0-7 /proc/14470/task/14511/stat : 14511 (java) R 14468 14468 10570 0 -1 4202560 8485 0 0 0 24697 22 0 0 20 0 28 0 446917728 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639019086208 140640206153213 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14512] ppid=14468 vsize=28768336 memory=26520 CPUtime=246.94 cores=0-7 /proc/14470/task/14512/stat : 14512 (java) R 14468 14468 10570 0 -1 4202560 10319 0 0 0 24681 13 0 0 20 0 28 0 446917728 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639020138816 140640205808164 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 [pid=14470/tid=14513] ppid=14468 vsize=28768336 memory=14056 CPUtime=246.36 cores=0-7 /proc/14470/task/14513/stat : 14513 (java) R 14468 14468 10570 0 -1 4202560 10944 0 0 0 24609 27 0 0 20 0 28 0 446917728 29458776064 488970 33554432000 4194304 4196468 140721473428864 140639023298816 140640206702304 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 23289856 140721473434608 140721473434779 140721473434779 140721473437647 0 Current children cumulated CPU time: 1991.42 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1957328 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.046 s] # the end of solver process 14468 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00113 s, system=0.00113 s [startup+252.11 s] # the end of solver process 14470 was just reported to runsolver # cumulated CPU time of all completed processes: user=1990.25 s, system=1.80189 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.11 CPU time (s): 1992.05 CPU user time (s): 1990.25 CPU system time (s): 1.80189 CPU usage (%): 790.149 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 2172384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1990.25 system time used= 1.80189 maximum resident set size= 2170936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156919 page faults= 0 swaps= 0 block input operations= 0 block output operations= 552 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30172 involuntary context switches= 23925 # summary of solver processes directly reported to runsolver: # pid: 14468,14470 # total CPU time (s): 1992.05 # total CPU user time (s): 1990.25 # total CPU system time (s): 1.80189 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.58432 second user time and 2.64039 second system time The end
Begin job on node119 at 2019-09-17 10:46:26 IDJOB=4400319 IDBENCH=120638 IDSOLVER=2855 FILE ID=node119/4400319-1568710026 RUNJOBID= node119-1568700441-10597 PBS_JOBID= 21703893 Free space on /tmp= 61344 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-zeroin-i-1.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-4400319-1568710026/watcher-4400319-1568710026 -o /tmp/evaluation-result-4400319-1568710026/solver-4400319-1568710026 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1645814578 HOME/instance-4400319-1568710026.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bac8a2bd88d13c89c2cced4f7584e960 RANDOM SEED=1645814578 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29334760 kB MemAvailable: 31819604 kB Buffers: 130320 kB Cached: 2637808 kB SwapCached: 61072 kB Active: 1403720 kB Inactive: 1430944 kB Active(anon): 5124 kB Inactive(anon): 110908 kB Active(file): 1398596 kB Inactive(file): 1320036 kB Unevictable: 107484 kB Mlocked: 107484 kB SwapTotal: 67108860 kB SwapFree: 66939908 kB Dirty: 26280 kB Writeback: 0 kB AnonPages: 45812 kB Mapped: 48852 kB Shmem: 41008 kB Slab: 193228 kB SReclaimable: 164092 kB SUnreclaim: 29136 kB KernelStack: 3712 kB PageTables: 5760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506848 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61320 MiB End job on node119 at 2019-09-17 10:50:38