Trace number 4244158

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
R1: sat4j-CSP 2017-07-05? (TO) 2400.21 2345

General information on the benchmark

NameBinPacking/BinPacking-sum-skj2/
BinPacking-sum-n1w4b2r0.xml
MD5SUM6f7ee260f64b5fefc18f028eef39520f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables71
Number of constraints13
Number of domains2
Minimum domain size6
Maximum domain size41
Distribution of domain sizes[{"size":6,"count":1},{"size":41,"count":70}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":65},{"degree":5,"count":5}]
Minimum constraint arity6
Maximum constraint arity70
Distribution of constraint arities[{"arity":6,"count":1},{"arity":14,"count":10},{"arity":70,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"sum","count":5},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

11.31/2.72	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
11.31/2.72	c This is free software under the dual EPL/GNU LGPL licenses.
11.31/2.72	c See www.sat4j.org for details.
11.31/2.72	c That software uses the Rhino library from the Mozilla project.
11.31/2.72	c version CUSTOM.v20170705
11.31/2.72	c java.runtime.name	Java(TM) SE Runtime Environment
11.31/2.72	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
11.31/2.72	c java.vm.version	25.131-b11
11.31/2.72	c java.vm.vendor	Oracle Corporation
11.31/2.72	c sun.arch.data.model	64
11.31/2.72	c java.version		1.8.0_131
11.31/2.72	c os.name		Linux
11.31/2.72	c os.version		3.10.0-514.16.1.el7.x86_64
11.31/2.72	c os.arch		amd64
11.31/2.72	c Free memory 		499604488
11.31/2.72	c Max memory 		7247757312
11.31/2.72	c Total memory 		504889344
11.31/2.72	c Number of processors 	8
11.31/2.72	c c --- Begin Solver configuration ---
11.31/2.72	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
11.31/2.72	c Learn all clauses as in MiniSAT
11.31/2.72	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
11.31/2.72	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
11.31/2.72	c No reason simplification
11.31/2.72	c Glucose 2.1 dynamic restart strategy
11.31/2.72	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
11.31/2.72	c timeout=2147483s
11.31/2.72	c DB Simplification allowed=false
11.31/2.72	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
11.31/2.72	c --- End Solver configuration ---
11.31/2.72	c constraints type 
11.31/2.72	c org.sat4j.minisat.constraints.card.MinWatchCard => 142
11.31/2.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 137606
11.31/2.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3752447
11.31/2.72	c org.sat4j.minisat.constraints.cnf.UnitClause => 232
11.31/2.72	c 3890427 constraints processed.
2400.09/2344.90	c starts		: 10583
2400.09/2344.90	c conflicts		: 5227907
2400.09/2344.90	c decisions		: 86230140
2400.09/2344.90	c propagations		: 6905539234
2400.09/2344.90	c inspects		: 21536709662
2400.09/2344.90	c shortcuts		: 0
2400.09/2344.90	c learnt literals	: 217
2400.09/2344.90	c learnt binary clauses	: 1726
2400.09/2344.90	c learnt ternary clauses	: 4143
2400.09/2344.90	c learnt constraints	: 5227690
2400.09/2344.90	c ignored constraints	: 0
2400.09/2344.90	c root simplifications	: 0
2400.09/2344.90	c removed literals (reason simplification)	: 0
2400.09/2344.90	c reason swapping (by a shorter reason)	: 0
2400.09/2344.90	c Calls to reduceDB	: 97
2400.09/2344.90	c Number of update (reduction) of LBD	: 4842615
2400.09/2344.90	c Imported unit clauses	: 0
2400.09/2344.90	c number of reductions to clauses (during analyze)	: 0
2400.09/2344.90	c number of learned constraints concerned by reduction	: 0
2400.09/2344.90	c number of learning phase by resolution	: 0
2400.09/2344.90	c number of learning phase by cutting planes	: 0
2400.09/2344.90	c number of rounding to 1 operations	: 0
2400.09/2344.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.09/2344.91	c number of reductions of the coefficients by power 2 	: 0
2400.09/2344.91	c number of right shift for reduction by power 2 	: 0
2400.09/2344.91	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.09/2344.91	c speed (assignments/second)	: 2948382.4588144626
2400.09/2344.91	c non guided choices	1642877
2400.09/2344.96	c learnt constraints type 
2400.09/2344.96	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1726
2400.09/2344.96	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 205018
2400.09/2344.96	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244158-1500681079/watcher-4244158-1500681079 -o /tmp/evaluation-result-4244158-1500681079/solver-4244158-1500681079 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500679132-15154 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244158-1500681079.xml 

pid=15354
running on 8 cores: 1,3,5,7,9,11,13,15

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.09 2.15 2.14 4/266 15357
/proc/meminfo: memFree=29486560/32770624 swapFree=5932/216196
[pid=15357] ppid=15354 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 3374889 369864704 1935 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 90299 1935 1081 1 0 79210 0
[pid=15357/tid=15358] ppid=15354 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) S 15354 15357 15122 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 3374889 369864704 1935 33554432000 4194304 4196468 140728810421280 140392746412448 140392742181506 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0

[startup+0.10013 s]
/proc/loadavg: 2.09 2.15 2.14 4/266 15357
/proc/meminfo: memFree=29486560/32770624 swapFree=5932/216196
[pid=15357] ppid=15354 vsize=10900456 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 4969 0 0 0 9 1 0 0 20 0 20 0 3374889 11162066944 6609 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 2725114 6609 2639 1 0 2713552 0
[pid=15357/tid=15358] ppid=15354 vsize=10900456 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) R 15354 15357 15122 0 -1 4202560 3070 0 0 0 8 0 0 0 20 0 20 0 3374889 11162066944 6609 33554432000 4194304 4196468 140728810421280 140392746407936 140392734848373 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900456

