Trace number 4262913

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
sat4j-CSP 2017-07-05SAT (TO)55 2520.3 2433.96

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-10-a3.xml
MD5SUM1a91370fd3edda64a19224a97cd9d854
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark11.9432
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints48
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":45},{"size":501,"count":10}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":8},{"degree":11,"count":2}]
Minimum constraint arity1
Maximum constraint arity45
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":45},{"arity":10,"count":1},{"arity":45,"count":1}]
Number of extensional constraints0
Number of intensional constraints46
Distribution of constraint types[{"type":"intension","count":46},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

78.45/29.20	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
78.45/29.20	c This is free software under the dual EPL/GNU LGPL licenses.
78.45/29.20	c See www.sat4j.org for details.
78.45/29.20	c That software uses the Rhino library from the Mozilla project.
78.45/29.20	c version CUSTOM.v20170705
78.45/29.20	c java.runtime.name	Java(TM) SE Runtime Environment
78.45/29.20	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
78.45/29.20	c java.vm.version	25.131-b11
78.45/29.20	c java.vm.vendor	Oracle Corporation
78.45/29.20	c sun.arch.data.model	64
78.45/29.20	c java.version		1.8.0_131
78.45/29.20	c os.name		Linux
78.45/29.20	c os.version		3.10.0-514.16.1.el7.x86_64
78.45/29.20	c os.arch		amd64
78.45/29.20	c Free memory 		499604488
78.45/29.20	c Max memory 		7247757312
78.45/29.20	c Total memory 		504889344
78.45/29.20	c Number of processors 	4
78.45/29.20	c c --- Begin Solver configuration ---
78.45/29.20	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
78.45/29.20	c Learn all clauses as in MiniSAT
78.45/29.20	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
78.45/29.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
78.45/29.20	c No reason simplification
78.45/29.20	c Glucose 2.1 dynamic restart strategy
78.45/29.20	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
78.45/29.20	c timeout=2147483s
78.45/29.20	c DB Simplification allowed=false
78.45/29.20	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
78.45/29.20	c --- End Solver configuration ---
78.45/29.20	c constraints type 
78.45/29.20	c org.sat4j.minisat.constraints.card.MinWatchCard => 110
78.45/29.20	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 495501
78.45/29.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 36076509
78.45/29.20	c org.sat4j.minisat.constraints.cnf.UnitClause => 110
78.45/29.20	c 36572230 constraints processed.
85.79/32.52	o 456
86.57/33.11	o 443
89.36/35.68	o 436
92.15/38.27	o 418
101.44/47.29	o 388
104.54/50.19	o 309
108.75/54.39	o 284
117.35/62.96	o 250
119.46/65.07	o 224
128.66/74.26	o 222
136.11/81.61	o 216
144.21/89.79	o 107
166.24/111.79	o 106
195.26/140.79	o 81
201.76/147.26	o 80
240.59/186.01	o 75
267.50/212.97	o 73
323.12/251.35	o 72
333.26/261.49	o 71
433.94/362.09	o 70
464.55/392.70	o 69
493.98/422.07	o 65
526.40/454.48	o 64
551.53/479.54	o 61
785.74/712.38	o 55
2520.21/2433.90	c starts		: 2558
2520.21/2433.90	c conflicts		: 983137
2520.21/2433.90	c decisions		: 45654106
2520.21/2433.90	c propagations		: 5960498170
2520.21/2433.90	c inspects		: 19935641285
2520.21/2433.91	c shortcuts		: 0
2520.21/2433.91	c learnt literals	: 1568
2520.21/2433.91	c learnt binary clauses	: 653
2520.21/2433.91	c learnt ternary clauses	: 1069
2520.21/2433.91	c learnt constraints	: 981569
2520.21/2433.91	c ignored constraints	: 0
2520.21/2433.91	c root simplifications	: 0
2520.21/2433.91	c removed literals (reason simplification)	: 0
2520.21/2433.91	c reason swapping (by a shorter reason)	: 0
2520.21/2433.91	c Calls to reduceDB	: 79
2520.21/2433.91	c Number of update (reduction) of LBD	: 728286
2520.21/2433.91	c Imported unit clauses	: 0
2520.21/2433.91	c number of reductions to clauses (during analyze)	: 0
2520.21/2433.91	c number of learned constraints concerned by reduction	: 0
2520.21/2433.91	c number of learning phase by resolution	: 0
2520.21/2433.91	c number of learning phase by cutting planes	: 0
2520.21/2433.91	c number of rounding to 1 operations	: 0
2520.21/2433.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2520.21/2433.91	c number of reductions of the coefficients by power 2 	: 0
2520.21/2433.91	c number of right shift for reduction by power 2 	: 0
2520.21/2433.91	c number of reductions of the coefficients by GCD over coefficients 	: 0
2520.21/2433.91	c speed (assignments/second)	: 2478707.424688524
2520.21/2433.91	c non guided choices	789479
2520.21/2433.92	c learnt constraints type 
2520.21/2433.92	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 653
2520.21/2433.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 52269
2520.21/2433.92	s SATISFIABLE
2520.21/2433.93	v <instantiation type="solution">
2520.21/2433.93	v 	<list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] 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[0][9] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list>
2520.21/2433.93	v 	<values> 0 2 14 21 29 32 45 49 54 55 1 2 14 21 29 32 45 49 54 55 1 1 12 19 27 30 43 47 52 53 1 1 1 7 15 18 31 35 40 41 1 1 1 1 8 11 24 28 33 34 1 1 1 1 1 3 16 20 25 26 1 1 1 1 1 1 13 17 22 23 1 1 1 1 1 1 1 4 9 10 1 1 1 1 1 1 1 1 5 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 </values>
2520.21/2433.93	v </instantiation>
2520.21/2433.93

