Trace number 4263763

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
sat4j-CSP 2017-07-05SAT (TO)261 2520.3601 2488.1599

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-04-04-3.xml
MD5SUMd594ce2470bfcbe7ad5c857fb9f8254a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark250
Best CPU time to get the best result obtained on this benchmark0.226116
Satisfiable
(Un)Satisfiability was proved
Number of variables68
Number of constraints60
Number of domains6
Minimum domain size4
Maximum domain size350
Distribution of domain sizes[{"size":4,"count":32},{"size":350,"count":36}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":32},{"degree":5,"count":16}]
Minimum constraint arity1
Maximum constraint arity6
Distribution of constraint arities[{"arity":1,"count":4},{"arity":2,"count":16},{"arity":3,"count":16},{"arity":4,"count":8},{"arity":6,"count":16}]
Number of extensional constraints16
Number of intensional constraints20
Distribution of constraint types[{"type":"extension","count":16},{"type":"intension","count":20},{"type":"allDifferent","count":4},{"type":"noOverlap","count":4},{"type":"element","count":16}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

35.58/13.24	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
35.58/13.24	c This is free software under the dual EPL/GNU LGPL licenses.
35.58/13.24	c See www.sat4j.org for details.
35.58/13.24	c That software uses the Rhino library from the Mozilla project.
35.58/13.24	c version CUSTOM.v20170705
35.58/13.24	c java.runtime.name	Java(TM) SE Runtime Environment
35.58/13.24	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
35.58/13.24	c java.vm.version	25.131-b11
35.58/13.24	c java.vm.vendor	Oracle Corporation
35.58/13.24	c sun.arch.data.model	64
35.58/13.24	c java.version		1.8.0_131
35.58/13.24	c os.name		Linux
35.58/13.24	c os.version		3.10.0-514.16.1.el7.x86_64
35.58/13.24	c os.arch		amd64
35.58/13.24	c Free memory 		499604488
35.58/13.24	c Max memory 		7247757312
35.58/13.24	c Total memory 		504889344
35.58/13.24	c Number of processors 	4
35.58/13.24	c c --- Begin Solver configuration ---
35.58/13.24	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
35.58/13.24	c Learn all clauses as in MiniSAT
35.58/13.24	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
35.58/13.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
35.58/13.24	c No reason simplification
35.58/13.24	c Glucose 2.1 dynamic restart strategy
35.58/13.24	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
35.58/13.24	c timeout=2147483s
35.58/13.24	c DB Simplification allowed=false
35.58/13.24	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
35.58/13.24	c --- End Solver configuration ---
35.58/13.24	c constraints type 
35.58/13.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 136
35.58/13.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19064
35.58/13.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16357892
35.58/13.24	c org.sat4j.minisat.constraints.cnf.UnitClause => 152
35.58/13.24	c 16377244 constraints processed.
768.36/741.64	o 17059
807.63/780.26	o 4033
817.41/789.96	o 2069
825.17/797.69	o 2007
851.16/823.50	o 1735
878.48/850.88	o 1699
890.09/862.46	o 1619
952.79/924.64	o 1363
972.41/944.28	o 1360
1001.14/972.93	o 1040
1010.45/982.21	o 697
1013.85/985.66	o 689
1015.95/987.75	o 663
1053.87/1025.68	o 658
1067.42/1039.12	o 349
1073.75/1045.43	o 339
1125.46/1096.64	o 337
1143.41/1114.57	o 334
1170.88/1141.98	o 333
1175.18/1146.20	o 332
1190.19/1161.20	o 326
1216.01/1187.08	o 325
1306.69/1277.21	o 316
1381.43/1351.91	o 311
1391.04/1361.55	o 310
1396.14/1366.62	o 309
1460.88/1431.38	o 306
1473.39/1443.84	o 305
1481.09/1451.51	o 302
1526.96/1496.93	o 300
1574.99/1544.99	o 297
1616.02/1586.00	o 293
1673.44/1643.33	o 287
1774.16/1743.51	o 278
1862.91/1832.26	o 273
1994.08/1963.37	o 272
2037.47/2006.21	o 271
2104.21/2072.95	o 270
2121.83/2090.54	o 268
2157.56/2126.24	o 267
2164.47/2133.19	o 266
2175.06/2143.79	o 264
2323.10/2291.19	o 262
2391.04/2359.06	o 261
2520.13/2488.10	c starts		: 23603
2520.13/2488.10	c conflicts		: 6262415
2520.13/2488.10	c decisions		: 122357243
2520.13/2488.10	c propagations		: 1220324760
2520.13/2488.10	c inspects		: 32655858602
2520.13/2488.10	c shortcuts		: 0
2520.13/2488.10	c learnt literals	: 4349
2520.13/2488.10	c learnt binary clauses	: 25873
2520.13/2488.10	c learnt ternary clauses	: 102537
2520.13/2488.10	c learnt constraints	: 6258066
2520.23/2488.11	c ignored constraints	: 0
2520.23/2488.11	c root simplifications	: 0
2520.23/2488.11	c removed literals (reason simplification)	: 0
2520.23/2488.11	c reason swapping (by a shorter reason)	: 0
2520.23/2488.11	c Calls to reduceDB	: 429
2520.23/2488.11	c Number of update (reduction) of LBD	: 5289554
2520.23/2488.11	c Imported unit clauses	: 0
2520.23/2488.11	c number of reductions to clauses (during analyze)	: 0
2520.23/2488.11	c number of learned constraints concerned by reduction	: 0
2520.23/2488.11	c number of learning phase by resolution	: 0
2520.23/2488.11	c number of learning phase by cutting planes	: 0
2520.23/2488.11	c number of rounding to 1 operations	: 0
2520.23/2488.11	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2520.23/2488.11	c number of reductions of the coefficients by power 2 	: 0
2520.23/2488.11	c number of right shift for reduction by power 2 	: 0
2520.23/2488.11	c number of reductions of the coefficients by GCD over coefficients 	: 0
2520.23/2488.11	c speed (assignments/second)	: 493090.1941167367
2520.23/2488.11	c non guided choices	4863185
2520.23/2488.14	c learnt constraints type 
2520.23/2488.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 25873
2520.23/2488.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 204525
2520.23/2488.14	s SATISFIABLE
2520.23/2488.14	v <instantiation type="solution">
2520.23/2488.14	v 	<list> s[0][0] s[0][1] s[0][2] s[0][3] s[1][0] s[1][1] s[1][2] s[1][3] s[2][0] s[2][1] s[2][2] s[2][3] s[3][0] s[3][1] s[3][2] s[3][3] e[0] e[1] e[2] e[3] d[0][0] d[0][1] d[0][2] d[0][3] d[1][0] d[1][1] d[1][2] d[1][3] d[2][0] d[2][1] d[2][2] d[2][3] d[3][0] d[3][1] d[3][2] d[3][3] w[0][0] w[0][1] w[0][2] w[0][3] w[1][0] w[1][1] w[1][2] w[1][3] w[2][0] w[2][1] w[2][2] w[2][3] w[3][0] w[3][1] w[3][2] w[3][3] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[3][0] sd[3][1] sd[3][2] sd[3][3] </list>
2520.23/2488.14	v 	<values> 67 123 184 241 0 78 103 201 9 75 105 194 0 43 109 201 260 241 252 261 35 60 54 19 75 25 98 40 52 28 88 58 43 62 74 60 3 0 2 1 2 0 3 1 3 2 1 0 0 1 2 3 123 241 184 67 78 201 0 103 194 105 75 9 0 43 109 201 </values>
2520.23/2488.14	v </instantiation>
2520.23/2488.14

Verifier Data 

OK	261

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263763-1502595745/watcher-4263763-1502595745 -o /tmp/evaluation-result-4263763-1502595745/solver-4263763-1502595745 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8033 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263763-1502595745.xml 

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

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

solver pid=13211, runsolver pid=13208

[startup+0.100159 s]*
/proc/loadavg: 4.75 4.69 5.21 3/206 13220
/proc/meminfo: memFree=28863496/32770624 swapFree=67108860/67108860
[pid=13211] ppid=13208 vsize=10151672 memory=20320 CPUtime=0.03 cores=1,3,5,7
/proc/13211/stat : 13211 (java) S 13208 13211 7968 0 -1 1077944320 3939 0 0 0 3 0 0 0 20 0 9 0 13457223 10395312128 5080 18446744073709551615 4194304 4196468 140736709850608 140736709833152 139987798716151 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
/proc/13211/statm: 2537918 5080 2110 1 0 2527415 0
[pid=13211/tid=13213] ppid=13208 vsize=10151672 memory=-6439968830534014599 CPUtime=0.02 cores=1,3,5,7
/proc/13211/task/13213/stat : 13213 (java) R 13208 13211 7968 0 -1 4202560 2579 0 0 0 2 0 0 0 20 0 9 0 13457230 10395312128 5080 18446744073709551615 4194304 4196468 140736709850608 139987802952664 139987780862272 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13214] ppid=13208 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13214/stat : 13214 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 13457231 10395312128 5080 18446744073709551615 4194304 4196468 140736709850608 139987755682576 139987798726357 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13215] ppid=13208 vsize=10151672 memory=139991236028032 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13215/stat : 13215 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 13457231 10395312128 5080 18446744073709551615 4194304 4196468 140736709850608 139987754630032 139987798726357 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13216] ppid=13208 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13216/stat : 13216 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 13457231 10395312128 5080 18446744073709551615 4194304 4196468 140736709850608 139987753577488 139987798726357 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13217] ppid=13208 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13217/stat : 13217 (java) S 13208 13211 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 13457231 10395312128 5080 18446744073709551615 4194304 4196468 140736709850608 139987752524944 139987798726357 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13218] ppid=13208 vsize=10151672 memory=139991236028032 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13218/stat : 13218 (java) S 13208 13211 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 13457232 10395312128 5080 18446744073709551615 4194304 4196468 140736709850608 139987362703344 139987798727298 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13219] ppid=13208 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13219/stat : 13219 (java) S 13208 13211 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 13457232 10395312128 5080 18446744073709551615 4194304 4196468 140736709850608 139987361649568 139987798726357 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13220] ppid=13208 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13220/stat : 13220 (java) S 13208 13211 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 13457233 10395312128 5080 18446744073709551615 4194304 4196468 140736709850608 139987360597040 139987798726357 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20320 KiB