[startup+0.200441 s]
/proc/loadavg: 2.09 2.15 2.14 4/266 15357
/proc/meminfo: memFree=29486560/32770624 swapFree=5932/216196
[pid=15357] ppid=15354 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 7202 0 0 0 24 2 0 0 20 0 20 0 3374889 11162169344 9629 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 2725139 9629 2894 1 0 2713552 0
[pid=15357/tid=15358] ppid=15354 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) R 15354 15357 15122 0 -1 4202560 4811 0 0 0 17 1 0 0 20 0 20 0 3374889 11162169344 9629 33554432000 4194304 4196468 140728810421280 140392746383792 140392742192285 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.300311 s]
/proc/loadavg: 2.09 2.15 2.14 4/266 15357
/proc/meminfo: memFree=29486560/32770624 swapFree=5932/216196
[pid=15357] ppid=15354 vsize=10900556 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 8500 0 0 0 41 3 0 0 20 0 20 0 3374889 11162169344 11187 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 2725139 11187 2958 1 0 2713552 0
[pid=15357/tid=15358] ppid=15354 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) R 15354 15357 15122 0 -1 4202560 5510 0 0 0 26 1 0 0 20 0 20 0 3374889 11162169344 11187 33554432000 4194304 4196468 140728810421280 140392746405376 140392726250846 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10900556

[startup+0.700304 s]
/proc/loadavg: 2.09 2.15 2.14 4/266 15357
/proc/meminfo: memFree=29486560/32770624 swapFree=5932/216196
[pid=15357] ppid=15354 vsize=10900632 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 12321 0 0 0 172 34 0 0 20 0 20 0 3374889 11162247168 60161 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 2725158 60161 3096 1 0 2713552 0
[pid=15357/tid=15358] ppid=15354 vsize=10900632 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) R 15354 15357 15122 0 -1 4202560 6031 0 0 0 55 3 0 0 20 0 20 0 3374889 11162247168 60161 33554432000 4194304 4196468 140728810421280 140392746398544 140392366563754 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 10900632

