Trace number 4298119

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MiniCPFever 2018-04-29? (TO) 2520.12 2468.93

General information on the benchmark

NameRlfap_mini/Rlfap-dec-scens11_mini/
Rlfap-ext-scen-11-f01_c18.xml
MD5SUM53a02aff7efbe2bff3bf5161116f12ea
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark310.657
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size43
Distribution of domain sizes[{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":36,"count":336},{"size":43,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints4103
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4103}]
Optimization problemNO
Type of objective

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
2520.08/2468.91	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 (10525 MiB free)
  memory of node 1: 16384 MiB (12664 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298119-1532746743/watcher-4298119-1532746743 -o /tmp/evaluation-result-4298119-1532746743/solver-4298119-1532746743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23279 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298119-1532746743.xml 

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

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

solver pid=24319, runsolver pid=24316

[startup+0.100093 s]*
/proc/loadavg: 1.58 1.39 1.38 7/215 24334
/proc/meminfo: memFree=23732444/32770624 swapFree=67108860/67108860
[pid=24319] ppid=24316 vsize=10658972 memory=25736 CPUtime=0.13 cores=1,3,5,7
/proc/24319/stat : 24319 (java) S 24316 24319 23247 0 -1 1077944320 5338 0 0 0 12 1 0 0 20 0 15 0 92237448 10914787328 6434 33554432000 4194304 4196468 140720677546384 140720677528928 140233062924023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
/proc/24319/statm: 2664743 6434 2846 1 0 2627263 0
[pid=24319/tid=24321] ppid=24316 vsize=10658972 memory=-8413741653617054332 CPUtime=0.09 cores=1,3,5,7
/proc/24319/task/24321/stat : 24321 (java) R 24316 24319 23247 0 -1 4202560 3170 0 0 0 9 0 0 0 20 0 15 0 92237448 10914787328 6434 33554432000 4194304 4196468 140720677546384 140233067149952 140233062935958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24322] ppid=24316 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24322/stat : 24322 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914787328 6434 33554432000 4194304 4196468 140720677546384 140233032636688 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24323] ppid=24316 vsize=10658972 memory=139872706393728 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24323/stat : 24323 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232668613008 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24324] ppid=24316 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24324/stat : 24324 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232667560464 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24325] ppid=24316 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24325/stat : 24325 (java) S 24316 24319 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92237449 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232666507920 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24326] ppid=24316 vsize=10658972 memory=139872706393728 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24326/stat : 24326 (java) S 24316 24319 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92237451 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232367802864 140233062935170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24327] ppid=24316 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24327/stat : 24327 (java) S 24316 24319 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92237451 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232366749088 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24328] ppid=24316 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24328/stat : 24328 (java) S 24316 24319 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92237451 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232365696496 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24329] ppid=24316 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24329/stat : 24329 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232364645072 140233062942619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24330] ppid=24316 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24330/stat : 24330 (java) R 24316 24319 23247 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 92237454 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232363591664 140233062935170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24331] ppid=24316 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24331/stat : 24331 (java) R 24316 24319 23247 0 -1 4202560 171 0 0 0 0 0 0 0 20 0 15 0 92237454 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232362539120 140233040899328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24332] ppid=24316 vsize=10658972 memory=139872706393728 CPUtime=0.01 cores=1,3,5,7
/proc/24319/task/24332/stat : 24332 (java) R 24316 24319 23247 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 15 0 92237454 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232361486576 140233055161150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24333] ppid=24316 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24333/stat : 24333 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232292821600 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24334] ppid=24316 vsize=10658972 memory=139872706393728 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24334/stat : 24334 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237454 10914787328 6434 33554432000 4194304 4196468 140720677546384 140232291769136 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 25736 KiB

