Trace number 4258210

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-05? (TO) 253.297 86.561401

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-49.xml
MD5SUMf189c1eeae9c695eff92bc09b1867153
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark240.11099
Satisfiable
(Un)Satisfiability was proved
Number of variables2401
Number of constraints18424
Number of domains1
Minimum domain size1176
Maximum domain size1176
Distribution of domain sizes[{"size":1176,"count":1176}]
Minimum variable degree0
Maximum variable degree48
Distribution of variable degrees[{"degree":0,"count":1225},{"degree":48,"count":1176}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":18424}]
Number of extensional constraints0
Number of intensional constraints18424
Distribution of constraint types[{"type":"intension","count":18424}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258210-1502654065/watcher-4258210-1502654065 -o /tmp/evaluation-result-4258210-1502654065/solver-4258210-1502654065 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258210-1502654065.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=21542, runsolver pid=21539

[startup+0.100148 s]*
/proc/loadavg: 5.37 4.56 4.09 5/198 21543
/proc/meminfo: memFree=23685528/32770624 swapFree=67108860/67108860
[pid=21542] ppid=21539 vsize=33976 memory=460 CPUtime=0 cores=0,2,4,6
/proc/21542/stat : 21542 (runsolver) D 21539 21542 17093 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 67599853 34791424 115 18446744073709551615 4194304 4346622 140728991834608 140728991831240 140080606946007 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 32243712 140728991842411 140728991842857 140728991842857 140728991846346 0
/proc/21542/statm: 8494 115 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB

[startup+0.209198 s]*
/proc/loadavg: 5.37 4.56 4.09 5/211 21556
/proc/meminfo: memFree=23659568/32770624 swapFree=67108860/67108860
[pid=21542] ppid=21539 vsize=10484492 memory=22340 CPUtime=0.05 cores=0,2,4,6
/proc/21542/stat : 21542 (java) S 21539 21542 17093 0 -1 1077944320 4554 0 0 0 4 1 0 0 20 0 14 0 67599853 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140720322146512 140120230186743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
/proc/21542/statm: 2621123 5585 2573 1 0 2610620 0
[pid=21542/tid=21544] ppid=21539 vsize=10484492 memory=8316850467074736180 CPUtime=0.04 cores=0,2,4,6
/proc/21542/task/21544/stat : 21544 (java) D 21539 21542 17093 0 -1 4202560 2661 0 0 0 3 1 0 0 20 0 14 0 67599865 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140120234424224 140120230208765 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21545] ppid=21539 vsize=10484492 memory=14058 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21545/stat : 21545 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67599865 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140120160606608 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21546] ppid=21539 vsize=10484492 memory=288370456761607808 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21546/stat : 21546 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67599865 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140120159553808 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21547] ppid=21539 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21547/stat : 21547 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67599865 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140120158501520 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21548] ppid=21539 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21548/stat : 21548 (java) S 21539 21542 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67599865 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140120157448720 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21549] ppid=21539 vsize=10484492 memory=140080609896064 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21549/stat : 21549 (java) S 21539 21542 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67599867 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140119726193264 140120230197890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21550] ppid=21539 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21550/stat : 21550 (java) S 21539 21542 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 67599867 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140119725139232 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21551] ppid=21539 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21551/stat : 21551 (java) S 21539 21542 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 67599867 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140119724086896 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21552] ppid=21539 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21552/stat : 21552 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 67599870 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140119723035216 140120230205339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21553] ppid=21539 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21553/stat : 21553 (java) S 21539 21542 17093 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 14 0 67599870 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140119721982064 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21554] ppid=21539 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21554/stat : 21554 (java) S 21539 21542 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 67599870 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140119720929264 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21555] ppid=21539 vsize=10484492 memory=140080609896064 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21555/stat : 21555 (java) S 21539 21542 17093 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 14 0 67599870 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140119719876976 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21556] ppid=21539 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21556/stat : 21556 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 67599870 10736119808 5585 18446744073709551615 4194304 4196468 140720322163968 140119718824416 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 22340 KiB

