Trace number 4299452

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
The dodo solver 2018-04-29? (TO) 2520.04 2487.31

General information on the benchmark

NameDubois/
Dubois-075_c18.xml
MD5SUM8909e39e4e2640ab20c6938b58673ed4
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 benchmark0.018123
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints150
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":225}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":225}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":150}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150}]
Optimization problemNO
Type of objective

Solver Data 

0.14/0.13	c version: 2018-04-11
0.14/0.13	c seed: 1811631
0.14/0.13	c timeout: 2520
0.14/0.13	c memlimit: -1
0.14/0.13	c nbcore: -1
2520.02/2487.30	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 (8461 MiB free)
  memory of node 1: 16384 MiB (11345 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299452-1532818173/watcher-4299452-1532818173 -o /tmp/evaluation-result-4299452-1532818173/solver-4299452-1532818173 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532810624-15482 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4299452-1532818173.xml --timelimit 2520 

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

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=16278, runsolver pid=16275

[startup+0.103075 s]*
/proc/loadavg: 1.43 1.49 1.44 4/215 16293
/proc/meminfo: memFree=20264812/32770624 swapFree=67108860/67108860
[pid=16278] ppid=16275 vsize=10658972 memory=29552 CPUtime=0.14 cores=0,2,4,6
/proc/16278/stat : 16278 (java) S 16275 16278 15451 0 -1 1077944320 5291 0 0 0 13 1 0 0 20 0 15 0 99380500 10914787328 7388 33554432000 4194304 4196468 140721348439904 140721348422448 140444403023607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
/proc/16278/statm: 2664743 7388 2841 1 0 2627263 0
[pid=16278/tid=16280] ppid=16275 vsize=10658972 memory=-8125511277465604222 CPUtime=0.09 cores=0,2,4,6
/proc/16278/task/16280/stat : 16280 (java) R 16275 16278 15451 0 -1 4202560 3115 0 0 0 9 0 0 0 20 0 15 0 99380501 10914787328 7388 33554432000 4194304 4196468 140721348439904 140444407251128 140444038103116 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16281] ppid=16275 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16281/stat : 16281 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10914787328 7388 33554432000 4194304 4196468 140721348439904 140444359575952 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16282] ppid=16275 vsize=10658972 memory=139627376518784 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16282/stat : 16282 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10914787328 7388 33554432000 4194304 4196468 140721348439904 140444358523152 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16283] ppid=16275 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16283/stat : 16283 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10914787328 7388 33554432000 4194304 4196468 140721348439904 140444007586448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16284] ppid=16275 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16284/stat : 16284 (java) S 16275 16278 15451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99380501 10914787328 7388 33554432000 4194304 4196468 140721348439904 140444006533648 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16285] ppid=16275 vsize=10658972 memory=139627376518784 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16285/stat : 16285 (java) S 16275 16278 15451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99380503 10914787328 7388 33554432000 4194304 4196468 140721348439904 140443962632816 140444403034754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16286] ppid=16275 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16286/stat : 16286 (java) S 16275 16278 15451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99380503 10914787328 7388 33554432000 4194304 4196468 140721348439904 140443961578784 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16287] ppid=16275 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16287/stat : 16287 (java) S 16275 16278 15451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99380503 10914787328 7388 33554432000 4194304 4196468 140721348439904 140443960526448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16288] ppid=16275 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16288/stat : 16288 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10914787328 7388 33554432000 4194304 4196468 140721348439904 140443959474768 140444403042203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16289] ppid=16275 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16289/stat : 16289 (java) S 16275 16278 15451 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 15 0 99380506 10914787328 7388 33554432000 4194304 4196468 140721348439904 140443958421616 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16290] ppid=16275 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16290/stat : 16290 (java) R 16275 16278 15451 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 99380506 10914787328 7388 33554432000 4194304 4196468 140721348439904 140443957368912 140444403033813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16291] ppid=16275 vsize=10658972 memory=139627376518784 CPUtime=0.02 cores=0,2,4,6
/proc/16278/task/16291/stat : 16291 (java) R 16275 16278 15451 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 99380506 10914787328 7388 33554432000 4194304 4196468 140721348439904 140443956314928 140444381624950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16292] ppid=16275 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16292/stat : 16292 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10914787328 7388 33554432000 4194304 4196468 140721348439904 140443955263968 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16293] ppid=16275 vsize=10658972 memory=139627376518784 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16293/stat : 16293 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380506 10914787328 7388 33554432000 4194304 4196468 140721348439904 140443498048432 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 29552 KiB