Verifier Data 

OK	55

Watcher Data 

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 (15163 MiB free)
  memory of node 1: 16384 MiB (15689 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262913-1502625519/watcher-4262913-1502625519 -o /tmp/evaluation-result-4262913-1502625519/solver-4262913-1502625519 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502619513-3999 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262913-1502625519.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=5489, runsolver pid=5486

[startup+0.100142 s]*
/proc/loadavg: 1.78 1.84 1.97 3/217 5504
/proc/meminfo: memFree=31576080/32770624 swapFree=67108860/67108860
[pid=5489] ppid=5486 vsize=10555400 memory=29348 CPUtime=0.12 cores=1,3,5,7
/proc/5489/stat : 5489 (java) S 5486 5489 1335 0 -1 1077944320 6934 0 0 0 11 1 0 0 20 0 15 0 95639757 10808729600 7337 33554432000 4194304 4196468 140735259338688 140735259321232 140089581321975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
/proc/5489/statm: 2638850 7337 2814 1 0 2627263 0
[pid=5489/tid=5491] ppid=5486 vsize=10555400 memory=-8196701287824659301 CPUtime=0.08 cores=1,3,5,7
/proc/5489/task/5491/stat : 5491 (java) R 5486 5489 1335 0 -1 4202560 4741 0 0 0 8 0 0 0 20 0 15 0 95639758 10808729600 7337 33554432000 4194304 4196468 140735259338688 140089585543744 140089565402462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5492] ppid=5486 vsize=10555400 memory=5793855530400586169 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5492/stat : 5492 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639758 10808729600 7337 33554432000 4194304 4196468 140735259338688 140089187732496 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5493] ppid=5486 vsize=10555400 memory=140279390692992 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5493/stat : 5493 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639758 10808729600 7337 33554432000 4194304 4196468 140735259338688 140089186679952 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5494] ppid=5486 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5494/stat : 5494 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639759 10808729600 7337 33554432000 4194304 4196468 140735259338688 140089185626896 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5495] ppid=5486 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5495/stat : 5495 (java) S 5486 5489 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95639759 10808729600 7337 33554432000 4194304 4196468 140735259338688 140089184574352 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5496] ppid=5486 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5496/stat : 5496 (java) S 5486 5489 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95639760 10808729600 7337 33554432000 4194304 4196468 140735259338688 140088886352112 140089581333122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5497] ppid=5486 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5497/stat : 5497 (java) S 5486 5489 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95639760 10808729600 7337 33554432000 4194304 4196468 140735259338688 140088885298336 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5498] ppid=5486 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5498/stat : 5498 (java) S 5486 5489 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95639761 10808729600 7337 33554432000 4194304 4196468 140735259338688 140088884245232 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5499] ppid=5486 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5499/stat : 5499 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95639763 10808729600 7337 33554432000 4194304 4196468 140735259338688 140088883193808 140089581340571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5500] ppid=5486 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5500/stat : 5500 (java) S 5486 5489 1335 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 95639763 10808729600 7337 33554432000 4194304 4196468 140735259338688 140088344308464 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5501] ppid=5486 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5501/stat : 5501 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95639763 10808729600 7337 33554432000 4194304 4196468 140735259338688 140088343255920 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5502] ppid=5486 vsize=10555400 memory=140279390692992 CPUtime=0.01 cores=1,3,5,7
/proc/5489/task/5502/stat : 5502 (java) R 5486 5489 1335 0 -1 4202560 385 0 0 0 1 0 0 0 20 0 15 0 95639763 10808729600 7337 33554432000 4194304 4196468 140735259338688 140088342202864 140089560240547 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5503] ppid=5486 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5503/stat : 5503 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95639763 10808729600 7337 33554432000 4194304 4196468 140735259338688 140088341150560 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5504] ppid=5486 vsize=10555400 memory=140279390692992 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5504/stat : 5504 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639763 10808729600 7337 33554432000 4194304 4196468 140735259338688 140088340097584 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29348 KiB

