Trace number 4274813

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
OscaR - Hybrid 2017-07-26OPT2 7.3636498 4.6712799

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-09.xml
MD5SUMe7a7addaec4b730d6fe0c9469eb0bfe6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.102355
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints84
Number of domains1
Minimum domain size36
Maximum domain size36
Distribution of domain sizes[{"size":36,"count":36}]
Minimum variable degree0
Maximum variable degree8
Distribution of variable degrees[{"degree":0,"count":45},{"degree":8,"count":36}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":84}]
Number of extensional constraints0
Number of intensional constraints84
Distribution of constraint types[{"type":"intension","count":84}]
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 

0.23/0.41	c version: 2017-07-26
0.23/0.41	c seed: 850302654
0.23/0.41	c timeout: 2520
0.23/0.41	c memlimit: 11000
0.23/0.41	c nbcore: 4
0.40/0.43	c Parsing instance...
6.78/4.42	c Parsing done, starting first complete search...
6.78/4.45	o 35
6.78/4.48	o 34
6.78/4.50	o 33
7.03/4.51	o 32
7.03/4.52	o 31
7.03/4.53	o 30
7.03/4.54	o 29
7.03/4.55	o 28
7.03/4.55	o 27
7.03/4.56	o 26
7.03/4.57	o 25
7.03/4.57	o 24
7.03/4.58	o 23
7.03/4.59	o 22
7.03/4.59	o 21
7.24/4.60	o 20
7.24/4.60	o 19
7.24/4.61	o 18
7.24/4.61	o 17
7.24/4.61	o 16
7.24/4.62	o 15
7.24/4.62	o 14
7.24/4.62	o 13
7.24/4.62	o 12
7.24/4.63	o 11
7.24/4.63	o 10
7.24/4.63	o 9
7.24/4.63	o 8
7.24/4.63	o 7
7.24/4.64	o 6
7.24/4.64	o 5
7.24/4.64	o 4
7.24/4.64	o 3
7.24/4.64	o 2
7.24/4.65	s OPTIMUM FOUND
7.24/4.65	v <instantiation>
7.24/4.65	v 	<list>
7.24/4.65	v 		x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][5] x[4][6] x[4][7] x[4][8] x[5][6] x[5][7] x[5][8] x[6][7] x[6][8] x[7][8]
7.24/4.65	v 	</list>
7.24/4.65	v 	<values>
7.24/4.65	v 		1 2 1 2 1 2 1 2 2 0 1 2 2 2 1 2 1 1 0 1 1 1 2 2 2 1 2 1 2 0 1 0 2 1 1 2 
7.24/4.65	v 	</values>
7.24/4.65	v </instantiation>

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274813-1502889467/watcher-4274813-1502889467 -o /tmp/evaluation-result-4274813-1502889467/solver-4274813-1502889467 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 850302654 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274813-1502889467.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
solver pid=16283, runsolver pid=16280
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 1.34 1.36 1.36 2/201 16285
/proc/meminfo: memFree=30219232/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=13358552 memory=13344 CPUtime=0 cores=1,3,5,7
/proc/16283/stat : 16283 (java) S 16280 16283 12395 0 -1 1077944320 3188 0 0 0 0 0 0 0 20 0 6 0 130858208 13679157248 3336 18446744073709551615 4194304 4196468 140735270847728 140735270830272 139852721368823 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
/proc/16283/statm: 3339638 3336 1756 1 0 3329135 0
[pid=16283/tid=16285] ppid=16280 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16285/stat : 16285 (java) R 16280 16283 12395 0 -1 4202560 1977 0 0 0 0 0 0 0 20 0 6 0 130858218 13679157248 3468 18446744073709551615 4194304 4196468 140735270847728 139852725604944 139852705449310 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16286] ppid=16280 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16286/stat : 16286 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 130858218 13679157248 3468 18446744073709551615 4194304 4196468 140735270847728 139852663315216 139852721379029 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16287] ppid=16280 vsize=13358552 memory=140161135576704 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16287/stat : 16287 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 130858218 13679157248 3468 18446744073709551615 4194304 4196468 140735270847728 139852662262672 139852721379029 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16288] ppid=16280 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16288/stat : 16288 (java) S 16280 16283 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 130858218 13679157248 3468 18446744073709551615 4194304 4196468 140735270847728 139852661210128 139852721379029 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16289] ppid=16280 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16289/stat : 16289 (java) S 16280 16283 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 130858218 13679157248 3468 18446744073709551615 4194304 4196468 140735270847728 139852660157584 139852721379029 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 13344 KiB

