Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 231 | 19964 | 2520.12 |
Name | SumColoring/ SumColoring-dsjc-125-1_c18.xml |
MD5SUM | e8035d4b0abecbc1a78dd1ff35d13fe4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 231 |
Best CPU time to get the best result obtained on this benchmark | 19964 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 125 |
Number of constraints | 736 |
Number of domains | 1 |
Minimum domain size | 125 |
Maximum domain size | 125 |
Distribution of domain sizes | [{"size":125,"count":125}] |
Minimum variable degree | 6 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":6,"count":1},{"degree":7,"count":3},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":12},{"degree":11,"count":16},{"degree":12,"count":12},{"degree":13,"count":16},{"degree":14,"count":15},{"degree":15,"count":7},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":4},{"degree":20,"count":3},{"degree":24,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":736}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 736 |
Distribution of constraint types | [{"type":"intension","count":736}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297583-1532707770.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297583-1532707770.xml, -tl, 20160s, -p, 8] 0.11/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 3.19/1.14 c solve instance... 3.19/1.18 o 287 3.19/1.19 o 286 3.63/1.21 o 268 3.63/1.22 o 267 5.87/1.59 o 266 6.68/1.61 o 247 7.43/1.71 o 246 7.43/1.75 o 245 7.43/1.79 o 244 782.93/99.55 o 231 19963.19/2520.10 s SATISFIABLE 19963.19/2520.10 v <instantiation> 19963.19/2520.10 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] </list> 19963.19/2520.10 v <values>1 0 3 1 0 1 1 2 3 0 3 5 3 5 0 3 5 1 1 2 0 1 1 3 1 0 5 4 2 2 1 2 1 1 4 3 0 2 1 1 2 0 3 4 4 2 1 2 1 5 3 0 3 0 2 0 4 3 2 1 4 1 5 1 1 2 2 2 3 0 2 3 0 3 3 0 5 0 2 3 1 2 1 2 3 0 1 1 0 2 4 2 3 3 0 2 1 4 2 0 0 1 0 2 4 4 2 4 0 3 5 1 0 2 4 1 1 1 0 0 2 1 0 0 0 </values> 19963.19/2520.10 v </instantiation> 19963.19/2520.10 c Unexpected resolution interruption!
OK 231
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 (13176 MiB free) memory of node 1: 16384 MiB (13689 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297583-1532707770/watcher-4297583-1532707770 -o /tmp/evaluation-result-4297583-1532707770/solver-4297583-1532707770 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532702492-14629 --watchdog 2580 HOME/xcsp3-exec -seed 1516829963 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297583-1532707770.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=17042, runsolver pid=17039 [startup+0.100135 s]* /proc/loadavg: 8.52 8.52 8.48 2/204 17063 /proc/meminfo: memFree=27494856/32770624 swapFree=67108856/67108860 [pid=17042] ppid=17039 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17042/stat : 17042 (xcsp3-exec) S 17039 17042 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340145 115843072 364 33554432000 4194304 5098028 140725853416064 140725853414168 140303027495548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34963456 140725853418549 140725853418752 140725853418752 140725853421514 0 /proc/17042/statm: 28282 364 306 221 0 87 0 [pid=17044] ppid=17042 vsize=26104152 memory=27460 CPUtime=0.11 cores=0-7 /proc/17044/stat : 17044 (java) S 17042 17042 14602 0 -1 1077944320 5794 0 0 0 10 1 0 0 20 0 20 0 88340146 26730651648 6865 33554432000 4194304 4196468 140721676780208 140721676762752 140397349650167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 /proc/17044/statm: 6526038 6865 2994 1 0 6488315 0 [pid=17044/tid=17045] ppid=17042 vsize=26104152 memory=7681903397526478235 CPUtime=0.09 cores=0-7 /proc/17044/task/17045/stat : 17045 (java) R 17042 17042 14602 0 -1 4202560 3807 0 0 0 8 1 0 0 20 0 20 0 88340146 26730651648 6865 33554432000 4194304 4196468 140721676780208 140397353876528 140397349662102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17046] ppid=17042 vsize=26104152 memory=732369773834931173 CPUtime=0 cores=0-7 /proc/17044/task/17046/stat : 17046 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 6865 33554432000 4194304 4196468 140721676780208 140397314931344 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17047] ppid=17042 vsize=26104152 memory=139635497477760 CPUtime=0 cores=0-7 /proc/17044/task/17047/stat : 17047 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396906990096 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17048] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17048/stat : 17048 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396905937296 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17049] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17049/stat : 17049 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396904884496 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17050] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17050/stat : 17050 (java) S 17042 17042 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396903832720 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17051] ppid=17042 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17044/task/17051/stat : 17051 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396902779920 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17052] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17052/stat : 17052 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396901727120 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17053] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17053/stat : 17053 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396900674320 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17054] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17054/stat : 17054 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340148 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396745476464 140397349661314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17055] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17055/stat : 17055 (java) S 17042 17042 14602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88340149 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396744422432 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17056] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17056/stat : 17056 (java) S 17042 17042 14602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88340149 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396743369584 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17057] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17057/stat : 17057 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340151 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396742317904 140397349668763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17058] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17058/stat : 17058 (java) S 17042 17042 14602 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 88340151 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396741266288 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17059] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17059/stat : 17059 (java) S 17042 17042 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340151 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396740213488 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17060] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17060/stat : 17060 (java) S 17042 17042 14602 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88340151 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396739160688 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17061] ppid=17042 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/17044/task/17061/stat : 17061 (java) R 17042 17042 14602 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 88340151 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396738107888 140397349662102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17062] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17062/stat : 17062 (java) S 17042 17042 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340151 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396737055328 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17063] ppid=17042 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17044/task/17063/stat : 17063 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340152 26730651648 6865 33554432000 4194304 4196468 140721676780208 140396736002608 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28916 KiB [startup+0.213168 s]* /proc/loadavg: 7.91 8.39 8.44 2/204 17063 /proc/meminfo: memFree=27483088/32770624 swapFree=67108856/67108860 [pid=17042] ppid=17039 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17042/stat : 17042 (xcsp3-exec) S 17039 17042 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340145 115843072 364 33554432000 4194304 5098028 140725853416064 140725853414168 140303027495548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34963456 140725853418549 140725853418752 140725853418752 140725853421514 0 /proc/17042/statm: 28282 364 306 221 0 87 0 [pid=17044] ppid=17042 vsize=26104152 memory=39772 CPUtime=0.33 cores=0-7 /proc/17044/stat : 17044 (java) S 17042 17042 14602 0 -1 1077944320 8545 0 0 0 31 2 0 0 20 0 20 0 88340146 26730651648 9943 33554432000 4194304 4196468 140721676780208 140721676762752 140397349650167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 /proc/17044/statm: 6526038 9943 3206 1 0 6488315 0 [pid=17044/tid=17045] ppid=17042 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7 /proc/17044/task/17045/stat : 17045 (java) R 17042 17042 14602 0 -1 4202560 5668 0 0 0 19 1 0 0 20 0 20 0 88340146 26730651648 9943 33554432000 4194304 4196468 140721676780208 140397353889168 140397335017936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17046] ppid=17042 vsize=26104152 memory=279270856959736 CPUtime=0 cores=0-7 /proc/17044/task/17046/stat : 17046 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 9943 33554432000 4194304 4196468 140721676780208 140397314931344 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17047] ppid=17042 vsize=26104152 memory=139635497477760 CPUtime=0 cores=0-7 /proc/17044/task/17047/stat : 17047 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 9943 33554432000 4194304 4196468 140721676780208 140396906990096 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17048] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17048/stat : 17048 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 9943 33554432000 4194304 4196468 140721676780208 140396905937296 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17049] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17049/stat : 17049 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 9943 33554432000 4194304 4196468 140721676780208 140396904884496 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17050] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17050/stat : 17050 (java) S 17042 17042 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 9943 33554432000 4194304 4196468 140721676780208 140396903832720 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17051] ppid=17042 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17044/task/17051/stat : 17051 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396902779920 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17052] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17052/stat : 17052 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396901727120 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17053] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17053/stat : 17053 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396900674320 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17054] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17054/stat : 17054 (java) S 17042 17042 14602 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88340148 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396745476464 140397349661314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17055] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17055/stat : 17055 (java) S 17042 17042 14602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88340149 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396744422432 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17056] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17056/stat : 17056 (java) S 17042 17042 14602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88340149 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396743369584 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17057] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17057/stat : 17057 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340151 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396742317904 140397349668763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17058] ppid=17042 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/17044/task/17058/stat : 17058 (java) S 17042 17042 14602 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 20 0 88340151 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396741266288 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17059] ppid=17042 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/17044/task/17059/stat : 17059 (java) S 17042 17042 14602 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 88340151 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396740213488 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17060] ppid=17042 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/17044/task/17060/stat : 17060 (java) S 17042 17042 14602 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 20 0 88340151 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396739160688 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17061] ppid=17042 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/17044/task/17061/stat : 17061 (java) S 17042 17042 14602 0 -1 1077944384 769 0 0 0 8 0 0 0 20 0 20 0 88340151 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396738107888 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17062] ppid=17042 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17062/stat : 17062 (java) S 17042 17042 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340151 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396737055328 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17063] ppid=17042 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17044/task/17063/stat : 17063 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340152 26730651648 10008 33554432000 4194304 4196468 140721676780208 140396736002608 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41228 KiB [startup+0.314806 s]* /proc/loadavg: 7.91 8.39 8.44 3/204 17063 /proc/meminfo: memFree=27477680/32770624 swapFree=67108856/67108860 [pid=17042] ppid=17039 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17042/stat : 17042 (xcsp3-exec) S 17039 17042 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340145 115843072 364 33554432000 4194304 5098028 140725853416064 140725853414168 140303027495548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34963456 140725853418549 140725853418752 140725853418752 140725853421514 0 /proc/17042/statm: 28282 364 306 221 0 87 0 [pid=17044] ppid=17042 vsize=26108408 memory=46604 CPUtime=0.53 cores=0-7 /proc/17044/stat : 17044 (java) S 17042 17042 14602 0 -1 1077944320 9449 0 0 0 50 3 0 0 20 0 20 0 88340146 26735009792 11651 33554432000 4194304 4196468 140721676780208 140721676762752 140397349650167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 /proc/17044/statm: 6527102 11651 3251 1 0 6488315 0 [pid=17044/tid=17045] ppid=17042 vsize=26108408 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/17044/task/17045/stat : 17045 (java) R 17042 17042 14602 0 -1 4202560 6389 0 0 0 28 2 0 0 20 0 20 0 88340146 26735009792 11651 33554432000 4194304 4196468 140721676780208 140397353881280 140397333730654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17046] ppid=17042 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17046/stat : 17046 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340147 26735009792 11651 33554432000 4194304 4196468 140721676780208 140397314931344 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17047] ppid=17042 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17047/stat : 17047 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396906990096 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17048] ppid=17042 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17048/stat : 17048 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340147 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396905937296 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17049] ppid=17042 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17049/stat : 17049 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396904884496 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17050] ppid=17042 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/17044/task/17050/stat : 17050 (java) S 17042 17042 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340147 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396903832720 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17051] ppid=17042 vsize=26108408 memory=139635359577007 CPUtime=0 cores=0-7 /proc/17044/task/17051/stat : 17051 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396902779920 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17052] ppid=17042 vsize=26108408 memory=139635359579312 CPUtime=0 cores=0-7 /proc/17044/task/17052/stat : 17052 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396901727120 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17053] ppid=17042 vsize=26108408 memory=139635359581616 CPUtime=0 cores=0-7 /proc/17044/task/17053/stat : 17053 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396900674320 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17054] ppid=17042 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17054/stat : 17054 (java) S 17042 17042 14602 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88340148 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396745476464 140397349661314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17055] ppid=17042 vsize=26108408 memory=279270719170192 CPUtime=0 cores=0-7 /proc/17044/task/17055/stat : 17055 (java) S 17042 17042 14602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88340149 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396744422432 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17056] ppid=17042 vsize=26108408 memory=279270719177104 CPUtime=0 cores=0-7 /proc/17044/task/17056/stat : 17056 (java) S 17042 17042 14602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88340149 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396743369584 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17057] ppid=17042 vsize=26108408 memory=279270719118384 CPUtime=0 cores=0-7 /proc/17044/task/17057/stat : 17057 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340151 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396742317904 140397349668763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17058] ppid=17042 vsize=26108408 memory=279270719190928 CPUtime=0.01 cores=0-7 /proc/17044/task/17058/stat : 17058 (java) S 17042 17042 14602 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 20 0 88340151 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396741266288 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17059] ppid=17042 vsize=26108408 memory=279270719197840 CPUtime=0.02 cores=0-7 /proc/17044/task/17059/stat : 17059 (java) S 17042 17042 14602 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 20 0 88340151 26735009792 11651 33554432000 4194304 4196468 140721676780208 140396740213488 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17060] ppid=17042 vsize=26108408 memory=279270719195536 CPUtime=0.04 cores=0-7 /proc/17044/task/17060/stat : 17060 (java) S 17042 17042 14602 0 -1 1077944384 435 0 0 0 4 0 0 0 20 0 20 0 88340151 26735009792 11716 33554432000 4194304 4196468 140721676780208 140396739160688 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17061] ppid=17042 vsize=26108408 memory=279270719211696 CPUtime=0.12 cores=0-7 /proc/17044/task/17061/stat : 17061 (java) S 17042 17042 14602 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 20 0 88340151 26735009792 11716 33554432000 4194304 4196468 140721676780208 140396738107888 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17062] ppid=17042 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17044/task/17062/stat : 17062 (java) S 17042 17042 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88340151 26735009792 11716 33554432000 4194304 4196468 140721676780208 140396737055328 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17063] ppid=17042 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/17044/task/17063/stat : 17063 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340152 26735009792 11716 33554432000 4194304 4196468 140721676780208 140396736002608 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48060 KiB [startup+0.701 s] /proc/loadavg: 7.91 8.39 8.44 3/204 17063 /proc/meminfo: memFree=27467320/32770624 swapFree=67108856/67108860 [pid=17042] ppid=17039 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17042/stat : 17042 (xcsp3-exec) S 17039 17042 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340145 115843072 364 33554432000 4194304 5098028 140725853416064 140725853414168 140303027495548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34963456 140725853418549 140725853418752 140725853418752 140725853421514 0 /proc/17042/statm: 28282 364 306 221 0 87 0 [pid=17044] ppid=17042 vsize=26110532 memory=80744 CPUtime=1.5 cores=0-7 /proc/17044/stat : 17044 (java) S 17042 17042 14602 0 -1 1077944320 12899 0 0 0 145 5 0 0 20 0 20 0 88340146 26737184768 20186 33554432000 4194304 4196468 140721676780208 140721676762752 140397349650167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 /proc/17044/statm: 6527633 20186 3359 1 0 6488827 0 [pid=17044/tid=17045] ppid=17042 vsize=26110532 memory=279270719506560 CPUtime=0.66 cores=0-7 /proc/17044/task/17045/stat : 17045 (java) R 17042 17042 14602 0 -1 4202560 7251 0 0 0 64 2 0 0 20 0 20 0 88340146 26737184768 20186 33554432000 4194304 4196468 140721676780208 140397353890752 140397349662102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17046] ppid=17042 vsize=26110532 memory=796 CPUtime=0 cores=0-7 /proc/17044/task/17046/stat : 17046 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340147 26737184768 20186 33554432000 4194304 4196468 140721676780208 140397314931344 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17047] ppid=17042 vsize=26110532 memory=1712 CPUtime=0 cores=0-7 /proc/17044/task/17047/stat : 17047 (java) S 17042 17042 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88340147 26737184768 20186 33554432000 4194304 4196468 140721676780208 140396906990096 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17048] ppid=17042 vsize=26110532 memory=11860 CPUtime=0 cores=0-7 /proc/17044/task/17048/stat : 17048 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88340147 26737184768 20186 33554432000 4194304 4196468 140721676780208 140396905937296 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 ################ # More data... # ################ [pid=17044/tid=17158] ppid=17042 vsize=26647148 memory=4036 CPUtime=2313.77 cores=0-7 /proc/17044/task/17158/stat : 17158 (java) R 17042 17042 14602 0 -1 4202560 96351 0 0 0 231325 52 0 0 20 0 28 0 88350102 27286679552 150668 33554432000 4194304 4196468 140721676780208 140396721954968 140396994162624 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 Current children cumulated CPU time: 19347.1 s Current children cumulated vsize: 26760276 KiB Current children cumulated memory: 604128 KiB [startup+2502.31 s] /proc/loadavg: 7.53 8.12 8.27 9/213 17199 /proc/meminfo: memFree=26875596/32770624 swapFree=67108856/67108860 [pid=17042] ppid=17039 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17042/stat : 17042 (xcsp3-exec) S 17039 17042 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340145 115843072 364 33554432000 4194304 5098028 140725853416064 140725853414168 140303027495548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34963456 140725853418549 140725853418752 140725853418752 140725853421514 0 /proc/17042/statm: 28282 364 306 221 0 87 0 [pid=17044] ppid=17042 vsize=26647148 memory=647464 CPUtime=19822.6 cores=0-7 /proc/17044/stat : 17044 (java) S 17042 17042 14602 0 -1 1077944320 734875 0 0 0 1981655 600 0 0 20 0 28 0 88340146 27286679552 161866 33554432000 4194304 4196468 140721676780208 140721676762752 140397349650167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 /proc/17044/statm: 6661787 161866 3459 1 0 6622981 0 [pid=17044/tid=17045] ppid=17042 vsize=26647148 memory=1456 CPUtime=1.11 cores=0-7 /proc/17044/task/17045/stat : 17045 (java) S 17042 17042 14602 0 -1 1077944384 8979 0 0 0 107 4 0 0 20 0 28 0 88340146 27286679552 161866 33554432000 4194304 4196468 140721676780208 140397353890944 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17046] ppid=17042 vsize=26647148 memory=647464 CPUtime=7.29 cores=0-7 /proc/17044/task/17046/stat : 17046 (java) S 17042 17042 14602 0 -1 1077944384 35310 0 0 0 698 31 0 0 20 0 28 0 88340147 27286679552 161866 33554432000 4194304 4196468 140721676780208 140397314931344 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17047] ppid=17042 vsize=26647148 memory=616744 CPUtime=7.38 cores=0-7 /proc/17044/task/17047/stat : 17047 (java) S 17042 17042 14602 0 -1 1077944384 32187 0 0 0 703 35 0 0 20 0 28 0 88340147 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396906990096 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17048] ppid=17042 vsize=26647148 memory=604984 CPUtime=7.34 cores=0-7 /proc/17044/task/17048/stat : 17048 (java) S 17042 17042 14602 0 -1 1077944384 26872 0 0 0 699 35 0 0 20 0 28 0 88340147 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396905937296 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17049] ppid=17042 vsize=26647148 memory=616744 CPUtime=7.37 cores=0-7 /proc/17044/task/17049/stat : 17049 (java) S 17042 17042 14602 0 -1 1077944384 27120 0 0 0 706 31 0 0 20 0 28 0 88340147 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396904884496 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17050] ppid=17042 vsize=26647148 memory=616744 CPUtime=7.39 cores=0-7 /proc/17044/task/17050/stat : 17050 (java) S 17042 17042 14602 0 -1 1077944384 30807 0 0 0 702 37 0 0 20 0 28 0 88340147 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396903832720 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17051] ppid=17042 vsize=26647148 memory=616744 CPUtime=7.28 cores=0-7 /proc/17044/task/17051/stat : 17051 (java) S 17042 17042 14602 0 -1 1077944384 28486 0 0 0 696 32 0 0 20 0 28 0 88340147 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396902779920 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17052] ppid=17042 vsize=26647148 memory=1456 CPUtime=7.42 cores=0-7 /proc/17044/task/17052/stat : 17052 (java) S 17042 17042 14602 0 -1 1077944384 30355 0 0 0 706 36 0 0 20 0 28 0 88340147 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396901727120 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17053] ppid=17042 vsize=26647148 memory=647464 CPUtime=7.42 cores=0-7 /proc/17044/task/17053/stat : 17053 (java) S 17042 17042 14602 0 -1 1077944384 29949 0 0 0 707 35 0 0 20 0 28 0 88340147 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396900674320 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17054] ppid=17042 vsize=26647148 memory=1456 CPUtime=6.81 cores=0-7 /proc/17044/task/17054/stat : 17054 (java) S 17042 17042 14602 0 -1 1077944384 102459 0 0 0 546 135 0 0 20 0 28 0 88340148 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396745476464 140397349661314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17055] ppid=17042 vsize=26647148 memory=1456 CPUtime=0 cores=0-7 /proc/17044/task/17055/stat : 17055 (java) S 17042 17042 14602 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 88340149 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396744422496 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17056] ppid=17042 vsize=26647148 memory=1456 CPUtime=0 cores=0-7 /proc/17044/task/17056/stat : 17056 (java) S 17042 17042 14602 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 88340149 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396743369600 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17057] ppid=17042 vsize=26647148 memory=1456 CPUtime=0 cores=0-7 /proc/17044/task/17057/stat : 17057 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88340151 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396742317904 140397349668763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17058] ppid=17042 vsize=26647148 memory=1456 CPUtime=2.2 cores=0-7 /proc/17044/task/17058/stat : 17058 (java) S 17042 17042 14602 0 -1 1077944384 16425 0 0 0 216 4 0 0 20 0 28 0 88340151 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396741266288 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17059] ppid=17042 vsize=26647148 memory=4616 CPUtime=1.8 cores=0-7 /proc/17044/task/17059/stat : 17059 (java) S 17042 17042 14602 0 -1 1077944384 12580 0 0 0 179 1 0 0 20 0 28 0 88340151 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396740213488 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17060] ppid=17042 vsize=26647148 memory=1388 CPUtime=1.8 cores=0-7 /proc/17044/task/17060/stat : 17060 (java) S 17042 17042 14602 0 -1 1077944384 14541 0 0 0 178 2 0 0 20 0 28 0 88340151 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396739160688 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17061] ppid=17042 vsize=26647148 memory=1456 CPUtime=0.84 cores=0-7 /proc/17044/task/17061/stat : 17061 (java) S 17042 17042 14602 0 -1 1077944384 12963 0 0 0 82 2 0 0 20 0 28 0 88340151 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396738107888 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17062] ppid=17042 vsize=26647148 memory=600516 CPUtime=0 cores=0-7 /proc/17044/task/17062/stat : 17062 (java) S 17042 17042 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88340151 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396737055328 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17063] ppid=17042 vsize=26647148 memory=604780 CPUtime=0.44 cores=0-7 /proc/17044/task/17063/stat : 17063 (java) S 17042 17042 14602 0 -1 1077944384 5009 0 0 0 20 24 0 0 20 0 28 0 88340152 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396736002608 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17151] ppid=17042 vsize=26647148 memory=1456 CPUtime=2373.73 cores=0-7 /proc/17044/task/17151/stat : 17151 (java) R 17042 17042 14602 0 -1 4202560 15638 0 0 0 237353 20 0 0 20 0 28 0 88350101 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396723006688 140396993007355 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17152] ppid=17042 vsize=26647148 memory=1456 CPUtime=2374.5 cores=0-7 /proc/17044/task/17152/stat : 17152 (java) R 17042 17042 14602 0 -1 4202560 17121 0 0 0 237435 15 0 0 20 0 28 0 88350101 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396726168240 140396993775876 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17153] ppid=17042 vsize=26647148 memory=616744 CPUtime=2371.02 cores=0-7 /proc/17044/task/17153/stat : 17153 (java) R 17042 17042 14602 0 -1 4202560 18041 0 0 0 237082 20 0 0 20 0 28 0 88350101 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396724061464 140396993007656 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17154] ppid=17042 vsize=26647148 memory=6791534058613427641 CPUtime=2369.31 cores=0-7 /proc/17044/task/17154/stat : 17154 (java) R 17042 17042 14602 0 -1 4202560 50157 0 0 0 236898 33 0 0 20 0 28 0 88350101 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396727218528 140396993478260 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17155] ppid=17042 vsize=26647148 memory=279270721216272 CPUtime=2370.94 cores=0-7 /proc/17044/task/17155/stat : 17155 (java) R 17042 17042 14602 0 -1 4202560 35387 0 0 0 237074 20 0 0 20 0 28 0 88350101 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396725113056 140396993477017 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17156] ppid=17042 vsize=26647148 memory=5931921768308101989 CPUtime=2370.23 cores=0-7 /proc/17044/task/17156/stat : 17156 (java) R 17042 17042 14602 0 -1 4202560 13236 0 0 0 237007 16 0 0 20 0 28 0 88350101 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396719849616 140396993038920 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17157] ppid=17042 vsize=26647148 memory=607032 CPUtime=2371.9 cores=0-7 /proc/17044/task/17157/stat : 17157 (java) R 17042 17042 14602 0 -1 4202560 48078 0 0 0 237166 24 0 0 20 0 28 0 88350101 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396716700304 140396993088223 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17158] ppid=17042 vsize=26647148 memory=1456 CPUtime=2372.96 cores=0-7 /proc/17044/task/17158/stat : 17158 (java) R 17042 17042 14602 0 -1 4202560 98799 0 0 0 237241 55 0 0 20 0 28 0 88350102 27286679552 161866 33554432000 4194304 4196468 140721676780208 140396721955104 140396993058929 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 Current children cumulated CPU time: 19822.6 s Current children cumulated vsize: 26760276 KiB Current children cumulated memory: 648920 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 7.70 8.13 8.27 9/213 17199 /proc/meminfo: memFree=26882000/32770624 swapFree=67108856/67108860 [pid=17042] ppid=17039 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17042/stat : 17042 (xcsp3-exec) S 17039 17042 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88340145 115843072 364 33554432000 4194304 5098028 140725853416064 140725853414168 140303027495548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34963456 140725853418549 140725853418752 140725853418752 140725853421514 0 /proc/17042/statm: 28282 364 306 221 0 87 0 [pid=17044] ppid=17042 vsize=26647148 memory=640284 CPUtime=19963.2 cores=0-7 /proc/17044/stat : 17044 (java) S 17042 17042 14602 0 -1 1077944320 749700 0 0 0 1995710 609 0 0 20 0 28 0 88340146 27286679552 160071 33554432000 4194304 4196468 140721676780208 140721676762752 140397349650167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 /proc/17044/statm: 6661787 160071 3459 1 0 6622981 0 [pid=17044/tid=17045] ppid=17042 vsize=26647148 memory=6791534058613427641 CPUtime=1.11 cores=0-7 /proc/17044/task/17045/stat : 17045 (java) S 17042 17042 14602 0 -1 1077944384 8979 0 0 0 107 4 0 0 20 0 28 0 88340146 27286679552 160071 33554432000 4194304 4196468 140721676780208 140397353890944 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17046] ppid=17042 vsize=26647148 memory=-7003737579269690708 CPUtime=7.35 cores=0-7 /proc/17044/task/17046/stat : 17046 (java) S 17042 17042 14602 0 -1 1077944384 35890 0 0 0 703 32 0 0 20 0 28 0 88340147 27286679552 160071 33554432000 4194304 4196468 140721676780208 140397314931344 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17047] ppid=17042 vsize=26647148 memory=4616 CPUtime=7.43 cores=0-7 /proc/17044/task/17047/stat : 17047 (java) S 17042 17042 14602 0 -1 1077944384 32945 0 0 0 708 35 0 0 20 0 28 0 88340147 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396906990096 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17048] ppid=17042 vsize=26647148 memory=1388 CPUtime=7.39 cores=0-7 /proc/17044/task/17048/stat : 17048 (java) S 17042 17042 14602 0 -1 1077944384 27289 0 0 0 704 35 0 0 20 0 28 0 88340147 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396905937296 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17049] ppid=17042 vsize=26647148 memory=1232 CPUtime=7.43 cores=0-7 /proc/17044/task/17049/stat : 17049 (java) S 17042 17042 14602 0 -1 1077944384 28253 0 0 0 711 32 0 0 20 0 28 0 88340147 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396904884496 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17050] ppid=17042 vsize=26647148 memory=1012 CPUtime=7.43 cores=0-7 /proc/17044/task/17050/stat : 17050 (java) S 17042 17042 14602 0 -1 1077944384 32129 0 0 0 706 37 0 0 20 0 28 0 88340147 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396903832720 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17051] ppid=17042 vsize=26647148 memory=1948 CPUtime=7.33 cores=0-7 /proc/17044/task/17051/stat : 17051 (java) S 17042 17042 14602 0 -1 1077944384 29060 0 0 0 701 32 0 0 20 0 28 0 88340147 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396902779920 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17052] ppid=17042 vsize=26647148 memory=1188 CPUtime=7.48 cores=0-7 /proc/17044/task/17052/stat : 17052 (java) S 17042 17042 14602 0 -1 1077944384 30896 0 0 0 712 36 0 0 20 0 28 0 88340147 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396901727120 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17053] ppid=17042 vsize=26647148 memory=6791534058613427641 CPUtime=7.47 cores=0-7 /proc/17044/task/17053/stat : 17053 (java) S 17042 17042 14602 0 -1 1077944384 30460 0 0 0 712 35 0 0 20 0 28 0 88340147 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396900674320 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17054] ppid=17042 vsize=26647148 memory=1572 CPUtime=6.83 cores=0-7 /proc/17044/task/17054/stat : 17054 (java) S 17042 17042 14602 0 -1 1077944384 104179 0 0 0 547 136 0 0 20 0 28 0 88340148 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396745476464 140397349661314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17055] ppid=17042 vsize=26647148 memory=928 CPUtime=0 cores=0-7 /proc/17044/task/17055/stat : 17055 (java) S 17042 17042 14602 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 88340149 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396744422496 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17056] ppid=17042 vsize=26647148 memory=2244 CPUtime=0 cores=0-7 /proc/17044/task/17056/stat : 17056 (java) S 17042 17042 14602 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 88340149 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396743369600 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17057] ppid=17042 vsize=26647148 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/17044/task/17057/stat : 17057 (java) S 17042 17042 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88340151 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396742317904 140397349668763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17058] ppid=17042 vsize=26647148 memory=1388 CPUtime=2.2 cores=0-7 /proc/17044/task/17058/stat : 17058 (java) S 17042 17042 14602 0 -1 1077944384 16433 0 0 0 216 4 0 0 20 0 28 0 88340151 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396741266288 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17059] ppid=17042 vsize=26647148 memory=1232 CPUtime=1.8 cores=0-7 /proc/17044/task/17059/stat : 17059 (java) S 17042 17042 14602 0 -1 1077944384 12588 0 0 0 179 1 0 0 20 0 28 0 88340151 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396740213488 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17060] ppid=17042 vsize=26647148 memory=1012 CPUtime=1.8 cores=0-7 /proc/17044/task/17060/stat : 17060 (java) S 17042 17042 14602 0 -1 1077944384 14549 0 0 0 178 2 0 0 20 0 28 0 88340151 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396739160688 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17061] ppid=17042 vsize=26647148 memory=1948 CPUtime=0.84 cores=0-7 /proc/17044/task/17061/stat : 17061 (java) S 17042 17042 14602 0 -1 1077944384 12971 0 0 0 82 2 0 0 20 0 28 0 88340151 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396738107888 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17062] ppid=17042 vsize=26647148 memory=1712 CPUtime=0 cores=0-7 /proc/17044/task/17062/stat : 17062 (java) S 17042 17042 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88340151 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396737055328 140397349660373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17063] ppid=17042 vsize=26647148 memory=11860 CPUtime=0.44 cores=0-7 /proc/17044/task/17063/stat : 17063 (java) S 17042 17042 14602 0 -1 1077944384 5107 0 0 0 20 24 0 0 20 0 28 0 88340152 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396736002608 140397349661314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17151] ppid=17042 vsize=26647148 memory=1456 CPUtime=2391.31 cores=0-7 /proc/17044/task/17151/stat : 17151 (java) R 17042 17042 14602 0 -1 4202560 16047 0 0 0 239110 21 0 0 20 0 28 0 88350101 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396723006688 140396993593207 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17152] ppid=17042 vsize=26647148 memory=641308 CPUtime=2391.87 cores=0-7 /proc/17044/task/17152/stat : 17152 (java) R 17042 17042 14602 0 -1 4202560 17561 0 0 0 239171 16 0 0 20 0 28 0 88350101 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396726165912 140396993007690 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17153] ppid=17042 vsize=26647148 memory=1388 CPUtime=2388.48 cores=0-7 /proc/17044/task/17153/stat : 17153 (java) R 17042 17042 14602 0 -1 4202560 18469 0 0 0 238827 21 0 0 20 0 28 0 88350101 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396724060576 140396993039016 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17154] ppid=17042 vsize=26647148 memory=1232 CPUtime=2386.88 cores=0-7 /proc/17044/task/17154/stat : 17154 (java) R 17042 17042 14602 0 -1 4202560 50848 0 0 0 238654 34 0 0 20 0 28 0 88350101 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396727219216 140396993038926 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17155] ppid=17042 vsize=26647148 memory=1012 CPUtime=2388.49 cores=0-7 /proc/17044/task/17155/stat : 17155 (java) R 17042 17042 14602 0 -1 4202560 36414 0 0 0 238829 20 0 0 20 0 28 0 88350101 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396725113744 140396993008119 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17156] ppid=17042 vsize=26647148 memory=1948 CPUtime=2387.8 cores=0-7 /proc/17044/task/17156/stat : 17156 (java) R 17042 17042 14602 0 -1 4202560 13643 0 0 0 238764 16 0 0 20 0 28 0 88350101 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396719850256 140396993007804 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17157] ppid=17042 vsize=26647148 memory=1188 CPUtime=2389.47 cores=0-7 /proc/17044/task/17157/stat : 17157 (java) R 17042 17042 14602 0 -1 4202560 49392 0 0 0 238922 25 0 0 20 0 28 0 88350101 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396716699664 140396993058896 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 [pid=17044/tid=17158] ppid=17042 vsize=26647148 memory=8440 CPUtime=2390.51 cores=0-7 /proc/17044/task/17158/stat : 17158 (java) R 17042 17042 14602 0 -1 4202560 101212 0 0 0 238994 57 0 0 20 0 28 0 88350102 27286679552 160071 33554432000 4194304 4196468 140721676780208 140396721957504 140396993478269 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 25595904 140721676784769 140721676784941 140721676784941 140721676787663 0 Current children cumulated CPU time: 19963.2 s Current children cumulated vsize: 26760276 KiB Current children cumulated memory: 641740 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 17042 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001146 s, system=0.001146 s [startup+2520.12 s] # the end of solver process 17044 was just reported to runsolver # cumulated CPU time of all completed processes: user=19957.9 s, system=6.10498 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.12 CPU time (s): 19964 CPU user time (s): 19957.9 CPU system time (s): 6.10498 CPU usage (%): 792.185 Max. virtual memory (cumulated for all children) (KiB): 26760276 Max. memory (cumulated for all children) (KiB): 731044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19957.9 system time used= 6.10498 maximum resident set size= 729588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 750599 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 535737 involuntary context switches= 262038 # summary of solver processes directly reported to runsolver: # pid: 17042,17044 # total CPU time (s): 19964 # total CPU user time (s): 19957.9 # total CPU system time (s): 6.10498 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 26.6051 second user time and 23.2203 second system time The end
Begin job on node133 at 2018-07-27 18:09:30 IDJOB=4297583 IDBENCH=141215 IDSOLVER=2760 FILE ID=node133/4297583-1532707770 RUNJOBID= node133-1532702492-14629 PBS_JOBID= 21022300 Free space on /tmp= 48252 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-1_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297583-1532707770/watcher-4297583-1532707770 -o /tmp/evaluation-result-4297583-1532707770/solver-4297583-1532707770 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532702492-14629 --watchdog 2580 HOME/xcsp3-exec -seed 1516829963 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297583-1532707770.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e8035d4b0abecbc1a78dd1ff35d13fe4 RANDOM SEED=1516829963 node133.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.24 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.24 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.24 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.24 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: 27511756 kB MemAvailable: 31947492 kB Buffers: 155228 kB Cached: 4528820 kB SwapCached: 0 kB Active: 2138576 kB Inactive: 2598160 kB Active(anon): 3808 kB Inactive(anon): 76692 kB Active(file): 2134768 kB Inactive(file): 2521468 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 21832 kB Writeback: 0 kB AnonPages: 53196 kB Mapped: 40196 kB Shmem: 25244 kB Slab: 217972 kB SReclaimable: 190668 kB SUnreclaim: 27304 kB KernelStack: 3600 kB PageTables: 4616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325140 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: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48228 MiB End job on node133 at 2018-07-27 18:51:30