Trace number 4290030

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 NameAnswerCPU timeWall clock time
Sat4j-CSP 2018-07-11? (TO) 2400.18 2380.77

General information on the benchmark

NameCarSequencing/
CarSequencing-80-02_c18.xml
MD5SUM201da62bda966dccc44cd0c6ff0d4af7
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark19.6691
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1431
Number of domains2
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":1000},{"size":25,"count":200}]
Minimum variable degree2
Maximum variable degree75
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":5}, {"degree":57,"count":6}, {"degree":58,"count":6}, {"degree":59,"count":38}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":3}, {"degree":75,"count":57}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":2},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":2},{"arity":56,"count":2},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":3},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1230},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

14.88/5.80	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
14.88/5.80	c This is free software under the dual EPL/GNU LGPL licenses.
14.88/5.80	c See www.sat4j.org for details.
14.88/5.80	c That software uses the Rhino library from the Mozilla project.
14.88/5.80	c version 2.3.6-SNAPSHOT
14.88/5.80	c java.runtime.name	Java(TM) SE Runtime Environment
14.88/5.80	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
14.88/5.80	c java.vm.version	25.131-b11
14.88/5.80	c java.vm.vendor	Oracle Corporation
14.88/5.80	c sun.arch.data.model	64
14.88/5.80	c java.version		1.8.0_131
14.88/5.80	c os.name		Linux
14.88/5.80	c os.version		3.10.0-514.16.1.el7.x86_64
14.88/5.80	c os.arch		amd64
14.88/5.80	c Free memory 		499604488
14.88/5.80	c Max memory 		7247757312
14.88/5.80	c Total memory 		504889344
14.88/5.80	c Number of processors 	4
14.88/5.80	c c --- Begin Solver configuration ---
14.88/5.80	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
14.88/5.80	c Learn all clauses as in MiniSAT
14.88/5.80	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
14.88/5.80	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
14.88/5.80	c No reason simplification
14.88/5.80	c Glucose 2.1 dynamic restart strategy
14.88/5.80	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
14.88/5.80	c timeout=2147483s
14.88/5.80	c DB Simplification allowed=false
14.88/5.80	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
14.88/5.80	c --- End Solver configuration ---
14.88/5.80	c constraints type 
14.88/5.80	c org.sat4j.minisat.constraints.card.MinWatchCard => 2400
14.88/5.80	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 349874
14.88/5.80	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4925183
14.88/5.80	c org.sat4j.minisat.constraints.cnf.UnitClause => 2910
14.88/5.80	c 5280367 constraints processed.
2400.10/2380.70	c starts		: 3148
2400.10/2380.70	c conflicts		: 1528863
2400.10/2380.70	c decisions		: 127094092
2400.10/2380.70	c propagations		: 8031257567
2400.10/2380.70	c inspects		: 12897293113
2400.10/2380.70	c shortcuts		: 0
2400.10/2380.70	c learnt literals	: 7615
2400.10/2380.70	c learnt binary clauses	: 46408
2400.10/2380.70	c learnt ternary clauses	: 93971
2400.10/2380.70	c learnt constraints	: 1521248
2400.10/2380.70	c ignored constraints	: 0
2400.10/2380.70	c root simplifications	: 0
2400.10/2380.70	c removed literals (reason simplification)	: 0
2400.10/2380.70	c reason swapping (by a shorter reason)	: 0
2400.10/2380.70	c Calls to reduceDB	: 50
2400.10/2380.70	c Number of update (reduction) of LBD	: 756789
2400.10/2380.70	c Imported unit clauses	: 0
2400.10/2380.70	c number of reductions to clauses (during analyze)	: 0
2400.10/2380.70	c number of learned constraints concerned by reduction	: 0
2400.10/2380.70	c number of learning phase by resolution	: 0
2400.10/2380.70	c number of learning phase by cutting planes	: 0
2400.10/2380.70	c number of rounding to 1 operations	: 0
2400.10/2380.70	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.10/2380.70	c number of reductions of the coefficients by power 2 	: 0
2400.10/2380.70	c number of right shift for reduction by power 2 	: 0
2400.10/2380.70	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.10/2380.70	c number of ending skipping 	: 0
2400.10/2380.70	c number of internal skipping 	: 0
2400.10/2380.70	c number of derivation steps 	: 0
2400.10/2380.70	c number of skipped derivation steps 	: 0
2400.10/2380.70	c number of remaining unassigned 	: 0
2400.10/2380.70	c number of remaining assigned 	: 0
2400.10/2380.70	c speed (assignments/second)	: 3381864.07414176
2400.10/2380.70	c non guided choices	: 76337743
2400.10/2380.74	c learnt constraints type org.sat4j.minisat.constraints.cnf.LearntBinaryClause	: 46408
2400.10/2380.74	c learnt constraints type org.sat4j.minisat.constraints.cnf.LearntWLClause	: 195820
2400.10/2380.74	s UNKNOWN

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290030-1532218898/watcher-4290030-1532218898 -o /tmp/evaluation-result-4290030-1532218898/solver-4290030-1532218898 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532209718-27131 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290030-1532218898.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=28808, runsolver pid=28805