[startup+0.211152 s]*
/proc/loadavg: 4.75 4.69 5.21 4/212 13226
/proc/meminfo: memFree=28859724/32770624 swapFree=67108860/67108860
[pid=13211] ppid=13208 vsize=10551156 memory=26592 CPUtime=0.1 cores=1,3,5,7
/proc/13211/stat : 13211 (java) S 13208 13211 7968 0 -1 1077944320 5142 0 0 0 9 1 0 0 20 0 15 0 13457223 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 140736709833152 139987798716151 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
/proc/13211/statm: 2637789 6648 2792 1 0 2627261 0
[pid=13211/tid=13213] ppid=13208 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/13211/task/13213/stat : 13213 (java) R 13208 13211 7968 0 -1 4202560 3058 0 0 0 7 0 0 0 20 0 15 0 13457230 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987802951616 139987429447207 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13214] ppid=13208 vsize=10551156 memory=317 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13214/stat : 13214 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457231 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987755682576 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13215] ppid=13208 vsize=10551156 memory=139991236036322 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13215/stat : 13215 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457231 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987754630032 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13216] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13216/stat : 13216 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457231 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987753577488 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13217] ppid=13208 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13217/stat : 13217 (java) S 13208 13211 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13457231 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987752524944 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13218] ppid=13208 vsize=10551156 memory=139991236028032 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13218/stat : 13218 (java) S 13208 13211 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13457232 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987362703344 139987798727298 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13219] ppid=13208 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13219/stat : 13219 (java) S 13208 13211 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13457232 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987361649568 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13220] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13220/stat : 13220 (java) S 13208 13211 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13457233 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987360596976 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13221] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13221/stat : 13221 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13457235 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987359545552 139987798734747 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13222] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13222/stat : 13222 (java) S 13208 13211 7968 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 13457235 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987358493168 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13223] ppid=13208 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13223/stat : 13223 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13457235 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987357440624 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13224] ppid=13208 vsize=10551156 memory=139991236028032 CPUtime=0.01 cores=1,3,5,7
/proc/13211/task/13224/stat : 13224 (java) R 13208 13211 7968 0 -1 4202560 296 0 0 0 1 0 0 0 20 0 15 0 13457235 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987356388080 139987782796638 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13225] ppid=13208 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13225/stat : 13225 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13457235 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987355335776 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13226] ppid=13208 vsize=10551156 memory=139991236028032 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13226/stat : 13226 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457241 10804383744 6648 18446744073709551615 4194304 4196468 140736709850608 139987354282288 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26592 KiB