[startup+0.210579 s]*
/proc/loadavg: 1.43 1.49 1.44 4/215 16293
/proc/meminfo: memFree=20252608/32770624 swapFree=67108860/67108860
[pid=16278] ppid=16275 vsize=10661056 memory=42220 CPUtime=0.34 cores=0,2,4,6
/proc/16278/stat : 16278 (java) S 16275 16278 15451 0 -1 1077944320 8192 0 0 0 32 2 0 0 20 0 15 0 99380500 10916921344 10555 33554432000 4194304 4196468 140721348439904 140721348422448 140444403023607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
/proc/16278/statm: 2665264 10555 2968 1 0 2627263 0
[pid=16278/tid=16280] ppid=16275 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/16278/task/16280/stat : 16280 (java) R 16275 16278 15451 0 -1 4202560 5177 0 0 0 19 1 0 0 20 0 15 0 99380501 10916921344 10555 33554432000 4194304 4196468 140721348439904 140444407258576 140444387104124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16281] ppid=16275 vsize=10661056 memory=343 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16281/stat : 16281 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10916921344 10620 33554432000 4194304 4196468 140721348439904 140444359575952 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16282] ppid=16275 vsize=10661056 memory=139627377182308 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16282/stat : 16282 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10916921344 10620 33554432000 4194304 4196468 140721348439904 140444358523152 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16283] ppid=16275 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16283/stat : 16283 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10916921344 10620 33554432000 4194304 4196468 140721348439904 140444007586448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16284] ppid=16275 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16284/stat : 16284 (java) S 16275 16278 15451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99380501 10916921344 10620 33554432000 4194304 4196468 140721348439904 140444006533648 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16285] ppid=16275 vsize=10661056 memory=139627376518784 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16285/stat : 16285 (java) S 16275 16278 15451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99380503 10916921344 10620 33554432000 4194304 4196468 140721348439904 140443962632816 140444403034754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16286] ppid=16275 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16286/stat : 16286 (java) S 16275 16278 15451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99380503 10916921344 10620 33554432000 4194304 4196468 140721348439904 140443961578784 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16287] ppid=16275 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16287/stat : 16287 (java) S 16275 16278 15451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99380503 10916921344 10620 33554432000 4194304 4196468 140721348439904 140443960526448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16288] ppid=16275 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16288/stat : 16288 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916921344 10620 33554432000 4194304 4196468 140721348439904 140443959474768 140444403042203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16289] ppid=16275 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16278/task/16289/stat : 16289 (java) S 16275 16278 15451 0 -1 1077944384 647 0 0 0 2 0 0 0 20 0 15 0 99380506 10916921344 10620 33554432000 4194304 4196468 140721348439904 140443958421616 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16290] ppid=16275 vsize=10660800 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16278/task/16290/stat : 16290 (java) S 16275 16278 15451 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 99380506 10916659200 10623 33554432000 4194304 4196468 140721348439904 140443957368816 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16291] ppid=16275 vsize=10661056 memory=139627376518784 CPUtime=0.08 cores=0,2,4,6
/proc/16278/task/16291/stat : 16291 (java) S 16275 16278 15451 0 -1 1077944384 846 0 0 0 8 0 0 0 20 0 15 0 99380506 10916921344 10623 33554432000 4194304 4196468 140721348439904 140443956316528 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16292] ppid=16275 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16292/stat : 16292 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916921344 10623 33554432000 4194304 4196468 140721348439904 140443955263968 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16293] ppid=16275 vsize=10661056 memory=139627376518784 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16293/stat : 16293 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380506 10916921344 10623 33554432000 4194304 4196468 140721348439904 140443498048432 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 42220 KiB