[startup+0.100175 s]*
/proc/loadavg: 7.77 6.87 4.57 6/216 28823
/proc/meminfo: memFree=15324984/32770624 swapFree=67108860/67108860
[pid=28808] ppid=28805 vsize=10659012 memory=30196 CPUtime=0.13 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28805 28808 24904 0 -1 1077944320 6634 0 0 0 12 1 0 0 20 0 15 0 39452975 10914828288 7549 33554432000 4194304 4196468 140736319125376 140736319107920 139947725852407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
/proc/28808/statm: 2664753 7549 2819 1 0 2627263 0
[pid=28808/tid=28810] ppid=28805 vsize=10659012 memory=-8773748148830377345 CPUtime=0.09 cores=0,2,4,6
/proc/28808/task/28810/stat : 28810 (java) R 28805 28808 24904 0 -1 4202560 4456 0 0 0 8 1 0 0 20 0 15 0 39452976 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947730075440 139947709932894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28811] ppid=28805 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452976 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947332676752 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28812] ppid=28805 vsize=10659012 memory=140054051223168 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452976 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947331623952 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28813] ppid=28805 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452976 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947330571152 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28814] ppid=28805 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28805 28808 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39452976 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947329518352 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28815] ppid=28805 vsize=10659012 memory=140054051223168 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28805 28808 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39452978 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947285617008 139947725863554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28816] ppid=28805 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28805 28808 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39452978 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947284562976 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28817] ppid=28805 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28805 28808 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39452978 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947283510128 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28818] ppid=28805 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39452981 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947214366544 139947725871003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28819] ppid=28805 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28805 28808 24904 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 39452981 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947213314928 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28820] ppid=28805 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39452981 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947212262128 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28821] ppid=28805 vsize=10659012 memory=140054051223168 CPUtime=0.02 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28805 28808 24904 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 39452981 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947211209328 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28822] ppid=28805 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39452981 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947210156768 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28823] ppid=28805 vsize=10659012 memory=140054051223168 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452981 10914828288 7549 33554432000 4194304 4196468 140736319125376 139947209104048 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30196 KiB