[startup+0.210659 s]*
/proc/loadavg: 1.58 1.39 1.38 4/215 24334
/proc/meminfo: memFree=23717780/32770624 swapFree=67108860/67108860
[pid=24319] ppid=24316 vsize=10658972 memory=38364 CPUtime=0.34 cores=1,3,5,7
/proc/24319/stat : 24319 (java) S 24316 24319 23247 0 -1 1077944320 8235 0 0 0 32 2 0 0 20 0 15 0 92237448 10914787328 9591 33554432000 4194304 4196468 140720677546384 140720677528928 140233062924023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
/proc/24319/statm: 2664743 9591 2962 1 0 2627263 0
[pid=24319/tid=24321] ppid=24316 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/24319/task/24321/stat : 24321 (java) R 24316 24319 23247 0 -1 4202560 5136 0 0 0 19 1 0 0 20 0 15 0 92237448 10914787328 9591 33554432000 4194304 4196468 140720677546384 140233067162304 140232699128464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24322] ppid=24316 vsize=10658972 memory=342 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24322/stat : 24322 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914787328 9591 33554432000 4194304 4196468 140720677546384 140233032636688 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24323] ppid=24316 vsize=10658972 memory=288370248858105472 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24323/stat : 24323 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232668613008 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24324] ppid=24316 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24324/stat : 24324 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232667560464 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24325] ppid=24316 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24325/stat : 24325 (java) S 24316 24319 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92237449 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232666507920 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24326] ppid=24316 vsize=10658972 memory=139872706393728 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24326/stat : 24326 (java) S 24316 24319 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92237451 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232367802864 140233062935170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24327] ppid=24316 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24327/stat : 24327 (java) S 24316 24319 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92237451 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232366749088 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24328] ppid=24316 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24328/stat : 24328 (java) S 24316 24319 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92237451 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232365696496 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24329] ppid=24316 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24329/stat : 24329 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232364645072 140233062942619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24330] ppid=24316 vsize=10658972 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24319/task/24330/stat : 24330 (java) S 24316 24319 23247 0 -1 1077944384 429 0 0 0 3 0 0 0 20 0 15 0 92237454 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232363591664 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24331] ppid=24316 vsize=10658972 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/24319/task/24331/stat : 24331 (java) R 24316 24319 23247 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 15 0 92237454 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232362539120 140233055909065 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24332] ppid=24316 vsize=10658972 memory=139872706393728 CPUtime=0.08 cores=1,3,5,7
/proc/24319/task/24332/stat : 24332 (java) R 24316 24319 23247 0 -1 4202560 988 0 0 0 8 0 0 0 20 0 15 0 92237454 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232361482304 140233042058440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24333] ppid=24316 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24333/stat : 24333 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232292821600 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24334] ppid=24316 vsize=10658972 memory=139872706393728 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24334/stat : 24334 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237454 10914787328 9591 33554432000 4194304 4196468 140720677546384 140232291769136 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 38364 KiB

