Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT | 4.81769 | 1.19792 |
Name | Quasigroups/ QuasiGroup-4-09_c18.xml |
MD5SUM | 32889b6f2e93f59096a50faf26931df2 |
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 | 4.81769 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 162 |
Number of constraints | 146 |
Number of domains | 2 |
Minimum domain size | 9 |
Maximum domain size | 81 |
Distribution of domain sizes | [{"size":9,"count":81},{"size":81,"count":72}] |
Minimum variable degree | 0 |
Maximum variable degree | 75 |
Distribution of variable degrees | [{"degree":0,"count":9},{"degree":2,"count":72},{"degree":74,"count":9},{"degree":75,"count":72}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 82 |
Distribution of constraint arities | [{"arity":3,"count":72},{"arity":9,"count":1},{"arity":81,"count":1},{"arity":82,"count":72}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 72 |
Distribution of constraint types | [{"type":"intension","count":72},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":72}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297721-1532730888.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297721-1532730888.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.15/0.85 c solve instance... 4.26/1.18 s SATISFIABLE 4.26/1.18 v <instantiation> 4.26/1.18 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][7] x[0][8] 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[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[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] 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][8] 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[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][0] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][0] y[2][1] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][0] y[3][1] y[3][2] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][0] y[4][1] y[4][2] y[4][3] y[4][5] y[4][6] y[4][7] y[4][8] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][6] y[5][7] y[5][8] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][7] y[6][8] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][8] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] </list> 4.26/1.18 v <values>0 5 1 2 8 4 7 3 6 8 1 0 5 6 7 4 2 3 7 3 2 6 1 8 0 5 4 1 4 5 3 7 2 8 6 0 3 7 6 0 4 1 5 8 2 6 8 4 7 3 5 2 0 1 5 2 8 1 0 3 6 4 7 4 0 3 8 2 6 1 7 5 2 6 7 4 5 0 3 1 8 77 64 11 35 58 52 39 24 53 27 41 69 79 22 2 57 16 3 51 55 44 72 32 67 19 49 59 7 65 17 78 36 75 61 15 63 28 5 26 47 42 71 76 25 12 29 54 1 68 38 8 73 45 21 13 34 31 18 48 62 74 6 37 14 56 33 43 4 23 9 66 46 </values> 4.26/1.18 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 (13550 MiB free) memory of node 1: 16384 MiB (13934 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297721-1532730888/watcher-4297721-1532730888 -o /tmp/evaluation-result-4297721-1532730888/solver-4297721-1532730888 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532728367-18215 --watchdog 2580 HOME/xcsp3-exec -seed 1461128709 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297721-1532730888.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=18407, runsolver pid=18404 Current StackSize limit: 8192 KiB [startup+0.100109 s]* /proc/loadavg: 8.04 8.23 8.29 3/200 18428 /proc/meminfo: memFree=28129620/32770624 swapFree=67108532/67108860 [pid=18407] ppid=18404 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18407/stat : 18407 (xcsp3-exec) S 18404 18407 18188 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90651965 115843072 363 33554432000 4194304 5098028 140732975558272 140732975556376 140410591474300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25808896 140732975563829 140732975564032 140732975564032 140732975566794 0 /proc/18407/statm: 28282 363 305 221 0 87 0 [pid=18409] ppid=18407 vsize=26104152 memory=26892 CPUtime=0.11 cores=0-7 /proc/18409/stat : 18409 (java) S 18407 18407 18188 0 -1 1077944320 5644 0 0 0 10 1 0 0 20 0 20 0 90651965 26730651648 6723 33554432000 4194304 4196468 140720485663152 140720485645696 139683930390263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 /proc/18409/statm: 6526038 6723 3002 1 0 6488315 0 [pid=18409/tid=18410] ppid=18407 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/18409/task/18410/stat : 18410 (java) R 18407 18407 18188 0 -1 4202560 3667 0 0 0 8 0 0 0 20 0 20 0 90651965 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683934616176 139683914470750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18411] ppid=18407 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/18409/task/18411/stat : 18411 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683883011088 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18412] ppid=18407 vsize=26104152 memory=140121181402752 CPUtime=0 cores=0-7 /proc/18409/task/18412/stat : 18412 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683881958544 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18413] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18413/stat : 18413 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683880905488 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18414] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18414/stat : 18414 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683485318032 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18415] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18415/stat : 18415 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683484264976 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18416] ppid=18407 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/18409/task/18416/stat : 18416 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683483212432 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18417] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18417/stat : 18417 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683482159376 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18418] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18418/stat : 18418 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683481106832 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18419] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18419/stat : 18419 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90651967 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683259144944 139683930401410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18420] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18420/stat : 18420 (java) S 18407 18407 18188 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90651968 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683258091168 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18421] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18421/stat : 18421 (java) S 18407 18407 18188 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90651968 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683257038064 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18422] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18422/stat : 18422 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651971 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683255986640 139683930408859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18423] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18423/stat : 18423 (java) S 18407 18407 18188 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 90651971 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683254933744 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18424] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18424/stat : 18424 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651971 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683253881200 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18425] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18425/stat : 18425 (java) S 18407 18407 18188 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 90651971 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683252828144 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18426] ppid=18407 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/18409/task/18426/stat : 18426 (java) R 18407 18407 18188 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 20 0 90651971 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683251775600 139683909344527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18427] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18427/stat : 18427 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651971 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683250723808 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18428] ppid=18407 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/18409/task/18428/stat : 18428 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651971 26730651648 6723 33554432000 4194304 4196468 140720485663152 139683249671344 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28344 KiB [startup+0.210095 s]* /proc/loadavg: 8.04 8.23 8.29 4/200 18428 /proc/meminfo: memFree=28118756/32770624 swapFree=67108532/67108860 [pid=18407] ppid=18404 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18407/stat : 18407 (xcsp3-exec) S 18404 18407 18188 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90651965 115843072 363 33554432000 4194304 5098028 140732975558272 140732975556376 140410591474300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25808896 140732975563829 140732975564032 140732975564032 140732975566794 0 /proc/18407/statm: 28282 363 305 221 0 87 0 [pid=18409] ppid=18407 vsize=26104152 memory=39260 CPUtime=0.34 cores=0-7 /proc/18409/stat : 18409 (java) S 18407 18407 18188 0 -1 1077944320 8472 0 0 0 31 3 0 0 20 0 20 0 90651965 26730651648 9815 33554432000 4194304 4196468 140720485663152 140720485645696 139683930390263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 /proc/18409/statm: 6526038 9815 3166 1 0 6488315 0 [pid=18409/tid=18410] ppid=18407 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/18409/task/18410/stat : 18410 (java) R 18407 18407 18188 0 -1 4202560 5559 0 0 0 18 1 0 0 20 0 20 0 90651965 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683934628080 139683914433940 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18411] ppid=18407 vsize=26104152 memory=339 CPUtime=0 cores=0-7 /proc/18409/task/18411/stat : 18411 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683883011088 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18412] ppid=18407 vsize=26104152 memory=140121181421321 CPUtime=0 cores=0-7 /proc/18409/task/18412/stat : 18412 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683881958544 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18413] ppid=18407 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/18409/task/18413/stat : 18413 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683880905488 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18414] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18414/stat : 18414 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683485318032 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18415] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18415/stat : 18415 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683484264976 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18416] ppid=18407 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/18409/task/18416/stat : 18416 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683483212432 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18417] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18417/stat : 18417 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683482159376 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18418] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18418/stat : 18418 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651966 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683481106832 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18419] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18419/stat : 18419 (java) S 18407 18407 18188 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90651967 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683259144944 139683930401410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18420] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18420/stat : 18420 (java) S 18407 18407 18188 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90651968 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683258091168 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18421] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18421/stat : 18421 (java) S 18407 18407 18188 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90651968 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683257038064 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18422] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18422/stat : 18422 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651971 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683255986640 139683930408859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18423] ppid=18407 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/18409/task/18423/stat : 18423 (java) S 18407 18407 18188 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 90651971 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683254933744 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18424] ppid=18407 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/18409/task/18424/stat : 18424 (java) S 18407 18407 18188 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 90651971 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683253881200 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18425] ppid=18407 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/18409/task/18425/stat : 18425 (java) S 18407 18407 18188 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 20 0 90651971 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683252828144 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18426] ppid=18407 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/18409/task/18426/stat : 18426 (java) S 18407 18407 18188 0 -1 1077944384 792 0 0 0 7 0 0 0 20 0 20 0 90651971 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683251775600 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18427] ppid=18407 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18427/stat : 18427 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651971 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683250723808 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18428] ppid=18407 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/18409/task/18428/stat : 18428 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651971 26730651648 9815 33554432000 4194304 4196468 140720485663152 139683249671344 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40712 KiB [startup+0.309522 s]* /proc/loadavg: 8.04 8.23 8.29 3/200 18428 /proc/meminfo: memFree=28112552/32770624 swapFree=67108532/67108860 [pid=18407] ppid=18404 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18407/stat : 18407 (xcsp3-exec) S 18404 18407 18188 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90651965 115843072 363 33554432000 4194304 5098028 140732975558272 140732975556376 140410591474300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25808896 140732975563829 140732975564032 140732975564032 140732975566794 0 /proc/18407/statm: 28282 363 305 221 0 87 0 [pid=18409] ppid=18407 vsize=26108408 memory=46308 CPUtime=0.52 cores=0-7 /proc/18409/stat : 18409 (java) S 18407 18407 18188 0 -1 1077944320 9311 0 0 0 48 4 0 0 20 0 20 0 90651965 26735009792 11577 33554432000 4194304 4196468 140720485663152 140720485645696 139683930390263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 /proc/18409/statm: 6527102 11577 3242 1 0 6488315 0 [pid=18409/tid=18410] ppid=18407 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/18409/task/18410/stat : 18410 (java) R 18407 18407 18188 0 -1 4202560 6222 0 0 0 27 2 0 0 20 0 20 0 90651965 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683934621376 139683914470750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18411] ppid=18407 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18411/stat : 18411 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683883011088 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18412] ppid=18407 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18412/stat : 18412 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90651966 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683881958544 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18413] ppid=18407 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18413/stat : 18413 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683880905488 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18414] ppid=18407 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18414/stat : 18414 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651966 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683485318032 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18415] ppid=18407 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/18409/task/18415/stat : 18415 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683484264976 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18416] ppid=18407 vsize=26108408 memory=140121026425775 CPUtime=0 cores=0-7 /proc/18409/task/18416/stat : 18416 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90651966 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683483212432 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18417] ppid=18407 vsize=26108408 memory=140121026428080 CPUtime=0 cores=0-7 /proc/18409/task/18417/stat : 18417 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683482159376 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18418] ppid=18407 vsize=26108408 memory=140121026430384 CPUtime=0 cores=0-7 /proc/18409/task/18418/stat : 18418 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651966 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683481106832 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18419] ppid=18407 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18419/stat : 18419 (java) S 18407 18407 18188 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90651967 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683259144944 139683930401410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18420] ppid=18407 vsize=26108408 memory=280242052867728 CPUtime=0 cores=0-7 /proc/18409/task/18420/stat : 18420 (java) S 18407 18407 18188 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90651968 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683258091168 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18421] ppid=18407 vsize=26108408 memory=280242052874640 CPUtime=0 cores=0-7 /proc/18409/task/18421/stat : 18421 (java) S 18407 18407 18188 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90651968 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683257038064 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18422] ppid=18407 vsize=26108408 memory=280242052815920 CPUtime=0 cores=0-7 /proc/18409/task/18422/stat : 18422 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651971 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683255986640 139683930408859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18423] ppid=18407 vsize=26108408 memory=280242052888464 CPUtime=0.03 cores=0-7 /proc/18409/task/18423/stat : 18423 (java) R 18407 18407 18188 0 -1 4202560 481 0 0 0 3 0 0 0 20 0 20 0 90651971 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683254914760 139683909636111 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18424] ppid=18407 vsize=26108408 memory=280242052895376 CPUtime=0.02 cores=0-7 /proc/18409/task/18424/stat : 18424 (java) S 18407 18407 18188 0 -1 1077944384 55 0 0 0 2 0 0 0 20 0 20 0 90651971 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683253881200 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18425] ppid=18407 vsize=26108408 memory=280242052893072 CPUtime=0.02 cores=0-7 /proc/18409/task/18425/stat : 18425 (java) S 18407 18407 18188 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 20 0 90651971 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683252828144 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18426] ppid=18407 vsize=26108408 memory=280242052909232 CPUtime=0.12 cores=0-7 /proc/18409/task/18426/stat : 18426 (java) S 18407 18407 18188 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 20 0 90651971 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683251775600 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18427] ppid=18407 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18427/stat : 18427 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651971 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683250723808 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18428] ppid=18407 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/18409/task/18428/stat : 18428 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651971 26735009792 11577 33554432000 4194304 4196468 140720485663152 139683249671344 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47760 KiB [startup+0.700869 s] /proc/loadavg: 8.04 8.23 8.29 5/200 18428 /proc/meminfo: memFree=28095092/32770624 swapFree=67108532/67108860 [pid=18407] ppid=18404 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18407/stat : 18407 (xcsp3-exec) S 18404 18407 18188 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90651965 115843072 363 33554432000 4194304 5098028 140732975558272 140732975556376 140410591474300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25808896 140732975563829 140732975564032 140732975564032 140732975566794 0 /proc/18407/statm: 28282 363 305 221 0 87 0 [pid=18409] ppid=18407 vsize=26110532 memory=85168 CPUtime=1.73 cores=0-7 /proc/18409/stat : 18409 (java) S 18407 18407 18188 0 -1 1077944320 12892 0 0 0 168 5 0 0 20 0 20 0 90651965 26737184768 21292 33554432000 4194304 4196468 140720485663152 140720485645696 139683930390263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 /proc/18409/statm: 6527633 21292 3362 1 0 6488827 0 [pid=18409/tid=18410] ppid=18407 vsize=26110532 memory=280242053267120 CPUtime=0.67 cores=0-7 /proc/18409/task/18410/stat : 18410 (java) R 18407 18407 18188 0 -1 4202560 7123 0 0 0 64 3 0 0 20 0 20 0 90651965 26737184768 21292 33554432000 4194304 4196468 140720485663152 139683934627792 139683560500429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18411] ppid=18407 vsize=26110532 memory=140121026634608 CPUtime=0 cores=0-7 /proc/18409/task/18411/stat : 18411 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26737184768 21292 33554432000 4194304 4196468 140720485663152 139683883011088 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18412] ppid=18407 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18412/stat : 18412 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90651966 26737184768 21292 33554432000 4194304 4196468 140720485663152 139683881958544 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18413] ppid=18407 vsize=26110532 memory=1012 CPUtime=0 cores=0-7 /proc/18409/task/18413/stat : 18413 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651966 26737184768 21292 33554432000 4194304 4196468 140720485663152 139683880905488 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 ################ # More data... # ################ [pid=18409/tid=18418] ppid=18407 vsize=26110532 memory=-9178176117318312558 CPUtime=0 cores=0-7 /proc/18409/task/18418/stat : 18418 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651966 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683481106832 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18419] ppid=18407 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18419/stat : 18419 (java) S 18407 18407 18188 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90651967 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683259144944 139683930401410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18420] ppid=18407 vsize=26110532 memory=1832 CPUtime=0 cores=0-7 /proc/18409/task/18420/stat : 18420 (java) S 18407 18407 18188 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90651968 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683258091168 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18421] ppid=18407 vsize=26110532 memory=792 CPUtime=0 cores=0-7 /proc/18409/task/18421/stat : 18421 (java) S 18407 18407 18188 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90651968 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683257038064 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18422] ppid=18407 vsize=26110532 memory=1960 CPUtime=0 cores=0-7 /proc/18409/task/18422/stat : 18422 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651971 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683255986640 139683930408859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18423] ppid=18407 vsize=26110532 memory=5756 CPUtime=0.3 cores=0-7 /proc/18409/task/18423/stat : 18423 (java) R 18407 18407 18188 0 -1 4202560 993 0 0 0 30 0 0 0 20 0 20 0 90651971 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683254924720 139683910049560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18424] ppid=18407 vsize=26110532 memory=4616 CPUtime=0.28 cores=0-7 /proc/18409/task/18424/stat : 18424 (java) R 18407 18407 18188 0 -1 4202560 709 0 0 0 28 0 0 0 20 0 20 0 90651971 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683253873152 139683913890646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18425] ppid=18407 vsize=26110532 memory=1232 CPUtime=0.26 cores=0-7 /proc/18409/task/18425/stat : 18425 (java) R 18407 18407 18188 0 -1 4202560 950 0 0 0 26 0 0 0 20 0 20 0 90651971 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683252828144 139683911090858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18426] ppid=18407 vsize=26110532 memory=12012 CPUtime=0.49 cores=0-7 /proc/18409/task/18426/stat : 18426 (java) R 18407 18407 18188 0 -1 4202560 2183 0 0 0 49 0 0 0 20 0 20 0 90651971 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683251775600 139683930411610 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18427] ppid=18407 vsize=26110532 memory=1724 CPUtime=0 cores=0-7 /proc/18409/task/18427/stat : 18427 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90651971 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683250723808 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18428] ppid=18407 vsize=26110532 memory=7124 CPUtime=0 cores=0-7 /proc/18409/task/18428/stat : 18428 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90651971 26737184768 27315 33554432000 4194304 4196468 140720485663152 139683249671344 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 Current children cumulated CPU time: 2.15 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 110712 KiB [startup+1.00161 s]* /proc/loadavg: 8.04 8.23 8.29 10/208 18436 /proc/meminfo: memFree=28016704/32770624 swapFree=67108532/67108860 [pid=18407] ppid=18404 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18407/stat : 18407 (xcsp3-exec) S 18404 18407 18188 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90651965 115843072 363 33554432000 4194304 5098028 140732975558272 140732975556376 140410591474300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25808896 140732975563829 140732975564032 140732975564032 140732975566794 0 /proc/18407/statm: 28282 363 305 221 0 87 0 [pid=18409] ppid=18407 vsize=26645092 memory=142048 CPUtime=3.46 cores=0-7 /proc/18409/stat : 18409 (java) S 18407 18407 18188 0 -1 1077944320 15097 0 0 0 339 7 0 0 20 0 28 0 90651965 27284574208 35512 33554432000 4194304 4196468 140720485663152 140720485645696 139683930390263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 /proc/18409/statm: 6661273 35512 3376 1 0 6622467 0 [pid=18409/tid=18410] ppid=18407 vsize=26645092 memory=0 CPUtime=0.83 cores=0-7 /proc/18409/task/18410/stat : 18410 (java) S 18407 18407 18188 0 -1 1077944384 7225 0 0 0 80 3 0 0 20 0 28 0 90651965 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683934631040 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18411] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18411/stat : 18411 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683883011088 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18412] ppid=18407 vsize=26645092 memory=280242207767920 CPUtime=0 cores=0-7 /proc/18409/task/18412/stat : 18412 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683881958544 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18413] ppid=18407 vsize=26645092 memory=2 CPUtime=0 cores=0-7 /proc/18409/task/18413/stat : 18413 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683880905488 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18414] ppid=18407 vsize=26645092 memory=7669738297727409817 CPUtime=0 cores=0-7 /proc/18409/task/18414/stat : 18414 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683485318032 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18415] ppid=18407 vsize=26645092 memory=6945507666079274341 CPUtime=0 cores=0-7 /proc/18409/task/18415/stat : 18415 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683484264976 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18416] ppid=18407 vsize=26645092 memory=3689913976284520495 CPUtime=0 cores=0-7 /proc/18409/task/18416/stat : 18416 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683483212432 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18417] ppid=18407 vsize=26645092 memory=8318255677412212789 CPUtime=0 cores=0-7 /proc/18409/task/18417/stat : 18417 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683482159376 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18418] ppid=18407 vsize=26645092 memory=288230591823085922 CPUtime=0 cores=0-7 /proc/18409/task/18418/stat : 18418 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683481106832 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18419] ppid=18407 vsize=26645092 memory=3832617400302585901 CPUtime=0 cores=0-7 /proc/18409/task/18419/stat : 18419 (java) S 18407 18407 18188 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 90651967 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683259144944 139683930401410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18420] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18420/stat : 18420 (java) S 18407 18407 18188 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 90651968 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683258091168 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18421] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18421/stat : 18421 (java) S 18407 18407 18188 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 90651968 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683257038064 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18422] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18422/stat : 18422 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651971 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683255986640 139683930408859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18423] ppid=18407 vsize=26645092 memory=0 CPUtime=0.46 cores=0-7 /proc/18409/task/18423/stat : 18423 (java) R 18407 18407 18188 0 -1 4202560 1507 0 0 0 46 0 0 0 20 0 28 0 90651971 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683254919624 139683913777593 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18424] ppid=18407 vsize=26645092 memory=0 CPUtime=0.44 cores=0-7 /proc/18409/task/18424/stat : 18424 (java) R 18407 18407 18188 0 -1 4202560 966 0 0 0 44 0 0 0 20 0 28 0 90651971 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683253866704 139683914779120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18425] ppid=18407 vsize=26645092 memory=0 CPUtime=0.45 cores=0-7 /proc/18409/task/18425/stat : 18425 (java) R 18407 18407 18188 0 -1 1077944384 1376 0 0 0 45 0 0 0 20 0 28 0 90651971 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683252821168 139683930400469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18426] ppid=18407 vsize=26645092 memory=0 CPUtime=0.58 cores=0-7 /proc/18409/task/18426/stat : 18426 (java) R 18407 18407 18188 0 -1 4202560 2430 0 0 0 57 1 0 0 20 0 28 0 90651971 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683251771472 139683922627390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18427] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18427/stat : 18427 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90651971 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683250723808 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18428] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18428/stat : 18428 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651971 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683249671344 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18429] ppid=18407 vsize=26645092 memory=170985786 CPUtime=0.1 cores=0-7 /proc/18409/task/18429/stat : 18429 (java) R 18407 18407 18188 0 -1 4202560 54 0 0 0 10 0 0 0 20 0 28 0 90652051 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683240884992 139683566646718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18430] ppid=18407 vsize=26645092 memory=4206186544037388384 CPUtime=0.11 cores=0-7 /proc/18409/task/18430/stat : 18430 (java) S 18407 18407 18188 0 -1 1077944384 41 0 0 0 11 0 0 0 20 0 28 0 90652051 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683239833312 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18431] ppid=18407 vsize=26645092 memory=140125476370047 CPUtime=0.11 cores=0-7 /proc/18409/task/18431/stat : 18431 (java) S 18407 18407 18188 0 -1 1077944384 39 0 0 0 11 0 0 0 20 0 28 0 90652051 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683238781904 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18432] ppid=18407 vsize=26645092 memory=0 CPUtime=0.07 cores=0-7 /proc/18409/task/18432/stat : 18432 (java) S 18407 18407 18188 0 -1 1077944384 37 0 0 0 7 0 0 0 20 0 28 0 90652052 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683237729360 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18433] ppid=18407 vsize=26645092 memory=0 CPUtime=0.05 cores=0-7 /proc/18409/task/18433/stat : 18433 (java) R 18407 18407 18188 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 28 0 90652052 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683236675024 139683930402198 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18434] ppid=18407 vsize=26645092 memory=0 CPUtime=0.06 cores=0-7 /proc/18409/task/18434/stat : 18434 (java) S 18407 18407 18188 0 -1 1077944384 31 0 0 0 6 0 0 0 20 0 28 0 90652052 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683235623760 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18435] ppid=18407 vsize=26645092 memory=0 CPUtime=0.06 cores=0-7 /proc/18409/task/18435/stat : 18435 (java) R 18407 18407 18188 0 -1 4202560 29 0 0 0 6 0 0 0 20 0 28 0 90652052 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683234569888 139683930411610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18436] ppid=18407 vsize=26645092 memory=0 CPUtime=0.06 cores=0-7 /proc/18409/task/18436/stat : 18436 (java) R 18407 18407 18188 0 -1 1077944384 24 0 0 0 6 0 0 0 20 0 28 0 90652052 27284574208 35512 33554432000 4194304 4196468 140720485663152 139683233517536 139683930400469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 Current children cumulated CPU time: 3.46 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 143500 KiB [startup+1.11042 s] /proc/loadavg: 8.04 8.23 8.29 10/208 18436 /proc/meminfo: memFree=28016704/32770624 swapFree=67108532/67108860 [pid=18407] ppid=18404 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18407/stat : 18407 (xcsp3-exec) S 18404 18407 18188 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90651965 115843072 363 33554432000 4194304 5098028 140732975558272 140732975556376 140410591474300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25808896 140732975563829 140732975564032 140732975564032 140732975566794 0 /proc/18407/statm: 28282 363 305 221 0 87 0 [pid=18409] ppid=18407 vsize=26645092 memory=143752 CPUtime=4.26 cores=0-7 /proc/18409/stat : 18409 (java) S 18407 18407 18188 0 -1 1077944320 15562 0 0 0 419 7 0 0 20 0 28 0 90651965 27284574208 35938 33554432000 4194304 4196468 140720485663152 140720485645696 139683930390263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 /proc/18409/statm: 6661273 35938 3377 1 0 6622467 0 [pid=18409/tid=18410] ppid=18407 vsize=26645092 memory=0 CPUtime=0.83 cores=0-7 /proc/18409/task/18410/stat : 18410 (java) S 18407 18407 18188 0 -1 1077944384 7225 0 0 0 80 3 0 0 20 0 28 0 90651965 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683934631040 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18411] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18411/stat : 18411 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683883011088 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18412] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18412/stat : 18412 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683881958544 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18413] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18413/stat : 18413 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683880905488 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18414] ppid=18407 vsize=26645092 memory=1452 CPUtime=0 cores=0-7 /proc/18409/task/18414/stat : 18414 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683485318032 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18415] ppid=18407 vsize=26645092 memory=85168 CPUtime=0 cores=0-7 /proc/18409/task/18415/stat : 18415 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683484264976 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18416] ppid=18407 vsize=26645092 memory=280242053267120 CPUtime=0 cores=0-7 /proc/18409/task/18416/stat : 18416 (java) S 18407 18407 18188 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683483212432 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18417] ppid=18407 vsize=26645092 memory=140121026634608 CPUtime=0 cores=0-7 /proc/18409/task/18417/stat : 18417 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683482159376 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18418] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18418/stat : 18418 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90651966 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683481106832 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18419] ppid=18407 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/18409/task/18419/stat : 18419 (java) S 18407 18407 18188 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 90651967 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683259144944 139683930401410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18420] ppid=18407 vsize=26645092 memory=79057463054302 CPUtime=0 cores=0-7 /proc/18409/task/18420/stat : 18420 (java) S 18407 18407 18188 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 90651968 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683258091168 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18421] ppid=18407 vsize=26645092 memory=79057463054303 CPUtime=0 cores=0-7 /proc/18409/task/18421/stat : 18421 (java) S 18407 18407 18188 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 90651968 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683257038064 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18422] ppid=18407 vsize=26645092 memory=79057463054304 CPUtime=0 cores=0-7 /proc/18409/task/18422/stat : 18422 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651971 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683255986640 139683930408859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18423] ppid=18407 vsize=26645092 memory=79057463054305 CPUtime=0.52 cores=0-7 /proc/18409/task/18423/stat : 18423 (java) R 18407 18407 18188 0 -1 4202560 1554 0 0 0 52 0 0 0 20 0 28 0 90651971 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683254922368 139683915268164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18424] ppid=18407 vsize=26645092 memory=79057463054306 CPUtime=0.53 cores=0-7 /proc/18409/task/18424/stat : 18424 (java) R 18407 18407 18188 0 -1 4202560 1314 0 0 0 53 0 0 0 20 0 28 0 90651971 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683253868896 139683915515397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18425] ppid=18407 vsize=26645092 memory=79057463054307 CPUtime=0.54 cores=0-7 /proc/18409/task/18425/stat : 18425 (java) R 18407 18407 18188 0 -1 4202560 1393 0 0 0 54 0 0 0 20 0 28 0 90651971 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683252808880 139683907985729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18426] ppid=18407 vsize=26645092 memory=0 CPUtime=0.6 cores=0-7 /proc/18409/task/18426/stat : 18426 (java) R 18407 18407 18188 0 -1 1077944384 2468 0 0 0 59 1 0 0 20 0 28 0 90651971 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683251769984 139683930400469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18427] ppid=18407 vsize=26645092 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/18409/task/18427/stat : 18427 (java) S 18407 18407 18188 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90651971 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683250723808 139683930400469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18428] ppid=18407 vsize=26645092 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/18409/task/18428/stat : 18428 (java) S 18407 18407 18188 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90651971 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683249671344 139683930401410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18429] ppid=18407 vsize=26645092 memory=6944656592455097440 CPUtime=0.16 cores=0-7 /proc/18409/task/18429/stat : 18429 (java) R 18407 18407 18188 0 -1 4202560 55 0 0 0 16 0 0 0 20 0 28 0 90652051 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683240884456 139683560500528 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18430] ppid=18407 vsize=26645092 memory=6656426216303648864 CPUtime=0.16 cores=0-7 /proc/18409/task/18430/stat : 18430 (java) R 18407 18407 18188 0 -1 4202560 42 0 0 0 16 0 0 0 20 0 28 0 90652051 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683239830064 139683930402198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18431] ppid=18407 vsize=26645092 memory=6944656592455359580 CPUtime=0.17 cores=0-7 /proc/18409/task/18431/stat : 18431 (java) R 18407 18407 18188 0 -1 1077944384 40 0 0 0 17 0 0 0 20 0 28 0 90652051 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683238783296 139683930400469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18432] ppid=18407 vsize=26645092 memory=6944652177228980320 CPUtime=0.11 cores=0-7 /proc/18409/task/18432/stat : 18432 (java) R 18407 18407 18188 0 -1 4202560 38 0 0 0 11 0 0 0 20 0 28 0 90652052 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683237730312 139683566589694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18433] ppid=18407 vsize=26645092 memory=6944656592455360604 CPUtime=0.14 cores=0-7 /proc/18409/task/18433/stat : 18433 (java) R 18407 18407 18188 0 -1 4202560 29 0 0 0 14 0 0 0 20 0 28 0 90652052 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683236674240 139683930402198 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18434] ppid=18407 vsize=26645092 memory=5787515123716350040 CPUtime=0.1 cores=0-7 /proc/18409/task/18434/stat : 18434 (java) R 18407 18407 18188 0 -1 1077944384 34 0 0 0 10 0 0 0 20 0 28 0 90652052 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683235621696 139683930400469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18435] ppid=18407 vsize=26645092 memory=26821303619 CPUtime=0.16 cores=0-7 /proc/18409/task/18435/stat : 18435 (java) R 18407 18407 18188 0 -1 4202560 29 0 0 0 16 0 0 0 20 0 28 0 90652052 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683234566832 139683566588774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 [pid=18409/tid=18436] ppid=18407 vsize=26645092 memory=56 CPUtime=0.13 cores=0-7 /proc/18409/task/18436/stat : 18436 (java) R 18407 18407 18188 0 -1 4202560 27 0 0 0 13 0 0 0 20 0 28 0 90652052 27284574208 35938 33554432000 4194304 4196468 140720485663152 139683233514288 139683566589738 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20652032 140720485672065 140720485672237 140720485672237 140720485674959 0 Current children cumulated CPU time: 4.26 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 145204 KiB Child status: 0 Real time (s): 1.19792 CPU time (s): 4.81769 CPU user time (s): 4.73669 CPU system time (s): 0.081003 CPU usage (%): 402.173 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 145204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.73669 system time used= 0.081003 maximum resident set size= 148112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16397 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= 3126 involuntary context switches= 66 # summary of solver processes directly reported to runsolver: # pid: 18407 # total CPU time (s): 4.81769 # total CPU user time (s): 4.73669 # total CPU system time (s): 0.081003 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.036609 second user time and 0.047708 second system time The end
Begin job on node104 at 2018-07-28 00:34:48 IDJOB=4297721 IDBENCH=141607 IDSOLVER=2760 FILE ID=node104/4297721-1532730888 RUNJOBID= node104-1532728367-18215 PBS_JOBID= 21022346 Free space on /tmp= 48344 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Quasigroups/QuasiGroup-4-09_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297721-1532730888/watcher-4297721-1532730888 -o /tmp/evaluation-result-4297721-1532730888/solver-4297721-1532730888 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532728367-18215 --watchdog 2580 HOME/xcsp3-exec -seed 1461128709 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297721-1532730888.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 32889b6f2e93f59096a50faf26931df2 RANDOM SEED=1461128709 node104.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.11 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.11 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.11 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.11 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: 28144540 kB MemAvailable: 31951628 kB Buffers: 128548 kB Cached: 3931120 kB SwapCached: 12 kB Active: 1919764 kB Inactive: 2194056 kB Active(anon): 8192 kB Inactive(anon): 73040 kB Active(file): 1911572 kB Inactive(file): 2121016 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 21992 kB Writeback: 0 kB AnonPages: 139492 kB Mapped: 40628 kB Shmem: 25060 kB Slab: 208600 kB SReclaimable: 180672 kB SUnreclaim: 27928 kB KernelStack: 3712 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324304 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48324 MiB End job on node104 at 2018-07-28 00:34:49