[startup+0.31032 s]*
/proc/loadavg: 4.75 4.69 5.21 3/212 13226
/proc/meminfo: memFree=28848856/32770624 swapFree=67108860/67108860
[pid=13211] ppid=13208 vsize=10551156 memory=36924 CPUtime=0.25 cores=1,3,5,7
/proc/13211/stat : 13211 (java) S 13208 13211 7968 0 -1 1077944320 8504 0 0 0 23 2 0 0 20 0 15 0 13457223 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 140736709833152 139987798716151 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
/proc/13211/statm: 2637789 9231 2871 1 0 2627261 0
[pid=13211/tid=13213] ppid=13208 vsize=10551156 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/13211/task/13213/stat : 13213 (java) R 13208 13211 7968 0 -1 4202560 6131 0 0 0 16 1 0 0 20 0 15 0 13457230 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987802952240 139987779541048 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13214] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13214/stat : 13214 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457231 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987755682576 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13215] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13215/stat : 13215 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457231 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987754630032 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13216] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13216/stat : 13216 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457231 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987753577488 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13217] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13217/stat : 13217 (java) S 13208 13211 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13457231 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987752524944 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13218] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13218/stat : 13218 (java) S 13208 13211 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13457232 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987362703344 139987798727298 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13219] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13219/stat : 13219 (java) S 13208 13211 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13457232 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987361649568 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13220] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13220/stat : 13220 (java) S 13208 13211 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13457233 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987360596976 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13221] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13221/stat : 13221 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13457235 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987359545552 139987798734747 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13222] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13222/stat : 13222 (java) R 13208 13211 7968 0 -1 4202560 480 0 0 0 0 0 0 0 20 0 15 0 13457235 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987358493168 139987776463567 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13223] ppid=13208 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13211/task/13223/stat : 13223 (java) R 13208 13211 7968 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 15 0 13457235 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987357440624 139987798727298 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13224] ppid=13208 vsize=10551156 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/13211/task/13224/stat : 13224 (java) S 13208 13211 7968 0 -1 1077944384 443 0 0 0 4 0 0 0 20 0 15 0 13457235 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987356388080 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13225] ppid=13208 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13225/stat : 13225 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13457235 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987355335776 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13226] ppid=13208 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13226/stat : 13226 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457241 10804383744 9231 18446744073709551615 4194304 4196468 140736709850608 139987354282288 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36924 KiB