[startup+0.31107 s]*
/proc/loadavg: 1.58 1.39 1.38 6/215 24334
/proc/meminfo: memFree=23634048/32770624 swapFree=67108860/67108860
[pid=24319] ppid=24316 vsize=10659048 memory=60360 CPUtime=0.66 cores=1,3,5,7
/proc/24319/stat : 24319 (java) S 24316 24319 23247 0 -1 1077944320 10618 0 0 0 63 3 0 0 20 0 15 0 92237448 10914865152 15090 33554432000 4194304 4196468 140720677546384 140720677528928 140233062924023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
/proc/24319/statm: 2664762 15090 3061 1 0 2627263 0
[pid=24319/tid=24321] ppid=24316 vsize=10659048 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/24319/task/24321/stat : 24321 (java) R 24316 24319 23247 0 -1 4202560 5582 0 0 0 29 1 0 0 20 0 15 0 92237448 10914865152 15090 33554432000 4194304 4196468 140720677546384 140233067161680 140233047004510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24322] ppid=24316 vsize=10659048 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24322/stat : 24322 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914865152 15090 33554432000 4194304 4196468 140720677546384 140233032636688 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24323] ppid=24316 vsize=10659048 memory=288370248858105472 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24323/stat : 24323 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232668613008 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24324] ppid=24316 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24324/stat : 24324 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232667560464 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24325] ppid=24316 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24325/stat : 24325 (java) S 24316 24319 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92237449 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232666507920 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24326] ppid=24316 vsize=10659048 memory=139872706393728 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24326/stat : 24326 (java) S 24316 24319 23247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232367802864 140233062935170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24327] ppid=24316 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24327/stat : 24327 (java) S 24316 24319 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232366749088 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24328] ppid=24316 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24328/stat : 24328 (java) S 24316 24319 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232365696496 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24329] ppid=24316 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24329/stat : 24329 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232364645072 140233062942619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24330] ppid=24316 vsize=10659048 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24319/task/24330/stat : 24330 (java) R 24316 24319 23247 0 -1 4202560 1300 0 0 0 12 0 0 0 20 0 15 0 92237454 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232363591664 140233046941463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24331] ppid=24316 vsize=10659048 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24319/task/24331/stat : 24331 (java) R 24316 24319 23247 0 -1 1077944384 800 0 0 0 7 0 0 0 20 0 15 0 92237454 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232362539120 140233062935170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24332] ppid=24316 vsize=10659048 memory=139872706393728 CPUtime=0.14 cores=1,3,5,7
/proc/24319/task/24332/stat : 24332 (java) R 24316 24319 23247 0 -1 4202560 1566 0 0 0 14 0 0 0 20 0 15 0 92237454 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232361486576 140233041552263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24333] ppid=24316 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24333/stat : 24333 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232292821600 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24334] ppid=24316 vsize=10659048 memory=139872706393728 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24334/stat : 24334 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 15090 33554432000 4194304 4196468 140720677546384 140232291769136 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 60360 KiB

[startup+0.701046 s]
/proc/loadavg: 1.58 1.39 1.38 8/215 24334
/proc/meminfo: memFree=23392892/32770624 swapFree=67108860/67108860
[pid=24319] ppid=24316 vsize=10659048 memory=186256 CPUtime=1.91 cores=1,3,5,7
/proc/24319/stat : 24319 (java) S 24316 24319 23247 0 -1 1077944320 14040 0 0 0 186 5 0 0 20 0 15 0 92237448 10914865152 46564 33554432000 4194304 4196468 140720677546384 140720677528928 140233062924023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
/proc/24319/statm: 2664762 46564 3112 1 0 2627263 0
[pid=24319/tid=24321] ppid=24316 vsize=10659048 memory=1728 CPUtime=0.66 cores=1,3,5,7
/proc/24319/task/24321/stat : 24321 (java) R 24316 24319 23247 0 -1 4202560 5801 0 0 0 63 3 0 0 20 0 15 0 92237448 10914865152 46564 33554432000 4194304 4196468 140720677546384 140233067159936 140233044763296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24322] ppid=24316 vsize=10659048 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24322/stat : 24322 (java) S 24316 24319 23247 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 92237449 10914865152 46564 33554432000 4194304 4196468 140720677546384 140233032636688 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24323] ppid=24316 vsize=10659048 memory=796 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24323/stat : 24323 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232668613008 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24324] ppid=24316 vsize=10659048 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24324/stat : 24324 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237449 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232667560464 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24325] ppid=24316 vsize=10659048 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24325/stat : 24325 (java) S 24316 24319 23247 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 92237449 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232666507920 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24326] ppid=24316 vsize=10659048 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24326/stat : 24326 (java) S 24316 24319 23247 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232367802864 140233062935170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24327] ppid=24316 vsize=10659048 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24327/stat : 24327 (java) S 24316 24319 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232366749088 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24328] ppid=24316 vsize=10659048 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24328/stat : 24328 (java) S 24316 24319 23247 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232365696496 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24329] ppid=24316 vsize=10659048 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24329/stat : 24329 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232364645072 140233062942619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24330] ppid=24316 vsize=10659048 memory=7017547551848162880 CPUtime=0.43 cores=1,3,5,7
/proc/24319/task/24330/stat : 24330 (java) R 24316 24319 23247 0 -1 4202560 2042 0 0 0 43 0 0 0 20 0 15 0 92237454 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232363574224 140233044446247 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24331] ppid=24316 vsize=10659048 memory=7811323491934034026 CPUtime=0.37 cores=1,3,5,7
/proc/24319/task/24331/stat : 24331 (java) R 24316 24319 23247 0 -1 4202560 1645 0 0 0 37 0 0 0 20 0 15 0 92237454 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232362525280 140233042777584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24332] ppid=24316 vsize=10659048 memory=5787213827063244903 CPUtime=0.39 cores=1,3,5,7
/proc/24319/task/24332/stat : 24332 (java) R 24316 24319 23247 0 -1 4202560 3080 0 0 0 39 0 0 0 20 0 15 0 92237454 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232361486576 140233047004510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24333] ppid=24316 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24333/stat : 24333 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232292821600 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24334] ppid=24316 vsize=10659048 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24334/stat : 24334 (java) S 24316 24319 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 46564 33554432000 4194304 4196468 140720677546384 140232291769136 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 186256 KiB