[startup+0.211071 s]*
/proc/loadavg: 7.77 6.87 4.57 7/216 28823
/proc/meminfo: memFree=15312228/32770624 swapFree=67108860/67108860
[pid=28808] ppid=28805 vsize=10659012 memory=42152 CPUtime=0.33 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28805 28808 24904 0 -1 1077944320 8136 0 0 0 31 2 0 0 20 0 15 0 39452975 10914828288 10538 33554432000 4194304 4196468 140736319125376 140736319107920 139947725852407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
/proc/28808/statm: 2664753 10538 3007 1 0 2627263 0
[pid=28808/tid=28810] ppid=28805 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28808/task/28810/stat : 28810 (java) R 28805 28808 24904 0 -1 4202560 5046 0 0 0 19 1 0 0 20 0 15 0 39452976 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947730088688 139947709932894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28811] ppid=28805 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452976 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947332676752 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28812] ppid=28805 vsize=10659012 memory=288370430202934912 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452976 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947331623952 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28813] ppid=28805 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452976 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947330571152 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28814] ppid=28805 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28805 28808 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39452976 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947329518352 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28815] ppid=28805 vsize=10659012 memory=140054051223168 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28805 28808 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39452978 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947285617008 139947725863554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28816] ppid=28805 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28805 28808 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39452978 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947284562976 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28817] ppid=28805 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28805 28808 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39452978 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947283510128 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28818] ppid=28805 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39452981 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947214366544 139947725871003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28819] ppid=28805 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28805 28808 24904 0 -1 1077944384 684 0 0 0 1 0 0 0 20 0 15 0 39452981 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947213314928 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28820] ppid=28805 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28805 28808 24904 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 39452981 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947212262128 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28821] ppid=28805 vsize=10659012 memory=140054051223168 CPUtime=0.08 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28805 28808 24904 0 -1 1077944384 686 0 0 0 8 0 0 0 20 0 15 0 39452981 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947211209328 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28822] ppid=28805 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39452981 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947210156768 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28823] ppid=28805 vsize=10659012 memory=140054051223168 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452981 10914828288 10538 33554432000 4194304 4196468 140736319125376 139947209104048 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42152 KiB

[startup+0.310352 s]*
/proc/loadavg: 7.77 6.87 4.57 8/216 28823
/proc/meminfo: memFree=15303544/32770624 swapFree=67108860/67108860
[pid=28808] ppid=28805 vsize=10659088 memory=52024 CPUtime=0.58 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28805 28808 24904 0 -1 1077944320 9597 0 0 0 55 3 0 0 20 0 15 0 39452975 10914906112 13006 33554432000 4194304 4196468 140736319125376 140736319107920 139947725852407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
/proc/28808/statm: 2664772 13006 3064 1 0 2627263 0
[pid=28808/tid=28810] ppid=28805 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/28808/task/28810/stat : 28810 (java) R 28805 28808 24904 0 -1 4202560 5603 0 0 0 28 1 0 0 20 0 15 0 39452976 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947730088304 139947363264144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28811] ppid=28805 vsize=10659088 memory=4294979967 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452976 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947332676752 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28812] ppid=28805 vsize=10659088 memory=288370430202934912 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452976 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947331623952 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28813] ppid=28805 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452976 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947330571152 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28814] ppid=28805 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28805 28808 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39452976 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947329518352 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28815] ppid=28805 vsize=10659088 memory=140054051223168 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28805 28808 24904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39452978 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947285617008 139947725863554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28816] ppid=28805 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28805 28808 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39452978 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947284562976 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28817] ppid=28805 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28805 28808 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39452978 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947283510128 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28818] ppid=28805 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39452981 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947214366544 139947725871003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28819] ppid=28805 vsize=10659088 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) R 28805 28808 24904 0 -1 4202560 1221 0 0 0 7 0 0 0 20 0 15 0 39452981 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947213295944 139947709383945 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28820] ppid=28805 vsize=10659088 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) R 28805 28808 24904 0 -1 4202560 566 0 0 0 5 0 0 0 20 0 15 0 39452981 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947212262128 139947710250813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28821] ppid=28805 vsize=10659088 memory=140054051223168 CPUtime=0.12 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) R 28805 28808 24904 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 15 0 39452981 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947211209328 139947725863554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28822] ppid=28805 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39452981 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947210156768 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28823] ppid=28805 vsize=10659088 memory=140054051223168 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452981 10914906112 13006 33554432000 4194304 4196468 140736319125376 139947209104048 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52024 KiB