[startup+0.700803 s]
/proc/loadavg: 4.75 4.69 5.21 6/212 13226
/proc/meminfo: memFree=28827872/32770624 swapFree=67108860/67108860
[pid=13211] ppid=13208 vsize=10551232 memory=113992 CPUtime=1.25 cores=1,3,5,7
/proc/13211/stat : 13211 (java) S 13208 13211 7968 0 -1 1077944320 13628 0 0 0 120 5 0 0 20 0 15 0 13457223 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 140736709833152 139987798716151 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
/proc/13211/statm: 2637808 28498 3055 1 0 2627261 0
[pid=13211/tid=13213] ppid=13208 vsize=10551232 memory=199 CPUtime=0.55 cores=1,3,5,7
/proc/13211/task/13213/stat : 13213 (java) R 13208 13211 7968 0 -1 4202560 7433 0 0 0 52 3 0 0 20 0 15 0 13457230 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987802946640 139987429392660 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13214] ppid=13208 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13214/stat : 13214 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457231 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987755682576 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13215] ppid=13208 vsize=10551232 memory=5 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13215/stat : 13215 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457231 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987754630032 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13216] ppid=13208 vsize=10551232 memory=15 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13216/stat : 13216 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457231 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987753577488 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13217] ppid=13208 vsize=10551232 memory=62 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13217/stat : 13217 (java) S 13208 13211 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13457231 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987752524944 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13218] ppid=13208 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13218/stat : 13218 (java) S 13208 13211 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13457232 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987362703344 139987798727298 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13219] ppid=13208 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13219/stat : 13219 (java) S 13208 13211 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13457232 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987361649568 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13220] ppid=13208 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13220/stat : 13220 (java) S 13208 13211 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13457233 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987360596976 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13221] ppid=13208 vsize=10551232 memory=4 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13221/stat : 13221 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13457235 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987359545552 139987798734747 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13222] ppid=13208 vsize=10551232 memory=30 CPUtime=0.24 cores=1,3,5,7
/proc/13211/task/13222/stat : 13222 (java) R 13208 13211 7968 0 -1 4202560 2161 0 0 0 24 0 0 0 20 0 15 0 13457235 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987358479048 139987780237367 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13223] ppid=13208 vsize=10551232 memory=2 CPUtime=0.25 cores=1,3,5,7
/proc/13211/task/13223/stat : 13223 (java) R 13208 13211 7968 0 -1 4202560 1573 0 0 0 25 0 0 0 20 0 15 0 13457235 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987357426504 139987780237542 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13224] ppid=13208 vsize=10551232 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/13211/task/13224/stat : 13224 (java) S 13208 13211 7968 0 -1 1077944384 1093 0 0 0 17 0 0 0 20 0 15 0 13457235 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987356388080 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13225] ppid=13208 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13225/stat : 13225 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13457235 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987355335776 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13226] ppid=13208 vsize=10551232 memory=6463925781705 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13226/stat : 13226 (java) S 13208 13211 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13457241 10804461568 28498 18446744073709551615 4194304 4196468 140736709850608 139987354282288 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 113992 KiB