[startup+0.319904 s]*
/proc/loadavg: 5.37 4.56 4.09 7/212 21557
/proc/meminfo: memFree=23644436/32770624 swapFree=67108860/67108860
[pid=21542] ppid=21539 vsize=10551156 memory=36236 CPUtime=0.22 cores=0,2,4,6
/proc/21542/stat : 21542 (java) S 21539 21542 17093 0 -1 1077944320 7878 0 0 0 19 3 0 0 20 0 15 0 67599853 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140720322146512 140120230186743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
/proc/21542/statm: 2637789 9059 2844 1 0 2627261 0
[pid=21542/tid=21544] ppid=21539 vsize=10551156 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/21542/task/21544/stat : 21544 (java) R 21539 21542 17093 0 -1 4202560 5561 0 0 0 12 2 0 0 20 0 15 0 67599865 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140120234401520 140120214267230 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21545] ppid=21539 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21545/stat : 21545 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67599865 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140120160606608 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21546] ppid=21539 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21546/stat : 21546 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67599865 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140120159553808 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21547] ppid=21539 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21547/stat : 21547 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67599865 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140120158501520 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21548] ppid=21539 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21548/stat : 21548 (java) S 21539 21542 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67599865 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140120157448720 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21549] ppid=21539 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21549/stat : 21549 (java) S 21539 21542 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67599867 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140119726193264 140120230197890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21550] ppid=21539 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21550/stat : 21550 (java) S 21539 21542 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67599867 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140119725139232 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21551] ppid=21539 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21551/stat : 21551 (java) S 21539 21542 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67599867 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140119724086896 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21552] ppid=21539 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21552/stat : 21552 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67599870 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140119723035216 140120230205339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21553] ppid=21539 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21542/task/21553/stat : 21553 (java) S 21539 21542 17093 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 15 0 67599870 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140119721982064 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21554] ppid=21539 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21554/stat : 21554 (java) S 21539 21542 17093 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 67599870 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140119720929264 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21555] ppid=21539 vsize=10551156 memory=140080609896064 CPUtime=0.04 cores=0,2,4,6
/proc/21542/task/21555/stat : 21555 (java) S 21539 21542 17093 0 -1 1077944384 382 0 0 0 4 0 0 0 20 0 15 0 67599870 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140119719876976 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21556] ppid=21539 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21556/stat : 21556 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67599870 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140119718824416 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21557] ppid=21539 vsize=10551156 memory=140080609896064 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21557/stat : 21557 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67599875 10804383744 9059 18446744073709551615 4194304 4196468 140720322163968 140119717772208 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36236 KiB

[startup+0.700939 s]
/proc/loadavg: 5.37 4.56 4.09 8/212 21557
/proc/meminfo: memFree=23624440/32770624 swapFree=67108860/67108860
[pid=21542] ppid=21539 vsize=10551232 memory=85408 CPUtime=1.3 cores=0,2,4,6
/proc/21542/stat : 21542 (java) S 21539 21542 17093 0 -1 1077944320 12024 0 0 0 125 5 0 0 20 0 15 0 67599853 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140720322146512 140120230186743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
/proc/21542/statm: 2637808 21352 3047 1 0 2627261 0
[pid=21542/tid=21544] ppid=21539 vsize=10551232 memory=2356 CPUtime=0.52 cores=0,2,4,6
/proc/21542/task/21544/stat : 21544 (java) R 21539 21542 17093 0 -1 4202560 6828 0 0 0 48 4 0 0 20 0 15 0 67599865 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140120234422416 140119837939996 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21545] ppid=21539 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21545/stat : 21545 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67599865 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140120160606608 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21546] ppid=21539 vsize=10551232 memory=13563795322702378 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21546/stat : 21546 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67599865 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140120159553808 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21547] ppid=21539 vsize=10551232 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21547/stat : 21547 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67599865 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140120158501520 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21548] ppid=21539 vsize=10551232 memory=21396 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21548/stat : 21548 (java) S 21539 21542 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67599865 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140120157448720 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21549] ppid=21539 vsize=10551232 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21549/stat : 21549 (java) S 21539 21542 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140119726193264 140120230197890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21550] ppid=21539 vsize=10551232 memory=640 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21550/stat : 21550 (java) S 21539 21542 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140119725139232 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21551] ppid=21539 vsize=10551232 memory=960 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21551/stat : 21551 (java) S 21539 21542 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140119724086896 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21552] ppid=21539 vsize=10551232 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21552/stat : 21552 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67599870 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140119723035216 140120230205339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21553] ppid=21539 vsize=10551232 memory=2248 CPUtime=0.26 cores=0,2,4,6
/proc/21542/task/21553/stat : 21553 (java) R 21539 21542 17093 0 -1 4202560 1186 0 0 0 26 0 0 0 20 0 15 0 67599870 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140119721963080 140120213687092 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21554] ppid=21539 vsize=10551232 memory=4300 CPUtime=0.26 cores=0,2,4,6
/proc/21542/task/21554/stat : 21554 (java) R 21539 21542 17093 0 -1 4202560 1174 0 0 0 26 0 0 0 20 0 15 0 67599870 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140119720912896 140120215099126 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21555] ppid=21539 vsize=10551232 memory=932 CPUtime=0.23 cores=0,2,4,6
/proc/21542/task/21555/stat : 21555 (java) S 21539 21542 17093 0 -1 1077944384 1468 0 0 0 23 0 0 0 20 0 15 0 67599870 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140119719876976 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21556] ppid=21539 vsize=10551232 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21556/stat : 21556 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67599870 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140119718824416 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21557] ppid=21539 vsize=10551232 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21557/stat : 21557 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67599875 10804461568 21352 18446744073709551615 4194304 4196468 140720322163968 140119717772208 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 85408 KiB