[startup+0.210009 s]*
/proc/loadavg: 1.34 1.36 1.36 2/213 16297
/proc/meminfo: memFree=30211420/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=13976388 memory=25120 CPUtime=0.06 cores=1,3,5,7
/proc/16283/stat : 16283 (java) S 16280 16283 12395 0 -1 1077944320 5766 0 0 0 6 0 0 0 20 0 15 0 130858208 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 140735270830272 139852721368823 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
/proc/16283/statm: 3494097 6280 3266 1 0 3482876 0
[pid=16283/tid=16285] ppid=16280 vsize=13976388 memory=8318255677412212789 CPUtime=0.05 cores=1,3,5,7
/proc/16283/task/16285/stat : 16285 (java) R 16280 16283 12395 0 -1 4202560 3867 0 0 0 5 0 0 0 20 0 15 0 130858218 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852725611104 139852707436942 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16286] ppid=16280 vsize=13976388 memory=331 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16286/stat : 16286 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130858218 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852663315216 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16287] ppid=16280 vsize=13976388 memory=140161135591650 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16287/stat : 16287 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130858218 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852662262672 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16288] ppid=16280 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16288/stat : 16288 (java) S 16280 16283 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130858218 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852661210128 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16289] ppid=16280 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16289/stat : 16289 (java) S 16280 16283 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130858218 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852660157584 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16290] ppid=16280 vsize=13976388 memory=140161135576704 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16290/stat : 16290 (java) S 16280 16283 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130858220 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852267710448 139852721379970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16291] ppid=16280 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16291/stat : 16291 (java) S 16280 16283 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 130858220 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852266656672 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16292] ppid=16280 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16292/stat : 16292 (java) S 16280 16283 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 130858220 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852265604080 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16293] ppid=16280 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16293/stat : 16293 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852264552656 139852721387419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16294] ppid=16280 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16294/stat : 16294 (java) S 16280 16283 12395 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 130858223 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852263500272 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16295] ppid=16280 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16295/stat : 16295 (java) S 16280 16283 12395 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 130858223 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852262447728 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16296] ppid=16280 vsize=13976388 memory=140161135576704 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16296/stat : 16296 (java) S 16280 16283 12395 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 130858223 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852261395184 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16297] ppid=16280 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16297/stat : 16297 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852260342880 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16298] ppid=16280 vsize=13976388 memory=140161135576704 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16298/stat : 16298 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130858229 14311821312 6280 18446744073709551615 4194304 4196468 140735270847728 139852259289392 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13976388 KiB
Current children cumulated memory: 25120 KiB

[startup+0.311299 s]*
/proc/loadavg: 1.34 1.36 1.36 3/214 16298
/proc/meminfo: memFree=30198208/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=13975920 memory=39132 CPUtime=0.23 cores=1,3,5,7
/proc/16283/stat : 16283 (java) S 16280 16283 12395 0 -1 1077944320 10034 0 0 0 21 2 0 0 20 0 15 0 130858208 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 140735270830272 139852721368823 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
/proc/16283/statm: 3493980 9783 3541 1 0 3482759 0
[pid=16283/tid=16285] ppid=16280 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/16283/task/16285/stat : 16285 (java) R 16280 16283 12395 0 -1 4202560 7759 0 0 0 14 1 0 0 20 0 15 0 130858218 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852725596016 139852721390749 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16286] ppid=16280 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16286/stat : 16286 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130858218 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852663315216 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16287] ppid=16280 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16287/stat : 16287 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130858218 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852662262672 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16288] ppid=16280 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16288/stat : 16288 (java) S 16280 16283 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130858218 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852661210128 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16289] ppid=16280 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16289/stat : 16289 (java) S 16280 16283 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130858218 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852660157584 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16290] ppid=16280 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16290/stat : 16290 (java) S 16280 16283 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 130858220 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852267710448 139852721379970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16291] ppid=16280 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16291/stat : 16291 (java) S 16280 16283 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 130858220 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852266656672 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16292] ppid=16280 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16292/stat : 16292 (java) S 16280 16283 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 130858220 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852265604080 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16293] ppid=16280 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16293/stat : 16293 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852264552656 139852721387419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16294] ppid=16280 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16283/task/16294/stat : 16294 (java) R 16280 16283 12395 0 -1 4202560 100 0 0 0 1 0 0 0 20 0 15 0 130858223 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852263500272 139852707432048 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16295] ppid=16280 vsize=13975920 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16283/task/16295/stat : 16295 (java) S 16280 16283 12395 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 15 0 130858223 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852262447728 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16296] ppid=16280 vsize=13975920 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/16283/task/16296/stat : 16296 (java) S 16280 16283 12395 0 -1 1077944384 390 0 0 0 4 0 0 0 20 0 15 0 130858223 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852261395184 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16297] ppid=16280 vsize=13975920 memory=140161135576704 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16297/stat : 16297 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852260342880 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16298] ppid=16280 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16298/stat : 16298 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130858229 14311342080 9783 18446744073709551615 4194304 4196468 140735270847728 139852259289392 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39132 KiB