[startup+0.701276 s]
/proc/loadavg: 7.77 6.87 4.57 9/216 28823
/proc/meminfo: memFree=15270916/32770624 swapFree=67108860/67108860
[pid=28808] ppid=28805 vsize=10663820 memory=223208 CPUtime=1.9 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28805 28808 24904 0 -1 1077944320 22414 0 0 0 182 8 0 0 20 0 15 0 39452975 10919751680 55802 33554432000 4194304 4196468 140736319125376 140736319107920 139947725852407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
/proc/28808/statm: 2665955 55802 3101 1 0 2628446 0
[pid=28808/tid=28810] ppid=28805 vsize=10663820 memory=8616 CPUtime=0.65 cores=0,2,4,6
/proc/28808/task/28810/stat : 28810 (java) R 28805 28808 24904 0 -1 4202560 6118 0 0 0 61 4 0 0 20 0 15 0 39452976 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947730078232 139947711237845 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28811] ppid=28805 vsize=10663820 memory=18484 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28805 28808 24904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39452976 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947332676752 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28812] ppid=28805 vsize=10663820 memory=644 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28805 28808 24904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39452976 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947331623952 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28813] ppid=28805 vsize=10663820 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28805 28808 24904 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 39452976 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947330571152 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28814] ppid=28805 vsize=10663820 memory=952 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28805 28808 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39452976 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947329518352 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28815] ppid=28805 vsize=10663820 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28805 28808 24904 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 39452978 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947285617008 139947725863554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28816] ppid=28805 vsize=10663820 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28805 28808 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39452978 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947284562976 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28817] ppid=28805 vsize=10663820 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28805 28808 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39452978 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947283510128 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28818] ppid=28805 vsize=10663820 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39452981 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947214366544 139947725871003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28819] ppid=28805 vsize=10663820 memory=7013340940837610608 CPUtime=0.43 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) R 28805 28808 24904 0 -1 4202560 6603 0 0 0 42 1 0 0 20 0 15 0 39452981 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947213300648 139947710977805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28820] ppid=28805 vsize=10663820 memory=5788647689011156329 CPUtime=0.39 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) R 28805 28808 24904 0 -1 4202560 4419 0 0 0 39 0 0 0 20 0 15 0 39452981 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947212247864 139947707396625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28821] ppid=28805 vsize=10663820 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28805 28808 24904 0 -1 1077944384 3794 0 0 0 36 1 0 0 20 0 15 0 39452981 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947211209328 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28822] ppid=28805 vsize=10663820 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39452981 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947210156768 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28823] ppid=28805 vsize=10663820 memory=8384 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28805 28808 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39452981 10919751680 55802 33554432000 4194304 4196468 140736319125376 139947209104048 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10663820 KiB
Current children cumulated memory: 223208 KiB

[startup+1.50128 s]
/proc/loadavg: 7.77 6.87 4.57 10/216 28823
/proc/meminfo: memFree=15097188/32770624 swapFree=67108860/67108860
[pid=28808] ppid=28805 vsize=10659088 memory=426216 CPUtime=4.41 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28805 28808 24904 0 -1 1077944320 25845 0 0 0 426 15 0 0 20 0 15 0 39452975 10914906112 106554 33554432000 4194304 4196468 140736319125376 140736319107920 139947725852407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
/proc/28808/statm: 2664772 106554 3148 1 0 2627263 0
[pid=28808/tid=28810] ppid=28805 vsize=10659088 memory=299300 CPUtime=1.37 cores=0,2,4,6
/proc/28808/task/28810/stat : 28810 (java) S 28805 28808 24904 0 -1 1077944384 6200 0 0 0 131 6 0 0 20 0 15 0 39452976 10914906112 106554 33554432000 4194304 4196468 140736319125376 139947730085408 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28811] ppid=28805 vsize=10659088 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) R 28805 28808 24904 0 -1 4202560 127 0 0 0 6 1 0 0 20 0 15 0 39452976 10914906112 106554 33554432000 4194304 4196468 140736319125376 139947332676952 139947710880272 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28812] ppid=28805 vsize=10659088 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) R 28805 28808 24904 0 -1 4202560 134 0 0 0 5 1 0 0 20 0 15 0 39452976 10914906112 106554 33554432000 4194304 4196468 140736319125376 139947331623840 139947710880272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28813] ppid=28805 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) R 28805 28808 24904 0 -1 4202560 49 0 0 0 4 1 0 0 20 0 15 0 39452976 10914906112 106554 33554432000 4194304 4196468 140736319125376 139947330571352 139947710879826 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28814] ppid=28805 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) R 28805 28808 24904 0 -1 4202560 119 0 0 0 3 1 0 0 20 0 15 0 39452976 10914906112 106554 33554432000 4194304 4196468 140736319125376 139947329518552 139947710300739 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28815] ppid=28805 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28805 28808 24904 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 39452978 10914906112 106554 33554432000 4194304 4196468 140736319125376 139947285615520 139947725862613 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0

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