[startup+0.310493 s]*
/proc/loadavg: 1.43 1.49 1.44 5/215 16293
/proc/meminfo: memFree=20248700/32770624 swapFree=67108860/67108860
[pid=16278] ppid=16275 vsize=10661132 memory=48596 CPUtime=0.56 cores=0,2,4,6
/proc/16278/stat : 16278 (java) S 16275 16278 15451 0 -1 1077944320 8767 0 0 0 53 3 0 0 20 0 15 0 99380500 10916999168 12149 33554432000 4194304 4196468 140721348439904 140721348422448 140444403023607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
/proc/16278/statm: 2665283 12149 3010 1 0 2627263 0
[pid=16278/tid=16280] ppid=16275 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/16278/task/16280/stat : 16280 (java) R 16275 16278 15451 0 -1 4202560 5506 0 0 0 28 2 0 0 20 0 15 0 99380501 10916999168 12149 33554432000 4194304 4196468 140721348439904 140444407253136 140444403035542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16281] ppid=16275 vsize=10661132 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16281/stat : 16281 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 12149 33554432000 4194304 4196468 140721348439904 140444359575952 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16282] ppid=16275 vsize=10661132 memory=139627377174852 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16282/stat : 16282 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 12149 33554432000 4194304 4196468 140721348439904 140444358523152 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16283] ppid=16275 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16283/stat : 16283 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 12149 33554432000 4194304 4196468 140721348439904 140444007586448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16284] ppid=16275 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16284/stat : 16284 (java) S 16275 16278 15451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 12149 33554432000 4194304 4196468 140721348439904 140444006533648 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16285] ppid=16275 vsize=10661132 memory=139627376518784 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16285/stat : 16285 (java) S 16275 16278 15451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 12149 33554432000 4194304 4196468 140721348439904 140443962632816 140444403034754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16286] ppid=16275 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16286/stat : 16286 (java) S 16275 16278 15451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 12149 33554432000 4194304 4196468 140721348439904 140443961578784 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16287] ppid=16275 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16287/stat : 16287 (java) S 16275 16278 15451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 12149 33554432000 4194304 4196468 140721348439904 140443960526448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16288] ppid=16275 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16288/stat : 16288 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 12149 33554432000 4194304 4196468 140721348439904 140443959474768 140444403042203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16289] ppid=16275 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/16278/task/16289/stat : 16289 (java) S 16275 16278 15451 0 -1 1077944384 749 0 0 0 6 0 0 0 20 0 15 0 99380506 10916999168 12149 33554432000 4194304 4196468 140721348439904 140443958421616 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16290] ppid=16275 vsize=10661132 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/16278/task/16290/stat : 16290 (java) S 16275 16278 15451 0 -1 1077944384 182 0 0 0 3 0 0 0 20 0 15 0 99380506 10916999168 12149 33554432000 4194304 4196468 140721348439904 140443957368816 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16291] ppid=16275 vsize=10661132 memory=139627376518784 CPUtime=0.15 cores=0,2,4,6
/proc/16278/task/16291/stat : 16291 (java) R 16275 16278 15451 0 -1 4202560 969 0 0 0 15 0 0 0 20 0 15 0 99380506 10916999168 12149 33554432000 4194304 4196468 140721348439904 140443956311568 140444395264997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16292] ppid=16275 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16292/stat : 16292 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 12149 33554432000 4194304 4196468 140721348439904 140443955263968 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16293] ppid=16275 vsize=10661132 memory=139627376518784 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16293/stat : 16293 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 12149 33554432000 4194304 4196468 140721348439904 140443498048432 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 48596 KiB

[startup+0.700738 s]
/proc/loadavg: 1.43 1.49 1.44 5/215 16293
/proc/meminfo: memFree=20218848/32770624 swapFree=67108860/67108860
[pid=16278] ppid=16275 vsize=10661132 memory=122932 CPUtime=1.69 cores=0,2,4,6
/proc/16278/stat : 16278 (java) S 16275 16278 15451 0 -1 1077944320 12981 0 0 0 164 5 0 0 20 0 15 0 99380500 10916999168 30733 33554432000 4194304 4196468 140721348439904 140721348422448 140444403023607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
/proc/16278/statm: 2665283 30733 3098 1 0 2627263 0
[pid=16278/tid=16280] ppid=16275 vsize=10661132 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/16278/task/16280/stat : 16280 (java) R 16275 16278 15451 0 -1 4202560 5678 0 0 0 64 3 0 0 20 0 15 0 99380501 10916999168 30733 33554432000 4194304 4196468 140721348439904 140444407245616 140721348618178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16281] ppid=16275 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16281/stat : 16281 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 30733 33554432000 4194304 4196468 140721348439904 140444359575952 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16282] ppid=16275 vsize=10661132 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16282/stat : 16282 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 30733 33554432000 4194304 4196468 140721348439904 140444358523152 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16283] ppid=16275 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16283/stat : 16283 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 30733 33554432000 4194304 4196468 140721348439904 140444007586448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16284] ppid=16275 vsize=10661132 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16284/stat : 16284 (java) S 16275 16278 15451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 30733 33554432000 4194304 4196468 140721348439904 140444006533648 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16285] ppid=16275 vsize=10661132 memory=9996 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16285/stat : 16285 (java) S 16275 16278 15451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 30733 33554432000 4194304 4196468 140721348439904 140443962632816 140444403034754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16286] ppid=16275 vsize=10661132 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16286/stat : 16286 (java) S 16275 16278 15451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 30733 33554432000 4194304 4196468 140721348439904 140443961578784 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16287] ppid=16275 vsize=10661132 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16287/stat : 16287 (java) S 16275 16278 15451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 30733 33554432000 4194304 4196468 140721348439904 140443960526448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16288] ppid=16275 vsize=10661132 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16288/stat : 16288 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 30733 33554432000 4194304 4196468 140721348439904 140443959474768 140444403042203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16289] ppid=16275 vsize=10661132 memory=6945208482816681536 CPUtime=0.4 cores=0,2,4,6
/proc/16278/task/16289/stat : 16289 (java) R 16275 16278 15451 0 -1 4202560 2495 0 0 0 40 0 0 0 20 0 15 0 99380506 10916999168 30733 33554432000 4194304 4196468 140721348439904 140443958402424 140444386520441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16290] ppid=16275 vsize=10661132 memory=7811323491934034026 CPUtime=0.37 cores=0,2,4,6
/proc/16278/task/16290/stat : 16290 (java) R 16275 16278 15451 0 -1 4202560 2132 0 0 0 37 0 0 0 20 0 15 0 99380506 10916999168 30733 33554432000 4194304 4196468 140721348439904 140443957355888 140444386984368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16291] ppid=16275 vsize=10661132 memory=5787213827163908199 CPUtime=0.21 cores=0,2,4,6
/proc/16278/task/16291/stat : 16291 (java) S 16275 16278 15451 0 -1 1077944384 1306 0 0 0 21 0 0 0 20 0 15 0 99380506 10916999168 30733 33554432000 4194304 4196468 140721348439904 140443956316528 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16292] ppid=16275 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16292/stat : 16292 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 30733 33554432000 4194304 4196468 140721348439904 140443955263968 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16293] ppid=16275 vsize=10661132 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16293/stat : 16293 (java) S 16275 16278 15451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 30733 33554432000 4194304 4196468 140721348439904 140443498048432 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 122932 KiB