[startup+1.50136 s]
/proc/loadavg: 2.09 2.15 2.14 5/286 15377
/proc/meminfo: memFree=29167632/32770624 swapFree=5932/216232
[pid=15357] ppid=15354 vsize=10900632 CPUtime=5.02 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 14688 0 0 0 384 118 0 0 20 0 20 0 3374889 11162247168 132633 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 2725158 132633 3124 1 0 2713552 0
[pid=15357/tid=15358] ppid=15354 vsize=10900632 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) S 15354 15357 15122 0 -1 1077944384 6129 0 0 0 109 6 0 0 20 0 20 0 3374889 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392746401536 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15360] ppid=15354 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15360/stat : 15360 (java) R 15354 15357 15122 0 -1 4202560 153 0 0 0 16 14 0 0 20 0 20 0 3374890 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392684174040 140392727198233 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15361] ppid=15354 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15361/stat : 15361 (java) R 15354 15357 15122 0 -1 4202560 162 0 0 0 17 14 0 0 20 0 20 0 3374890 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392348310360 140392727198233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15362] ppid=15354 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15362/stat : 15362 (java) R 15354 15357 15122 0 -1 4202560 174 0 0 0 18 12 0 0 20 0 20 0 3374890 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392347257304 140392727198233 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15363] ppid=15354 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15363/stat : 15363 (java) R 15354 15357 15122 0 -1 4202560 145 0 0 0 17 12 0 0 20 0 20 0 3374890 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392346204760 140392727198233 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15364] ppid=15354 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15364/stat : 15364 (java) R 15354 15357 15122 0 -1 4202560 160 0 0 0 17 14 0 0 20 0 20 0 3374890 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392345152728 140392727198233 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15365] ppid=15354 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15365/stat : 15365 (java) R 15354 15357 15122 0 -1 4202560 151 0 0 0 15 13 0 0 20 0 20 0 3374890 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392344100184 140392727198233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15366] ppid=15354 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15366/stat : 15366 (java) R 15354 15357 15122 0 -1 4202560 142 0 0 0 15 12 0 0 20 0 20 0 3374890 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392343046816 140392727194128 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15367] ppid=15354 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15367/stat : 15367 (java) R 15354 15357 15122 0 -1 4202560 135 0 0 0 16 13 0 0 20 0 20 0 3374890 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392341994584 140392727198233 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15368] ppid=15354 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15368/stat : 15368 (java) S 15354 15357 15122 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3374893 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392285086496 140392742180565 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15369] ppid=15354 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15369/stat : 15369 (java) S 15354 15357 15122 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3374893 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392284034208 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15370] ppid=15354 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15370/stat : 15370 (java) S 15354 15357 15122 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3374894 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392282981104 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15371] ppid=15354 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15371/stat : 15371 (java) S 15354 15357 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3374897 11162247168 132633 33554432000 4194304 4196468 140728810421280 140392281929680 140392742188955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15372] ppid=15354 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15372/stat : 15372 (java) S 15354 15357 15122 0 -1 1077944384 1913 0 0 0 41 0 0 0 20 0 20 0 3374897 11162247168 132633 33554432000 4194304 4196468 140728810421280 140391555772496 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15373] ppid=15354 vsize=10900632 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15373/stat : 15373 (java) S 15354 15357 15122 0 -1 1077944384 1583 0 0 0 38 0 0 0 20 0 20 0 3374897 11162247168 132633 33554432000 4194304 4196468 140728810421280 140391554719952 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15374] ppid=15354 vsize=10900632 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15374/stat : 15374 (java) S 15354 15357 15122 0 -1 1077944384 1458 0 0 0 39 0 0 0 20 0 20 0 3374898 11162247168 132633 33554432000 4194304 4196468 140728810421280 140391553661456 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15375] ppid=15354 vsize=10900632 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15375/stat : 15375 (java) S 15354 15357 15122 0 -1 1077944384 934 0 0 0 23 0 0 0 20 0 20 0 3374898 11162247168 132633 33554432000 4194304 4196468 140728810421280 140391552629360 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15376] ppid=15354 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15376/stat : 15376 (java) S 15354 15357 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3374898 11162247168 132633 33554432000 4194304 4196468 140728810421280 140391551576544 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15377] ppid=15354 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15377/stat : 15377 (java) S 15354 15357 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3374898 11162247168 132633 33554432000 4194304 4196468 140728810421280 140391550524080 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 10900632