[startup+1.50078 s]
/proc/loadavg: 5.37 4.56 4.09 8/212 21557
/proc/meminfo: memFree=23490396/32770624 swapFree=67108860/67108860
[pid=21542] ppid=21539 vsize=10551232 memory=690432 CPUtime=3.49 cores=0,2,4,6
/proc/21542/stat : 21542 (java) S 21539 21542 17093 0 -1 1077944320 15340 0 0 0 319 30 0 0 20 0 15 0 67599853 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140720322146512 140120230186743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
/proc/21542/statm: 2637808 172608 3097 1 0 2627261 0
[pid=21542/tid=21544] ppid=21539 vsize=10551232 memory=4028 CPUtime=1.13 cores=0,2,4,6
/proc/21542/task/21544/stat : 21544 (java) R 21539 21542 17093 0 -1 4202560 7364 0 0 0 103 10 0 0 20 0 15 0 67599865 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140120234424128 140120216254848 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21545] ppid=21539 vsize=10551232 memory=232649922764534 CPUtime=0.16 cores=0,2,4,6
/proc/21542/task/21545/stat : 21545 (java) S 21539 21542 17093 0 -1 1077944384 370 0 0 0 12 4 0 0 20 0 15 0 67599865 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140120160606608 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21546] ppid=21539 vsize=10551232 memory=6000137693626576761 CPUtime=0.16 cores=0,2,4,6
/proc/21542/task/21546/stat : 21546 (java) S 21539 21542 17093 0 -1 1077944384 169 0 0 0 12 4 0 0 20 0 15 0 67599865 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140120159553808 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21547] ppid=21539 vsize=10551232 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/21542/task/21547/stat : 21547 (java) S 21539 21542 17093 0 -1 1077944384 268 0 0 0 11 4 0 0 20 0 15 0 67599865 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140120158501520 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21548] ppid=21539 vsize=10551232 memory=6943526294502006880 CPUtime=0.17 cores=0,2,4,6
/proc/21542/task/21548/stat : 21548 (java) S 21539 21542 17093 0 -1 1077944384 399 0 0 0 12 5 0 0 20 0 15 0 67599865 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140120157448720 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21549] ppid=21539 vsize=10551232 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21549/stat : 21549 (java) S 21539 21542 17093 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140119726193264 140120230197890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21550] ppid=21539 vsize=10551232 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21550/stat : 21550 (java) S 21539 21542 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140119725139296 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21551] ppid=21539 vsize=10551232 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21551/stat : 21551 (java) S 21539 21542 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140119724086896 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21552] ppid=21539 vsize=10551232 memory=6576575808607462821 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21552/stat : 21552 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67599870 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140119723035216 140120230205339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21553] ppid=21539 vsize=10551232 memory=-8967381358994951293 CPUtime=0.67 cores=0,2,4,6
/proc/21542/task/21553/stat : 21553 (java) S 21539 21542 17093 0 -1 1077944384 1719 0 0 0 67 0 0 0 20 0 15 0 67599870 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140119721982064 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21554] ppid=21539 vsize=10551232 memory=3054156605302213764 CPUtime=0.67 cores=0,2,4,6
/proc/21542/task/21554/stat : 21554 (java) S 21539 21542 17093 0 -1 1077944384 1589 0 0 0 67 0 0 0 20 0 15 0 67599870 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140119720929264 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21555] ppid=21539 vsize=10551232 memory=-7812800577974661515 CPUtime=0.31 cores=0,2,4,6
/proc/21542/task/21555/stat : 21555 (java) S 21539 21542 17093 0 -1 1077944384 1604 0 0 0 31 0 0 0 20 0 15 0 67599870 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140119719876976 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21556] ppid=21539 vsize=10551232 memory=-8102431393132624720 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21556/stat : 21556 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67599870 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140119718824416 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21557] ppid=21539 vsize=10551232 memory=18889266171726 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21557/stat : 21557 (java) S 21539 21542 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67599875 10804461568 172608 18446744073709551615 4194304 4196468 140720322163968 140119717772208 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
Current children cumulated CPU time: 3.49 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 690432 KiB