[startup+1.50071 s]
/proc/loadavg: 1.43 1.49 1.44 4/215 16293
/proc/meminfo: memFree=20105472/32770624 swapFree=67108860/67108860
[pid=16278] ppid=16275 vsize=10661132 memory=199040 CPUtime=3.28 cores=0,2,4,6
/proc/16278/stat : 16278 (java) S 16275 16278 15451 0 -1 1077944320 15240 0 0 0 319 9 0 0 20 0 15 0 99380500 10916999168 49760 33554432000 4194304 4196468 140721348439904 140721348422448 140444403023607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
/proc/16278/statm: 2665283 49760 3103 1 0 2627263 0
[pid=16278/tid=16280] ppid=16275 vsize=10661132 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/16278/task/16280/stat : 16280 (java) R 16275 16278 15451 0 -1 4202560 5713 0 0 0 141 6 0 0 20 0 15 0 99380501 10916999168 49760 33554432000 4194304 4196468 140721348439904 140444407246640 140721348618178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16281] ppid=16275 vsize=10661132 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16281/stat : 16281 (java) S 16275 16278 15451 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 49760 33554432000 4194304 4196468 140721348439904 140444359575952 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16282] ppid=16275 vsize=10661132 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16282/stat : 16282 (java) S 16275 16278 15451 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 49760 33554432000 4194304 4196468 140721348439904 140444358523152 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16283] ppid=16275 vsize=10661132 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16283/stat : 16283 (java) S 16275 16278 15451 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 49760 33554432000 4194304 4196468 140721348439904 140444007586448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16284] ppid=16275 vsize=10661132 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16284/stat : 16284 (java) S 16275 16278 15451 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 99380501 10916999168 49760 33554432000 4194304 4196468 140721348439904 140444006533648 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16285] ppid=16275 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16285/stat : 16285 (java) S 16275 16278 15451 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 49760 33554432000 4194304 4196468 140721348439904 140443962632816 140444403034754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0

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