[startup+3.10113 s]
/proc/loadavg: 2.09 2.15 2.14 4/286 15377
/proc/meminfo: memFree=28870180/32770624 swapFree=5932/216232
[pid=15357] ppid=15354 vsize=10967196 CPUtime=12.81 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 22903 0 0 0 1130 151 0 0 20 0 21 0 3374889 11230408704 164369 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 2741799 164369 3145 1 0 2730193 0
[pid=15357/tid=15358] ppid=15354 vsize=10967196 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) R 15354 15357 15122 0 -1 4202560 6242 0 0 0 173 6 0 0 20 0 21 0 3374889 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392746408688 140392367975319 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15360] ppid=15354 vsize=10967196 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15360/stat : 15360 (java) S 15354 15357 15122 0 -1 1077944384 288 0 0 0 76 18 0 0 20 0 21 0 3374890 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392684173840 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15361] ppid=15354 vsize=10967196 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15361/stat : 15361 (java) S 15354 15357 15122 0 -1 1077944384 219 0 0 0 76 18 0 0 20 0 21 0 3374890 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392348310160 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15362] ppid=15354 vsize=10967196 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15362/stat : 15362 (java) S 15354 15357 15122 0 -1 1077944384 210 0 0 0 77 16 0 0 20 0 21 0 3374890 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392347257104 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15363] ppid=15354 vsize=10967196 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15363/stat : 15363 (java) S 15354 15357 15122 0 -1 1077944384 225 0 0 0 77 17 0 0 20 0 21 0 3374890 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392346204560 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15364] ppid=15354 vsize=10967196 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15364/stat : 15364 (java) S 15354 15357 15122 0 -1 1077944384 215 0 0 0 75 18 0 0 20 0 21 0 3374890 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392345152528 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15365] ppid=15354 vsize=10967196 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15365/stat : 15365 (java) S 15354 15357 15122 0 -1 1077944384 185 0 0 0 75 17 0 0 20 0 21 0 3374890 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392344099984 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15366] ppid=15354 vsize=10967196 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15366/stat : 15366 (java) S 15354 15357 15122 0 -1 1077944384 235 0 0 0 75 16 0 0 20 0 21 0 3374890 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392343046928 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15367] ppid=15354 vsize=10967196 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15367/stat : 15367 (java) S 15354 15357 15122 0 -1 1077944384 181 0 0 0 75 18 0 0 20 0 21 0 3374890 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392341994384 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15368] ppid=15354 vsize=10967196 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15368/stat : 15368 (java) S 15354 15357 15122 0 -1 1077944384 516 0 0 0 31 0 0 0 20 0 21 0 3374893 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392285087984 140392742181506 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15369] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15369/stat : 15369 (java) S 15354 15357 15122 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3374893 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392284034272 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15370] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15370/stat : 15370 (java) S 15354 15357 15122 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3374894 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392282981120 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15371] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15371/stat : 15371 (java) S 15354 15357 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3374897 11230408704 164369 33554432000 4194304 4196468 140728810421280 140392281929680 140392742188955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15372] ppid=15354 vsize=10967196 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15372/stat : 15372 (java) S 15354 15357 15122 0 -1 1077944384 3734 0 0 0 98 0 0 0 20 0 21 0 3374897 11230408704 164369 33554432000 4194304 4196468 140728810421280 140391555787504 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15373] ppid=15354 vsize=10967196 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15373/stat : 15373 (java) S 15354 15357 15122 0 -1 1077944384 3400 0 0 0 86 0 0 0 20 0 21 0 3374897 11230408704 164369 33554432000 4194304 4196468 140728810421280 140391554734960 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15374] ppid=15354 vsize=10967196 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15374/stat : 15374 (java) S 15354 15357 15122 0 -1 1077944384 4376 0 0 0 99 0 0 0 20 0 21 0 3374898 11230408704 164369 33554432000 4194304 4196468 140728810421280 140391553681904 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15375] ppid=15354 vsize=10967196 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15375/stat : 15375 (java) S 15354 15357 15122 0 -1 1077944384 1489 0 0 0 32 0 0 0 20 0 21 0 3374898 11230408704 164369 33554432000 4194304 4196468 140728810421280 140391552629360 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15376] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15376/stat : 15376 (java) S 15354 15357 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3374898 11230408704 164369 33554432000 4194304 4196468 140728810421280 140391551576544 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15377] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15377/stat : 15377 (java) S 15354 15357 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3374898 11230408704 164369 33554432000 4194304 4196468 140728810421280 140391550524080 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
Current children cumulated CPU time (s) 12.81
Current children cumulated vsize (KiB) 10967196