[startup+0.70309 s]
/proc/loadavg: 1.34 1.36 1.36 3/214 16298
/proc/meminfo: memFree=30183708/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=13977988 memory=66484 CPUtime=0.94 cores=1,3,5,7
/proc/16283/stat : 16283 (java) S 16280 16283 12395 0 -1 1077944320 13842 0 0 0 90 4 0 0 20 0 15 0 130858208 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 140735270830272 139852721368823 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
/proc/16283/statm: 3494497 16621 3731 1 0 3483271 0
[pid=16283/tid=16285] ppid=16280 vsize=13977988 memory=4497 CPUtime=0.52 cores=1,3,5,7
/proc/16283/task/16285/stat : 16285 (java) R 16280 16283 12395 0 -1 4202560 10450 0 0 0 50 2 0 0 20 0 15 0 130858218 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852725602992 139852339347874 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16286] ppid=16280 vsize=13977988 memory=140161023248560 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16286/stat : 16286 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130858218 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852663315216 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16287] ppid=16280 vsize=13977988 memory=3472468440071152048 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16287/stat : 16287 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130858218 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852662262672 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16288] ppid=16280 vsize=13977988 memory=219 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16288/stat : 16288 (java) S 16280 16283 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130858218 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852661210128 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16289] ppid=16280 vsize=13977988 memory=2 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16289/stat : 16289 (java) S 16280 16283 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130858218 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852660157584 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16290] ppid=16280 vsize=13977988 memory=45 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16290/stat : 16290 (java) S 16280 16283 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 130858220 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852267710448 139852721379970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16291] ppid=16280 vsize=13977988 memory=848 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16291/stat : 16291 (java) S 16280 16283 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 130858220 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852266656672 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16292] ppid=16280 vsize=13977988 memory=432 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16292/stat : 16292 (java) S 16280 16283 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 130858220 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852265604080 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16293] ppid=16280 vsize=13977988 memory=471 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16293/stat : 16293 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852264552656 139852721387419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16294] ppid=16280 vsize=13977988 memory=119 CPUtime=0.11 cores=1,3,5,7
/proc/16283/task/16294/stat : 16294 (java) R 16280 16283 12395 0 -1 4202560 563 0 0 0 11 0 0 0 20 0 15 0 130858223 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852263486296 139852699115808 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16295] ppid=16280 vsize=13977988 memory=6549825127639 CPUtime=0.08 cores=1,3,5,7
/proc/16283/task/16295/stat : 16295 (java) R 16280 16283 12395 0 -1 1077944384 649 0 0 0 8 0 0 0 20 0 15 0 130858223 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852262447728 139852721379970 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16296] ppid=16280 vsize=13977988 memory=288230583166042426 CPUtime=0.18 cores=1,3,5,7
/proc/16283/task/16296/stat : 16296 (java) R 16280 16283 12395 0 -1 4202560 798 0 0 0 18 0 0 0 20 0 15 0 130858223 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852261395184 139852721390170 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16297] ppid=16280 vsize=13977988 memory=14411505902815619 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16297/stat : 16297 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852260342880 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16298] ppid=16280 vsize=13977988 memory=609 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16298/stat : 16298 (java) S 16280 16283 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130858229 14313459712 16621 18446744073709551615 4194304 4196468 140735270847728 139852259289392 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66484 KiB