[startup+1.50083 s]
/proc/loadavg: 1.58 1.39 1.38 7/215 24334
/proc/meminfo: memFree=23340716/32770624 swapFree=67108860/67108860
[pid=24319] ppid=24316 vsize=10659048 memory=204452 CPUtime=3.71 cores=1,3,5,7
/proc/24319/stat : 24319 (java) S 24316 24319 23247 0 -1 1077944320 15095 0 0 0 364 7 0 0 20 0 15 0 92237448 10914865152 51113 33554432000 4194304 4196468 140720677546384 140720677528928 140233062924023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
/proc/24319/statm: 2664762 51113 3144 1 0 2627263 0
[pid=24319/tid=24321] ppid=24316 vsize=10659048 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/24319/task/24321/stat : 24321 (java) R 24316 24319 23247 0 -1 4202560 5901 0 0 0 142 3 0 0 20 0 15 0 92237448 10914865152 51113 33554432000 4194304 4196468 140720677546384 140233067162400 140232704788039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24322] ppid=24316 vsize=10659048 memory=-6951259422114956437 CPUtime=0.01 cores=1,3,5,7
/proc/24319/task/24322/stat : 24322 (java) S 24316 24319 23247 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 92237449 10914865152 51113 33554432000 4194304 4196468 140720677546384 140233032636688 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24323] ppid=24316 vsize=10659048 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24323/stat : 24323 (java) S 24316 24319 23247 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 92237449 10914865152 51113 33554432000 4194304 4196468 140720677546384 140232668613008 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24324] ppid=24316 vsize=10659048 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24324/stat : 24324 (java) S 24316 24319 23247 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 92237449 10914865152 51113 33554432000 4194304 4196468 140720677546384 140232667560464 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24325] ppid=24316 vsize=10659048 memory=4134692831991786133 CPUtime=0.01 cores=1,3,5,7
/proc/24319/task/24325/stat : 24325 (java) S 24316 24319 23247 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 15 0 92237449 10914865152 51113 33554432000 4194304 4196468 140720677546384 140232666507920 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24326] ppid=24316 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24326/stat : 24326 (java) S 24316 24319 23247 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 51113 33554432000 4194304 4196468 140720677546384 140232367802864 140233062935170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0

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

