Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | SAT | 31.2643 | 12.0101 |
Name | Crossword/Crossword-m1c-ogd2008-herald/ Crossword-m1c-ogd2008-h1506.xml |
MD5SUM | 0e5e1a5440f053ee6c87120c72693e04 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.985276 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 72 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":195}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":30},{"degree":2,"count":195}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":3,"count":8},{"arity":4,"count":20},{"arity":5,"count":14},{"arity":6,"count":4},{"arity":7,"count":19},{"arity":8,"count":4},{"arity":9,"count":3}] |
Number of extensional constraints | 72 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":72}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399702-1568717061.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399702-1568717061.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 29.53/11.73 c solve instance... 30.69/11.97 s SATISFIABLE 30.69/11.97 v <instantiation> 30.69/11.97 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] </list> 30.69/11.97 v <values>25 0 2 7 11 4 3 18 7 10 0 21 4 2 0 2 7 0 8 13 4 5 4 20 11 4 17 0 2 7 8 2 0 15 0 8 17 18 2 7 4 13 0 4 2 7 17 0 18 5 0 7 14 18 0 0 2 14 7 0 11 12 0 3 0 3 3 0 8 13 8 3 4 1 8 19 0 0 23 8 14 12 4 19 17 4 13 24 11 14 13 9 8 11 1 0 18 8 3 4 18 4 17 18 2 0 20 0 0 2 1 4 6 20 4 17 8 4 4 11 0 8 1 4 0 13 0 17 2 7 8 4 13 0 13 0 13 19 18 7 18 8 4 10 2 20 0 5 14 2 0 0 17 13 3 17 4 9 0 9 0 8 2 7 4 17 0 0 6 6 17 0 21 0 0 18 2 0 17 0 19 6 17 14 12 1 0 2 0 4 11 1 4 10 4 </values> 30.69/11.97 v </instantiation>
OK
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 (14625 MiB free) memory of node 1: 16384 MiB (15725 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399702-1568717061/watcher-4399702-1568717061 -o /tmp/evaluation-result-4399702-1568717061/solver-4399702-1568717061 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568713847-31114 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 747381920 HOME/instance-4399702-1568717061.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 solver pid=32267, runsolver pid=32264 Current StackSize limit: 8192 KiB [startup+0.101844 s]* /proc/loadavg: 5.64 7.60 7.85 3/209 32289 /proc/meminfo: memFree=31063020/32770624 swapFree=66922912/67108860 [pid=32267] ppid=32264 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/32267/stat : 32267 (xcsp3-exec) S 32264 32267 31087 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447974984 115843072 364 33554432000 4194304 5098028 140732006013968 140732006012072 139905947964028 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14254080 140732006015862 140732006016105 140732006016105 140732006019018 0 /proc/32267/statm: 28282 364 306 221 0 87 0 [pid=32269] ppid=32267 vsize=28227396 memory=29232 CPUtime=0.13 cores=0-7 /proc/32269/stat : 32269 (java) S 32267 32267 31087 0 -1 1077944320 5725 0 0 0 12 1 0 0 20 0 20 0 447974985 28904853504 7308 33554432000 4194304 4196468 140734976629984 140734976612528 140667439705847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 /proc/32269/statm: 7056849 7308 3171 1 0 7019032 0 [pid=32269/tid=32270] ppid=32267 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/32269/task/32270/stat : 32270 (java) R 32267 32267 31087 0 -1 4202560 3613 0 0 0 9 0 0 0 20 0 20 0 447974985 28904853504 7308 33554432000 4194304 4196468 140734976629984 140667443938576 140667423786334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32271] ppid=32267 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/32269/task/32271/stat : 32271 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 7308 33554432000 4194304 4196468 140734976629984 140667392326160 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32272] ppid=32267 vsize=28227396 memory=140520238761600 CPUtime=0 cores=0-7 /proc/32269/task/32272/stat : 32272 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 7308 33554432000 4194304 4196468 140734976629984 140667391273616 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32273] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32273/stat : 32273 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 7308 33554432000 4194304 4196468 140734976629984 140667390220560 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32274] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32274/stat : 32274 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 7308 33554432000 4194304 4196468 140734976629984 140667389168016 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32275] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32275/stat : 32275 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 7308 33554432000 4194304 4196468 140734976629984 140667388115984 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32276] ppid=32267 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/32269/task/32276/stat : 32276 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 7308 33554432000 4194304 4196468 140734976629984 140667387063440 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32277] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32277/stat : 32277 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 7308 33554432000 4194304 4196468 140734976629984 140667386010384 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32278] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32278/stat : 32278 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 7308 33554432000 4194304 4196468 140734976629984 140667384957840 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32279] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32279/stat : 32279 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974987 28904853504 7308 33554432000 4194304 4196468 140734976629984 140666154297584 140667439716994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32280] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32280/stat : 32280 (java) S 32267 32267 31087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447974988 28904853504 7308 33554432000 4194304 4196468 140734976629984 140666153243808 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32281] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32281/stat : 32281 (java) S 32267 32267 31087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447974988 28904853504 7308 33554432000 4194304 4196468 140734976629984 140665816081136 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32282] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32282/stat : 32282 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974990 28904853504 7308 33554432000 4194304 4196468 140734976629984 140665815029712 140667439724443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32283] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32283/stat : 32283 (java) S 32267 32267 31087 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 20 0 447974990 28904853504 7308 33554432000 4194304 4196468 140734976629984 140665813977840 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32284] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32284/stat : 32284 (java) R 32267 32267 31087 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 20 0 447974990 28904853504 7308 33554432000 4194304 4196468 140734976629984 140665812925296 140667420119152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32285] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32285/stat : 32285 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974990 28904853504 7308 33554432000 4194304 4196468 140734976629984 140665811872240 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32286] ppid=32267 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/32269/task/32286/stat : 32286 (java) R 32267 32267 31087 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 20 0 447974990 28904853504 7308 33554432000 4194304 4196468 140734976629984 140665810819696 140667439717782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32287] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32287/stat : 32287 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974991 28904853504 7308 33554432000 4194304 4196468 140734976629984 140665809766880 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32289] ppid=32267 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/32269/task/32289/stat : 32289 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974991 28904853504 7308 33554432000 4194304 4196468 140734976629984 140665808714416 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30688 KiB [startup+0.210514 s]* /proc/loadavg: 5.64 7.60 7.85 3/209 32289 /proc/meminfo: memFree=31050004/32770624 swapFree=66922912/67108860 [pid=32267] ppid=32264 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/32267/stat : 32267 (xcsp3-exec) S 32264 32267 31087 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447974984 115843072 364 33554432000 4194304 5098028 140732006013968 140732006012072 139905947964028 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14254080 140732006015862 140732006016105 140732006016105 140732006019018 0 /proc/32267/statm: 28282 364 306 221 0 87 0 [pid=32269] ppid=32267 vsize=28227396 memory=40600 CPUtime=0.33 cores=0-7 /proc/32269/stat : 32269 (java) S 32267 32267 31087 0 -1 1077944320 9387 0 0 0 30 3 0 0 20 0 20 0 447974985 28904853504 10150 33554432000 4194304 4196468 140734976629984 140734976612528 140667439705847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 /proc/32269/statm: 7056849 10150 3281 1 0 7019032 0 [pid=32269/tid=32270] ppid=32267 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/32269/task/32270/stat : 32270 (java) R 32267 32267 31087 0 -1 4202560 6625 0 0 0 18 2 0 0 20 0 20 0 447974985 28904853504 10150 33554432000 4194304 4196468 140734976629984 140667443939296 140667439717782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32271] ppid=32267 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/32269/task/32271/stat : 32271 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 10150 33554432000 4194304 4196468 140734976629984 140667392326160 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32272] ppid=32267 vsize=28227396 memory=288370896390473344 CPUtime=0 cores=0-7 /proc/32269/task/32272/stat : 32272 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 10150 33554432000 4194304 4196468 140734976629984 140667391273616 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32273] ppid=32267 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/32269/task/32273/stat : 32273 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 10150 33554432000 4194304 4196468 140734976629984 140667390220560 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32274] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32274/stat : 32274 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 10150 33554432000 4194304 4196468 140734976629984 140667389168016 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32275] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32275/stat : 32275 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 10150 33554432000 4194304 4196468 140734976629984 140667388115984 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32276] ppid=32267 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/32269/task/32276/stat : 32276 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 10150 33554432000 4194304 4196468 140734976629984 140667387063440 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32277] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32277/stat : 32277 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 10150 33554432000 4194304 4196468 140734976629984 140667386010384 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32278] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32278/stat : 32278 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28904853504 10150 33554432000 4194304 4196468 140734976629984 140667384957840 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32279] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32279/stat : 32279 (java) S 32267 32267 31087 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447974987 28904853504 10150 33554432000 4194304 4196468 140734976629984 140666154297584 140667439716994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32280] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32280/stat : 32280 (java) S 32267 32267 31087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447974988 28904853504 10150 33554432000 4194304 4196468 140734976629984 140666153243808 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32281] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32281/stat : 32281 (java) S 32267 32267 31087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447974988 28904853504 10150 33554432000 4194304 4196468 140734976629984 140665816081136 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32282] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32282/stat : 32282 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974990 28904853504 10150 33554432000 4194304 4196468 140734976629984 140665815029712 140667439724443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32283] ppid=32267 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/32269/task/32283/stat : 32283 (java) S 32267 32267 31087 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 20 0 447974990 28904853504 10150 33554432000 4194304 4196468 140734976629984 140665813977840 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32284] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32284/stat : 32284 (java) S 32267 32267 31087 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 447974990 28904853504 10150 33554432000 4194304 4196468 140734976629984 140665812925296 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32285] ppid=32267 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/32269/task/32285/stat : 32285 (java) S 32267 32267 31087 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 447974990 28904853504 10150 33554432000 4194304 4196468 140734976629984 140665811872240 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32286] ppid=32267 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/32269/task/32286/stat : 32286 (java) R 32267 32267 31087 0 -1 4202560 817 0 0 0 7 0 0 0 20 0 20 0 447974990 28904853504 10150 33554432000 4194304 4196468 140734976629984 140665810819504 140667418331142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32287] ppid=32267 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32287/stat : 32287 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974991 28904853504 10150 33554432000 4194304 4196468 140734976629984 140665809766880 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32289] ppid=32267 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/32269/task/32289/stat : 32289 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974991 28904853504 10150 33554432000 4194304 4196468 140734976629984 140665808714416 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42056 KiB [startup+0.311325 s]* /proc/loadavg: 5.64 7.60 7.85 4/209 32289 /proc/meminfo: memFree=31042480/32770624 swapFree=66922912/67108860 [pid=32267] ppid=32264 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/32267/stat : 32267 (xcsp3-exec) S 32264 32267 31087 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447974984 115843072 364 33554432000 4194304 5098028 140732006013968 140732006012072 139905947964028 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14254080 140732006015862 140732006016105 140732006016105 140732006019018 0 /proc/32267/statm: 28282 364 306 221 0 87 0 [pid=32269] ppid=32267 vsize=28231652 memory=49860 CPUtime=0.53 cores=0-7 /proc/32269/stat : 32269 (java) S 32267 32267 31087 0 -1 1077944320 10899 0 0 0 49 4 0 0 20 0 20 0 447974985 28909211648 12465 33554432000 4194304 4196468 140734976629984 140734976612528 140667439705847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 /proc/32269/statm: 7057913 12465 3351 1 0 7019032 0 [pid=32269/tid=32270] ppid=32267 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/32269/task/32270/stat : 32270 (java) R 32267 32267 31087 0 -1 4202560 7796 0 0 0 27 2 0 0 20 0 20 0 447974985 28909211648 12465 33554432000 4194304 4196468 140734976629984 140667443939632 140667423786334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32271] ppid=32267 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32271/stat : 32271 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28909211648 12465 33554432000 4194304 4196468 140734976629984 140667392326160 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32272] ppid=32267 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32272/stat : 32272 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974986 28909211648 12465 33554432000 4194304 4196468 140734976629984 140667391273616 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32273] ppid=32267 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32273/stat : 32273 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28909211648 12465 33554432000 4194304 4196468 140734976629984 140667390220560 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32274] ppid=32267 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32274/stat : 32274 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974986 28909211648 12465 33554432000 4194304 4196468 140734976629984 140667389168016 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32275] ppid=32267 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32275/stat : 32275 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28909211648 12465 33554432000 4194304 4196468 140734976629984 140667388115984 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32276] ppid=32267 vsize=28231652 memory=140520122837679 CPUtime=0 cores=0-7 /proc/32269/task/32276/stat : 32276 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974986 28909211648 12465 33554432000 4194304 4196468 140734976629984 140667387063440 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32277] ppid=32267 vsize=28231652 memory=140520122839984 CPUtime=0 cores=0-7 /proc/32269/task/32277/stat : 32277 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974986 28909211648 12465 33554432000 4194304 4196468 140734976629984 140667386010384 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32278] ppid=32267 vsize=28231652 memory=140520122842288 CPUtime=0 cores=0-7 /proc/32269/task/32278/stat : 32278 (java) S 32267 32267 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447974986 28909211648 12465 33554432000 4194304 4196468 140734976629984 140667384957840 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32279] ppid=32267 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32279/stat : 32279 (java) S 32267 32267 31087 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447974987 28909211648 12465 33554432000 4194304 4196468 140734976629984 140666154297584 140667439716994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32280] ppid=32267 vsize=28231652 memory=281040245698448 CPUtime=0 cores=0-7 /proc/32269/task/32280/stat : 32280 (java) S 32267 32267 31087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447974988 28909211648 12465 33554432000 4194304 4196468 140734976629984 140666153243808 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32281] ppid=32267 vsize=28231652 memory=281040245696144 CPUtime=0 cores=0-7 /proc/32269/task/32281/stat : 32281 (java) S 32267 32267 31087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447974988 28909211648 12465 33554432000 4194304 4196468 140734976629984 140665816081136 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32282] ppid=32267 vsize=28231652 memory=281040245703056 CPUtime=0 cores=0-7 /proc/32269/task/32282/stat : 32282 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974990 28909211648 12465 33554432000 4194304 4196468 140734976629984 140665815029712 140667439724443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32283] ppid=32267 vsize=28231652 memory=281040245644336 CPUtime=0.03 cores=0-7 /proc/32269/task/32283/stat : 32283 (java) S 32267 32267 31087 0 -1 1077944384 520 0 0 0 3 0 0 0 20 0 20 0 447974990 28909211648 12465 33554432000 4194304 4196468 140734976629984 140665813977840 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32284] ppid=32267 vsize=28231652 memory=281040245716880 CPUtime=0.01 cores=0-7 /proc/32269/task/32284/stat : 32284 (java) S 32267 32267 31087 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 447974990 28909211648 12465 33554432000 4194304 4196468 140734976629984 140665812925296 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32285] ppid=32267 vsize=28231652 memory=281040245723792 CPUtime=0.04 cores=0-7 /proc/32269/task/32285/stat : 32285 (java) R 32267 32267 31087 0 -1 4202560 211 0 0 0 4 0 0 0 20 0 20 0 447974990 28909211648 12465 33554432000 4194304 4196468 140734976629984 140665811853256 140667424831741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32286] ppid=32267 vsize=28231652 memory=281040245721488 CPUtime=0.12 cores=0-7 /proc/32269/task/32286/stat : 32286 (java) S 32267 32267 31087 0 -1 1077944384 966 0 0 0 12 0 0 0 20 0 20 0 447974990 28909211648 12465 33554432000 4194304 4196468 140734976629984 140665810819696 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32287] ppid=32267 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32287/stat : 32287 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974991 28909211648 12465 33554432000 4194304 4196468 140734976629984 140665809766880 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32289] ppid=32267 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/32269/task/32289/stat : 32289 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974991 28909211648 12465 33554432000 4194304 4196468 140734976629984 140665808714416 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51316 KiB [startup+0.701549 s] /proc/loadavg: 5.64 7.60 7.85 5/209 32289 /proc/meminfo: memFree=30998168/32770624 swapFree=66922912/67108860 [pid=32267] ppid=32264 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/32267/stat : 32267 (xcsp3-exec) S 32264 32267 31087 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447974984 115843072 364 33554432000 4194304 5098028 140732006013968 140732006012072 139905947964028 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14254080 140732006015862 140732006016105 140732006016105 140732006019018 0 /proc/32267/statm: 28282 364 306 221 0 87 0 [pid=32269] ppid=32267 vsize=28233776 memory=204912 CPUtime=1.73 cores=0-7 /proc/32269/stat : 32269 (java) S 32267 32267 31087 0 -1 1077944320 14508 0 0 0 164 9 0 0 20 0 20 0 447974985 28911386624 51228 33554432000 4194304 4196468 140734976629984 140734976612528 140667439705847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 /proc/32269/statm: 7058444 51228 3459 1 0 7019544 0 [pid=32269/tid=32270] ppid=32267 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/32269/task/32270/stat : 32270 (java) R 32267 32267 31087 0 -1 4202560 8387 0 0 0 62 5 0 0 20 0 20 0 447974985 28911386624 51228 33554432000 4194304 4196468 140734976629984 140667443942624 140667418763722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32271] ppid=32267 vsize=28233776 memory=2353 CPUtime=0 cores=0-7 /proc/32269/task/32271/stat : 32271 (java) S 32267 32267 31087 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 447974986 28911386624 51228 33554432000 4194304 4196468 140734976629984 140667392326160 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32272] ppid=32267 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/32269/task/32272/stat : 32272 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974986 28911386624 51228 33554432000 4194304 4196468 140734976629984 140667391273616 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32273] ppid=32267 vsize=28233776 memory=1428 CPUtime=0 cores=0-7 /proc/32269/task/32273/stat : 32273 (java) S 32267 32267 31087 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 447974986 28911386624 51228 33554432000 4194304 4196468 140734976629984 140667390220560 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 ################ # More data... # ################ [startup+9.60088 s] /proc/loadavg: 4.85 7.37 7.77 9/209 32289 /proc/meminfo: memFree=28174060/32770624 swapFree=66922912/67108860 [pid=32267] ppid=32264 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/32267/stat : 32267 (xcsp3-exec) S 32264 32267 31087 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447974984 115843072 364 33554432000 4194304 5098028 140732006013968 140732006012072 139905947964028 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14254080 140732006015862 140732006016105 140732006016105 140732006019018 0 /proc/32267/statm: 28282 364 306 221 0 87 0 [pid=32269] ppid=32267 vsize=28233776 memory=2995068 CPUtime=25.6 cores=0-7 /proc/32269/stat : 32269 (java) S 32267 32267 31087 0 -1 1077944320 39509 0 0 0 2044 516 0 0 20 0 20 0 447974985 28911386624 748767 33554432000 4194304 4196468 140734976629984 140734976612528 140667439705847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 /proc/32269/statm: 7058444 748767 3500 1 0 7019544 0 [pid=32269/tid=32270] ppid=32267 vsize=28233776 memory=0 CPUtime=5.91 cores=0-7 /proc/32269/task/32270/stat : 32270 (java) S 32267 32267 31087 0 -1 1077944384 12110 0 0 0 574 17 0 0 20 0 20 0 447974985 28911386624 748767 33554432000 4194304 4196468 140734976629984 140667443943904 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32271] ppid=32267 vsize=28233776 memory=0 CPUtime=2.12 cores=0-7 /proc/32269/task/32271/stat : 32271 (java) S 32267 32267 31087 0 -1 1077944384 1577 0 0 0 153 59 0 0 20 0 20 0 447974986 28911386624 748767 33554432000 4194304 4196468 140734976629984 140667392326160 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32272] ppid=32267 vsize=28233776 memory=895100 CPUtime=2.11 cores=0-7 /proc/32269/task/32272/stat : 32272 (java) S 32267 32267 31087 0 -1 1077944384 2029 0 0 0 147 64 0 0 20 0 20 0 447974986 28911386624 748767 33554432000 4194304 4196468 140734976629984 140667391273616 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32273] ppid=32267 vsize=28233776 memory=0 CPUtime=2.12 cores=0-7 /proc/32269/task/32273/stat : 32273 (java) S 32267 32267 31087 0 -1 1077944384 1902 0 0 0 151 61 0 0 20 0 20 0 447974986 28911386624 748767 33554432000 4194304 4196468 140734976629984 140667390220560 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32274] ppid=32267 vsize=28233776 memory=0 CPUtime=2.1 cores=0-7 /proc/32269/task/32274/stat : 32274 (java) S 32267 32267 31087 0 -1 1077944384 1895 0 0 0 149 61 0 0 20 0 20 0 447974986 28911386624 748767 33554432000 4194304 4196468 140734976629984 140667389168016 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32275] ppid=32267 vsize=28233776 memory=1456 CPUtime=2.12 cores=0-7 /proc/32269/task/32275/stat : 32275 (java) S 32267 32267 31087 0 -1 1077944384 1269 0 0 0 151 61 0 0 20 0 20 0 447974986 28911386624 748767 33554432000 4194304 4196468 140734976629984 140667388115984 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32276] ppid=32267 vsize=28233776 memory=892004 CPUtime=2.11 cores=0-7 /proc/32269/task/32276/stat : 32276 (java) S 32267 32267 31087 0 -1 1077944384 1960 0 0 0 148 63 0 0 20 0 20 0 447974986 28911386624 748767 33554432000 4194304 4196468 140734976629984 140667387063440 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32277] ppid=32267 vsize=28233776 memory=0 CPUtime=2.09 cores=0-7 /proc/32269/task/32277/stat : 32277 (java) S 32267 32267 31087 0 -1 1077944384 2282 0 0 0 150 59 0 0 20 0 20 0 447974986 28911386624 748767 33554432000 4194304 4196468 140734976629984 140667386010384 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32278] ppid=32267 vsize=28233776 memory=281040245930576 CPUtime=2.07 cores=0-7 /proc/32269/task/32278/stat : 32278 (java) S 32267 32267 31087 0 -1 1077944384 1843 0 0 0 146 61 0 0 20 0 20 0 447974986 28911386624 748767 33554432000 4194304 4196468 140734976629984 140667384957840 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32279] ppid=32267 vsize=28233776 memory=0 CPUtime=0.9 cores=0-7 /proc/32269/task/32279/stat : 32279 (java) R 32267 32267 31087 0 -1 4202560 3469 0 0 0 89 1 0 0 20 0 20 0 447974987 28911386624 748767 33554432000 4194304 4196468 140734976629984 140666154296128 140667424406504 0 0 0 16800975 0 0 0 -1 6 0 0 60 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32280] ppid=32267 vsize=28233776 memory=45796 CPUtime=0 cores=0-7 /proc/32269/task/32280/stat : 32280 (java) S 32267 32267 31087 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 447974988 28911386624 748767 33554432000 4194304 4196468 140734976629984 140666153243872 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32281] ppid=32267 vsize=28233776 memory=1456 CPUtime=0 cores=0-7 /proc/32269/task/32281/stat : 32281 (java) S 32267 32267 31087 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 447974988 28911386624 748767 33554432000 4194304 4196468 140734976629984 140665816081152 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32282] ppid=32267 vsize=28233776 memory=896044 CPUtime=0 cores=0-7 /proc/32269/task/32282/stat : 32282 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974990 28911386624 748767 33554432000 4194304 4196468 140734976629984 140665815029712 140667439724443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32283] ppid=32267 vsize=28233776 memory=988 CPUtime=0.43 cores=0-7 /proc/32269/task/32283/stat : 32283 (java) S 32267 32267 31087 0 -1 1077944384 1867 0 0 0 42 1 0 0 20 0 20 0 447974990 28911386624 748767 33554432000 4194304 4196468 140734976629984 140665813977840 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32284] ppid=32267 vsize=28233776 memory=281040246342016 CPUtime=0.44 cores=0-7 /proc/32269/task/32284/stat : 32284 (java) S 32267 32267 31087 0 -1 1077944384 1328 0 0 0 44 0 0 0 20 0 20 0 447974990 28911386624 748767 33554432000 4194304 4196468 140734976629984 140665812925296 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32285] ppid=32267 vsize=28233776 memory=7649399371430244915 CPUtime=0.45 cores=0-7 /proc/32269/task/32285/stat : 32285 (java) S 32267 32267 31087 0 -1 1077944384 1396 0 0 0 45 0 0 0 20 0 20 0 447974990 28911386624 748767 33554432000 4194304 4196468 140734976629984 140665811872240 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32286] ppid=32267 vsize=28233776 memory=7649399375725212211 CPUtime=0.48 cores=0-7 /proc/32269/task/32286/stat : 32286 (java) S 32267 32267 31087 0 -1 1077944384 2944 0 0 0 47 1 0 0 20 0 20 0 447974990 28911386624 748767 33554432000 4194304 4196468 140734976629984 140665810819696 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32287] ppid=32267 vsize=28233776 memory=7649399380020179507 CPUtime=0 cores=0-7 /proc/32269/task/32287/stat : 32287 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974991 28911386624 748767 33554432000 4194304 4196468 140734976629984 140665809766880 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32289] ppid=32267 vsize=28233776 memory=7649399384315146803 CPUtime=0 cores=0-7 /proc/32269/task/32289/stat : 32289 (java) S 32267 32267 31087 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 447974991 28911386624 748767 33554432000 4194304 4196468 140734976629984 140665808714416 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 62 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 Current children cumulated CPU time: 25.6 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 2996524 KiB [startup+11.2015 s] /proc/loadavg: 4.94 7.35 7.77 9/209 32289 /proc/meminfo: memFree=27921040/32770624 swapFree=66922912/67108860 [pid=32267] ppid=32264 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/32267/stat : 32267 (xcsp3-exec) S 32264 32267 31087 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447974984 115843072 364 33554432000 4194304 5098028 140732006013968 140732006012072 139905947964028 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14254080 140732006015862 140732006016105 140732006016105 140732006019018 0 /proc/32267/statm: 28282 364 306 221 0 87 0 [pid=32269] ppid=32267 vsize=28233776 memory=3398516 CPUtime=29.01 cores=0-7 /proc/32269/stat : 32269 (java) S 32267 32267 31087 0 -1 1077944320 44259 0 0 0 2278 623 0 0 20 0 20 0 447974985 28911386624 849629 33554432000 4194304 4196468 140734976629984 140734976612528 140667439705847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 /proc/32269/statm: 7058444 849629 3505 1 0 7019544 0 [pid=32269/tid=32270] ppid=32267 vsize=28233776 memory=7590655979367786604 CPUtime=7.2 cores=0-7 /proc/32269/task/32270/stat : 32270 (java) R 32267 32267 31087 0 -1 4202560 12403 0 0 0 702 18 0 0 20 0 20 0 447974985 28911386624 849629 33554432000 4194304 4196468 140734976629984 140667443939840 140667044522916 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32271] ppid=32267 vsize=28233776 memory=6944656575208382560 CPUtime=2.37 cores=0-7 /proc/32269/task/32271/stat : 32271 (java) S 32267 32267 31087 0 -1 1077944384 1792 0 0 0 164 73 0 0 20 0 20 0 447974986 28911386624 849629 33554432000 4194304 4196468 140734976629984 140667392326160 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32272] ppid=32267 vsize=28233776 memory=4872558044660077418 CPUtime=2.35 cores=0-7 /proc/32269/task/32272/stat : 32272 (java) S 32267 32267 31087 0 -1 1077944384 2240 0 0 0 159 76 0 0 20 0 20 0 447974986 28911386624 849629 33554432000 4194304 4196468 140734976629984 140667391273616 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32273] ppid=32267 vsize=28233776 memory=928 CPUtime=2.34 cores=0-7 /proc/32269/task/32273/stat : 32273 (java) S 32267 32267 31087 0 -1 1077944384 2108 0 0 0 160 74 0 0 20 0 20 0 447974986 28911386624 849629 33554432000 4194304 4196468 140734976629984 140667390220560 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32274] ppid=32267 vsize=28233776 memory=2241 CPUtime=2.35 cores=0-7 /proc/32269/task/32274/stat : 32274 (java) S 32267 32267 31087 0 -1 1077944384 2153 0 0 0 161 74 0 0 20 0 20 0 447974986 28911386624 849629 33554432000 4194304 4196468 140734976629984 140667389168016 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32275] ppid=32267 vsize=28233776 memory=1456 CPUtime=2.34 cores=0-7 /proc/32269/task/32275/stat : 32275 (java) S 32267 32267 31087 0 -1 1077944384 1467 0 0 0 161 73 0 0 20 0 20 0 447974986 28911386624 849629 33554432000 4194304 4196468 140734976629984 140667388115984 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32276] ppid=32267 vsize=28233776 memory=2779256 CPUtime=2.35 cores=0-7 /proc/32269/task/32276/stat : 32276 (java) S 32267 32267 31087 0 -1 1077944384 2160 0 0 0 158 77 0 0 20 0 20 0 447974986 28911386624 849629 33554432000 4194304 4196468 140734976629984 140667387063440 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32277] ppid=32267 vsize=28233776 memory=0 CPUtime=2.33 cores=0-7 /proc/32269/task/32277/stat : 32277 (java) S 32267 32267 31087 0 -1 1077944384 2511 0 0 0 160 73 0 0 20 0 20 0 447974986 28911386624 849629 33554432000 4194304 4196468 140734976629984 140667386010384 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32278] ppid=32267 vsize=28233776 memory=6656426216303648864 CPUtime=2.31 cores=0-7 /proc/32269/task/32278/stat : 32278 (java) S 32267 32267 31087 0 -1 1077944384 2104 0 0 0 157 74 0 0 20 0 20 0 447974986 28911386624 849629 33554432000 4194304 4196468 140734976629984 140667384957840 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32279] ppid=32267 vsize=28233776 memory=1456 CPUtime=0.96 cores=0-7 /proc/32269/task/32279/stat : 32279 (java) S 32267 32267 31087 0 -1 1077944384 4269 0 0 0 95 1 0 0 20 0 20 0 447974987 28911386624 849629 33554432000 4194304 4196468 140734976629984 140666154297584 140667439716994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 60 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32280] ppid=32267 vsize=28233776 memory=1353252 CPUtime=0 cores=0-7 /proc/32269/task/32280/stat : 32280 (java) S 32267 32267 31087 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 447974988 28911386624 849629 33554432000 4194304 4196468 140734976629984 140666153243872 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32281] ppid=32267 vsize=28233776 memory=1456 CPUtime=0 cores=0-7 /proc/32269/task/32281/stat : 32281 (java) S 32267 32267 31087 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 447974988 28911386624 849629 33554432000 4194304 4196468 140734976629984 140665816081152 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32282] ppid=32267 vsize=28233776 memory=1095576 CPUtime=0 cores=0-7 /proc/32269/task/32282/stat : 32282 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974990 28911386624 849629 33554432000 4194304 4196468 140734976629984 140665815029712 140667439724443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32283] ppid=32267 vsize=28233776 memory=3620 CPUtime=0.44 cores=0-7 /proc/32269/task/32283/stat : 32283 (java) S 32267 32267 31087 0 -1 1077944384 1871 0 0 0 43 1 0 0 20 0 20 0 447974990 28911386624 849629 33554432000 4194304 4196468 140734976629984 140665813977840 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32284] ppid=32267 vsize=28233776 memory=47896 CPUtime=0.47 cores=0-7 /proc/32269/task/32284/stat : 32284 (java) S 32267 32267 31087 0 -1 1077944384 1568 0 0 0 47 0 0 0 20 0 20 0 447974990 28911386624 849629 33554432000 4194304 4196468 140734976629984 140665812925296 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32285] ppid=32267 vsize=28233776 memory=988 CPUtime=0.58 cores=0-7 /proc/32269/task/32285/stat : 32285 (java) S 32267 32267 31087 0 -1 1077944384 2976 0 0 0 58 0 0 0 20 0 20 0 447974990 28911386624 849629 33554432000 4194304 4196468 140734976629984 140665811872240 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32286] ppid=32267 vsize=28233776 memory=2016 CPUtime=0.49 cores=0-7 /proc/32269/task/32286/stat : 32286 (java) S 32267 32267 31087 0 -1 1077944384 2995 0 0 0 48 1 0 0 20 0 20 0 447974990 28911386624 849629 33554432000 4194304 4196468 140734976629984 140665810819696 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32287] ppid=32267 vsize=28233776 memory=1428 CPUtime=0 cores=0-7 /proc/32269/task/32287/stat : 32287 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974991 28911386624 849629 33554432000 4194304 4196468 140734976629984 140665809766880 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32289] ppid=32267 vsize=28233776 memory=10728 CPUtime=0 cores=0-7 /proc/32269/task/32289/stat : 32289 (java) S 32267 32267 31087 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 447974991 28911386624 849629 33554432000 4194304 4196468 140734976629984 140665808714416 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 62 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 Current children cumulated CPU time: 29.01 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 3399972 KiB [startup+11.601 s] /proc/loadavg: 4.94 7.35 7.77 9/209 32289 /proc/meminfo: memFree=27921040/32770624 swapFree=66922912/67108860 [pid=32267] ppid=32264 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/32267/stat : 32267 (xcsp3-exec) S 32264 32267 31087 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447974984 115843072 364 33554432000 4194304 5098028 140732006013968 140732006012072 139905947964028 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14254080 140732006015862 140732006016105 140732006016105 140732006019018 0 /proc/32267/statm: 28282 364 306 221 0 87 0 [pid=32269] ppid=32267 vsize=28233776 memory=3398600 CPUtime=29.43 cores=0-7 /proc/32269/stat : 32269 (java) S 32267 32267 31087 0 -1 1077944320 44890 0 0 0 2320 623 0 0 20 0 20 0 447974985 28911386624 849650 33554432000 4194304 4196468 140734976629984 140734976612528 140667439705847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 /proc/32269/statm: 7058444 849650 3505 1 0 7019544 0 [pid=32269/tid=32270] ppid=32267 vsize=28233776 memory=1428 CPUtime=7.6 cores=0-7 /proc/32269/task/32270/stat : 32270 (java) R 32267 32267 31087 0 -1 4202560 13002 0 0 0 742 18 0 0 20 0 20 0 447974985 28911386624 849650 33554432000 4194304 4196468 140734976629984 140667443941016 140667045003872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32271] ppid=32267 vsize=28233776 memory=6791534058613427641 CPUtime=2.37 cores=0-7 /proc/32269/task/32271/stat : 32271 (java) S 32267 32267 31087 0 -1 1077944384 1792 0 0 0 164 73 0 0 20 0 20 0 447974986 28911386624 849650 33554432000 4194304 4196468 140734976629984 140667392326160 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32272] ppid=32267 vsize=28233776 memory=320318743395959099 CPUtime=2.35 cores=0-7 /proc/32269/task/32272/stat : 32272 (java) S 32267 32267 31087 0 -1 1077944384 2240 0 0 0 159 76 0 0 20 0 20 0 447974986 28911386624 849650 33554432000 4194304 4196468 140734976629984 140667391273616 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32273] ppid=32267 vsize=28233776 memory=15823283127847325 CPUtime=2.34 cores=0-7 /proc/32269/task/32273/stat : 32273 (java) S 32267 32267 31087 0 -1 1077944384 2108 0 0 0 160 74 0 0 20 0 20 0 447974986 28911386624 849650 33554432000 4194304 4196468 140734976629984 140667390220560 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32274] ppid=32267 vsize=28233776 memory=6944652177228980320 CPUtime=2.35 cores=0-7 /proc/32269/task/32274/stat : 32274 (java) S 32267 32267 31087 0 -1 1077944384 2153 0 0 0 161 74 0 0 20 0 20 0 447974986 28911386624 849650 33554432000 4194304 4196468 140734976629984 140667389168016 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32275] ppid=32267 vsize=28233776 memory=6943526294502006880 CPUtime=2.34 cores=0-7 /proc/32269/task/32275/stat : 32275 (java) S 32267 32267 31087 0 -1 1077944384 1467 0 0 0 161 73 0 0 20 0 20 0 447974986 28911386624 849650 33554432000 4194304 4196468 140734976629984 140667388115984 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32276] ppid=32267 vsize=28233776 memory=9051283677730746851 CPUtime=2.35 cores=0-7 /proc/32269/task/32276/stat : 32276 (java) S 32267 32267 31087 0 -1 1077944384 2160 0 0 0 158 77 0 0 20 0 20 0 447974986 28911386624 849650 33554432000 4194304 4196468 140734976629984 140667387063440 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32277] ppid=32267 vsize=28233776 memory=7305208475548348565 CPUtime=2.33 cores=0-7 /proc/32269/task/32277/stat : 32277 (java) S 32267 32267 31087 0 -1 1077944384 2511 0 0 0 160 73 0 0 20 0 20 0 447974986 28911386624 849650 33554432000 4194304 4196468 140734976629984 140667386010384 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32278] ppid=32267 vsize=28233776 memory=6946866654921323415 CPUtime=2.31 cores=0-7 /proc/32269/task/32278/stat : 32278 (java) S 32267 32267 31087 0 -1 1077944384 2104 0 0 0 157 74 0 0 20 0 20 0 447974986 28911386624 849650 33554432000 4194304 4196468 140734976629984 140667384957840 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32279] ppid=32267 vsize=28233776 memory=6944656592452807316 CPUtime=0.96 cores=0-7 /proc/32269/task/32279/stat : 32279 (java) S 32267 32267 31087 0 -1 1077944384 4269 0 0 0 95 1 0 0 20 0 20 0 447974987 28911386624 849650 33554432000 4194304 4196468 140734976629984 140666154297584 140667439716994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 60 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32280] ppid=32267 vsize=28233776 memory=-8707038579349950309 CPUtime=0 cores=0-7 /proc/32269/task/32280/stat : 32280 (java) S 32267 32267 31087 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 447974988 28911386624 849650 33554432000 4194304 4196468 140734976629984 140666153243872 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32281] ppid=32267 vsize=28233776 memory=7100839852859104649 CPUtime=0 cores=0-7 /proc/32269/task/32281/stat : 32281 (java) S 32267 32267 31087 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 447974988 28911386624 849650 33554432000 4194304 4196468 140734976629984 140665816081152 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32282] ppid=32267 vsize=28233776 memory=-8253362664378451622 CPUtime=0 cores=0-7 /proc/32269/task/32282/stat : 32282 (java) S 32267 32267 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447974990 28911386624 849650 33554432000 4194304 4196468 140734976629984 140665815029712 140667439724443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32283] ppid=32267 vsize=28233776 memory=4869642952846765465 CPUtime=0.44 cores=0-7 /proc/32269/task/32283/stat : 32283 (java) S 32267 32267 31087 0 -1 1077944384 1872 0 0 0 43 1 0 0 20 0 20 0 447974990 28911386624 849650 33554432000 4194304 4196468 140734976629984 140665813977840 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32284] ppid=32267 vsize=28233776 memory=140520238766833 CPUtime=0.47 cores=0-7 /proc/32269/task/32284/stat : 32284 (java) S 32267 32267 31087 0 -1 1077944384 1569 0 0 0 47 0 0 0 20 0 20 0 447974990 28911386624 849650 33554432000 4194304 4196468 140734976629984 140665812925296 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32285] ppid=32267 vsize=28233776 memory=140524533728895 CPUtime=0.58 cores=0-7 /proc/32269/task/32285/stat : 32285 (java) S 32267 32267 31087 0 -1 1077944384 2976 0 0 0 58 0 0 0 20 0 20 0 447974990 28911386624 849650 33554432000 4194304 4196468 140734976629984 140665811872240 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32286] ppid=32267 vsize=28233776 memory=7016671349533276567 CPUtime=0.5 cores=0-7 /proc/32269/task/32286/stat : 32286 (java) S 32267 32267 31087 0 -1 1077944384 3025 0 0 0 49 1 0 0 20 0 20 0 447974990 28911386624 849650 33554432000 4194304 4196468 140734976629984 140665810819696 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32287] ppid=32267 vsize=28233776 memory=-9001733975035308135 CPUtime=0 cores=0-7 /proc/32269/task/32287/stat : 32287 (java) S 32267 32267 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447974991 28911386624 849650 33554432000 4194304 4196468 140734976629984 140665809766880 140667439716053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 [pid=32269/tid=32289] ppid=32267 vsize=28233776 memory=8329294824090543255 CPUtime=0 cores=0-7 /proc/32269/task/32289/stat : 32289 (java) S 32267 32267 31087 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 447974991 28911386624 849650 33554432000 4194304 4196468 140734976629984 140665808714416 140667439716994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 62 0 0 6293624 6294260 20189184 140734976631786 140734976631958 140734976631958 140734976634831 0 Current children cumulated CPU time: 29.43 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 3400056 KiB [startup+12.0009 s]* /proc/loadavg: 4.94 7.35 7.77 2/191 32297 /proc/meminfo: memFree=30974288/32770624 swapFree=66922912/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 12.0101 CPU time (s): 31.2643 CPU user time (s): 24.9969 CPU system time (s): 6.26735 CPU usage (%): 260.316 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 3400792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.9969 system time used= 6.26735 maximum resident set size= 3400884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46507 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5030 involuntary context switches= 242 # summary of solver processes directly reported to runsolver: # pid: 32267 # total CPU time (s): 31.2643 # total CPU user time (s): 24.9969 # total CPU system time (s): 6.26735 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.102232 second user time and 0.171751 second system time The end
Begin job on node139 at 2019-09-17 12:46:15 IDJOB=4399702 IDBENCH=140060 IDSOLVER=2854 FILE ID=node139/4399702-1568717061 RUNJOBID= node139-1568713847-31114 PBS_JOBID= 21703946 Free space on /tmp= 59552 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1506.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399702-1568717061/watcher-4399702-1568717061 -o /tmp/evaluation-result-4399702-1568717061/solver-4399702-1568717061 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568713847-31114 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 747381920 HOME/instance-4399702-1568717061.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0e5e1a5440f053ee6c87120c72693e04 RANDOM SEED=747381920 node139.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.57 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.57 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.57 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.57 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: 31079772 kB MemAvailable: 31825228 kB Buffers: 133832 kB Cached: 903716 kB SwapCached: 78104 kB Active: 638388 kB Inactive: 480512 kB Active(anon): 6604 kB Inactive(anon): 118224 kB Active(file): 631784 kB Inactive(file): 362288 kB Unevictable: 107756 kB Mlocked: 107756 kB SwapTotal: 67108860 kB SwapFree: 66922912 kB Dirty: 32428 kB Writeback: 0 kB AnonPages: 112112 kB Mapped: 48284 kB Shmem: 34820 kB Slab: 163376 kB SReclaimable: 134440 kB SUnreclaim: 28936 kB KernelStack: 3312 kB PageTables: 4992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496508 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59528 MiB End job on node139 at 2019-09-17 12:46:27