[startup+0.21065 s]*
/proc/loadavg: 1.78 1.84 1.97 4/217 5504
/proc/meminfo: memFree=31569056/32770624 swapFree=67108860/67108860
[pid=5489] ppid=5486 vsize=10555400 memory=36536 CPUtime=0.28 cores=1,3,5,7
/proc/5489/stat : 5489 (java) S 5486 5489 1335 0 -1 1077944320 7916 0 0 0 26 2 0 0 20 0 15 0 95639757 10808729600 9134 33554432000 4194304 4196468 140735259338688 140735259321232 140089581321975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
/proc/5489/statm: 2638850 9134 2926 1 0 2627263 0
[pid=5489/tid=5491] ppid=5486 vsize=10555400 memory=-3103912127665269909 CPUtime=0.19 cores=1,3,5,7
/proc/5489/task/5491/stat : 5491 (java) R 5486 5489 1335 0 -1 4202560 5416 0 0 0 18 1 0 0 20 0 15 0 95639758 10808729600 9134 33554432000 4194304 4196468 140735259338688 140089585553088 140089567389601 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5492] ppid=5486 vsize=10555400 memory=4211974005595483530 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5492/stat : 5492 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639758 10808729600 9134 33554432000 4194304 4196468 140735259338688 140089187732496 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5493] ppid=5486 vsize=10555400 memory=140279390692992 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5493/stat : 5493 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639758 10808729600 9134 33554432000 4194304 4196468 140735259338688 140089186679952 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5494] ppid=5486 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5494/stat : 5494 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639759 10808729600 9134 33554432000 4194304 4196468 140735259338688 140089185626896 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5495] ppid=5486 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5495/stat : 5495 (java) S 5486 5489 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95639759 10808729600 9134 33554432000 4194304 4196468 140735259338688 140089184574352 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5496] ppid=5486 vsize=10555400 memory=140279390692992 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5496/stat : 5496 (java) S 5486 5489 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95639760 10808729600 9134 33554432000 4194304 4196468 140735259338688 140088886352112 140089581333122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5497] ppid=5486 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5497/stat : 5497 (java) S 5486 5489 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95639760 10808729600 9134 33554432000 4194304 4196468 140735259338688 140088885298336 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5498] ppid=5486 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5498/stat : 5498 (java) S 5486 5489 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95639761 10808729600 9134 33554432000 4194304 4196468 140735259338688 140088884245232 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5499] ppid=5486 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5499/stat : 5499 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95639763 10808729600 9134 33554432000 4194304 4196468 140735259338688 140088883193808 140089581340571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5500] ppid=5486 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5489/task/5500/stat : 5500 (java) S 5486 5489 1335 0 -1 1077944384 567 0 0 0 2 0 0 0 20 0 15 0 95639763 10808729600 9134 33554432000 4194304 4196468 140735259338688 140088344308464 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5501] ppid=5486 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5501/stat : 5501 (java) S 5486 5489 1335 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 95639763 10808729600 9134 33554432000 4194304 4196468 140735259338688 140088343255920 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5502] ppid=5486 vsize=10555400 memory=140279390692992 CPUtime=0.05 cores=1,3,5,7
/proc/5489/task/5502/stat : 5502 (java) R 5486 5489 1335 0 -1 4202560 491 0 0 0 5 0 0 0 20 0 15 0 95639763 10808729600 9134 33554432000 4194304 4196468 140735259338688 140088342202864 140089581333910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5503] ppid=5486 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5503/stat : 5503 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95639763 10808729600 9134 33554432000 4194304 4196468 140735259338688 140088341150560 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5504] ppid=5486 vsize=10555400 memory=140279390692992 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5504/stat : 5504 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639763 10808729600 9134 33554432000 4194304 4196468 140735259338688 140088340097584 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 36536 KiB

[startup+0.310284 s]*
/proc/loadavg: 1.78 1.84 1.97 5/217 5504
/proc/meminfo: memFree=31560248/32770624 swapFree=67108860/67108860
[pid=5489] ppid=5486 vsize=10555476 memory=46080 CPUtime=0.5 cores=1,3,5,7
/proc/5489/stat : 5489 (java) S 5486 5489 1335 0 -1 1077944320 9241 0 0 0 47 3 0 0 20 0 15 0 95639757 10808807424 11520 33554432000 4194304 4196468 140735259338688 140735259321232 140089581321975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
/proc/5489/statm: 2638869 11520 3034 1 0 2627263 0
[pid=5489/tid=5491] ppid=5486 vsize=10555476 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/5489/task/5491/stat : 5491 (java) R 5486 5489 1335 0 -1 4202560 5810 0 0 0 28 2 0 0 20 0 15 0 95639758 10808807424 11520 33554432000 4194304 4196468 140735259338688 140089585558432 140089565632828 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5492] ppid=5486 vsize=10555476 memory=4211974005595483530 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5492/stat : 5492 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639758 10808807424 11520 33554432000 4194304 4196468 140735259338688 140089187732496 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5493] ppid=5486 vsize=10555476 memory=140279390695164 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5493/stat : 5493 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639758 10808807424 11520 33554432000 4194304 4196468 140735259338688 140089186679952 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5494] ppid=5486 vsize=10555476 memory=140279269143331 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5494/stat : 5494 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639759 10808807424 11520 33554432000 4194304 4196468 140735259338688 140089185626896 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5495] ppid=5486 vsize=10555476 memory=140279269150159 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5495/stat : 5495 (java) S 5486 5489 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95639759 10808807424 11520 33554432000 4194304 4196468 140735259338688 140089184574352 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5496] ppid=5486 vsize=10555476 memory=140279390695344 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5496/stat : 5496 (java) S 5486 5489 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95639760 10808807424 11520 33554432000 4194304 4196468 140735259338688 140088886352112 140089581333122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5497] ppid=5486 vsize=10555476 memory=140279269159343 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5497/stat : 5497 (java) S 5486 5489 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95639760 10808807424 11520 33554432000 4194304 4196468 140735259338688 140088885298336 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5498] ppid=5486 vsize=10555476 memory=280558538309520 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5498/stat : 5498 (java) S 5486 5489 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95639761 10808807424 11520 33554432000 4194304 4196468 140735259338688 140088884245232 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5499] ppid=5486 vsize=10555476 memory=280558538307216 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5499/stat : 5499 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95639763 10808807424 11520 33554432000 4194304 4196468 140735259338688 140088883193808 140089581340571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5500] ppid=5486 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5489/task/5500/stat : 5500 (java) R 5486 5489 1335 0 -1 1077944384 844 0 0 0 4 0 0 0 20 0 15 0 95639763 10808807424 11520 33554432000 4194304 4196468 140735259338688 140088344308464 140089581333122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5501] ppid=5486 vsize=10555476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5489/task/5501/stat : 5501 (java) R 5486 5489 1335 0 -1 4202560 294 0 0 0 2 0 0 0 20 0 15 0 95639763 10808807424 11520 33554432000 4194304 4196468 140735259338688 140088343255920 140089560978384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5502] ppid=5486 vsize=10555476 memory=140279390692992 CPUtime=0.11 cores=1,3,5,7
/proc/5489/task/5502/stat : 5502 (java) R 5486 5489 1335 0 -1 4202560 949 0 0 0 11 0 0 0 20 0 15 0 95639763 10808807424 11520 33554432000 4194304 4196468 140735259338688 140088342202864 140089581343322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5503] ppid=5486 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5503/stat : 5503 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95639763 10808807424 11520 33554432000 4194304 4196468 140735259338688 140088341150560 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5504] ppid=5486 vsize=10555476 memory=140279390692992 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5504/stat : 5504 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639763 10808807424 11520 33554432000 4194304 4196468 140735259338688 140088340097584 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46080 KiB