/proc/24319/task/24321/stat : 24321 (java) R 24316 24319 23247 0 -1 4202560 68199 0 0 0 235279 77 0 0 20 0 15 0 92237448 10914865152 614109 33554432000 4194304 4196468 140720677546384 140233067163184 140232705853675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24322] ppid=24316 vsize=10659048 memory=2456436 CPUtime=15.95 cores=1,3,5,7
/proc/24319/task/24322/stat : 24322 (java) S 24316 24319 23247 0 -1 1077944384 28310 0 0 0 1528 67 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140233032636688 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24323] ppid=24316 vsize=10659048 memory=2456436 CPUtime=15.93 cores=1,3,5,7
/proc/24319/task/24323/stat : 24323 (java) S 24316 24319 23247 0 -1 1077944384 28738 0 0 0 1530 63 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232668613008 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24324] ppid=24316 vsize=10659048 memory=2456436 CPUtime=15.93 cores=1,3,5,7
/proc/24319/task/24324/stat : 24324 (java) S 24316 24319 23247 0 -1 1077944384 27413 0 0 0 1527 66 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232667560464 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24325] ppid=24316 vsize=10659048 memory=2456436 CPUtime=15.94 cores=1,3,5,7
/proc/24319/task/24325/stat : 24325 (java) S 24316 24319 23247 0 -1 1077944384 26877 0 0 0 1531 63 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232666507920 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24326] ppid=24316 vsize=10659048 memory=2456436 CPUtime=8.24 cores=1,3,5,7
/proc/24319/task/24326/stat : 24326 (java) S 24316 24319 23247 0 -1 1077944384 27775 0 0 0 757 67 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232367802864 140233062935170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24327] ppid=24316 vsize=10659048 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24327/stat : 24327 (java) S 24316 24319 23247 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232366749152 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24328] ppid=24316 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24328/stat : 24328 (java) S 24316 24319 23247 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232365696496 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24329] ppid=24316 vsize=10659048 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24329/stat : 24329 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232364645072 140233062942619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24330] ppid=24316 vsize=10659048 memory=2416 CPUtime=1.99 cores=1,3,5,7
/proc/24319/task/24330/stat : 24330 (java) S 24316 24319 23247 0 -1 1077944384 8528 0 0 0 198 1 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232363591664 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24331] ppid=24316 vsize=10659048 memory=2456436 CPUtime=1.78 cores=1,3,5,7
/proc/24319/task/24331/stat : 24331 (java) S 24316 24319 23247 0 -1 1077944384 5234 0 0 0 176 2 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232362539120 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24332] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0.63 cores=1,3,5,7
/proc/24319/task/24332/stat : 24332 (java) S 24316 24319 23247 0 -1 1077944384 4802 0 0 0 62 1 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232361486576 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24333] ppid=24316 vsize=10659048 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24333/stat : 24333 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232292821600 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24334] ppid=24316 vsize=10659048 memory=796 CPUtime=1.78 cores=1,3,5,7
/proc/24319/task/24334/stat : 24334 (java) S 24316 24319 23247 0 -1 1077944384 1578 0 0 0 80 98 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232291769136 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
Current children cumulated CPU time: 2431.81 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2456436 KiB