/proc/16278/task/16280/stat : 16280 (java) R 16275 16278 15451 0 -1 4202560 26175 0 0 0 232855 3140 0 0 20 0 15 0 99380501 10916999168 109244 33554432000 4194304 4196468 140721348439904 140444407250096 140721348618178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16281] ppid=16275 vsize=10661132 memory=434928 CPUtime=10.08 cores=0,2,4,6
/proc/16278/task/16281/stat : 16281 (java) S 16275 16278 15451 0 -1 1077944384 4245 0 0 0 947 61 0 0 20 0 15 0 99380501 10916999168 109244 33554432000 4194304 4196468 140721348439904 140444359575952 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16282] ppid=16275 vsize=10661132 memory=436976 CPUtime=10.05 cores=0,2,4,6
/proc/16278/task/16282/stat : 16282 (java) S 16275 16278 15451 0 -1 1077944384 4500 0 0 0 940 65 0 0 20 0 15 0 99380501 10916999168 109244 33554432000 4194304 4196468 140721348439904 140444358523152 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16283] ppid=16275 vsize=10661132 memory=436976 CPUtime=10.04 cores=0,2,4,6
/proc/16278/task/16283/stat : 16283 (java) S 16275 16278 15451 0 -1 1077944384 5682 0 0 0 941 63 0 0 20 0 15 0 99380501 10916999168 109244 33554432000 4194304 4196468 140721348439904 140444007586448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16284] ppid=16275 vsize=10661132 memory=436976 CPUtime=10.07 cores=0,2,4,6
/proc/16278/task/16284/stat : 16284 (java) S 16275 16278 15451 0 -1 1077944384 4563 0 0 0 944 63 0 0 20 0 15 0 99380501 10916999168 109244 33554432000 4194304 4196468 140721348439904 140444006533648 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16285] ppid=16275 vsize=10661132 memory=1424 CPUtime=9.96 cores=0,2,4,6
/proc/16278/task/16285/stat : 16285 (java) S 16275 16278 15451 0 -1 1077944384 5558 0 0 0 936 60 0 0 20 0 15 0 99380503 10916999168 109244 33554432000 4194304 4196468 140721348439904 140443962632816 140444403034754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16286] ppid=16275 vsize=10661132 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16286/stat : 16286 (java) S 16275 16278 15451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 109244 33554432000 4194304 4196468 140721348439904 140443961578784 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16287] ppid=16275 vsize=10661132 memory=432880 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16287/stat : 16287 (java) S 16275 16278 15451 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 109244 33554432000 4194304 4196468 140721348439904 140443960526448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16288] ppid=16275 vsize=10661132 memory=430832 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16288/stat : 16288 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 109244 33554432000 4194304 4196468 140721348439904 140443959474768 140444403042203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16289] ppid=16275 vsize=10661132 memory=436976 CPUtime=1.1 cores=0,2,4,6
/proc/16278/task/16289/stat : 16289 (java) S 16275 16278 15451 0 -1 1077944384 4612 0 0 0 109 1 0 0 20 0 15 0 99380506 10916999168 109244 33554432000 4194304 4196468 140721348439904 140443958421616 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16290] ppid=16275 vsize=10661132 memory=434928 CPUtime=0.48 cores=0,2,4,6
/proc/16278/task/16290/stat : 16290 (java) S 16275 16278 15451 0 -1 1077944384 2307 0 0 0 47 1 0 0 20 0 15 0 99380506 10916999168 109244 33554432000 4194304 4196468 140721348439904 140443957368816 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16291] ppid=16275 vsize=10661132 memory=436976 CPUtime=0.23 cores=0,2,4,6
/proc/16278/task/16291/stat : 16291 (java) S 16275 16278 15451 0 -1 1077944384 1375 0 0 0 23 0 0 0 20 0 15 0 99380506 10916999168 109244 33554432000 4194304 4196468 140721348439904 140443956316528 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16292] ppid=16275 vsize=10661132 memory=434928 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16292/stat : 16292 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 109244 33554432000 4194304 4196468 140721348439904 140443955263968 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16293] ppid=16275 vsize=10661132 memory=430832 CPUtime=1.21 cores=0,2,4,6
/proc/16278/task/16293/stat : 16293 (java) S 16275 16278 15451 0 -1 1077944384 1062 0 0 0 63 58 0 0 20 0 15 0 99380506 10916999168 109244 33554432000 4194304 4196468 140721348439904 140443498048432 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
Current children cumulated CPU time: 2413.26 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 436976 KiB