[startup+1.50071 s]
/proc/loadavg: 1.34 1.36 1.36 3/214 16298
/proc/meminfo: memFree=30109616/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=13977988 memory=260412 CPUtime=2.22 cores=1,3,5,7
/proc/16283/stat : 16283 (java) S 16280 16283 12395 0 -1 1077944320 18885 0 0 0 203 19 0 0 20 0 15 0 130858208 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 140735270830272 139852721368823 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
/proc/16283/statm: 3494497 65103 3773 1 0 3483271 0
[pid=16283/tid=16285] ppid=16280 vsize=13977988 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/16283/task/16285/stat : 16285 (java) R 16280 16283 12395 0 -1 4202560 11476 0 0 0 120 4 0 0 20 0 15 0 130858218 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852725604520 139852342194611 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16286] ppid=16280 vsize=13977988 memory=7649399358578898481 CPUtime=0.06 cores=1,3,5,7
/proc/16283/task/16286/stat : 16286 (java) S 16280 16283 12395 0 -1 1077944384 360 0 0 0 4 2 0 0 20 0 15 0 130858218 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852663315216 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16287] ppid=16280 vsize=13977988 memory=5859271421085237344 CPUtime=0.06 cores=1,3,5,7
/proc/16283/task/16287/stat : 16287 (java) S 16280 16283 12395 0 -1 1077944384 155 0 0 0 4 2 0 0 20 0 15 0 130858218 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852662262672 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16288] ppid=16280 vsize=13977988 memory=219 CPUtime=0.07 cores=1,3,5,7
/proc/16283/task/16288/stat : 16288 (java) S 16280 16283 12395 0 -1 1077944384 172 0 0 0 4 3 0 0 20 0 15 0 130858218 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852661210128 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16289] ppid=16280 vsize=13977988 memory=2 CPUtime=0.07 cores=1,3,5,7
/proc/16283/task/16289/stat : 16289 (java) S 16280 16283 12395 0 -1 1077944384 177 0 0 0 4 3 0 0 20 0 15 0 130858218 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852660157584 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16290] ppid=16280 vsize=13977988 memory=45 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16290/stat : 16290 (java) S 16280 16283 12395 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 130858220 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852267710448 139852721379970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16291] ppid=16280 vsize=13977988 memory=848 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16291/stat : 16291 (java) S 16280 16283 12395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 130858220 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852266656736 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16292] ppid=16280 vsize=13977988 memory=432 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16292/stat : 16292 (java) S 16280 16283 12395 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 130858220 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852265604096 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16293] ppid=16280 vsize=13977988 memory=471 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16293/stat : 16293 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852264552656 139852721387419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16294] ppid=16280 vsize=13977988 memory=119 CPUtime=0.15 cores=1,3,5,7
/proc/16283/task/16294/stat : 16294 (java) S 16280 16283 12395 0 -1 1077944384 769 0 0 0 15 0 0 0 20 0 15 0 130858223 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852263500272 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16295] ppid=16280 vsize=13977988 memory=4132 CPUtime=0.2 cores=1,3,5,7
/proc/16283/task/16295/stat : 16295 (java) S 16280 16283 12395 0 -1 1077944384 1494 0 0 0 20 0 0 0 20 0 15 0 130858223 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852262447728 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16296] ppid=16280 vsize=13977988 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/16283/task/16296/stat : 16296 (java) S 16280 16283 12395 0 -1 1077944384 2494 0 0 0 28 0 0 0 20 0 15 0 130858223 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852261395184 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16297] ppid=16280 vsize=13977988 memory=6549825127639 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16297/stat : 16297 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852260342880 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16298] ppid=16280 vsize=13977988 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16298/stat : 16298 (java) S 16280 16283 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 130858229 14313459712 65103 18446744073709551615 4194304 4196468 140735270847728 139852259289392 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 13977988 KiB

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

[startup+4.67123 s]
# the end of solver process 16283 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.67188 s, system=0.69177 s

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