[startup+2442.3 s]
/proc/loadavg: 1.65 1.42 1.36 3/215 24430
/proc/meminfo: memFree=18991132/32770624 swapFree=67108860/67108860
[pid=24319] ppid=24316 vsize=10659048 memory=2456436 CPUtime=2492.99 cores=1,3,5,7
/proc/24319/stat : 24319 (java) S 24316 24319 23247 0 -1 1077944320 233761 0 0 0 248854 445 0 0 20 0 15 0 92237448 10914865152 614109 33554432000 4194304 4196468 140720677546384 140720677528928 140233062924023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
/proc/24319/statm: 2664762 614109 3173 1 0 2627263 0
[pid=24319/tid=24321] ppid=24316 vsize=10659048 memory=2456436 CPUtime=2412.83 cores=1,3,5,7
/proc/24319/task/24321/stat : 24321 (java) R 24316 24319 23247 0 -1 4202560 69690 0 0 0 241205 78 0 0 20 0 15 0 92237448 10914865152 614109 33554432000 4194304 4196468 140720677546384 140233067163136 140232705247525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24322] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.35 cores=1,3,5,7
/proc/24319/task/24322/stat : 24322 (java) S 24316 24319 23247 0 -1 1077944384 29009 0 0 0 1566 69 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140233032636688 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24323] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.35 cores=1,3,5,7
/proc/24319/task/24323/stat : 24323 (java) S 24316 24319 23247 0 -1 1077944384 29653 0 0 0 1570 65 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232668613008 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24324] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.33 cores=1,3,5,7
/proc/24319/task/24324/stat : 24324 (java) S 24316 24319 23247 0 -1 1077944384 28230 0 0 0 1565 68 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232667560464 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24325] ppid=24316 vsize=10659048 memory=4128 CPUtime=16.34 cores=1,3,5,7
/proc/24319/task/24325/stat : 24325 (java) S 24316 24319 23247 0 -1 1077944384 27353 0 0 0 1570 64 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232666507920 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24326] ppid=24316 vsize=10659048 memory=2456436 CPUtime=8.47 cores=1,3,5,7
/proc/24319/task/24326/stat : 24326 (java) S 24316 24319 23247 0 -1 1077944384 28267 0 0 0 778 69 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232367802864 140233062935170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24327] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24327/stat : 24327 (java) S 24316 24319 23247 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232366749152 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24328] ppid=24316 vsize=10659048 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24328/stat : 24328 (java) S 24316 24319 23247 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232365696496 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24329] ppid=24316 vsize=10659048 memory=26696 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24329/stat : 24329 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232364645072 140233062942619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24330] ppid=24316 vsize=10659048 memory=2456436 CPUtime=1.99 cores=1,3,5,7
/proc/24319/task/24330/stat : 24330 (java) S 24316 24319 23247 0 -1 1077944384 8532 0 0 0 198 1 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232363591664 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24331] ppid=24316 vsize=10659048 memory=2456436 CPUtime=1.78 cores=1,3,5,7
/proc/24319/task/24331/stat : 24331 (java) S 24316 24319 23247 0 -1 1077944384 5241 0 0 0 176 2 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232362539120 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24332] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0.63 cores=1,3,5,7
/proc/24319/task/24332/stat : 24332 (java) S 24316 24319 23247 0 -1 1077944384 4806 0 0 0 62 1 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232361486576 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24333] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24333/stat : 24333 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232292821600 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24334] ppid=24316 vsize=10659048 memory=2456436 CPUtime=1.82 cores=1,3,5,7
/proc/24319/task/24334/stat : 24334 (java) S 24316 24319 23247 0 -1 1077944384 1619 0 0 0 82 100 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232291769136 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
Current children cumulated CPU time: 2492.99 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2456436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2468.9 s]
/proc/loadavg: 1.56 1.42 1.36 3/216 24439
/proc/meminfo: memFree=18989580/32770624 swapFree=67108860/67108860
[pid=24319] ppid=24316 vsize=10659048 memory=2456436 CPUtime=2520.08 cores=1,3,5,7
/proc/24319/stat : 24319 (java) S 24316 24319 23247 0 -1 1077944320 235978 0 0 0 251559 449 0 0 20 0 15 0 92237448 10914865152 614109 33554432000 4194304 4196468 140720677546384 140720677528928 140233062924023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
/proc/24319/statm: 2664762 614109 3173 1 0 2627263 0
[pid=24319/tid=24321] ppid=24316 vsize=10659048 memory=2456436 CPUtime=2439.1 cores=1,3,5,7
/proc/24319/task/24321/stat : 24321 (java) R 24316 24319 23247 0 -1 4202560 70366 0 0 0 243832 78 0 0 20 0 15 0 92237448 10914865152 614109 33554432000 4194304 4196468 140720677546384 140233067163344 140232705852551 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24322] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.53 cores=1,3,5,7
/proc/24319/task/24322/stat : 24322 (java) S 24316 24319 23247 0 -1 1077944384 29195 0 0 0 1583 70 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140233032636688 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24323] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.53 cores=1,3,5,7
/proc/24319/task/24323/stat : 24323 (java) S 24316 24319 23247 0 -1 1077944384 29990 0 0 0 1587 66 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232668613008 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24324] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.5 cores=1,3,5,7
/proc/24319/task/24324/stat : 24324 (java) S 24316 24319 23247 0 -1 1077944384 28640 0 0 0 1582 68 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232667560464 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24325] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.52 cores=1,3,5,7
/proc/24319/task/24325/stat : 24325 (java) S 24316 24319 23247 0 -1 1077944384 27699 0 0 0 1587 65 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232666507920 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24326] ppid=24316 vsize=10659048 memory=164 CPUtime=8.57 cores=1,3,5,7
/proc/24319/task/24326/stat : 24326 (java) S 24316 24319 23247 0 -1 1077944384 28517 0 0 0 787 70 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232367802864 140233062935170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24327] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24327/stat : 24327 (java) S 24316 24319 23247 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232366749152 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24328] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24328/stat : 24328 (java) S 24316 24319 23247 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232365696496 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24329] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24329/stat : 24329 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232364645072 140233062942619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24330] ppid=24316 vsize=10659048 memory=1952 CPUtime=1.99 cores=1,3,5,7
/proc/24319/task/24330/stat : 24330 (java) S 24316 24319 23247 0 -1 1077944384 8534 0 0 0 198 1 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232363591664 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24331] ppid=24316 vsize=10659048 memory=2456436 CPUtime=1.78 cores=1,3,5,7
/proc/24319/task/24331/stat : 24331 (java) S 24316 24319 23247 0 -1 1077944384 5244 0 0 0 176 2 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232362539120 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24332] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0.63 cores=1,3,5,7
/proc/24319/task/24332/stat : 24332 (java) S 24316 24319 23247 0 -1 1077944384 4808 0 0 0 62 1 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232361486576 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24333] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24333/stat : 24333 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232292821600 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24334] ppid=24316 vsize=10659048 memory=2456436 CPUtime=1.84 cores=1,3,5,7
/proc/24319/task/24334/stat : 24334 (java) S 24316 24319 23247 0 -1 1077944384 1624 0 0 0 82 102 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232291769136 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2456436 KiB

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