/proc/28808/task/28812/stat : 28812 (java) S 28805 28808 24904 0 -1 1077944384 7691 0 0 0 379 33 0 0 20 0 16 0 39452976 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947331623952 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28813] ppid=28805 vsize=10727700 memory=2416852 CPUtime=4.06 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28805 28808 24904 0 -1 1077944384 11069 0 0 0 374 32 0 0 20 0 16 0 39452976 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947330571152 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28814] ppid=28805 vsize=10727700 memory=2416852 CPUtime=4.13 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28805 28808 24904 0 -1 1077944384 8039 0 0 0 381 32 0 0 20 0 16 0 39452976 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947329518352 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28815] ppid=28805 vsize=10727700 memory=2416852 CPUtime=1.86 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28805 28808 24904 0 -1 1077944384 7526 0 0 0 184 2 0 0 20 0 16 0 39452978 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947285617008 139947725863554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28816] ppid=28805 vsize=10727700 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28805 28808 24904 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 39452978 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947284563040 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28817] ppid=28805 vsize=10727700 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28805 28808 24904 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 39452978 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947283510144 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28818] ppid=28805 vsize=10727700 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947214366544 139947725871003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28819] ppid=28805 vsize=10727700 memory=1952 CPUtime=2.51 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28805 28808 24904 0 -1 1077944384 15327 0 0 0 249 2 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947213314928 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28820] ppid=28805 vsize=10727700 memory=4100 CPUtime=2.46 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28805 28808 24904 0 -1 1077944384 11252 0 0 0 244 2 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947212262128 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28821] ppid=28805 vsize=10727700 memory=1398720917958146503 CPUtime=0.61 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28805 28808 24904 0 -1 1077944384 6618 0 0 0 59 2 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947211209328 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28822] ppid=28805 vsize=10727700 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947210156768 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28823] ppid=28805 vsize=10727700 memory=1796 CPUtime=1.73 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28805 28808 24904 0 -1 1077944384 3300 0 0 0 82 91 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947209104048 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28824] ppid=28805 vsize=10727700 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28824/stat : 28824 (java) S 28805 28808 24904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39453566 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947205952432 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
Current children cumulated CPU time: 2341.81 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2416852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2380.5 s]
/proc/loadavg: 2.08 2.05 2.27 3/219 28998
/proc/meminfo: memFree=18855700/32770624 swapFree=67108860/67108860
[pid=28808] ppid=28805 vsize=10727700 memory=2416852 CPUtime=2400.06 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28805 28808 24904 0 -1 1077944320 269310 0 0 0 239783 223 0 0 20 0 16 0 39452975 10985164800 604213 33554432000 4194304 4196468 140736319125376 140736319107920 139947725852407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
/proc/28808/statm: 2681925 604213 3191 1 0 2644416 0
[pid=28808/tid=28810] ppid=28805 vsize=10727700 memory=2416852 CPUtime=2374.32 cores=0,2,4,6
/proc/28808/task/28810/stat : 28810 (java) R 28805 28808 24904 0 -1 4202560 187133 0 0 0 237410 22 0 0 20 0 16 0 39452976 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947730089272 139947369797728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28811] ppid=28805 vsize=10727700 memory=2416852 CPUtime=4.08 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28805 28808 24904 0 -1 1077944384 9851 0 0 0 377 31 0 0 20 0 16 0 39452976 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947332676752 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28812] ppid=28805 vsize=10727700 memory=2416852 CPUtime=4.12 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28805 28808 24904 0 -1 1077944384 7691 0 0 0 379 33 0 0 20 0 16 0 39452976 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947331623952 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28813] ppid=28805 vsize=10727700 memory=2416852 CPUtime=4.06 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28805 28808 24904 0 -1 1077944384 11069 0 0 0 374 32 0 0 20 0 16 0 39452976 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947330571152 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28814] ppid=28805 vsize=10727700 memory=2416852 CPUtime=4.13 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28805 28808 24904 0 -1 1077944384 8039 0 0 0 381 32 0 0 20 0 16 0 39452976 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947329518352 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28815] ppid=28805 vsize=10727700 memory=2416852 CPUtime=1.86 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28805 28808 24904 0 -1 1077944384 7540 0 0 0 184 2 0 0 20 0 16 0 39452978 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947285617008 139947725863554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28816] ppid=28805 vsize=10727700 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28805 28808 24904 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 39452978 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947284563040 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28817] ppid=28805 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28805 28808 24904 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 39452978 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947283510144 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28818] ppid=28805 vsize=10727700 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947214366544 139947725871003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28819] ppid=28805 vsize=10727700 memory=2416852 CPUtime=2.51 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28805 28808 24904 0 -1 1077944384 15331 0 0 0 249 2 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947213314928 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28820] ppid=28805 vsize=10727700 memory=2416852 CPUtime=2.46 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28805 28808 24904 0 -1 1077944384 11268 0 0 0 244 2 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947212262128 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28821] ppid=28805 vsize=10727700 memory=2416852 CPUtime=0.62 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28805 28808 24904 0 -1 1077944384 6622 0 0 0 60 2 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947211209328 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28822] ppid=28805 vsize=10727700 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947210156768 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28823] ppid=28805 vsize=10727700 memory=0 CPUtime=1.79 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28805 28808 24904 0 -1 1077944384 3358 0 0 0 85 94 0 0 20 0 16 0 39452981 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947209104048 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28824] ppid=28805 vsize=10727700 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28824/stat : 28824 (java) S 28805 28808 24904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39453566 10985164800 604213 33554432000 4194304 4196468 140736319125376 139947205952432 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2416852 KiB

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

