Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 0 | 2007.14 | 252.08501 |
Name | BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml |
MD5SUM | 6d00557b853b2556046a5f6541eccb2e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2007.14 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 181 |
Number of constraints | 27 |
Number of domains | 2 |
Minimum domain size | 13 |
Maximum domain size | 59 |
Distribution of domain sizes | [{"size":13,"count":1},{"size":59,"count":180}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":168},{"degree":5,"count":12}] |
Minimum constraint arity | 13 |
Maximum constraint arity | 180 |
Distribution of constraint arities | [{"arity":13,"count":1},{"arity":15,"count":24},{"arity":180,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":12},{"type":"lex","count":1},{"type":"sum","count":12},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281271-1503188070.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281271-1503188070.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.08/0.54 c solve instance... 729.55/91.96 o 0 2006.56/252.07 s SATISFIABLE 2006.56/252.07 v <instantiation> 2006.56/252.07 v <list>x b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] </list> 2006.56/252.07 v <values>0 165 155 155 149 120 118 118 0 0 0 0 0 0 0 0 165 151 144 131 124 118 116 0 0 0 0 0 0 0 0 164 161 161 156 150 148 0 0 0 0 0 0 0 0 0 164 154 154 154 154 116 96 0 0 0 0 0 0 0 0 151 105 86 84 78 76 74 71 71 70 69 65 0 0 0 149 146 116 91 91 59 59 59 59 0 0 0 0 0 0 142 141 139 138 136 135 129 0 0 0 0 0 0 0 0 142 130 117 116 96 91 59 0 0 0 0 0 0 0 0 139 134 133 132 131 131 131 0 0 0 0 0 0 0 0 136 132 114 114 101 101 98 86 86 0 0 0 0 0 0 130 107 105 104 102 97 88 77 67 60 60 0 0 0 0 129 124 123 106 94 79 79 78 65 64 59 0 0 0 0 </values> 2006.56/252.07 v </instantiation> 2006.56/252.07 c Unexpected resolution interruption!
OK 0
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 (11446 MiB free) memory of node 1: 16384 MiB (11426 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281271-1503188070/watcher-4281271-1503188070 -o /tmp/evaluation-result-4281271-1503188070/solver-4281271-1503188070 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503176515-16689 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2050740443 HOME/instance-4281271-1503188070.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=21629, runsolver pid=21626 [startup+0.100138 s]* /proc/loadavg: 8.71 7.99 7.26 3/200 21650 /proc/meminfo: memFree=23407020/32770624 swapFree=67108860/67108860 [pid=21629] ppid=21626 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21629/stat : 21629 (xcsp3-exec) S 21626 21629 16662 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151878479 9740288 346 33554432000 4194304 5098028 140733917223184 140733917221288 140561370378876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32018432 140733917230186 140733917230396 140733917230396 140733917233131 0 /proc/21629/statm: 2378 346 289 221 0 87 0 [pid=21631] ppid=21629 vsize=25999808 memory=26396 CPUtime=0.11 cores=0-7 /proc/21631/stat : 21631 (java) S 21629 21629 16662 0 -1 1077944320 5485 0 0 0 10 1 0 0 20 0 20 0 151878479 26623803392 6599 33554432000 4194304 4196468 140730856711984 140730856694528 140104672825079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 /proc/21631/statm: 6499952 6599 2872 1 0 6488269 0 [pid=21631/tid=21632] ppid=21629 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/21631/task/21632/stat : 21632 (java) R 21629 21629 16662 0 -1 4202560 3489 0 0 0 8 1 0 0 20 0 20 0 151878479 26623803392 6664 33554432000 4194304 4196468 140730856711984 140104677054256 140104672837014 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21633] ppid=21629 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21631/task/21633/stat : 21633 (java) S 21629 21629 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151878480 26623803392 6664 33554432000 4194304 4196468 140730856711984 140104595405072 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21634] ppid=21629 vsize=25999808 memory=139965387380352 CPUtime=0 cores=0-7 /proc/21631/task/21634/stat : 21634 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26623803392 6664 33554432000 4194304 4196468 140730856711984 140104594352528 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21635] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21635/stat : 21635 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26623803392 6664 33554432000 4194304 4196468 140730856711984 140104593299984 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21636] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21636/stat : 21636 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26623803392 6664 33554432000 4194304 4196468 140730856711984 140104592247440 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21637] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21637/stat : 21637 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26623803392 6664 33554432000 4194304 4196468 140730856711984 140104591194896 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21638] ppid=21629 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/21631/task/21638/stat : 21638 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26623803392 6664 33554432000 4194304 4196468 140730856711984 140104590142352 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21639] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21639/stat : 21639 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26623803392 6664 33554432000 4194304 4196468 140730856711984 140104589089808 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21640] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21640/stat : 21640 (java) S 21629 21629 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151878480 26623803392 6664 33554432000 4194304 4196468 140730856711984 140104588037264 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21641] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21641/stat : 21641 (java) S 21629 21629 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151878482 26623803392 6664 33554432000 4194304 4196468 140730856711984 140103866402800 140104672836226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21642] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21642/stat : 21642 (java) S 21629 21629 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151878482 26623803392 6664 33554432000 4194304 4196468 140730856711984 140103865349024 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21643] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21643/stat : 21643 (java) S 21629 21629 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151878482 26623803392 6664 33554432000 4194304 4196468 140730856711984 140103864296432 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21644] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21644/stat : 21644 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878485 26623803392 6664 33554432000 4194304 4196468 140730856711984 140103863245008 140104672843675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21645] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21645/stat : 21645 (java) R 21629 21629 16662 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 151878485 26623803392 6664 33554432000 4194304 4196468 140730856711984 140103862192624 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21646] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21646/stat : 21646 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878485 26623803392 6664 33554432000 4194304 4196468 140730856711984 140103861140080 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21647] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21647/stat : 21647 (java) R 21629 21629 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151878485 26623803392 6664 33554432000 4194304 4196468 140730856711984 140103860087536 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21648] ppid=21629 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/21631/task/21648/stat : 21648 (java) R 21629 21629 16662 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 20 0 151878485 26623803392 6664 33554432000 4194304 4196468 140730856711984 140103859034992 140104672837014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21649] ppid=21629 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21649/stat : 21649 (java) S 21629 21629 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151878485 26623803392 6664 33554432000 4194304 4196468 140730856711984 140103857981664 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21650] ppid=21629 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/21631/task/21650/stat : 21650 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878485 26623803392 6664 33554432000 4194304 4196468 140730856711984 140103856929200 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27780 KiB [startup+0.210312 s]* /proc/loadavg: 8.71 7.99 7.26 2/200 21650 /proc/meminfo: memFree=23394864/32770624 swapFree=67108860/67108860 [pid=21629] ppid=21626 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21629/stat : 21629 (xcsp3-exec) S 21626 21629 16662 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151878479 9740288 346 33554432000 4194304 5098028 140733917223184 140733917221288 140561370378876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32018432 140733917230186 140733917230396 140733917230396 140733917233131 0 /proc/21629/statm: 2378 346 289 221 0 87 0 [pid=21631] ppid=21629 vsize=26004064 memory=39160 CPUtime=0.33 cores=0-7 /proc/21631/stat : 21631 (java) S 21629 21629 16662 0 -1 1077944320 8382 0 0 0 31 2 0 0 20 0 20 0 151878479 26628161536 9790 33554432000 4194304 4196468 140730856711984 140730856694528 140104672825079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 /proc/21631/statm: 6501016 9790 3057 1 0 6488269 0 [pid=21631/tid=21632] ppid=21629 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/21631/task/21632/stat : 21632 (java) R 21629 21629 16662 0 -1 4202560 5418 0 0 0 18 1 0 0 20 0 20 0 151878479 26628161536 9790 33554432000 4194304 4196468 140730856711984 140104677035888 140104665504301 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21633] ppid=21629 vsize=26004096 memory=339 CPUtime=0 cores=0-7 /proc/21631/task/21633/stat : 21633 (java) S 21629 21629 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151878480 26628194304 9790 33554432000 4194304 4196468 140730856711984 140104595405072 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21634] ppid=21629 vsize=26004096 memory=139965388108540 CPUtime=0 cores=0-7 /proc/21631/task/21634/stat : 21634 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628194304 9790 33554432000 4194304 4196468 140730856711984 140104594352528 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21635] ppid=21629 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/21631/task/21635/stat : 21635 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628194304 9790 33554432000 4194304 4196468 140730856711984 140104593299984 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21636] ppid=21629 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21636/stat : 21636 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628161536 9790 33554432000 4194304 4196468 140730856711984 140104592247440 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21637] ppid=21629 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21637/stat : 21637 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628161536 9790 33554432000 4194304 4196468 140730856711984 140104591194896 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21638] ppid=21629 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21631/task/21638/stat : 21638 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628161536 9790 33554432000 4194304 4196468 140730856711984 140104590142352 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21639] ppid=21629 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21639/stat : 21639 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628161536 9790 33554432000 4194304 4196468 140730856711984 140104589089808 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21640] ppid=21629 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21640/stat : 21640 (java) S 21629 21629 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151878480 26628161536 9790 33554432000 4194304 4196468 140730856711984 140104588037264 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21641] ppid=21629 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21641/stat : 21641 (java) S 21629 21629 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151878482 26628161536 9790 33554432000 4194304 4196468 140730856711984 140103866402800 140104672836226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21642] ppid=21629 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21642/stat : 21642 (java) S 21629 21629 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151878482 26628161536 9790 33554432000 4194304 4196468 140730856711984 140103865349024 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21643] ppid=21629 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21643/stat : 21643 (java) S 21629 21629 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151878482 26628161536 9790 33554432000 4194304 4196468 140730856711984 140103864296432 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21644] ppid=21629 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21644/stat : 21644 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878485 26628161536 9790 33554432000 4194304 4196468 140730856711984 140103863245008 140104672843675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21645] ppid=21629 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/21631/task/21645/stat : 21645 (java) S 21629 21629 16662 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 20 0 151878485 26628161536 9790 33554432000 4194304 4196468 140730856711984 140103862192624 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21646] ppid=21629 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7 /proc/21631/task/21646/stat : 21646 (java) S 21629 21629 16662 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 151878485 26628194304 9790 33554432000 4194304 4196468 140730856711984 140103861140080 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21647] ppid=21629 vsize=26004096 memory=-1 CPUtime=0.02 cores=0-7 /proc/21631/task/21647/stat : 21647 (java) S 21629 21629 16662 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 151878485 26628194304 9790 33554432000 4194304 4196468 140730856711984 140103860087536 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21648] ppid=21629 vsize=26004096 memory=-1 CPUtime=0.08 cores=0-7 /proc/21631/task/21648/stat : 21648 (java) S 21629 21629 16662 0 -1 1077944384 776 0 0 0 8 0 0 0 20 0 20 0 151878485 26628194304 9790 33554432000 4194304 4196468 140730856711984 140103859034992 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21649] ppid=21629 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21649/stat : 21649 (java) S 21629 21629 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151878485 26628161536 9790 33554432000 4194304 4196468 140730856711984 140103857981664 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21650] ppid=21629 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21631/task/21650/stat : 21650 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878485 26628161536 9790 33554432000 4194304 4196468 140730856711984 140103856929200 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40544 KiB [startup+0.310279 s]* /proc/loadavg: 8.71 7.99 7.26 3/200 21650 /proc/meminfo: memFree=23388660/32770624 swapFree=67108860/67108860 [pid=21629] ppid=21626 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21629/stat : 21629 (xcsp3-exec) S 21626 21629 16662 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151878479 9740288 346 33554432000 4194304 5098028 140733917223184 140733917221288 140561370378876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32018432 140733917230186 140733917230396 140733917230396 140733917233131 0 /proc/21629/statm: 2378 346 289 221 0 87 0 [pid=21631] ppid=21629 vsize=26004140 memory=46124 CPUtime=0.5 cores=0-7 /proc/21631/stat : 21631 (java) S 21629 21629 16662 0 -1 1077944320 9277 0 0 0 47 3 0 0 20 0 20 0 151878479 26628239360 11531 33554432000 4194304 4196468 140730856711984 140730856694528 140104672825079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 /proc/21631/statm: 6501035 11531 3078 1 0 6488269 0 [pid=21631/tid=21632] ppid=21629 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/21631/task/21632/stat : 21632 (java) R 21629 21629 16662 0 -1 4202560 6183 0 0 0 27 2 0 0 20 0 20 0 151878479 26628239360 11531 33554432000 4194304 4196468 140730856711984 140104677057440 140104656905566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21633] ppid=21629 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21633/stat : 21633 (java) S 21629 21629 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151878480 26628239360 11531 33554432000 4194304 4196468 140730856711984 140104595405072 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21634] ppid=21629 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21634/stat : 21634 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628239360 11531 33554432000 4194304 4196468 140730856711984 140104594352528 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21635] ppid=21629 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21635/stat : 21635 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628239360 11531 33554432000 4194304 4196468 140730856711984 140104593299984 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21636] ppid=21629 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21636/stat : 21636 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628239360 11531 33554432000 4194304 4196468 140730856711984 140104592247440 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21637] ppid=21629 vsize=26004140 memory=2244 CPUtime=0 cores=0-7 /proc/21631/task/21637/stat : 21637 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628239360 11531 33554432000 4194304 4196468 140730856711984 140104591194896 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21638] ppid=21629 vsize=26004140 memory=139965266752431 CPUtime=0 cores=0-7 /proc/21631/task/21638/stat : 21638 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628239360 11531 33554432000 4194304 4196468 140730856711984 140104590142352 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21639] ppid=21629 vsize=26004140 memory=139965266754736 CPUtime=0 cores=0-7 /proc/21631/task/21639/stat : 21639 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878480 26628239360 11531 33554432000 4194304 4196468 140730856711984 140104589089808 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21640] ppid=21629 vsize=26004140 memory=139965266757040 CPUtime=0 cores=0-7 /proc/21631/task/21640/stat : 21640 (java) S 21629 21629 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151878480 26628239360 11531 33554432000 4194304 4196468 140730856711984 140104588037264 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21641] ppid=21629 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21641/stat : 21641 (java) S 21629 21629 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151878482 26628239360 11531 33554432000 4194304 4196468 140730856711984 140103866402800 140104672836226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21642] ppid=21629 vsize=26004140 memory=279930533521040 CPUtime=0 cores=0-7 /proc/21631/task/21642/stat : 21642 (java) S 21629 21629 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151878482 26628239360 11531 33554432000 4194304 4196468 140730856711984 140103865349024 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21643] ppid=21629 vsize=26004140 memory=279930533527952 CPUtime=0 cores=0-7 /proc/21631/task/21643/stat : 21643 (java) S 21629 21629 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151878482 26628239360 11531 33554432000 4194304 4196468 140730856711984 140103864296432 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21644] ppid=21629 vsize=26004140 memory=279930533469232 CPUtime=0 cores=0-7 /proc/21631/task/21644/stat : 21644 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878485 26628239360 11531 33554432000 4194304 4196468 140730856711984 140103863245008 140104672843675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21645] ppid=21629 vsize=26004140 memory=279930533541776 CPUtime=0.02 cores=0-7 /proc/21631/task/21645/stat : 21645 (java) S 21629 21629 16662 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 20 0 151878485 26628239360 11531 33554432000 4194304 4196468 140730856711984 140103862192624 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21646] ppid=21629 vsize=26004140 memory=279930533548688 CPUtime=0.02 cores=0-7 /proc/21631/task/21646/stat : 21646 (java) S 21629 21629 16662 0 -1 1077944384 94 0 0 0 2 0 0 0 20 0 20 0 151878485 26628239360 11531 33554432000 4194304 4196468 140730856711984 140103861140080 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21647] ppid=21629 vsize=26004140 memory=279930533546384 CPUtime=0.03 cores=0-7 /proc/21631/task/21647/stat : 21647 (java) S 21629 21629 16662 0 -1 1077944384 304 0 0 0 3 0 0 0 20 0 20 0 151878485 26628239360 11531 33554432000 4194304 4196468 140730856711984 140103860087536 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21648] ppid=21629 vsize=26004140 memory=279930533562544 CPUtime=0.11 cores=0-7 /proc/21631/task/21648/stat : 21648 (java) S 21629 21629 16662 0 -1 1077944384 842 0 0 0 11 0 0 0 20 0 20 0 151878485 26628239360 11531 33554432000 4194304 4196468 140730856711984 140103859034992 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21649] ppid=21629 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21649/stat : 21649 (java) S 21629 21629 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151878485 26628239360 11531 33554432000 4194304 4196468 140730856711984 140103857981664 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21650] ppid=21629 vsize=26004140 memory=-1 CPUtime=0 cores=0-7 /proc/21631/task/21650/stat : 21650 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151878485 26628239360 11531 33554432000 4194304 4196468 140730856711984 140103856929200 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013652 KiB Current children cumulated memory: 47508 KiB [startup+0.711513 s] /proc/loadavg: 8.71 7.99 7.26 6/200 21650 /proc/meminfo: memFree=23371044/32770624 swapFree=67108860/67108860 [pid=21629] ppid=21626 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21629/stat : 21629 (xcsp3-exec) S 21626 21629 16662 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151878479 9740288 346 33554432000 4194304 5098028 140733917223184 140733917221288 140561370378876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32018432 140733917230186 140733917230396 140733917230396 140733917233131 0 /proc/21629/statm: 2378 346 289 221 0 87 0 [pid=21631] ppid=21629 vsize=26538700 memory=88456 CPUtime=2.35 cores=0-7 /proc/21631/stat : 21631 (java) S 21629 21629 16662 0 -1 1077944320 12954 0 0 0 231 4 0 0 20 0 28 0 151878479 27175628800 22114 33554432000 4194304 4196468 140730856711984 140730856694528 140104672825079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 /proc/21631/statm: 6634675 22114 3203 1 0 6621909 0 [pid=21631/tid=21632] ppid=21629 vsize=26538700 memory=279930533920432 CPUtime=0.52 cores=0-7 /proc/21631/task/21632/stat : 21632 (java) S 21629 21629 16662 0 -1 1077944384 6786 0 0 0 49 3 0 0 20 0 28 0 151878479 27175628800 22114 33554432000 4194304 4196468 140730856711984 140104677065856 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21633] ppid=21629 vsize=26538700 memory=139965266961264 CPUtime=0 cores=0-7 /proc/21631/task/21633/stat : 21633 (java) S 21629 21629 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151878480 27175628800 22114 33554432000 4194304 4196468 140730856711984 140104595405072 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21634] ppid=21629 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/21631/task/21634/stat : 21634 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151878480 27175628800 22114 33554432000 4194304 4196468 140730856711984 140104594352528 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21635] ppid=21629 vsize=26538700 memory=1428 CPUtime=0 cores=0-7 /proc/21631/task/21635/stat : 21635 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151878480 27175628800 22114 33554432000 4194304 4196468 140730856711984 140104593299984 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 ################ # More data... # ################ [pid=21631/tid=21692] ppid=21629 vsize=26538700 memory=1296 CPUtime=70.25 cores=0-7 /proc/21631/task/21692/stat : 21692 (java) R 21629 21629 16662 0 -1 4202560 1189 0 0 0 7024 1 0 0 20 0 28 0 151887676 27175628800 60256 33554432000 4194304 4196468 140730856711984 140103848361544 140104271237187 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 Current children cumulated CPU time: 1290.97 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 242408 KiB [startup+222.301 s] /proc/loadavg: 8.20 8.28 7.55 9/209 21692 /proc/meminfo: memFree=23226656/32770624 swapFree=67108860/67108860 [pid=21629] ppid=21626 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21629/stat : 21629 (xcsp3-exec) S 21626 21629 16662 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151878479 9740288 346 33554432000 4194304 5098028 140733917223184 140733917221288 140561370378876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32018432 140733917230186 140733917230396 140733917230396 140733917233131 0 /proc/21629/statm: 2378 346 289 221 0 87 0 [pid=21631] ppid=21629 vsize=26538700 memory=209268 CPUtime=1769.58 cores=0-7 /proc/21631/stat : 21631 (java) S 21629 21629 16662 0 -1 1077944320 89927 0 0 0 176915 43 0 0 20 0 28 0 151878479 27175628800 52317 33554432000 4194304 4196468 140730856711984 140730856694528 140104672825079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 /proc/21631/statm: 6634675 52317 3281 1 0 6621909 0 [pid=21631/tid=21632] ppid=21629 vsize=26538700 memory=211324 CPUtime=0.53 cores=0-7 /proc/21631/task/21632/stat : 21632 (java) S 21629 21629 16662 0 -1 1077944384 7030 0 0 0 50 3 0 0 20 0 28 0 151878479 27175628800 52317 33554432000 4194304 4196468 140730856711984 140104677065856 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21633] ppid=21629 vsize=26538700 memory=209272 CPUtime=0.09 cores=0-7 /proc/21631/task/21633/stat : 21633 (java) S 21629 21629 16662 0 -1 1077944384 1489 0 0 0 7 2 0 0 20 0 28 0 151878480 27175628800 52317 33554432000 4194304 4196468 140730856711984 140104595405072 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21634] ppid=21629 vsize=26538700 memory=209272 CPUtime=0.09 cores=0-7 /proc/21631/task/21634/stat : 21634 (java) S 21629 21629 16662 0 -1 1077944384 1468 0 0 0 7 2 0 0 20 0 28 0 151878480 27175628800 52317 33554432000 4194304 4196468 140730856711984 140104594352528 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21635] ppid=21629 vsize=26538700 memory=209268 CPUtime=0.09 cores=0-7 /proc/21631/task/21635/stat : 21635 (java) S 21629 21629 16662 0 -1 1077944384 2985 0 0 0 7 2 0 0 20 0 28 0 151878480 27175628800 52317 33554432000 4194304 4196468 140730856711984 140104593299984 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21636] ppid=21629 vsize=26538700 memory=1384 CPUtime=0.09 cores=0-7 /proc/21631/task/21636/stat : 21636 (java) S 21629 21629 16662 0 -1 1077944384 2283 0 0 0 7 2 0 0 20 0 28 0 151878480 27175628800 52317 33554432000 4194304 4196468 140730856711984 140104592247440 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21637] ppid=21629 vsize=26538700 memory=1384 CPUtime=0.09 cores=0-7 /proc/21631/task/21637/stat : 21637 (java) S 21629 21629 16662 0 -1 1077944384 2016 0 0 0 7 2 0 0 20 0 28 0 151878480 27175628800 52317 33554432000 4194304 4196468 140730856711984 140104591194896 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21638] ppid=21629 vsize=26538700 memory=213376 CPUtime=0.09 cores=0-7 /proc/21631/task/21638/stat : 21638 (java) S 21629 21629 16662 0 -1 1077944384 3264 0 0 0 7 2 0 0 20 0 28 0 151878480 27175628800 52317 33554432000 4194304 4196468 140730856711984 140104590142352 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21639] ppid=21629 vsize=26538700 memory=2400 CPUtime=0.09 cores=0-7 /proc/21631/task/21639/stat : 21639 (java) S 21629 21629 16662 0 -1 1077944384 1825 0 0 0 7 2 0 0 20 0 28 0 151878480 27175628800 52317 33554432000 4194304 4196468 140730856711984 140104589089808 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21640] ppid=21629 vsize=26538700 memory=4012 CPUtime=0.09 cores=0-7 /proc/21631/task/21640/stat : 21640 (java) S 21629 21629 16662 0 -1 1077944384 1371 0 0 0 7 2 0 0 20 0 28 0 151878480 27175628800 52317 33554432000 4194304 4196468 140730856711984 140104588037264 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21641] ppid=21629 vsize=26538700 memory=42064 CPUtime=0.06 cores=0-7 /proc/21631/task/21641/stat : 21641 (java) S 21629 21629 16662 0 -1 1077944384 5931 0 0 0 4 2 0 0 20 0 28 0 151878482 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103866402800 140104672836226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21642] ppid=21629 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/21631/task/21642/stat : 21642 (java) S 21629 21629 16662 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 151878482 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103865349088 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21643] ppid=21629 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/21631/task/21643/stat : 21643 (java) S 21629 21629 16662 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 151878482 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103864296448 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21644] ppid=21629 vsize=26538700 memory=4012 CPUtime=0 cores=0-7 /proc/21631/task/21644/stat : 21644 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151878485 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103863245008 140104672843675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21645] ppid=21629 vsize=26538700 memory=1384 CPUtime=1.07 cores=0-7 /proc/21631/task/21645/stat : 21645 (java) S 21629 21629 16662 0 -1 1077944384 7625 0 0 0 106 1 0 0 20 0 28 0 151878485 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103862192624 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21646] ppid=21629 vsize=26538700 memory=56 CPUtime=1.23 cores=0-7 /proc/21631/task/21646/stat : 21646 (java) S 21629 21629 16662 0 -1 1077944384 9775 0 0 0 122 1 0 0 20 0 28 0 151878485 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103861140080 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21647] ppid=21629 vsize=26538700 memory=316487825925341474 CPUtime=1.13 cores=0-7 /proc/21631/task/21647/stat : 21647 (java) S 21629 21629 16662 0 -1 1077944384 8179 0 0 0 112 1 0 0 20 0 28 0 151878485 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103860087536 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21648] ppid=21629 vsize=26538700 memory=0 CPUtime=0.5 cores=0-7 /proc/21631/task/21648/stat : 21648 (java) S 21629 21629 16662 0 -1 1077944384 6196 0 0 0 50 0 0 0 20 0 28 0 151878485 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103859034992 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21649] ppid=21629 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/21631/task/21649/stat : 21649 (java) S 21629 21629 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151878485 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103857981664 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21650] ppid=21629 vsize=26538700 memory=1384 CPUtime=0.02 cores=0-7 /proc/21631/task/21650/stat : 21650 (java) S 21629 21629 16662 0 -1 1077944384 1270 0 0 0 0 2 0 0 20 0 28 0 151878485 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103856929200 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21685] ppid=21629 vsize=26538700 memory=4012 CPUtime=129.06 cores=0-7 /proc/21631/task/21685/stat : 21685 (java) R 21629 21629 16662 0 -1 4202560 794 0 0 0 12906 0 0 0 20 0 28 0 151887676 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103776180968 140104270168889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21686] ppid=21629 vsize=26538700 memory=1384 CPUtime=130.16 cores=0-7 /proc/21631/task/21686/stat : 21686 (java) R 21629 21629 16662 0 -1 4202560 767 0 0 0 13016 0 0 0 20 0 28 0 151887676 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103849414600 140104270169237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21687] ppid=21629 vsize=26538700 memory=1384 CPUtime=129.62 cores=0-7 /proc/21631/task/21687/stat : 21687 (java) R 21629 21629 16662 0 -1 4202560 989 0 0 0 12962 0 0 0 20 0 28 0 151887676 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103778288264 140104271237775 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21688] ppid=21629 vsize=26538700 memory=209268 CPUtime=130.05 cores=0-7 /proc/21631/task/21688/stat : 21688 (java) R 21629 21629 16662 0 -1 4202560 5973 0 0 0 13004 1 0 0 20 0 28 0 151887676 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103777237936 140104271939328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21689] ppid=21629 vsize=26538700 memory=1384 CPUtime=129.4 cores=0-7 /proc/21631/task/21689/stat : 21689 (java) R 21629 21629 16662 0 -1 4202560 1924 0 0 0 12940 0 0 0 20 0 28 0 151887676 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103774077256 140104271237187 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21690] ppid=21629 vsize=26538700 memory=209272 CPUtime=130.19 cores=0-7 /proc/21631/task/21690/stat : 21690 (java) R 21629 21629 16662 0 -1 4202560 663 0 0 0 13019 0 0 0 20 0 28 0 151887676 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103779340824 140104271296769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21691] ppid=21629 vsize=26538700 memory=4012 CPUtime=130.17 cores=0-7 /proc/21631/task/21691/stat : 21691 (java) R 21629 21629 16662 0 -1 4202560 734 0 0 0 13017 0 0 0 20 0 28 0 151887676 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103775129160 140104271237079 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21692] ppid=21629 vsize=26538700 memory=56 CPUtime=130.16 cores=0-7 /proc/21631/task/21692/stat : 21692 (java) R 21629 21629 16662 0 -1 4202560 1513 0 0 0 13014 2 0 0 20 0 28 0 151887676 27175628800 52317 33554432000 4194304 4196468 140730856711984 140103848361424 140104271296620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 Current children cumulated CPU time: 1769.58 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 210652 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.12 8.26 7.56 9/209 21692 /proc/meminfo: memFree=23237928/32770624 swapFree=67108860/67108860 [pid=21629] ppid=21626 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21629/stat : 21629 (xcsp3-exec) S 21626 21629 16662 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151878479 9740288 346 33554432000 4194304 5098028 140733917223184 140733917221288 140561370378876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32018432 140733917230186 140733917230396 140733917230396 140733917233131 0 /proc/21629/statm: 2378 346 289 221 0 87 0 [pid=21631] ppid=21629 vsize=26538700 memory=198008 CPUtime=2006.56 cores=0-7 /proc/21631/stat : 21631 (java) S 21629 21629 16662 0 -1 1077944320 91671 0 0 0 200612 44 0 0 20 0 28 0 151878479 27175628800 49502 33554432000 4194304 4196468 140730856711984 140730856694528 140104672825079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 /proc/21631/statm: 6634675 49502 3281 1 0 6621909 0 [pid=21631/tid=21632] ppid=21629 vsize=26538700 memory=1384 CPUtime=0.53 cores=0-7 /proc/21631/task/21632/stat : 21632 (java) S 21629 21629 16662 0 -1 1077944384 7030 0 0 0 50 3 0 0 20 0 28 0 151878479 27175628800 49502 33554432000 4194304 4196468 140730856711984 140104677065856 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21633] ppid=21629 vsize=26538700 memory=4872558044660077418 CPUtime=0.1 cores=0-7 /proc/21631/task/21633/stat : 21633 (java) S 21629 21629 16662 0 -1 1077944384 1529 0 0 0 8 2 0 0 20 0 28 0 151878480 27175628800 49502 33554432000 4194304 4196468 140730856711984 140104595405072 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21634] ppid=21629 vsize=26538700 memory=2200 CPUtime=0.1 cores=0-7 /proc/21631/task/21634/stat : 21634 (java) S 21629 21629 16662 0 -1 1077944384 1475 0 0 0 8 2 0 0 20 0 28 0 151878480 27175628800 49502 33554432000 4194304 4196468 140730856711984 140104594352528 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21635] ppid=21629 vsize=26538700 memory=7540 CPUtime=0.1 cores=0-7 /proc/21631/task/21635/stat : 21635 (java) S 21629 21629 16662 0 -1 1077944384 2995 0 0 0 8 2 0 0 20 0 28 0 151878480 27175628800 49502 33554432000 4194304 4196468 140730856711984 140104593299984 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21636] ppid=21629 vsize=26538700 memory=6791534058613427641 CPUtime=0.1 cores=0-7 /proc/21631/task/21636/stat : 21636 (java) S 21629 21629 16662 0 -1 1077944384 2522 0 0 0 8 2 0 0 20 0 28 0 151878480 27175628800 49502 33554432000 4194304 4196468 140730856711984 140104592247440 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21637] ppid=21629 vsize=26538700 memory=1696 CPUtime=0.11 cores=0-7 /proc/21631/task/21637/stat : 21637 (java) S 21629 21629 16662 0 -1 1077944384 2033 0 0 0 8 3 0 0 20 0 28 0 151878480 27175628800 49502 33554432000 4194304 4196468 140730856711984 140104591194896 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21638] ppid=21629 vsize=26538700 memory=920 CPUtime=0.1 cores=0-7 /proc/21631/task/21638/stat : 21638 (java) S 21629 21629 16662 0 -1 1077944384 3338 0 0 0 8 2 0 0 20 0 28 0 151878480 27175628800 49502 33554432000 4194304 4196468 140730856711984 140104590142352 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21639] ppid=21629 vsize=26538700 memory=5188 CPUtime=0.1 cores=0-7 /proc/21631/task/21639/stat : 21639 (java) S 21629 21629 16662 0 -1 1077944384 1908 0 0 0 8 2 0 0 20 0 28 0 151878480 27175628800 49502 33554432000 4194304 4196468 140730856711984 140104589089808 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21640] ppid=21629 vsize=26538700 memory=6791534058613427641 CPUtime=0.1 cores=0-7 /proc/21631/task/21640/stat : 21640 (java) S 21629 21629 16662 0 -1 1077944384 1393 0 0 0 8 2 0 0 20 0 28 0 151878480 27175628800 49502 33554432000 4194304 4196468 140730856711984 140104588037264 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21641] ppid=21629 vsize=26538700 memory=201088 CPUtime=0.07 cores=0-7 /proc/21631/task/21641/stat : 21641 (java) S 21629 21629 16662 0 -1 1077944384 6140 0 0 0 5 2 0 0 20 0 28 0 151878482 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103866402800 140104672836226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21642] ppid=21629 vsize=26538700 memory=3632 CPUtime=0 cores=0-7 /proc/21631/task/21642/stat : 21642 (java) S 21629 21629 16662 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 151878482 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103865349088 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21643] ppid=21629 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/21631/task/21643/stat : 21643 (java) S 21629 21629 16662 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 151878482 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103864296448 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21644] ppid=21629 vsize=26538700 memory=201088 CPUtime=0 cores=0-7 /proc/21631/task/21644/stat : 21644 (java) S 21629 21629 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151878485 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103863245008 140104672843675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21645] ppid=21629 vsize=26538700 memory=840 CPUtime=1.07 cores=0-7 /proc/21631/task/21645/stat : 21645 (java) S 21629 21629 16662 0 -1 1077944384 7627 0 0 0 106 1 0 0 20 0 28 0 151878485 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103862192624 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21646] ppid=21629 vsize=26538700 memory=1696 CPUtime=1.23 cores=0-7 /proc/21631/task/21646/stat : 21646 (java) S 21629 21629 16662 0 -1 1077944384 10084 0 0 0 122 1 0 0 20 0 28 0 151878485 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103861140080 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21647] ppid=21629 vsize=26538700 memory=6791534058613427641 CPUtime=1.13 cores=0-7 /proc/21631/task/21647/stat : 21647 (java) S 21629 21629 16662 0 -1 1077944384 8181 0 0 0 112 1 0 0 20 0 28 0 151878485 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103860087536 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21648] ppid=21629 vsize=26538700 memory=10688 CPUtime=0.5 cores=0-7 /proc/21631/task/21648/stat : 21648 (java) S 21629 21629 16662 0 -1 1077944384 6198 0 0 0 50 0 0 0 20 0 28 0 151878485 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103859034992 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21649] ppid=21629 vsize=26538700 memory=15880 CPUtime=0 cores=0-7 /proc/21631/task/21649/stat : 21649 (java) S 21629 21629 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151878485 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103857981664 140104672835285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21650] ppid=21629 vsize=26538700 memory=23168 CPUtime=0.03 cores=0-7 /proc/21631/task/21650/stat : 21650 (java) S 21629 21629 16662 0 -1 1077944384 1284 0 0 0 0 3 0 0 20 0 28 0 151878485 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103856929200 140104672836226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21685] ppid=21629 vsize=26538700 memory=16432 CPUtime=158.74 cores=0-7 /proc/21631/task/21685/stat : 21685 (java) R 21629 21629 16662 0 -1 4202560 813 0 0 0 15874 0 0 0 20 0 28 0 151887676 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103776180968 140104271237465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21686] ppid=21629 vsize=26538700 memory=4040 CPUtime=159.84 cores=0-7 /proc/21631/task/21686/stat : 21686 (java) R 21629 21629 16662 0 -1 4202560 795 0 0 0 15984 0 0 0 20 0 28 0 151887676 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103849414600 140104271237151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21687] ppid=21629 vsize=26538700 memory=1792 CPUtime=158.98 cores=0-7 /proc/21631/task/21687/stat : 21687 (java) R 21629 21629 16662 0 -1 4202560 1026 0 0 0 15898 0 0 0 20 0 28 0 151887676 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103778287440 140104271237727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21688] ppid=21629 vsize=26538700 memory=640 CPUtime=159.75 cores=0-7 /proc/21631/task/21688/stat : 21688 (java) R 21629 21629 16662 0 -1 4202560 6352 0 0 0 15973 2 0 0 20 0 28 0 151887676 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103777235144 140104271237079 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21689] ppid=21629 vsize=26538700 memory=960 CPUtime=158.98 cores=0-7 /proc/21631/task/21689/stat : 21689 (java) R 21629 21629 16662 0 -1 4202560 2034 0 0 0 15898 0 0 0 20 0 28 0 151887676 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103774080048 140104271237435 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21690] ppid=21629 vsize=26538700 memory=1232 CPUtime=159.88 cores=0-7 /proc/21631/task/21690/stat : 21690 (java) R 21629 21629 16662 0 -1 4202560 688 0 0 0 15988 0 0 0 20 0 28 0 151887676 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103779340744 140104271237651 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21691] ppid=21629 vsize=26538700 memory=2428 CPUtime=159.86 cores=0-7 /proc/21631/task/21691/stat : 21691 (java) R 21629 21629 16662 0 -1 4202560 764 0 0 0 15986 0 0 0 20 0 28 0 151887676 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103775129336 140104271131504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 [pid=21631/tid=21692] ppid=21629 vsize=26538700 memory=1576 CPUtime=159.67 cores=0-7 /proc/21631/task/21692/stat : 21692 (java) R 21629 21629 16662 0 -1 4202560 1599 0 0 0 15965 2 0 0 20 0 28 0 151887676 27175628800 49502 33554432000 4194304 4196468 140730856711984 140103848361480 140104271296799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140730856719512 140730856719688 140730856719688 140730856722383 0 Current children cumulated CPU time: 2006.56 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 199392 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.041 s] # the end of solver process 21629 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000963 s, system=0.000963 s [startup+252.085 s] # the end of solver process 21631 was just reported to runsolver # cumulated CPU time of all completed processes: user=2006.68 s, system=0.453507 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.085 CPU time (s): 2007.14 CPU user time (s): 2006.68 CPU system time (s): 0.453507 CPU usage (%): 796.215 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 260504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2006.68 system time used= 0.453507 maximum resident set size= 259148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92484 page faults= 0 swaps= 0 block input operations= 0 block output operations= 488 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12258 involuntary context switches= 21341 # summary of solver processes directly reported to runsolver: # pid: 21629,21631 # total CPU time (s): 2007.14 # total CPU user time (s): 2006.68 # total CPU system time (s): 0.453507 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.99257 second user time and 2.84817 second system time The end
Begin job on node105 at 2017-08-20 02:00:10 IDJOB=4281271 IDBENCH=137387 IDSOLVER=2676 FILE ID=node105/4281271-1503188070 RUNJOBID= node105-1503176515-16689 PBS_JOBID= 20630848 Free space on /tmp= 61848 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n2w4b2r4.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281271-1503188070/watcher-4281271-1503188070 -o /tmp/evaluation-result-4281271-1503188070/solver-4281271-1503188070 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503176515-16689 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2050740443 HOME/instance-4281271-1503188070.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d00557b853b2556046a5f6541eccb2e RANDOM SEED=2050740443 node105.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.17 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.17 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.17 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.17 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: 23422976 kB MemAvailable: 31972008 kB Buffers: 237824 kB Cached: 8601712 kB SwapCached: 0 kB Active: 1044228 kB Inactive: 7849096 kB Active(anon): 4092 kB Inactive(anon): 85900 kB Active(file): 1040136 kB Inactive(file): 7763196 kB Unevictable: 7324 kB Mlocked: 7324 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7852 kB Writeback: 0 kB AnonPages: 61208 kB Mapped: 51540 kB Shmem: 33420 kB Slab: 149296 kB SReclaimable: 123068 kB SUnreclaim: 26228 kB KernelStack: 3200 kB PageTables: 4744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333964 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61840 MiB End job on node105 at 2017-08-20 02:04:22