Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 11.3842 | 4.64023 |
Name | Crossword/Crossword-m1c-ogd-herald/ Crossword-m1c-ogd-h1502.xml |
MD5SUM | f196bcf8028f955a9b1a207c833066c3 |
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.441362 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 80 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":191}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":34},{"degree":2,"count":191}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":3,"count":16},{"arity":4,"count":36},{"arity":5,"count":14},{"arity":6,"count":6},{"arity":7,"count":2},{"arity":10,"count":4},{"arity":15,"count":2}] |
Number of extensional constraints | 80 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":80}] |
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-4404267-1569010857.xml" -tl '20160s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404267-1569010857.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 10.09/4.43 c solve instance... 11.26/4.61 s SATISFIABLE 11.26/4.61 v <instantiation> 11.26/4.61 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][6] x[0][7] x[0][8] x[0][9] 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][7] x[1][8] x[1][9] 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][7] 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][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][0] x[4][1] x[4][2] x[4][4] x[4][5] x[4][6] x[4][7] x[4][9] x[4][10] x[4][11] x[5][3] x[5][4] x[5][5] x[5][6] x[5][8] x[5][9] x[5][10] 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][7] x[6][8] x[6][9] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][6] x[7][7] x[7][8] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][5] x[8][6] x[8][7] 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][4] x[9][5] x[9][6] x[9][8] x[9][9] x[9][10] x[9][11] x[10][3] x[10][4] x[10][5] x[10][7] x[10][8] x[10][9] x[10][10] x[10][12] x[10][13] x[10][14] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] 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][7] 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][5] x[13][6] x[13][7] 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][5] x[14][6] x[14][7] x[14][8] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] </list> 11.26/4.61 v <values>11 8 0 17 3 25 0 17 1 18 2 8 0 4 13 2 14 20 17 0 6 4 0 0 11 14 8 2 14 13 19 17 0 17 8 0 18 18 8 14 13 18 7 20 4 4 2 0 11 2 0 17 4 20 18 4 0 8 18 3 0 1 4 17 0 18 2 0 6 4 2 0 18 1 2 6 2 0 2 0 1 4 2 0 1 3 0 7 20 0 1 0 2 0 2 0 1 3 0 13 0 4 4 1 11 0 2 0 1 3 0 19 2 7 0 12 4 11 2 0 1 3 4 2 0 2 0 11 11 20 6 4 4 17 4 0 11 1 8 13 4 0 8 13 4 0 1 0 19 1 0 17 17 0 13 2 0 1 4 17 12 4 9 0 1 8 17 17 3 4 6 0 17 13 8 17 0 8 4 19 17 4 14 18 4 17 1 4 19 7 4 </values> 11.26/4.61 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 (7057 MiB free) memory of node 1: 16384 MiB (8350 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404267-1569010857/watcher-4404267-1569010857 -o /var/tmp/evaluation-result-4404267-1569010857/solver-4404267-1569010857 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 707663967 HOME/instance-4404267-1569010857.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=12861, runsolver pid=12858 Current StackSize limit: 8192 KiB [startup+0.100099 s]* /proc/loadavg: 8.02 8.31 8.32 3/211 12882 /proc/meminfo: memFree=15759992/32770624 swapFree=66976740/67108860 [pid=12861] ppid=12858 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12861/stat : 12861 (xcsp3-exec) S 12858 12861 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477025844 115843072 363 33554432000 4194304 5098028 140725394151792 140725394149896 140356293341820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140725394154322 140725394154581 140725394154581 140725394157510 0 /proc/12861/statm: 28282 363 304 221 0 87 0 [pid=12863] ppid=12861 vsize=28227396 memory=29820 CPUtime=0.13 cores=0-7 /proc/12863/stat : 12863 (java) S 12861 12861 11640 0 -1 1077944320 5926 0 0 0 12 1 0 0 20 0 20 0 477025844 28904853504 7455 33554432000 4194304 4196468 140733633663232 140733633645776 140667984854775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 /proc/12863/statm: 7056849 7455 3122 1 0 7019032 0 [pid=12863/tid=12864] ppid=12861 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/12863/task/12864/stat : 12864 (java) R 12861 12861 11640 0 -1 4202560 3843 0 0 0 9 0 0 0 20 0 20 0 477025844 28904853504 7455 33554432000 4194304 4196468 140733633663232 140667989080736 140667965680816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12865] ppid=12861 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/12863/task/12865/stat : 12865 (java) S 12861 12861 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 7455 33554432000 4194304 4196468 140733633663232 140667904706832 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12866] ppid=12861 vsize=28227396 memory=140087543223936 CPUtime=0 cores=0-7 /proc/12863/task/12866/stat : 12866 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 7455 33554432000 4194304 4196468 140733633663232 140667903654288 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12867] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12867/stat : 12867 (java) S 12861 12861 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 7455 33554432000 4194304 4196468 140733633663232 140667902601744 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12868] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12868/stat : 12868 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 7455 33554432000 4194304 4196468 140733633663232 140667901549200 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12869] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12869/stat : 12869 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 7455 33554432000 4194304 4196468 140733633663232 140667900496656 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12870] ppid=12861 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12863/task/12870/stat : 12870 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 7455 33554432000 4194304 4196468 140733633663232 140667899444112 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12871] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12871/stat : 12871 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 7455 33554432000 4194304 4196468 140733633663232 140667898391568 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12872] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12872/stat : 12872 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 7455 33554432000 4194304 4196468 140733633663232 140667528535184 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12873] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12873/stat : 12873 (java) S 12861 12861 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477025847 28904853504 7455 33554432000 4194304 4196468 140733633663232 140666631841776 140667984865922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12874] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12874/stat : 12874 (java) S 12861 12861 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477025847 28904853504 7455 33554432000 4194304 4196468 140733633663232 140666630788000 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12875] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12875/stat : 12875 (java) S 12861 12861 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477025847 28904853504 7455 33554432000 4194304 4196468 140733633663232 140666629735408 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12876] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12876/stat : 12876 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28904853504 7455 33554432000 4194304 4196468 140733633663232 140666628683984 140667984873371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12877] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12877/stat : 12877 (java) S 12861 12861 11640 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 477025850 28904853504 7455 33554432000 4194304 4196468 140733633663232 140666627631600 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12878] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12878/stat : 12878 (java) S 12861 12861 11640 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 477025850 28904853504 7455 33554432000 4194304 4196468 140733633663232 140666626579056 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12879] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12879/stat : 12879 (java) R 12861 12861 11640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 477025850 28904853504 7455 33554432000 4194304 4196468 140733633663232 140666625526512 140667968266976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12880] ppid=12861 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/12863/task/12880/stat : 12880 (java) R 12861 12861 11640 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 477025850 28904853504 7455 33554432000 4194304 4196468 140733633663232 140666624473968 140667984866710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12881] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12881/stat : 12881 (java) S 12861 12861 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477025850 28904853504 7455 33554432000 4194304 4196468 140733633663232 140666623420640 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12882] ppid=12861 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12863/task/12882/stat : 12882 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28904853504 7455 33554432000 4194304 4196468 140733633663232 140666236692912 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31272 KiB [startup+0.210407 s]* /proc/loadavg: 8.02 8.31 8.32 3/211 12882 /proc/meminfo: memFree=15747484/32770624 swapFree=66976740/67108860 [pid=12861] ppid=12858 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12861/stat : 12861 (xcsp3-exec) S 12858 12861 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477025844 115843072 363 33554432000 4194304 5098028 140725394151792 140725394149896 140356293341820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140725394154322 140725394154581 140725394154581 140725394157510 0 /proc/12861/statm: 28282 363 304 221 0 87 0 [pid=12863] ppid=12861 vsize=28227396 memory=41108 CPUtime=0.34 cores=0-7 /proc/12863/stat : 12863 (java) S 12861 12861 11640 0 -1 1077944320 9490 0 0 0 31 3 0 0 20 0 20 0 477025844 28904853504 10277 33554432000 4194304 4196468 140733633663232 140733633645776 140667984854775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 /proc/12863/statm: 7056849 10277 3301 1 0 7019032 0 [pid=12863/tid=12864] ppid=12861 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/12863/task/12864/stat : 12864 (java) R 12861 12861 11640 0 -1 4202560 6672 0 0 0 18 2 0 0 20 0 20 0 477025844 28904853504 10277 33554432000 4194304 4196468 140733633663232 140667989088512 140667984876701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12865] ppid=12861 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/12863/task/12865/stat : 12865 (java) S 12861 12861 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 10277 33554432000 4194304 4196468 140733633663232 140667904706832 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12866] ppid=12861 vsize=28227396 memory=3834167035982796448 CPUtime=0 cores=0-7 /proc/12863/task/12866/stat : 12866 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 10277 33554432000 4194304 4196468 140733633663232 140667903654288 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12867] ppid=12861 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12863/task/12867/stat : 12867 (java) S 12861 12861 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 10277 33554432000 4194304 4196468 140733633663232 140667902601744 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12868] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12868/stat : 12868 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 10277 33554432000 4194304 4196468 140733633663232 140667901549200 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12869] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12869/stat : 12869 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 10277 33554432000 4194304 4196468 140733633663232 140667900496656 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12870] ppid=12861 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12863/task/12870/stat : 12870 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 10277 33554432000 4194304 4196468 140733633663232 140667899444112 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12871] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12871/stat : 12871 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 10277 33554432000 4194304 4196468 140733633663232 140667898391568 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12872] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12872/stat : 12872 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28904853504 10277 33554432000 4194304 4196468 140733633663232 140667528535184 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12873] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12873/stat : 12873 (java) S 12861 12861 11640 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 477025847 28904853504 10277 33554432000 4194304 4196468 140733633663232 140666631841776 140667984865922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12874] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12874/stat : 12874 (java) S 12861 12861 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477025847 28904853504 10277 33554432000 4194304 4196468 140733633663232 140666630788000 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12875] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12875/stat : 12875 (java) S 12861 12861 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477025847 28904853504 10277 33554432000 4194304 4196468 140733633663232 140666629735408 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12876] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12876/stat : 12876 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28904853504 10277 33554432000 4194304 4196468 140733633663232 140666628683984 140667984873371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12877] ppid=12861 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12863/task/12877/stat : 12877 (java) S 12861 12861 11640 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 20 0 477025850 28904853504 10277 33554432000 4194304 4196468 140733633663232 140666627631600 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12878] ppid=12861 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/12863/task/12878/stat : 12878 (java) S 12861 12861 11640 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 477025850 28904853504 10277 33554432000 4194304 4196468 140733633663232 140666626579056 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12879] ppid=12861 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/12863/task/12879/stat : 12879 (java) S 12861 12861 11640 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 477025850 28904853504 10277 33554432000 4194304 4196468 140733633663232 140666625526512 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12880] ppid=12861 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/12863/task/12880/stat : 12880 (java) R 12861 12861 11640 0 -1 4202560 752 0 0 0 8 0 0 0 20 0 20 0 477025850 28904853504 10277 33554432000 4194304 4196468 140733633663232 140666624473776 140667963989232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12881] ppid=12861 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12881/stat : 12881 (java) S 12861 12861 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477025850 28904853504 10277 33554432000 4194304 4196468 140733633663232 140666623420640 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12882] ppid=12861 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12863/task/12882/stat : 12882 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28904853504 10277 33554432000 4194304 4196468 140733633663232 140666236692912 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42560 KiB [startup+0.317403 s]* /proc/loadavg: 8.02 8.31 8.32 3/211 12882 /proc/meminfo: memFree=15742032/32770624 swapFree=66976740/67108860 [pid=12861] ppid=12858 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12861/stat : 12861 (xcsp3-exec) S 12858 12861 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477025844 115843072 363 33554432000 4194304 5098028 140725394151792 140725394149896 140356293341820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140725394154322 140725394154581 140725394154581 140725394157510 0 /proc/12861/statm: 28282 363 304 221 0 87 0 [pid=12863] ppid=12861 vsize=28231652 memory=50356 CPUtime=0.54 cores=0-7 /proc/12863/stat : 12863 (java) S 12861 12861 11640 0 -1 1077944320 10961 0 0 0 50 4 0 0 20 0 20 0 477025844 28909211648 12589 33554432000 4194304 4196468 140733633663232 140733633645776 140667984854775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 /proc/12863/statm: 7057913 12589 3371 1 0 7019032 0 [pid=12863/tid=12864] ppid=12861 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/12863/task/12864/stat : 12864 (java) R 12861 12861 11640 0 -1 4202560 7929 0 0 0 28 2 0 0 20 0 20 0 477025844 28909211648 12654 33554432000 4194304 4196468 140733633663232 140667989085888 140667968935262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12865] ppid=12861 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12865/stat : 12865 (java) S 12861 12861 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477025845 28909211648 12654 33554432000 4194304 4196468 140733633663232 140667904706832 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12866] ppid=12861 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12866/stat : 12866 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28909211648 12654 33554432000 4194304 4196468 140733633663232 140667903654288 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12867] ppid=12861 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12867/stat : 12867 (java) S 12861 12861 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477025845 28909211648 12654 33554432000 4194304 4196468 140733633663232 140667902601744 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12868] ppid=12861 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12868/stat : 12868 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28909211648 12654 33554432000 4194304 4196468 140733633663232 140667901549200 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12869] ppid=12861 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/12863/task/12869/stat : 12869 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28909211648 12654 33554432000 4194304 4196468 140733633663232 140667900496656 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12870] ppid=12861 vsize=28231652 memory=140087404884911 CPUtime=0 cores=0-7 /proc/12863/task/12870/stat : 12870 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28909211648 12654 33554432000 4194304 4196468 140733633663232 140667899444112 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12871] ppid=12861 vsize=28231652 memory=140087404887216 CPUtime=0 cores=0-7 /proc/12863/task/12871/stat : 12871 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28909211648 12654 33554432000 4194304 4196468 140733633663232 140667898391568 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12872] ppid=12861 vsize=28231652 memory=140087404889520 CPUtime=0 cores=0-7 /proc/12863/task/12872/stat : 12872 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025845 28909211648 12654 33554432000 4194304 4196468 140733633663232 140667528535184 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12873] ppid=12861 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12873/stat : 12873 (java) S 12861 12861 11640 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 477025847 28909211648 12654 33554432000 4194304 4196468 140733633663232 140666631841776 140667984865922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12874] ppid=12861 vsize=28231652 memory=280174809786000 CPUtime=0 cores=0-7 /proc/12863/task/12874/stat : 12874 (java) S 12861 12861 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477025847 28909211648 12654 33554432000 4194304 4196468 140733633663232 140666630788000 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12875] ppid=12861 vsize=28231652 memory=280174809792912 CPUtime=0 cores=0-7 /proc/12863/task/12875/stat : 12875 (java) S 12861 12861 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477025847 28909211648 12654 33554432000 4194304 4196468 140733633663232 140666629735408 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12876] ppid=12861 vsize=28231652 memory=280174809734192 CPUtime=0 cores=0-7 /proc/12863/task/12876/stat : 12876 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28909211648 12654 33554432000 4194304 4196468 140733633663232 140666628683984 140667984873371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12877] ppid=12861 vsize=28231652 memory=280174809806736 CPUtime=0.02 cores=0-7 /proc/12863/task/12877/stat : 12877 (java) S 12861 12861 11640 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 20 0 477025850 28909211648 12654 33554432000 4194304 4196468 140733633663232 140666627631600 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12878] ppid=12861 vsize=28231652 memory=280174809813648 CPUtime=0.04 cores=0-7 /proc/12863/task/12878/stat : 12878 (java) S 12861 12861 11640 0 -1 1077944384 397 0 0 0 4 0 0 0 20 0 20 0 477025850 28909211648 12654 33554432000 4194304 4196468 140733633663232 140666626579056 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12879] ppid=12861 vsize=28231652 memory=280174809811344 CPUtime=0.02 cores=0-7 /proc/12863/task/12879/stat : 12879 (java) S 12861 12861 11640 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 20 0 477025850 28909211648 12654 33554432000 4194304 4196468 140733633663232 140666625526512 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12880] ppid=12861 vsize=28231652 memory=280174809827504 CPUtime=0.12 cores=0-7 /proc/12863/task/12880/stat : 12880 (java) S 12861 12861 11640 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 20 0 477025850 28909211648 12654 33554432000 4194304 4196468 140733633663232 140666624473968 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12881] ppid=12861 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12881/stat : 12881 (java) S 12861 12861 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477025850 28909211648 12654 33554432000 4194304 4196468 140733633663232 140666623420640 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12882] ppid=12861 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/12863/task/12882/stat : 12882 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28909211648 12654 33554432000 4194304 4196468 140733633663232 140666236692912 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51808 KiB [startup+0.700992 s] /proc/loadavg: 7.61 8.22 8.29 5/211 12882 /proc/meminfo: memFree=15687388/32770624 swapFree=66976740/67108860 [pid=12861] ppid=12858 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12861/stat : 12861 (xcsp3-exec) S 12858 12861 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477025844 115843072 363 33554432000 4194304 5098028 140725394151792 140725394149896 140356293341820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140725394154322 140725394154581 140725394154581 140725394157510 0 /proc/12861/statm: 28282 363 304 221 0 87 0 [pid=12863] ppid=12861 vsize=28233776 memory=204344 CPUtime=1.66 cores=0-7 /proc/12863/stat : 12863 (java) S 12861 12861 11640 0 -1 1077944320 14262 0 0 0 157 9 0 0 20 0 20 0 477025844 28911386624 51086 33554432000 4194304 4196468 140733633663232 140733633645776 140667984854775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 /proc/12863/statm: 7058444 51086 3457 1 0 7019544 0 [pid=12863/tid=12864] ppid=12861 vsize=28233776 memory=280174810185392 CPUtime=0.66 cores=0-7 /proc/12863/task/12864/stat : 12864 (java) R 12861 12861 11640 0 -1 4202560 8389 0 0 0 62 4 0 0 20 0 20 0 477025844 28911386624 51086 33554432000 4194304 4196468 140733633663232 140667989092032 140667580806181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12865] ppid=12861 vsize=28233776 memory=140087405093744 CPUtime=0 cores=0-7 /proc/12863/task/12865/stat : 12865 (java) S 12861 12861 11640 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 477025845 28911386624 51086 33554432000 4194304 4196468 140733633663232 140667904706832 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12866] ppid=12861 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12866/stat : 12866 (java) S 12861 12861 11640 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 477025845 28911386624 51086 33554432000 4194304 4196468 140733633663232 140667903654288 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12867] ppid=12861 vsize=28233776 memory=1060 CPUtime=0 cores=0-7 /proc/12863/task/12867/stat : 12867 (java) S 12861 12861 11640 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 477025845 28911386624 51086 33554432000 4194304 4196468 140733633663232 140667902601744 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 ################ # More data... # ################ /proc/12863/task/12881/stat : 12881 (java) S 12861 12861 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477025850 28911386624 255142 33554432000 4194304 4196468 140733633663232 140666623420640 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12882] ppid=12861 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12882/stat : 12882 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28911386624 255142 33554432000 4194304 4196468 140733633663232 140666236692912 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 Current children cumulated CPU time: 7.6 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 1022020 KiB [startup+4.00101 s]* /proc/loadavg: 7.61 8.22 8.29 2/211 12882 /proc/meminfo: memFree=14521556/32770624 swapFree=66976740/67108860 [pid=12861] ppid=12858 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12861/stat : 12861 (xcsp3-exec) S 12858 12861 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477025844 115843072 363 33554432000 4194304 5098028 140725394151792 140725394149896 140356293341820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140725394154322 140725394154581 140725394154581 140725394157510 0 /proc/12861/statm: 28282 363 304 221 0 87 0 [pid=12863] ppid=12861 vsize=28233776 memory=1277556 CPUtime=8.58 cores=0-7 /proc/12863/stat : 12863 (java) S 12861 12861 11640 0 -1 1077944320 20616 0 0 0 714 144 0 0 20 0 20 0 477025844 28911386624 319389 33554432000 4194304 4196468 140733633663232 140733633645776 140667984854775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 /proc/12863/statm: 7058444 319389 3503 1 0 7019544 0 [pid=12863/tid=12864] ppid=12861 vsize=28233776 memory=6791534058613427641 CPUtime=3.51 cores=0-7 /proc/12863/task/12864/stat : 12864 (java) S 12861 12861 11640 0 -1 1077944384 10011 0 0 0 336 15 0 0 20 0 20 0 477025844 28911386624 319901 33554432000 4194304 4196468 140733633663232 140667989092032 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12865] ppid=12861 vsize=28233776 memory=4872558044660077418 CPUtime=0.38 cores=0-7 /proc/12863/task/12865/stat : 12865 (java) R 12861 12861 11640 0 -1 4202560 347 0 0 0 23 15 0 0 20 0 20 0 477025845 28911386624 319901 33554432000 4194304 4196468 140733633663232 140667904706832 140667977951619 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12866] ppid=12861 vsize=28233776 memory=4049730724128934895 CPUtime=0.38 cores=0-7 /proc/12863/task/12866/stat : 12866 (java) R 12861 12861 11640 0 -1 4202560 318 0 0 0 21 17 0 0 20 0 20 0 477025845 28911386624 319901 33554432000 4194304 4196468 140733633663232 140667903654288 140667966480717 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12867] ppid=12861 vsize=28233776 memory=4919630844377696559 CPUtime=0.38 cores=0-7 /proc/12863/task/12867/stat : 12867 (java) R 12861 12861 11640 0 -1 4202560 309 0 0 0 22 16 0 0 20 0 20 0 477025845 28911386624 319901 33554432000 4194304 4196468 140733633663232 140667902601744 140667969882188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12868] ppid=12861 vsize=28233776 memory=-8985395855772247728 CPUtime=0.36 cores=0-7 /proc/12863/task/12868/stat : 12868 (java) R 12861 12861 11640 0 -1 1077944384 382 0 0 0 22 14 0 0 20 0 20 0 477025845 28911386624 319901 33554432000 4194304 4196468 140733633663232 140667901549200 140667984864981 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12869] ppid=12861 vsize=28233776 memory=4486599637793467488 CPUtime=0.37 cores=0-7 /proc/12863/task/12869/stat : 12869 (java) R 12861 12861 11640 0 -1 4202560 264 0 0 0 22 15 0 0 20 0 20 0 477025845 28911386624 319901 33554432000 4194304 4196468 140733633663232 140667900496656 140667969882649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12870] ppid=12861 vsize=28233776 memory=8243103963152648751 CPUtime=0.38 cores=0-7 /proc/12863/task/12870/stat : 12870 (java) R 12861 12861 11640 0 -1 4202560 360 0 0 0 22 16 0 0 20 0 20 0 477025845 28911386624 319901 33554432000 4194304 4196468 140733633663232 140667899444112 140667969302987 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12871] ppid=12861 vsize=28233776 memory=-7740988957824940410 CPUtime=0.38 cores=0-7 /proc/12863/task/12871/stat : 12871 (java) R 12861 12861 11640 0 -1 4202560 567 0 0 0 24 14 0 0 20 0 20 0 477025845 28911386624 319901 33554432000 4194304 4196468 140733633663232 140667898391568 140667969882640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12872] ppid=12861 vsize=28233776 memory=-7596047906428975480 CPUtime=0.37 cores=0-7 /proc/12863/task/12872/stat : 12872 (java) R 12861 12861 11640 0 -1 4202560 421 0 0 0 23 14 0 0 20 0 20 0 477025845 28911386624 319901 33554432000 4194304 4196468 140733633663232 140667528535184 140667969882640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12873] ppid=12861 vsize=28233776 memory=0 CPUtime=0.08 cores=0-7 /proc/12863/task/12873/stat : 12873 (java) S 12861 12861 11640 0 -1 1077944384 782 0 0 0 8 0 0 0 20 0 20 0 477025847 28911386624 319901 33554432000 4194304 4196468 140733633663232 140666631840288 140667984864981 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12874] ppid=12861 vsize=28233776 memory=-6943855650595571281 CPUtime=0 cores=0-7 /proc/12863/task/12874/stat : 12874 (java) S 12861 12861 11640 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 477025847 28911386624 319901 33554432000 4194304 4196468 140733633663232 140666630788064 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12875] ppid=12861 vsize=28233776 memory=1452 CPUtime=0 cores=0-7 /proc/12863/task/12875/stat : 12875 (java) S 12861 12861 11640 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 477025847 28911386624 319901 33554432000 4194304 4196468 140733633663232 140666629735424 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12876] ppid=12861 vsize=28233776 memory=878572 CPUtime=0 cores=0-7 /proc/12863/task/12876/stat : 12876 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28911386624 319901 33554432000 4194304 4196468 140733633663232 140666628683984 140667984873371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12877] ppid=12861 vsize=28233776 memory=6944656591801717918 CPUtime=0.49 cores=0-7 /proc/12863/task/12877/stat : 12877 (java) S 12861 12861 11640 0 -1 1077944384 1624 0 0 0 49 0 0 0 20 0 20 0 477025850 28911386624 319901 33554432000 4194304 4196468 140733633663232 140666627631600 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12878] ppid=12861 vsize=28233776 memory=-7384994778349281184 CPUtime=0.47 cores=0-7 /proc/12863/task/12878/stat : 12878 (java) S 12861 12861 11640 0 -1 1077944384 1139 0 0 0 47 0 0 0 20 0 20 0 477025850 28911386624 319901 33554432000 4194304 4196468 140733633663232 140666626579056 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12879] ppid=12861 vsize=28233776 memory=7681905605394137914 CPUtime=0.43 cores=0-7 /proc/12863/task/12879/stat : 12879 (java) S 12861 12861 11640 0 -1 1077944384 881 0 0 0 43 0 0 0 20 0 20 0 477025850 28911386624 319901 33554432000 4194304 4196468 140733633663232 140666625526512 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12880] ppid=12861 vsize=28233776 memory=-7522837583129502606 CPUtime=0.48 cores=0-7 /proc/12863/task/12880/stat : 12880 (java) S 12861 12861 11640 0 -1 1077944384 1924 0 0 0 47 1 0 0 20 0 20 0 477025850 28911386624 319901 33554432000 4194304 4196468 140733633663232 140666624473968 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12881] ppid=12861 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12881/stat : 12881 (java) S 12861 12861 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477025850 28911386624 319901 33554432000 4194304 4196468 140733633663232 140666623420640 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12882] ppid=12861 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12863/task/12882/stat : 12882 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28911386624 319901 33554432000 4194304 4196468 140733633663232 140666236692912 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 Current children cumulated CPU time: 8.58 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 1279008 KiB [startup+4.401 s] /proc/loadavg: 7.61 8.22 8.29 2/211 12882 /proc/meminfo: memFree=14521556/32770624 swapFree=66976740/67108860 [pid=12861] ppid=12858 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12861/stat : 12861 (xcsp3-exec) S 12858 12861 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477025844 115843072 363 33554432000 4194304 5098028 140725394151792 140725394149896 140356293341820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140725394154322 140725394154581 140725394154581 140725394157510 0 /proc/12861/statm: 28282 363 304 221 0 87 0 [pid=12863] ppid=12861 vsize=28233776 memory=1534376 CPUtime=10.09 cores=0-7 /proc/12863/stat : 12863 (java) S 12861 12861 11640 0 -1 1077944320 22386 0 0 0 793 216 0 0 20 0 20 0 477025844 28911386624 383594 33554432000 4194304 4196468 140733633663232 140733633645776 140667984854775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 /proc/12863/statm: 7058444 383594 3503 1 0 7019544 0 [pid=12863/tid=12864] ppid=12861 vsize=28233776 memory=57422169246442 CPUtime=3.74 cores=0-7 /proc/12863/task/12864/stat : 12864 (java) R 12861 12861 11640 0 -1 4202560 10012 0 0 0 359 15 0 0 20 0 20 0 477025844 28911386624 383594 33554432000 4194304 4196468 140733633663232 140667989091352 140667581697503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12865] ppid=12861 vsize=28233776 memory=57422169246442 CPUtime=0.53 cores=0-7 /proc/12863/task/12865/stat : 12865 (java) S 12861 12861 11640 0 -1 1077944384 467 0 0 0 30 23 0 0 20 0 20 0 477025845 28911386624 383594 33554432000 4194304 4196468 140733633663232 140667904706832 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12866] ppid=12861 vsize=28233776 memory=57422169246442 CPUtime=0.54 cores=0-7 /proc/12863/task/12866/stat : 12866 (java) S 12861 12861 11640 0 -1 1077944384 449 0 0 0 28 26 0 0 20 0 20 0 477025845 28911386624 383594 33554432000 4194304 4196468 140733633663232 140667903654288 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12867] ppid=12861 vsize=28233776 memory=57422169246186 CPUtime=0.54 cores=0-7 /proc/12863/task/12867/stat : 12867 (java) S 12861 12861 11640 0 -1 1077944384 429 0 0 0 29 25 0 0 20 0 20 0 477025845 28911386624 383594 33554432000 4194304 4196468 140733633663232 140667902601744 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12868] ppid=12861 vsize=28233776 memory=0 CPUtime=0.52 cores=0-7 /proc/12863/task/12868/stat : 12868 (java) S 12861 12861 11640 0 -1 1077944384 522 0 0 0 28 24 0 0 20 0 20 0 477025845 28911386624 383594 33554432000 4194304 4196468 140733633663232 140667901549200 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12869] ppid=12861 vsize=28233776 memory=7591222262165367143 CPUtime=0.52 cores=0-7 /proc/12863/task/12869/stat : 12869 (java) S 12861 12861 11640 0 -1 1077944384 385 0 0 0 29 23 0 0 20 0 20 0 477025845 28911386624 383594 33554432000 4194304 4196468 140733633663232 140667900496656 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12870] ppid=12861 vsize=28233776 memory=7589244249270084457 CPUtime=0.53 cores=0-7 /proc/12863/task/12870/stat : 12870 (java) S 12861 12861 11640 0 -1 1077944384 975 0 0 0 27 26 0 0 20 0 20 0 477025845 28911386624 383594 33554432000 4194304 4196468 140733633663232 140667899444112 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12871] ppid=12861 vsize=28233776 memory=7301582298768758373 CPUtime=0.53 cores=0-7 /proc/12863/task/12871/stat : 12871 (java) S 12861 12861 11640 0 -1 1077944384 687 0 0 0 30 23 0 0 20 0 20 0 477025845 28911386624 383594 33554432000 4194304 4196468 140733633663232 140667898391568 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12872] ppid=12861 vsize=28233776 memory=5795117241467496816 CPUtime=0.53 cores=0-7 /proc/12863/task/12872/stat : 12872 (java) S 12861 12861 11640 0 -1 1077944384 541 0 0 0 30 23 0 0 20 0 20 0 477025845 28911386624 383594 33554432000 4194304 4196468 140733633663232 140667528535184 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12873] ppid=12861 vsize=28233776 memory=7019257425709197167 CPUtime=0.08 cores=0-7 /proc/12863/task/12873/stat : 12873 (java) S 12861 12861 11640 0 -1 1077944384 1045 0 0 0 8 0 0 0 20 0 20 0 477025847 28911386624 383594 33554432000 4194304 4196468 140733633663232 140666631841776 140667984865922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12874] ppid=12861 vsize=28233776 memory=7805107935084827477 CPUtime=0 cores=0-7 /proc/12863/task/12874/stat : 12874 (java) S 12861 12861 11640 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 477025847 28911386624 383594 33554432000 4194304 4196468 140733633663232 140666630788064 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12875] ppid=12861 vsize=28233776 memory=7236547281622689387 CPUtime=0 cores=0-7 /proc/12863/task/12875/stat : 12875 (java) S 12861 12861 11640 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 477025847 28911386624 383594 33554432000 4194304 4196468 140733633663232 140666629735424 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12876] ppid=12861 vsize=28233776 memory=7444843076533644388 CPUtime=0 cores=0-7 /proc/12863/task/12876/stat : 12876 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28911386624 383594 33554432000 4194304 4196468 140733633663232 140666628683984 140667984873371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12877] ppid=12861 vsize=28233776 memory=5859271421084390760 CPUtime=0.5 cores=0-7 /proc/12863/task/12877/stat : 12877 (java) S 12861 12861 11640 0 -1 1077944384 1624 0 0 0 50 0 0 0 20 0 20 0 477025850 28911386624 383594 33554432000 4194304 4196468 140733633663232 140666627631600 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12878] ppid=12861 vsize=28233776 memory=7523071198212214892 CPUtime=0.47 cores=0-7 /proc/12863/task/12878/stat : 12878 (java) S 12861 12861 11640 0 -1 1077944384 1143 0 0 0 47 0 0 0 20 0 20 0 477025850 28911386624 383594 33554432000 4194304 4196468 140733633663232 140666626579056 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12879] ppid=12861 vsize=28233776 memory=5788626802952987989 CPUtime=0.43 cores=0-7 /proc/12863/task/12879/stat : 12879 (java) S 12861 12861 11640 0 -1 1077944384 881 0 0 0 43 0 0 0 20 0 20 0 477025850 28911386624 383594 33554432000 4194304 4196468 140733633663232 140666625526512 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12880] ppid=12861 vsize=28233776 memory=1452 CPUtime=0.49 cores=0-7 /proc/12863/task/12880/stat : 12880 (java) S 12861 12861 11640 0 -1 1077944384 1926 0 0 0 48 1 0 0 20 0 20 0 477025850 28911386624 383594 33554432000 4194304 4196468 140733633663232 140666624473968 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12881] ppid=12861 vsize=28233776 memory=1095508 CPUtime=0 cores=0-7 /proc/12863/task/12881/stat : 12881 (java) S 12861 12861 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477025850 28911386624 383594 33554432000 4194304 4196468 140733633663232 140666623420640 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12882] ppid=12861 vsize=28233776 memory=3636 CPUtime=0 cores=0-7 /proc/12863/task/12882/stat : 12882 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477025850 28911386624 383594 33554432000 4194304 4196468 140733633663232 140666236692912 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 Current children cumulated CPU time: 10.09 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 1535828 KiB [startup+4.60141 s] /proc/loadavg: 7.61 8.22 8.29 2/211 12882 /proc/meminfo: memFree=14521556/32770624 swapFree=66976740/67108860 [pid=12861] ppid=12858 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12861/stat : 12861 (xcsp3-exec) S 12858 12861 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477025844 115843072 363 33554432000 4194304 5098028 140725394151792 140725394149896 140356293341820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15253504 140725394154322 140725394154581 140725394154581 140725394157510 0 /proc/12861/statm: 28282 363 304 221 0 87 0 [pid=12863] ppid=12861 vsize=28766288 memory=1535376 CPUtime=11.26 cores=0-7 /proc/12863/stat : 12863 (java) S 12861 12861 11640 0 -1 1077944320 23000 0 0 0 909 217 0 0 20 0 28 0 477025844 29456678912 383844 33554432000 4194304 4196468 140733633663232 140733633645776 140667984854775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 /proc/12863/statm: 7191572 383844 3503 1 0 7152672 0 [pid=12863/tid=12864] ppid=12861 vsize=28766288 memory=6944656592455360604 CPUtime=3.79 cores=0-7 /proc/12863/task/12864/stat : 12864 (java) S 12861 12861 11640 0 -1 1077944384 10097 0 0 0 364 15 0 0 20 0 28 0 477025844 29456678912 383844 33554432000 4194304 4196468 140733633663232 140667989095552 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12865] ppid=12861 vsize=28766288 memory=6944656592455097440 CPUtime=0.53 cores=0-7 /proc/12863/task/12865/stat : 12865 (java) S 12861 12861 11640 0 -1 1077944384 467 0 0 0 30 23 0 0 20 0 28 0 477025845 29456678912 383844 33554432000 4194304 4196468 140733633663232 140667904706832 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12866] ppid=12861 vsize=28766288 memory=6944652177228980320 CPUtime=0.54 cores=0-7 /proc/12863/task/12866/stat : 12866 (java) S 12861 12861 11640 0 -1 1077944384 449 0 0 0 28 26 0 0 20 0 28 0 477025845 29456678912 383844 33554432000 4194304 4196468 140733633663232 140667903654288 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12867] ppid=12861 vsize=28766288 memory=6944656592455360604 CPUtime=0.54 cores=0-7 /proc/12863/task/12867/stat : 12867 (java) S 12861 12861 11640 0 -1 1077944384 429 0 0 0 29 25 0 0 20 0 28 0 477025845 29456678912 383844 33554432000 4194304 4196468 140733633663232 140667902601744 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12868] ppid=12861 vsize=28766288 memory=6944656592455360604 CPUtime=0.52 cores=0-7 /proc/12863/task/12868/stat : 12868 (java) S 12861 12861 11640 0 -1 1077944384 522 0 0 0 28 24 0 0 20 0 28 0 477025845 29456678912 383844 33554432000 4194304 4196468 140733633663232 140667901549200 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12869] ppid=12861 vsize=28766288 memory=6944656592455359580 CPUtime=0.52 cores=0-7 /proc/12863/task/12869/stat : 12869 (java) S 12861 12861 11640 0 -1 1077944384 385 0 0 0 29 23 0 0 20 0 28 0 477025845 29456678912 383844 33554432000 4194304 4196468 140733633663232 140667900496656 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12870] ppid=12861 vsize=28766288 memory=0 CPUtime=0.53 cores=0-7 /proc/12863/task/12870/stat : 12870 (java) S 12861 12861 11640 0 -1 1077944384 975 0 0 0 27 26 0 0 20 0 28 0 477025845 29456678912 383844 33554432000 4194304 4196468 140733633663232 140667899444112 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12871] ppid=12861 vsize=28766288 memory=667680 CPUtime=0.53 cores=0-7 /proc/12863/task/12871/stat : 12871 (java) S 12861 12861 11640 0 -1 1077944384 687 0 0 0 30 23 0 0 20 0 28 0 477025845 29456678912 383844 33554432000 4194304 4196468 140733633663232 140667898391568 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12872] ppid=12861 vsize=28766288 memory=0 CPUtime=0.53 cores=0-7 /proc/12863/task/12872/stat : 12872 (java) S 12861 12861 11640 0 -1 1077944384 541 0 0 0 30 23 0 0 20 0 28 0 477025845 29456678912 383844 33554432000 4194304 4196468 140733633663232 140667528535184 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12873] ppid=12861 vsize=28766288 memory=280174809583600 CPUtime=0.08 cores=0-7 /proc/12863/task/12873/stat : 12873 (java) S 12861 12861 11640 0 -1 1077944384 1045 0 0 0 8 0 0 0 20 0 28 0 477025847 29456678912 383844 33554432000 4194304 4196468 140733633663232 140666631841776 140667984865922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12874] ppid=12861 vsize=28766288 memory=57400694409962 CPUtime=0 cores=0-7 /proc/12863/task/12874/stat : 12874 (java) S 12861 12861 11640 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477025847 29456678912 383844 33554432000 4194304 4196468 140733633663232 140666630788064 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12875] ppid=12861 vsize=28766288 memory=57413579311850 CPUtime=0 cores=0-7 /proc/12863/task/12875/stat : 12875 (java) S 12861 12861 11640 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477025847 29456678912 383844 33554432000 4194304 4196468 140733633663232 140666629735424 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12876] ppid=12861 vsize=28766288 memory=57422169246442 CPUtime=0 cores=0-7 /proc/12863/task/12876/stat : 12876 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477025850 29456678912 383844 33554432000 4194304 4196468 140733633663232 140666628683984 140667984873371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12877] ppid=12861 vsize=28766288 memory=57422169246442 CPUtime=0.57 cores=0-7 /proc/12863/task/12877/stat : 12877 (java) D 12861 12861 11640 0 -1 4202560 1655 0 0 0 57 0 0 0 20 0 28 0 477025850 29456678912 383844 33554432000 4194304 4196468 140733633663232 140666627612616 140667977096165 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12878] ppid=12861 vsize=28766288 memory=57422169246442 CPUtime=0.57 cores=0-7 /proc/12863/task/12878/stat : 12878 (java) D 12861 12861 11640 0 -1 4202560 1162 0 0 0 57 0 0 0 20 0 28 0 477025850 29456678912 383844 33554432000 4194304 4196468 140733633663232 140666626565264 140667977144157 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12879] ppid=12861 vsize=28766288 memory=57422169246442 CPUtime=0.5 cores=0-7 /proc/12863/task/12879/stat : 12879 (java) D 12861 12861 11640 0 -1 4202560 922 0 0 0 50 0 0 0 20 0 28 0 477025850 29456678912 383844 33554432000 4194304 4196468 140733633663232 140666625511176 140667969957189 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12880] ppid=12861 vsize=28766288 memory=57422169246442 CPUtime=0.52 cores=0-7 /proc/12863/task/12880/stat : 12880 (java) R 12861 12861 11640 0 -1 4202560 2029 0 0 0 51 1 0 0 20 0 28 0 477025850 29456678912 383844 33554432000 4194304 4196468 140733633663232 140666624470264 140667977571927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12881] ppid=12861 vsize=28766288 memory=57422169246442 CPUtime=0 cores=0-7 /proc/12863/task/12881/stat : 12881 (java) S 12861 12861 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477025850 29456678912 383844 33554432000 4194304 4196468 140733633663232 140666623420640 140667984864981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 [pid=12863/tid=12882] ppid=12861 vsize=28766288 memory=57422169246442 CPUtime=0 cores=0-7 /proc/12863/task/12882/stat : 12882 (java) S 12861 12861 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477025850 29456678912 383844 33554432000 4194304 4196468 140733633663232 140666236692912 140667984865922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24387584 140733633672150 140733633672326 140733633672326 140733633675215 0 Current children cumulated CPU time: 11.26 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 1536828 KiB Child status: 0 Real time (s): 4.64023 CPU time (s): 11.3842 CPU user time (s): 9.19419 CPU system time (s): 2.19002 CPU usage (%): 245.337 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 1536828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.19419 system time used= 2.19002 maximum resident set size= 1538256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23907 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3896 involuntary context switches= 108 # summary of solver processes directly reported to runsolver: # pid: 12861 # total CPU time (s): 11.3842 # total CPU user time (s): 9.19419 # total CPU system time (s): 2.19002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.063457 second user time and 0.082779 second system time The end
Begin job on node124 at 2019-09-20 22:20:17 IDJOB=4404267 IDBENCH=139919 IDSOLVER=2865 FILE ID=node124/4404267-1569010857 RUNJOBID= node124-1569005314-11667 PBS_JOBID= 21704756 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h1502.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 /var/tmp/evaluation-result-4404267-1569010857/watcher-4404267-1569010857 -o /var/tmp/evaluation-result-4404267-1569010857/solver-4404267-1569010857 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 707663967 HOME/instance-4404267-1569010857.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f196bcf8028f955a9b1a207c833066c3 RANDOM SEED=707663967 node124.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.47 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.47 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.47 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.47 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: 15778268 kB MemAvailable: 31820836 kB Buffers: 141920 kB Cached: 15846268 kB SwapCached: 28940 kB Active: 7959292 kB Inactive: 8064420 kB Active(anon): 4252 kB Inactive(anon): 80500 kB Active(file): 7955040 kB Inactive(file): 7983920 kB Unevictable: 108080 kB Mlocked: 108080 kB SwapTotal: 67108860 kB SwapFree: 66976740 kB Dirty: 29788 kB Writeback: 0 kB AnonPages: 129332 kB Mapped: 52568 kB Shmem: 40884 kB Slab: 560372 kB SReclaimable: 532068 kB SUnreclaim: 28304 kB KernelStack: 3712 kB PageTables: 5748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13484 MiB End job on node124 at 2019-09-20 22:20:22