[startup+1.51173 s]
/proc/loadavg: 4.75 4.69 5.21 3/212 13226
/proc/meminfo: memFree=28643196/32770624 swapFree=67108860/67108860
[pid=13211] ppid=13208 vsize=10551232 memory=453100 CPUtime=3.25 cores=1,3,5,7
/proc/13211/stat : 13211 (java) S 13208 13211 7968 0 -1 1077944320 15742 0 0 0 298 27 0 0 20 0 15 0 13457223 10804461568 113275 18446744073709551615 4194304 4196468 140736709850608 140736709833152 139987798716151 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
/proc/13211/statm: 2637808 113275 3092 1 0 2627261 0
[pid=13211/tid=13213] ppid=13208 vsize=10551232 memory=11845 CPUtime=1.17 cores=1,3,5,7
/proc/13211/task/13213/stat : 13213 (java) S 13208 13211 7968 0 -1 1077944384 7588 0 0 0 111 6 0 0 20 0 15 0 13457230 10804461568 113275 18446744073709551615 4194304 4196468 140736709850608 139987802950512 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13214] ppid=13208 vsize=10551232 memory=26925 CPUtime=0.18 cores=1,3,5,7
/proc/13211/task/13214/stat : 13214 (java) R 13208 13211 7968 0 -1 4202560 143 0 0 0 14 4 0 0 20 0 15 0 13457231 10804461568 113275 18446744073709551615 4194304 4196468 140736709850608 139987755682576 139987783744025 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13215] ppid=13208 vsize=10551232 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/13211/task/13215/stat : 13215 (java) R 13208 13211 7968 0 -1 4202560 172 0 0 0 14 4 0 0 20 0 15 0 13457231 10804461568 113275 18446744073709551615 4194304 4196468 140736709850608 139987754630032 139987791815998 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13216] ppid=13208 vsize=10551232 memory=-7812193691855986592 CPUtime=0.18 cores=1,3,5,7
/proc/13211/task/13216/stat : 13216 (java) R 13208 13211 7968 0 -1 4202560 147 0 0 0 14 4 0 0 20 0 15 0 13457231 10804461568 113275 18446744073709551615 4194304 4196468 140736709850608 139987753577488 139987783744025 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13217] ppid=13208 vsize=10551232 memory=-7523660553960122769 CPUtime=0.19 cores=1,3,5,7
/proc/13211/task/13217/stat : 13217 (java) R 13208 13211 7968 0 -1 4202560 174 0 0 0 14 5 0 0 20 0 15 0 13457231 10804461568 113275 18446744073709551615 4194304 4196468 140736709850608 139987752525144 139987783744025 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13218] ppid=13208 vsize=10551232 memory=-7523660553960122769 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13218/stat : 13218 (java) S 13208 13211 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 13457232 10804461568 113275 18446744073709551615 4194304 4196468 140736709850608 139987362701856 139987798726357 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13219] ppid=13208 vsize=10551232 memory=-7523660553960122769 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13219/stat : 13219 (java) S 13208 13211 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 13457232 10804461568 113275 18446744073709551615 4194304 4196468 140736709850608 139987361649632 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13220] ppid=13208 vsize=10551232 memory=7017234263446295922 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13220/stat : 13220 (java) S 13208 13211 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 13457233 10804461568 113787 18446744073709551615 4194304 4196468 140736709850608 139987360596976 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13221] ppid=13208 vsize=10551232 memory=7017234263446295922 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13221/stat : 13221 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13457235 10804461568 113787 18446744073709551615 4194304 4196468 140736709850608 139987359545552 139987798734747 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13222] ppid=13208 vsize=10551232 memory=7379260605272714089 CPUtime=0.52 cores=1,3,5,7
/proc/13211/task/13222/stat : 13222 (java) S 13208 13211 7968 0 -1 1077944384 2610 0 0 0 52 0 0 0 20 0 15 0 13457235 10804461568 113787 18446744073709551615 4194304 4196468 140736709850608 139987358493168 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13223] ppid=13208 vsize=10551232 memory=5789193038506583128 CPUtime=0.55 cores=1,3,5,7
/proc/13211/task/13223/stat : 13223 (java) S 13208 13211 7968 0 -1 1077944384 2148 0 0 0 55 0 0 0 20 0 15 0 13457235 10804461568 113787 18446744073709551615 4194304 4196468 140736709850608 139987357440624 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13224] ppid=13208 vsize=10551232 memory=7378983553979662441 CPUtime=0.21 cores=1,3,5,7
/proc/13211/task/13224/stat : 13224 (java) S 13208 13211 7968 0 -1 1077944384 1314 0 0 0 21 0 0 0 20 0 15 0 13457235 10804461568 113787 18446744073709551615 4194304 4196468 140736709850608 139987356388080 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0

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