[startup+2442.3 s]
/proc/loadavg: 1.22 1.23 1.29 3/216 16410
/proc/meminfo: memFree=19581396/32770624 swapFree=67108860/67108860
[pid=16278] ppid=16275 vsize=10661132 memory=443120 CPUtime=2474.21 cores=0,2,4,6
/proc/16278/stat : 16278 (java) S 16275 16278 15451 0 -1 1077944320 62937 0 0 0 243892 3529 0 0 20 0 15 0 99380500 10916999168 110780 33554432000 4194304 4196468 140721348439904 140721348422448 140444403023607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
/proc/16278/statm: 2665283 110780 3129 1 0 2627263 0
[pid=16278/tid=16280] ppid=16275 vsize=10661132 memory=443120 CPUtime=2419.36 cores=0,2,4,6
/proc/16278/task/16280/stat : 16280 (java) R 16275 16278 15451 0 -1 4202560 26717 0 0 0 238721 3215 0 0 20 0 15 0 99380501 10916999168 110780 33554432000 4194304 4196468 140721348439904 140444407249920 140721348618178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16281] ppid=16275 vsize=10661132 memory=443120 CPUtime=10.4 cores=0,2,4,6
/proc/16278/task/16281/stat : 16281 (java) S 16275 16278 15451 0 -1 1077944384 4426 0 0 0 979 61 0 0 20 0 15 0 99380501 10916999168 110780 33554432000 4194304 4196468 140721348439904 140444359575952 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16282] ppid=16275 vsize=10661132 memory=441072 CPUtime=10.37 cores=0,2,4,6
/proc/16278/task/16282/stat : 16282 (java) S 16275 16278 15451 0 -1 1077944384 4578 0 0 0 971 66 0 0 20 0 15 0 99380501 10916999168 110780 33554432000 4194304 4196468 140721348439904 140444358523152 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16283] ppid=16275 vsize=10661132 memory=439024 CPUtime=10.36 cores=0,2,4,6
/proc/16278/task/16283/stat : 16283 (java) S 16275 16278 15451 0 -1 1077944384 5773 0 0 0 973 63 0 0 20 0 15 0 99380501 10916999168 110780 33554432000 4194304 4196468 140721348439904 140444007586448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16284] ppid=16275 vsize=10661132 memory=439024 CPUtime=10.39 cores=0,2,4,6
/proc/16278/task/16284/stat : 16284 (java) S 16275 16278 15451 0 -1 1077944384 4978 0 0 0 974 65 0 0 20 0 15 0 99380501 10916999168 110780 33554432000 4194304 4196468 140721348439904 140444006533648 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16285] ppid=16275 vsize=10661132 memory=441072 CPUtime=10.18 cores=0,2,4,6
/proc/16278/task/16285/stat : 16285 (java) S 16275 16278 15451 0 -1 1077944384 5730 0 0 0 957 61 0 0 20 0 15 0 99380503 10916999168 110780 33554432000 4194304 4196468 140721348439904 140443962632816 140444403034754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16286] ppid=16275 vsize=10661132 memory=441072 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16286/stat : 16286 (java) S 16275 16278 15451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 110780 33554432000 4194304 4196468 140721348439904 140443961578784 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16287] ppid=16275 vsize=10661132 memory=441072 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16287/stat : 16287 (java) S 16275 16278 15451 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 110780 33554432000 4194304 4196468 140721348439904 140443960526448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16288] ppid=16275 vsize=10661132 memory=443120 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16288/stat : 16288 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 110780 33554432000 4194304 4196468 140721348439904 140443959474768 140444403042203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16289] ppid=16275 vsize=10661132 memory=443120 CPUtime=1.1 cores=0,2,4,6
/proc/16278/task/16289/stat : 16289 (java) S 16275 16278 15451 0 -1 1077944384 4614 0 0 0 109 1 0 0 20 0 15 0 99380506 10916999168 110780 33554432000 4194304 4196468 140721348439904 140443958421616 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16290] ppid=16275 vsize=10661132 memory=443120 CPUtime=0.48 cores=0,2,4,6
/proc/16278/task/16290/stat : 16290 (java) S 16275 16278 15451 0 -1 1077944384 2309 0 0 0 47 1 0 0 20 0 15 0 99380506 10916999168 110780 33554432000 4194304 4196468 140721348439904 140443957368816 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16291] ppid=16275 vsize=10661132 memory=443120 CPUtime=0.23 cores=0,2,4,6
/proc/16278/task/16291/stat : 16291 (java) S 16275 16278 15451 0 -1 1077944384 1377 0 0 0 23 0 0 0 20 0 15 0 99380506 10916999168 110780 33554432000 4194304 4196468 140721348439904 140443956316528 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16292] ppid=16275 vsize=10661132 memory=443120 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16292/stat : 16292 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 110780 33554432000 4194304 4196468 140721348439904 140443955263968 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16293] ppid=16275 vsize=10661132 memory=443120 CPUtime=1.24 cores=0,2,4,6
/proc/16278/task/16293/stat : 16293 (java) S 16275 16278 15451 0 -1 1077944384 1075 0 0 0 65 59 0 0 20 0 15 0 99380506 10916999168 110780 33554432000 4194304 4196468 140721348439904 140443498048432 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
Current children cumulated CPU time: 2474.21 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 443120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2487.3 s]
/proc/loadavg: 1.35 1.26 1.29 3/216 16564
/proc/meminfo: memFree=19845732/32770624 swapFree=67108860/67108860
[pid=16278] ppid=16275 vsize=10661132 memory=447216 CPUtime=2520.02 cores=0,2,4,6
/proc/16278/stat : 16278 (java) S 16275 16278 15451 0 -1 1077944320 63843 0 0 0 248405 3597 0 0 20 0 15 0 99380500 10916999168 111804 33554432000 4194304 4196468 140721348439904 140721348422448 140444403023607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
/proc/16278/statm: 2665283 111804 3129 1 0 2627263 0
[pid=16278/tid=16280] ppid=16275 vsize=10661132 memory=447216 CPUtime=2463.83 cores=0,2,4,6
/proc/16278/task/16280/stat : 16280 (java) R 16275 16278 15451 0 -1 4202560 27054 0 0 0 243106 3277 0 0 20 0 15 0 99380501 10916999168 111804 33554432000 4194304 4196468 140721348439904 140444407249920 140721348618178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16281] ppid=16275 vsize=10661132 memory=447216 CPUtime=10.68 cores=0,2,4,6
/proc/16278/task/16281/stat : 16281 (java) S 16275 16278 15451 0 -1 1077944384 4494 0 0 0 1006 62 0 0 20 0 15 0 99380501 10916999168 111804 33554432000 4194304 4196468 140721348439904 140444359575952 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16282] ppid=16275 vsize=10661132 memory=447216 CPUtime=10.65 cores=0,2,4,6
/proc/16278/task/16282/stat : 16282 (java) S 16275 16278 15451 0 -1 1077944384 4701 0 0 0 998 67 0 0 20 0 15 0 99380501 10916999168 111804 33554432000 4194304 4196468 140721348439904 140444358523152 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16283] ppid=16275 vsize=10661132 memory=447216 CPUtime=10.64 cores=0,2,4,6
/proc/16278/task/16283/stat : 16283 (java) S 16275 16278 15451 0 -1 1077944384 5873 0 0 0 1000 64 0 0 20 0 15 0 99380501 10916999168 111804 33554432000 4194304 4196468 140721348439904 140444007586448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16284] ppid=16275 vsize=10661132 memory=447216 CPUtime=10.66 cores=0,2,4,6
/proc/16278/task/16284/stat : 16284 (java) S 16275 16278 15451 0 -1 1077944384 5234 0 0 0 1001 65 0 0 20 0 15 0 99380501 10916999168 111804 33554432000 4194304 4196468 140721348439904 140444006533648 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16285] ppid=16275 vsize=10661132 memory=445168 CPUtime=10.36 cores=0,2,4,6
/proc/16278/task/16285/stat : 16285 (java) S 16275 16278 15451 0 -1 1077944384 5748 0 0 0 974 62 0 0 20 0 15 0 99380503 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443962632816 140444403034754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16286] ppid=16275 vsize=10661132 memory=445168 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16286/stat : 16286 (java) S 16275 16278 15451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443961578784 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16287] ppid=16275 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16287/stat : 16287 (java) S 16275 16278 15451 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443960526448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16288] ppid=16275 vsize=10661132 memory=447216 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16288/stat : 16288 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443959474768 140444403042203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16289] ppid=16275 vsize=10661132 memory=447216 CPUtime=1.1 cores=0,2,4,6
/proc/16278/task/16289/stat : 16289 (java) S 16275 16278 15451 0 -1 1077944384 4614 0 0 0 109 1 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443958421616 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16290] ppid=16275 vsize=10661132 memory=447216 CPUtime=0.48 cores=0,2,4,6
/proc/16278/task/16290/stat : 16290 (java) S 16275 16278 15451 0 -1 1077944384 2309 0 0 0 47 1 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443957368816 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16291] ppid=16275 vsize=10661132 memory=1936 CPUtime=0.23 cores=0,2,4,6
/proc/16278/task/16291/stat : 16291 (java) S 16275 16278 15451 0 -1 1077944384 1377 0 0 0 23 0 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443956316528 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16292] ppid=16275 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16292/stat : 16292 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443955263968 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16293] ppid=16275 vsize=10661132 memory=7528 CPUtime=1.26 cores=0,2,4,6
/proc/16278/task/16293/stat : 16293 (java) S 16275 16278 15451 0 -1 1077944384 1079 0 0 0 66 60 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443498048432 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 447216 KiB

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