[startup+3.11112 s]
/proc/loadavg: 5.26 4.55 4.09 6/212 21557
/proc/meminfo: memFree=21263112/32770624 swapFree=67108860/67108860
[pid=21542] ppid=21539 vsize=10551232 memory=2533940 CPUtime=6.19 cores=0,2,4,6
/proc/21542/stat : 21542 (java) S 21539 21542 17093 0 -1 1077944320 19494 0 0 0 528 91 0 0 20 0 15 0 67599853 10804461568 633485 18446744073709551615 4194304 4196468 140720322163968 140720322146512 140120230186743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
/proc/21542/statm: 2637808 633485 3097 1 0 2627261 0
[pid=21542/tid=21544] ppid=21539 vsize=10551232 memory=18889266171726 CPUtime=2.38 cores=0,2,4,6
/proc/21542/task/21544/stat : 21544 (java) R 21539 21542 17093 0 -1 4202560 8970 0 0 0 208 30 0 0 20 0 15 0 67599865 10804461568 633485 18446744073709551615 4194304 4196468 140720322163968 140120234424048 140120216254868 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21545] ppid=21539 vsize=10551232 memory=232649922764534 CPUtime=0.52 cores=0,2,4,6
/proc/21542/task/21545/stat : 21545 (java) S 21539 21542 17093 0 -1 1077944384 677 0 0 0 39 13 0 0 20 0 15 0 67599865 10804461568 633485 18446744073709551615 4194304 4196468 140720322163968 140120160606608 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0

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