[startup+0.700831 s]
/proc/loadavg: 1.78 1.84 1.97 5/217 5504
/proc/meminfo: memFree=31487520/32770624 swapFree=67108860/67108860
[pid=5489] ppid=5486 vsize=10555476 memory=234116 CPUtime=1.63 cores=1,3,5,7
/proc/5489/stat : 5489 (java) S 5486 5489 1335 0 -1 1077944320 11455 0 0 0 151 12 0 0 20 0 15 0 95639757 10808807424 58529 33554432000 4194304 4196468 140735259338688 140735259321232 140089581321975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
/proc/5489/statm: 2638869 58529 3098 1 0 2627263 0
[pid=5489/tid=5491] ppid=5486 vsize=10555476 memory=8532 CPUtime=0.6 cores=1,3,5,7
/proc/5489/task/5491/stat : 5491 (java) R 5486 5489 1335 0 -1 4202560 5936 0 0 0 57 3 0 0 20 0 15 0 95639758 10808807424 58529 33554432000 4194304 4196468 140735259338688 140089585555344 140089220678272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5492] ppid=5486 vsize=10555476 memory=4616 CPUtime=0.06 cores=1,3,5,7
/proc/5489/task/5492/stat : 5492 (java) S 5486 5489 1335 0 -1 1077944384 42 0 0 0 5 1 0 0 20 0 15 0 95639758 10808807424 58529 33554432000 4194304 4196468 140735259338688 140089187732496 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5493] ppid=5486 vsize=10555476 memory=2241 CPUtime=0.06 cores=1,3,5,7
/proc/5489/task/5493/stat : 5493 (java) S 5486 5489 1335 0 -1 1077944384 39 0 0 0 5 1 0 0 20 0 15 0 95639758 10808807424 58529 33554432000 4194304 4196468 140735259338688 140089186679952 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5494] ppid=5486 vsize=10555476 memory=2244 CPUtime=0.06 cores=1,3,5,7
/proc/5489/task/5494/stat : 5494 (java) S 5486 5489 1335 0 -1 1077944384 33 0 0 0 5 1 0 0 20 0 15 0 95639759 10808807424 58529 33554432000 4194304 4196468 140735259338688 140089185626896 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5495] ppid=5486 vsize=10555476 memory=1004 CPUtime=0.06 cores=1,3,5,7
/proc/5489/task/5495/stat : 5495 (java) S 5486 5489 1335 0 -1 1077944384 36 0 0 0 5 1 0 0 20 0 15 0 95639759 10808807424 58529 33554432000 4194304 4196468 140735259338688 140089184574352 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5496] ppid=5486 vsize=10555476 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5496/stat : 5496 (java) S 5486 5489 1335 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95639760 10808807424 58529 33554432000 4194304 4196468 140735259338688 140088886352112 140089581333122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5497] ppid=5486 vsize=10555476 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5497/stat : 5497 (java) S 5486 5489 1335 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 95639760 10808807424 58529 33554432000 4194304 4196468 140735259338688 140088885298336 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5498] ppid=5486 vsize=10555476 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5498/stat : 5498 (java) S 5486 5489 1335 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 95639761 10808807424 58529 33554432000 4194304 4196468 140735259338688 140088884245232 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5499] ppid=5486 vsize=10555476 memory=20036 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5499/stat : 5499 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95639763 10808807424 58529 33554432000 4194304 4196468 140735259338688 140088883193808 140089581340571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5500] ppid=5486 vsize=10555476 memory=1436 CPUtime=0.27 cores=1,3,5,7
/proc/5489/task/5500/stat : 5500 (java) R 5486 5489 1335 0 -1 1077944384 1587 0 0 0 27 0 0 0 20 0 15 0 95639763 10808807424 58529 33554432000 4194304 4196468 140735259338688 140088344308464 140089581333122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5501] ppid=5486 vsize=10555476 memory=1200 CPUtime=0.29 cores=1,3,5,7
/proc/5489/task/5501/stat : 5501 (java) S 5486 5489 1335 0 -1 1077944384 1258 0 0 0 29 0 0 0 20 0 15 0 95639763 10808807424 58529 33554432000 4194304 4196468 140735259338688 140088343255920 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5502] ppid=5486 vsize=10555476 memory=15872 CPUtime=0.16 cores=1,3,5,7
/proc/5489/task/5502/stat : 5502 (java) S 5486 5489 1335 0 -1 1077944384 1079 0 0 0 16 0 0 0 20 0 15 0 95639763 10808807424 58529 33554432000 4194304 4196468 140735259338688 140088342200656 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5503] ppid=5486 vsize=10555476 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5503/stat : 5503 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95639763 10808807424 58529 33554432000 4194304 4196468 140735259338688 140088341150560 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5504] ppid=5486 vsize=10555476 memory=16504 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5504/stat : 5504 (java) S 5486 5489 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95639763 10808807424 58529 33554432000 4194304 4196468 140735259338688 140088340097584 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 234116 KiB

