Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | SAT (TO) | 48 | 20028.3 | 2520.1 |
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-4394659-1568419648.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394659-1568419648.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 6.92/2.01 c solve instance... 7.54/2.13 o 48 20027.61/2520.07 s SATISFIABLE 20027.61/2520.07 v <instantiation> 20027.61/2520.07 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> 20027.61/2520.07 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> 20027.61/2520.07 v </instantiation> 20027.61/2520.07 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 (14851 MiB free) memory of node 1: 16384 MiB (15320 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394659-1568419648/watcher-4394659-1568419648 -o /tmp/evaluation-result-4394659-1568419648/solver-4394659-1568419648 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1665783746 HOME/instance-4394659-1568419648.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=9556, runsolver pid=9553 [startup+0.100128 s]* /proc/loadavg: 6.48 7.00 7.12 2/211 9577 /proc/meminfo: memFree=30880124/32770624 swapFree=66940932/67108860 [pid=9556] ppid=9553 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9556/stat : 9556 (xcsp3-exec) S 9553 9556 6415 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203539 115843072 363 33554432000 4194304 5098028 140734912295360 140734912293464 140516662133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35966976 140734912299893 140734912300137 140734912300137 140734912303050 0 /proc/9556/statm: 28282 363 304 221 0 87 0 [pid=9558] ppid=9556 vsize=28227388 memory=30316 CPUtime=0.12 cores=0-7 /proc/9558/stat : 9558 (java) S 9556 9556 6415 0 -1 1077944320 5991 0 0 0 11 1 0 0 20 0 20 0 418203539 28904845312 7579 33554432000 4194304 4196468 140722497494272 140722497476816 140604062772983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 /proc/9558/statm: 7056847 7579 3153 1 0 7019032 0 [pid=9558/tid=9559] ppid=9556 vsize=28227388 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/9558/task/9559/stat : 9559 (java) R 9556 9556 6415 0 -1 4202560 3883 0 0 0 8 1 0 0 20 0 20 0 418203540 28904845312 7579 33554432000 4194304 4196468 140722497494272 140604067006256 140604048466405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9560] ppid=9556 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/9558/task/9560/stat : 9560 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203540 28904845312 7579 33554432000 4194304 4196468 140722497494272 140604015393168 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9561] ppid=9556 vsize=28227388 memory=140646667519616 CPUtime=0 cores=0-7 /proc/9558/task/9561/stat : 9561 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 7579 33554432000 4194304 4196468 140722497494272 140604014340368 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9562] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9562/stat : 9562 (java) S 9556 9556 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 7579 33554432000 4194304 4196468 140722497494272 140604013288080 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9563] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9563/stat : 9563 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 7579 33554432000 4194304 4196468 140722497494272 140604012235280 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9564] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9564/stat : 9564 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 7579 33554432000 4194304 4196468 140722497494272 140604011182992 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9565] ppid=9556 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9558/task/9565/stat : 9565 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 7579 33554432000 4194304 4196468 140722497494272 140604010130192 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9566] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9566/stat : 9566 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 7579 33554432000 4194304 4196468 140722497494272 140603608128656 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9567] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9567/stat : 9567 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 7579 33554432000 4194304 4196468 140722497494272 140603607075856 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9568] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9568/stat : 9568 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203542 28904845312 7579 33554432000 4194304 4196468 140722497494272 140602458998896 140604062784130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9569] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9569/stat : 9569 (java) S 9556 9556 6415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203542 28904845312 7579 33554432000 4194304 4196468 140722497494272 140602457944864 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9570] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9570/stat : 9570 (java) S 9556 9556 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203543 28904845312 7579 33554432000 4194304 4196468 140722497494272 140602456892528 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9571] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9571/stat : 9571 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203545 28904845312 7579 33554432000 4194304 4196468 140722497494272 140602455840848 140604062791579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9572] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9572/stat : 9572 (java) S 9556 9556 6415 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 418203545 28904845312 7579 33554432000 4194304 4196468 140722497494272 140602454788720 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9573] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9573/stat : 9573 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203545 28904845312 7579 33554432000 4194304 4196468 140722497494272 140602453735920 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9574] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9574/stat : 9574 (java) S 9556 9556 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203545 28904845312 7579 33554432000 4194304 4196468 140722497494272 140602452683632 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9575] ppid=9556 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/9558/task/9575/stat : 9575 (java) R 9556 9556 6415 0 -1 4202560 377 0 0 0 1 0 0 0 20 0 20 0 418203545 28904845312 7579 33554432000 4194304 4196468 140722497494272 140602451630832 140604055010110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9576] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9576/stat : 9576 (java) S 9556 9556 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203545 28904845312 7579 33554432000 4194304 4196468 140722497494272 140602450577760 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9577] ppid=9556 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9558/task/9577/stat : 9577 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203546 28904845312 7579 33554432000 4194304 4196468 140722497494272 140602449525040 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31768 KiB [startup+0.210078 s]* /proc/loadavg: 6.48 7.00 7.12 2/211 9577 /proc/meminfo: memFree=30867456/32770624 swapFree=66940932/67108860 [pid=9556] ppid=9553 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9556/stat : 9556 (xcsp3-exec) S 9553 9556 6415 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203539 115843072 363 33554432000 4194304 5098028 140734912295360 140734912293464 140516662133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35966976 140734912299893 140734912300137 140734912300137 140734912303050 0 /proc/9556/statm: 28282 363 304 221 0 87 0 [pid=9558] ppid=9556 vsize=28227388 memory=41092 CPUtime=0.33 cores=0-7 /proc/9558/stat : 9558 (java) S 9556 9556 6415 0 -1 1077944320 9561 0 0 0 30 3 0 0 20 0 20 0 418203539 28904845312 10273 33554432000 4194304 4196468 140722497494272 140722497476816 140604062772983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 /proc/9558/statm: 7056847 10273 3270 1 0 7019032 0 [pid=9558/tid=9559] ppid=9556 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/9558/task/9559/stat : 9559 (java) R 9556 9556 6415 0 -1 4202560 6698 0 0 0 17 2 0 0 20 0 20 0 418203540 28904845312 10273 33554432000 4194304 4196468 140722497494272 140604067006432 140604046853470 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9560] ppid=9556 vsize=28227388 memory=329 CPUtime=0 cores=0-7 /proc/9558/task/9560/stat : 9560 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203540 28904845312 10273 33554432000 4194304 4196468 140722497494272 140604015393168 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9561] ppid=9556 vsize=28227388 memory=140646667529231 CPUtime=0 cores=0-7 /proc/9558/task/9561/stat : 9561 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 10273 33554432000 4194304 4196468 140722497494272 140604014340368 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9562] ppid=9556 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9558/task/9562/stat : 9562 (java) S 9556 9556 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 10273 33554432000 4194304 4196468 140722497494272 140604013288080 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9563] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9563/stat : 9563 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 10273 33554432000 4194304 4196468 140722497494272 140604012235280 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9564] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9564/stat : 9564 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 10273 33554432000 4194304 4196468 140722497494272 140604011182992 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9565] ppid=9556 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9558/task/9565/stat : 9565 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 10273 33554432000 4194304 4196468 140722497494272 140604010130192 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9566] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9566/stat : 9566 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 10273 33554432000 4194304 4196468 140722497494272 140603608128656 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9567] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9567/stat : 9567 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28904845312 10273 33554432000 4194304 4196468 140722497494272 140603607075856 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9568] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9568/stat : 9568 (java) S 9556 9556 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418203542 28904845312 10273 33554432000 4194304 4196468 140722497494272 140602458998896 140604062784130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9569] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9569/stat : 9569 (java) S 9556 9556 6415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203542 28904845312 10273 33554432000 4194304 4196468 140722497494272 140602457944864 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9570] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9570/stat : 9570 (java) S 9556 9556 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203543 28904845312 10273 33554432000 4194304 4196468 140722497494272 140602456892528 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9571] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9571/stat : 9571 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203545 28904845312 10273 33554432000 4194304 4196468 140722497494272 140602455840848 140604062791579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9572] ppid=9556 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/9558/task/9572/stat : 9572 (java) S 9556 9556 6415 0 -1 1077944384 644 0 0 0 1 0 0 0 20 0 20 0 418203545 28904845312 10273 33554432000 4194304 4196468 140722497494272 140602454788720 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9573] ppid=9556 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/9558/task/9573/stat : 9573 (java) S 9556 9556 6415 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 418203545 28904845312 10273 33554432000 4194304 4196468 140722497494272 140602453735920 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9574] ppid=9556 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/9558/task/9574/stat : 9574 (java) S 9556 9556 6415 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 418203545 28904845312 10273 33554432000 4194304 4196468 140722497494272 140602452683632 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9575] ppid=9556 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/9558/task/9575/stat : 9575 (java) R 9556 9556 6415 0 -1 4202560 766 0 0 0 7 0 0 0 20 0 20 0 418203545 28904845312 10273 33554432000 4194304 4196468 140722497494272 140602451630640 140604041453166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9576] ppid=9556 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9576/stat : 9576 (java) S 9556 9556 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203545 28904845312 10273 33554432000 4194304 4196468 140722497494272 140602450577760 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9577] ppid=9556 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9558/task/9577/stat : 9577 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203546 28904845312 10273 33554432000 4194304 4196468 140722497494272 140602449525040 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42544 KiB [startup+0.309443 s]* /proc/loadavg: 6.48 7.00 7.12 4/211 9577 /proc/meminfo: memFree=30861196/32770624 swapFree=66940932/67108860 [pid=9556] ppid=9553 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9556/stat : 9556 (xcsp3-exec) S 9553 9556 6415 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203539 115843072 363 33554432000 4194304 5098028 140734912295360 140734912293464 140516662133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35966976 140734912299893 140734912300137 140734912300137 140734912303050 0 /proc/9556/statm: 28282 363 304 221 0 87 0 [pid=9558] ppid=9556 vsize=28231644 memory=50288 CPUtime=0.52 cores=0-7 /proc/9558/stat : 9558 (java) S 9556 9556 6415 0 -1 1077944320 10894 0 0 0 48 4 0 0 20 0 20 0 418203539 28909203456 12572 33554432000 4194304 4196468 140722497494272 140722497476816 140604062772983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 /proc/9558/statm: 7057911 12572 3357 1 0 7019032 0 [pid=9558/tid=9559] ppid=9556 vsize=28231644 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/9558/task/9559/stat : 9559 (java) R 9556 9556 6415 0 -1 4202560 7797 0 0 0 27 2 0 0 20 0 20 0 418203540 28909203456 12572 33554432000 4194304 4196468 140722497494272 140604067006768 140604046853470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9560] ppid=9556 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9560/stat : 9560 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203540 28909203456 12572 33554432000 4194304 4196468 140722497494272 140604015393168 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9561] ppid=9556 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9561/stat : 9561 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203541 28909203456 12572 33554432000 4194304 4196468 140722497494272 140604014340368 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9562] ppid=9556 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9562/stat : 9562 (java) S 9556 9556 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203541 28909203456 12572 33554432000 4194304 4196468 140722497494272 140604013288080 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9563] ppid=9556 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9563/stat : 9563 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28909203456 12572 33554432000 4194304 4196468 140722497494272 140604012235280 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9564] ppid=9556 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/9558/task/9564/stat : 9564 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28909203456 12572 33554432000 4194304 4196468 140722497494272 140604011182992 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9565] ppid=9556 vsize=28231644 memory=140646555939759 CPUtime=0 cores=0-7 /proc/9558/task/9565/stat : 9565 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203541 28909203456 12572 33554432000 4194304 4196468 140722497494272 140604010130192 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9566] ppid=9556 vsize=28231644 memory=140646555942064 CPUtime=0 cores=0-7 /proc/9558/task/9566/stat : 9566 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28909203456 12572 33554432000 4194304 4196468 140722497494272 140603608128656 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9567] ppid=9556 vsize=28231644 memory=140646555944368 CPUtime=0 cores=0-7 /proc/9558/task/9567/stat : 9567 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203541 28909203456 12572 33554432000 4194304 4196468 140722497494272 140603607075856 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9568] ppid=9556 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9568/stat : 9568 (java) S 9556 9556 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418203542 28909203456 12572 33554432000 4194304 4196468 140722497494272 140602458998896 140604062784130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9569] ppid=9556 vsize=28231644 memory=281293111895696 CPUtime=0 cores=0-7 /proc/9558/task/9569/stat : 9569 (java) S 9556 9556 6415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418203542 28909203456 12572 33554432000 4194304 4196468 140722497494272 140602457944864 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9570] ppid=9556 vsize=28231644 memory=281293111902608 CPUtime=0 cores=0-7 /proc/9558/task/9570/stat : 9570 (java) S 9556 9556 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418203543 28909203456 12572 33554432000 4194304 4196468 140722497494272 140602456892528 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9571] ppid=9556 vsize=28231644 memory=281293111843760 CPUtime=0 cores=0-7 /proc/9558/task/9571/stat : 9571 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203545 28909203456 12572 33554432000 4194304 4196468 140722497494272 140602455840848 140604062791579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9572] ppid=9556 vsize=28231644 memory=281293111916432 CPUtime=0.03 cores=0-7 /proc/9558/task/9572/stat : 9572 (java) S 9556 9556 6415 0 -1 1077944384 665 0 0 0 3 0 0 0 20 0 20 0 418203545 28909203456 12572 33554432000 4194304 4196468 140722497494272 140602454788720 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9573] ppid=9556 vsize=28231644 memory=281293111923344 CPUtime=0.02 cores=0-7 /proc/9558/task/9573/stat : 9573 (java) S 9556 9556 6415 0 -1 1077944384 90 0 0 0 2 0 0 0 20 0 20 0 418203545 28909203456 12572 33554432000 4194304 4196468 140722497494272 140602453735920 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9574] ppid=9556 vsize=28231644 memory=281293111921040 CPUtime=0.02 cores=0-7 /proc/9558/task/9574/stat : 9574 (java) R 9556 9556 6415 0 -1 4202560 171 0 0 0 2 0 0 0 20 0 20 0 418203545 28909203456 12572 33554432000 4194304 4196468 140722497494272 140602452674016 140604044317078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9575] ppid=9556 vsize=28231644 memory=281293111937200 CPUtime=0.12 cores=0-7 /proc/9558/task/9575/stat : 9575 (java) S 9556 9556 6415 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 20 0 418203545 28909203456 12572 33554432000 4194304 4196468 140722497494272 140602451630832 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9576] ppid=9556 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9576/stat : 9576 (java) S 9556 9556 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203545 28909203456 12572 33554432000 4194304 4196468 140722497494272 140602450577760 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9577] ppid=9556 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/9558/task/9577/stat : 9577 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203546 28909203456 12572 33554432000 4194304 4196468 140722497494272 140602449525040 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51740 KiB [startup+0.700908 s] /proc/loadavg: 6.48 7.00 7.12 5/211 9577 /proc/meminfo: memFree=30839084/32770624 swapFree=66940932/67108860 [pid=9556] ppid=9553 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9556/stat : 9556 (xcsp3-exec) S 9553 9556 6415 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203539 115843072 363 33554432000 4194304 5098028 140734912295360 140734912293464 140516662133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35966976 140734912299893 140734912300137 140734912300137 140734912303050 0 /proc/9556/statm: 28282 363 304 221 0 87 0 [pid=9558] ppid=9556 vsize=28233768 memory=102532 CPUtime=1.95 cores=0-7 /proc/9558/stat : 9558 (java) S 9556 9556 6415 0 -1 1077944320 16345 0 0 0 189 6 0 0 20 0 20 0 418203539 28911378432 25633 33554432000 4194304 4196468 140722497494272 140722497476816 140604062772983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 /proc/9558/statm: 7058442 25633 3443 1 0 7019544 0 [pid=9558/tid=9559] ppid=9556 vsize=28233768 memory=281293112295088 CPUtime=0.67 cores=0-7 /proc/9558/task/9559/stat : 9559 (java) R 9556 9556 6415 0 -1 4202560 9162 0 0 0 64 3 0 0 20 0 20 0 418203540 28911378432 25633 33554432000 4194304 4196468 140722497494272 140604066980928 140604042686442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9560] ppid=9556 vsize=28233768 memory=140646556148592 CPUtime=0 cores=0-7 /proc/9558/task/9560/stat : 9560 (java) S 9556 9556 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418203540 28911378432 25633 33554432000 4194304 4196468 140722497494272 140604015393168 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9561] ppid=9556 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9561/stat : 9561 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418203541 28911378432 25633 33554432000 4194304 4196468 140722497494272 140604014340368 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9562] ppid=9556 vsize=28233768 memory=5980 CPUtime=0 cores=0-7 /proc/9558/task/9562/stat : 9562 (java) S 9556 9556 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418203541 28911378432 25633 33554432000 4194304 4196468 140722497494272 140604013288080 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 ################ # More data... # ################ [pid=9558/tid=9593] ppid=9556 vsize=28768328 memory=1452 CPUtime=2409.07 cores=0-7 /proc/9558/task/9593/stat : 9593 (java) R 9556 9556 6415 0 -1 4202560 103530 0 0 0 240694 213 0 0 20 0 28 0 418203753 29458767872 521606 33554432000 4194304 4196468 140722497494272 140602433191616 140603693358765 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 Current children cumulated CPU time: 19409.5 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 2087876 KiB [startup+2502.31 s] /proc/loadavg: 8.37 8.46 8.31 9/219 9778 /proc/meminfo: memFree=29013108/32770624 swapFree=66940940/67108860 [pid=9556] ppid=9553 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9556/stat : 9556 (xcsp3-exec) S 9553 9556 6415 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203539 115843072 363 33554432000 4194304 5098028 140734912295360 140734912293464 140516662133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35966976 140734912299893 140734912300137 140734912300137 140734912303050 0 /proc/9556/statm: 28282 363 304 221 0 87 0 [pid=9558] ppid=9556 vsize=28768328 memory=1890000 CPUtime=19886.7 cores=0-7 /proc/9558/stat : 9558 (java) S 9556 9556 6415 0 -1 1077944320 1167666 0 0 0 1987271 1395 0 0 20 0 28 0 418203539 29458767872 472500 33554432000 4194304 4196468 140722497494272 140722497476816 140604062772983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 /proc/9558/statm: 7192082 472500 3563 1 0 7153184 0 [pid=9558/tid=9559] ppid=9556 vsize=28768328 memory=1890516 CPUtime=1.96 cores=0-7 /proc/9558/task/9559/stat : 9559 (java) S 9556 9556 6415 0 -1 1077944384 10112 0 0 0 190 6 0 0 20 0 28 0 418203540 29458767872 472500 33554432000 4194304 4196468 140722497494272 140604067013760 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9560] ppid=9556 vsize=28768328 memory=1452 CPUtime=14.29 cores=0-7 /proc/9558/task/9560/stat : 9560 (java) S 9556 9556 6415 0 -1 1077944384 48900 0 0 0 1374 55 0 0 20 0 28 0 418203540 29458767872 472500 33554432000 4194304 4196468 140722497494272 140604015393168 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9561] ppid=9556 vsize=28768328 memory=1890000 CPUtime=14.22 cores=0-7 /proc/9558/task/9561/stat : 9561 (java) S 9556 9556 6415 0 -1 1077944384 44482 0 0 0 1365 57 0 0 20 0 28 0 418203541 29458767872 472500 33554432000 4194304 4196468 140722497494272 140604014340368 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9562] ppid=9556 vsize=28768328 memory=1452 CPUtime=14.33 cores=0-7 /proc/9558/task/9562/stat : 9562 (java) S 9556 9556 6415 0 -1 1077944384 49795 0 0 0 1372 61 0 0 20 0 28 0 418203541 29458767872 472500 33554432000 4194304 4196468 140722497494272 140604013288080 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9563] ppid=9556 vsize=28768328 memory=1952588 CPUtime=14.25 cores=0-7 /proc/9558/task/9563/stat : 9563 (java) S 9556 9556 6415 0 -1 1077944384 45103 0 0 0 1367 58 0 0 20 0 28 0 418203541 29458767872 472500 33554432000 4194304 4196468 140722497494272 140604012235280 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9564] ppid=9556 vsize=28768328 memory=1988 CPUtime=14.34 cores=0-7 /proc/9558/task/9564/stat : 9564 (java) S 9556 9556 6415 0 -1 1077944384 43823 0 0 0 1372 62 0 0 20 0 28 0 418203541 29458767872 472500 33554432000 4194304 4196468 140722497494272 140604011182992 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9565] ppid=9556 vsize=28768328 memory=1981828 CPUtime=14.22 cores=0-7 /proc/9558/task/9565/stat : 9565 (java) S 9556 9556 6415 0 -1 1077944384 45788 0 0 0 1364 58 0 0 20 0 28 0 418203541 29458767872 472500 33554432000 4194304 4196468 140722497494272 140604010130192 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9566] ppid=9556 vsize=28768328 memory=1452 CPUtime=14.3 cores=0-7 /proc/9558/task/9566/stat : 9566 (java) S 9556 9556 6415 0 -1 1077944384 45394 0 0 0 1374 56 0 0 20 0 28 0 418203541 29458767872 472500 33554432000 4194304 4196468 140722497494272 140603608128656 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9567] ppid=9556 vsize=28768328 memory=1556 CPUtime=14.34 cores=0-7 /proc/9558/task/9567/stat : 9567 (java) S 9556 9556 6415 0 -1 1077944384 42494 0 0 0 1373 61 0 0 20 0 28 0 418203541 29458767872 472500 33554432000 4194304 4196468 140722497494272 140603607075856 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9568] ppid=9556 vsize=28768328 memory=532 CPUtime=4.97 cores=0-7 /proc/9558/task/9568/stat : 9568 (java) S 9556 9556 6415 0 -1 1077944384 184095 0 0 0 334 163 0 0 20 0 28 0 418203542 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602458998896 140604062784130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9569] ppid=9556 vsize=28768328 memory=495 CPUtime=0 cores=0-7 /proc/9558/task/9569/stat : 9569 (java) S 9556 9556 6415 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 418203542 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602457944928 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9570] ppid=9556 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9570/stat : 9570 (java) S 9556 9556 6415 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 418203543 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602456892544 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9571] ppid=9556 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/9558/task/9571/stat : 9571 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418203545 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602455840848 140604062791579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9572] ppid=9556 vsize=28768328 memory=4424876133229487961 CPUtime=4.69 cores=0-7 /proc/9558/task/9572/stat : 9572 (java) S 9556 9556 6415 0 -1 1077944384 25304 0 0 0 465 4 0 0 20 0 28 0 418203545 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602454788720 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9573] ppid=9556 vsize=28768328 memory=1452 CPUtime=4.39 cores=0-7 /proc/9558/task/9573/stat : 9573 (java) S 9556 9556 6415 0 -1 1077944384 19082 0 0 0 437 2 0 0 20 0 28 0 418203545 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602453735920 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9574] ppid=9556 vsize=28768328 memory=1978752 CPUtime=4.22 cores=0-7 /proc/9558/task/9574/stat : 9574 (java) S 9556 9556 6415 0 -1 1077944384 24088 0 0 0 418 4 0 0 20 0 28 0 418203545 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602452683632 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9575] ppid=9556 vsize=28768328 memory=1452 CPUtime=1.28 cores=0-7 /proc/9558/task/9575/stat : 9575 (java) S 9556 9556 6415 0 -1 1077944384 21919 0 0 0 123 5 0 0 20 0 28 0 418203545 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602451630832 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9576] ppid=9556 vsize=28768328 memory=1975672 CPUtime=0 cores=0-7 /proc/9558/task/9576/stat : 9576 (java) S 9556 9556 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418203545 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602450577760 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9577] ppid=9556 vsize=28768328 memory=40284 CPUtime=0.87 cores=0-7 /proc/9558/task/9577/stat : 9577 (java) S 9556 9556 6415 0 -1 1077944384 7113 0 0 0 29 58 0 0 20 0 28 0 418203546 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602449525040 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9586] ppid=9556 vsize=28768328 memory=3620 CPUtime=2470.66 cores=0-7 /proc/9558/task/9586/stat : 9586 (java) R 9556 9556 6415 0 -1 4202560 16190 0 0 0 247058 8 0 0 20 0 28 0 418203753 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602436349576 140603699573716 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9587] ppid=9556 vsize=28768328 memory=1452 CPUtime=2472.24 cores=0-7 /proc/9558/task/9587/stat : 9587 (java) R 9556 9556 6415 0 -1 4202560 19722 0 0 0 247214 10 0 0 20 0 28 0 418203753 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602437403320 140603695143157 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9588] ppid=9556 vsize=28768328 memory=1903340 CPUtime=2463.16 cores=0-7 /proc/9558/task/9588/stat : 9588 (java) R 9556 9556 6415 0 -1 4202560 88854 0 0 0 246213 103 0 0 20 0 28 0 418203753 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602440552904 140603693198065 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9589] ppid=9556 vsize=28768328 memory=1988 CPUtime=2468.75 cores=0-7 /proc/9558/task/9589/stat : 9589 (java) R 9556 9556 6415 0 -1 4202560 65491 0 0 0 246720 155 0 0 20 0 28 0 418203753 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602431086768 140603695143084 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9590] ppid=9556 vsize=28768328 memory=1452 CPUtime=2471.89 cores=0-7 /proc/9558/task/9590/stat : 9590 (java) R 9556 9556 6415 0 -1 4202560 85534 0 0 0 247133 56 0 0 20 0 28 0 418203753 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602435298616 140603698609491 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9591] ppid=9556 vsize=28768328 memory=1452 CPUtime=2466.34 cores=0-7 /proc/9558/task/9591/stat : 9591 (java) R 9556 9556 6415 0 -1 4202560 69862 0 0 0 246522 112 0 0 20 0 28 0 418203753 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602432139576 140603700098044 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9592] ppid=9556 vsize=28768328 memory=1933608 CPUtime=2467.66 cores=0-7 /proc/9558/task/9592/stat : 9592 (java) R 9556 9556 6415 0 -1 4202560 59132 0 0 0 246663 103 0 0 20 0 28 0 418203753 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602434247056 140603697795966 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9593] ppid=9556 vsize=28768328 memory=1056 CPUtime=2468.55 cores=0-7 /proc/9558/task/9593/stat : 9593 (java) R 9556 9556 6415 0 -1 4202560 103728 0 0 0 246642 213 0 0 20 0 28 0 418203753 29458767872 472500 33554432000 4194304 4196468 140722497494272 140602433191888 140603693358665 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 Current children cumulated CPU time: 19886.7 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1891452 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.36 8.45 8.31 9/219 9780 /proc/meminfo: memFree=29061244/32770624 swapFree=66940940/67108860 [pid=9556] ppid=9553 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9556/stat : 9556 (xcsp3-exec) S 9553 9556 6415 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418203539 115843072 363 33554432000 4194304 5098028 140734912295360 140734912293464 140516662133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35966976 140734912299893 140734912300137 140734912300137 140734912303050 0 /proc/9556/statm: 28282 363 304 221 0 87 0 [pid=9558] ppid=9556 vsize=28768328 memory=1843320 CPUtime=20027.6 cores=0-7 /proc/9558/stat : 9558 (java) S 9556 9556 6415 0 -1 1077944320 1169227 0 0 0 2001365 1396 0 0 20 0 28 0 418203539 29458767872 460830 33554432000 4194304 4196468 140722497494272 140722497476816 140604062772983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 /proc/9558/statm: 7192082 460830 3563 1 0 7153184 0 [pid=9558/tid=9559] ppid=9556 vsize=28768328 memory=8112282956445269571 CPUtime=1.96 cores=0-7 /proc/9558/task/9559/stat : 9559 (java) S 9556 9556 6415 0 -1 1077944384 10112 0 0 0 190 6 0 0 20 0 28 0 418203540 29458767872 460830 33554432000 4194304 4196468 140722497494272 140604067013760 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9560] ppid=9556 vsize=28768328 memory=4126316290023845779 CPUtime=14.32 cores=0-7 /proc/9558/task/9560/stat : 9560 (java) S 9556 9556 6415 0 -1 1077944384 48936 0 0 0 1377 55 0 0 20 0 28 0 418203540 29458767872 460830 33554432000 4194304 4196468 140722497494272 140604015393168 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9561] ppid=9556 vsize=28768328 memory=1436 CPUtime=14.25 cores=0-7 /proc/9558/task/9561/stat : 9561 (java) S 9556 9556 6415 0 -1 1077944384 44529 0 0 0 1368 57 0 0 20 0 28 0 418203541 29458767872 460830 33554432000 4194304 4196468 140722497494272 140604014340368 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9562] ppid=9556 vsize=28768328 memory=800 CPUtime=14.36 cores=0-7 /proc/9558/task/9562/stat : 9562 (java) S 9556 9556 6415 0 -1 1077944384 49887 0 0 0 1375 61 0 0 20 0 28 0 418203541 29458767872 460830 33554432000 4194304 4196468 140722497494272 140604013288080 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9563] ppid=9556 vsize=28768328 memory=1764 CPUtime=14.28 cores=0-7 /proc/9558/task/9563/stat : 9563 (java) S 9556 9556 6415 0 -1 1077944384 45130 0 0 0 1370 58 0 0 20 0 28 0 418203541 29458767872 460830 33554432000 4194304 4196468 140722497494272 140604012235280 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9564] ppid=9556 vsize=28768328 memory=1849476 CPUtime=14.37 cores=0-7 /proc/9558/task/9564/stat : 9564 (java) S 9556 9556 6415 0 -1 1077944384 44090 0 0 0 1375 62 0 0 20 0 28 0 418203541 29458767872 460830 33554432000 4194304 4196468 140722497494272 140604011182992 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9565] ppid=9556 vsize=28768328 memory=1849476 CPUtime=14.26 cores=0-7 /proc/9558/task/9565/stat : 9565 (java) S 9556 9556 6415 0 -1 1077944384 45998 0 0 0 1368 58 0 0 20 0 28 0 418203541 29458767872 460830 33554432000 4194304 4196468 140722497494272 140604010130192 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9566] ppid=9556 vsize=28768328 memory=624 CPUtime=14.33 cores=0-7 /proc/9558/task/9566/stat : 9566 (java) S 9556 9556 6415 0 -1 1077944384 45476 0 0 0 1377 56 0 0 20 0 28 0 418203541 29458767872 460830 33554432000 4194304 4196468 140722497494272 140603608128656 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9567] ppid=9556 vsize=28768328 memory=3996 CPUtime=14.37 cores=0-7 /proc/9558/task/9567/stat : 9567 (java) S 9556 9556 6415 0 -1 1077944384 42509 0 0 0 1376 61 0 0 20 0 28 0 418203541 29458767872 460830 33554432000 4194304 4196468 140722497494272 140603607075856 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9568] ppid=9556 vsize=28768328 memory=2832 CPUtime=4.98 cores=0-7 /proc/9558/task/9568/stat : 9568 (java) S 9556 9556 6415 0 -1 1077944384 184280 0 0 0 335 163 0 0 20 0 28 0 418203542 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602458998896 140604062784130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9569] ppid=9556 vsize=28768328 memory=14012 CPUtime=0 cores=0-7 /proc/9558/task/9569/stat : 9569 (java) S 9556 9556 6415 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 418203542 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602457944928 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9570] ppid=9556 vsize=28768328 memory=2112 CPUtime=0 cores=0-7 /proc/9558/task/9570/stat : 9570 (java) S 9556 9556 6415 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 418203543 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602456892544 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9571] ppid=9556 vsize=28768328 memory=12040 CPUtime=0 cores=0-7 /proc/9558/task/9571/stat : 9571 (java) S 9556 9556 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418203545 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602455840848 140604062791579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9572] ppid=9556 vsize=28768328 memory=23948 CPUtime=4.69 cores=0-7 /proc/9558/task/9572/stat : 9572 (java) S 9556 9556 6415 0 -1 1077944384 25306 0 0 0 465 4 0 0 20 0 28 0 418203545 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602454788720 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9573] ppid=9556 vsize=28768328 memory=1556 CPUtime=4.39 cores=0-7 /proc/9558/task/9573/stat : 9573 (java) S 9556 9556 6415 0 -1 1077944384 19084 0 0 0 437 2 0 0 20 0 28 0 418203545 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602453735920 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9574] ppid=9556 vsize=28768328 memory=1532 CPUtime=4.22 cores=0-7 /proc/9558/task/9574/stat : 9574 (java) S 9556 9556 6415 0 -1 1077944384 24090 0 0 0 418 4 0 0 20 0 28 0 418203545 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602452683632 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9575] ppid=9556 vsize=28768328 memory=1088 CPUtime=1.28 cores=0-7 /proc/9558/task/9575/stat : 9575 (java) S 9556 9556 6415 0 -1 1077944384 21921 0 0 0 123 5 0 0 20 0 28 0 418203545 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602451630832 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9576] ppid=9556 vsize=28768328 memory=988 CPUtime=0 cores=0-7 /proc/9558/task/9576/stat : 9576 (java) S 9556 9556 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418203545 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602450577760 140604062783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9577] ppid=9556 vsize=28768328 memory=780 CPUtime=0.87 cores=0-7 /proc/9558/task/9577/stat : 9577 (java) S 9556 9556 6415 0 -1 1077944384 7126 0 0 0 29 58 0 0 20 0 28 0 418203546 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602449525040 140604062784130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9586] ppid=9556 vsize=28768328 memory=5980 CPUtime=2488.23 cores=0-7 /proc/9558/task/9586/stat : 9586 (java) R 9556 9556 6415 0 -1 4202560 16229 0 0 0 248815 8 0 0 20 0 28 0 418203753 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602436349440 140603700763584 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9587] ppid=9556 vsize=28768328 memory=624 CPUtime=2489.65 cores=0-7 /proc/9558/task/9587/stat : 9587 (java) R 9556 9556 6415 0 -1 4202560 19753 0 0 0 248955 10 0 0 20 0 28 0 418203753 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602437403320 140603699072644 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9588] ppid=9556 vsize=28768328 memory=3996 CPUtime=2480.81 cores=0-7 /proc/9558/task/9588/stat : 9588 (java) R 9556 9556 6415 0 -1 4202560 89072 0 0 0 247978 103 0 0 20 0 28 0 418203753 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602440552496 140603693545745 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9589] ppid=9556 vsize=28768328 memory=2832 CPUtime=2486.4 cores=0-7 /proc/9558/task/9589/stat : 9589 (java) R 9556 9556 6415 0 -1 4202560 65508 0 0 0 248485 155 0 0 20 0 28 0 418203753 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602431089696 140603700098168 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9590] ppid=9556 vsize=28768328 memory=14012 CPUtime=2489.48 cores=0-7 /proc/9558/task/9590/stat : 9590 (java) R 9556 9556 6415 0 -1 4202560 85667 0 0 0 248892 56 0 0 20 0 28 0 418203753 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602435298616 140603694432496 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9591] ppid=9556 vsize=28768328 memory=2112 CPUtime=2483.92 cores=0-7 /proc/9558/task/9591/stat : 9591 (java) R 9556 9556 6415 0 -1 4202560 69904 0 0 0 248280 112 0 0 20 0 28 0 418203753 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602432139712 140603697796427 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9592] ppid=9556 vsize=28768328 memory=8112282956445269571 CPUtime=2485.31 cores=0-7 /proc/9558/task/9592/stat : 9592 (java) R 9556 9556 6415 0 -1 4202560 59200 0 0 0 248428 103 0 0 20 0 28 0 418203753 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602434244536 140603697795948 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 [pid=9558/tid=9593] ppid=9556 vsize=28768328 memory=2832 CPUtime=2486.14 cores=0-7 /proc/9558/task/9593/stat : 9593 (java) R 9556 9556 6415 0 -1 4202560 103759 0 0 0 248401 213 0 0 20 0 28 0 418203753 29458767872 460830 33554432000 4194304 4196468 140722497494272 140602433191616 140603695143078 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 6293624 6294260 22388736 140722497500138 140722497500310 140722497500310 140722497503183 0 Current children cumulated CPU time: 20027.6 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1844772 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 9556 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002272 s, system=0 s [startup+2520.1 s] # the end of solver process 9558 was just reported to runsolver # cumulated CPU time of all completed processes: user=20014.3 s, system=13.9783 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): 2520.1 CPU time (s): 20028.3 CPU user time (s): 20014.3 CPU system time (s): 13.9783 CPU usage (%): 794.741 Max. virtual memory (cumulated for all children) (KiB): 28885096 Max. memory (cumulated for all children) (KiB): 2897684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20014.3 system time used= 13.9783 maximum resident set size= 2896232 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1170042 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3584 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 218237 involuntary context switches= 245940 # summary of solver processes directly reported to runsolver: # pid: 9556,9558 # total CPU time (s): 20028.3 # total CPU user time (s): 20014.3 # total CPU system time (s): 13.9783 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.2187 second user time and 31.4171 second system time The end
Begin job on node149 at 2019-09-14 02:06:51 IDJOB=4394659 IDBENCH=120638 IDSOLVER=2843 FILE ID=node149/4394659-1568419648 RUNJOBID= node149-1568416730-6442 PBS_JOBID= 21702252 Free space on /tmp= 61424 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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-4394659-1568419648/watcher-4394659-1568419648 -o /tmp/evaluation-result-4394659-1568419648/solver-4394659-1568419648 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1665783746 HOME/instance-4394659-1568419648.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bac8a2bd88d13c89c2cced4f7584e960 RANDOM SEED=1665783746 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 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.81 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.81 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.81 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: 30896804 kB MemAvailable: 31856552 kB Buffers: 175608 kB Cached: 1084448 kB SwapCached: 61316 kB Active: 608812 kB Inactive: 714008 kB Active(anon): 30124 kB Inactive(anon): 72460 kB Active(file): 578688 kB Inactive(file): 641548 kB Unevictable: 111252 kB Mlocked: 111252 kB SwapTotal: 67108860 kB SwapFree: 66940932 kB Dirty: 26000 kB Writeback: 0 kB AnonPages: 121304 kB Mapped: 44272 kB Shmem: 31364 kB Slab: 140128 kB SReclaimable: 110692 kB SUnreclaim: 29436 kB KernelStack: 3712 kB PageTables: 4784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499060 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61396 MiB End job on node149 at 2019-09-14 02:48:51