[pid=21542/tid=21546] ppid=21539 vsize=10551232 memory=8311488 CPUtime=54.99 cores=0,2,4,6
/proc/21542/task/21546/stat : 21546 (java) S 21539 21542 17093 0 -1 1077944384 346848 0 0 0 5375 124 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120159553808 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21547] ppid=21539 vsize=10551232 memory=8311484 CPUtime=55.26 cores=0,2,4,6
/proc/21542/task/21547/stat : 21547 (java) S 21539 21542 17093 0 -1 1077944384 345411 0 0 0 5395 131 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120158501520 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21548] ppid=21539 vsize=10551232 memory=8309372 CPUtime=54.77 cores=0,2,4,6
/proc/21542/task/21548/stat : 21548 (java) S 21539 21542 17093 0 -1 1077944384 279681 0 0 0 5351 126 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120157448720 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21549] ppid=21539 vsize=10551232 memory=8311488 CPUtime=13.56 cores=0,2,4,6
/proc/21542/task/21549/stat : 21549 (java) R 21539 21542 17093 0 -1 4202560 24656 0 0 0 1354 2 0 0 20 0 15 0 67599867 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119726191696 140120215183095 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21550] ppid=21539 vsize=10551232 memory=8311492 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21550/stat : 21550 (java) S 21539 21542 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119725139296 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21551] ppid=21539 vsize=10551232 memory=280160985666512 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21551/stat : 21551 (java) S 21539 21542 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119724086896 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21552] ppid=21539 vsize=10551232 memory=8311488 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21552/stat : 21552 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119723035216 140120230205339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21553] ppid=21539 vsize=10551232 memory=8155608 CPUtime=0.97 cores=0,2,4,6
/proc/21542/task/21553/stat : 21553 (java) S 21539 21542 17093 0 -1 1077944384 3357 0 0 0 97 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119721981824 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21554] ppid=21539 vsize=10551232 memory=8309372 CPUtime=0.93 cores=0,2,4,6
/proc/21542/task/21554/stat : 21554 (java) S 21539 21542 17093 0 -1 1077944384 2906 0 0 0 93 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119720929312 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21555] ppid=21539 vsize=10551232 memory=8309372 CPUtime=0.37 cores=0,2,4,6
/proc/21542/task/21555/stat : 21555 (java) S 21539 21542 17093 0 -1 1077944384 3518 0 0 0 36 1 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119719877024 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21556] ppid=21539 vsize=10551232 memory=8311488 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21556/stat : 21556 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119718824416 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21557] ppid=21539 vsize=10551232 memory=1708 CPUtime=0.03 cores=0,2,4,6
/proc/21542/task/21557/stat : 21557 (java) S 21539 21542 17093 0 -1 1077944384 283 0 0 0 2 1 0 0 20 0 15 0 67599875 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119717772208 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8311492 KiB

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

[startup+86.5614 s]
# the end of solver process 21542 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=247.702 s, system=5.59464 s

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

[startup+85.6007 s]
/proc/loadavg: 3.83 4.32 4.05 2/189 21604
/proc/meminfo: memFree=23225536/32770624 swapFree=67108860/67108860
[pid=21542] ppid=21539 vsize=10551232 memory=8311492 CPUtime=252.32 cores=0,2,4,6
/proc/21542/stat : 21542 (java) S 21539 21542 17093 0 -1 1077944320 1412022 0 0 0 24684 548 0 0 20 0 15 0 67599853 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140720322146512 140120230186743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 11 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
/proc/21542/statm: 2637808 2077873 3121 1 0 2627261 0
[pid=21542/tid=21544] ppid=21539 vsize=10551232 memory=2420 CPUtime=15.66 cores=0,2,4,6
/proc/21542/task/21544/stat : 21544 (java) S 21539 21542 17093 0 -1 1077944384 24104 0 0 0 1532 34 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120234423344 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21545] ppid=21539 vsize=10551232 memory=1732 CPUtime=55.38 cores=0,2,4,6
/proc/21542/task/21545/stat : 21545 (java) S 21539 21542 17093 0 -1 1077944384 379827 0 0 0 5413 125 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120160606608 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21546] ppid=21539 vsize=10551232 memory=5788 CPUtime=54.99 cores=0,2,4,6
/proc/21542/task/21546/stat : 21546 (java) S 21539 21542 17093 0 -1 1077944384 346848 0 0 0 5375 124 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120159553808 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21547] ppid=21539 vsize=10551232 memory=4612 CPUtime=55.26 cores=0,2,4,6
/proc/21542/task/21547/stat : 21547 (java) S 21539 21542 17093 0 -1 1077944384 345411 0 0 0 5395 131 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120158501520 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21548] ppid=21539 vsize=10551232 memory=1708 CPUtime=54.77 cores=0,2,4,6
/proc/21542/task/21548/stat : 21548 (java) S 21539 21542 17093 0 -1 1077944384 279681 0 0 0 5351 126 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120157448720 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21549] ppid=21539 vsize=10551232 memory=1444 CPUtime=13.86 cores=0,2,4,6
/proc/21542/task/21549/stat : 21549 (java) R 21539 21542 17093 0 -1 4202560 24656 0 0 0 1384 2 0 0 20 0 15 0 67599867 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119726191696 140120215183236 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21550] ppid=21539 vsize=10551232 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21550/stat : 21550 (java) S 21539 21542 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119725139296 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21551] ppid=21539 vsize=10551232 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21551/stat : 21551 (java) S 21539 21542 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119724086896 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21552] ppid=21539 vsize=10551232 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21552/stat : 21552 (java) S 21539 21542 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119723034864 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21553] ppid=21539 vsize=10551232 memory=1204 CPUtime=0.97 cores=0,2,4,6
/proc/21542/task/21553/stat : 21553 (java) S 21539 21542 17093 0 -1 1077944384 3357 0 0 0 97 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119721981824 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21554] ppid=21539 vsize=10551232 memory=1000 CPUtime=0.93 cores=0,2,4,6
/proc/21542/task/21554/stat : 21554 (java) S 21539 21542 17093 0 -1 1077944384 2906 0 0 0 93 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119720929312 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21555] ppid=21539 vsize=10551232 memory=796 CPUtime=0.37 cores=0,2,4,6
/proc/21542/task/21555/stat : 21555 (java) S 21539 21542 17093 0 -1 1077944384 3518 0 0 0 36 1 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119719877024 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21556] ppid=21539 vsize=10551232 memory=10968 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21556/stat : 21556 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119718824416 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21557] ppid=21539 vsize=10551232 memory=15876 CPUtime=0.03 cores=0,2,4,6
/proc/21542/task/21557/stat : 21557 (java) S 21539 21542 17093 0 -1 1077944384 283 0 0 0 2 1 0 0 20 0 15 0 67599875 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119717772208 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
Current children cumulated CPU time: 252.32 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8311492 KiB