[startup+1.50071 s]
/proc/loadavg: 1.78 1.84 1.97 3/217 5504
/proc/meminfo: memFree=31272856/32770624 swapFree=67108860/67108860
[pid=5489] ppid=5486 vsize=10555476 memory=616848 CPUtime=3.58 cores=1,3,5,7
/proc/5489/stat : 5489 (java) S 5486 5489 1335 0 -1 1077944320 12341 0 0 0 316 42 0 0 20 0 15 0 95639757 10808807424 154212 33554432000 4194304 4196468 140735259338688 140735259321232 140089581321975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
/proc/5489/statm: 2638869 154212 3111 1 0 2627263 0
[pid=5489/tid=5491] ppid=5486 vsize=10555476 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/5489/task/5491/stat : 5491 (java) S 5486 5489 1335 0 -1 1077944384 6002 0 0 0 103 4 0 0 20 0 15 0 95639758 10808807424 154212 33554432000 4194304 4196468 140735259338688 140089585555424 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5492] ppid=5486 vsize=10555476 memory=664970774370811553 CPUtime=0.39 cores=1,3,5,7
/proc/5489/task/5492/stat : 5492 (java) R 5486 5489 1335 0 -1 4202560 228 0 0 0 31 8 0 0 20 0 15 0 95639758 10808807424 154212 33554432000 4194304 4196468 140735259338688 140089187732384 140089573950183 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5493] ppid=5486 vsize=10555476 memory=667957 CPUtime=0.39 cores=1,3,5,7
/proc/5489/task/5493/stat : 5493 (java) R 5486 5489 1335 0 -1 4202560 274 0 0 0 30 9 0 0 20 0 15 0 95639758 10808807424 154212 33554432000 4194304 4196468 140735259338688 140089186680152 140089573950183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5494] ppid=5486 vsize=10555476 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/5489/task/5494/stat : 5494 (java) R 5486 5489 1335 0 -1 4202560 211 0 0 0 30 9 0 0 20 0 15 0 95639759 10808807424 154212 33554432000 4194304 4196468 140735259338688 140089185626896 140089560518296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5495] ppid=5486 vsize=10555476 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/5489/task/5495/stat : 5495 (java) R 5486 5489 1335 0 -1 4202560 218 0 0 0 30 9 0 0 20 0 15 0 95639759 10808807424 154212 33554432000 4194304 4196468 140735259338688 140089184574472 140089573950183 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5496] ppid=5486 vsize=10555476 memory=-6948614817169703622 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5496/stat : 5496 (java) S 5486 5489 1335 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 95639760 10808807424 154212 33554432000 4194304 4196468 140735259338688 140088886350624 140089581332181 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0

################
# More data... #
################

