Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 352 | 20092.7 | 2520.15 |
Name | SteelMillSlab/ SteelMillSlab-m1-4-0_c18.xml |
MD5SUM | ed32499ea7c7019ad5624e4a2d93decd |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 352 |
Best CPU time to get the best result obtained on this benchmark | 20092.7 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 333 |
Number of constraints | 356 |
Number of domains | 3 |
Minimum domain size | 10 |
Maximum domain size | 111 |
Distribution of domain sizes | [{"size":10,"count":111},{"size":37,"count":111},{"size":111,"count":111}] |
Minimum variable degree | 2 |
Maximum variable degree | 224 |
Distribution of variable degrees | [{"degree":2,"count":111},{"degree":4,"count":111},{"degree":222,"count":78},{"degree":223,"count":24},{"degree":224,"count":9}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 112 |
Distribution of constraint arities | [{"arity":2,"count":132},{"arity":111,"count":113},{"arity":112,"count":111}] |
Number of extensional constraints | 111 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"extension","count":111},{"type":"intension","count":21},{"type":"ordered","count":1},{"type":"sum","count":223}] |
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-4297542-1532733569.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297542-1532733569.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 8.59/2.57 c solve instance... 71.46/10.56 o 354 726.07/92.62 o 352 20091.83/2520.09 s SATISFIABLE 20091.83/2520.09 v <instantiation> 20091.83/2520.09 v <list>slab[0] slab[1] slab[2] slab[3] slab[4] slab[5] slab[6] slab[7] slab[8] slab[9] slab[10] slab[11] slab[12] slab[13] slab[14] slab[15] slab[16] slab[17] slab[18] slab[19] slab[20] slab[21] slab[22] slab[23] slab[24] slab[25] slab[26] slab[27] slab[28] slab[29] slab[30] slab[31] slab[32] slab[33] slab[34] slab[35] slab[36] slab[37] slab[38] slab[39] slab[40] slab[41] slab[42] slab[43] slab[44] slab[45] slab[46] slab[47] slab[48] slab[49] slab[50] slab[51] slab[52] slab[53] slab[54] slab[55] slab[56] slab[57] slab[58] slab[59] slab[60] slab[61] slab[62] slab[63] slab[64] slab[65] slab[66] slab[67] slab[68] slab[69] slab[70] slab[71] slab[72] slab[73] slab[74] slab[75] slab[76] slab[77] slab[78] slab[79] slab[80] slab[81] slab[82] slab[83] slab[84] slab[85] slab[86] slab[87] slab[88] slab[89] slab[90] slab[91] slab[92] slab[93] slab[94] slab[95] slab[96] slab[97] slab[98] slab[99] slab[100] slab[101] slab[102] slab[103] slab[104] slab[105] slab[106] slab[107] slab[108] slab[109] slab[110] load[0] load[1] load[2] load[3] load[4] load[5] load[6] load[7] load[8] load[9] load[10] load[11] load[12] load[13] load[14] load[15] load[16] load[17] load[18] load[19] load[20] load[21] load[22] load[23] load[24] load[25] load[26] load[27] load[28] load[29] load[30] load[31] load[32] load[33] load[34] load[35] load[36] load[37] load[38] load[39] load[40] load[41] load[42] load[43] load[44] load[45] load[46] load[47] load[48] load[49] load[50] load[51] load[52] load[53] load[54] load[55] load[56] load[57] load[58] load[59] load[60] load[61] load[62] load[63] load[64] load[65] load[66] load[67] load[68] load[69] load[70] load[71] load[72] load[73] load[74] load[75] load[76] load[77] load[78] load[79] load[80] load[81] load[82] load[83] load[84] load[85] load[86] load[87] load[88] load[89] load[90] load[91] load[92] load[93] load[94] load[95] load[96] load[97] load[98] load[99] load[100] load[101] load[102] load[103] load[104] load[105] load[106] load[107] load[108] load[109] load[110] loss[0] loss[1] loss[2] loss[3] loss[4] loss[5] loss[6] loss[7] loss[8] loss[9] loss[10] loss[11] loss[12] loss[13] loss[14] loss[15] loss[16] loss[17] loss[18] loss[19] loss[20] loss[21] loss[22] loss[23] loss[24] loss[25] loss[26] loss[27] loss[28] loss[29] loss[30] loss[31] loss[32] loss[33] loss[34] loss[35] loss[36] loss[37] loss[38] loss[39] loss[40] loss[41] loss[42] loss[43] loss[44] loss[45] loss[46] loss[47] loss[48] loss[49] loss[50] loss[51] loss[52] loss[53] loss[54] loss[55] loss[56] loss[57] loss[58] loss[59] loss[60] loss[61] loss[62] loss[63] loss[64] loss[65] loss[66] loss[67] loss[68] loss[69] loss[70] loss[71] loss[72] loss[73] loss[74] loss[75] loss[76] loss[77] loss[78] loss[79] loss[80] loss[81] loss[82] loss[83] loss[84] loss[85] loss[86] loss[87] loss[88] loss[89] loss[90] loss[91] loss[92] loss[93] loss[94] loss[95] loss[96] loss[97] loss[98] loss[99] loss[100] loss[101] loss[102] loss[103] loss[104] loss[105] loss[106] loss[107] loss[108] loss[109] loss[110] </list> 20091.83/2520.09 v <values>0 1 1 2 3 4 2 5 2 6 4 4 2 7 8 2 5 2 8 9 7 0 0 7 4 3 4 30 5 31 32 8 52 31 24 30 24 22 10 63 12 60 16 15 6 53 45 25 54 33 55 56 46 21 64 47 48 35 57 13 49 58 46 61 14 65 17 23 12 15 32 50 62 18 14 13 23 22 51 34 51 11 12 20 21 16 20 11 11 19 18 19 59 26 27 28 29 9 17 34 36 37 38 39 40 41 42 43 44 10 25 32 31 31 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 29 27 27 27 27 27 27 27 27 27 27 27 27 27 27 26 26 26 26 26 26 25 22 22 22 22 22 22 22 21 19 19 19 16 16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 9 9 9 9 9 9 9 9 9 9 9 9 9 9 0 0 0 0 0 0 1 4 4 4 4 4 4 4 5 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 20091.83/2520.09 v </instantiation> 20091.83/2520.09 c Unexpected resolution interruption!
OK 352
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 (11675 MiB free) memory of node 1: 16384 MiB (15859 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297542-1532733569/watcher-4297542-1532733569 -o /tmp/evaluation-result-4297542-1532733569/solver-4297542-1532733569 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532733569-24133 --watchdog 2580 HOME/xcsp3-exec -seed 726891450 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297542-1532733569.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=24150, runsolver pid=24147 [startup+0.100113 s]* /proc/loadavg: 8.02 8.24 8.35 2/199 24171 /proc/meminfo: memFree=28175448/32770624 swapFree=67108860/67108860 [pid=24150] ppid=24147 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24150/stat : 24150 (xcsp3-exec) S 24147 24150 24106 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90920062 115843072 363 33554432000 4194304 5098028 140730503482096 140730503480200 140306107216508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23302144 140730503488566 140730503488768 140730503488768 140730503491530 0 /proc/24150/statm: 28282 363 306 221 0 87 0 [pid=24152] ppid=24150 vsize=26104152 memory=28048 CPUtime=0.12 cores=0-7 /proc/24152/stat : 24152 (java) S 24150 24150 24106 0 -1 1077944320 5404 0 0 0 11 1 0 0 20 0 20 0 90920062 26730651648 7012 33554432000 4194304 4196468 140725807252752 140725807235296 139873759600375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 /proc/24152/statm: 6526038 7012 3015 1 0 6488315 0 [pid=24152/tid=24153] ppid=24150 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/24152/task/24153/stat : 24153 (java) R 24150 24150 24106 0 -1 4202560 3384 0 0 0 8 1 0 0 20 0 20 0 90920063 26730651648 7012 33554432000 4194304 4196468 140725807252752 139873763826736 139873397303813 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24154] ppid=24150 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/24152/task/24154/stat : 24154 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 7012 33554432000 4194304 4196468 140725807252752 139873731443856 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24155] ppid=24150 vsize=26104152 memory=140243868829312 CPUtime=0 cores=0-7 /proc/24152/task/24155/stat : 24155 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 7012 33554432000 4194304 4196468 140725807252752 139873317071888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24156] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24156/stat : 24156 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 7012 33554432000 4194304 4196468 140725807252752 139873316019088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24157] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24157/stat : 24157 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 7012 33554432000 4194304 4196468 140725807252752 139873314966288 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24158] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24158/stat : 24158 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 7012 33554432000 4194304 4196468 140725807252752 139873313913488 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24159] ppid=24150 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/24152/task/24159/stat : 24159 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 7012 33554432000 4194304 4196468 140725807252752 139873312860688 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24160] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24160/stat : 24160 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 7012 33554432000 4194304 4196468 140725807252752 139873311807888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24161] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24161/stat : 24161 (java) S 24150 24150 24106 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 7012 33554432000 4194304 4196468 140725807252752 139873310755088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24162] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24162/stat : 24162 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920065 26730651648 7012 33554432000 4194304 4196468 140725807252752 139872886963056 139873759611522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24163] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24163/stat : 24163 (java) S 24150 24150 24106 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90920065 26730651648 7012 33554432000 4194304 4196468 140725807252752 139872885909024 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24164] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24164/stat : 24164 (java) S 24150 24150 24106 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90920066 26730651648 7012 33554432000 4194304 4196468 140725807252752 139872884856176 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24165] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24165/stat : 24165 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920068 26730651648 7012 33554432000 4194304 4196468 140725807252752 139872883804496 139873759618971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24166] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24166/stat : 24166 (java) S 24150 24150 24106 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 90920068 26730651648 7012 33554432000 4194304 4196468 140725807252752 139872882751856 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24167] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24167/stat : 24167 (java) S 24150 24150 24106 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 90920068 26730651648 7012 33554432000 4194304 4196468 140725807252752 139872881699056 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24168] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24168/stat : 24168 (java) S 24150 24150 24106 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90920068 26730651648 7012 33554432000 4194304 4196468 140725807252752 139872880646256 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24169] ppid=24150 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/24152/task/24169/stat : 24169 (java) R 24150 24150 24106 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 20 0 90920068 26730651648 7012 33554432000 4194304 4196468 140725807252752 139872879593456 139873752697211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24170] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24170/stat : 24170 (java) S 24150 24150 24106 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90920068 26730651648 7012 33554432000 4194304 4196468 140725807252752 139872878541920 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24171] ppid=24150 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/24152/task/24171/stat : 24171 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920069 26730651648 7012 33554432000 4194304 4196468 140725807252752 139872877489200 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29500 KiB [startup+0.210307 s]* /proc/loadavg: 8.02 8.24 8.35 3/199 24171 /proc/meminfo: memFree=28163956/32770624 swapFree=67108860/67108860 [pid=24150] ppid=24147 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24150/stat : 24150 (xcsp3-exec) S 24147 24150 24106 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90920062 115843072 363 33554432000 4194304 5098028 140730503482096 140730503480200 140306107216508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23302144 140730503488566 140730503488768 140730503488768 140730503491530 0 /proc/24150/statm: 28282 363 306 221 0 87 0 [pid=24152] ppid=24150 vsize=26104152 memory=40412 CPUtime=0.34 cores=0-7 /proc/24152/stat : 24152 (java) S 24150 24150 24106 0 -1 1077944320 8172 0 0 0 32 2 0 0 20 0 20 0 90920062 26730651648 10103 33554432000 4194304 4196468 140725807252752 140725807235296 139873759600375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 /proc/24152/statm: 6526038 10103 3184 1 0 6488315 0 [pid=24152/tid=24153] ppid=24150 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/24152/task/24153/stat : 24153 (java) R 24150 24150 24106 0 -1 4202560 5076 0 0 0 18 1 0 0 20 0 20 0 90920063 26730651648 10103 33554432000 4194304 4196468 140725807252752 139873763835360 139873759622301 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24154] ppid=24150 vsize=26104152 memory=327 CPUtime=0 cores=0-7 /proc/24152/task/24154/stat : 24154 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 10103 33554432000 4194304 4196468 140725807252752 139873731443856 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24155] ppid=24150 vsize=26104152 memory=140243869203817 CPUtime=0 cores=0-7 /proc/24152/task/24155/stat : 24155 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 10103 33554432000 4194304 4196468 140725807252752 139873317071888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24156] ppid=24150 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/24152/task/24156/stat : 24156 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 10103 33554432000 4194304 4196468 140725807252752 139873316019088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24157] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24157/stat : 24157 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 10103 33554432000 4194304 4196468 140725807252752 139873314966288 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24158] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24158/stat : 24158 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 10103 33554432000 4194304 4196468 140725807252752 139873313913488 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24159] ppid=24150 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/24152/task/24159/stat : 24159 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 10103 33554432000 4194304 4196468 140725807252752 139873312860688 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24160] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24160/stat : 24160 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 10103 33554432000 4194304 4196468 140725807252752 139873311807888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24161] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24161/stat : 24161 (java) S 24150 24150 24106 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90920064 26730651648 10103 33554432000 4194304 4196468 140725807252752 139873310755088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24162] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24162/stat : 24162 (java) S 24150 24150 24106 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90920065 26730651648 10103 33554432000 4194304 4196468 140725807252752 139872886963056 139873759611522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24163] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24163/stat : 24163 (java) S 24150 24150 24106 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90920065 26730651648 10103 33554432000 4194304 4196468 140725807252752 139872885909024 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24164] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24164/stat : 24164 (java) S 24150 24150 24106 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90920066 26730651648 10103 33554432000 4194304 4196468 140725807252752 139872884856176 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24165] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24165/stat : 24165 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920068 26730651648 10103 33554432000 4194304 4196468 140725807252752 139872883804496 139873759618971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24166] ppid=24150 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/24152/task/24166/stat : 24166 (java) S 24150 24150 24106 0 -1 1077944384 537 0 0 0 1 0 0 0 20 0 20 0 90920068 26730651648 10103 33554432000 4194304 4196468 140725807252752 139872882751856 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24167] ppid=24150 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/24152/task/24167/stat : 24167 (java) S 24150 24150 24106 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 90920068 26730651648 10103 33554432000 4194304 4196468 140725807252752 139872881699056 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24168] ppid=24150 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/24152/task/24168/stat : 24168 (java) S 24150 24150 24106 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 20 0 90920068 26730651648 10103 33554432000 4194304 4196468 140725807252752 139872880646256 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24169] ppid=24150 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/24152/task/24169/stat : 24169 (java) S 24150 24150 24106 0 -1 1077944384 879 0 0 0 8 0 0 0 20 0 20 0 90920068 26730651648 10103 33554432000 4194304 4196468 140725807252752 139872879593456 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24170] ppid=24150 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24170/stat : 24170 (java) S 24150 24150 24106 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90920068 26730651648 10103 33554432000 4194304 4196468 140725807252752 139872878541920 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24171] ppid=24150 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/24152/task/24171/stat : 24171 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920069 26730651648 10103 33554432000 4194304 4196468 140725807252752 139872877489200 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41864 KiB [startup+0.310098 s]* /proc/loadavg: 8.02 8.24 8.35 3/199 24171 /proc/meminfo: memFree=28157632/32770624 swapFree=67108860/67108860 [pid=24150] ppid=24147 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24150/stat : 24150 (xcsp3-exec) S 24147 24150 24106 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90920062 115843072 363 33554432000 4194304 5098028 140730503482096 140730503480200 140306107216508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23302144 140730503488566 140730503488768 140730503488768 140730503491530 0 /proc/24150/statm: 28282 363 306 221 0 87 0 [pid=24152] ppid=24150 vsize=26108408 memory=47280 CPUtime=0.52 cores=0-7 /proc/24152/stat : 24152 (java) S 24150 24150 24106 0 -1 1077944320 9104 0 0 0 50 2 0 0 20 0 20 0 90920062 26735009792 11820 33554432000 4194304 4196468 140725807252752 140725807235296 139873759600375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 /proc/24152/statm: 6527102 11820 3263 1 0 6488315 0 [pid=24152/tid=24153] ppid=24150 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/24152/task/24153/stat : 24153 (java) R 24150 24150 24106 0 -1 4202560 5736 0 0 0 28 1 0 0 20 0 20 0 90920063 26735009792 11820 33554432000 4194304 4196468 140725807252752 139873763831488 139873743680862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24154] ppid=24150 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24154/stat : 24154 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26735009792 11820 33554432000 4194304 4196468 140725807252752 139873731443856 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24155] ppid=24150 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24155/stat : 24155 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920064 26735009792 11820 33554432000 4194304 4196468 140725807252752 139873317071888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24156] ppid=24150 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24156/stat : 24156 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26735009792 11820 33554432000 4194304 4196468 140725807252752 139873316019088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24157] ppid=24150 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24157/stat : 24157 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26735009792 11820 33554432000 4194304 4196468 140725807252752 139873314966288 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24158] ppid=24150 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/24152/task/24158/stat : 24158 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920064 26735009792 11820 33554432000 4194304 4196468 140725807252752 139873313913488 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24159] ppid=24150 vsize=26108408 memory=140243768538031 CPUtime=0 cores=0-7 /proc/24152/task/24159/stat : 24159 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920064 26735009792 11820 33554432000 4194304 4196468 140725807252752 139873312860688 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24160] ppid=24150 vsize=26108408 memory=140243768540336 CPUtime=0 cores=0-7 /proc/24152/task/24160/stat : 24160 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26735009792 11820 33554432000 4194304 4196468 140725807252752 139873311807888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24161] ppid=24150 vsize=26108408 memory=140243768542640 CPUtime=0 cores=0-7 /proc/24152/task/24161/stat : 24161 (java) S 24150 24150 24106 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90920064 26735009792 11820 33554432000 4194304 4196468 140725807252752 139873310755088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24162] ppid=24150 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24162/stat : 24162 (java) S 24150 24150 24106 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90920065 26735009792 11875 33554432000 4194304 4196468 140725807252752 139872886963056 139873759611522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24163] ppid=24150 vsize=26108408 memory=280487537092240 CPUtime=0 cores=0-7 /proc/24152/task/24163/stat : 24163 (java) S 24150 24150 24106 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90920065 26735009792 11875 33554432000 4194304 4196468 140725807252752 139872885909024 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24164] ppid=24150 vsize=26108408 memory=280487537099152 CPUtime=0 cores=0-7 /proc/24152/task/24164/stat : 24164 (java) S 24150 24150 24106 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90920066 26735009792 11875 33554432000 4194304 4196468 140725807252752 139872884856176 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24165] ppid=24150 vsize=26108408 memory=280487537040400 CPUtime=0 cores=0-7 /proc/24152/task/24165/stat : 24165 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920068 26735009792 11875 33554432000 4194304 4196468 140725807252752 139872883804496 139873759618971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24166] ppid=24150 vsize=26108408 memory=280487537112976 CPUtime=0.03 cores=0-7 /proc/24152/task/24166/stat : 24166 (java) R 24150 24150 24106 0 -1 4202560 653 0 0 0 3 0 0 0 20 0 20 0 90920068 26735009792 11875 33554432000 4194304 4196468 140725807252752 139872882742240 139873741145033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24167] ppid=24150 vsize=26108408 memory=280487537119888 CPUtime=0.03 cores=0-7 /proc/24152/task/24167/stat : 24167 (java) S 24150 24150 24106 0 -1 1077944384 187 0 0 0 3 0 0 0 20 0 20 0 90920068 26735009792 11875 33554432000 4194304 4196468 140725807252752 139872881699056 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24168] ppid=24150 vsize=26108408 memory=280487537117584 CPUtime=0.02 cores=0-7 /proc/24152/task/24168/stat : 24168 (java) S 24150 24150 24106 0 -1 1077944384 202 0 0 0 2 0 0 0 20 0 20 0 90920068 26735009792 11875 33554432000 4194304 4196468 140725807252752 139872880646256 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24169] ppid=24150 vsize=26108408 memory=280487537133744 CPUtime=0.12 cores=0-7 /proc/24152/task/24169/stat : 24169 (java) S 24150 24150 24106 0 -1 1077944384 1017 0 0 0 12 0 0 0 20 0 20 0 90920068 26735009792 11875 33554432000 4194304 4196468 140725807252752 139872879593456 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24170] ppid=24150 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24170/stat : 24170 (java) S 24150 24150 24106 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90920068 26735009792 11875 33554432000 4194304 4196468 140725807252752 139872878541920 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24171] ppid=24150 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/24152/task/24171/stat : 24171 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920069 26735009792 11875 33554432000 4194304 4196468 140725807252752 139872877489200 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48732 KiB [startup+0.700986 s] /proc/loadavg: 8.02 8.24 8.35 5/199 24171 /proc/meminfo: memFree=28123016/32770624 swapFree=67108860/67108860 [pid=24150] ppid=24147 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24150/stat : 24150 (xcsp3-exec) S 24147 24150 24106 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90920062 115843072 363 33554432000 4194304 5098028 140730503482096 140730503480200 140306107216508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23302144 140730503488566 140730503488768 140730503488768 140730503491530 0 /proc/24150/statm: 28282 363 306 221 0 87 0 [pid=24152] ppid=24150 vsize=26110532 memory=136208 CPUtime=2.08 cores=0-7 /proc/24152/stat : 24152 (java) S 24150 24150 24106 0 -1 1077944320 14413 0 0 0 204 4 0 0 20 0 20 0 90920062 26737184768 34052 33554432000 4194304 4196468 140725807252752 140725807235296 139873759600375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 /proc/24152/statm: 6527633 34052 3366 1 0 6488827 0 [pid=24152/tid=24153] ppid=24150 vsize=26110532 memory=280487537491632 CPUtime=0.67 cores=0-7 /proc/24152/task/24153/stat : 24153 (java) R 24150 24150 24106 0 -1 4202560 6392 0 0 0 65 2 0 0 20 0 20 0 90920063 26737184768 34052 33554432000 4194304 4196468 140725807252752 139873763837616 139873759622301 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24154] ppid=24150 vsize=26110532 memory=140243768746864 CPUtime=0 cores=0-7 /proc/24152/task/24154/stat : 24154 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26737184768 34052 33554432000 4194304 4196468 140725807252752 139873731443856 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24155] ppid=24150 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/24152/task/24155/stat : 24155 (java) S 24150 24150 24106 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90920064 26737184768 34052 33554432000 4194304 4196468 140725807252752 139873317071888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24156] ppid=24150 vsize=26110532 memory=1020 CPUtime=0 cores=0-7 /proc/24152/task/24156/stat : 24156 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90920064 26737184768 34052 33554432000 4194304 4196468 140725807252752 139873316019088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 ################ # More data... # ################ /proc/meminfo: memFree=22494508/32770624 swapFree=67108860/67108860 [pid=24150] ppid=24147 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24150/stat : 24150 (xcsp3-exec) S 24147 24150 24106 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90920062 115843072 363 33554432000 4194304 5098028 140730503482096 140730503480200 140306107216508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23302144 140730503488566 140730503488768 140730503488768 140730503491530 0 /proc/24150/statm: 28282 363 306 221 0 87 0 [pid=24152] ppid=24150 vsize=26645092 memory=5699676 CPUtime=19950.6 cores=0-7 /proc/24152/stat : 24152 (java) S 24150 24150 24106 0 -1 1077944320 325230 0 0 0 1994411 648 0 0 20 0 28 0 90920062 27284574208 1424919 33554432000 4194304 4196468 140725807252752 140725807235296 139873759600375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 /proc/24152/statm: 6661273 1424919 3447 1 0 6622467 0 [pid=24152/tid=24153] ppid=24150 vsize=26645092 memory=5699676 CPUtime=2.08 cores=0-7 /proc/24152/task/24153/stat : 24153 (java) S 24150 24150 24106 0 -1 1077944384 7469 0 0 0 203 5 0 0 20 0 28 0 90920063 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873763841152 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24154] ppid=24150 vsize=26645092 memory=5699676 CPUtime=0.62 cores=0-7 /proc/24152/task/24154/stat : 24154 (java) S 24150 24150 24106 0 -1 1077944384 3006 0 0 0 47 15 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873731443856 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24155] ppid=24150 vsize=26645092 memory=5699676 CPUtime=0.6 cores=0-7 /proc/24152/task/24155/stat : 24155 (java) S 24150 24150 24106 0 -1 1077944384 2572 0 0 0 46 14 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873317071888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24156] ppid=24150 vsize=26645092 memory=1452 CPUtime=0.62 cores=0-7 /proc/24152/task/24156/stat : 24156 (java) S 24150 24150 24106 0 -1 1077944384 1499 0 0 0 47 15 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873316019088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24157] ppid=24150 vsize=26645092 memory=4140 CPUtime=0.59 cores=0-7 /proc/24152/task/24157/stat : 24157 (java) S 24150 24150 24106 0 -1 1077944384 1725 0 0 0 45 14 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873314966288 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24158] ppid=24150 vsize=26645092 memory=430 CPUtime=0.64 cores=0-7 /proc/24152/task/24158/stat : 24158 (java) S 24150 24150 24106 0 -1 1077944384 2022 0 0 0 48 16 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873313913488 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24159] ppid=24150 vsize=26645092 memory=5699676 CPUtime=0.62 cores=0-7 /proc/24152/task/24159/stat : 24159 (java) S 24150 24150 24106 0 -1 1077944384 2793 0 0 0 47 15 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873312860688 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24160] ppid=24150 vsize=26645092 memory=26272 CPUtime=0.64 cores=0-7 /proc/24152/task/24160/stat : 24160 (java) S 24150 24150 24106 0 -1 1077944384 1983 0 0 0 48 16 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873311807888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24161] ppid=24150 vsize=26645092 memory=2204 CPUtime=0.61 cores=0-7 /proc/24152/task/24161/stat : 24161 (java) S 24150 24150 24106 0 -1 1077944384 2447 0 0 0 47 14 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873310755088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24162] ppid=24150 vsize=26645092 memory=5699676 CPUtime=0.11 cores=0-7 /proc/24152/task/24162/stat : 24162 (java) S 24150 24150 24106 0 -1 1077944384 7681 0 0 0 7 4 0 0 20 0 28 0 90920065 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872886963056 139873759611522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24163] ppid=24150 vsize=26645092 memory=1452 CPUtime=0 cores=0-7 /proc/24152/task/24163/stat : 24163 (java) S 24150 24150 24106 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 90920065 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872885909088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24164] ppid=24150 vsize=26645092 memory=164 CPUtime=0 cores=0-7 /proc/24152/task/24164/stat : 24164 (java) S 24150 24150 24106 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 90920066 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872884856192 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24165] ppid=24150 vsize=26645092 memory=10725 CPUtime=0 cores=0-7 /proc/24152/task/24165/stat : 24165 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872883804496 139873759618971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24166] ppid=24150 vsize=26645092 memory=1452 CPUtime=3.67 cores=0-7 /proc/24152/task/24166/stat : 24166 (java) S 24150 24150 24106 0 -1 1077944384 33943 0 0 0 362 5 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872882751856 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24167] ppid=24150 vsize=26645092 memory=5699676 CPUtime=3.69 cores=0-7 /proc/24152/task/24167/stat : 24167 (java) S 24150 24150 24106 0 -1 1077944384 31091 0 0 0 361 8 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872881699056 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24168] ppid=24150 vsize=26645092 memory=1452 CPUtime=3.11 cores=0-7 /proc/24152/task/24168/stat : 24168 (java) S 24150 24150 24106 0 -1 1077944384 20752 0 0 0 308 3 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872880646256 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24169] ppid=24150 vsize=26645092 memory=5699676 CPUtime=1.19 cores=0-7 /proc/24152/task/24169/stat : 24169 (java) S 24150 24150 24106 0 -1 1077944384 24127 0 0 0 114 5 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872879593456 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24170] ppid=24150 vsize=26645092 memory=311 CPUtime=0 cores=0-7 /proc/24152/task/24170/stat : 24170 (java) S 24150 24150 24106 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872878541920 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24171] ppid=24150 vsize=26645092 memory=119 CPUtime=1.2 cores=0-7 /proc/24152/task/24171/stat : 24171 (java) S 24150 24150 24106 0 -1 1077944384 4460 0 0 0 0 120 0 0 20 0 28 0 90920069 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872877489200 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24195] ppid=24150 vsize=26645092 memory=8257237230052613020 CPUtime=2392.17 cores=0-7 /proc/24152/task/24195/stat : 24195 (java) R 24150 24150 24106 0 -1 4202560 7792 0 0 0 239206 11 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872866606424 139873405911888 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24196] ppid=24150 vsize=26645092 memory=844 CPUtime=2408.72 cores=0-7 /proc/24152/task/24196/stat : 24196 (java) R 24150 24150 24106 0 -1 4202560 6321 0 0 0 240864 8 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872860291976 139873406494603 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24197] ppid=24150 vsize=26645092 memory=3360 CPUtime=2395.59 cores=0-7 /proc/24152/task/24197/stat : 24197 (java) R 24150 24150 24106 0 -1 4202560 8721 0 0 0 239539 20 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872862396432 139873400054276 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24198] ppid=24150 vsize=26645092 memory=2204 CPUtime=2408.74 cores=0-7 /proc/24152/task/24198/stat : 24198 (java) R 24150 24150 24106 0 -1 4202560 84091 0 0 0 240635 239 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872863449144 139873400053884 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24199] ppid=24150 vsize=26645092 memory=1240 CPUtime=2407.3 cores=0-7 /proc/24152/task/24199/stat : 24199 (java) R 24150 24150 24106 0 -1 4202560 17578 0 0 0 240676 54 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872864504448 139873407424116 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24200] ppid=24150 vsize=26645092 memory=1520 CPUtime=2408.51 cores=0-7 /proc/24152/task/24200/stat : 24200 (java) R 24150 24150 24106 0 -1 4202560 4565 0 0 0 240842 9 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872861343528 139873406494636 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24201] ppid=24150 vsize=26645092 memory=1452 CPUtime=2400.45 cores=0-7 /proc/24152/task/24201/stat : 24201 (java) R 24150 24150 24106 0 -1 4202560 7163 0 0 0 240033 12 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872865555720 139873405989413 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24202] ppid=24150 vsize=26645092 memory=1452 CPUtime=2396.93 cores=0-7 /proc/24152/task/24202/stat : 24202 (java) R 24150 24150 24106 0 -1 4202560 14536 0 0 0 239596 97 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872859238824 139873405989413 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 Current children cumulated CPU time: 19950.6 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 5701128 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.03 8.20 8.24 9/209 24262 /proc/meminfo: memFree=22494884/32770624 swapFree=67108860/67108860 [pid=24150] ppid=24147 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24150/stat : 24150 (xcsp3-exec) S 24147 24150 24106 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90920062 115843072 363 33554432000 4194304 5098028 140730503482096 140730503480200 140306107216508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23302144 140730503488566 140730503488768 140730503488768 140730503491530 0 /proc/24150/statm: 28282 363 306 221 0 87 0 [pid=24152] ppid=24150 vsize=26645092 memory=5699676 CPUtime=20091.8 cores=0-7 /proc/24152/stat : 24152 (java) S 24150 24150 24106 0 -1 1077944320 326259 0 0 0 2008534 649 0 0 20 0 28 0 90920062 27284574208 1424919 33554432000 4194304 4196468 140725807252752 140725807235296 139873759600375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 /proc/24152/statm: 6661273 1424919 3447 1 0 6622467 0 [pid=24152/tid=24153] ppid=24150 vsize=26645092 memory=6791534058613427641 CPUtime=2.08 cores=0-7 /proc/24152/task/24153/stat : 24153 (java) S 24150 24150 24106 0 -1 1077944384 7469 0 0 0 203 5 0 0 20 0 28 0 90920063 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873763841152 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24154] ppid=24150 vsize=26645092 memory=4872558044660077418 CPUtime=0.62 cores=0-7 /proc/24152/task/24154/stat : 24154 (java) S 24150 24150 24106 0 -1 1077944384 3006 0 0 0 47 15 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873731443856 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24155] ppid=24150 vsize=26645092 memory=4715433313220523562 CPUtime=0.6 cores=0-7 /proc/24152/task/24155/stat : 24155 (java) S 24150 24150 24106 0 -1 1077944384 2572 0 0 0 46 14 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873317071888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24156] ppid=24150 vsize=26645092 memory=-6520471753822164382 CPUtime=0.62 cores=0-7 /proc/24152/task/24156/stat : 24156 (java) S 24150 24150 24106 0 -1 1077944384 1499 0 0 0 47 15 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873316019088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24157] ppid=24150 vsize=26645092 memory=-8412656567318647667 CPUtime=0.59 cores=0-7 /proc/24152/task/24157/stat : 24157 (java) S 24150 24150 24106 0 -1 1077944384 1725 0 0 0 45 14 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873314966288 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24158] ppid=24150 vsize=26645092 memory=9047017150487036575 CPUtime=0.64 cores=0-7 /proc/24152/task/24158/stat : 24158 (java) S 24150 24150 24106 0 -1 1077944384 2022 0 0 0 48 16 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873313913488 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24159] ppid=24150 vsize=26645092 memory=8514726395714825349 CPUtime=0.62 cores=0-7 /proc/24152/task/24159/stat : 24159 (java) S 24150 24150 24106 0 -1 1077944384 2793 0 0 0 47 15 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873312860688 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24160] ppid=24150 vsize=26645092 memory=14904 CPUtime=0.64 cores=0-7 /proc/24152/task/24160/stat : 24160 (java) S 24150 24150 24106 0 -1 1077944384 1983 0 0 0 48 16 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873311807888 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24161] ppid=24150 vsize=26645092 memory=2324 CPUtime=0.61 cores=0-7 /proc/24152/task/24161/stat : 24161 (java) S 24150 24150 24106 0 -1 1077944384 2447 0 0 0 47 14 0 0 20 0 28 0 90920064 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139873310755088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24162] ppid=24150 vsize=26645092 memory=280487537482160 CPUtime=0.11 cores=0-7 /proc/24152/task/24162/stat : 24162 (java) S 24150 24150 24106 0 -1 1077944384 7685 0 0 0 7 4 0 0 20 0 28 0 90920065 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872886963056 139873759611522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24163] ppid=24150 vsize=26645092 memory=2724 CPUtime=0 cores=0-7 /proc/24152/task/24163/stat : 24163 (java) S 24150 24150 24106 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 90920065 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872885909088 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24164] ppid=24150 vsize=26645092 memory=1256 CPUtime=0 cores=0-7 /proc/24152/task/24164/stat : 24164 (java) S 24150 24150 24106 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 90920066 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872884856192 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24165] ppid=24150 vsize=26645092 memory=1452 CPUtime=0 cores=0-7 /proc/24152/task/24165/stat : 24165 (java) S 24150 24150 24106 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872883804496 139873759618971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24166] ppid=24150 vsize=26645092 memory=5699676 CPUtime=3.67 cores=0-7 /proc/24152/task/24166/stat : 24166 (java) S 24150 24150 24106 0 -1 1077944384 33946 0 0 0 362 5 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872882751856 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24167] ppid=24150 vsize=26645092 memory=1172 CPUtime=3.69 cores=0-7 /proc/24152/task/24167/stat : 24167 (java) S 24150 24150 24106 0 -1 1077944384 31094 0 0 0 361 8 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872881699056 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24168] ppid=24150 vsize=26645092 memory=1812 CPUtime=3.11 cores=0-7 /proc/24152/task/24168/stat : 24168 (java) S 24150 24150 24106 0 -1 1077944384 20755 0 0 0 308 3 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872880646256 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24169] ppid=24150 vsize=26645092 memory=1020 CPUtime=1.19 cores=0-7 /proc/24152/task/24169/stat : 24169 (java) S 24150 24150 24106 0 -1 1077944384 24136 0 0 0 114 5 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872879593456 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24170] ppid=24150 vsize=26645092 memory=5699676 CPUtime=0 cores=0-7 /proc/24152/task/24170/stat : 24170 (java) S 24150 24150 24106 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90920068 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872878541920 139873759610581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24171] ppid=24150 vsize=26645092 memory=1452 CPUtime=1.21 cores=0-7 /proc/24152/task/24171/stat : 24171 (java) S 24150 24150 24106 0 -1 1077944384 4488 0 0 0 0 121 0 0 20 0 28 0 90920069 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872877489200 139873759611522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24195] ppid=24150 vsize=26645092 memory=5699676 CPUtime=2409.63 cores=0-7 /proc/24152/task/24195/stat : 24195 (java) R 24150 24150 24106 0 -1 4202560 7895 0 0 0 240951 12 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872866606424 139873406343616 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24196] ppid=24150 vsize=26645092 memory=7740679951386830928 CPUtime=2426.42 cores=0-7 /proc/24152/task/24196/stat : 24196 (java) R 24150 24150 24106 0 -1 4202560 6376 0 0 0 242634 8 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872860291976 139873406494538 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24197] ppid=24150 vsize=26645092 memory=5794844554094339688 CPUtime=2413.29 cores=0-7 /proc/24152/task/24197/stat : 24197 (java) R 24150 24150 24106 0 -1 4202560 8845 0 0 0 241309 20 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872862396432 139873400054276 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24198] ppid=24150 vsize=26645092 memory=5699676 CPUtime=2426.45 cores=0-7 /proc/24152/task/24198/stat : 24198 (java) R 24150 24150 24106 0 -1 4202560 84320 0 0 0 242405 240 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872863449144 139873400053884 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24199] ppid=24150 vsize=26645092 memory=1696 CPUtime=2424.87 cores=0-7 /proc/24152/task/24199/stat : 24199 (java) R 24150 24150 24106 0 -1 4202560 17774 0 0 0 242433 54 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872864504448 139873407117644 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24200] ppid=24150 vsize=26645092 memory=1172 CPUtime=2426.2 cores=0-7 /proc/24152/task/24200/stat : 24200 (java) R 24150 24150 24106 0 -1 4202560 4630 0 0 0 242611 9 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872861343528 139873406494538 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24201] ppid=24150 vsize=26645092 memory=1812 CPUtime=2418.15 cores=0-7 /proc/24152/task/24201/stat : 24201 (java) R 24150 24150 24106 0 -1 4202560 7255 0 0 0 241803 12 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872865555720 139873405989413 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 [pid=24152/tid=24202] ppid=24150 vsize=26645092 memory=1020 CPUtime=2414.63 cores=0-7 /proc/24152/task/24202/stat : 24202 (java) R 24150 24150 24106 0 -1 4202560 14651 0 0 0 241366 97 0 0 20 0 28 0 90929325 27284574208 1424919 33554432000 4194304 4196468 140725807252752 139872859238824 139873405726348 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35516416 140725807260801 140725807260973 140725807260973 140725807263695 0 Current children cumulated CPU time: 20091.8 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 5701128 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 24150 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001091 s, system=0.001091 s [startup+2520.15 s] # the end of solver process 24152 was just reported to runsolver # cumulated CPU time of all completed processes: user=20086.2 s, system=6.5269 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 [startup+2520.13 s]* /proc/loadavg: 8.03 8.20 8.24 2/182 24264 /proc/meminfo: memFree=25108564/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.002182 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.15 CPU time (s): 20092.7 CPU user time (s): 20086.2 CPU system time (s): 6.5269 CPU usage (%): 797.284 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 5701128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20086.2 system time used= 6.5269 maximum resident set size= 5709016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 328217 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 62393 involuntary context switches= 203285 # summary of solver processes directly reported to runsolver: # pid: 24150,24152 # total CPU time (s): 20092.7 # total CPU user time (s): 20086.2 # total CPU system time (s): 6.5269 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.2041 second user time and 31.6589 second system time The end
Begin job on node136 at 2018-07-28 01:19:29 IDJOB=4297542 IDBENCH=141636 IDSOLVER=2760 FILE ID=node136/4297542-1532733569 RUNJOBID= node136-1532733569-24133 PBS_JOBID= 21022354 Free space on /tmp= 55796 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/SteelMillSlab/SteelMillSlab-m1-4-0_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-4297542-1532733569/watcher-4297542-1532733569 -o /tmp/evaluation-result-4297542-1532733569/solver-4297542-1532733569 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532733569-24133 --watchdog 2580 HOME/xcsp3-exec -seed 726891450 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297542-1532733569.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ed32499ea7c7019ad5624e4a2d93decd RANDOM SEED=726891450 node136.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.50 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.50 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.50 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.50 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: 28195824 kB MemAvailable: 31958532 kB Buffers: 172452 kB Cached: 3852028 kB SwapCached: 0 kB Active: 1722604 kB Inactive: 2354568 kB Active(anon): 4380 kB Inactive(anon): 76472 kB Active(file): 1718224 kB Inactive(file): 2278096 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 22272 kB Writeback: 0 kB AnonPages: 59944 kB Mapped: 32536 kB Shmem: 25228 kB Slab: 191712 kB SReclaimable: 164448 kB SUnreclaim: 27264 kB KernelStack: 3104 kB PageTables: 4840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324368 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55776 MiB End job on node136 at 2018-07-28 02:01:29