[startup+6.30084 s]
/proc/loadavg: 2.09 2.14 2.14 4/287 15378
/proc/meminfo: memFree=28842436/32770624 swapFree=5932/216240
[pid=15357] ppid=15354 vsize=10967196 CPUtime=16.63 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 29646 0 0 0 1511 152 0 0 20 0 21 0 3374889 11230408704 163738 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 2741799 163738 3160 1 0 2730193 0
[pid=15357/tid=15358] ppid=15354 vsize=10967196 CPUtime=4.98 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) R 15354 15357 15122 0 -1 4202560 7097 0 0 0 492 6 0 0 20 0 21 0 3374889 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392746407192 140392368034462 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15360] ppid=15354 vsize=10967196 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15360/stat : 15360 (java) S 15354 15357 15122 0 -1 1077944384 288 0 0 0 76 18 0 0 20 0 21 0 3374890 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392684173840 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15361] ppid=15354 vsize=10967196 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15361/stat : 15361 (java) S 15354 15357 15122 0 -1 1077944384 219 0 0 0 76 18 0 0 20 0 21 0 3374890 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392348310160 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15362] ppid=15354 vsize=10967196 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15362/stat : 15362 (java) S 15354 15357 15122 0 -1 1077944384 210 0 0 0 77 16 0 0 20 0 21 0 3374890 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392347257104 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15363] ppid=15354 vsize=10967196 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15363/stat : 15363 (java) S 15354 15357 15122 0 -1 1077944384 225 0 0 0 77 17 0 0 20 0 21 0 3374890 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392346204560 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15364] ppid=15354 vsize=10967196 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15364/stat : 15364 (java) S 15354 15357 15122 0 -1 1077944384 215 0 0 0 75 18 0 0 20 0 21 0 3374890 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392345152528 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15365] ppid=15354 vsize=10967196 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15365/stat : 15365 (java) S 15354 15357 15122 0 -1 1077944384 185 0 0 0 75 17 0 0 20 0 21 0 3374890 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392344099984 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15366] ppid=15354 vsize=10967196 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15366/stat : 15366 (java) S 15354 15357 15122 0 -1 1077944384 235 0 0 0 75 16 0 0 20 0 21 0 3374890 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392343046928 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15367] ppid=15354 vsize=10967196 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15367/stat : 15367 (java) S 15354 15357 15122 0 -1 1077944384 181 0 0 0 75 18 0 0 20 0 21 0 3374890 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392341994384 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15368] ppid=15354 vsize=10967196 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15368/stat : 15368 (java) S 15354 15357 15122 0 -1 1077944384 767 0 0 0 31 0 0 0 20 0 21 0 3374893 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392285087984 140392742181506 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15369] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15369/stat : 15369 (java) S 15354 15357 15122 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3374893 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392284034272 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15370] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15370/stat : 15370 (java) S 15354 15357 15122 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3374894 11230408704 163738 33554432000 4194304 4196468 140728810421280 140392282981120 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15371] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=15357/tid=15375] ppid=15354 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15375/stat : 15375 (java) S 15354 15357 15122 0 -1 1077944384 4149 0 0 0 37 1 0 0 20 0 21 0 3374898 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391552629360 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15376] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15376/stat : 15376 (java) S 15354 15357 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3374898 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391551576544 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15377] ppid=15354 vsize=10967196 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15377/stat : 15377 (java) S 15354 15357 15122 0 -1 1077944384 2567 0 0 0 60 64 0 0 20 0 21 0 3374898 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391550524080 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15378] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15378/stat : 15378 (java) S 15354 15357 15122 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3375166 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391549469360 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
Current children cumulated CPU time (s) 2377.68
Current children cumulated vsize (KiB) 10967196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2344.7 s]
/proc/loadavg: 2.06 2.05 2.05 3/286 15586
/proc/meminfo: memFree=27776596/32770624 swapFree=5932/218548
[pid=15357] ppid=15354 vsize=10967196 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 154368 0 0 0 238565 1443 0 0 20 0 21 0 3374889 11230408704 828589 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 2741799 828589 3163 1 0 2730193 0
[pid=15357/tid=15358] ppid=15354 vsize=10967196 CPUtime=2335.16 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) R 15354 15357 15122 0 -1 4202560 62763 0 0 0 233501 15 0 0 20 0 21 0 3374889 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392746409392 140392364582714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15360] ppid=15354 vsize=10967196 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15360/stat : 15360 (java) S 15354 15357 15122 0 -1 1077944384 6157 0 0 0 560 166 0 0 20 0 21 0 3374890 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392684173840 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15361] ppid=15354 vsize=10967196 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15361/stat : 15361 (java) S 15354 15357 15122 0 -1 1077944384 6232 0 0 0 557 169 0 0 20 0 21 0 3374890 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392348310160 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15362] ppid=15354 vsize=10967196 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15362/stat : 15362 (java) S 15354 15357 15122 0 -1 1077944384 4939 0 0 0 556 168 0 0 20 0 21 0 3374890 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392347257104 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15363] ppid=15354 vsize=10967196 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15363/stat : 15363 (java) S 15354 15357 15122 0 -1 1077944384 4907 0 0 0 556 168 0 0 20 0 21 0 3374890 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392346204560 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15364] ppid=15354 vsize=10967196 CPUtime=7.11 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15364/stat : 15364 (java) S 15354 15357 15122 0 -1 1077944384 4418 0 0 0 542 169 0 0 20 0 21 0 3374890 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392345152528 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15365] ppid=15354 vsize=10967196 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15365/stat : 15365 (java) S 15354 15357 15122 0 -1 1077944384 5861 0 0 0 552 174 0 0 20 0 21 0 3374890 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392344099984 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15366] ppid=15354 vsize=10967196 CPUtime=7.27 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15366/stat : 15366 (java) S 15354 15357 15122 0 -1 1077944384 5233 0 0 0 554 173 0 0 20 0 21 0 3374890 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392343046928 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15367] ppid=15354 vsize=10967196 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15367/stat : 15367 (java) S 15354 15357 15122 0 -1 1077944384 5353 0 0 0 553 171 0 0 20 0 21 0 3374890 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392341994384 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15368] ppid=15354 vsize=10967196 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15368/stat : 15368 (java) S 15354 15357 15122 0 -1 1077944384 14172 0 0 0 119 4 0 0 20 0 21 0 3374893 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392285087984 140392742181506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15369] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15369/stat : 15369 (java) S 15354 15357 15122 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 3374893 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392284034272 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15370] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15370/stat : 15370 (java) S 15354 15357 15122 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 3374894 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392282981120 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15371] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15371/stat : 15371 (java) S 15354 15357 15122 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3374897 11230408704 828589 33554432000 4194304 4196468 140728810421280 140392281929680 140392742188955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15372] ppid=15354 vsize=10967196 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15372/stat : 15372 (java) S 15354 15357 15122 0 -1 1077944384 10742 0 0 0 139 0 0 0 20 0 21 0 3374897 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391555787504 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15373] ppid=15354 vsize=10967196 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15373/stat : 15373 (java) S 15354 15357 15122 0 -1 1077944384 7319 0 0 0 135 1 0 0 20 0 21 0 3374897 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391554734960 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15374] ppid=15354 vsize=10967196 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15374/stat : 15374 (java) S 15354 15357 15122 0 -1 1077944384 8143 0 0 0 128 1 0 0 20 0 21 0 3374898 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391553681904 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15375] ppid=15354 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15375/stat : 15375 (java) S 15354 15357 15122 0 -1 1077944384 4149 0 0 0 37 1 0 0 20 0 21 0 3374898 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391552629360 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15376] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15376/stat : 15376 (java) S 15354 15357 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3374898 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391551576544 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15377] ppid=15354 vsize=10967196 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15377/stat : 15377 (java) S 15354 15357 15122 0 -1 1077944384 2569 0 0 0 61 64 0 0 20 0 21 0 3374898 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391550524080 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15378] ppid=15354 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15378/stat : 15378 (java) S 15354 15357 15122 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3375166 11230408704 828589 33554432000 4194304 4196468 140728810421280 140391549469360 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10967196

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15357 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2344.81 s]
/proc/loadavg: 2.06 2.05 2.05 3/286 15586
/proc/meminfo: memFree=27776596/32770624 swapFree=5932/218548
[pid=15357] ppid=15354 vsize=11166888 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 155218 0 0 0 238566 1443 0 0 20 0 22 0 3374889 11434893312 828665 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 2791722 828665 3165 1 0 2780116 0
[pid=15357/tid=15358] ppid=15354 vsize=11166888 CPUtime=2335.17 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) S 15354 15357 15122 0 -1 1077944384 62840 0 0 0 233502 15 0 0 20 0 22 0 3374889 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392746413232 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15360] ppid=15354 vsize=11166888 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15360/stat : 15360 (java) S 15354 15357 15122 0 -1 1077944384 6157 0 0 0 560 166 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392684173840 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15361] ppid=15354 vsize=11166888 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15361/stat : 15361 (java) S 15354 15357 15122 0 -1 1077944384 6232 0 0 0 557 169 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392348310160 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15362] ppid=15354 vsize=11166888 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15362/stat : 15362 (java) S 15354 15357 15122 0 -1 1077944384 4939 0 0 0 556 168 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392347257104 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15363] ppid=15354 vsize=11166888 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15363/stat : 15363 (java) S 15354 15357 15122 0 -1 1077944384 4907 0 0 0 556 168 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392346204560 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15364] ppid=15354 vsize=11166888 CPUtime=7.11 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15364/stat : 15364 (java) S 15354 15357 15122 0 -1 1077944384 4418 0 0 0 542 169 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392345152528 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15365] ppid=15354 vsize=11166888 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15365/stat : 15365 (java) S 15354 15357 15122 0 -1 1077944384 5861 0 0 0 552 174 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392344099984 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15366] ppid=15354 vsize=11166888 CPUtime=7.27 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15366/stat : 15366 (java) S 15354 15357 15122 0 -1 1077944384 5233 0 0 0 554 173 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392343046928 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15367] ppid=15354 vsize=11166888 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15367/stat : 15367 (java) S 15354 15357 15122 0 -1 1077944384 5353 0 0 0 553 171 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392341994384 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15368] ppid=15354 vsize=11166888 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15368/stat : 15368 (java) S 15354 15357 15122 0 -1 1077944384 14172 0 0 0 119 4 0 0 20 0 22 0 3374893 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392285087984 140392742181506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15369] ppid=15354 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15369/stat : 15369 (java) S 15354 15357 15122 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 22 0 3374893 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392284034272 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15370] ppid=15354 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15370/stat : 15370 (java) S 15354 15357 15122 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 22 0 3374894 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392282981120 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15371] ppid=15354 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15371/stat : 15371 (java) S 15354 15357 15122 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 22 0 3374897 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392281929680 140392742188955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15372] ppid=15354 vsize=11166888 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15372/stat : 15372 (java) S 15354 15357 15122 0 -1 1077944384 10742 0 0 0 139 0 0 0 20 0 22 0 3374897 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391555787504 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15373] ppid=15354 vsize=11166888 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15373/stat : 15373 (java) S 15354 15357 15122 0 -1 1077944384 7319 0 0 0 135 1 0 0 20 0 22 0 3374897 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391554734960 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15374] ppid=15354 vsize=11166888 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15374/stat : 15374 (java) S 15354 15357 15122 0 -1 1077944384 8143 0 0 0 128 1 0 0 20 0 22 0 3374898 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391553681904 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15375] ppid=15354 vsize=11166888 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15375/stat : 15375 (java) S 15354 15357 15122 0 -1 1077944384 4362 0 0 0 37 1 0 0 20 0 22 0 3374898 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391552629360 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15376] ppid=15354 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15376/stat : 15376 (java) S 15354 15357 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3374898 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391551576544 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15377] ppid=15354 vsize=11166888 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15377/stat : 15377 (java) S 15354 15357 15122 0 -1 1077944384 2569 0 0 0 61 64 0 0 20 0 22 0 3374898 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391550524080 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 11166888