/proc/5489/task/5493/stat : 5493 (java) S 5486 5489 1335 0 -1 1077944384 13407 0 0 0 2599 126 0 0 20 0 16 0 95639758 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140089186679952 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5494] ppid=5486 vsize=10622040 memory=6495188 CPUtime=27.11 cores=1,3,5,7
/proc/5489/task/5494/stat : 5494 (java) S 5486 5489 1335 0 -1 1077944384 16333 0 0 0 2576 135 0 0 20 0 16 0 95639759 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140089185626896 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5495] ppid=5486 vsize=10622040 memory=6495188 CPUtime=27.1 cores=1,3,5,7
/proc/5489/task/5495/stat : 5495 (java) S 5486 5489 1335 0 -1 1077944384 12483 0 0 0 2581 129 0 0 20 0 16 0 95639759 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140089184574352 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5496] ppid=5486 vsize=10622040 memory=6495188 CPUtime=7.61 cores=1,3,5,7
/proc/5489/task/5496/stat : 5496 (java) S 5486 5489 1335 0 -1 1077944384 21342 0 0 0 757 4 0 0 20 0 16 0 95639760 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088886352112 140089581333122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5497] ppid=5486 vsize=10622040 memory=6495188 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5497/stat : 5497 (java) S 5486 5489 1335 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 95639760 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088885298400 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5498] ppid=5486 vsize=10622040 memory=6495188 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5498/stat : 5498 (java) S 5486 5489 1335 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 95639761 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088884245248 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5499] ppid=5486 vsize=10622040 memory=6495188 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5499/stat : 5499 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088883193808 140089581340571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5500] ppid=5486 vsize=10622040 memory=47253230201600 CPUtime=1.4 cores=1,3,5,7
/proc/5489/task/5500/stat : 5500 (java) S 5486 5489 1335 0 -1 1077944384 5643 0 0 0 139 1 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088344308464 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5501] ppid=5486 vsize=10622040 memory=6495188 CPUtime=1.64 cores=1,3,5,7
/proc/5489/task/5501/stat : 5501 (java) S 5486 5489 1335 0 -1 1077944384 7480 0 0 0 162 2 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088343255920 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5502] ppid=5486 vsize=10622040 memory=1200 CPUtime=0.35 cores=1,3,5,7
/proc/5489/task/5502/stat : 5502 (java) S 5486 5489 1335 0 -1 1077944384 5244 0 0 0 33 2 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088342202864 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5503] ppid=5486 vsize=10622040 memory=6504 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5503/stat : 5503 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088341150560 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5504] ppid=5486 vsize=10622040 memory=836 CPUtime=1.48 cores=1,3,5,7
/proc/5489/task/5504/stat : 5504 (java) S 5486 5489 1335 0 -1 1077944384 2325 0 0 0 68 80 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088340097584 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5505] ppid=5486 vsize=10622040 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5505/stat : 5505 (java) S 5486 5489 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95642680 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088339043376 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
Current children cumulated CPU time: 2468.56 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 6495188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2433.7 s]
/proc/loadavg: 2.18 2.09 2.06 3/218 5678
/proc/meminfo: memFree=24730312/32770624 swapFree=67108860/67108860
[pid=5489] ppid=5486 vsize=10622040 memory=6495188 CPUtime=2520 cores=1,3,5,7
/proc/5489/stat : 5489 (java) S 5486 5489 1335 0 -1 1077944320 283428 0 0 0 251373 627 0 0 20 0 16 0 95639757 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140735259321232 140089581321975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
/proc/5489/statm: 2655510 1623797 3159 1 0 2643904 0
[pid=5489/tid=5491] ppid=5486 vsize=10622040 memory=4132 CPUtime=2398.87 cores=1,3,5,7
/proc/5489/task/5491/stat : 5491 (java) R 5486 5489 1335 0 -1 4202560 182825 0 0 0 239857 30 0 0 20 0 16 0 95639758 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140089585560992 140089221834069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5492] ppid=5486 vsize=10622040 memory=6495188 CPUtime=27.05 cores=1,3,5,7
/proc/5489/task/5492/stat : 5492 (java) S 5486 5489 1335 0 -1 1077944384 14856 0 0 0 2576 129 0 0 20 0 16 0 95639758 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140089187732496 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5493] ppid=5486 vsize=10622040 memory=6495188 CPUtime=27.25 cores=1,3,5,7
/proc/5489/task/5493/stat : 5493 (java) S 5486 5489 1335 0 -1 1077944384 13407 0 0 0 2599 126 0 0 20 0 16 0 95639758 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140089186679952 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5494] ppid=5486 vsize=10622040 memory=6495188 CPUtime=27.11 cores=1,3,5,7
/proc/5489/task/5494/stat : 5494 (java) S 5486 5489 1335 0 -1 1077944384 16333 0 0 0 2576 135 0 0 20 0 16 0 95639759 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140089185626896 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5495] ppid=5486 vsize=10622040 memory=6495188 CPUtime=27.1 cores=1,3,5,7
/proc/5489/task/5495/stat : 5495 (java) S 5486 5489 1335 0 -1 1077944384 12483 0 0 0 2581 129 0 0 20 0 16 0 95639759 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140089184574352 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5496] ppid=5486 vsize=10622040 memory=6495188 CPUtime=7.61 cores=1,3,5,7
/proc/5489/task/5496/stat : 5496 (java) S 5486 5489 1335 0 -1 1077944384 21347 0 0 0 757 4 0 0 20 0 16 0 95639760 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088886352112 140089581333122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5497] ppid=5486 vsize=10622040 memory=6495188 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5497/stat : 5497 (java) S 5486 5489 1335 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 95639760 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088885298400 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5498] ppid=5486 vsize=10622040 memory=6495188 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5498/stat : 5498 (java) S 5486 5489 1335 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 95639761 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088884245248 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5499] ppid=5486 vsize=10622040 memory=6495188 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5499/stat : 5499 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088883193808 140089581340571 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5500] ppid=5486 vsize=10622040 memory=6495188 CPUtime=1.4 cores=1,3,5,7
/proc/5489/task/5500/stat : 5500 (java) S 5486 5489 1335 0 -1 1077944384 5648 0 0 0 139 1 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088344308464 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5501] ppid=5486 vsize=10622040 memory=15872 CPUtime=1.64 cores=1,3,5,7
/proc/5489/task/5501/stat : 5501 (java) S 5486 5489 1335 0 -1 1077944384 7483 0 0 0 162 2 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088343255920 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5502] ppid=5486 vsize=10622040 memory=6495188 CPUtime=0.35 cores=1,3,5,7
/proc/5489/task/5502/stat : 5502 (java) S 5486 5489 1335 0 -1 1077944384 5250 0 0 0 33 2 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088342202864 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5503] ppid=5486 vsize=10622040 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5503/stat : 5503 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088341150560 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5504] ppid=5486 vsize=10622040 memory=6495188 CPUtime=1.52 cores=1,3,5,7
/proc/5489/task/5504/stat : 5504 (java) S 5486 5489 1335 0 -1 1077944384 2353 0 0 0 69 83 0 0 20 0 16 0 95639763 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088340097584 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5505] ppid=5486 vsize=10622040 memory=6495188 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5505/stat : 5505 (java) S 5486 5489 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95642680 10876968960 1623797 33554432000 4194304 4196468 140735259338688 140088339043376 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 6495188 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2433.96 s]
# the end of solver process 5489 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514 s, system=6.30206 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2433.81 s]
/proc/loadavg: 2.18 2.09 2.06 3/218 5678
/proc/meminfo: memFree=24730312/32770624 swapFree=67108860/67108860
[pid=5489] ppid=5486 vsize=10821732 memory=6495500 CPUtime=2520.11 cores=1,3,5,7
/proc/5489/stat : 5489 (java) S 5486 5489 1335 0 -1 1077944320 285337 0 0 0 251384 627 0 0 20 0 17 0 95639757 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140735259321232 140089581321975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
/proc/5489/statm: 2705433 1623875 3161 1 0 2693827 0
[pid=5489/tid=5491] ppid=5486 vsize=10821732 memory=27936 CPUtime=2398.97 cores=1,3,5,7
/proc/5489/task/5491/stat : 5491 (java) R 5486 5489 1335 0 -1 4202560 183324 0 0 0 239867 30 0 0 20 0 17 0 95639758 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140089585558312 140089222568368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5492] ppid=5486 vsize=10821732 memory=2332 CPUtime=27.05 cores=1,3,5,7
/proc/5489/task/5492/stat : 5492 (java) S 5486 5489 1335 0 -1 1077944384 14856 0 0 0 2576 129 0 0 20 0 17 0 95639758 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140089187732496 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5493] ppid=5486 vsize=10821732 memory=1292 CPUtime=27.25 cores=1,3,5,7
/proc/5489/task/5493/stat : 5493 (java) S 5486 5489 1335 0 -1 1077944384 13407 0 0 0 2599 126 0 0 20 0 17 0 95639758 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140089186679952 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5494] ppid=5486 vsize=10821732 memory=1728 CPUtime=27.11 cores=1,3,5,7
/proc/5489/task/5494/stat : 5494 (java) S 5486 5489 1335 0 -1 1077944384 16333 0 0 0 2576 135 0 0 20 0 17 0 95639759 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140089185626896 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5495] ppid=5486 vsize=10821732 memory=5788 CPUtime=27.1 cores=1,3,5,7
/proc/5489/task/5495/stat : 5495 (java) S 5486 5489 1335 0 -1 1077944384 12483 0 0 0 2581 129 0 0 20 0 17 0 95639759 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140089184574352 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5496] ppid=5486 vsize=10821732 memory=1228 CPUtime=7.61 cores=1,3,5,7
/proc/5489/task/5496/stat : 5496 (java) S 5486 5489 1335 0 -1 1077944384 21391 0 0 0 757 4 0 0 20 0 17 0 95639760 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088886352112 140089581333122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5497] ppid=5486 vsize=10821732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5497/stat : 5497 (java) S 5486 5489 1335 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 95639760 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088885298400 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5498] ppid=5486 vsize=10821732 memory=10020 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5498/stat : 5498 (java) S 5486 5489 1335 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 17 0 95639761 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088884245248 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5499] ppid=5486 vsize=10821732 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5499/stat : 5499 (java) S 5486 5489 1335 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088883193808 140089581340571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5500] ppid=5486 vsize=10821732 memory=8532 CPUtime=1.4 cores=1,3,5,7
/proc/5489/task/5500/stat : 5500 (java) S 5486 5489 1335 0 -1 1077944384 5873 0 0 0 139 1 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088344308464 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5501] ppid=5486 vsize=10821732 memory=4616 CPUtime=1.64 cores=1,3,5,7
/proc/5489/task/5501/stat : 5501 (java) S 5486 5489 1335 0 -1 1077944384 7483 0 0 0 162 2 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088343255920 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5502] ppid=5486 vsize=10821732 memory=1720 CPUtime=0.36 cores=1,3,5,7
/proc/5489/task/5502/stat : 5502 (java) S 5486 5489 1335 0 -1 1077944384 5722 0 0 0 34 2 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088342202864 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5503] ppid=5486 vsize=10821732 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5503/stat : 5503 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088341150560 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5504] ppid=5486 vsize=10821732 memory=1436 CPUtime=1.52 cores=1,3,5,7
/proc/5489/task/5504/stat : 5504 (java) S 5486 5489 1335 0 -1 1077944384 2353 0 0 0 69 83 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088340097584 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 6495500 KiB