[startup+3.20128 s]
/proc/loadavg: 1.34 1.36 1.36 6/214 16298
/proc/meminfo: memFree=29351188/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=13980036 memory=951908 CPUtime=5.69 cores=1,3,5,7
/proc/16283/stat : 16283 (java) S 16280 16283 12395 0 -1 1077944320 25714 0 0 0 503 66 0 0 20 0 15 0 130858208 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 140735270830272 139852721368823 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
/proc/16283/statm: 3495009 237977 3792 1 0 3483783 0
[pid=16283/tid=16285] ppid=16280 vsize=13980036 memory=0 CPUtime=2.48 cores=1,3,5,7
/proc/16283/task/16285/stat : 16285 (java) S 16280 16283 12395 0 -1 1077944384 13720 0 0 0 238 10 0 0 20 0 15 0 130858218 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852725604912 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16286] ppid=16280 vsize=13980036 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/16283/task/16286/stat : 16286 (java) R 16280 16283 12395 0 -1 4202560 1088 0 0 0 40 13 0 0 20 0 15 0 130858218 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852663315416 139852713997031 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16287] ppid=16280 vsize=13980036 memory=-8774313645642428999 CPUtime=0.53 cores=1,3,5,7
/proc/16283/task/16287/stat : 16287 (java) R 16280 16283 12395 0 -1 4202560 769 0 0 0 40 13 0 0 20 0 15 0 130858218 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852662262672 139852706069548 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16288] ppid=16280 vsize=13980036 memory=64920 CPUtime=0.52 cores=1,3,5,7
/proc/16283/task/16288/stat : 16288 (java) R 16280 16283 12395 0 -1 4202560 669 0 0 0 39 13 0 0 20 0 15 0 130858218 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852661210328 139852706069551 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16289] ppid=16280 vsize=13980036 memory=1296 CPUtime=0.53 cores=1,3,5,7
/proc/16283/task/16289/stat : 16289 (java) R 16280 16283 12395 0 -1 4202560 662 0 0 0 40 13 0 0 20 0 15 0 130858218 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852660157584 139852706069539 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16290] ppid=16280 vsize=13980036 memory=2460 CPUtime=0.01 cores=1,3,5,7
/proc/16283/task/16290/stat : 16290 (java) S 16280 16283 12395 0 -1 1077944384 1277 0 0 0 1 0 0 0 20 0 15 0 130858220 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852267708992 139852721379029 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16291] ppid=16280 vsize=13980036 memory=1840 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16291/stat : 16291 (java) S 16280 16283 12395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 130858220 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852266656736 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16292] ppid=16280 vsize=13980036 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16292/stat : 16292 (java) S 16280 16283 12395 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 130858220 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852265604096 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16293] ppid=16280 vsize=13980036 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16293/stat : 16293 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852264552656 139852721387419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16294] ppid=16280 vsize=13980036 memory=2244 CPUtime=0.32 cores=1,3,5,7
/proc/16283/task/16294/stat : 16294 (java) S 16280 16283 12395 0 -1 1077944384 1335 0 0 0 32 0 0 0 20 0 15 0 130858223 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852263500272 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16295] ppid=16280 vsize=13980036 memory=264372 CPUtime=0.35 cores=1,3,5,7
/proc/16283/task/16295/stat : 16295 (java) S 16280 16283 12395 0 -1 1077944384 2061 0 0 0 35 0 0 0 20 0 15 0 130858223 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852262447728 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16296] ppid=16280 vsize=13980036 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/16283/task/16296/stat : 16296 (java) S 16280 16283 12395 0 -1 1077944384 2701 0 0 0 37 1 0 0 20 0 15 0 130858223 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852261395184 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16297] ppid=16280 vsize=13980036 memory=8547710663883855229 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16297/stat : 16297 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852260342880 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16298] ppid=16280 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16298/stat : 16298 (java) S 16280 16283 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 130858229 14315556864 237977 18446744073709551615 4194304 4196468 140735270847728 139852259289392 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 951908 KiB