[startup+2468.93 s]
# the end of solver process 24319 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.61 s, system=4.50667 s

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

[startup+2468.9 s]
/proc/loadavg: 1.56 1.42 1.36 3/216 24439
/proc/meminfo: memFree=18989580/32770624 swapFree=67108860/67108860
[pid=24319] ppid=24316 vsize=10659048 memory=2456436 CPUtime=2520.08 cores=1,3,5,7
/proc/24319/stat : 24319 (java) S 24316 24319 23247 0 -1 1077944320 235978 0 0 0 251559 449 0 0 20 0 15 0 92237448 10914865152 614109 33554432000 4194304 4196468 140720677546384 140720677528928 140233062924023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
/proc/24319/statm: 2664762 614109 3173 1 0 2627263 0
[pid=24319/tid=24321] ppid=24316 vsize=10659048 memory=2456436 CPUtime=2439.1 cores=1,3,5,7
/proc/24319/task/24321/stat : 24321 (java) R 24316 24319 23247 0 -1 4202560 70366 0 0 0 243832 78 0 0 20 0 15 0 92237448 10914865152 614109 33554432000 4194304 4196468 140720677546384 140233067163344 140232705852551 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24322] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.53 cores=1,3,5,7
/proc/24319/task/24322/stat : 24322 (java) S 24316 24319 23247 0 -1 1077944384 29195 0 0 0 1583 70 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140233032636688 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24323] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.53 cores=1,3,5,7
/proc/24319/task/24323/stat : 24323 (java) S 24316 24319 23247 0 -1 1077944384 29990 0 0 0 1587 66 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232668613008 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24324] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.5 cores=1,3,5,7
/proc/24319/task/24324/stat : 24324 (java) S 24316 24319 23247 0 -1 1077944384 28640 0 0 0 1582 68 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232667560464 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24325] ppid=24316 vsize=10659048 memory=2456436 CPUtime=16.52 cores=1,3,5,7
/proc/24319/task/24325/stat : 24325 (java) S 24316 24319 23247 0 -1 1077944384 27699 0 0 0 1587 65 0 0 20 0 15 0 92237449 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232666507920 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24326] ppid=24316 vsize=10659048 memory=164 CPUtime=8.57 cores=1,3,5,7
/proc/24319/task/24326/stat : 24326 (java) S 24316 24319 23247 0 -1 1077944384 28517 0 0 0 787 70 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232367802864 140233062935170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24327] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24327/stat : 24327 (java) S 24316 24319 23247 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232366749152 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24328] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24328/stat : 24328 (java) S 24316 24319 23247 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 92237451 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232365696496 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24329] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24329/stat : 24329 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232364645072 140233062942619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24330] ppid=24316 vsize=10659048 memory=1952 CPUtime=1.99 cores=1,3,5,7
/proc/24319/task/24330/stat : 24330 (java) S 24316 24319 23247 0 -1 1077944384 8534 0 0 0 198 1 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232363591664 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24331] ppid=24316 vsize=10659048 memory=2456436 CPUtime=1.78 cores=1,3,5,7
/proc/24319/task/24331/stat : 24331 (java) S 24316 24319 23247 0 -1 1077944384 5244 0 0 0 176 2 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232362539120 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24332] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0.63 cores=1,3,5,7
/proc/24319/task/24332/stat : 24332 (java) S 24316 24319 23247 0 -1 1077944384 4808 0 0 0 62 1 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232361486576 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24333] ppid=24316 vsize=10659048 memory=2456436 CPUtime=0 cores=1,3,5,7
/proc/24319/task/24333/stat : 24333 (java) S 24316 24319 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232292821600 140233062934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
[pid=24319/tid=24334] ppid=24316 vsize=10659048 memory=2456436 CPUtime=1.84 cores=1,3,5,7
/proc/24319/task/24334/stat : 24334 (java) S 24316 24319 23247 0 -1 1077944384 1624 0 0 0 82 102 0 0 20 0 15 0 92237454 10914865152 614109 33554432000 4194304 4196468 140720677546384 140232291769136 140233062935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140720677553325 140720677553417 140720677553417 140720677556175 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2456436 KiB