[startup+2433.9 s]
/proc/loadavg: 2.18 2.09 2.06 3/218 5678
/proc/meminfo: memFree=24730312/32770624 swapFree=67108860/67108860
[pid=5489] ppid=5486 vsize=10821732 memory=6495500 CPUtime=2520.21 cores=1,3,5,7
/proc/5489/stat : 5489 (java) S 5486 5489 1335 0 -1 1077944320 285400 0 0 0 251394 627 0 0 20 0 17 0 95639757 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140735259321232 140089581321975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
/proc/5489/statm: 2705433 1623875 3161 1 0 2693827 0
[pid=5489/tid=5491] ppid=5486 vsize=10821732 memory=6495188 CPUtime=2399.07 cores=1,3,5,7
/proc/5489/task/5491/stat : 5491 (java) R 5486 5489 1335 0 -1 4202560 183387 0 0 0 239877 30 0 0 20 0 17 0 95639758 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140089585558312 140089222568385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5492] ppid=5486 vsize=10821732 memory=6495188 CPUtime=27.05 cores=1,3,5,7
/proc/5489/task/5492/stat : 5492 (java) S 5486 5489 1335 0 -1 1077944384 14856 0 0 0 2576 129 0 0 20 0 17 0 95639758 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140089187732496 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5493] ppid=5486 vsize=10821732 memory=6495188 CPUtime=27.25 cores=1,3,5,7
/proc/5489/task/5493/stat : 5493 (java) S 5486 5489 1335 0 -1 1077944384 13407 0 0 0 2599 126 0 0 20 0 17 0 95639758 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140089186679952 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5494] ppid=5486 vsize=10821732 memory=6495188 CPUtime=27.11 cores=1,3,5,7
/proc/5489/task/5494/stat : 5494 (java) S 5486 5489 1335 0 -1 1077944384 16333 0 0 0 2576 135 0 0 20 0 17 0 95639759 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140089185626896 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5495] ppid=5486 vsize=10821732 memory=6495188 CPUtime=27.1 cores=1,3,5,7
/proc/5489/task/5495/stat : 5495 (java) S 5486 5489 1335 0 -1 1077944384 12483 0 0 0 2581 129 0 0 20 0 17 0 95639759 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140089184574352 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5496] ppid=5486 vsize=10821732 memory=6495188 CPUtime=7.61 cores=1,3,5,7
/proc/5489/task/5496/stat : 5496 (java) S 5486 5489 1335 0 -1 1077944384 21391 0 0 0 757 4 0 0 20 0 17 0 95639760 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088886352112 140089581333122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5497] ppid=5486 vsize=10821732 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5497/stat : 5497 (java) S 5486 5489 1335 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 95639760 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088885298400 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5498] ppid=5486 vsize=10821732 memory=6495188 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5498/stat : 5498 (java) S 5486 5489 1335 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 17 0 95639761 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088884245248 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5499] ppid=5486 vsize=10821732 memory=6495188 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5499/stat : 5499 (java) S 5486 5489 1335 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088883193808 140089581340571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5500] ppid=5486 vsize=10821732 memory=6495188 CPUtime=1.4 cores=1,3,5,7
/proc/5489/task/5500/stat : 5500 (java) S 5486 5489 1335 0 -1 1077944384 5873 0 0 0 139 1 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088344308464 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5501] ppid=5486 vsize=10821732 memory=15872 CPUtime=1.64 cores=1,3,5,7
/proc/5489/task/5501/stat : 5501 (java) S 5486 5489 1335 0 -1 1077944384 7483 0 0 0 162 2 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088343255920 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5502] ppid=5486 vsize=10821732 memory=6495188 CPUtime=0.36 cores=1,3,5,7
/proc/5489/task/5502/stat : 5502 (java) S 5486 5489 1335 0 -1 1077944384 5722 0 0 0 34 2 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088342202864 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5503] ppid=5486 vsize=10821732 memory=6495188 CPUtime=0 cores=1,3,5,7
/proc/5489/task/5503/stat : 5503 (java) S 5486 5489 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088341150560 140089581332181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
[pid=5489/tid=5504] ppid=5486 vsize=10821732 memory=6495188 CPUtime=1.52 cores=1,3,5,7
/proc/5489/task/5504/stat : 5504 (java) S 5486 5489 1335 0 -1 1077944384 2353 0 0 0 69 83 0 0 20 0 17 0 95639763 11081453568 1623875 33554432000 4194304 4196468 140735259338688 140088340097584 140089581333122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11333632 140735259346054 140735259346207 140735259346207 140735259348943 0
Current children cumulated CPU time: 2520.21 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 6495500 KiB