[startup+86.0007 s]*
/proc/loadavg: 3.83 4.32 4.05 2/189 21604
/proc/meminfo: memFree=23225888/32770624 swapFree=67108860/67108860
[pid=21542] ppid=21539 vsize=10551232 memory=8311492 CPUtime=252.73 cores=0,2,4,6
/proc/21542/stat : 21542 (java) S 21539 21542 17093 0 -1 1077944320 1412022 0 0 0 24725 548 0 0 20 0 15 0 67599853 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140720322146512 140120230186743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 11 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
/proc/21542/statm: 2637808 2077873 3121 1 0 2627261 0
[pid=21542/tid=21544] ppid=21539 vsize=10551232 memory=-8774313645642428999 CPUtime=15.66 cores=0,2,4,6
/proc/21542/task/21544/stat : 21544 (java) S 21539 21542 17093 0 -1 1077944384 24104 0 0 0 1532 34 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120234423344 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21545] ppid=21539 vsize=10551232 memory=4872558044660077418 CPUtime=55.38 cores=0,2,4,6
/proc/21542/task/21545/stat : 21545 (java) S 21539 21542 17093 0 -1 1077944384 379827 0 0 0 5413 125 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120160606608 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21546] ppid=21539 vsize=10551232 memory=4300 CPUtime=54.99 cores=0,2,4,6
/proc/21542/task/21546/stat : 21546 (java) S 21539 21542 17093 0 -1 1077944384 346848 0 0 0 5375 124 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120159553808 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21547] ppid=21539 vsize=10551232 memory=0 CPUtime=55.26 cores=0,2,4,6
/proc/21542/task/21547/stat : 21547 (java) S 21539 21542 17093 0 -1 1077944384 345411 0 0 0 5395 131 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120158501520 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21548] ppid=21539 vsize=10551232 memory=0 CPUtime=54.77 cores=0,2,4,6
/proc/21542/task/21548/stat : 21548 (java) S 21539 21542 17093 0 -1 1077944384 279681 0 0 0 5351 126 0 0 20 0 15 0 67599865 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140120157448720 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21549] ppid=21539 vsize=10551232 memory=0 CPUtime=14.27 cores=0,2,4,6
/proc/21542/task/21549/stat : 21549 (java) R 21539 21542 17093 0 -1 4202560 24656 0 0 0 1425 2 0 0 20 0 15 0 67599867 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119726191696 140120214887760 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21550] ppid=21539 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21550/stat : 21550 (java) S 21539 21542 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119725139296 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21551] ppid=21539 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21551/stat : 21551 (java) S 21539 21542 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 67599867 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119724086896 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21552] ppid=21539 vsize=10551232 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21552/stat : 21552 (java) S 21539 21542 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119723034864 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21553] ppid=21539 vsize=10551232 memory=0 CPUtime=0.97 cores=0,2,4,6
/proc/21542/task/21553/stat : 21553 (java) S 21539 21542 17093 0 -1 1077944384 3357 0 0 0 97 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119721981824 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21554] ppid=21539 vsize=10551232 memory=4121973672068002079 CPUtime=0.93 cores=0,2,4,6
/proc/21542/task/21554/stat : 21554 (java) S 21539 21542 17093 0 -1 1077944384 2906 0 0 0 93 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119720929312 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21555] ppid=21539 vsize=10551232 memory=3616847456378378416 CPUtime=0.37 cores=0,2,4,6
/proc/21542/task/21555/stat : 21555 (java) S 21539 21542 17093 0 -1 1077944384 3518 0 0 0 36 1 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119719877024 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21556] ppid=21539 vsize=10551232 memory=2317495033918551908 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21556/stat : 21556 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67599870 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119718824416 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21557] ppid=21539 vsize=10551232 memory=3472471679399123895 CPUtime=0.03 cores=0,2,4,6
/proc/21542/task/21557/stat : 21557 (java) S 21539 21542 17093 0 -1 1077944384 283 0 0 0 2 1 0 0 20 0 15 0 67599875 10804461568 2077873 18446744073709551615 4194304 4196468 140720322163968 140119717772208 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
Current children cumulated CPU time: 252.73 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8311492 KiB