[startup+2487.31 s]
# the end of solver process 16278 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2484.06 s, system=35.9801 s

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

[startup+2487.3 s]
/proc/loadavg: 1.35 1.26 1.29 3/216 16564
/proc/meminfo: memFree=19845732/32770624 swapFree=67108860/67108860
[pid=16278] ppid=16275 vsize=10661132 memory=447216 CPUtime=2520.02 cores=0,2,4,6
/proc/16278/stat : 16278 (java) S 16275 16278 15451 0 -1 1077944320 63843 0 0 0 248405 3597 0 0 20 0 15 0 99380500 10916999168 111804 33554432000 4194304 4196468 140721348439904 140721348422448 140444403023607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
/proc/16278/statm: 2665283 111804 3129 1 0 2627263 0
[pid=16278/tid=16280] ppid=16275 vsize=10661132 memory=447216 CPUtime=2463.83 cores=0,2,4,6
/proc/16278/task/16280/stat : 16280 (java) R 16275 16278 15451 0 -1 4202560 27054 0 0 0 243106 3277 0 0 20 0 15 0 99380501 10916999168 111804 33554432000 4194304 4196468 140721348439904 140444407249920 140721348618178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16281] ppid=16275 vsize=10661132 memory=447216 CPUtime=10.68 cores=0,2,4,6
/proc/16278/task/16281/stat : 16281 (java) S 16275 16278 15451 0 -1 1077944384 4494 0 0 0 1006 62 0 0 20 0 15 0 99380501 10916999168 111804 33554432000 4194304 4196468 140721348439904 140444359575952 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16282] ppid=16275 vsize=10661132 memory=447216 CPUtime=10.65 cores=0,2,4,6
/proc/16278/task/16282/stat : 16282 (java) S 16275 16278 15451 0 -1 1077944384 4701 0 0 0 998 67 0 0 20 0 15 0 99380501 10916999168 111804 33554432000 4194304 4196468 140721348439904 140444358523152 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16283] ppid=16275 vsize=10661132 memory=447216 CPUtime=10.64 cores=0,2,4,6
/proc/16278/task/16283/stat : 16283 (java) S 16275 16278 15451 0 -1 1077944384 5873 0 0 0 1000 64 0 0 20 0 15 0 99380501 10916999168 111804 33554432000 4194304 4196468 140721348439904 140444007586448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16284] ppid=16275 vsize=10661132 memory=447216 CPUtime=10.66 cores=0,2,4,6
/proc/16278/task/16284/stat : 16284 (java) S 16275 16278 15451 0 -1 1077944384 5234 0 0 0 1001 65 0 0 20 0 15 0 99380501 10916999168 111804 33554432000 4194304 4196468 140721348439904 140444006533648 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16285] ppid=16275 vsize=10661132 memory=445168 CPUtime=10.36 cores=0,2,4,6
/proc/16278/task/16285/stat : 16285 (java) S 16275 16278 15451 0 -1 1077944384 5748 0 0 0 974 62 0 0 20 0 15 0 99380503 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443962632816 140444403034754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16286] ppid=16275 vsize=10661132 memory=445168 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16286/stat : 16286 (java) S 16275 16278 15451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443961578784 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16287] ppid=16275 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16287/stat : 16287 (java) S 16275 16278 15451 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 99380503 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443960526448 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16288] ppid=16275 vsize=10661132 memory=447216 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16288/stat : 16288 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443959474768 140444403042203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16289] ppid=16275 vsize=10661132 memory=447216 CPUtime=1.1 cores=0,2,4,6
/proc/16278/task/16289/stat : 16289 (java) S 16275 16278 15451 0 -1 1077944384 4614 0 0 0 109 1 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443958421616 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16290] ppid=16275 vsize=10661132 memory=447216 CPUtime=0.48 cores=0,2,4,6
/proc/16278/task/16290/stat : 16290 (java) S 16275 16278 15451 0 -1 1077944384 2309 0 0 0 47 1 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443957368816 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16291] ppid=16275 vsize=10661132 memory=1936 CPUtime=0.23 cores=0,2,4,6
/proc/16278/task/16291/stat : 16291 (java) S 16275 16278 15451 0 -1 1077944384 1377 0 0 0 23 0 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443956316528 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16292] ppid=16275 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16278/task/16292/stat : 16292 (java) S 16275 16278 15451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443955263968 140444403033813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
[pid=16278/tid=16293] ppid=16275 vsize=10661132 memory=7528 CPUtime=1.26 cores=0,2,4,6
/proc/16278/task/16293/stat : 16293 (java) S 16275 16278 15451 0 -1 1077944384 1079 0 0 0 66 60 0 0 20 0 15 0 99380506 10916999168 111804 33554432000 4194304 4196468 140721348439904 140443498048432 140444403034754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140721348445304 140721348445449 140721348445449 140721348448207 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 447216 KiB