/proc/13211/task/13219/stat : 13219 (java) S 13208 13211 7968 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 13457232 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987361649632 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13220] ppid=13208 vsize=10617796 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13220/stat : 13220 (java) S 13208 13211 7968 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 13457233 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987360596992 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13221] ppid=13208 vsize=10617796 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13221/stat : 13221 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13457235 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987359545552 139987798734747 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13222] ppid=13208 vsize=10617796 memory=11584 CPUtime=1.64 cores=1,3,5,7
/proc/13211/task/13222/stat : 13222 (java) S 13208 13211 7968 0 -1 1077944384 13554 0 0 0 162 2 0 0 20 0 16 0 13457235 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987358493168 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13223] ppid=13208 vsize=10617796 memory=2905508 CPUtime=2 cores=1,3,5,7
/proc/13211/task/13223/stat : 13223 (java) S 13208 13211 7968 0 -1 1077944384 14118 0 0 0 198 2 0 0 20 0 16 0 13457235 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987357440624 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13224] ppid=13208 vsize=10617796 memory=2905508 CPUtime=0.42 cores=1,3,5,7
/proc/13211/task/13224/stat : 13224 (java) S 13208 13211 7968 0 -1 1077944384 8147 0 0 0 40 2 0 0 20 0 16 0 13457235 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987356388080 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13225] ppid=13208 vsize=10617796 memory=2905508 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13225/stat : 13225 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13457235 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987355335776 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13226] ppid=13208 vsize=10617796 memory=2905508 CPUtime=1.42 cores=1,3,5,7
/proc/13211/task/13226/stat : 13226 (java) S 13208 13211 7968 0 -1 1077944384 3073 0 0 0 68 74 0 0 20 0 16 0 13457241 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987354282288 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13228] ppid=13208 vsize=10617796 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13228/stat : 13228 (java) S 13208 13211 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13458548 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987353228080 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
Current children cumulated CPU time: 2474.38 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 2905508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2487.9 s]
/proc/loadavg: 2.00 2.53 3.23 3/213 13709
/proc/meminfo: memFree=21826508/32770624 swapFree=67108860/67108860
[pid=13211] ppid=13208 vsize=10617796 memory=2905508 CPUtime=2520.01 cores=1,3,5,7
/proc/13211/stat : 13211 (java) S 13208 13211 7968 0 -1 1077944320 199626 0 0 0 251670 331 0 0 20 0 16 0 13457223 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 140736709833152 139987798716151 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
/proc/13211/statm: 2654449 726377 3143 1 0 2643902 0
[pid=13211/tid=13213] ppid=13208 vsize=10617796 memory=2905508 CPUtime=2475.8 cores=1,3,5,7
/proc/13211/task/13213/stat : 13213 (java) R 13208 13211 7968 0 -1 4202560 117547 0 0 0 247559 21 0 0 20 0 16 0 13457230 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987802952680 139987433053932 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13214] ppid=13208 vsize=10617796 memory=2905508 CPUtime=9.02 cores=1,3,5,7
/proc/13211/task/13214/stat : 13214 (java) S 13208 13211 7968 0 -1 1077944384 6612 0 0 0 845 57 0 0 20 0 16 0 13457231 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987755682576 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13215] ppid=13208 vsize=10617796 memory=2905508 CPUtime=8.9 cores=1,3,5,7
/proc/13211/task/13215/stat : 13215 (java) S 13208 13211 7968 0 -1 1077944384 6988 0 0 0 830 60 0 0 20 0 16 0 13457231 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987754630032 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13216] ppid=13208 vsize=10617796 memory=2905508 CPUtime=8.99 cores=1,3,5,7
/proc/13211/task/13216/stat : 13216 (java) S 13208 13211 7968 0 -1 1077944384 9668 0 0 0 844 55 0 0 20 0 16 0 13457231 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987753577488 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13217] ppid=13208 vsize=10617796 memory=2905508 CPUtime=8.92 cores=1,3,5,7
/proc/13211/task/13217/stat : 13217 (java) S 13208 13211 7968 0 -1 1077944384 8322 0 0 0 828 64 0 0 20 0 16 0 13457231 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987752524944 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13218] ppid=13208 vsize=10617796 memory=2905508 CPUtime=2.8 cores=1,3,5,7
/proc/13211/task/13218/stat : 13218 (java) S 13208 13211 7968 0 -1 1077944384 10049 0 0 0 276 4 0 0 20 0 16 0 13457232 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987362703344 139987798727298 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13219] ppid=13208 vsize=10617796 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13219/stat : 13219 (java) S 13208 13211 7968 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 13457232 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987361649632 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13220] ppid=13208 vsize=10617796 memory=2905508 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13220/stat : 13220 (java) S 13208 13211 7968 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 13457233 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987360596992 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13221] ppid=13208 vsize=10617796 memory=2905508 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13221/stat : 13221 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13457235 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987359545552 139987798734747 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13222] ppid=13208 vsize=10617796 memory=840 CPUtime=1.64 cores=1,3,5,7
/proc/13211/task/13222/stat : 13222 (java) S 13208 13211 7968 0 -1 1077944384 13558 0 0 0 162 2 0 0 20 0 16 0 13457235 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987358493168 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13223] ppid=13208 vsize=10617796 memory=1236 CPUtime=2 cores=1,3,5,7
/proc/13211/task/13223/stat : 13223 (java) S 13208 13211 7968 0 -1 1077944384 14121 0 0 0 198 2 0 0 20 0 16 0 13457235 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987357440624 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13224] ppid=13208 vsize=10617796 memory=2905508 CPUtime=0.42 cores=1,3,5,7
/proc/13211/task/13224/stat : 13224 (java) S 13208 13211 7968 0 -1 1077944384 8160 0 0 0 40 2 0 0 20 0 16 0 13457235 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987356388080 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13225] ppid=13208 vsize=10617796 memory=2905508 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13225/stat : 13225 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13457235 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987355335776 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13226] ppid=13208 vsize=10617796 memory=2905508 CPUtime=1.45 cores=1,3,5,7
/proc/13211/task/13226/stat : 13226 (java) S 13208 13211 7968 0 -1 1077944384 3114 0 0 0 69 76 0 0 20 0 16 0 13457241 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987354282288 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13228] ppid=13208 vsize=10617796 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13228/stat : 13228 (java) S 13208 13211 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13458548 10872623104 726377 18446744073709551615 4194304 4196468 140736709850608 139987353228080 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 2905508 KiB

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

[startup+2488.16 s]
# the end of solver process 13211 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.03 s, system=3.32924 s

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