[startup+86.4009 s]
/proc/loadavg: 3.83 4.32 4.05 2/189 21604
/proc/meminfo: memFree=23225888/32770624 swapFree=67108860/67108860
[pid=21542] ppid=21539 vsize=10750924 memory=8311528 CPUtime=253.12 cores=0,2,4,6
/proc/21542/stat : 21542 (java) S 21539 21542 17093 0 -1 1077944320 1412158 0 0 0 24764 548 0 0 20 0 17 0 67599853 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140720322146512 140120230186743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 11 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
/proc/21542/statm: 2687731 2077882 3123 1 0 2677184 0
[pid=21542/tid=21544] ppid=21539 vsize=10750924 memory=8311488 CPUtime=15.81 cores=0,2,4,6
/proc/21542/task/21544/stat : 21544 (java) R 21539 21542 17093 0 -1 4202560 24104 0 0 0 1547 34 0 0 20 0 17 0 67599865 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140120234423232 140119839587543 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21545] ppid=21539 vsize=10750924 memory=1708 CPUtime=55.38 cores=0,2,4,6
/proc/21542/task/21545/stat : 21545 (java) S 21539 21542 17093 0 -1 1077944384 379827 0 0 0 5413 125 0 0 20 0 17 0 67599865 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140120160606608 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21546] ppid=21539 vsize=10750924 memory=8311492 CPUtime=54.99 cores=0,2,4,6
/proc/21542/task/21546/stat : 21546 (java) S 21539 21542 17093 0 -1 1077944384 346848 0 0 0 5375 124 0 0 20 0 17 0 67599865 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140120159553808 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21547] ppid=21539 vsize=10750924 memory=-8774313645642428999 CPUtime=55.26 cores=0,2,4,6
/proc/21542/task/21547/stat : 21547 (java) S 21539 21542 17093 0 -1 1077944384 345411 0 0 0 5395 131 0 0 20 0 17 0 67599865 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140120158501520 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21548] ppid=21539 vsize=10750924 memory=5788 CPUtime=54.77 cores=0,2,4,6
/proc/21542/task/21548/stat : 21548 (java) S 21539 21542 17093 0 -1 1077944384 279681 0 0 0 5351 126 0 0 20 0 17 0 67599865 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140120157448720 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21549] ppid=21539 vsize=10750924 memory=4612 CPUtime=14.51 cores=0,2,4,6
/proc/21542/task/21549/stat : 21549 (java) S 21539 21542 17093 0 -1 1077944384 24656 0 0 0 1449 2 0 0 20 0 17 0 67599867 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140119726193264 140120230197890 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21550] ppid=21539 vsize=10750924 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21550/stat : 21550 (java) S 21539 21542 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 67599867 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140119725139296 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21551] ppid=21539 vsize=10750924 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21551/stat : 21551 (java) S 21539 21542 17093 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 17 0 67599867 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140119724086896 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21552] ppid=21539 vsize=10750924 memory=8311492 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21552/stat : 21552 (java) S 21539 21542 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 67599870 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140119723035216 140120230205339 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21553] ppid=21539 vsize=10750924 memory=1296 CPUtime=0.97 cores=0,2,4,6
/proc/21542/task/21553/stat : 21553 (java) S 21539 21542 17093 0 -1 1077944384 3357 0 0 0 97 0 0 0 20 0 17 0 67599870 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140119721982064 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21554] ppid=21539 vsize=10750924 memory=2420 CPUtime=0.93 cores=0,2,4,6
/proc/21542/task/21554/stat : 21554 (java) S 21539 21542 17093 0 -1 1077944384 2906 0 0 0 93 0 0 0 20 0 17 0 67599870 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140119720929264 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21555] ppid=21539 vsize=10750924 memory=33 CPUtime=0.37 cores=0,2,4,6
/proc/21542/task/21555/stat : 21555 (java) S 21539 21542 17093 0 -1 1077944384 3526 0 0 0 36 1 0 0 20 0 17 0 67599870 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140119719876976 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21556] ppid=21539 vsize=10750924 memory=-7101718590825193272 CPUtime=0 cores=0,2,4,6
/proc/21542/task/21556/stat : 21556 (java) S 21539 21542 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67599870 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140119718824416 140120230196949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
[pid=21542/tid=21557] ppid=21539 vsize=10750924 memory=-8774313645642428999 CPUtime=0.03 cores=0,2,4,6
/proc/21542/task/21557/stat : 21557 (java) S 21539 21542 17093 0 -1 1077944384 283 0 0 0 2 1 0 0 20 0 17 0 67599875 11008946176 2077882 18446744073709551615 4194304 4196468 140720322163968 140119717772208 140120230197890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19558400 140720322171285 140720322171438 140720322171438 140720322174927 0
Current children cumulated CPU time: 253.12 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8311528 KiB