Child status: 143
Real time (s): 2487.31
CPU time (s): 2520.04
CPU user time (s): 2484.06
CPU system time (s): 35.9801
CPU usage (%): 101.316
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 447216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2484.06
system time used= 35.9801
maximum resident set size= 447332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 315588
involuntary context switches= 6274


# summary of solver processes directly reported to runsolver:
#   pid: 16278
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2484.06
#   total CPU system time (s): 35.9801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3889 second user time and 23.5107 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-29 00:49:33
IDJOB=4299452
IDBENCH=141400
IDSOLVER=2768
FILE ID=node105/4299452-1532818173
RUNJOBID= node105-1532810624-15482
PBS_JOBID= 21022485
Free space on /tmp= 44624 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/Dubois/Dubois-075_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299452-1532818173/watcher-4299452-1532818173 -o /tmp/evaluation-result-4299452-1532818173/solver-4299452-1532818173 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532810624-15482 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4299452-1532818173.xml --timelimit 2520

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

MD5SUM BENCH= 8909e39e4e2640ab20c6938b58673ed4
RANDOM SEED=1668034922

node105.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.32
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.32
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.32
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.32
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:        20283740 kB
MemAvailable:   31746984 kB
Buffers:          271760 kB
Cached:         11330384 kB
SwapCached:            0 kB
Active:          2582804 kB
Inactive:        9257396 kB
Active(anon):     192504 kB
Inactive(anon):    73344 kB
Active(file):    2390300 kB
Inactive(file):  9184052 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2452 kB
Writeback:             0 kB
AnonPages:        226468 kB
Mapped:            55456 kB
Shmem:             25228 kB
Slab:             344868 kB
SReclaimable:     317352 kB
SUnreclaim:        27516 kB
KernelStack:        3824 kB
PageTables:         5772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1155492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44620 MiB
End job on node105 at 2018-07-29 01:31:01