Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 124 | 20091.7 | 2520.14 |
Name | SteelMillSlab/ SteelMillSlab-m1-3-0_c18.xml |
MD5SUM | 7371989d8b754960e2638a689dbe5607 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 124 |
Best CPU time to get the best result obtained on this benchmark | 20091.7 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 333 |
Number of constraints | 356 |
Number of domains | 3 |
Minimum domain size | 24 |
Maximum domain size | 111 |
Distribution of domain sizes | [{"size":24,"count":111},{"size":38,"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-4297540-1532733327.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297540-1532733327.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 9.66/2.41 c solve instance... 72.34/10.44 o 151 588.16/75.15 o 124 20090.90/2520.08 s SATISFIABLE 20090.90/2520.08 v <instantiation> 20090.90/2520.08 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> 20090.90/2520.08 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 5 6 6 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 2 5 5 5 5 5 5 5 6 8 8 8 11 11 11 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> 20090.90/2520.08 v </instantiation> 20090.90/2520.08 c Unexpected resolution interruption!
OK 124
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 (9034 MiB free) memory of node 1: 16384 MiB (13940 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297540-1532733327/watcher-4297540-1532733327 -o /tmp/evaluation-result-4297540-1532733327/solver-4297540-1532733327 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532728285-19295 --watchdog 2580 HOME/xcsp3-exec -seed 1363050880 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297540-1532733327.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=19641, runsolver pid=19638 [startup+0.100125 s]* /proc/loadavg: 8.11 8.46 8.40 3/199 19662 /proc/meminfo: memFree=23511756/32770624 swapFree=67108688/67108860 [pid=19641] ppid=19638 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19641/stat : 19641 (xcsp3-exec) S 19638 19641 19268 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90895572 115843072 364 33554432000 4194304 5098028 140726127519216 140726127517320 139823190319740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12247040 140726127522869 140726127523072 140726127523072 140726127525834 0 /proc/19641/statm: 28282 364 306 221 0 87 0 [pid=19643] ppid=19641 vsize=26104152 memory=26412 CPUtime=0.11 cores=0-7 /proc/19643/stat : 19643 (java) S 19641 19641 19268 0 -1 1077944320 5502 0 0 0 10 1 0 0 20 0 20 0 90895573 26730651648 6603 33554432000 4194304 4196468 140736586146128 140736586128672 140539211845367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 /proc/19643/statm: 6526038 6603 3014 1 0 6488315 0 [pid=19643/tid=19644] ppid=19641 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/19643/task/19644/stat : 19644 (java) R 19641 19641 19268 0 -1 4202560 3482 0 0 0 8 1 0 0 20 0 20 0 90895573 26730651648 6603 33554432000 4194304 4196468 140736586146128 140539216077296 140539195190209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19645] ppid=19641 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19643/task/19645/stat : 19645 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 6603 33554432000 4194304 4196468 140736586146128 140539183688464 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19646] ppid=19641 vsize=26104152 memory=140061292123776 CPUtime=0 cores=0-7 /proc/19643/task/19646/stat : 19646 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538768567184 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19647] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19647/stat : 19647 (java) S 19641 19641 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538767514640 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19648] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19648/stat : 19648 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538766462096 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19649] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19649/stat : 19649 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538765408528 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19650] ppid=19641 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/19643/task/19650/stat : 19650 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538764355984 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19651] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19651/stat : 19651 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538763303440 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19652] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19652/stat : 19652 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538762250896 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19653] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19653/stat : 19653 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895575 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538607704560 140539211856514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19654] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19654/stat : 19654 (java) S 19641 19641 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90895576 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538606650784 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19655] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19655/stat : 19655 (java) S 19641 19641 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90895576 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538605598192 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19656] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19656/stat : 19656 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895578 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538604546768 140539211863963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19657] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19657/stat : 19657 (java) S 19641 19641 19268 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 90895578 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538603493360 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19658] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19658/stat : 19658 (java) S 19641 19641 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90895578 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538602440816 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19659] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19659/stat : 19659 (java) S 19641 19641 19268 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 90895578 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538601388272 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19660] ppid=19641 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/19643/task/19660/stat : 19660 (java) R 19641 19641 19268 0 -1 4202560 285 0 0 0 1 0 0 0 20 0 20 0 90895578 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538600335728 140539204942203 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19661] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19661/stat : 19661 (java) S 19641 19641 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90895579 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538599283424 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19662] ppid=19641 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/19643/task/19662/stat : 19662 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895579 26730651648 6603 33554432000 4194304 4196468 140736586146128 140538598230960 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 27868 KiB [startup+0.209815 s]* /proc/loadavg: 8.11 8.46 8.40 3/199 19662 /proc/meminfo: memFree=23500096/32770624 swapFree=67108688/67108860 [pid=19641] ppid=19638 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19641/stat : 19641 (xcsp3-exec) S 19638 19641 19268 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90895572 115843072 364 33554432000 4194304 5098028 140726127519216 140726127517320 139823190319740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12247040 140726127522869 140726127523072 140726127523072 140726127525834 0 /proc/19641/statm: 28282 364 306 221 0 87 0 [pid=19643] ppid=19641 vsize=26104152 memory=38840 CPUtime=0.33 cores=0-7 /proc/19643/stat : 19643 (java) S 19641 19641 19268 0 -1 1077944320 8263 0 0 0 31 2 0 0 20 0 20 0 90895573 26730651648 9710 33554432000 4194304 4196468 140736586146128 140736586128672 140539211845367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 /proc/19643/statm: 6526038 9710 3179 1 0 6488315 0 [pid=19643/tid=19644] ppid=19641 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/19643/task/19644/stat : 19644 (java) R 19641 19641 19268 0 -1 4202560 5185 0 0 0 18 1 0 0 20 0 20 0 90895573 26730651648 9710 33554432000 4194304 4196468 140736586146128 140539216082128 140539211867293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19645] ppid=19641 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/19643/task/19645/stat : 19645 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 9710 33554432000 4194304 4196468 140736586146128 140539183688464 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19646] ppid=19641 vsize=26104152 memory=140061292635536 CPUtime=0 cores=0-7 /proc/19643/task/19646/stat : 19646 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538768567184 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19647] ppid=19641 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/19643/task/19647/stat : 19647 (java) S 19641 19641 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538767514640 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19648] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19648/stat : 19648 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538766462096 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19649] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19649/stat : 19649 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538765408528 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19650] ppid=19641 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/19643/task/19650/stat : 19650 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538764355984 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19651] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19651/stat : 19651 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538763303440 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19652] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19652/stat : 19652 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538762250896 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19653] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19653/stat : 19653 (java) S 19641 19641 19268 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90895575 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538607704560 140539211856514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19654] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19654/stat : 19654 (java) S 19641 19641 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90895576 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538606650784 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19655] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19655/stat : 19655 (java) S 19641 19641 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90895576 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538605598192 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19656] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19656/stat : 19656 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895578 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538604546768 140539211863963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19657] ppid=19641 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/19643/task/19657/stat : 19657 (java) S 19641 19641 19268 0 -1 1077944384 551 0 0 0 1 0 0 0 20 0 20 0 90895578 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538603493360 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19658] ppid=19641 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/19643/task/19658/stat : 19658 (java) S 19641 19641 19268 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 90895578 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538602440816 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19659] ppid=19641 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/19643/task/19659/stat : 19659 (java) S 19641 19641 19268 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 90895578 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538601388272 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19660] ppid=19641 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/19643/task/19660/stat : 19660 (java) S 19641 19641 19268 0 -1 1077944384 861 0 0 0 7 0 0 0 20 0 20 0 90895578 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538600335728 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19661] ppid=19641 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19661/stat : 19661 (java) S 19641 19641 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90895579 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538599283424 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19662] ppid=19641 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/19643/task/19662/stat : 19662 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895579 26730651648 9710 33554432000 4194304 4196468 140736586146128 140538598230960 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40296 KiB [startup+0.309547 s]* /proc/loadavg: 8.11 8.46 8.40 4/199 19662 /proc/meminfo: memFree=23494264/32770624 swapFree=67108688/67108860 [pid=19641] ppid=19638 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19641/stat : 19641 (xcsp3-exec) S 19638 19641 19268 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90895572 115843072 364 33554432000 4194304 5098028 140726127519216 140726127517320 139823190319740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12247040 140726127522869 140726127523072 140726127523072 140726127525834 0 /proc/19641/statm: 28282 364 306 221 0 87 0 [pid=19643] ppid=19641 vsize=26108408 memory=45768 CPUtime=0.51 cores=0-7 /proc/19643/stat : 19643 (java) S 19641 19641 19268 0 -1 1077944320 9158 0 0 0 48 3 0 0 20 0 20 0 90895573 26735009792 11442 33554432000 4194304 4196468 140736586146128 140736586128672 140539211845367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 /proc/19643/statm: 6527102 11442 3263 1 0 6488315 0 [pid=19643/tid=19644] ppid=19641 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/19643/task/19644/stat : 19644 (java) R 19641 19641 19268 0 -1 4202560 5826 0 0 0 27 1 0 0 20 0 20 0 90895573 26735009792 11442 33554432000 4194304 4196468 140736586146128 140539216079152 140539211857302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19645] ppid=19641 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19645/stat : 19645 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26735009792 11442 33554432000 4194304 4196468 140736586146128 140539183688464 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19646] ppid=19641 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19646/stat : 19646 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538768567184 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19647] ppid=19641 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19647/stat : 19647 (java) S 19641 19641 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90895574 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538767514640 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19648] ppid=19641 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19648/stat : 19648 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538766462096 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19649] ppid=19641 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/19643/task/19649/stat : 19649 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538765408528 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19650] ppid=19641 vsize=26108408 memory=140061165319087 CPUtime=0 cores=0-7 /proc/19643/task/19650/stat : 19650 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538764355984 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19651] ppid=19641 vsize=26108408 memory=140061165321392 CPUtime=0 cores=0-7 /proc/19643/task/19651/stat : 19651 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538763303440 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19652] ppid=19641 vsize=26108408 memory=140061165323696 CPUtime=0 cores=0-7 /proc/19643/task/19652/stat : 19652 (java) S 19641 19641 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90895574 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538762250896 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19653] ppid=19641 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19653/stat : 19653 (java) S 19641 19641 19268 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90895575 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538607704560 140539211856514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19654] ppid=19641 vsize=26108408 memory=280122330654352 CPUtime=0 cores=0-7 /proc/19643/task/19654/stat : 19654 (java) S 19641 19641 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90895576 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538606650784 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19655] ppid=19641 vsize=26108408 memory=280122330661264 CPUtime=0 cores=0-7 /proc/19643/task/19655/stat : 19655 (java) S 19641 19641 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90895576 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538605598192 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19656] ppid=19641 vsize=26108408 memory=280122330602416 CPUtime=0 cores=0-7 /proc/19643/task/19656/stat : 19656 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895578 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538604546768 140539211863963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19657] ppid=19641 vsize=26108408 memory=280122330675088 CPUtime=0.02 cores=0-7 /proc/19643/task/19657/stat : 19657 (java) S 19641 19641 19268 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 20 0 90895578 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538603493360 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19658] ppid=19641 vsize=26108408 memory=280122330682000 CPUtime=0.03 cores=0-7 /proc/19643/task/19658/stat : 19658 (java) S 19641 19641 19268 0 -1 1077944384 142 0 0 0 3 0 0 0 20 0 20 0 90895578 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538602440816 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19659] ppid=19641 vsize=26108408 memory=280122330679696 CPUtime=0.02 cores=0-7 /proc/19643/task/19659/stat : 19659 (java) R 19641 19641 19268 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 20 0 90895578 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538601388272 140539191538444 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19660] ppid=19641 vsize=26108408 memory=280122330695856 CPUtime=0.11 cores=0-7 /proc/19643/task/19660/stat : 19660 (java) S 19641 19641 19268 0 -1 1077944384 994 0 0 0 11 0 0 0 20 0 20 0 90895578 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538600335728 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19661] ppid=19641 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19661/stat : 19661 (java) S 19641 19641 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90895579 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538599283424 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19662] ppid=19641 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/19643/task/19662/stat : 19662 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895579 26735009792 11442 33554432000 4194304 4196468 140736586146128 140538598230960 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47224 KiB [startup+0.700916 s] /proc/loadavg: 8.11 8.46 8.40 5/199 19662 /proc/meminfo: memFree=23460020/32770624 swapFree=67108688/67108860 [pid=19641] ppid=19638 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19641/stat : 19641 (xcsp3-exec) S 19638 19641 19268 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90895572 115843072 364 33554432000 4194304 5098028 140726127519216 140726127517320 139823190319740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12247040 140726127522869 140726127523072 140726127523072 140726127525834 0 /proc/19641/statm: 28282 364 306 221 0 87 0 [pid=19643] ppid=19641 vsize=26110532 memory=134420 CPUtime=2.07 cores=0-7 /proc/19643/stat : 19643 (java) S 19641 19641 19268 0 -1 1077944320 14466 0 0 0 202 5 0 0 20 0 20 0 90895573 26737184768 33605 33554432000 4194304 4196468 140736586146128 140736586128672 140539211845367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 /proc/19643/statm: 6527633 33605 3366 1 0 6488827 0 [pid=19643/tid=19644] ppid=19641 vsize=26110532 memory=280122331053744 CPUtime=0.67 cores=0-7 /proc/19643/task/19644/stat : 19644 (java) R 19641 19641 19268 0 -1 4202560 6470 0 0 0 64 3 0 0 20 0 20 0 90895573 26737184768 33605 33554432000 4194304 4196468 140736586146128 140539216057744 140539211857302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19645] ppid=19641 vsize=26110532 memory=140061165527920 CPUtime=0 cores=0-7 /proc/19643/task/19645/stat : 19645 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26737184768 33605 33554432000 4194304 4196468 140736586146128 140539183688464 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19646] ppid=19641 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/19643/task/19646/stat : 19646 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90895574 26737184768 33605 33554432000 4194304 4196468 140736586146128 140538768567184 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19647] ppid=19641 vsize=26110532 memory=4616 CPUtime=0 cores=0-7 /proc/19643/task/19647/stat : 19647 (java) S 19641 19641 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90895574 26737184768 33605 33554432000 4194304 4196468 140736586146128 140538767514640 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 ################ # More data... # ################ [pid=19643/tid=19686] ppid=19641 vsize=26645092 memory=1456 CPUtime=2353.36 cores=0-7 /proc/19643/task/19686/stat : 19686 (java) R 19641 19641 19268 0 -1 4202560 11329 0 0 0 235272 64 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538584191256 140538851461972 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 Current children cumulated CPU time: 19471 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 7324260 KiB [startup+2502.3 s] /proc/loadavg: 8.68 8.33 8.28 9/207 19723 /proc/meminfo: memFree=16207400/32770624 swapFree=67108688/67108860 [pid=19641] ppid=19638 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19641/stat : 19641 (xcsp3-exec) S 19638 19641 19268 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90895572 115843072 364 33554432000 4194304 5098028 140726127519216 140726127517320 139823190319740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12247040 140726127522869 140726127523072 140726127523072 140726127525834 0 /proc/19641/statm: 28282 364 306 221 0 87 0 [pid=19643] ppid=19641 vsize=26645092 memory=7322804 CPUtime=19949.6 cores=0-7 /proc/19643/stat : 19643 (java) S 19641 19641 19268 0 -1 1077944320 331262 0 0 0 1994072 891 0 0 20 0 28 0 90895573 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140736586128672 140539211845367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 /proc/19643/statm: 6661273 1830701 3450 1 0 6622467 0 [pid=19643/tid=19644] ppid=19641 vsize=26645092 memory=1456 CPUtime=2.23 cores=0-7 /proc/19643/task/19644/stat : 19644 (java) S 19641 19641 19268 0 -1 1077944384 7613 0 0 0 216 7 0 0 20 0 28 0 90895573 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140539216086144 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19645] ppid=19641 vsize=26645092 memory=224416336222596 CPUtime=0.61 cores=0-7 /proc/19643/task/19645/stat : 19645 (java) S 19641 19641 19268 0 -1 1077944384 4226 0 0 0 47 14 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140539183688464 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19646] ppid=19641 vsize=26645092 memory=7322804 CPUtime=0.62 cores=0-7 /proc/19643/task/19646/stat : 19646 (java) S 19641 19641 19268 0 -1 1077944384 1567 0 0 0 50 12 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538768567184 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19647] ppid=19641 vsize=26645092 memory=0 CPUtime=0.64 cores=0-7 /proc/19643/task/19647/stat : 19647 (java) S 19641 19641 19268 0 -1 1077944384 2918 0 0 0 50 14 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538767514640 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19648] ppid=19641 vsize=26645092 memory=1456 CPUtime=0.61 cores=0-7 /proc/19643/task/19648/stat : 19648 (java) S 19641 19641 19268 0 -1 1077944384 2280 0 0 0 49 12 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538766462096 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19649] ppid=19641 vsize=26645092 memory=7322804 CPUtime=0.69 cores=0-7 /proc/19643/task/19649/stat : 19649 (java) S 19641 19641 19268 0 -1 1077944384 2417 0 0 0 54 15 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538765408528 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19650] ppid=19641 vsize=26645092 memory=0 CPUtime=0.65 cores=0-7 /proc/19643/task/19650/stat : 19650 (java) S 19641 19641 19268 0 -1 1077944384 2831 0 0 0 53 12 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538764355984 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19651] ppid=19641 vsize=26645092 memory=0 CPUtime=0.65 cores=0-7 /proc/19643/task/19651/stat : 19651 (java) S 19641 19641 19268 0 -1 1077944384 4375 0 0 0 54 11 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538763303440 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19652] ppid=19641 vsize=26645092 memory=1724 CPUtime=0.58 cores=0-7 /proc/19643/task/19652/stat : 19652 (java) S 19641 19641 19268 0 -1 1077944384 2653 0 0 0 45 13 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538762250896 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19653] ppid=19641 vsize=26645092 memory=1004 CPUtime=0.14 cores=0-7 /proc/19643/task/19653/stat : 19653 (java) S 19641 19641 19268 0 -1 1077944384 10027 0 0 0 7 7 0 0 20 0 28 0 90895575 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538607704560 140539211856514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19654] ppid=19641 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/19643/task/19654/stat : 19654 (java) S 19641 19641 19268 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 90895576 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538606650848 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19655] ppid=19641 vsize=26645092 memory=7322804 CPUtime=0 cores=0-7 /proc/19643/task/19655/stat : 19655 (java) S 19641 19641 19268 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 90895576 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538605598208 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19656] ppid=19641 vsize=26645092 memory=14 CPUtime=0 cores=0-7 /proc/19643/task/19656/stat : 19656 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90895578 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538604546768 140539211863963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19657] ppid=19641 vsize=26645092 memory=0 CPUtime=3.64 cores=0-7 /proc/19643/task/19657/stat : 19657 (java) S 19641 19641 19268 0 -1 1077944384 25227 0 0 0 358 6 0 0 20 0 28 0 90895578 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538603493360 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19658] ppid=19641 vsize=26645092 memory=180 CPUtime=3.48 cores=0-7 /proc/19643/task/19658/stat : 19658 (java) S 19641 19641 19268 0 -1 1077944384 21726 0 0 0 345 3 0 0 20 0 28 0 90895578 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538602440816 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19659] ppid=19641 vsize=26645092 memory=7306335448613282645 CPUtime=3.45 cores=0-7 /proc/19643/task/19659/stat : 19659 (java) S 19641 19641 19268 0 -1 1077944384 18655 0 0 0 342 3 0 0 20 0 28 0 90895578 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538601388272 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19660] ppid=19641 vsize=26645092 memory=0 CPUtime=1.24 cores=0-7 /proc/19643/task/19660/stat : 19660 (java) S 19641 19641 19268 0 -1 1077944384 26729 0 0 0 119 5 0 0 20 0 28 0 90895578 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538600335728 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19661] ppid=19641 vsize=26645092 memory=7306359599985485420 CPUtime=0 cores=0-7 /proc/19643/task/19661/stat : 19661 (java) S 19641 19641 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90895579 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538599283424 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19662] ppid=19641 vsize=26645092 memory=7322804 CPUtime=0.93 cores=0-7 /proc/19643/task/19662/stat : 19662 (java) S 19641 19641 19268 0 -1 1077944384 3549 0 0 0 18 75 0 0 20 0 28 0 90895579 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538598230960 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19679] ppid=19641 vsize=26645092 memory=1456 CPUtime=2415.73 cores=0-7 /proc/19643/task/19679/stat : 19679 (java) R 19641 19641 19268 0 -1 4202560 7698 0 0 0 241567 6 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538579979424 140538857807178 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19680] ppid=19641 vsize=26645092 memory=7322804 CPUtime=2425.73 cores=0-7 /proc/19643/task/19680/stat : 19680 (java) R 19641 19641 19268 0 -1 4202560 6108 0 0 0 242567 6 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538586296936 140538858248267 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19681] ppid=19641 vsize=26645092 memory=7322804 CPUtime=2424.55 cores=0-7 /proc/19643/task/19681/stat : 19681 (java) R 19641 19641 19268 0 -1 4202560 7999 0 0 0 242438 17 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538585243400 140538857459280 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19682] ppid=19641 vsize=26645092 memory=1456 CPUtime=2412.3 cores=0-7 /proc/19643/task/19682/stat : 19682 (java) R 19641 19641 19268 0 -1 4202560 106281 0 0 0 240731 499 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538583140472 140538857807178 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19683] ppid=19641 vsize=26645092 memory=7322804 CPUtime=2421.59 cores=0-7 /proc/19643/task/19683/stat : 19683 (java) R 19641 19641 19268 0 -1 4202560 23973 0 0 0 242057 102 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538587349480 140538851275892 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19684] ppid=19641 vsize=26645092 memory=1456 CPUtime=2425.5 cores=0-7 /proc/19643/task/19684/stat : 19684 (java) R 19641 19641 19268 0 -1 4202560 5595 0 0 0 242535 15 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538582085736 140538858968660 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19685] ppid=19641 vsize=26645092 memory=4140 CPUtime=2416.84 cores=0-7 /proc/19643/task/19685/stat : 19685 (java) R 19641 19641 19268 0 -1 4202560 6232 0 0 0 241680 4 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538581033128 140538857807178 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19686] ppid=19641 vsize=26645092 memory=26168 CPUtime=2413.35 cores=0-7 /proc/19643/task/19686/stat : 19686 (java) R 19641 19641 19268 0 -1 4202560 11573 0 0 0 241269 66 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538584191256 140538857936959 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 Current children cumulated CPU time: 19949.6 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 7324260 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.59 8.33 8.28 9/207 19723 /proc/meminfo: memFree=16207764/32770624 swapFree=67108688/67108860 [pid=19641] ppid=19638 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19641/stat : 19641 (xcsp3-exec) S 19638 19641 19268 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90895572 115843072 364 33554432000 4194304 5098028 140726127519216 140726127517320 139823190319740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12247040 140726127522869 140726127523072 140726127523072 140726127525834 0 /proc/19641/statm: 28282 364 306 221 0 87 0 [pid=19643] ppid=19641 vsize=26645092 memory=7322804 CPUtime=20090.9 cores=0-7 /proc/19643/stat : 19643 (java) S 19641 19641 19268 0 -1 1077944320 332401 0 0 0 2008198 892 0 0 20 0 28 0 90895573 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140736586128672 140539211845367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 /proc/19643/statm: 6661273 1830701 3450 1 0 6622467 0 [pid=19643/tid=19644] ppid=19641 vsize=26645092 memory=952 CPUtime=2.23 cores=0-7 /proc/19643/task/19644/stat : 19644 (java) S 19641 19641 19268 0 -1 1077944384 7613 0 0 0 216 7 0 0 20 0 28 0 90895573 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140539216086144 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19645] ppid=19641 vsize=26645092 memory=1204 CPUtime=0.61 cores=0-7 /proc/19643/task/19645/stat : 19645 (java) S 19641 19641 19268 0 -1 1077944384 4226 0 0 0 47 14 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140539183688464 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19646] ppid=19641 vsize=26645092 memory=15872 CPUtime=0.62 cores=0-7 /proc/19643/task/19646/stat : 19646 (java) S 19641 19641 19268 0 -1 1077944384 1567 0 0 0 50 12 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538768567184 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19647] ppid=19641 vsize=26645092 memory=4872558044660077418 CPUtime=0.64 cores=0-7 /proc/19643/task/19647/stat : 19647 (java) S 19641 19641 19268 0 -1 1077944384 2918 0 0 0 50 14 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538767514640 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19648] ppid=19641 vsize=26645092 memory=4427205132082312746 CPUtime=0.61 cores=0-7 /proc/19643/task/19648/stat : 19648 (java) S 19641 19641 19268 0 -1 1077944384 2280 0 0 0 49 12 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538766462096 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19649] ppid=19641 vsize=26645092 memory=-7023579799431922829 CPUtime=0.69 cores=0-7 /proc/19643/task/19649/stat : 19649 (java) S 19641 19641 19268 0 -1 1077944384 2417 0 0 0 54 15 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538765408528 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19650] ppid=19641 vsize=26645092 memory=-8486080722631693414 CPUtime=0.65 cores=0-7 /proc/19643/task/19650/stat : 19650 (java) S 19641 19641 19268 0 -1 1077944384 2831 0 0 0 53 12 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538764355984 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19651] ppid=19641 vsize=26645092 memory=-8412652152092201843 CPUtime=0.65 cores=0-7 /proc/19643/task/19651/stat : 19651 (java) S 19641 19641 19268 0 -1 1077944384 4375 0 0 0 54 11 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538763303440 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19652] ppid=19641 vsize=26645092 memory=3047711553219693942 CPUtime=0.58 cores=0-7 /proc/19643/task/19652/stat : 19652 (java) S 19641 19641 19268 0 -1 1077944384 2653 0 0 0 45 13 0 0 20 0 28 0 90895574 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538762250896 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19653] ppid=19641 vsize=26645092 memory=-7666414585839465563 CPUtime=0.14 cores=0-7 /proc/19643/task/19653/stat : 19653 (java) S 19641 19641 19268 0 -1 1077944384 10031 0 0 0 7 7 0 0 20 0 28 0 90895575 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538607704560 140539211856514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19654] ppid=19641 vsize=26645092 memory=-7521736447810188379 CPUtime=0 cores=0-7 /proc/19643/task/19654/stat : 19654 (java) S 19641 19641 19268 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 90895576 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538606650848 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19655] ppid=19641 vsize=26645092 memory=8328453600958622283 CPUtime=0 cores=0-7 /proc/19643/task/19655/stat : 19655 (java) S 19641 19641 19268 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 90895576 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538605598208 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19656] ppid=19641 vsize=26645092 memory=2240 CPUtime=0 cores=0-7 /proc/19643/task/19656/stat : 19656 (java) S 19641 19641 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90895578 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538604546768 140539211863963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19657] ppid=19641 vsize=26645092 memory=4124 CPUtime=3.64 cores=0-7 /proc/19643/task/19657/stat : 19657 (java) S 19641 19641 19268 0 -1 1077944384 25230 0 0 0 358 6 0 0 20 0 28 0 90895578 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538603493360 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19658] ppid=19641 vsize=26645092 memory=2200 CPUtime=3.48 cores=0-7 /proc/19643/task/19658/stat : 19658 (java) S 19641 19641 19268 0 -1 1077944384 21729 0 0 0 345 3 0 0 20 0 28 0 90895578 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538602440816 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19659] ppid=19641 vsize=26645092 memory=7284 CPUtime=3.45 cores=0-7 /proc/19643/task/19659/stat : 19659 (java) S 19641 19641 19268 0 -1 1077944384 18658 0 0 0 342 3 0 0 20 0 28 0 90895578 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538601388272 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19660] ppid=19641 vsize=26645092 memory=840 CPUtime=1.24 cores=0-7 /proc/19643/task/19660/stat : 19660 (java) S 19641 19641 19268 0 -1 1077944384 26737 0 0 0 119 5 0 0 20 0 28 0 90895578 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538600335728 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19661] ppid=19641 vsize=26645092 memory=1796 CPUtime=0 cores=0-7 /proc/19643/task/19661/stat : 19661 (java) S 19641 19641 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90895579 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538599283424 140539211855573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19662] ppid=19641 vsize=26645092 memory=912 CPUtime=0.93 cores=0-7 /proc/19643/task/19662/stat : 19662 (java) S 19641 19641 19268 0 -1 1077944384 3576 0 0 0 18 75 0 0 20 0 28 0 90895579 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538598230960 140539211856514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19679] ppid=19641 vsize=26645092 memory=4140 CPUtime=2433.43 cores=0-7 /proc/19643/task/19679/stat : 19679 (java) R 19641 19641 19268 0 -1 4202560 7790 0 0 0 243337 6 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538579979424 140538858847346 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19680] ppid=19641 vsize=26645092 memory=4108 CPUtime=2443.44 cores=0-7 /proc/19643/task/19680/stat : 19680 (java) R 19641 19641 19268 0 -1 4202560 6210 0 0 0 244338 6 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538586296936 140538858305729 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19681] ppid=19641 vsize=26645092 memory=1444 CPUtime=2442.25 cores=0-7 /proc/19643/task/19681/stat : 19681 (java) R 19641 19641 19268 0 -1 4202560 8096 0 0 0 244208 17 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538585243400 140538858609700 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19682] ppid=19641 vsize=26645092 memory=5668 CPUtime=2430.01 cores=0-7 /proc/19643/task/19682/stat : 19682 (java) R 19641 19641 19268 0 -1 4202560 106660 0 0 0 242502 499 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538583140472 140538857807178 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19683] ppid=19641 vsize=26645092 memory=4616 CPUtime=2438.92 cores=0-7 /proc/19643/task/19683/stat : 19683 (java) R 19641 19641 19268 0 -1 4202560 24201 0 0 0 243790 102 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538587349480 140538858310167 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19684] ppid=19641 vsize=26645092 memory=14076 CPUtime=2443.2 cores=0-7 /proc/19643/task/19684/stat : 19684 (java) R 19641 19641 19268 0 -1 4202560 5665 0 0 0 244305 15 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538582085736 140538858570096 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19685] ppid=19641 vsize=26645092 memory=1204 CPUtime=2434.54 cores=0-7 /proc/19643/task/19685/stat : 19685 (java) R 19641 19641 19268 0 -1 4202560 6291 0 0 0 243450 4 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538581033128 140538858968665 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 [pid=19643/tid=19686] ppid=19641 vsize=26645092 memory=15872 CPUtime=2431.05 cores=0-7 /proc/19643/task/19686/stat : 19686 (java) R 19641 19641 19268 0 -1 4202560 11637 0 0 0 243039 66 0 0 20 0 28 0 90903088 27284574208 1830701 33554432000 4194304 4196468 140736586146128 140538584191256 140538859306428 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21762048 140736586155137 140736586155309 140736586155309 140736586158031 0 Current children cumulated CPU time: 20090.9 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 7324260 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 19641 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001508 s, system=0.000754 s [startup+2520.14 s] # the end of solver process 19643 was just reported to runsolver # cumulated CPU time of all completed processes: user=20082.7 s, system=8.9617 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.14 CPU time (s): 20091.7 CPU user time (s): 20082.7 CPU system time (s): 8.9617 CPU usage (%): 797.245 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 7682156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20082.7 system time used= 8.9617 maximum resident set size= 7689676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 334096 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2224 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 62745 involuntary context switches= 204003 # summary of solver processes directly reported to runsolver: # pid: 19641,19643 # total CPU time (s): 20091.7 # total CPU user time (s): 20082.7 # total CPU system time (s): 8.9617 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.5804 second user time and 31.855 second system time The end
Begin job on node106 at 2018-07-28 01:15:27 IDJOB=4297540 IDBENCH=141632 IDSOLVER=2760 FILE ID=node106/4297540-1532733327 RUNJOBID= node106-1532728285-19295 PBS_JOBID= 21022345 Free space on /tmp= 46168 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/SteelMillSlab/SteelMillSlab-m1-3-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-4297540-1532733327/watcher-4297540-1532733327 -o /tmp/evaluation-result-4297540-1532733327/solver-4297540-1532733327 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532728285-19295 --watchdog 2580 HOME/xcsp3-exec -seed 1363050880 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297540-1532733327.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7371989d8b754960e2638a689dbe5607 RANDOM SEED=1363050880 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 23526264 kB MemAvailable: 31923996 kB Buffers: 216992 kB Cached: 8343844 kB SwapCached: 0 kB Active: 2535624 kB Inactive: 6082808 kB Active(anon): 4528 kB Inactive(anon): 80696 kB Active(file): 2531096 kB Inactive(file): 6002112 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 22264 kB Writeback: 0 kB AnonPages: 237492 kB Mapped: 42104 kB Shmem: 25056 kB Slab: 320324 kB SReclaimable: 292984 kB SUnreclaim: 27340 kB KernelStack: 3456 kB PageTables: 4928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324000 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 182272 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 46144 MiB End job on node106 at 2018-07-28 01:57:27