[startup+2380.77 s]
# the end of solver process 28808 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.94 s, system=2.24465 s

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

[startup+2380.61 s]
/proc/loadavg: 2.08 2.05 2.27 3/219 28998
/proc/meminfo: memFree=18855700/32770624 swapFree=67108860/67108860
[pid=28808] ppid=28805 vsize=10927392 memory=2417080 CPUtime=2400.1 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28805 28808 24904 0 -1 1077944320 269752 0 0 0 239787 223 0 0 20 0 17 0 39452975 11189649408 604270 33554432000 4194304 4196468 140736319125376 140736319107920 139947725852407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
/proc/28808/statm: 2731848 604270 3193 1 0 2694339 0
[pid=28808/tid=28810] ppid=28805 vsize=10927392 memory=1724 CPUtime=2374.36 cores=0,2,4,6
/proc/28808/task/28810/stat : 28810 (java) S 28805 28808 24904 0 -1 1077944384 187182 0 0 0 237414 22 0 0 20 0 17 0 39452976 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947730095280 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28811] ppid=28805 vsize=10927392 memory=2241 CPUtime=4.08 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28805 28808 24904 0 -1 1077944384 9851 0 0 0 377 31 0 0 20 0 17 0 39452976 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947332676752 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28812] ppid=28805 vsize=10927392 memory=2244 CPUtime=4.12 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28805 28808 24904 0 -1 1077944384 7691 0 0 0 379 33 0 0 20 0 17 0 39452976 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947331623952 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28813] ppid=28805 vsize=10927392 memory=6656426216303648864 CPUtime=4.06 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28805 28808 24904 0 -1 1077944384 11069 0 0 0 374 32 0 0 20 0 17 0 39452976 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947330571152 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28814] ppid=28805 vsize=10927392 memory=3683997504517716274 CPUtime=4.13 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28805 28808 24904 0 -1 1077944384 8039 0 0 0 381 32 0 0 20 0 17 0 39452976 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947329518352 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28815] ppid=28805 vsize=10927392 memory=6656426216303648864 CPUtime=1.86 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28805 28808 24904 0 -1 1077944384 7568 0 0 0 184 2 0 0 20 0 17 0 39452978 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947285617008 139947725863554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28816] ppid=28805 vsize=10927392 memory=7451036698178643308 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28805 28808 24904 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 39452978 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947284563040 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28817] ppid=28805 vsize=10927392 memory=7595152986084693605 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28805 28808 24904 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 39452978 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947283510144 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28818] ppid=28805 vsize=10927392 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28805 28808 24904 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947214366544 139947725871003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28819] ppid=28805 vsize=10927392 memory=4206186544037388384 CPUtime=2.51 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28805 28808 24904 0 -1 1077944384 15331 0 0 0 249 2 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947213314928 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28820] ppid=28805 vsize=10927392 memory=6944652177228980320 CPUtime=2.46 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28805 28808 24904 0 -1 1077944384 11268 0 0 0 244 2 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947212262128 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28821] ppid=28805 vsize=10927392 memory=6944656592455359580 CPUtime=0.62 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28805 28808 24904 0 -1 1077944384 6696 0 0 0 60 2 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947211209328 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28822] ppid=28805 vsize=10927392 memory=9051283677730746851 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947210156768 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28823] ppid=28805 vsize=10927392 memory=8329282658850011964 CPUtime=1.79 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28805 28808 24904 0 -1 1077944384 3358 0 0 0 85 94 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947209104048 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2417080 KiB

