Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j-CSP 2018-07-11 | SAT (TO) | 247 | 2400.34 | 2368.55 |
| Name | SumColoring/ SumColoring-dsjc-125-1_c18.xml |
| MD5SUM | e8035d4b0abecbc1a78dd1ff35d13fe4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 229 |
| Best CPU time to get the best result obtained on this benchmark | 2520.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 125 |
| Number of constraints | 736 |
| Number of domains | 1 |
| Minimum domain size | 125 |
| Maximum domain size | 125 |
| Distribution of domain sizes | [{"size":125,"count":125}] |
| Minimum variable degree | 6 |
| Maximum variable degree | 24 |
| Distribution of variable degrees | [{"degree":6,"count":1},{"degree":7,"count":3},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":12},{"degree":11,"count":16},{"degree":12,"count":12},{"degree":13,"count":16},{"degree":14,"count":15},{"degree":15,"count":7},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":4},{"degree":20,"count":3},{"degree":24,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":736}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 736 |
| Distribution of constraint types | [{"type":"intension","count":736}] |
| Optimization problem | YES |
| Type of objective | min SUM |
15.74/6.47 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 15.74/6.47 c This is free software under the dual EPL/GNU LGPL licenses. 15.74/6.47 c See www.sat4j.org for details. 15.74/6.47 c That software uses the Rhino library from the Mozilla project. 15.74/6.47 c version 2.3.6-SNAPSHOT 15.74/6.47 c java.runtime.name Java(TM) SE Runtime Environment 15.74/6.47 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 15.74/6.47 c java.vm.version 25.131-b11 15.74/6.47 c java.vm.vendor Oracle Corporation 15.74/6.47 c sun.arch.data.model 64 15.74/6.47 c java.version 1.8.0_131 15.74/6.47 c os.name Linux 15.74/6.47 c os.version 3.10.0-514.16.1.el7.x86_64 15.74/6.47 c os.arch amd64 15.74/6.47 c Free memory 499604488 15.74/6.47 c Max memory 7247757312 15.74/6.47 c Total memory 504889344 15.74/6.47 c Number of processors 4 15.74/6.47 c c --- Begin Solver configuration --- 15.74/6.47 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 15.74/6.47 c Learn all clauses as in MiniSAT 15.74/6.47 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 15.74/6.47 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 15.74/6.47 c No reason simplification 15.74/6.47 c Glucose 2.1 dynamic restart strategy 15.74/6.47 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 15.74/6.47 c timeout=2147483s 15.74/6.47 c DB Simplification allowed=false 15.74/6.47 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 15.74/6.47 c --- End Solver configuration --- 15.74/6.47 c constraints type 15.74/6.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 250 15.74/6.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 11500000 15.74/6.47 c org.sat4j.minisat.constraints.cnf.UnitClause => 1472 15.74/6.47 c 11501722 constraints processed. 16.79/6.82 o 264 17.02/7.00 o 248 17.67/7.24 o 247 2400.25/2368.50 c starts : 284 2400.25/2368.50 c conflicts : 3314840 2400.25/2368.50 c decisions : 8635340 2400.25/2368.50 c propagations : 760894091 2400.25/2368.50 c inspects : 14862613881 2400.25/2368.50 c shortcuts : 0 2400.25/2368.50 c learnt literals : 0 2400.25/2368.50 c learnt binary clauses : 0 2400.25/2368.50 c learnt ternary clauses : 0 2400.25/2368.50 c learnt constraints : 3314840 2400.25/2368.50 c ignored constraints : 0 2400.25/2368.50 c root simplifications : 0 2400.25/2368.50 c removed literals (reason simplification) : 0 2400.25/2368.50 c reason swapping (by a shorter reason) : 0 2400.25/2368.50 c Calls to reduceDB : 77 2400.25/2368.50 c Number of update (reduction) of LBD : 1579336 2400.25/2368.50 c Imported unit clauses : 0 2400.25/2368.50 c number of reductions to clauses (during analyze) : 0 2400.25/2368.50 c number of learned constraints concerned by reduction : 0 2400.25/2368.50 c number of learning phase by resolution : 0 2400.25/2368.50 c number of learning phase by cutting planes : 0 2400.25/2368.50 c number of rounding to 1 operations : 0 2400.25/2368.50 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2400.25/2368.50 c number of reductions of the coefficients by power 2 : 0 2400.25/2368.50 c number of right shift for reduction by power 2 : 0 2400.25/2368.50 c number of reductions of the coefficients by GCD over coefficients : 0 2400.25/2368.50 c number of ending skipping : 0 2400.25/2368.50 c number of internal skipping : 0 2400.25/2368.50 c number of derivation steps : 0 2400.25/2368.50 c number of skipped derivation steps : 0 2400.25/2368.50 c number of remaining unassigned : 0 2400.25/2368.50 c number of remaining assigned : 0 2400.25/2368.50 c speed (assignments/second) : 322137.9776487259 2400.25/2368.50 c non guided choices : 0 2400.25/2368.53 c learnt constraints type org.sat4j.minisat.constraints.cnf.LearntWLClause : 83388 2400.25/2368.53 s SATISFIABLE 2400.25/2368.53 v <instantiation type="solution"> 2400.25/2368.53 v <list> c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] </list> 2400.25/2368.53 v <values> 0 0 2 3 2 2 0 2 0 1 1 1 0 4 1 0 3 0 4 3 3 2 2 5 0 1 4 1 2 4 2 3 2 4 4 5 1 4 2 4 3 3 1 1 1 4 2 0 3 4 1 2 2 1 2 0 3 5 2 1 1 4 0 0 4 3 0 0 5 0 3 0 2 4 5 2 3 2 1 5 2 0 3 1 0 1 5 0 2 3 1 0 5 1 2 2 4 1 1 3 2 0 0 1 4 2 2 2 0 0 3 0 1 2 1 3 3 4 1 3 3 0 1 1 2 </values> 2400.25/2368.53 v </instantiation> 2400.25/2368.53
OK 247
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 (10420 MiB free)
memory of node 1: 16384 MiB (5317 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289972-1532212991/watcher-4289972-1532212991 -o /tmp/evaluation-result-4289972-1532212991/solver-4289972-1532212991 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532209965-29591 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289972-1532212991.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30082, runsolver pid=30079
[startup+0.100062 s]*
/proc/loadavg: 3.92 4.01 3.11 6/215 30097
/proc/meminfo: memFree=16035320/32770624 swapFree=67108860/67108860
[pid=30082] ppid=30079 vsize=10659012 memory=30112 CPUtime=0.13 cores=0,2,4,6
/proc/30082/stat : 30082 (java) S 30079 30082 26594 0 -1 1077944320 6606 0 0 0 11 2 0 0 20 0 15 0 38862306 10914828288 7528 33554432000 4194304 4196468 140730170054768 140730170037312 140267717086967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
/proc/30082/statm: 2664753 7528 2840 1 0 2627263 0
[pid=30082/tid=30084] ppid=30079 vsize=10659012 memory=-8773748148830246018 CPUtime=0.09 cores=0,2,4,6
/proc/30082/task/30084/stat : 30084 (java) R 30079 30082 26594 0 -1 4202560 4438 0 0 0 8 1 0 0 20 0 15 0 38862307 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267721308464 140267717108314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30085] ppid=30079 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30085/stat : 30085 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862308 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267669707664 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30086] ppid=30079 vsize=10659012 memory=139778500675200 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30086/stat : 30086 (java) S 30079 30082 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38862308 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267668654864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30087] ppid=30079 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30087/stat : 30087 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862308 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267667602576 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30088] ppid=30079 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30088/stat : 30088 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862308 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267666549776 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30089] ppid=30079 vsize=10659012 memory=139778500675200 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30089/stat : 30089 (java) S 30079 30082 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38862309 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267276933232 140267717098114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30090] ppid=30079 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30090/stat : 30090 (java) S 30079 30082 26594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38862309 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267275879200 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30091] ppid=30079 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30091/stat : 30091 (java) S 30079 30082 26594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38862310 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267274826864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30092] ppid=30079 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30092/stat : 30092 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862312 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267273775184 140267717105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30093] ppid=30079 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30093/stat : 30093 (java) S 30079 30082 26594 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 38862312 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267272723056 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30094] ppid=30079 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30094/stat : 30094 (java) S 30079 30082 26594 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 38862312 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267271670256 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30095] ppid=30079 vsize=10659012 memory=139778500675200 CPUtime=0.02 cores=0,2,4,6
/proc/30082/task/30095/stat : 30095 (java) S 30079 30082 26594 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 38862312 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267270617968 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30096] ppid=30079 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30096/stat : 30096 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862312 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267269565408 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30097] ppid=30079 vsize=10659012 memory=139778500675200 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30097/stat : 30097 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862312 10914828288 7528 33554432000 4194304 4196468 140730170054768 140267268512176 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30112 KiB
[startup+0.210812 s]*
/proc/loadavg: 3.92 4.01 3.11 6/215 30097
/proc/meminfo: memFree=15999656/32770624 swapFree=67108860/67108860
[pid=30082] ppid=30079 vsize=10659012 memory=41540 CPUtime=0.34 cores=0,2,4,6
/proc/30082/stat : 30082 (java) S 30079 30082 26594 0 -1 1077944320 8076 0 0 0 31 3 0 0 20 0 15 0 38862306 10914828288 10385 33554432000 4194304 4196468 140730170054768 140730170037312 140267717086967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
/proc/30082/statm: 2664753 10385 2994 1 0 2627263 0
[pid=30082/tid=30084] ppid=30079 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30082/task/30084/stat : 30084 (java) R 30079 30082 26594 0 -1 4202560 5014 0 0 0 18 2 0 0 20 0 15 0 38862307 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267721321856 140267701130597 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30085] ppid=30079 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30085/stat : 30085 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862308 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267669707664 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30086] ppid=30079 vsize=10659012 memory=139778500702967 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30086/stat : 30086 (java) S 30079 30082 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38862308 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267668654864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30087] ppid=30079 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30087/stat : 30087 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862308 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267667602576 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30088] ppid=30079 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30088/stat : 30088 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862308 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267666549776 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30089] ppid=30079 vsize=10659012 memory=139778500675200 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30089/stat : 30089 (java) S 30079 30082 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38862309 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267276933232 140267717098114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30090] ppid=30079 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30090/stat : 30090 (java) S 30079 30082 26594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38862309 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267275879200 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30091] ppid=30079 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30091/stat : 30091 (java) S 30079 30082 26594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38862310 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267274826864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30092] ppid=30079 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30092/stat : 30092 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862312 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267273775184 140267717105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30093] ppid=30079 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30082/task/30093/stat : 30093 (java) R 30079 30082 26594 0 -1 1077944384 588 0 0 0 2 0 0 0 20 0 15 0 38862312 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267272723056 140267717098114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30094] ppid=30079 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30082/task/30094/stat : 30094 (java) S 30079 30082 26594 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 38862312 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267271670256 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30095] ppid=30079 vsize=10659012 memory=139778500675200 CPUtime=0.07 cores=0,2,4,6
/proc/30082/task/30095/stat : 30095 (java) R 30079 30082 26594 0 -1 4202560 723 0 0 0 7 0 0 0 20 0 15 0 38862312 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267270617968 140267701167454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30096] ppid=30079 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30096/stat : 30096 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862312 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267269565408 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30097] ppid=30079 vsize=10659012 memory=139778500675200 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30097/stat : 30097 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862312 10914828288 10385 33554432000 4194304 4196468 140730170054768 140267268512176 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41540 KiB
[startup+0.316657 s]*
/proc/loadavg: 3.92 4.01 3.11 8/215 30097
/proc/meminfo: memFree=15990332/32770624 swapFree=67108860/67108860
[pid=30082] ppid=30079 vsize=10659088 memory=47400 CPUtime=0.55 cores=0,2,4,6
/proc/30082/stat : 30082 (java) S 30079 30082 26594 0 -1 1077944320 8946 0 0 0 52 3 0 0 20 0 15 0 38862306 10914906112 11850 33554432000 4194304 4196468 140730170054768 140730170037312 140267717086967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
/proc/30082/statm: 2664772 11850 3052 1 0 2627263 0
[pid=30082/tid=30084] ppid=30079 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/30082/task/30084/stat : 30084 (java) R 30079 30082 26594 0 -1 4202560 5625 0 0 0 28 2 0 0 20 0 15 0 38862307 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267721322496 140267717098902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30085] ppid=30079 vsize=10659088 memory=288230591823085591 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30085/stat : 30085 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862308 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267669707664 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30086] ppid=30079 vsize=10659088 memory=139778500702089 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30086/stat : 30086 (java) S 30079 30082 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38862308 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267668654864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30087] ppid=30079 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30087/stat : 30087 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862308 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267667602576 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30088] ppid=30079 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30088/stat : 30088 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862308 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267666549776 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30089] ppid=30079 vsize=10659088 memory=139778500675200 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30089/stat : 30089 (java) S 30079 30082 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38862309 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267276933232 140267717098114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30090] ppid=30079 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30090/stat : 30090 (java) S 30079 30082 26594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38862309 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267275879200 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30091] ppid=30079 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30091/stat : 30091 (java) S 30079 30082 26594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38862310 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267274826864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30092] ppid=30079 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30092/stat : 30092 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862312 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267273775184 140267717105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30093] ppid=30079 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/30082/task/30093/stat : 30093 (java) S 30079 30082 26594 0 -1 1077944384 621 0 0 0 5 0 0 0 20 0 15 0 38862312 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267272723056 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30094] ppid=30079 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/30082/task/30094/stat : 30094 (java) S 30079 30082 26594 0 -1 1077944384 503 0 0 0 4 0 0 0 20 0 15 0 38862312 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267271670256 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30095] ppid=30079 vsize=10659088 memory=139778500675200 CPUtime=0.13 cores=0,2,4,6
/proc/30082/task/30095/stat : 30095 (java) R 30079 30082 26594 0 -1 4202560 827 0 0 0 13 0 0 0 20 0 15 0 38862312 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267270617968 140267702252639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30096] ppid=30079 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30096/stat : 30096 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862312 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267269565408 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30097] ppid=30079 vsize=10659088 memory=139778500675200 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30097/stat : 30097 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862312 10914906112 11850 33554432000 4194304 4196468 140730170054768 140267268512176 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47400 KiB
[startup+0.700841 s]
/proc/loadavg: 3.92 4.01 3.11 8/215 30097
/proc/meminfo: memFree=15958436/32770624 swapFree=67108860/67108860
[pid=30082] ppid=30079 vsize=10659088 memory=162560 CPUtime=1.62 cores=0,2,4,6
/proc/30082/stat : 30082 (java) S 30079 30082 26594 0 -1 1077944320 11126 0 0 0 156 6 0 0 20 0 15 0 38862306 10914906112 40640 33554432000 4194304 4196468 140730170054768 140730170037312 140267717086967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
/proc/30082/statm: 2664772 40640 3099 1 0 2627263 0
[pid=30082/tid=30084] ppid=30079 vsize=10659088 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/30082/task/30084/stat : 30084 (java) R 30079 30082 26594 0 -1 4202560 5889 0 0 0 63 4 0 0 20 0 15 0 38862307 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267721324088 140267344127444 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30085] ppid=30079 vsize=10659088 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30085/stat : 30085 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862308 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267669707664 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30086] ppid=30079 vsize=10659088 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30086/stat : 30086 (java) S 30079 30082 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38862308 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267668654864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30087] ppid=30079 vsize=10659088 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30087/stat : 30087 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862308 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267667602576 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30088] ppid=30079 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30088/stat : 30088 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862308 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267666549776 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30089] ppid=30079 vsize=10659088 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30089/stat : 30089 (java) S 30079 30082 26594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38862309 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267276933232 140267717098114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30090] ppid=30079 vsize=10659088 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30090/stat : 30090 (java) S 30079 30082 26594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38862309 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267275879200 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30091] ppid=30079 vsize=10659088 memory=8372 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30091/stat : 30091 (java) S 30079 30082 26594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38862310 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267274826864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30092] ppid=30079 vsize=10659088 memory=12972 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30092/stat : 30092 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862312 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267273775184 140267717105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30093] ppid=30079 vsize=10659088 memory=7662705889289527641 CPUtime=0.29 cores=0,2,4,6
/proc/30082/task/30093/stat : 30093 (java) S 30079 30082 26594 0 -1 1077944384 1370 0 0 0 29 0 0 0 20 0 15 0 38862312 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267272723056 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30094] ppid=30079 vsize=10659088 memory=7597685182856913236 CPUtime=0.32 cores=0,2,4,6
/proc/30082/task/30094/stat : 30094 (java) R 30079 30082 26594 0 -1 4202560 944 0 0 0 32 0 0 0 20 0 15 0 38862312 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267271661296 140267702196533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30095] ppid=30079 vsize=10659088 memory=7223888500751355984 CPUtime=0.31 cores=0,2,4,6
/proc/30082/task/30095/stat : 30095 (java) S 30079 30082 26594 0 -1 1077944384 1550 0 0 0 31 0 0 0 20 0 15 0 38862312 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267270617968 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30096] ppid=30079 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30096/stat : 30096 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38862312 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267269565408 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30097] ppid=30079 vsize=10659088 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30097/stat : 30097 (java) S 30079 30082 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38862312 10914906112 40640 33554432000 4194304 4196468 140730170054768 140267268512176 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 162560 KiB
[startup+1.50152 s]
/proc/loadavg: 3.92 4.01 3.11 9/215 30097
/proc/meminfo: memFree=15708596/32770624 swapFree=67108860/67108860
[pid=30082] ppid=30079 vsize=10659088 memory=556112 CPUtime=3.51 cores=0,2,4,6
/proc/30082/stat : 30082 (java) S 30079 30082 26594 0 -1 1077944320 12334 0 0 0 310 41 0 0 20 0 15 0 38862306 10914906112 139028 33554432000 4194304 4196468 140730170054768 140730170037312 140267717086967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
/proc/30082/statm: 2664772 139028 3137 1 0 2627263 0
[pid=30082/tid=30084] ppid=30079 vsize=10659088 memory=0 CPUtime=1.15 cores=0,2,4,6
/proc/30082/task/30084/stat : 30084 (java) S 30079 30082 26594 0 -1 1077944384 5990 0 0 0 109 6 0 0 20 0 15 0 38862307 10914906112 139028 33554432000 4194304 4196468 140730170054768 140267721323536 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30085] ppid=30079 vsize=10659088 memory=-6951259422114956437 CPUtime=0.31 cores=0,2,4,6
/proc/30082/task/30085/stat : 30085 (java) R 30079 30082 26594 0 -1 4202560 198 0 0 0 23 8 0 0 20 0 15 0 38862308 10914906112 139028 33554432000 4194304 4196468 140730170054768 140267669707664 140267702114841 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30086] ppid=30079 vsize=10659088 memory=-6509546260019855295 CPUtime=0.31 cores=0,2,4,6
/proc/30082/task/30086/stat : 30086 (java) R 30079 30082 26594 0 -1 4202560 212 0 0 0 23 8 0 0 20 0 15 0 38862308 10914906112 139028 33554432000 4194304 4196468 140730170054768 140267668654864 140267702114841 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30087] ppid=30079 vsize=10659088 memory=-7390251449858225344 CPUtime=0.31 cores=0,2,4,6
/proc/30082/task/30087/stat : 30087 (java) R 30079 30082 26594 0 -1 4202560 191 0 0 0 23 8 0 0 20 0 15 0 38862308 10914906112 139540 33554432000 4194304 4196468 140730170054768 140267667602776 140267702114841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30088] ppid=30079 vsize=10659088 memory=-7096649868621430206 CPUtime=0.3 cores=0,2,4,6
/proc/30082/task/30088/stat : 30088 (java) R 30079 30082 26594 0 -1 4202560 310 0 0 0 23 7 0 0 20 0 15 0 38862308 10914906112 139540 33554432000 4194304 4196468 140730170054768 140267666549976 140267702114841 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30089] ppid=30079 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30089/stat : 30089 (java) S 30079 30082 26594 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 38862309 10914906112 139540 33554432000 4194304 4196468 140730170054768 140267276931744 140267717097173 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
################
# More data... #
################
/proc/30082/task/30086/stat : 30086 (java) S 30079 30082 26594 0 -1 1077944384 18242 0 0 0 818 90 0 0 20 0 16 0 38862308 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267668654864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30087] ppid=30079 vsize=10727700 memory=4009604 CPUtime=9.1 cores=0,2,4,6
/proc/30082/task/30087/stat : 30087 (java) S 30079 30082 26594 0 -1 1077944384 14050 0 0 0 816 94 0 0 20 0 16 0 38862308 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267667602576 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30088] ppid=30079 vsize=10727700 memory=4009604 CPUtime=9.08 cores=0,2,4,6
/proc/30082/task/30088/stat : 30088 (java) S 30079 30082 26594 0 -1 1077944384 13056 0 0 0 813 95 0 0 20 0 16 0 38862308 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267666549776 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30089] ppid=30079 vsize=10727700 memory=59 CPUtime=2.16 cores=0,2,4,6
/proc/30082/task/30089/stat : 30089 (java) S 30079 30082 26594 0 -1 1077944384 15482 0 0 0 212 4 0 0 20 0 16 0 38862309 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267276933232 140267717098114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30090] ppid=30079 vsize=10727700 memory=3874172 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30090/stat : 30090 (java) S 30079 30082 26594 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 38862309 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267275879264 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30091] ppid=30079 vsize=10727700 memory=3874172 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30091/stat : 30091 (java) S 30079 30082 26594 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 38862310 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267274826880 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30092] ppid=30079 vsize=10727700 memory=4009604 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30092/stat : 30092 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267273775184 140267717105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30093] ppid=30079 vsize=10727700 memory=4009604 CPUtime=1.37 cores=0,2,4,6
/proc/30082/task/30093/stat : 30093 (java) S 30079 30082 26594 0 -1 1077944384 8015 0 0 0 137 0 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267272723056 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30094] ppid=30079 vsize=10727700 memory=4009604 CPUtime=1.33 cores=0,2,4,6
/proc/30082/task/30094/stat : 30094 (java) S 30079 30082 26594 0 -1 1077944384 5370 0 0 0 132 1 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267271670256 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30095] ppid=30079 vsize=10727700 memory=4009604 CPUtime=0.52 cores=0,2,4,6
/proc/30082/task/30095/stat : 30095 (java) S 30079 30082 26594 0 -1 1077944384 4487 0 0 0 51 1 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267270617968 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30096] ppid=30079 vsize=10727700 memory=3320 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30096/stat : 30096 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267269565408 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30097] ppid=30079 vsize=10727700 memory=4009604 CPUtime=1.29 cores=0,2,4,6
/proc/30082/task/30097/stat : 30097 (java) S 30079 30082 26594 0 -1 1077944384 2010 0 0 0 66 63 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267268512176 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30098] ppid=30079 vsize=10727700 memory=4009604 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30098/stat : 30098 (java) S 30079 30082 26594 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 38862956 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267265360560 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
Current children cumulated CPU time: 2354.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4009604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2368.3 s]
/proc/loadavg: 2.09 2.07 2.31 3/218 30358
/proc/meminfo: memFree=15883432/32770624 swapFree=67108860/67108860
[pid=30082] ppid=30079 vsize=10727700 memory=4009604 CPUtime=2400.04 cores=0,2,4,6
/proc/30082/stat : 30082 (java) S 30079 30082 26594 0 -1 1077944320 188342 0 0 0 239551 453 0 0 20 0 16 0 38862306 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140730170037312 140267717086967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
/proc/30082/statm: 2681925 1002401 3178 1 0 2644416 0
[pid=30082/tid=30084] ppid=30079 vsize=10727700 memory=4009604 CPUtime=2356.91 cores=0,2,4,6
/proc/30082/task/30084/stat : 30084 (java) R 30079 30082 26594 0 -1 4202560 88273 0 0 0 235673 18 0 0 20 0 16 0 38862307 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267721325920 140267345853077 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30085] ppid=30079 vsize=10727700 memory=4009604 CPUtime=9.05 cores=0,2,4,6
/proc/30082/task/30085/stat : 30085 (java) S 30079 30082 26594 0 -1 1077944384 17842 0 0 0 815 90 0 0 20 0 16 0 38862308 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267669707664 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30086] ppid=30079 vsize=10727700 memory=4009604 CPUtime=9.08 cores=0,2,4,6
/proc/30082/task/30086/stat : 30086 (java) S 30079 30082 26594 0 -1 1077944384 18242 0 0 0 818 90 0 0 20 0 16 0 38862308 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267668654864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30087] ppid=30079 vsize=10727700 memory=4009604 CPUtime=9.1 cores=0,2,4,6
/proc/30082/task/30087/stat : 30087 (java) S 30079 30082 26594 0 -1 1077944384 14050 0 0 0 816 94 0 0 20 0 16 0 38862308 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267667602576 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30088] ppid=30079 vsize=10727700 memory=4009604 CPUtime=9.08 cores=0,2,4,6
/proc/30082/task/30088/stat : 30088 (java) S 30079 30082 26594 0 -1 1077944384 13056 0 0 0 813 95 0 0 20 0 16 0 38862308 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267666549776 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30089] ppid=30079 vsize=10727700 memory=4009604 CPUtime=2.16 cores=0,2,4,6
/proc/30082/task/30089/stat : 30089 (java) S 30079 30082 26594 0 -1 1077944384 15492 0 0 0 212 4 0 0 20 0 16 0 38862309 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267276933232 140267717098114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30090] ppid=30079 vsize=10727700 memory=4009604 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30090/stat : 30090 (java) S 30079 30082 26594 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 38862309 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267275879264 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30091] ppid=30079 vsize=10727700 memory=12972 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30091/stat : 30091 (java) S 30079 30082 26594 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 38862310 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267274826880 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30092] ppid=30079 vsize=10727700 memory=4638824595605579372 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30092/stat : 30092 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267273775184 140267717105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30093] ppid=30079 vsize=10727700 memory=137 CPUtime=1.37 cores=0,2,4,6
/proc/30082/task/30093/stat : 30093 (java) S 30079 30082 26594 0 -1 1077944384 8021 0 0 0 137 0 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267272723056 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30094] ppid=30079 vsize=10727700 memory=4140 CPUtime=1.33 cores=0,2,4,6
/proc/30082/task/30094/stat : 30094 (java) S 30079 30082 26594 0 -1 1077944384 5374 0 0 0 132 1 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267271670256 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30095] ppid=30079 vsize=10727700 memory=13840 CPUtime=0.52 cores=0,2,4,6
/proc/30082/task/30095/stat : 30095 (java) S 30079 30082 26594 0 -1 1077944384 4491 0 0 0 51 1 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267270617968 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30096] ppid=30079 vsize=10727700 memory=12972 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30096/stat : 30096 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267269565408 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30097] ppid=30079 vsize=10727700 memory=796 CPUtime=1.32 cores=0,2,4,6
/proc/30082/task/30097/stat : 30097 (java) S 30079 30082 26594 0 -1 1077944384 2049 0 0 0 68 64 0 0 20 0 16 0 38862312 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267268512176 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30098] ppid=30079 vsize=10727700 memory=4009604 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30098/stat : 30098 (java) S 30079 30082 26594 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 38862956 10985164800 1002401 33554432000 4194304 4196468 140730170054768 140267265360560 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4009604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2368.55 s]
# the end of solver process 30082 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.79 s, system=4.55541 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2368.41 s]
/proc/loadavg: 2.09 2.07 2.31 3/218 30358
/proc/meminfo: memFree=15883432/32770624 swapFree=67108860/67108860
[pid=30082] ppid=30079 vsize=10927392 memory=4009924 CPUtime=2400.15 cores=0,2,4,6
/proc/30082/stat : 30082 (java) S 30079 30082 26594 0 -1 1077944320 190303 0 0 0 239562 453 0 0 20 0 17 0 38862306 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140730170037312 140267717086967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
/proc/30082/statm: 2731848 1002481 3180 1 0 2694339 0
[pid=30082/tid=30084] ppid=30079 vsize=10927392 memory=796 CPUtime=2357.02 cores=0,2,4,6
/proc/30082/task/30084/stat : 30084 (java) R 30079 30082 26594 0 -1 4202560 88477 0 0 0 235684 18 0 0 20 0 17 0 38862307 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267721325752 140267340570547 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30085] ppid=30079 vsize=10927392 memory=4140 CPUtime=9.05 cores=0,2,4,6
/proc/30082/task/30085/stat : 30085 (java) S 30079 30082 26594 0 -1 1077944384 17842 0 0 0 815 90 0 0 20 0 17 0 38862308 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267669707664 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30086] ppid=30079 vsize=10927392 memory=6791534058613427641 CPUtime=9.08 cores=0,2,4,6
/proc/30082/task/30086/stat : 30086 (java) S 30079 30082 26594 0 -1 1077944384 18242 0 0 0 818 90 0 0 20 0 17 0 38862308 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267668654864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30087] ppid=30079 vsize=10927392 memory=4009604 CPUtime=9.1 cores=0,2,4,6
/proc/30082/task/30087/stat : 30087 (java) S 30079 30082 26594 0 -1 1077944384 14050 0 0 0 816 94 0 0 20 0 17 0 38862308 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267667602576 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30088] ppid=30079 vsize=10927392 memory=1408 CPUtime=9.08 cores=0,2,4,6
/proc/30082/task/30088/stat : 30088 (java) S 30079 30082 26594 0 -1 1077944384 13056 0 0 0 813 95 0 0 20 0 17 0 38862308 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267666549776 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30089] ppid=30079 vsize=10927392 memory=3328 CPUtime=2.16 cores=0,2,4,6
/proc/30082/task/30089/stat : 30089 (java) S 30079 30082 26594 0 -1 1077944384 15526 0 0 0 212 4 0 0 20 0 17 0 38862309 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267276933232 140267717098114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30090] ppid=30079 vsize=10927392 memory=4009604 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30090/stat : 30090 (java) S 30079 30082 26594 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 38862309 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267275879264 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30091] ppid=30079 vsize=10927392 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30091/stat : 30091 (java) S 30079 30082 26594 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 38862310 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267274826880 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30092] ppid=30079 vsize=10927392 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30092/stat : 30092 (java) S 30079 30082 26594 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267273775184 140267717105563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30093] ppid=30079 vsize=10927392 memory=5408 CPUtime=1.37 cores=0,2,4,6
/proc/30082/task/30093/stat : 30093 (java) S 30079 30082 26594 0 -1 1077944384 8259 0 0 0 137 0 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267272723056 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30094] ppid=30079 vsize=10927392 memory=4612 CPUtime=1.33 cores=0,2,4,6
/proc/30082/task/30094/stat : 30094 (java) S 30079 30082 26594 0 -1 1077944384 5515 0 0 0 132 1 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267271670256 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30095] ppid=30079 vsize=10927392 memory=844 CPUtime=0.53 cores=0,2,4,6
/proc/30082/task/30095/stat : 30095 (java) S 30079 30082 26594 0 -1 1077944384 5191 0 0 0 52 1 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267270617968 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30096] ppid=30079 vsize=10927392 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30096/stat : 30096 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267269565408 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30097] ppid=30079 vsize=10927392 memory=920 CPUtime=1.32 cores=0,2,4,6
/proc/30082/task/30097/stat : 30097 (java) S 30079 30082 26594 0 -1 1077944384 2049 0 0 0 68 64 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267268512176 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
Current children cumulated CPU time: 2400.15 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4009924 KiB
[startup+2368.5 s]
/proc/loadavg: 2.09 2.07 2.31 3/218 30358
/proc/meminfo: memFree=15883432/32770624 swapFree=67108860/67108860
[pid=30082] ppid=30079 vsize=10927392 memory=4009924 CPUtime=2400.25 cores=0,2,4,6
/proc/30082/stat : 30082 (java) S 30079 30082 26594 0 -1 1077944320 190309 0 0 0 239572 453 0 0 20 0 17 0 38862306 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140730170037312 140267717086967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
/proc/30082/statm: 2731848 1002481 3180 1 0 2694339 0
[pid=30082/tid=30084] ppid=30079 vsize=10927392 memory=4638824595605579372 CPUtime=2357.11 cores=0,2,4,6
/proc/30082/task/30084/stat : 30084 (java) R 30079 30082 26594 0 -1 4202560 88478 0 0 0 235693 18 0 0 20 0 17 0 38862307 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267721325752 140267346338896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30085] ppid=30079 vsize=10927392 memory=4009604 CPUtime=9.05 cores=0,2,4,6
/proc/30082/task/30085/stat : 30085 (java) S 30079 30082 26594 0 -1 1077944384 17842 0 0 0 815 90 0 0 20 0 17 0 38862308 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267669707664 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30086] ppid=30079 vsize=10927392 memory=4009604 CPUtime=9.08 cores=0,2,4,6
/proc/30082/task/30086/stat : 30086 (java) S 30079 30082 26594 0 -1 1077944384 18242 0 0 0 818 90 0 0 20 0 17 0 38862308 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267668654864 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30087] ppid=30079 vsize=10927392 memory=4009604 CPUtime=9.1 cores=0,2,4,6
/proc/30082/task/30087/stat : 30087 (java) S 30079 30082 26594 0 -1 1077944384 14050 0 0 0 816 94 0 0 20 0 17 0 38862308 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267667602576 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30088] ppid=30079 vsize=10927392 memory=4009604 CPUtime=9.08 cores=0,2,4,6
/proc/30082/task/30088/stat : 30088 (java) S 30079 30082 26594 0 -1 1077944384 13056 0 0 0 813 95 0 0 20 0 17 0 38862308 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267666549776 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30089] ppid=30079 vsize=10927392 memory=4009604 CPUtime=2.16 cores=0,2,4,6
/proc/30082/task/30089/stat : 30089 (java) S 30079 30082 26594 0 -1 1077944384 15526 0 0 0 212 4 0 0 20 0 17 0 38862309 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267276933232 140267717098114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30090] ppid=30079 vsize=10927392 memory=4009604 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30090/stat : 30090 (java) S 30079 30082 26594 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 38862309 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267275879264 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30091] ppid=30079 vsize=10927392 memory=4009604 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30091/stat : 30091 (java) S 30079 30082 26594 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 38862310 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267274826880 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30092] ppid=30079 vsize=10927392 memory=4009604 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30092/stat : 30092 (java) S 30079 30082 26594 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267273775184 140267717105563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30093] ppid=30079 vsize=10927392 memory=12972 CPUtime=1.37 cores=0,2,4,6
/proc/30082/task/30093/stat : 30093 (java) S 30079 30082 26594 0 -1 1077944384 8259 0 0 0 137 0 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267272723056 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30094] ppid=30079 vsize=10927392 memory=137 CPUtime=1.33 cores=0,2,4,6
/proc/30082/task/30094/stat : 30094 (java) S 30079 30082 26594 0 -1 1077944384 5515 0 0 0 132 1 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267271670256 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30095] ppid=30079 vsize=10927392 memory=12972 CPUtime=0.53 cores=0,2,4,6
/proc/30082/task/30095/stat : 30095 (java) S 30079 30082 26594 0 -1 1077944384 5191 0 0 0 52 1 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267270617968 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30096] ppid=30079 vsize=10927392 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30082/task/30096/stat : 30096 (java) S 30079 30082 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267269565408 140267717097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
[pid=30082/tid=30097] ppid=30079 vsize=10927392 memory=4140 CPUtime=1.32 cores=0,2,4,6
/proc/30082/task/30097/stat : 30097 (java) S 30079 30082 26594 0 -1 1077944384 2054 0 0 0 68 64 0 0 20 0 17 0 38862312 11189649408 1002481 33554432000 4194304 4196468 140730170054768 140267268512176 140267717098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6410240 140730170061937 140730170062089 140730170062089 140730170064847 0
Current children cumulated CPU time: 2400.25 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4009924 KiB
Child status: 143
Real time (s): 2368.55
CPU time (s): 2400.34
CPU user time (s): 2395.79
CPU system time (s): 4.55541
CPU usage (%): 101.342
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 4009924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.79
system time used= 4.55541
maximum resident set size= 4010104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191072
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54767
involuntary context switches= 2680
# summary of solver processes directly reported to runsolver:
# pid: 30082
# total CPU time (s): 2400.34
# total CPU user time (s): 2395.79
# total CPU system time (s): 4.55541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1519 second user time and 23.263 second system time
The end
Begin job on node137 at 2018-07-22 00:43:11 IDJOB=4289972 IDBENCH=141215 IDSOLVER=2742 FILE ID=node137/4289972-1532212991 RUNJOBID= node137-1532209965-29591 PBS_JOBID= 21018930 Free space on /tmp= 56888 MiB SOLVER NAME= Sat4j-CSP 2018-07-11 BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-1_c18.xml COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289972-1532212991/watcher-4289972-1532212991 -o /tmp/evaluation-result-4289972-1532212991/solver-4289972-1532212991 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532209965-29591 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289972-1532212991.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e8035d4b0abecbc1a78dd1ff35d13fe4 RANDOM SEED=346460415 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 16134188 kB MemAvailable: 26174952 kB Buffers: 218712 kB Cached: 10023608 kB SwapCached: 0 kB Active: 7360896 kB Inactive: 8691792 kB Active(anon): 5813016 kB Inactive(anon): 16948 kB Active(file): 1547880 kB Inactive(file): 8674844 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2488 kB Writeback: 0 kB AnonPages: 5565140 kB Mapped: 46792 kB Shmem: 17036 kB Slab: 273536 kB SReclaimable: 246500 kB SUnreclaim: 27036 kB KernelStack: 3792 kB PageTables: 15956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 6428328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 5431296 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 56888 MiB End job on node137 at 2018-07-22 01:22:40