[startup+86.5006 s]*
/proc/loadavg: 3.83 4.32 4.05 2/176 21607
/proc/meminfo: memFree=24465396/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 86.5614
CPU time (s): 253.297
CPU user time (s): 247.702
CPU system time (s): 5.59464
CPU usage (%): 292.621
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 8311528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.702
system time used= 5.59464
maximum resident set size= 8311976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1412200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9314
involuntary context switches= 2512


# summary of solver processes directly reported to runsolver:
#   pid: 21542
#   total CPU time (s): 253.297
#   total CPU user time (s): 247.702
#   total CPU system time (s): 5.59464

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.497678 second user time and 0.891502 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-13 21:40:17
IDJOB=4258210
IDBENCH=140594
IDSOLVER=2643
FILE ID=node127/4258210-1502654065
RUNJOBID= node127-1502642200-6040
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-49.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258210-1502654065/watcher-4258210-1502654065 -o /tmp/evaluation-result-4258210-1502654065/solver-4258210-1502654065 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258210-1502654065.xml

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

MD5SUM BENCH= f189c1eeae9c695eff92bc09b1867153
RANDOM SEED=1429330307

node127.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.92
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.92
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.92
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.92
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:        23704528 kB
MemAvailable:   24158484 kB
Buffers:          204440 kB
Cached:           545140 kB
SwapCached:            0 kB
Active:          8397500 kB
Inactive:         227096 kB
Active(anon):    7824584 kB
Inactive(anon):    83872 kB
Active(file):     572916 kB
Inactive(file):   143224 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2544 kB
Writeback:             0 kB
AnonPages:       7875500 kB
Mapped:            60216 kB
Shmem:             33444 kB
Slab:             132784 kB
SReclaimable:     107300 kB
SUnreclaim:        25484 kB
KernelStack:        3520 kB
PageTables:        20440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8636768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6756352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62028 MiB
End job on node127 at 2017-08-13 21:41:44