[startup+2344.9 s]
/proc/loadavg: 2.06 2.05 2.05 3/286 15586
/proc/meminfo: memFree=27776596/32770624 swapFree=5932/218548
[pid=15357] ppid=15354 vsize=11166888 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/15357/stat : 15357 (java) S 15354 15357 15122 0 -1 1077944320 155218 0 0 0 238566 1443 0 0 20 0 22 0 3374889 11434893312 828665 33554432000 4194304 4196468 140728810421280 140728810403824 140392742170359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
/proc/15357/statm: 2791722 828665 3165 1 0 2780116 0
[pid=15357/tid=15358] ppid=15354 vsize=11166888 CPUtime=2335.17 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15358/stat : 15358 (java) S 15354 15357 15122 0 -1 1077944384 62840 0 0 0 233502 15 0 0 20 0 22 0 3374889 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392746413232 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15360] ppid=15354 vsize=11166888 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15360/stat : 15360 (java) S 15354 15357 15122 0 -1 1077944384 6157 0 0 0 560 166 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392684173840 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15361] ppid=15354 vsize=11166888 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15361/stat : 15361 (java) S 15354 15357 15122 0 -1 1077944384 6232 0 0 0 557 169 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392348310160 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15362] ppid=15354 vsize=11166888 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15362/stat : 15362 (java) S 15354 15357 15122 0 -1 1077944384 4939 0 0 0 556 168 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392347257104 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15363] ppid=15354 vsize=11166888 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15363/stat : 15363 (java) S 15354 15357 15122 0 -1 1077944384 4907 0 0 0 556 168 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392346204560 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15364] ppid=15354 vsize=11166888 CPUtime=7.11 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15364/stat : 15364 (java) S 15354 15357 15122 0 -1 1077944384 4418 0 0 0 542 169 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392345152528 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15365] ppid=15354 vsize=11166888 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15365/stat : 15365 (java) S 15354 15357 15122 0 -1 1077944384 5861 0 0 0 552 174 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392344099984 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15366] ppid=15354 vsize=11166888 CPUtime=7.27 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15366/stat : 15366 (java) S 15354 15357 15122 0 -1 1077944384 5233 0 0 0 554 173 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392343046928 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15367] ppid=15354 vsize=11166888 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15367/stat : 15367 (java) S 15354 15357 15122 0 -1 1077944384 5353 0 0 0 553 171 0 0 20 0 22 0 3374890 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392341994384 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15368] ppid=15354 vsize=11166888 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15368/stat : 15368 (java) S 15354 15357 15122 0 -1 1077944384 14172 0 0 0 119 4 0 0 20 0 22 0 3374893 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392285087984 140392742181506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15369] ppid=15354 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15369/stat : 15369 (java) S 15354 15357 15122 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 22 0 3374893 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392284034272 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15370] ppid=15354 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15370/stat : 15370 (java) S 15354 15357 15122 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 22 0 3374894 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392282981120 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15371] ppid=15354 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15371/stat : 15371 (java) S 15354 15357 15122 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 22 0 3374897 11434893312 828665 33554432000 4194304 4196468 140728810421280 140392281929680 140392742188955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15372] ppid=15354 vsize=11166888 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15372/stat : 15372 (java) S 15354 15357 15122 0 -1 1077944384 10742 0 0 0 139 0 0 0 20 0 22 0 3374897 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391555787504 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15373] ppid=15354 vsize=11166888 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15373/stat : 15373 (java) S 15354 15357 15122 0 -1 1077944384 7319 0 0 0 135 1 0 0 20 0 22 0 3374897 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391554734960 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15374] ppid=15354 vsize=11166888 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15374/stat : 15374 (java) S 15354 15357 15122 0 -1 1077944384 8143 0 0 0 128 1 0 0 20 0 22 0 3374898 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391553681904 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15375] ppid=15354 vsize=11166888 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15375/stat : 15375 (java) S 15354 15357 15122 0 -1 1077944384 4362 0 0 0 37 1 0 0 20 0 22 0 3374898 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391552629360 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15376] ppid=15354 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15376/stat : 15376 (java) S 15354 15357 15122 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3374898 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391551576544 140392742180565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
[pid=15357/tid=15377] ppid=15354 vsize=11166888 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/15357/task/15377/stat : 15377 (java) S 15354 15357 15122 0 -1 1077944384 2569 0 0 0 61 64 0 0 20 0 22 0 3374898 11434893312 828665 33554432000 4194304 4196468 140728810421280 140391550524080 140392742181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22179840 140728810427563 140728810427716 140728810427716 140728810430415 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 11166888