[startup+4.00087 s]*
/proc/loadavg: 1.34 1.36 1.36 3/214 16298
/proc/meminfo: memFree=29271860/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=13980036 memory=953404 CPUtime=6.65 cores=1,3,5,7
/proc/16283/stat : 16283 (java) S 16280 16283 12395 0 -1 1077944320 26115 0 0 0 599 66 0 0 20 0 15 0 130858208 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 140735270830272 139852721368823 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
/proc/16283/statm: 3495009 238351 3794 1 0 3483783 0
[pid=16283/tid=16285] ppid=16280 vsize=13980036 memory=-8774313645642428999 CPUtime=2.48 cores=1,3,5,7
/proc/16283/task/16285/stat : 16285 (java) S 16280 16283 12395 0 -1 1077944384 13720 0 0 0 238 10 0 0 20 0 15 0 130858218 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852725604912 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16286] ppid=16280 vsize=13980036 memory=4872558044660077418 CPUtime=0.7 cores=1,3,5,7
/proc/16283/task/16286/stat : 16286 (java) S 16280 16283 12395 0 -1 1077944384 1101 0 0 0 57 13 0 0 20 0 15 0 130858218 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852663315216 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16287] ppid=16280 vsize=13980036 memory=3904948979890678331 CPUtime=0.7 cores=1,3,5,7
/proc/16283/task/16287/stat : 16287 (java) S 16280 16283 12395 0 -1 1077944384 800 0 0 0 57 13 0 0 20 0 15 0 130858218 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852662262672 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16288] ppid=16280 vsize=13980036 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/16283/task/16288/stat : 16288 (java) S 16280 16283 12395 0 -1 1077944384 680 0 0 0 56 13 0 0 20 0 15 0 130858218 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852661210128 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16289] ppid=16280 vsize=13980036 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/16283/task/16289/stat : 16289 (java) S 16280 16283 12395 0 -1 1077944384 674 0 0 0 57 13 0 0 20 0 15 0 130858218 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852660157584 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16290] ppid=16280 vsize=13980036 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/16283/task/16290/stat : 16290 (java) D 16280 16283 12395 0 -1 4202560 1611 0 0 0 27 0 0 0 20 0 15 0 130858220 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852267708632 139852706351696 0 0 1 16800974 18446744072100281477 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16291] ppid=16280 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16291/stat : 16291 (java) S 16280 16283 12395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 130858220 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852266656736 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16292] ppid=16280 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16292/stat : 16292 (java) S 16280 16283 12395 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 130858220 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852265604096 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16293] ppid=16280 vsize=13980036 memory=57820551406836 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16293/stat : 16293 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852264552656 139852721387419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16294] ppid=16280 vsize=13980036 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/16283/task/16294/stat : 16294 (java) S 16280 16283 12395 0 -1 1077944384 1335 0 0 0 32 0 0 0 20 0 15 0 130858223 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852263500272 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16295] ppid=16280 vsize=13980036 memory=3976735869837390899 CPUtime=0.35 cores=1,3,5,7
/proc/16283/task/16295/stat : 16295 (java) S 16280 16283 12395 0 -1 1077944384 2061 0 0 0 35 0 0 0 20 0 15 0 130858223 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852262447728 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16296] ppid=16280 vsize=13980036 memory=140161135576704 CPUtime=0.38 cores=1,3,5,7
/proc/16283/task/16296/stat : 16296 (java) S 16280 16283 12395 0 -1 1077944384 2701 0 0 0 37 1 0 0 20 0 15 0 130858223 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852261395184 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16297] ppid=16280 vsize=13980036 memory=8243839161658781747 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16297/stat : 16297 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852260342880 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16298] ppid=16280 vsize=13980036 memory=3472468290031381961 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16298/stat : 16298 (java) D 16280 16283 12395 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 130858229 14315556864 238351 18446744073709551615 4194304 4196468 140735270847728 139852259289312 139852706224910 0 4 1 16800974 18446744072100281477 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
Current children cumulated CPU time: 6.65 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 953404 KiB