[startup+2488.01 s]*
/proc/loadavg: 2.00 2.53 3.23 3/214 13712
/proc/meminfo: memFree=21826508/32770624 swapFree=67108860/67108860
[pid=13211] ppid=13208 vsize=10817488 memory=2905892 CPUtime=2520.13 cores=1,3,5,7
/proc/13211/stat : 13211 (java) S 13208 13211 7968 0 -1 1077944320 201573 0 0 0 251682 331 0 0 20 0 17 0 13457223 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 140736709833152 139987798716151 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
/proc/13211/statm: 2704372 726473 3145 1 0 2693825 0
[pid=13211/tid=13213] ppid=13208 vsize=10817488 memory=-8774313645642428999 CPUtime=2475.91 cores=1,3,5,7
/proc/13211/task/13213/stat : 13213 (java) R 13208 13211 7968 0 -1 4202560 117829 0 0 0 247570 21 0 0 20 0 17 0 13457230 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987802952464 139987433899856 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13214] ppid=13208 vsize=10817488 memory=2760 CPUtime=9.02 cores=1,3,5,7
/proc/13211/task/13214/stat : 13214 (java) S 13208 13211 7968 0 -1 1077944384 6612 0 0 0 845 57 0 0 20 0 17 0 13457231 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987755682576 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13215] ppid=13208 vsize=10817488 memory=4064 CPUtime=8.9 cores=1,3,5,7
/proc/13211/task/13215/stat : 13215 (java) S 13208 13211 7968 0 -1 1077944384 6988 0 0 0 830 60 0 0 20 0 17 0 13457231 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987754630032 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13216] ppid=13208 vsize=10817488 memory=1156 CPUtime=8.99 cores=1,3,5,7
/proc/13211/task/13216/stat : 13216 (java) S 13208 13211 7968 0 -1 1077944384 9668 0 0 0 844 55 0 0 20 0 17 0 13457231 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987753577488 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13217] ppid=13208 vsize=10817488 memory=3228 CPUtime=8.92 cores=1,3,5,7
/proc/13211/task/13217/stat : 13217 (java) S 13208 13211 7968 0 -1 1077944384 8322 0 0 0 828 64 0 0 20 0 17 0 13457231 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987752524944 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13218] ppid=13208 vsize=10817488 memory=-8774313645642428999 CPUtime=2.8 cores=1,3,5,7
/proc/13211/task/13218/stat : 13218 (java) S 13208 13211 7968 0 -1 1077944384 10100 0 0 0 276 4 0 0 20 0 17 0 13457232 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987362703344 139987798727298 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13219] ppid=13208 vsize=10817488 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13219/stat : 13219 (java) S 13208 13211 7968 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 13457232 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987361649632 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13220] ppid=13208 vsize=10817488 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13220/stat : 13220 (java) S 13208 13211 7968 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 17 0 13457233 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987360596992 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13221] ppid=13208 vsize=10817488 memory=3060 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13221/stat : 13221 (java) S 13208 13211 7968 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 17 0 13457235 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987359545552 139987798734747 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13222] ppid=13208 vsize=10817488 memory=2760 CPUtime=1.64 cores=1,3,5,7
/proc/13211/task/13222/stat : 13222 (java) S 13208 13211 7968 0 -1 1077944384 13778 0 0 0 162 2 0 0 20 0 17 0 13457235 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987358493168 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13223] ppid=13208 vsize=10817488 memory=4064 CPUtime=2 cores=1,3,5,7
/proc/13211/task/13223/stat : 13223 (java) S 13208 13211 7968 0 -1 1077944384 14360 0 0 0 198 2 0 0 20 0 17 0 13457235 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987357440624 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13224] ppid=13208 vsize=10817488 memory=1156 CPUtime=0.42 cores=1,3,5,7
/proc/13211/task/13224/stat : 13224 (java) S 13208 13211 7968 0 -1 1077944384 8680 0 0 0 40 2 0 0 20 0 17 0 13457235 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987356388080 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13225] ppid=13208 vsize=10817488 memory=3228 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13225/stat : 13225 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 13457235 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987355335776 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13226] ppid=13208 vsize=10817488 memory=2905508 CPUtime=1.45 cores=1,3,5,7
/proc/13211/task/13226/stat : 13226 (java) S 13208 13211 7968 0 -1 1077944384 3114 0 0 0 69 76 0 0 20 0 17 0 13457241 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987354282288 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13710] ppid=13208 vsize=10817488 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13710/stat : 13710 (java) S 13208 13211 7968 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 17 0 13706013 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987352174832 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13711] ppid=13208 vsize=10817488 memory=3080 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13711/stat : 13711 (java) S 13208 13211 7968 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 13706013 11077107712 726473 18446744073709551615 4194304 4196468 140736709850608 139987351123216 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 2905892 KiB