Child status: 143
Real time (s): 2345
CPU time (s): 2400.21
CPU user time (s): 2385.75
CPU system time (s): 14.4615
CPU usage (%): 102.354
Max. virtual memory (cumulated for all children) (KiB): 11166888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2385.75
system time used= 14.4615
maximum resident set size= 3314980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55131
involuntary context switches= 122911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0903 second user time and 18.146 second system time

The end

Launcher Data 

Begin job on node135 at 2017-07-22 01:51:19
IDJOB=4244158
IDBENCH=137358
IDSOLVER=2623
FILE ID=node135/4244158-1500681079
RUNJOBID= node135-1500679132-15154
PBS_JOBID= 20623034
Free space on /tmp= 61844 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n1w4b2r0.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244158-1500681079/watcher-4244158-1500681079 -o /tmp/evaluation-result-4244158-1500681079/solver-4244158-1500681079 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500679132-15154 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244158-1500681079.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 6f7ee260f64b5fefc18f028eef39520f
RANDOM SEED=1685953083

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.46
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.46
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.46
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.46
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        29487044 kB
MemAvailable:   29512224 kB
Buffers:           54348 kB
Cached:           279776 kB
SwapCached:            0 kB
Active:          2675272 kB
Inactive:         224824 kB
Active(anon):    2568440 kB
Inactive(anon):     8628 kB
Active(file):     106832 kB
Inactive(file):   216196 kB
Unevictable:        5932 kB
Mlocked:            5932 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1496 kB
Writeback:            24 kB
AnonPages:       2555032 kB
Mapped:            42468 kB
Shmem:              8872 kB
Slab:              69220 kB
SReclaimable:      35972 kB
SUnreclaim:        33248 kB
KernelStack:        4864 kB
PageTables:        10476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3989028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2422784 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= 61844 MiB
End job on node135 at 2017-07-22 02:30:24