[startup+4.4007 s]
/proc/loadavg: 1.34 1.36 1.36 3/214 16298
/proc/meminfo: memFree=29271860/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=13980036 memory=953536 CPUtime=6.78 cores=1,3,5,7
/proc/16283/stat : 16283 (java) S 16280 16283 12395 0 -1 1077944320 26132 0 0 0 612 66 0 0 20 0 15 0 130858208 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 140735270830272 139852721368823 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
/proc/16283/statm: 3495009 238384 3794 1 0 3483783 0
[pid=16283/tid=16285] ppid=16280 vsize=13980036 memory=280322046513632 CPUtime=2.6 cores=1,3,5,7
/proc/16283/task/16285/stat : 16285 (java) R 16280 16283 12395 0 -1 4202560 13721 0 0 0 250 10 0 0 20 0 15 0 130858218 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852725604088 139852343151323 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16286] ppid=16280 vsize=13980036 memory=-8774313645642428999 CPUtime=0.7 cores=1,3,5,7
/proc/16283/task/16286/stat : 16286 (java) S 16280 16283 12395 0 -1 1077944384 1101 0 0 0 57 13 0 0 20 0 15 0 130858218 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852663315216 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16287] ppid=16280 vsize=13980036 memory=1788 CPUtime=0.7 cores=1,3,5,7
/proc/16283/task/16287/stat : 16287 (java) S 16280 16283 12395 0 -1 1077944384 800 0 0 0 57 13 0 0 20 0 15 0 130858218 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852662262672 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16288] ppid=16280 vsize=13980036 memory=644 CPUtime=0.69 cores=1,3,5,7
/proc/16283/task/16288/stat : 16288 (java) S 16280 16283 12395 0 -1 1077944384 680 0 0 0 56 13 0 0 20 0 15 0 130858218 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852661210128 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16289] ppid=16280 vsize=13980036 memory=956 CPUtime=0.7 cores=1,3,5,7
/proc/16283/task/16289/stat : 16289 (java) S 16280 16283 12395 0 -1 1077944384 674 0 0 0 57 13 0 0 20 0 15 0 130858218 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852660157584 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16290] ppid=16280 vsize=13980036 memory=1236 CPUtime=0.27 cores=1,3,5,7
/proc/16283/task/16290/stat : 16290 (java) S 16280 16283 12395 0 -1 1077944384 1615 0 0 0 27 0 0 0 20 0 15 0 130858220 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852267710448 139852721379970 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 63 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16291] ppid=16280 vsize=13980036 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16291/stat : 16291 (java) S 16280 16283 12395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 130858220 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852266656736 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16292] ppid=16280 vsize=13980036 memory=4296 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16292/stat : 16292 (java) S 16280 16283 12395 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 130858220 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852265604096 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16293] ppid=16280 vsize=13980036 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16293/stat : 16293 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852264552656 139852721387419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16294] ppid=16280 vsize=13980036 memory=928 CPUtime=0.32 cores=1,3,5,7
/proc/16283/task/16294/stat : 16294 (java) S 16280 16283 12395 0 -1 1077944384 1335 0 0 0 32 0 0 0 20 0 15 0 130858223 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852263500272 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16295] ppid=16280 vsize=13980036 memory=2160 CPUtime=0.35 cores=1,3,5,7
/proc/16283/task/16295/stat : 16295 (java) S 16280 16283 12395 0 -1 1077944384 2061 0 0 0 35 0 0 0 20 0 15 0 130858223 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852262447728 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16296] ppid=16280 vsize=13980036 memory=840 CPUtime=0.38 cores=1,3,5,7
/proc/16283/task/16296/stat : 16296 (java) S 16280 16283 12395 0 -1 1077944384 2709 0 0 0 37 1 0 0 20 0 15 0 130858223 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852261395184 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16297] ppid=16280 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16297/stat : 16297 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852260342880 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16298] ppid=16280 vsize=13980036 memory=26660 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16298/stat : 16298 (java) S 16280 16283 12395 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 130858229 14315556864 238384 18446744073709551615 4194304 4196468 140735270847728 139852259289392 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 63 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
Current children cumulated CPU time: 6.78 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 953536 KiB