[startup+2488.11 s]
/proc/loadavg: 2.00 2.53 3.23 3/214 13712
/proc/meminfo: memFree=21826508/32770624 swapFree=67108860/67108860
[pid=13211] ppid=13208 vsize=10817488 memory=2905896 CPUtime=2520.23 cores=1,3,5,7
/proc/13211/stat : 13211 (java) S 13208 13211 7968 0 -1 1077944320 201812 0 0 0 251692 331 0 0 20 0 17 0 13457223 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 140736709833152 139987798716151 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
/proc/13211/statm: 2704372 726474 3145 1 0 2693825 0
[pid=13211/tid=13213] ppid=13208 vsize=10817488 memory=2905508 CPUtime=2476.01 cores=1,3,5,7
/proc/13211/task/13213/stat : 13213 (java) R 13208 13211 7968 0 -1 4202560 117831 0 0 0 247580 21 0 0 20 0 17 0 13457230 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987802952464 139987429697434 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13214] ppid=13208 vsize=10817488 memory=2905508 CPUtime=9.02 cores=1,3,5,7
/proc/13211/task/13214/stat : 13214 (java) S 13208 13211 7968 0 -1 1077944384 6612 0 0 0 845 57 0 0 20 0 17 0 13457231 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987755682576 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13215] ppid=13208 vsize=10817488 memory=5520 CPUtime=8.9 cores=1,3,5,7
/proc/13211/task/13215/stat : 13215 (java) S 13208 13211 7968 0 -1 1077944384 6988 0 0 0 830 60 0 0 20 0 17 0 13457231 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987754630032 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13216] ppid=13208 vsize=10817488 memory=2905508 CPUtime=8.99 cores=1,3,5,7
/proc/13211/task/13216/stat : 13216 (java) S 13208 13211 7968 0 -1 1077944384 9668 0 0 0 844 55 0 0 20 0 17 0 13457231 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987753577488 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13217] ppid=13208 vsize=10817488 memory=2905508 CPUtime=8.92 cores=1,3,5,7
/proc/13211/task/13217/stat : 13217 (java) S 13208 13211 7968 0 -1 1077944384 8322 0 0 0 828 64 0 0 20 0 17 0 13457231 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987752524944 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13218] ppid=13208 vsize=10817488 memory=2905508 CPUtime=2.8 cores=1,3,5,7
/proc/13211/task/13218/stat : 13218 (java) S 13208 13211 7968 0 -1 1077944384 10100 0 0 0 276 4 0 0 20 0 17 0 13457232 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987362703344 139987798727298 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13219] ppid=13208 vsize=10817488 memory=2905508 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13219/stat : 13219 (java) S 13208 13211 7968 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 13457232 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987361649632 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13220] ppid=13208 vsize=10817488 memory=2905508 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13220/stat : 13220 (java) S 13208 13211 7968 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 17 0 13457233 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987360596992 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13221] ppid=13208 vsize=10817488 memory=2905508 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13221/stat : 13221 (java) S 13208 13211 7968 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 17 0 13457235 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987359545552 139987798734747 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13222] ppid=13208 vsize=10817488 memory=2905508 CPUtime=1.64 cores=1,3,5,7
/proc/13211/task/13222/stat : 13222 (java) S 13208 13211 7968 0 -1 1077944384 13778 0 0 0 162 2 0 0 20 0 17 0 13457235 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987358493168 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13223] ppid=13208 vsize=10817488 memory=1236 CPUtime=2 cores=1,3,5,7
/proc/13211/task/13223/stat : 13223 (java) S 13208 13211 7968 0 -1 1077944384 14360 0 0 0 198 2 0 0 20 0 17 0 13457235 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987357440624 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13224] ppid=13208 vsize=10817488 memory=6776432 CPUtime=0.42 cores=1,3,5,7
/proc/13211/task/13224/stat : 13224 (java) S 13208 13211 7968 0 -1 1077944384 8839 0 0 0 40 2 0 0 20 0 17 0 13457235 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987356388080 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13225] ppid=13208 vsize=10817488 memory=2905508 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13225/stat : 13225 (java) S 13208 13211 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 13457235 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987355335776 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13226] ppid=13208 vsize=10817488 memory=1156 CPUtime=1.45 cores=1,3,5,7
/proc/13211/task/13226/stat : 13226 (java) S 13208 13211 7968 0 -1 1077944384 3119 0 0 0 69 76 0 0 20 0 17 0 13457241 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987354282288 139987798727298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13710] ppid=13208 vsize=10817488 memory=2905508 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13710/stat : 13710 (java) S 13208 13211 7968 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 17 0 13706013 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987352174832 139987798726357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
[pid=13211/tid=13711] ppid=13208 vsize=10817488 memory=2905508 CPUtime=0 cores=1,3,5,7
/proc/13211/task/13711/stat : 13711 (java) R 13208 13211 7968 0 -1 4202560 148 0 0 0 0 0 0 0 20 0 17 0 13706013 11077107712 726474 18446744073709551615 4194304 4196468 140736709850608 139987351123216 139987429392660 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27168768 140736709857681 140736709857834 140736709857834 140736709861327 0
Current children cumulated CPU time: 2520.23 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 2905896 KiB

Child status: 143
Real time (s): 2488.16
CPU time (s): 2520.36
CPU user time (s): 2517.03
CPU system time (s): 3.32924
CPU usage (%): 101.294
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 2905896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.03
system time used= 3.32924
maximum resident set size= 2906016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202365
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56828
involuntary context switches= 1124


# summary of solver processes directly reported to runsolver:
#   pid: 13211
#   total CPU time (s): 2520.36
#   total CPU user time (s): 2517.03
#   total CPU system time (s): 3.32924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6687 second user time and 25.4646 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-13 05:28:29
IDJOB=4263763
IDBENCH=115820
IDSOLVER=2651
FILE ID=node128/4263763-1502595745
RUNJOBID= node128-1502582933-8033
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-04-04-3.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263763-1502595745/watcher-4263763-1502595745 -o /tmp/evaluation-result-4263763-1502595745/solver-4263763-1502595745 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8033 --watchdog 2580  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263763-1502595745.xml

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

MD5SUM BENCH= d594ce2470bfcbe7ad5c857fb9f8254a
RANDOM SEED=75508957

node128.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.94
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.94
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.94
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.94
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:        28875028 kB
MemAvailable:   29386040 kB
Buffers:          111212 kB
Cached:           688536 kB
SwapCached:            0 kB
Active:          2864728 kB
Inactive:         618960 kB
Active(anon):    2684156 kB
Inactive(anon):    16764 kB
Active(file):     180572 kB
Inactive(file):   602196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1696 kB
Writeback:             0 kB
AnonPages:       2642556 kB
Mapped:            43724 kB
Shmem:             17116 kB
Slab:             112656 kB
SReclaimable:      88160 kB
SUnreclaim:        24496 kB
KernelStack:        3824 kB
PageTables:        10088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3993308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2531328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62028 MiB
End job on node128 at 2017-08-13 06:09:57