[startup+2380.7 s]
/proc/loadavg: 2.08 2.05 2.27 3/219 28998
/proc/meminfo: memFree=18855700/32770624 swapFree=67108860/67108860
[pid=28808] ppid=28805 vsize=10927392 memory=2417080 CPUtime=2400.1 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28805 28808 24904 0 -1 1077944320 269752 0 0 0 239787 223 0 0 20 0 17 0 39452975 11189649408 604270 33554432000 4194304 4196468 140736319125376 140736319107920 139947725852407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
/proc/28808/statm: 2731848 604270 3193 1 0 2694339 0
[pid=28808/tid=28810] ppid=28805 vsize=10927392 memory=4140 CPUtime=2374.36 cores=0,2,4,6
/proc/28808/task/28810/stat : 28810 (java) S 28805 28808 24904 0 -1 1077944384 187182 0 0 0 237414 22 0 0 20 0 17 0 39452976 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947730095280 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28811] ppid=28805 vsize=10927392 memory=2416852 CPUtime=4.08 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28805 28808 24904 0 -1 1077944384 9851 0 0 0 377 31 0 0 20 0 17 0 39452976 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947332676752 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28812] ppid=28805 vsize=10927392 memory=2416852 CPUtime=4.12 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28805 28808 24904 0 -1 1077944384 7691 0 0 0 379 33 0 0 20 0 17 0 39452976 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947331623952 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28813] ppid=28805 vsize=10927392 memory=0 CPUtime=4.06 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28805 28808 24904 0 -1 1077944384 11069 0 0 0 374 32 0 0 20 0 17 0 39452976 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947330571152 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28814] ppid=28805 vsize=10927392 memory=2416852 CPUtime=4.13 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28805 28808 24904 0 -1 1077944384 8039 0 0 0 381 32 0 0 20 0 17 0 39452976 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947329518352 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28815] ppid=28805 vsize=10927392 memory=2416852 CPUtime=1.86 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28805 28808 24904 0 -1 1077944384 7568 0 0 0 184 2 0 0 20 0 17 0 39452978 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947285617008 139947725863554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28816] ppid=28805 vsize=10927392 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28805 28808 24904 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 39452978 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947284563040 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28817] ppid=28805 vsize=10927392 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28805 28808 24904 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 39452978 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947283510144 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28818] ppid=28805 vsize=10927392 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28805 28808 24904 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947214366544 139947725871003 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28819] ppid=28805 vsize=10927392 memory=0 CPUtime=2.51 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28805 28808 24904 0 -1 1077944384 15331 0 0 0 249 2 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947213314928 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28820] ppid=28805 vsize=10927392 memory=2416852 CPUtime=2.46 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28805 28808 24904 0 -1 1077944384 11268 0 0 0 244 2 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947212262128 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28821] ppid=28805 vsize=10927392 memory=2416852 CPUtime=0.62 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28805 28808 24904 0 -1 1077944384 6696 0 0 0 60 2 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947211209328 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28822] ppid=28805 vsize=10927392 memory=2416852 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28805 28808 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947210156768 139947725862613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
[pid=28808/tid=28823] ppid=28805 vsize=10927392 memory=15872 CPUtime=1.79 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28805 28808 24904 0 -1 1077944384 3358 0 0 0 85 94 0 0 20 0 17 0 39452981 11189649408 604270 33554432000 4194304 4196468 140736319125376 139947209104048 139947725863554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140736319128689 140736319128841 140736319128841 140736319131599 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2417080 KiB