[startup+4.60064 s]
/proc/loadavg: 1.34 1.36 1.36 3/214 16298
/proc/meminfo: memFree=29271860/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=13980036 memory=957716 CPUtime=7.24 cores=1,3,5,7
/proc/16283/stat : 16283 (java) S 16280 16283 12395 0 -1 1077944320 28239 0 0 0 656 68 0 0 20 0 15 0 130858208 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 140735270830272 139852721368823 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
/proc/16283/statm: 3495009 239429 3803 1 0 3483783 0
[pid=16283/tid=16285] ppid=16280 vsize=13980036 memory=304556153273333111 CPUtime=2.8 cores=1,3,5,7
/proc/16283/task/16285/stat : 16285 (java) R 16280 16283 12395 0 -1 4202560 15475 0 0 0 269 11 0 0 20 0 15 0 130858218 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852725606448 139852721380758 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16286] ppid=16280 vsize=13980036 memory=14413726384148441 CPUtime=0.7 cores=1,3,5,7
/proc/16283/task/16286/stat : 16286 (java) S 16280 16283 12395 0 -1 1077944384 1101 0 0 0 57 13 0 0 20 0 15 0 130858218 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852663315216 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16287] ppid=16280 vsize=13980036 memory=-7522837583045875833 CPUtime=0.7 cores=1,3,5,7
/proc/16283/task/16287/stat : 16287 (java) S 16280 16283 12395 0 -1 1077944384 800 0 0 0 57 13 0 0 20 0 15 0 130858218 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852662262672 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16288] ppid=16280 vsize=13980036 memory=6656426216303648864 CPUtime=0.69 cores=1,3,5,7
/proc/16283/task/16288/stat : 16288 (java) S 16280 16283 12395 0 -1 1077944384 680 0 0 0 56 13 0 0 20 0 15 0 130858218 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852661210128 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16289] ppid=16280 vsize=13980036 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/16283/task/16289/stat : 16289 (java) S 16280 16283 12395 0 -1 1077944384 674 0 0 0 57 13 0 0 20 0 15 0 130858218 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852660157584 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16290] ppid=16280 vsize=13980036 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/16283/task/16290/stat : 16290 (java) S 16280 16283 12395 0 -1 1077944384 1615 0 0 0 27 0 0 0 20 0 15 0 130858220 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852267710448 139852721379970 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 63 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16291] ppid=16280 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16291/stat : 16291 (java) S 16280 16283 12395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 130858220 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852266656736 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16292] ppid=16280 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16292/stat : 16292 (java) S 16280 16283 12395 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 130858220 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852265604096 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16293] ppid=16280 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16293/stat : 16293 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852264552656 139852721387419 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16294] ppid=16280 vsize=13980036 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/16283/task/16294/stat : 16294 (java) S 16280 16283 12395 0 -1 1077944384 1484 0 0 0 41 0 0 0 20 0 15 0 130858223 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852263500272 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16295] ppid=16280 vsize=13980036 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/16283/task/16295/stat : 16295 (java) S 16280 16283 12395 0 -1 1077944384 2131 0 0 0 44 0 0 0 20 0 15 0 130858223 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852262447728 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16296] ppid=16280 vsize=13980036 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/16283/task/16296/stat : 16296 (java) R 16280 16283 12395 0 -1 4202560 2843 0 0 0 44 1 0 0 20 0 15 0 130858223 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852261395184 139852721390170 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16297] ppid=16280 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16297/stat : 16297 (java) S 16280 16283 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130858223 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852260342880 139852721379029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
[pid=16283/tid=16298] ppid=16280 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16283/task/16298/stat : 16298 (java) S 16280 16283 12395 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 130858229 14315556864 239429 18446744073709551615 4194304 4196468 140735270847728 139852259289392 139852721379970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 63 0 0 6293624 6294260 12566528 140735270855027 140735270855209 140735270855209 140735270858703 0
Current children cumulated CPU time: 7.24 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 957716 KiB

Child status: 0
Real time (s): 4.67128
CPU time (s): 7.36365
CPU user time (s): 6.67188
CPU system time (s): 0.69177
CPU usage (%): 157.637
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 957716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.67188
system time used= 0.69177
maximum resident set size= 958576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2814
involuntary context switches= 40


# summary of solver processes directly reported to runsolver:
#   pid: 16283
#   total CPU time (s): 7.36365
#   total CPU user time (s): 6.67188
#   total CPU system time (s): 0.69177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058737 second user time and 0.081017 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-16 15:03:55
IDJOB=4274813
IDBENCH=140554
IDSOLVER=2667
FILE ID=node135/4274813-1502889467
RUNJOBID= node135-1502658244-13745
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-09.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274813-1502889467/watcher-4274813-1502889467 -o /tmp/evaluation-result-4274813-1502889467/solver-4274813-1502889467 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 850302654 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274813-1502889467.xml

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

MD5SUM BENCH= e7a7addaec4b730d6fe0c9469eb0bfe6
RANDOM SEED=850302654

node135.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.21
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.21
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.21
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.21
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:        30222896 kB
MemAvailable:   31308988 kB
Buffers:          331612 kB
Cached:          1056796 kB
SwapCached:            0 kB
Active:          1480672 kB
Inactive:         614360 kB
Active(anon):     707120 kB
Inactive(anon):    49516 kB
Active(file):     773552 kB
Inactive(file):   564844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42340 kB
Writeback:             0 kB
AnonPages:        706408 kB
Mapped:            76720 kB
Shmem:             49848 kB
Slab:             155232 kB
SReclaimable:     127064 kB
SUnreclaim:        28168 kB
KernelStack:        3472 kB
PageTables:         6428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2060836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    587776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61948 MiB
End job on node135 at 2017-08-16 15:04:00