Child status: 143
Real time (s): 2433.96
CPU time (s): 2520.3
CPU user time (s): 2514
CPU system time (s): 6.30206
CPU usage (%): 103.547
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 6495500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514
system time used= 6.30206
maximum resident set size= 6495696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55980
involuntary context switches= 2132


# summary of solver processes directly reported to runsolver:
#   pid: 5489
#   total CPU time (s): 2520.3
#   total CPU user time (s): 2514
#   total CPU system time (s): 6.30206

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7072 second user time and 21.8881 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-13 13:44:21
IDJOB=4262913
IDBENCH=126224
IDSOLVER=2651
FILE ID=node112/4262913-1502625519
RUNJOBID= node112-1502619513-3999
PBS_JOBID= 20628299
Free space on /tmp= 61788 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-10-a3.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262913-1502625519/watcher-4262913-1502625519 -o /tmp/evaluation-result-4262913-1502625519/solver-4262913-1502625519 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502619513-3999 --watchdog 2580  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262913-1502625519.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1a91370fd3edda64a19224a97cd9d854
RANDOM SEED=787438598

node112.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.24
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.24
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.24
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.24
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:        31593912 kB
MemAvailable:   31778288 kB
Buffers:          116676 kB
Cached:           348372 kB
SwapCached:            0 kB
Active:           588348 kB
Inactive:         137048 kB
Active(anon):     211612 kB
Inactive(anon):    76532 kB
Active(file):     376736 kB
Inactive(file):    60516 kB
Unevictable:        6264 kB
Mlocked:            6264 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1612 kB
Writeback:             0 kB
AnonPages:        292372 kB
Mapped:            55048 kB
Shmem:             25224 kB
Slab:             151560 kB
SReclaimable:     125916 kB
SUnreclaim:        25644 kB
KernelStack:        3872 kB
PageTables:         5572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1178648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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= 61784 MiB
End job on node112 at 2017-08-13 14:24:55