Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 0 | 20101.6 | 2520.1201 |
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 | 20086.801 |
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-4270471-1502796463.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270471-1502796463.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.09/0.54 c solve instance... 47.56/6.44 o 0 20100.77/2520.10 s SATISFIABLE 20100.77/2520.10 v <instantiation> 20100.77/2520.10 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> 20100.77/2520.10 v <values>0 165 155 151 136 131 101 71 0 0 0 0 0 0 0 0 165 114 107 106 105 97 79 79 77 70 0 0 0 0 0 164 161 146 131 131 104 98 0 0 0 0 0 0 0 0 164 161 134 133 129 116 116 0 0 0 0 0 0 0 0 156 154 150 149 148 135 0 0 0 0 0 0 0 0 0 155 154 154 154 149 118 116 0 0 0 0 0 0 0 0 151 91 91 91 88 86 86 84 78 78 76 0 0 0 0 144 129 124 124 116 114 105 101 0 0 0 0 0 0 0 142 132 131 130 96 74 0 0 0 0 0 0 0 0 0 142 130 120 118 118 117 86 69 65 0 0 0 0 0 0 141 136 102 96 94 71 65 59 59 59 59 59 0 0 0 139 139 138 132 123 67 64 60 60 59 0 0 0 0 0 </values> 20100.77/2520.10 v </instantiation> 20100.77/2520.10 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 (15026 MiB free) memory of node 1: 16384 MiB (15658 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270471-1502796463/watcher-4270471-1502796463 -o /tmp/evaluation-result-4270471-1502796463/solver-4270471-1502796463 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502785517-14896 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1946937312 HOME/instance-4270471-1502796463.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=15536, runsolver pid=15533 [startup+0.100163 s]* /proc/loadavg: 7.82 8.13 7.79 3/200 15557 /proc/meminfo: memFree=31405844/32770624 swapFree=67108860/67108860 [pid=15536] ppid=15533 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/15536/stat : 15536 (xcsp3-exec) S 15533 15536 14869 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112734066 9740288 345 33554432000 4194304 5098028 140730509127648 140730509125752 140220136870524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17960960 140730509128804 140730509129015 140730509129015 140730509131755 0 /proc/15536/statm: 2378 345 289 221 0 87 0 [pid=15538] ppid=15536 vsize=25999808 memory=27080 CPUtime=0.12 cores=0-7 /proc/15538/stat : 15538 (java) S 15536 15536 14869 0 -1 1077944320 5647 0 0 0 11 1 0 0 20 0 20 0 112734066 26623803392 6770 33554432000 4194304 4196468 140725842643344 140725842625888 139663292481271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 /proc/15538/statm: 6499952 6770 2868 1 0 6488269 0 [pid=15538/tid=15539] ppid=15536 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/15538/task/15539/stat : 15539 (java) R 15536 15536 14869 0 -1 4202560 3646 0 0 0 8 0 0 0 20 0 20 0 112734066 26623803392 6770 33554432000 4194304 4196468 140725842643344 139663296713600 139663292503197 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15540] ppid=15536 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/15538/task/15540/stat : 15540 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26623803392 6770 33554432000 4194304 4196468 140725842643344 139663215061904 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15541] ppid=15536 vsize=25999808 memory=139934115919488 CPUtime=0 cores=0-7 /proc/15538/task/15541/stat : 15541 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26623803392 6770 33554432000 4194304 4196468 140725842643344 139663214009104 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15542] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15542/stat : 15542 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734067 26623803392 6770 33554432000 4194304 4196468 140725842643344 139663212956816 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15543] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15543/stat : 15543 (java) S 15536 15536 14869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 112734067 26623803392 6770 33554432000 4194304 4196468 140725842643344 139663211904016 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15544] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15544/stat : 15544 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734067 26623803392 6770 33554432000 4194304 4196468 140725842643344 139663210850704 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15545] ppid=15536 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/15538/task/15545/stat : 15545 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734067 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662845827344 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15546] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15546/stat : 15546 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662844775056 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15547] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15547/stat : 15547 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662843722256 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15548] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15548/stat : 15548 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734069 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662419032688 139663292492418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15549] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15549/stat : 15549 (java) S 15536 15536 14869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 112734069 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662417978656 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15550] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15550/stat : 15550 (java) S 15536 15536 14869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 112734069 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662416926320 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15551] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15551/stat : 15551 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734072 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662415874640 139663292499867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15552] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15552/stat : 15552 (java) S 15536 15536 14869 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 112734072 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662414821488 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15553] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15553/stat : 15553 (java) S 15536 15536 14869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 112734072 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662413768688 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15554] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15554/stat : 15554 (java) S 15536 15536 14869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 112734072 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662412716400 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15555] ppid=15536 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/15538/task/15555/stat : 15555 (java) S 15536 15536 14869 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 112734072 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662411663600 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15556] ppid=15536 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15556/stat : 15556 (java) S 15536 15536 14869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 112734072 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662410611552 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15557] ppid=15536 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/15538/task/15557/stat : 15557 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734072 26623803392 6770 33554432000 4194304 4196468 140725842643344 139662409558832 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28460 KiB [startup+0.21028 s]* /proc/loadavg: 7.82 8.13 7.79 2/200 15557 /proc/meminfo: memFree=31394680/32770624 swapFree=67108860/67108860 [pid=15536] ppid=15533 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/15536/stat : 15536 (xcsp3-exec) S 15533 15536 14869 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112734066 9740288 345 33554432000 4194304 5098028 140730509127648 140730509125752 140220136870524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17960960 140730509128804 140730509129015 140730509129015 140730509131755 0 /proc/15536/statm: 2378 345 289 221 0 87 0 [pid=15538] ppid=15536 vsize=26004064 memory=38976 CPUtime=0.33 cores=0-7 /proc/15538/stat : 15538 (java) S 15536 15536 14869 0 -1 1077944320 8344 0 0 0 31 2 0 0 20 0 20 0 112734066 26628161536 9744 33554432000 4194304 4196468 140725842643344 140725842625888 139663292481271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 /proc/15538/statm: 6501016 9744 3052 1 0 6488269 0 [pid=15538/tid=15539] ppid=15536 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/15538/task/15539/stat : 15539 (java) R 15536 15536 14869 0 -1 4202560 5429 0 0 0 18 1 0 0 20 0 20 0 112734066 26628161536 9744 33554432000 4194304 4196468 140725842643344 139663296703312 139663292503197 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15540] ppid=15536 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/15538/task/15540/stat : 15540 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26628161536 9744 33554432000 4194304 4196468 140725842643344 139663215061904 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15541] ppid=15536 vsize=26004064 memory=3475011417932396192 CPUtime=0 cores=0-7 /proc/15538/task/15541/stat : 15541 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26628161536 9744 33554432000 4194304 4196468 140725842643344 139663214009104 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15542] ppid=15536 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/15538/task/15542/stat : 15542 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734067 26628161536 9744 33554432000 4194304 4196468 140725842643344 139663212956816 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15543] ppid=15536 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15543/stat : 15543 (java) S 15536 15536 14869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 112734067 26628161536 9744 33554432000 4194304 4196468 140725842643344 139663211904016 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15544] ppid=15536 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15544/stat : 15544 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734067 26628161536 9744 33554432000 4194304 4196468 140725842643344 139663210850704 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15545] ppid=15536 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/15538/task/15545/stat : 15545 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734067 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662845827344 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15546] ppid=15536 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15546/stat : 15546 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662844775056 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15547] ppid=15536 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15547/stat : 15547 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662843722256 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15548] ppid=15536 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15548/stat : 15548 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734069 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662419032688 139663292492418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15549] ppid=15536 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15549/stat : 15549 (java) S 15536 15536 14869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 112734069 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662417978656 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15550] ppid=15536 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15550/stat : 15550 (java) S 15536 15536 14869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 112734069 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662416926320 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15551] ppid=15536 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15551/stat : 15551 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734072 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662415874640 139663292499867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15552] ppid=15536 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/15538/task/15552/stat : 15552 (java) S 15536 15536 14869 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 20 0 112734072 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662414821488 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15553] ppid=15536 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/15538/task/15553/stat : 15553 (java) S 15536 15536 14869 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 20 0 112734072 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662413768688 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15554] ppid=15536 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/15538/task/15554/stat : 15554 (java) S 15536 15536 14869 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 112734072 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662412716400 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15555] ppid=15536 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/15538/task/15555/stat : 15555 (java) R 15536 15536 14869 0 -1 4202560 722 0 0 0 7 0 0 0 20 0 20 0 112734072 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662411663600 139663292493206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15556] ppid=15536 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15556/stat : 15556 (java) S 15536 15536 14869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 112734072 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662410611552 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15557] ppid=15536 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/15538/task/15557/stat : 15557 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734072 26628161536 9744 33554432000 4194304 4196468 140725842643344 139662409558832 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40356 KiB [startup+0.309463 s]* /proc/loadavg: 7.82 8.13 7.79 3/200 15557 /proc/meminfo: memFree=31387980/32770624 swapFree=67108860/67108860 [pid=15536] ppid=15533 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/15536/stat : 15536 (xcsp3-exec) S 15533 15536 14869 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112734066 9740288 345 33554432000 4194304 5098028 140730509127648 140730509125752 140220136870524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17960960 140730509128804 140730509129015 140730509129015 140730509131755 0 /proc/15536/statm: 2378 345 289 221 0 87 0 [pid=15538] ppid=15536 vsize=26004064 memory=46272 CPUtime=0.49 cores=0-7 /proc/15538/stat : 15538 (java) S 15536 15536 14869 0 -1 1077944320 9244 0 0 0 46 3 0 0 20 0 20 0 112734066 26628161536 11568 33554432000 4194304 4196468 140725842643344 140725842625888 139663292481271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 /proc/15538/statm: 6501016 11568 3079 1 0 6488269 0 [pid=15538/tid=15539] ppid=15536 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15538/task/15539/stat : 15539 (java) R 15536 15536 14869 0 -1 4202560 6209 0 0 0 27 2 0 0 20 0 20 0 112734066 26628239360 11568 33554432000 4194304 4196468 140725842643344 139663296713632 139663285159285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15540] ppid=15536 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15540/stat : 15540 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26628239360 11568 33554432000 4194304 4196468 140725842643344 139663215061904 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15541] ppid=15536 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15541/stat : 15541 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26628239360 11568 33554432000 4194304 4196468 140725842643344 139663214009104 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15542] ppid=15536 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15542/stat : 15542 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734067 26628239360 11568 33554432000 4194304 4196468 140725842643344 139663212956816 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15543] ppid=15536 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15543/stat : 15543 (java) S 15536 15536 14869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 112734067 26628239360 11568 33554432000 4194304 4196468 140725842643344 139663211904016 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15544] ppid=15536 vsize=26004140 memory=2244 CPUtime=0 cores=0-7 /proc/15538/task/15544/stat : 15544 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734067 26628239360 11568 33554432000 4194304 4196468 140725842643344 139663210850704 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15545] ppid=15536 vsize=26004140 memory=139933994021807 CPUtime=0 cores=0-7 /proc/15538/task/15545/stat : 15545 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734067 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662845827344 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15546] ppid=15536 vsize=26004140 memory=139933994024112 CPUtime=0 cores=0-7 /proc/15538/task/15546/stat : 15546 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662844775056 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15547] ppid=15536 vsize=26004140 memory=139933994026416 CPUtime=0 cores=0-7 /proc/15538/task/15547/stat : 15547 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734067 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662843722256 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15548] ppid=15536 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15548/stat : 15548 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 112734069 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662419032688 139663292492418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15549] ppid=15536 vsize=26004140 memory=279867988059792 CPUtime=0 cores=0-7 /proc/15538/task/15549/stat : 15549 (java) S 15536 15536 14869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 112734069 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662417978656 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15550] ppid=15536 vsize=26004140 memory=279867988066704 CPUtime=0 cores=0-7 /proc/15538/task/15550/stat : 15550 (java) S 15536 15536 14869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 112734069 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662416926320 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15551] ppid=15536 vsize=26004140 memory=279867988007984 CPUtime=0 cores=0-7 /proc/15538/task/15551/stat : 15551 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734072 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662415874640 139663292499867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15552] ppid=15536 vsize=26004140 memory=279867988080528 CPUtime=0.01 cores=0-7 /proc/15538/task/15552/stat : 15552 (java) S 15536 15536 14869 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 20 0 112734072 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662414821488 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15553] ppid=15536 vsize=26004140 memory=279867988087440 CPUtime=0.02 cores=0-7 /proc/15538/task/15553/stat : 15553 (java) S 15536 15536 14869 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 20 0 112734072 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662413768688 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15554] ppid=15536 vsize=26004140 memory=279867988085136 CPUtime=0.02 cores=0-7 /proc/15538/task/15554/stat : 15554 (java) S 15536 15536 14869 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 20 0 112734072 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662412716400 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15555] ppid=15536 vsize=26004140 memory=279867988101296 CPUtime=0.11 cores=0-7 /proc/15538/task/15555/stat : 15555 (java) R 15536 15536 14869 0 -1 4202560 805 0 0 0 11 0 0 0 20 0 20 0 112734072 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662411663600 139663292502618 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15556] ppid=15536 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15556/stat : 15556 (java) S 15536 15536 14869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 112734072 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662410611552 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15557] ppid=15536 vsize=26004140 memory=-1 CPUtime=0 cores=0-7 /proc/15538/task/15557/stat : 15557 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 112734072 26628239360 11568 33554432000 4194304 4196468 140725842643344 139662409558832 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47652 KiB [startup+0.709969 s] /proc/loadavg: 7.82 8.13 7.79 6/200 15557 /proc/meminfo: memFree=31369868/32770624 swapFree=67108860/67108860 [pid=15536] ppid=15533 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/15536/stat : 15536 (xcsp3-exec) S 15533 15536 14869 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112734066 9740288 345 33554432000 4194304 5098028 140730509127648 140730509125752 140220136870524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17960960 140730509128804 140730509129015 140730509129015 140730509131755 0 /proc/15536/statm: 2378 345 289 221 0 87 0 [pid=15538] ppid=15536 vsize=26538700 memory=88668 CPUtime=2.37 cores=0-7 /proc/15538/stat : 15538 (java) S 15536 15536 14869 0 -1 1077944320 13188 0 0 0 232 5 0 0 20 0 28 0 112734066 27175628800 22167 33554432000 4194304 4196468 140725842643344 140725842625888 139663292481271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 /proc/15538/statm: 6634675 22167 3204 1 0 6621909 0 [pid=15538/tid=15539] ppid=15536 vsize=26538700 memory=279867988459184 CPUtime=0.52 cores=0-7 /proc/15538/task/15539/stat : 15539 (java) S 15536 15536 14869 0 -1 1077944384 6809 0 0 0 49 3 0 0 20 0 28 0 112734066 27175628800 22167 33554432000 4194304 4196468 140725842643344 139663296722048 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15540] ppid=15536 vsize=26538700 memory=139933994230640 CPUtime=0 cores=0-7 /proc/15538/task/15540/stat : 15540 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 112734067 27175628800 22167 33554432000 4194304 4196468 140725842643344 139663215061904 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15541] ppid=15536 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/15538/task/15541/stat : 15541 (java) S 15536 15536 14869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 112734067 27175628800 22167 33554432000 4194304 4196468 140725842643344 139663214009104 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15542] ppid=15536 vsize=26538700 memory=4612 CPUtime=0 cores=0-7 /proc/15538/task/15542/stat : 15542 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 112734067 27175628800 22167 33554432000 4194304 4196468 140725842643344 139663212956816 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 ################ # More data... # ################ [pid=15538/tid=15573] ppid=15536 vsize=26538700 memory=1716 CPUtime=2428.18 cores=0-7 /proc/15538/task/15573/stat : 15573 (java) R 15536 15536 14869 0 -1 4202560 10561 0 0 0 242812 6 0 0 20 0 28 0 112734711 27175628800 53979 33554432000 4194304 4196468 140725842643344 139662406332664 139662896336157 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 Current children cumulated CPU time: 19480.8 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 217296 KiB [startup+2502.3 s] /proc/loadavg: 8.06 8.24 8.26 9/207 15608 /proc/meminfo: memFree=31214592/32770624 swapFree=67108860/67108860 [pid=15536] ppid=15533 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/15536/stat : 15536 (xcsp3-exec) S 15533 15536 14869 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112734066 9740288 345 33554432000 4194304 5098028 140730509127648 140730509125752 140220136870524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17960960 140730509128804 140730509129015 140730509129015 140730509131755 0 /proc/15536/statm: 2378 345 289 221 0 87 0 [pid=15538] ppid=15536 vsize=26538700 memory=217972 CPUtime=19959.4 cores=0-7 /proc/15538/stat : 15538 (java) S 15536 15536 14869 0 -1 1077944320 106075 0 0 0 1995875 70 0 0 20 0 28 0 112734066 27175628800 54493 33554432000 4194304 4196468 140725842643344 140725842625888 139663292481271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 /proc/15538/statm: 6634675 54493 3278 1 0 6621909 0 [pid=15538/tid=15539] ppid=15536 vsize=26538700 memory=217972 CPUtime=0.53 cores=0-7 /proc/15538/task/15539/stat : 15539 (java) S 15536 15536 14869 0 -1 1077944384 7114 0 0 0 50 3 0 0 20 0 28 0 112734066 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663296722048 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15540] ppid=15536 vsize=26538700 memory=217964 CPUtime=0.65 cores=0-7 /proc/15538/task/15540/stat : 15540 (java) S 15536 15536 14869 0 -1 1077944384 2875 0 0 0 61 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663215061904 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15541] ppid=15536 vsize=26538700 memory=217972 CPUtime=0.65 cores=0-7 /proc/15538/task/15541/stat : 15541 (java) S 15536 15536 14869 0 -1 1077944384 2771 0 0 0 61 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663214009104 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15542] ppid=15536 vsize=26538700 memory=1380 CPUtime=0.64 cores=0-7 /proc/15538/task/15542/stat : 15542 (java) S 15536 15536 14869 0 -1 1077944384 2537 0 0 0 60 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663212956816 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15543] ppid=15536 vsize=26538700 memory=279867990375696 CPUtime=0.64 cores=0-7 /proc/15538/task/15543/stat : 15543 (java) S 15536 15536 14869 0 -1 1077944384 2413 0 0 0 61 3 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663211904016 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15544] ppid=15536 vsize=26538700 memory=217972 CPUtime=0.65 cores=0-7 /proc/15538/task/15544/stat : 15544 (java) S 15536 15536 14869 0 -1 1077944384 3700 0 0 0 61 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663210850704 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15545] ppid=15536 vsize=26538700 memory=215916 CPUtime=0.65 cores=0-7 /proc/15538/task/15545/stat : 15545 (java) S 15536 15536 14869 0 -1 1077944384 3332 0 0 0 61 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662845827344 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15546] ppid=15536 vsize=26538700 memory=1380 CPUtime=0.63 cores=0-7 /proc/15538/task/15546/stat : 15546 (java) S 15536 15536 14869 0 -1 1077944384 2691 0 0 0 60 3 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662844775056 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15547] ppid=15536 vsize=26538700 memory=1380 CPUtime=0.64 cores=0-7 /proc/15538/task/15547/stat : 15547 (java) S 15536 15536 14869 0 -1 1077944384 2863 0 0 0 60 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662843722256 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15548] ppid=15536 vsize=26538700 memory=213868 CPUtime=0.41 cores=0-7 /proc/15538/task/15548/stat : 15548 (java) S 15536 15536 14869 0 -1 1077944384 5089 0 0 0 36 5 0 0 20 0 28 0 112734069 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662419032688 139663292492418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15549] ppid=15536 vsize=26538700 memory=217964 CPUtime=0 cores=0-7 /proc/15538/task/15549/stat : 15549 (java) S 15536 15536 14869 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 112734069 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662417978656 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15550] ppid=15536 vsize=26538700 memory=1380 CPUtime=0 cores=0-7 /proc/15538/task/15550/stat : 15550 (java) S 15536 15536 14869 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 112734069 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662416926320 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15551] ppid=15536 vsize=26538700 memory=217964 CPUtime=0 cores=0-7 /proc/15538/task/15551/stat : 15551 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662415874640 139663292499867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15552] ppid=15536 vsize=26538700 memory=1380 CPUtime=1.52 cores=0-7 /proc/15538/task/15552/stat : 15552 (java) S 15536 15536 14869 0 -1 1077944384 7254 0 0 0 151 1 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662414821488 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15553] ppid=15536 vsize=26538700 memory=1380 CPUtime=1.31 cores=0-7 /proc/15538/task/15553/stat : 15553 (java) S 15536 15536 14869 0 -1 1077944384 10663 0 0 0 129 2 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662413768688 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15554] ppid=15536 vsize=26538700 memory=1380 CPUtime=1.43 cores=0-7 /proc/15538/task/15554/stat : 15554 (java) S 15536 15536 14869 0 -1 1077944384 7832 0 0 0 141 2 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662412716400 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15555] ppid=15536 vsize=26538700 memory=1380 CPUtime=0.5 cores=0-7 /proc/15538/task/15555/stat : 15555 (java) S 15536 15536 14869 0 -1 1077944384 6921 0 0 0 49 1 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662411663600 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15556] ppid=15536 vsize=26538700 memory=217964 CPUtime=0 cores=0-7 /proc/15538/task/15556/stat : 15556 (java) S 15536 15536 14869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662410611552 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15557] ppid=15536 vsize=26538700 memory=4872558044660077418 CPUtime=0.27 cores=0-7 /proc/15538/task/15557/stat : 15557 (java) S 15536 15536 14869 0 -1 1077944384 1693 0 0 0 0 27 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662409558832 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15566] ppid=15536 vsize=26538700 memory=916 CPUtime=2484.33 cores=0-7 /proc/15538/task/15566/stat : 15566 (java) R 15536 15536 14869 0 -1 4202560 1910 0 0 0 248432 1 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662327680400 139662894751394 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15567] ppid=15536 vsize=26538700 memory=1380 CPUtime=2484 cores=0-7 /proc/15538/task/15567/stat : 15567 (java) R 15536 15536 14869 0 -1 4202560 1264 0 0 0 248399 1 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662326628720 139662896336234 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15568] ppid=15536 vsize=26538700 memory=217964 CPUtime=2493.47 cores=0-7 /proc/15538/task/15568/stat : 15568 (java) R 15536 15536 14869 0 -1 4202560 2406 0 0 0 249346 1 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662330838768 139662896336034 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15569] ppid=15536 vsize=26538700 memory=1380 CPUtime=2491.95 cores=0-7 /proc/15538/task/15569/stat : 15569 (java) R 15536 15536 14869 0 -1 4202560 4782 0 0 0 249193 2 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662328733296 139662896336157 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15570] ppid=15536 vsize=26538700 memory=1380 CPUtime=2493.75 cores=0-7 /proc/15538/task/15570/stat : 15570 (java) R 15536 15536 14869 0 -1 4202560 8344 0 0 0 249371 4 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662332944352 139662896336157 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15571] ppid=15536 vsize=26538700 memory=1380 CPUtime=2483.38 cores=0-7 /proc/15538/task/15571/stat : 15571 (java) R 15536 15536 14869 0 -1 4202560 1296 0 0 0 248337 1 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662329786360 139662896335516 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15572] ppid=15536 vsize=26538700 memory=217964 CPUtime=2486.75 cores=0-7 /proc/15538/task/15572/stat : 15572 (java) R 15536 15536 14869 0 -1 4202560 1391 0 0 0 248674 1 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662331891936 139662896336463 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15573] ppid=15536 vsize=26538700 memory=1380 CPUtime=2487.4 cores=0-7 /proc/15538/task/15573/stat : 15573 (java) R 15536 15536 14869 0 -1 4202560 10763 0 0 0 248734 6 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662406332664 139662896338005 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 Current children cumulated CPU time: 19959.4 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 219352 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.05 8.23 8.25 9/207 15608 /proc/meminfo: memFree=31214620/32770624 swapFree=67108860/67108860 [pid=15536] ppid=15533 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/15536/stat : 15536 (xcsp3-exec) S 15533 15536 14869 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112734066 9740288 345 33554432000 4194304 5098028 140730509127648 140730509125752 140220136870524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17960960 140730509128804 140730509129015 140730509129015 140730509131755 0 /proc/15536/statm: 2378 345 289 221 0 87 0 [pid=15538] ppid=15536 vsize=26538700 memory=217972 CPUtime=20100.8 cores=0-7 /proc/15538/stat : 15538 (java) S 15536 15536 14869 0 -1 1077944320 106092 0 0 0 2010007 70 0 0 20 0 28 0 112734066 27175628800 54493 33554432000 4194304 4196468 140725842643344 140725842625888 139663292481271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 /proc/15538/statm: 6634675 54493 3278 1 0 6621909 0 [pid=15538/tid=15539] ppid=15536 vsize=26538700 memory=1398720917958146503 CPUtime=0.53 cores=0-7 /proc/15538/task/15539/stat : 15539 (java) S 15536 15536 14869 0 -1 1077944384 7114 0 0 0 50 3 0 0 20 0 28 0 112734066 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663296722048 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15540] ppid=15536 vsize=26538700 memory=4872558044660077418 CPUtime=0.65 cores=0-7 /proc/15538/task/15540/stat : 15540 (java) S 15536 15536 14869 0 -1 1077944384 2877 0 0 0 61 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663215061904 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15541] ppid=15536 vsize=26538700 memory=1948 CPUtime=0.65 cores=0-7 /proc/15538/task/15541/stat : 15541 (java) S 15536 15536 14869 0 -1 1077944384 2771 0 0 0 61 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663214009104 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15542] ppid=15536 vsize=26538700 memory=8568 CPUtime=0.65 cores=0-7 /proc/15538/task/15542/stat : 15542 (java) S 15536 15536 14869 0 -1 1077944384 2537 0 0 0 61 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663212956816 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15543] ppid=15536 vsize=26538700 memory=1228 CPUtime=0.65 cores=0-7 /proc/15538/task/15543/stat : 15543 (java) S 15536 15536 14869 0 -1 1077944384 2413 0 0 0 62 3 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663211904016 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15544] ppid=15536 vsize=26538700 memory=12028 CPUtime=0.65 cores=0-7 /proc/15538/task/15544/stat : 15544 (java) S 15536 15536 14869 0 -1 1077944384 3700 0 0 0 61 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139663210850704 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15545] ppid=15536 vsize=26538700 memory=5668 CPUtime=0.65 cores=0-7 /proc/15538/task/15545/stat : 15545 (java) S 15536 15536 14869 0 -1 1077944384 3332 0 0 0 61 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662845827344 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15546] ppid=15536 vsize=26538700 memory=1008 CPUtime=0.63 cores=0-7 /proc/15538/task/15546/stat : 15546 (java) S 15536 15536 14869 0 -1 1077944384 2691 0 0 0 60 3 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662844775056 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15547] ppid=15536 vsize=26538700 memory=4612 CPUtime=0.64 cores=0-7 /proc/15538/task/15547/stat : 15547 (java) S 15536 15536 14869 0 -1 1077944384 2863 0 0 0 60 4 0 0 20 0 28 0 112734067 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662843722256 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15548] ppid=15536 vsize=26538700 memory=1428 CPUtime=0.42 cores=0-7 /proc/15538/task/15548/stat : 15548 (java) S 15536 15536 14869 0 -1 1077944384 5091 0 0 0 37 5 0 0 20 0 28 0 112734069 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662419032688 139663292492418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15549] ppid=15536 vsize=26538700 memory=1204 CPUtime=0 cores=0-7 /proc/15538/task/15549/stat : 15549 (java) S 15536 15536 14869 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 112734069 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662417978656 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15550] ppid=15536 vsize=26538700 memory=15876 CPUtime=0 cores=0-7 /proc/15538/task/15550/stat : 15550 (java) S 15536 15536 14869 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 112734069 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662416926320 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15551] ppid=15536 vsize=26538700 memory=20048 CPUtime=0 cores=0-7 /proc/15538/task/15551/stat : 15551 (java) S 15536 15536 14869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662415874640 139663292499867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15552] ppid=15536 vsize=26538700 memory=4048 CPUtime=1.52 cores=0-7 /proc/15538/task/15552/stat : 15552 (java) S 15536 15536 14869 0 -1 1077944384 7254 0 0 0 151 1 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662414821488 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15553] ppid=15536 vsize=26538700 memory=18488 CPUtime=1.31 cores=0-7 /proc/15538/task/15553/stat : 15553 (java) S 15536 15536 14869 0 -1 1077944384 10663 0 0 0 129 2 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662413768688 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15554] ppid=15536 vsize=26538700 memory=1796 CPUtime=1.43 cores=0-7 /proc/15538/task/15554/stat : 15554 (java) S 15536 15536 14869 0 -1 1077944384 7832 0 0 0 141 2 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662412716400 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15555] ppid=15536 vsize=26538700 memory=1236 CPUtime=0.5 cores=0-7 /proc/15538/task/15555/stat : 15555 (java) S 15536 15536 14869 0 -1 1077944384 6921 0 0 0 49 1 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662411663600 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15556] ppid=15536 vsize=26538700 memory=640 CPUtime=0 cores=0-7 /proc/15538/task/15556/stat : 15556 (java) S 15536 15536 14869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662410611552 139663292491477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15557] ppid=15536 vsize=26538700 memory=15876 CPUtime=0.27 cores=0-7 /proc/15538/task/15557/stat : 15557 (java) S 15536 15536 14869 0 -1 1077944384 1695 0 0 0 0 27 0 0 20 0 28 0 112734072 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662409558832 139663292492418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15566] ppid=15536 vsize=26538700 memory=20048 CPUtime=2502.03 cores=0-7 /proc/15538/task/15566/stat : 15566 (java) R 15536 15536 14869 0 -1 4202560 1911 0 0 0 250202 1 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662327680536 139662894751347 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15567] ppid=15536 vsize=26538700 memory=4048 CPUtime=2501.7 cores=0-7 /proc/15538/task/15567/stat : 15567 (java) R 15536 15536 14869 0 -1 4202560 1264 0 0 0 250169 1 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662326628856 139662896336214 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15568] ppid=15536 vsize=26538700 memory=18488 CPUtime=2511.18 cores=0-7 /proc/15538/task/15568/stat : 15568 (java) R 15536 15536 14869 0 -1 4202560 2406 0 0 0 251117 1 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662330838824 139662896336130 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15569] ppid=15536 vsize=26538700 memory=1796 CPUtime=2509.65 cores=0-7 /proc/15538/task/15569/stat : 15569 (java) R 15536 15536 14869 0 -1 4202560 4782 0 0 0 250963 2 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662328733432 139662896336091 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15570] ppid=15536 vsize=26538700 memory=1236 CPUtime=2511.45 cores=0-7 /proc/15538/task/15570/stat : 15570 (java) R 15536 15536 14869 0 -1 4202560 8346 0 0 0 251141 4 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662332947200 139662895571152 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15571] ppid=15536 vsize=26538700 memory=640 CPUtime=2501.04 cores=0-7 /proc/15538/task/15571/stat : 15571 (java) R 15536 15536 14869 0 -1 4202560 1296 0 0 0 250103 1 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662329786360 139662896336762 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15572] ppid=15536 vsize=26538700 memory=956 CPUtime=2504.45 cores=0-7 /proc/15538/task/15572/stat : 15572 (java) R 15536 15536 14869 0 -1 4202560 1392 0 0 0 250444 1 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662331892088 139662896335713 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 [pid=15538/tid=15573] ppid=15536 vsize=26538700 memory=6791534058613427641 CPUtime=2504.82 cores=0-7 /proc/15538/task/15573/stat : 15573 (java) R 15536 15536 14869 0 -1 4202560 10770 0 0 0 250476 6 0 0 20 0 28 0 112734711 27175628800 54493 33554432000 4194304 4196468 140725842643344 139662406332080 139662894751320 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32165888 140725842646162 140725842646339 140725842646339 140725842649039 0 Current children cumulated CPU time: 20100.8 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 219352 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 15536 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001954 s [startup+2520.12 s] # the end of solver process 15538 was just reported to runsolver # cumulated CPU time of all completed processes: user=20100.9 s, system=0.714114 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.12 CPU time (s): 20101.6 CPU user time (s): 20100.9 CPU system time (s): 0.714114 CPU usage (%): 797.646 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 296992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20100.9 system time used= 0.714114 maximum resident set size= 295620 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106801 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2904 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 85066 involuntary context switches= 202360 # summary of solver processes directly reported to runsolver: # pid: 15536,15538 # total CPU time (s): 20101.6 # total CPU user time (s): 20100.9 # total CPU system time (s): 0.714114 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.3024 second user time and 28.4326 second system time The end
Begin job on node106 at 2017-08-15 13:13:24 IDJOB=4270471 IDBENCH=137387 IDSOLVER=2662 FILE ID=node106/4270471-1502796463 RUNJOBID= node106-1502785517-14896 PBS_JOBID= 20629122 Free space on /tmp= 61776 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-4270471-1502796463/watcher-4270471-1502796463 -o /tmp/evaluation-result-4270471-1502796463/solver-4270471-1502796463 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502785517-14896 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1946937312 HOME/instance-4270471-1502796463.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d00557b853b2556046a5f6541eccb2e RANDOM SEED=1946937312 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 : 5333.86 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.86 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.86 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.86 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: 31422136 kB MemAvailable: 31984588 kB Buffers: 179032 kB Cached: 667444 kB SwapCached: 0 kB Active: 454828 kB Inactive: 448880 kB Active(anon): 12268 kB Inactive(anon): 72112 kB Active(file): 442560 kB Inactive(file): 376768 kB Unevictable: 6472 kB Mlocked: 6472 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7808 kB Writeback: 0 kB AnonPages: 62024 kB Mapped: 45896 kB Shmem: 25228 kB Slab: 143796 kB SReclaimable: 117920 kB SUnreclaim: 25876 kB KernelStack: 3520 kB PageTables: 5064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323624 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61768 MiB End job on node106 at 2017-08-15 13:55:25