Child status: 143
Real time (s): 2380.77
CPU time (s): 2400.18
CPU user time (s): 2397.94
CPU system time (s): 2.24465
CPU usage (%): 100.815
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 2417080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.94
system time used= 2.24465
maximum resident set size= 2417692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55332
involuntary context switches= 3264


# summary of solver processes directly reported to runsolver:
#   pid: 28808
#   total CPU time (s): 2400.18
#   total CPU user time (s): 2397.94
#   total CPU system time (s): 2.24465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9358 second user time and 21.8026 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-22 02:21:38
IDJOB=4290030
IDBENCH=141450
IDSOLVER=2742
FILE ID=node103/4290030-1532218898
RUNJOBID= node103-1532209718-27131
PBS_JOBID= 21018940
Free space on /tmp= 56868 MiB

SOLVER NAME= Sat4j-CSP 2018-07-11
BENCH NAME= XCSP18/CarSequencing/CarSequencing-80-02_c18.xml
COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290030-1532218898/watcher-4290030-1532218898 -o /tmp/evaluation-result-4290030-1532218898/solver-4290030-1532218898 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532209718-27131 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290030-1532218898.xml

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

MD5SUM BENCH= 201da62bda966dccc44cd0c6ff0d4af7
RANDOM SEED=1356876509

node103.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.48
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.48
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.48
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.48
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:        15341156 kB
MemAvailable:   23675396 kB
Buffers:          217500 kB
Cached:          8322312 kB
SwapCached:            0 kB
Active:          9580936 kB
Inactive:        7261664 kB
Active(anon):    8305220 kB
Inactive(anon):    16984 kB
Active(file):    1275716 kB
Inactive(file):  7244680 kB
Unevictable:        7140 kB
Mlocked:            7140 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2352 kB
Writeback:             0 kB
AnonPages:       8309444 kB
Mapped:            46780 kB
Shmem:             17036 kB
Slab:             269864 kB
SReclaimable:     242304 kB
SUnreclaim:        27560 kB
KernelStack:        3520 kB
PageTables:        21352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8625040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8036352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56868 MiB
End job on node103 at 2018-07-22 03:01:19