Child status: 143
Real time (s): 2468.93
CPU time (s): 2520.12
CPU user time (s): 2515.61
CPU system time (s): 4.50667
CPU usage (%): 102.073
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 2697848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.61
system time used= 4.50667
maximum resident set size= 2698352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 290898
involuntary context switches= 7476


# summary of solver processes directly reported to runsolver:
#   pid: 24319
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2515.61
#   total CPU system time (s): 4.50667

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2071 second user time and 24.0538 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 04:59:03
IDJOB=4298119
IDBENCH=141072
IDSOLVER=2763
FILE ID=node139/4298119-1532746743
RUNJOBID= node139-1532739282-23279
PBS_JOBID= 21022439
Free space on /tmp= 38716 MiB

SOLVER NAME= MiniCPFever 2018-04-29
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-dec-scens11_mini/Rlfap-ext-scen-11-f01_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298119-1532746743/watcher-4298119-1532746743 -o /tmp/evaluation-result-4298119-1532746743/solver-4298119-1532746743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23279 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298119-1532746743.xml

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

MD5SUM BENCH= 53a02aff7efbe2bff3bf5161116f12ea
RANDOM SEED=1917713662

node139.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.80
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.80
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.80
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.80
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:        23747100 kB
MemAvailable:   31744664 kB
Buffers:          229724 kB
Cached:          7896292 kB
SwapCached:            0 kB
Active:          3253620 kB
Inactive:        5114892 kB
Active(anon):     196324 kB
Inactive(anon):    73584 kB
Active(file):    3057296 kB
Inactive(file):  5041308 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2616 kB
Writeback:             0 kB
AnonPages:        288792 kB
Mapped:            54636 kB
Shmem:             25228 kB
Slab:             354920 kB
SReclaimable:     327420 kB
SUnreclaim:        27500 kB
KernelStack:        3808 kB
PageTables:         5060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1309140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38716 MiB
End job on node139 at 2018-07-28 05:40:12