Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | SAT (TO) | 210 | 20041.8 | 2520.28 |
Name | Tal/ Tal-08_c18.xml |
MD5SUM | 7dc6d9a3b6a58ae0b008049a7bee9b86 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 146 |
Best CPU time to get the best result obtained on this benchmark | 19926.9 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 988 |
Number of constraints | 647 |
Number of domains | 13 |
Minimum domain size | 1 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":1,"count":165},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":85},{"size":7,"count":9},{"size":8,"count":10},{"size":9,"count":11},{"size":10,"count":78},{"size":11,"count":13},{"size":42,"count":142}] |
Minimum variable degree | 0 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":0,"count":453},{"degree":1,"count":165},{"degree":2,"count":97},{"degree":3,"count":12},{"degree":4,"count":13},{"degree":5,"count":59},{"degree":6,"count":25},{"degree":7,"count":16},{"degree":8,"count":16},{"degree":9,"count":25},{"degree":10,"count":24},{"degree":11,"count":30},{"degree":12,"count":21},{"degree":13,"count":17},{"degree":14,"count":8},{"degree":15,"count":4},{"degree":16,"count":3}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 13 |
Distribution of constraint arities | [{"arity":1,"count":179},{"arity":2,"count":208},{"arity":3,"count":68},{"arity":4,"count":14},{"arity":5,"count":24},{"arity":6,"count":23},{"arity":7,"count":22},{"arity":8,"count":21},{"arity":9,"count":22},{"arity":10,"count":21},{"arity":11,"count":15},{"arity":12,"count":20},{"arity":13,"count":10}] |
Number of extensional constraints | 121 |
Number of intensional constraints | 506 |
Distribution of constraint types | [{"type":"extension","count":121},{"type":"intension","count":506},{"type":"count","count":20}] |
Optimization problem | YES |
Type of objective | min SUM |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 348601532 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 2.73/1.29 c Parsing done, starting search... 4320.41/546.34 o 292 4320.41/546.34 o 280 4320.41/546.34 o 272 4320.41/546.35 o 268 4320.41/546.35 o 264 4320.41/546.35 o 260 4320.41/546.35 o 248 4320.41/546.35 o 236 4320.41/546.36 o 232 4322.02/546.55 o 228 4368.74/552.41 o 224 4369.54/552.55 o 220 4716.33/596.24 o 216 6958.18/878.73 o 212 18263.64/2297.27 o 210 20040.09/2520.09 s SATISFIABLE 20040.09/2520.09 v <instantiation> 20040.09/2520.09 v <list> 20040.09/2520.09 v c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[0][7] c[0][8] c[0][9] c[0][10] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[1][7] c[1][8] c[1][9] c[1][10] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[2][7] c[2][8] c[2][9] c[2][10] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[3][7] c[3][8] c[3][9] c[3][10] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[4][7] c[4][8] c[4][9] c[4][10] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[5][7] c[5][8] c[5][9] c[5][10] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[6][7] c[6][8] c[6][9] c[6][10] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[7][7] c[7][8] c[7][9] c[7][10] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[8][7] c[8][8] c[8][9] c[8][10] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] c[9][7] c[9][8] c[9][9] c[9][10] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[10][7] c[10][8] c[10][9] c[10][10] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[11][7] c[11][8] c[11][9] c[11][10] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[12][7] c[12][8] c[12][9] c[12][10] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] c[13][7] c[13][8] c[13][9] c[13][10] c[14][0] c[14][1] c[14][2] c[14][3] c[14][4] c[14][5] c[14][6] c[14][7] c[14][8] c[14][9] c[14][10] c[15][0] c[15][1] c[15][2] c[15][3] c[15][4] c[15][5] c[15][6] c[15][7] c[15][8] c[15][9] c[15][10] c[16][0] c[16][1] c[16][2] c[16][3] c[16][4] c[16][5] c[16][6] c[16][7] c[16][8] c[16][9] c[16][10] c[17][0] c[17][1] c[17][2] c[17][3] c[17][4] c[17][5] c[17][6] c[17][7] c[17][8] c[17][9] c[17][10] c[18][0] c[18][1] c[18][2] c[18][3] c[18][4] c[18][5] c[18][6] c[18][7] c[18][8] c[18][9] c[18][10] c[19][0] c[19][1] c[19][2] c[19][3] c[19][4] c[19][5] c[19][6] c[19][7] c[19][8] c[19][9] c[19][10] c[20][0] c[20][1] c[20][2] c[20][3] c[20][4] c[20][5] c[20][6] c[20][7] c[20][8] c[20][9] c[20][10] c[21][0] c[21][1] c[21][2] c[21][3] c[21][4] c[21][5] c[21][6] c[21][7] c[21][8] c[21][9] c[21][10] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[0][7] l[0][8] l[0][9] l[0][10] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[1][7] l[1][8] l[1][9] l[1][10] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[2][7] l[2][8] l[2][9] l[2][10] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[3][6] l[3][7] l[3][8] l[3][9] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[4][6] l[4][7] l[4][8] l[4][9] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[5][5] l[5][6] l[5][7] l[5][8] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[6][5] l[6][6] l[6][7] l[6][8] l[7][0] l[7][1] l[7][2] l[7][3] l[7][4] l[7][5] l[7][6] l[7][7] l[8][0] l[8][1] l[8][2] l[8][3] l[8][4] l[8][5] l[8][6] l[8][7] l[9][0] l[9][1] l[9][2] l[9][3] l[9][4] l[9][5] l[9][6] l[10][0] l[10][1] l[10][2] l[10][3] l[10][4] l[10][5] l[10][6] l[11][0] l[11][1] l[11][2] l[11][3] l[11][4] l[11][5] l[12][0] l[12][1] l[12][2] l[12][3] l[12][4] l[12][5] l[13][0] l[13][1] l[13][2] l[13][3] l[13][4] l[14][0] l[14][1] l[14][2] l[14][3] l[14][4] l[15][0] l[15][1] l[15][2] l[15][3] l[16][0] l[16][1] l[16][2] l[16][3] l[17][0] l[17][1] l[17][2] l[18][0] l[18][1] l[18][2] l[19][0] l[19][1] l[20][0] l[20][1] l[21][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[15][0] a[15][1] a[15][2] a[15][3] a[17][0] a[17][1] a[17][2] a[19][0] a[19][1] a[21][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[2][7] i[2][8] i[2][9] i[2][10] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[4][6] i[4][7] i[4][8] i[4][9] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[6][5] i[6][6] i[6][7] i[6][8] i[8][0] i[8][1] i[8][2] i[8][3] i[8][4] i[8][5] i[8][6] i[8][7] i[10][0] i[10][1] i[10][2] i[10][3] i[10][4] i[10][5] i[10][6] i[12][0] i[12][1] i[12][2] i[12][3] i[12][4] i[12][5] i[14][0] i[14][1] i[14][2] i[14][3] i[14][4] i[16][0] i[16][1] i[16][2] i[16][3] i[18][0] i[18][1] i[18][2] i[20][0] i[20][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] cnt[10] cnt[11] cnt[12] cnt[13] cnt[14] cnt[15] cnt[16] cnt[17] cnt[18] cnt[19] 20040.09/2520.09 v </list> 20040.09/2520.09 v <values> 20040.09/2520.09 v 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 8 0 4 16 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 8 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 4 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 5 3 12 10 3 4 11 2 10 3 15 4 3 12 11 0 5 7 3 11 0 15 4 3 12 11 5 7 3 11 0 0 15 4 0 3 7 5 7 3 11 0 15 4 3 7 5 7 3 11 0 0 15 4 0 3 5 4 3 11 0 15 4 3 5 4 3 11 0 0 15 4 0 8 0 3 11 0 15 4 8 3 11 0 0 0 15 4 0 3 11 0 0 15 4 3 11 0 0 0 15 4 0 11 0 0 15 4 11 0 0 0 15 3 11 0 0 15 3 11 0 0 1 0 11 0 1 11 0 0 5 11 0 5 11 0 6 0 6 0 6 1 1 1 1 2 0 1 1 1 2 0 1 2 0 1 1 1 1 1 1 0 1 2 0 1 1 1 1 1 0 1 2 0 2 0 1 1 0 1 2 0 1 1 0 0 1 2 0 1 0 0 1 1 1 0 0 2 0 1 0 1 1 0 2 0 1 0 1 2 3 4 6 7 8 9 10 10 0 1 3 4 5 6 7 8 9 9 0 1 3 4 5 6 7 8 8 0 1 3 5 6 7 7 7 0 1 3 4 6 6 6 0 1 3 5 5 5 0 1 2 4 4 0 2 3 3 0 1 2 0 1 2 2 2 2 2 2 3 3 3 3 3 3 2 2 2 2 1 1 1 1 20040.09/2520.09 v </values> 20040.09/2520.09 v </instantiation>
OK 210
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 (13011 MiB free) memory of node 1: 16384 MiB (13261 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308918-1534356021/watcher-4308918-1534356021 -o /tmp/evaluation-result-4308918-1534356021/solver-4308918-1534356021 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534353454-1570 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 348601532 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308918-1534356021.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=1873, runsolver pid=1870 [startup+0.100139 s]* /proc/loadavg: 8.83 8.70 8.27 2/199 1893 /proc/meminfo: memFree=26886544/32770624 swapFree=67108804/67108860 [pid=1873] ppid=1870 vsize=26103420 memory=30240 CPUtime=0.11 cores=0-7 /proc/1873/stat : 1873 (java) S 1870 1873 1543 0 -1 1077944320 6994 0 0 0 10 1 0 0 20 0 20 0 253165305 26729902080 7560 33554432000 4194304 4196468 140732971236368 140732971218912 139644579921655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 /proc/1873/statm: 6525855 7560 3143 1 0 6487932 0 [pid=1873/tid=1875] ppid=1870 vsize=26103420 memory=1399051139730258233 CPUtime=0.09 cores=0-7 /proc/1873/task/1875/stat : 1875 (java) R 1870 1873 1543 0 -1 4202560 5404 0 0 0 8 1 0 0 20 0 20 0 253165305 26729902080 7890 33554432000 4194304 4196468 140732971236368 139644584124784 139644560197415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1876] ppid=1870 vsize=26103420 memory=3677534773662714415 CPUtime=0 cores=0-7 /proc/1873/task/1876/stat : 1876 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 7890 33554432000 4194304 4196468 140732971236368 139644487482384 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1877] ppid=1870 vsize=26103420 memory=140181959665280 CPUtime=0 cores=0-7 /proc/1873/task/1877/stat : 1877 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 7890 33554432000 4194304 4196468 140732971236368 139644137475216 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1878] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1878/stat : 1878 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 7890 33554432000 4194304 4196468 140732971236368 139644136422160 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1879] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1879/stat : 1879 (java) S 1870 1873 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 7890 33554432000 4194304 4196468 140732971236368 139644135369616 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1880] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1880/stat : 1880 (java) S 1870 1873 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 7890 33554432000 4194304 4196468 140732971236368 139644134316560 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1881] ppid=1870 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1873/task/1881/stat : 1881 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 7890 33554432000 4194304 4196468 140732971236368 139644133264016 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1882] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1882/stat : 1882 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 7956 33554432000 4194304 4196468 140732971236368 139644132210960 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1883] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1883/stat : 1883 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 7956 33554432000 4194304 4196468 140732971236368 139644131158416 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1884] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1884/stat : 1884 (java) S 1870 1873 1543 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253165308 26729902080 7956 33554432000 4194304 4196468 140732971236368 139644089273072 139644579932802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1885] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1885/stat : 1885 (java) S 1870 1873 1543 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253165308 26729902080 7956 33554432000 4194304 4196468 140732971236368 139644088219296 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1886] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1886/stat : 1886 (java) S 1870 1873 1543 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253165308 26729902080 7956 33554432000 4194304 4196468 140732971236368 139644087166192 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1887] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1887/stat : 1887 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 7956 33554432000 4194304 4196468 140732971236368 139644086114768 139644579940251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1888] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1888/stat : 1888 (java) S 1870 1873 1543 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 7956 33554432000 4194304 4196468 140732971236368 139644085061872 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1889] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1889/stat : 1889 (java) S 1870 1873 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 7956 33554432000 4194304 4196468 140732971236368 139643971463536 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1890] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1890/stat : 1890 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 7956 33554432000 4194304 4196468 140732971236368 139643970410480 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1891] ppid=1870 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/1873/task/1891/stat : 1891 (java) S 1870 1873 1543 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 20 0 253165311 26729902080 7956 33554432000 4194304 4196468 140732971236368 139643969357936 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1892] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1892/stat : 1892 (java) S 1870 1873 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 7956 33554432000 4194304 4196468 140732971236368 139643968306144 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1893] ppid=1870 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1873/task/1893/stat : 1893 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 8022 33554432000 4194304 4196468 140732971236368 139643967253680 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 30240 KiB [startup+0.210276 s]* /proc/loadavg: 8.83 8.70 8.27 4/199 1893 /proc/meminfo: memFree=26872840/32770624 swapFree=67108804/67108860 [pid=1873] ppid=1870 vsize=26103420 memory=43016 CPUtime=0.3 cores=0-7 /proc/1873/stat : 1873 (java) S 1870 1873 1543 0 -1 1077944320 10427 0 0 0 27 3 0 0 20 0 20 0 253165305 26729902080 10754 33554432000 4194304 4196468 140732971236368 140732971218912 139644579921655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 /proc/1873/statm: 6525855 10754 3320 1 0 6487932 0 [pid=1873/tid=1875] ppid=1870 vsize=26103420 memory=32758254098972862 CPUtime=0.19 cores=0-7 /proc/1873/task/1875/stat : 1875 (java) R 1870 1873 1543 0 -1 4202560 8212 0 0 0 18 1 0 0 20 0 20 0 253165305 26729902080 10754 33554432000 4194304 4196468 140732971236368 139644584149696 139644564002172 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1876] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1876/stat : 1876 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 10754 33554432000 4194304 4196468 140732971236368 139644487482384 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1877] ppid=1870 vsize=26103420 memory=140181959690102 CPUtime=0 cores=0-7 /proc/1873/task/1877/stat : 1877 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 10754 33554432000 4194304 4196468 140732971236368 139644137475216 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1878] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1878/stat : 1878 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 10754 33554432000 4194304 4196468 140732971236368 139644136422160 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1879] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1879/stat : 1879 (java) S 1870 1873 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 10754 33554432000 4194304 4196468 140732971236368 139644135369616 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1880] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1880/stat : 1880 (java) S 1870 1873 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 10754 33554432000 4194304 4196468 140732971236368 139644134316560 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1881] ppid=1870 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1873/task/1881/stat : 1881 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 10754 33554432000 4194304 4196468 140732971236368 139644133264016 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1882] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1882/stat : 1882 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 10819 33554432000 4194304 4196468 140732971236368 139644132210960 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1883] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1883/stat : 1883 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 10819 33554432000 4194304 4196468 140732971236368 139644131158416 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1884] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1884/stat : 1884 (java) S 1870 1873 1543 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253165308 26729902080 10819 33554432000 4194304 4196468 140732971236368 139644089273072 139644579932802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1885] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1885/stat : 1885 (java) S 1870 1873 1543 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253165308 26729902080 10819 33554432000 4194304 4196468 140732971236368 139644088219296 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1886] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1886/stat : 1886 (java) S 1870 1873 1543 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253165308 26729902080 10819 33554432000 4194304 4196468 140732971236368 139644087166192 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1887] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1887/stat : 1887 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 10819 33554432000 4194304 4196468 140732971236368 139644086114768 139644579940251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1888] ppid=1870 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/1873/task/1888/stat : 1888 (java) S 1870 1873 1543 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 20 0 253165311 26729902080 10819 33554432000 4194304 4196468 140732971236368 139644085061872 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1889] ppid=1870 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/1873/task/1889/stat : 1889 (java) S 1870 1873 1543 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 253165311 26729902080 10819 33554432000 4194304 4196468 140732971236368 139643971463536 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1890] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1890/stat : 1890 (java) S 1870 1873 1543 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 10819 33554432000 4194304 4196468 140732971236368 139643970410480 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1891] ppid=1870 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/1873/task/1891/stat : 1891 (java) S 1870 1873 1543 0 -1 1077944384 291 0 0 0 6 0 0 0 20 0 20 0 253165311 26729902080 10819 33554432000 4194304 4196468 140732971236368 139643969357936 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1892] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1892/stat : 1892 (java) S 1870 1873 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 10819 33554432000 4194304 4196468 140732971236368 139643968306144 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1893] ppid=1870 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/1873/task/1893/stat : 1893 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 10819 33554432000 4194304 4196468 140732971236368 139643967253680 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43016 KiB [startup+0.310536 s]* /proc/loadavg: 8.83 8.70 8.27 2/199 1893 /proc/meminfo: memFree=26869304/32770624 swapFree=67108804/67108860 [pid=1873] ppid=1870 vsize=26103420 memory=46608 CPUtime=0.43 cores=0-7 /proc/1873/stat : 1873 (java) S 1870 1873 1543 0 -1 1077944320 10867 0 0 0 40 3 0 0 20 0 20 0 253165305 26729902080 11652 33554432000 4194304 4196468 140732971236368 140732971218912 139644579921655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 /proc/1873/statm: 6525855 11652 3369 1 0 6487932 0 [pid=1873/tid=1875] ppid=1870 vsize=26103420 memory=1399051139730258233 CPUtime=0.3 cores=0-7 /proc/1873/task/1875/stat : 1875 (java) R 1870 1873 1543 0 -1 4202560 8557 0 0 0 28 2 0 0 20 0 20 0 253165305 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644584083392 139644564002142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1876] ppid=1870 vsize=26103420 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1873/task/1876/stat : 1876 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644487482384 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1877] ppid=1870 vsize=26103420 memory=1260 CPUtime=0 cores=0-7 /proc/1873/task/1877/stat : 1877 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644137475216 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1878] ppid=1870 vsize=26103420 memory=14872 CPUtime=0 cores=0-7 /proc/1873/task/1878/stat : 1878 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644136422160 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1879] ppid=1870 vsize=26103420 memory=3296 CPUtime=0 cores=0-7 /proc/1873/task/1879/stat : 1879 (java) S 1870 1873 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644135369616 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1880] ppid=1870 vsize=26103420 memory=15292 CPUtime=0 cores=0-7 /proc/1873/task/1880/stat : 1880 (java) S 1870 1873 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644134316560 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1881] ppid=1870 vsize=26103420 memory=38152 CPUtime=0 cores=0-7 /proc/1873/task/1881/stat : 1881 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644133264016 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1882] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1882/stat : 1882 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644132210960 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1883] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1883/stat : 1883 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644131158416 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1884] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1884/stat : 1884 (java) S 1870 1873 1543 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253165308 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644089273072 139644579932802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1885] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1885/stat : 1885 (java) S 1870 1873 1543 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253165308 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644088219296 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1886] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1886/stat : 1886 (java) S 1870 1873 1543 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253165308 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644087166192 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1887] ppid=1870 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/1873/task/1887/stat : 1887 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644086114768 139644579940251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1888] ppid=1870 vsize=26103420 memory=2244 CPUtime=0.01 cores=0-7 /proc/1873/task/1888/stat : 1888 (java) S 1870 1873 1543 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 20 0 253165311 26729902080 11652 33554432000 4194304 4196468 140732971236368 139644085061872 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1889] ppid=1870 vsize=26103420 memory=2244 CPUtime=0.01 cores=0-7 /proc/1873/task/1889/stat : 1889 (java) S 1870 1873 1543 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 253165311 26729902080 11652 33554432000 4194304 4196468 140732971236368 139643971463536 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1890] ppid=1870 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/1873/task/1890/stat : 1890 (java) S 1870 1873 1543 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 11652 33554432000 4194304 4196468 140732971236368 139643970410480 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1891] ppid=1870 vsize=26103420 memory=2244 CPUtime=0.07 cores=0-7 /proc/1873/task/1891/stat : 1891 (java) S 1870 1873 1543 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 20 0 253165311 26729902080 11652 33554432000 4194304 4196468 140732971236368 139643969357936 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1892] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1892/stat : 1892 (java) S 1870 1873 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 11652 33554432000 4194304 4196468 140732971236368 139643968306144 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1893] ppid=1870 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1893/stat : 1893 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165311 26729902080 11652 33554432000 4194304 4196468 140732971236368 139643967253680 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46608 KiB [startup+0.700886 s] /proc/loadavg: 8.83 8.70 8.27 2/199 1893 /proc/meminfo: memFree=26844996/32770624 swapFree=67108804/67108860 [pid=1873] ppid=1870 vsize=26105488 memory=87520 CPUtime=0.99 cores=0-7 /proc/1873/stat : 1873 (java) S 1870 1873 1543 0 -1 1077944320 17819 0 0 0 93 6 0 0 20 0 20 0 253165305 26732019712 21880 33554432000 4194304 4196468 140732971236368 140732971218912 139644579921655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 /proc/1873/statm: 6526372 21880 3462 1 0 6488444 0 [pid=1873/tid=1875] ppid=1870 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/1873/task/1875/stat : 1875 (java) R 1870 1873 1543 0 -1 4202560 15039 0 0 0 63 4 0 0 20 0 20 0 253165305 26732019712 21880 33554432000 4194304 4196468 140732971236368 139644584144976 139644536534964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1876] ppid=1870 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1876/stat : 1876 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26732019712 21880 33554432000 4194304 4196468 140732971236368 139644487482384 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1877] ppid=1870 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1877/stat : 1877 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26732019712 21880 33554432000 4194304 4196468 140732971236368 139644137475216 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1878] ppid=1870 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1878/stat : 1878 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26732019712 21880 33554432000 4194304 4196468 140732971236368 139644136422160 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1879] ppid=1870 vsize=26105488 memory=4088 CPUtime=0 cores=0-7 /proc/1873/task/1879/stat : 1879 (java) S 1870 1873 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253165306 26732019712 21880 33554432000 4194304 4196468 140732971236368 139644135369616 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1880] ppid=1870 vsize=26105488 memory=1784 CPUtime=0 cores=0-7 /proc/1873/task/1880/stat : 1880 (java) S 1870 1873 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253165306 26732019712 21880 33554432000 4194304 4196468 140732971236368 139644134316560 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1881] ppid=1870 vsize=26105488 memory=1060 CPUtime=0 cores=0-7 /proc/1873/task/1881/stat : 1881 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26732019712 21880 33554432000 4194304 4196468 140732971236368 139644133264016 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1882] ppid=1870 vsize=26105488 memory=5836 CPUtime=0 cores=0-7 /proc/1873/task/1882/stat : 1882 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26732019712 21880 33554432000 4194304 4196468 140732971236368 139644132210960 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1883] ppid=1870 vsize=26105488 memory=3304 CPUtime=0 cores=0-7 /proc/1873/task/1883/stat : 1883 (java) S 1870 1873 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253165306 26732019712 21880 33554432000 4194304 4196468 140732971236368 139644131158416 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1884] ppid=1870 vsize=26105488 memory=1260 CPUtime=0 cores=0-7 /proc/1873/task/1884/stat : 1884 (java) S 1870 1873 1543 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253165308 26732019712 21880 33554432000 4194304 4196468 140732971236368 139644089273072 139644579932802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 ################ # More data... # ################ /proc/1873/task/1891/stat : 1891 (java) S 1870 1873 1543 0 -1 1077944384 44682 0 0 0 141 6 0 0 20 0 43 0 253165311 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643969357936 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1892] ppid=1870 vsize=27652880 memory=1796 CPUtime=0 cores=0-7 /proc/1873/task/1892/stat : 1892 (java) S 1870 1873 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 253165311 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643968306144 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1893] ppid=1870 vsize=27652880 memory=916 CPUtime=0.98 cores=0-7 /proc/1873/task/1893/stat : 1893 (java) S 1870 1873 1543 0 -1 1077944384 5368 0 0 0 46 52 0 0 20 0 43 0 253165311 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643967253680 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1894] ppid=1870 vsize=27652880 memory=4152 CPUtime=0.01 cores=0-7 /proc/1873/task/1894/stat : 1894 (java) S 1870 1873 1543 0 -1 1077944384 2314 0 0 0 1 0 0 0 20 0 43 0 253165761 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643953812512 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1895] ppid=1870 vsize=27652880 memory=1408 CPUtime=4.69 cores=0-7 /proc/1873/task/1895/stat : 1895 (java) R 1870 1873 1543 0 -1 1077944384 13530 0 0 0 261 208 0 0 20 0 43 0 253165783 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643950663072 139644579932802 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1896] ppid=1870 vsize=27652880 memory=4504 CPUtime=741.69 cores=0-7 /proc/1873/task/1896/stat : 1896 (java) S 1870 1873 1543 0 -1 1077944384 26705 0 0 0 74138 31 0 0 20 0 43 0 253165800 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643813094544 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1897] ppid=1870 vsize=27652880 memory=5626952 CPUtime=2439.32 cores=0-7 /proc/1873/task/1897/stat : 1897 (java) R 1870 1873 1543 0 -1 4202560 130734 0 0 0 243850 82 0 0 20 0 43 0 253165801 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643812033752 139644178786253 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1898] ppid=1870 vsize=27652880 memory=5626952 CPUtime=0.24 cores=0-7 /proc/1873/task/1898/stat : 1898 (java) S 1870 1873 1543 0 -1 1077944384 155 0 0 0 24 0 0 0 20 0 43 0 253165801 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643810988944 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1899] ppid=1870 vsize=27652880 memory=8112282956445269571 CPUtime=0.22 cores=0-7 /proc/1873/task/1899/stat : 1899 (java) S 1870 1873 1543 0 -1 1077944384 90 0 0 0 22 0 0 0 20 0 43 0 253165808 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643809936272 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1900] ppid=1870 vsize=27652880 memory=1408 CPUtime=347.69 cores=0-7 /proc/1873/task/1900/stat : 1900 (java) S 1870 1873 1543 0 -1 1077944384 16669 0 0 0 34746 23 0 0 20 0 43 0 253165808 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643808884368 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1901] ppid=1870 vsize=27652880 memory=1600 CPUtime=2086.02 cores=0-7 /proc/1873/task/1901/stat : 1901 (java) R 1870 1873 1543 0 -1 4202560 116150 0 0 0 208527 75 0 0 20 0 43 0 253165808 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643807823864 139644167857274 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1902] ppid=1870 vsize=27652880 memory=7952 CPUtime=1898 cores=0-7 /proc/1873/task/1902/stat : 1902 (java) R 1870 1873 1543 0 -1 4202560 134251 0 0 0 189709 91 0 0 20 0 43 0 253165808 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643806770520 139644178786845 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1903] ppid=1870 vsize=27652880 memory=4088 CPUtime=102.12 cores=0-7 /proc/1873/task/1903/stat : 1903 (java) S 1870 1873 1543 0 -1 1077944384 6207 0 0 0 10207 5 0 0 20 0 43 0 253165808 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643805726224 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1904] ppid=1870 vsize=27652880 memory=5626952 CPUtime=0 cores=0-7 /proc/1873/task/1904/stat : 1904 (java) S 1870 1873 1543 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 43 0 253165808 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643804673040 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1905] ppid=1870 vsize=27652880 memory=1060 CPUtime=2500.25 cores=0-7 /proc/1873/task/1905/stat : 1905 (java) R 1870 1873 1543 0 -1 4202560 159124 0 0 0 249923 102 0 0 20 0 43 0 253165808 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643803614880 139644175653192 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1906] ppid=1870 vsize=27652880 memory=5836 CPUtime=2493.1 cores=0-7 /proc/1873/task/1906/stat : 1906 (java) R 1870 1873 1543 0 -1 4202560 151491 0 0 0 249200 110 0 0 20 0 43 0 253165859 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643802559448 139644178785865 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1907] ppid=1870 vsize=27652880 memory=3304 CPUtime=803.31 cores=0-7 /proc/1873/task/1907/stat : 1907 (java) S 1870 1873 1543 0 -1 1077944384 29857 0 0 0 80300 31 0 0 20 0 43 0 253165859 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643801515024 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1908] ppid=1870 vsize=27652880 memory=1260 CPUtime=0 cores=0-7 /proc/1873/task/1908/stat : 1908 (java) S 1870 1873 1543 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 43 0 253165859 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643800462992 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1909] ppid=1870 vsize=27652880 memory=14872 CPUtime=0 cores=0-7 /proc/1873/task/1909/stat : 1909 (java) S 1870 1873 1543 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 43 0 253165859 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643799410448 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1910] ppid=1870 vsize=27652880 memory=8112282956445269571 CPUtime=2200.67 cores=0-7 /proc/1873/task/1910/stat : 1910 (java) R 1870 1873 1543 0 -1 4202560 111473 0 0 0 219995 72 0 0 20 0 43 0 253165859 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643798348824 139644178786542 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1911] ppid=1870 vsize=27652880 memory=1084 CPUtime=2457.72 cores=0-7 /proc/1873/task/1911/stat : 1911 (java) R 1870 1873 1543 0 -1 4202560 135495 0 0 0 245669 103 0 0 20 0 43 0 253165859 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643797296888 139644178786275 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1935] ppid=1870 vsize=27652880 memory=1600 CPUtime=0 cores=0-7 /proc/1873/task/1935/stat : 1935 (java) S 1870 1873 1543 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 43 0 253219941 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643792020624 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1936] ppid=1870 vsize=27652880 memory=7952 CPUtime=0 cores=0-7 /proc/1873/task/1936/stat : 1936 (java) S 1870 1873 1543 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 43 0 253219944 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643790967952 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1937] ppid=1870 vsize=27652880 memory=4088 CPUtime=1694.72 cores=0-7 /proc/1873/task/1937/stat : 1937 (java) R 1870 1873 1543 0 -1 4202560 118896 0 0 0 169411 61 0 0 20 0 43 0 253219946 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643789908432 139644178783913 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1938] ppid=1870 vsize=27652880 memory=1784 CPUtime=208.33 cores=0-7 /proc/1873/task/1938/stat : 1938 (java) S 1870 1873 1543 0 -1 1077944384 6794 0 0 0 20829 4 0 0 20 0 43 0 253219947 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643788862480 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1939] ppid=1870 vsize=27652880 memory=1060 CPUtime=0 cores=0-7 /proc/1873/task/1939/stat : 1939 (java) S 1870 1873 1543 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 43 0 253219947 28316549120 1406738 33554432000 4194304 4196468 140732971236368 139643787810448 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 Current children cumulated CPU time: 20040.1 s Current children cumulated vsize: 27652880 KiB Current children cumulated memory: 5626952 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.28 s] # the end of solver process 1873 was just reported to runsolver # cumulated CPU time of all completed processes: user=20029.2 s, system=12.6592 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.2 s] /proc/loadavg: 8.86 8.89 8.82 10/222 1975 /proc/meminfo: memFree=21280496/32770624 swapFree=67108804/67108860 [pid=1873] ppid=1870 vsize=27852572 memory=5629428 CPUtime=20041.6 cores=0-7 /proc/1873/stat : 1873 (java) S 1870 1873 1543 0 -1 1077944320 1812654 0 0 0 2002899 1262 0 0 20 0 46 0 253165305 28521033728 1407357 33554432000 4194304 4196468 140732971236368 140732971218912 139644579921655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 /proc/1873/statm: 6963143 1407357 3626 1 0 6924694 0 [pid=1873/tid=1875] ppid=1870 vsize=27852572 memory=3304 CPUtime=4.88 cores=0-7 /proc/1873/task/1875/stat : 1875 (java) S 1870 1873 1543 0 -1 1077944384 22155 0 0 0 479 9 0 0 20 0 46 0 253165305 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644584159120 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1876] ppid=1870 vsize=27852572 memory=1260 CPUtime=5.48 cores=0-7 /proc/1873/task/1876/stat : 1876 (java) S 1870 1873 1543 0 -1 1077944384 56333 0 0 0 498 50 0 0 20 0 46 0 253165306 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644487482384 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1877] ppid=1870 vsize=27852572 memory=14872 CPUtime=5.51 cores=0-7 /proc/1873/task/1877/stat : 1877 (java) S 1870 1873 1543 0 -1 1077944384 54943 0 0 0 498 53 0 0 20 0 46 0 253165306 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644137475216 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1878] ppid=1870 vsize=27852572 memory=3296 CPUtime=5.5 cores=0-7 /proc/1873/task/1878/stat : 1878 (java) S 1870 1873 1543 0 -1 1077944384 49368 0 0 0 502 48 0 0 20 0 46 0 253165306 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644136422160 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1879] ppid=1870 vsize=27852572 memory=15292 CPUtime=5.48 cores=0-7 /proc/1873/task/1879/stat : 1879 (java) S 1870 1873 1543 0 -1 1077944384 58508 0 0 0 496 52 0 0 20 0 46 0 253165306 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644135369616 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1880] ppid=1870 vsize=27852572 memory=38188 CPUtime=5.47 cores=0-7 /proc/1873/task/1880/stat : 1880 (java) S 1870 1873 1543 0 -1 1077944384 54707 0 0 0 495 52 0 0 20 0 46 0 253165306 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644134316560 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1881] ppid=1870 vsize=27852572 memory=496 CPUtime=5.51 cores=0-7 /proc/1873/task/1881/stat : 1881 (java) S 1870 1873 1543 0 -1 1077944384 47617 0 0 0 503 48 0 0 20 0 46 0 253165306 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644133264016 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1882] ppid=1870 vsize=27852572 memory=1616 CPUtime=5.45 cores=0-7 /proc/1873/task/1882/stat : 1882 (java) S 1870 1873 1543 0 -1 1077944384 53372 0 0 0 497 48 0 0 20 0 46 0 253165306 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644132210960 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1883] ppid=1870 vsize=27852572 memory=932 CPUtime=5.52 cores=0-7 /proc/1873/task/1883/stat : 1883 (java) S 1870 1873 1543 0 -1 1077944384 64896 0 0 0 499 53 0 0 20 0 46 0 253165306 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644131158416 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1884] ppid=1870 vsize=27852572 memory=1168 CPUtime=1.74 cores=0-7 /proc/1873/task/1884/stat : 1884 (java) S 1870 1873 1543 0 -1 1077944384 88713 0 0 0 147 27 0 0 20 0 46 0 253165308 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644089273072 139644579932802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1885] ppid=1870 vsize=27852572 memory=1984 CPUtime=0 cores=0-7 /proc/1873/task/1885/stat : 1885 (java) S 1870 1873 1543 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 46 0 253165308 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644088219360 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1886] ppid=1870 vsize=27852572 memory=1796 CPUtime=0 cores=0-7 /proc/1873/task/1886/stat : 1886 (java) S 1870 1873 1543 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 253165308 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644087166208 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1887] ppid=1870 vsize=27852572 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/1873/task/1887/stat : 1887 (java) S 1870 1873 1543 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 46 0 253165311 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644086114768 139644579940251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1888] ppid=1870 vsize=27852572 memory=288230583166042425 CPUtime=3.26 cores=0-7 /proc/1873/task/1888/stat : 1888 (java) S 1870 1873 1543 0 -1 1077944384 12268 0 0 0 320 6 0 0 20 0 46 0 253165311 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139644085061872 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1889] ppid=1870 vsize=27852572 memory=15817802732799776 CPUtime=2.79 cores=0-7 /proc/1873/task/1889/stat : 1889 (java) R 1870 1873 1543 0 -1 4202560 16593 0 0 0 275 4 0 0 20 0 46 0 253165311 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643971450080 139644560621952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1890] ppid=1870 vsize=27852572 memory=0 CPUtime=2.68 cores=0-7 /proc/1873/task/1890/stat : 1890 (java) S 1870 1873 1543 0 -1 1077944384 15057 0 0 0 265 3 0 0 20 0 46 0 253165311 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643970410480 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1891] ppid=1870 vsize=27852572 memory=0 CPUtime=1.49 cores=0-7 /proc/1873/task/1891/stat : 1891 (java) R 1870 1873 1543 0 -1 1077944384 46452 0 0 0 143 6 0 0 20 0 46 0 253165311 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643969357936 139644579932802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1892] ppid=1870 vsize=27852572 memory=0 CPUtime=0 cores=0-7 /proc/1873/task/1892/stat : 1892 (java) S 1870 1873 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 253165311 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643968306144 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1893] ppid=1870 vsize=27852572 memory=0 CPUtime=0.98 cores=0-7 /proc/1873/task/1893/stat : 1893 (java) S 1870 1873 1543 0 -1 1077944384 5368 0 0 0 46 52 0 0 20 0 46 0 253165311 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643967253680 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1894] ppid=1870 vsize=27852572 memory=0 CPUtime=0.01 cores=0-7 /proc/1873/task/1894/stat : 1894 (java) S 1870 1873 1543 0 -1 1077944384 2314 0 0 0 1 0 0 0 20 0 46 0 253165761 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643953812512 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1895] ppid=1870 vsize=27852572 memory=0 CPUtime=4.69 cores=0-7 /proc/1873/task/1895/stat : 1895 (java) S 1870 1873 1543 0 -1 1077944384 13562 0 0 0 261 208 0 0 20 0 46 0 253165783 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643950662960 139644579932802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1896] ppid=1870 vsize=27852572 memory=0 CPUtime=741.69 cores=0-7 /proc/1873/task/1896/stat : 1896 (java) S 1870 1873 1543 0 -1 1077944384 26708 0 0 0 74138 31 0 0 20 0 46 0 253165800 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643813094544 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1897] ppid=1870 vsize=27852572 memory=0 CPUtime=2439.5 cores=0-7 /proc/1873/task/1897/stat : 1897 (java) R 1870 1873 1543 0 -1 4202560 130746 0 0 0 243868 82 0 0 20 0 46 0 253165801 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643812033760 139644175650248 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1898] ppid=1870 vsize=27852572 memory=0 CPUtime=0.24 cores=0-7 /proc/1873/task/1898/stat : 1898 (java) S 1870 1873 1543 0 -1 1077944384 202 0 0 0 24 0 0 0 20 0 46 0 253165801 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643810988944 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1899] ppid=1870 vsize=27852572 memory=0 CPUtime=0.23 cores=0-7 /proc/1873/task/1899/stat : 1899 (java) S 1870 1873 1543 0 -1 1077944384 201 0 0 0 23 0 0 0 20 0 46 0 253165808 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643809936400 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1900] ppid=1870 vsize=27852572 memory=0 CPUtime=347.69 cores=0-7 /proc/1873/task/1900/stat : 1900 (java) S 1870 1873 1543 0 -1 1077944384 16703 0 0 0 34746 23 0 0 20 0 46 0 253165808 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643808884368 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1901] ppid=1870 vsize=27852572 memory=3708 CPUtime=2086.2 cores=0-7 /proc/1873/task/1901/stat : 1901 (java) R 1870 1873 1543 0 -1 4202560 116158 0 0 0 208545 75 0 0 20 0 46 0 253165808 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643807825480 139644175650295 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1902] ppid=1870 vsize=27852572 memory=68928 CPUtime=1898.18 cores=0-7 /proc/1873/task/1902/stat : 1902 (java) R 1870 1873 1543 0 -1 4202560 134259 0 0 0 189727 91 0 0 20 0 46 0 253165808 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643806770520 139644178342762 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1903] ppid=1870 vsize=27852572 memory=2080 CPUtime=102.13 cores=0-7 /proc/1873/task/1903/stat : 1903 (java) S 1870 1873 1543 0 -1 1077944384 6718 0 0 0 10208 5 0 0 20 0 46 0 253165808 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643805726224 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1904] ppid=1870 vsize=27852572 memory=1036 CPUtime=0 cores=0-7 /proc/1873/task/1904/stat : 1904 (java) S 1870 1873 1543 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 46 0 253165808 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643804673168 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1905] ppid=1870 vsize=27852572 memory=1736 CPUtime=2500.42 cores=0-7 /proc/1873/task/1905/stat : 1905 (java) R 1870 1873 1543 0 -1 4202560 159130 0 0 0 249940 102 0 0 20 0 46 0 253165808 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643803612376 139644178624207 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1906] ppid=1870 vsize=27852572 memory=752 CPUtime=2493.27 cores=0-7 /proc/1873/task/1906/stat : 1906 (java) R 1870 1873 1543 0 -1 4202560 151498 0 0 0 249217 110 0 0 20 0 46 0 253165859 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643802560248 139644178786870 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1907] ppid=1870 vsize=27852572 memory=836 CPUtime=803.31 cores=0-7 /proc/1873/task/1907/stat : 1907 (java) S 1870 1873 1543 0 -1 1077944384 29912 0 0 0 80300 31 0 0 20 0 46 0 253165859 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643801515024 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1908] ppid=1870 vsize=27852572 memory=1084 CPUtime=0 cores=0-7 /proc/1873/task/1908/stat : 1908 (java) S 1870 1873 1543 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 46 0 253165859 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643800462992 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1909] ppid=1870 vsize=27852572 memory=1600 CPUtime=0 cores=0-7 /proc/1873/task/1909/stat : 1909 (java) S 1870 1873 1543 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 46 0 253165859 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643799410448 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1910] ppid=1870 vsize=27852572 memory=7952 CPUtime=2200.83 cores=0-7 /proc/1873/task/1910/stat : 1910 (java) R 1870 1873 1543 0 -1 4202560 111480 0 0 0 220011 72 0 0 20 0 46 0 253165859 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643798348656 139644167857278 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1911] ppid=1870 vsize=27852572 memory=7528 CPUtime=2457.89 cores=0-7 /proc/1873/task/1911/stat : 1911 (java) R 1870 1873 1543 0 -1 4202560 135503 0 0 0 245686 103 0 0 20 0 46 0 253165859 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643797296592 139644174283911 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1935] ppid=1870 vsize=27852572 memory=808 CPUtime=0 cores=0-7 /proc/1873/task/1935/stat : 1935 (java) S 1870 1873 1543 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 46 0 253219941 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643792020624 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1936] ppid=1870 vsize=27852572 memory=1399051139730258233 CPUtime=0 cores=0-7 /proc/1873/task/1936/stat : 1936 (java) S 1870 1873 1543 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 253219944 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643790968080 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1937] ppid=1870 vsize=27852572 memory=4126316290023845779 CPUtime=1694.9 cores=0-7 /proc/1873/task/1937/stat : 1937 (java) R 1870 1873 1543 0 -1 4202560 118903 0 0 0 169429 61 0 0 20 0 46 0 253219946 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643789908896 139644178789575 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1938] ppid=1870 vsize=27852572 memory=4353099821992024936 CPUtime=208.33 cores=0-7 /proc/1873/task/1938/stat : 1938 (java) S 1870 1873 1543 0 -1 1077944384 6796 0 0 0 20829 4 0 0 20 0 46 0 253219947 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643788862480 139644579931861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 [pid=1873/tid=1939] ppid=1870 vsize=27852572 memory=-7740387386719753874 CPUtime=0.02 cores=0-7 /proc/1873/task/1939/stat : 1939 (java) R 1870 1873 1543 0 -1 4202560 980 0 0 0 2 0 0 0 20 0 46 0 253219947 28521033728 1407357 33554432000 4194304 4196468 140732971236368 139643787796664 139644558366426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27217920 140732971242574 140732971242757 140732971242757 140732971245519 0 Current children cumulated CPU time: 20041.6 s Current children cumulated vsize: 27852572 KiB Current children cumulated memory: 5629428 KiB Child status: 143 Real time (s): 2520.28 CPU time (s): 20041.8 CPU user time (s): 20029.2 CPU system time (s): 12.6592 CPU usage (%): 795.223 Max. virtual memory (cumulated for all children) (KiB): 27852572 Max. memory (cumulated for all children) (KiB): 5629428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20029.2 system time used= 12.6592 maximum resident set size= 5630976 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1812957 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3544 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 380133 involuntary context switches= 423117 # summary of solver processes directly reported to runsolver: # pid: 1873 # total CPU time (s): 20041.8 # total CPU user time (s): 20029.2 # total CPU system time (s): 12.6592 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.327 second user time and 35.8144 second system time The end
Begin job on node105 at 2018-08-15 20:00:21 IDJOB=4308918 IDBENCH=141101 IDSOLVER=2793 FILE ID=node105/4308918-1534356021 RUNJOBID= node105-1534353454-1570 PBS_JOBID= 21038261 Free space on /tmp= 49280 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/Tal/Tal-08_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308918-1534356021/watcher-4308918-1534356021 -o /tmp/evaluation-result-4308918-1534356021/solver-4308918-1534356021 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534353454-1570 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 348601532 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308918-1534356021.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7dc6d9a3b6a58ae0b008049a7bee9b86 RANDOM SEED=348601532 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.32 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.32 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.32 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.32 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: 26902648 kB MemAvailable: 31893612 kB Buffers: 227460 kB Cached: 5016120 kB SwapCached: 16 kB Active: 2282232 kB Inactive: 3012580 kB Active(anon): 3404 kB Inactive(anon): 108668 kB Active(file): 2278828 kB Inactive(file): 2903912 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108860 kB SwapFree: 67108804 kB Dirty: 36136 kB Writeback: 0 kB AnonPages: 58420 kB Mapped: 54404 kB Shmem: 57940 kB Slab: 265352 kB SReclaimable: 236684 kB SUnreclaim: 28668 kB KernelStack: 3152 kB PageTables: 4904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357116 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 49244 MiB End job on node105 at 2018-08-15 20:42:22