Trace number 4298569

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.09 2510.31

General information on the benchmark

NameGracefulGraph/
GracefulGraph-K04-P04_c18.xml
MD5SUMbba9b3428f0c8228a4e28ff2342631fb
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark54.1602
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints38
Number of domains2
Minimum domain size36
Maximum domain size37
Distribution of domain sizes[{"size":36,"count":36},{"size":37,"count":16}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":40},{"degree":2,"count":36},{"degree":5,"count":8},{"degree":6,"count":8}]
Minimum constraint arity3
Maximum constraint arity36
Distribution of constraint arities[{"arity":3,"count":36},{"arity":16,"count":1},{"arity":36,"count":1}]
Number of extensional constraints0
Number of intensional constraints36
Distribution of constraint types[{"type":"intension","count":36},{"type":"allDifferent","count":2}]
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: 2520
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
2520.07/2510.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 (13357 MiB free)
  memory of node 1: 16384 MiB (13929 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298569-1532764622/watcher-4298569-1532764622 -o /tmp/evaluation-result-4298569-1532764622/solver-4298569-1532764622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532740979-19310 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298569-1532764622.xml --timelimit 2520 

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=22278, runsolver pid=22275

[startup+0.100459 s]*
/proc/loadavg: 1.44 1.30 1.32 4/215 22293
/proc/meminfo: memFree=27926184/32770624 swapFree=67108532/67108860
[pid=22278] ppid=22275 vsize=10658972 memory=27632 CPUtime=0.13 cores=1,3,5,7
/proc/22278/stat : 22278 (java) S 22275 22278 19278 0 -1 1077944320 5294 0 0 0 12 1 0 0 20 0 15 0 94025397 10914787328 6908 33554432000 4194304 4196468 140730183382672 140730183365216 140704294223607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
/proc/22278/statm: 2664743 6908 2843 1 0 2627263 0
[pid=22278/tid=22280] ppid=22275 vsize=10658972 memory=-8269626465541460605 CPUtime=0.09 cores=1,3,5,7
/proc/22278/task/22280/stat : 22280 (java) R 22275 22278 19278 0 -1 4202560 3115 0 0 0 9 0 0 0 20 0 15 0 94025398 10914787328 6908 33554432000 4194304 4196468 140730183382672 140704298453088 140704278267237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22281] ppid=22275 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22281/stat : 22281 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10914787328 6908 33554432000 4194304 4196468 140730183382672 140704220297616 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22282] ppid=22275 vsize=10658972 memory=140041424402048 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22282/stat : 22282 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10914787328 6908 33554432000 4194304 4196468 140730183382672 140704219244816 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22283] ppid=22275 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22283/stat : 22283 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10914787328 6908 33554432000 4194304 4196468 140730183382672 140704218192528 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22284] ppid=22275 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22284/stat : 22284 (java) S 22275 22278 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94025398 10914787328 6908 33554432000 4194304 4196468 140730183382672 140704217139728 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22285] ppid=22275 vsize=10658972 memory=140041424402048 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22285/stat : 22285 (java) S 22275 22278 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94025400 10914787328 6908 33554432000 4194304 4196468 140730183382672 140703786015344 140704294234754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22286] ppid=22275 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22286/stat : 22286 (java) S 22275 22278 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94025400 10914787328 6908 33554432000 4194304 4196468 140730183382672 140703784961312 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22287] ppid=22275 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22287/stat : 22287 (java) S 22275 22278 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94025400 10914787328 6908 33554432000 4194304 4196468 140730183382672 140703783908976 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22288] ppid=22275 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22288/stat : 22288 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10914787328 6908 33554432000 4194304 4196468 140730183382672 140703782857296 140704294242203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22289] ppid=22275 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22289/stat : 22289 (java) R 22275 22278 19278 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 94025403 10914787328 6908 33554432000 4194304 4196468 140730183382672 140703781804240 140704294233813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22290] ppid=22275 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22290/stat : 22290 (java) R 22275 22278 19278 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 15 0 94025403 10914787328 6908 33554432000 4194304 4196468 140730183382672 140703780742848 140704279121751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22291] ppid=22275 vsize=10658972 memory=140041424402048 CPUtime=0.02 cores=1,3,5,7
/proc/22278/task/22291/stat : 22291 (java) S 22275 22278 19278 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 94025403 10914787328 6908 33554432000 4194304 4196468 140730183382672 140703779699056 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22292] ppid=22275 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22292/stat : 22292 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10914787328 6908 33554432000 4194304 4196468 140730183382672 140703778646496 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22293] ppid=22275 vsize=10658972 memory=140041424402048 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22293/stat : 22293 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025403 10914787328 6908 33554432000 4194304 4196468 140730183382672 140703777594288 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27632 KiB

[startup+0.21067 s]*
/proc/loadavg: 1.44 1.30 1.32 3/215 22293
/proc/meminfo: memFree=27913780/32770624 swapFree=67108532/67108860
[pid=22278] ppid=22275 vsize=10661132 memory=40624 CPUtime=0.32 cores=1,3,5,7
/proc/22278/stat : 22278 (java) S 22275 22278 19278 0 -1 1077944320 8192 0 0 0 30 2 0 0 20 0 15 0 94025397 10916999168 10156 33554432000 4194304 4196468 140730183382672 140730183365216 140704294223607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
/proc/22278/statm: 2665283 10156 3000 1 0 2627263 0
[pid=22278/tid=22280] ppid=22275 vsize=10661132 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/22278/task/22280/stat : 22280 (java) R 22275 22278 19278 0 -1 4202560 5227 0 0 0 18 1 0 0 20 0 15 0 94025398 10916999168 10156 33554432000 4194304 4196468 140730183382672 140704298455920 140704278304094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22281] ppid=22275 vsize=10661132 memory=364 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22281/stat : 22281 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 10156 33554432000 4194304 4196468 140730183382672 140704220297616 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22282] ppid=22275 vsize=10661132 memory=140041424923209 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22282/stat : 22282 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 10156 33554432000 4194304 4196468 140730183382672 140704219244816 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22283] ppid=22275 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22283/stat : 22283 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 10156 33554432000 4194304 4196468 140730183382672 140704218192528 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22284] ppid=22275 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22284/stat : 22284 (java) S 22275 22278 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 10156 33554432000 4194304 4196468 140730183382672 140704217139728 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22285] ppid=22275 vsize=10661132 memory=140041424402048 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22285/stat : 22285 (java) S 22275 22278 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 10156 33554432000 4194304 4196468 140730183382672 140703786015344 140704294234754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22286] ppid=22275 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22286/stat : 22286 (java) S 22275 22278 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 10156 33554432000 4194304 4196468 140730183382672 140703784961312 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22287] ppid=22275 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22287/stat : 22287 (java) S 22275 22278 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 10156 33554432000 4194304 4196468 140730183382672 140703783908976 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22288] ppid=22275 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22288/stat : 22288 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 10156 33554432000 4194304 4196468 140730183382672 140703782857296 140704294242203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22289] ppid=22275 vsize=10661132 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22278/task/22289/stat : 22289 (java) S 22275 22278 19278 0 -1 1077944384 699 0 0 0 1 0 0 0 20 0 15 0 94025403 10916999168 10156 33554432000 4194304 4196468 140730183382672 140703781804144 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22290] ppid=22275 vsize=10661132 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22278/task/22290/stat : 22290 (java) S 22275 22278 19278 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 15 0 94025403 10916999168 10156 33554432000 4194304 4196468 140730183382672 140703780751344 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22291] ppid=22275 vsize=10661132 memory=140041424402048 CPUtime=0.07 cores=1,3,5,7
/proc/22278/task/22291/stat : 22291 (java) S 22275 22278 19278 0 -1 1077944384 737 0 0 0 7 0 0 0 20 0 15 0 94025403 10916999168 10156 33554432000 4194304 4196468 140730183382672 140703779699056 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22292] ppid=22275 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22292/stat : 22292 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 10156 33554432000 4194304 4196468 140730183382672 140703778646496 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22293] ppid=22275 vsize=10661132 memory=140041424402048 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22293/stat : 22293 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 10156 33554432000 4194304 4196468 140730183382672 140703777594288 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 40624 KiB

[startup+0.310132 s]*
/proc/loadavg: 1.44 1.30 1.32 5/215 22293
/proc/meminfo: memFree=27909128/32770624 swapFree=67108532/67108860
[pid=22278] ppid=22275 vsize=10661132 memory=46160 CPUtime=0.55 cores=1,3,5,7
/proc/22278/stat : 22278 (java) S 22275 22278 19278 0 -1 1077944320 9159 0 0 0 52 3 0 0 20 0 15 0 94025397 10916999168 11540 33554432000 4194304 4196468 140730183382672 140730183365216 140704294223607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
/proc/22278/statm: 2665283 11540 3062 1 0 2627263 0
[pid=22278/tid=22280] ppid=22275 vsize=10661132 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/22278/task/22280/stat : 22280 (java) R 22275 22278 19278 0 -1 4202560 5665 0 0 0 27 2 0 0 20 0 15 0 94025398 10916999168 11540 33554432000 4194304 4196468 140730183382672 140704298459968 140703885708700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22281] ppid=22275 vsize=10661132 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22281/stat : 22281 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 11540 33554432000 4194304 4196468 140730183382672 140704220297616 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22282] ppid=22275 vsize=10661132 memory=140041424923012 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22282/stat : 22282 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 11540 33554432000 4194304 4196468 140730183382672 140704219244816 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22283] ppid=22275 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22283/stat : 22283 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 11540 33554432000 4194304 4196468 140730183382672 140704218192528 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22284] ppid=22275 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22284/stat : 22284 (java) S 22275 22278 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 11540 33554432000 4194304 4196468 140730183382672 140704217139728 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22285] ppid=22275 vsize=10661132 memory=140041424402048 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22285/stat : 22285 (java) S 22275 22278 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 11540 33554432000 4194304 4196468 140730183382672 140703786015344 140704294234754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22286] ppid=22275 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22286/stat : 22286 (java) S 22275 22278 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 11540 33554432000 4194304 4196468 140730183382672 140703784961312 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22287] ppid=22275 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22287/stat : 22287 (java) S 22275 22278 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 11540 33554432000 4194304 4196468 140730183382672 140703783908976 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22288] ppid=22275 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22288/stat : 22288 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 11540 33554432000 4194304 4196468 140730183382672 140703782857296 140704294242203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22289] ppid=22275 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22278/task/22289/stat : 22289 (java) R 22275 22278 19278 0 -1 4202560 888 0 0 0 4 0 0 0 20 0 15 0 94025403 10916999168 11540 33554432000 4194304 4196468 140730183382672 140703781789624 140704271818480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22290] ppid=22275 vsize=10661132 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/22278/task/22290/stat : 22290 (java) R 22275 22278 19278 0 -1 1077944384 282 0 0 0 6 0 0 0 20 0 15 0 94025403 10916999168 11540 33554432000 4194304 4196468 140730183382672 140703780751344 140704294234754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22291] ppid=22275 vsize=10661132 memory=140041424402048 CPUtime=0.13 cores=1,3,5,7
/proc/22278/task/22291/stat : 22291 (java) R 22275 22278 19278 0 -1 4202560 1022 0 0 0 13 0 0 0 20 0 15 0 94025403 10916999168 11540 33554432000 4194304 4196468 140730183382672 140703779695960 140704273138488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22292] ppid=22275 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22292/stat : 22292 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 11540 33554432000 4194304 4196468 140730183382672 140703778646496 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22293] ppid=22275 vsize=10661132 memory=140041424402048 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22293/stat : 22293 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 11540 33554432000 4194304 4196468 140730183382672 140703777594288 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46160 KiB

[startup+0.70082 s]
/proc/loadavg: 1.44 1.30 1.32 5/215 22293
/proc/meminfo: memFree=27887796/32770624 swapFree=67108532/67108860
[pid=22278] ppid=22275 vsize=10661132 memory=84028 CPUtime=1.7 cores=1,3,5,7
/proc/22278/stat : 22278 (java) S 22275 22278 19278 0 -1 1077944320 15684 0 0 0 166 4 0 0 20 0 15 0 94025397 10916999168 21007 33554432000 4194304 4196468 140730183382672 140730183365216 140704294223607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
/proc/22278/statm: 2665283 21007 3100 1 0 2627263 0
[pid=22278/tid=22280] ppid=22275 vsize=10661132 memory=16236 CPUtime=0.67 cores=1,3,5,7
/proc/22278/task/22280/stat : 22280 (java) R 22275 22278 19278 0 -1 4202560 5778 0 0 0 65 2 0 0 20 0 15 0 94025398 10916999168 21007 33554432000 4194304 4196468 140730183382672 140704298458832 140730183813058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22281] ppid=22275 vsize=10661132 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22281/stat : 22281 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 21007 33554432000 4194304 4196468 140730183382672 140704220297616 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22282] ppid=22275 vsize=10661132 memory=640 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22282/stat : 22282 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 21007 33554432000 4194304 4196468 140730183382672 140704219244816 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22283] ppid=22275 vsize=10661132 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22283/stat : 22283 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 21007 33554432000 4194304 4196468 140730183382672 140704218192528 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22284] ppid=22275 vsize=10661132 memory=960 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22284/stat : 22284 (java) S 22275 22278 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 21007 33554432000 4194304 4196468 140730183382672 140704217139728 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22285] ppid=22275 vsize=10661132 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22285/stat : 22285 (java) S 22275 22278 19278 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 21007 33554432000 4194304 4196468 140730183382672 140703786015344 140704294234754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22286] ppid=22275 vsize=10661132 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22286/stat : 22286 (java) S 22275 22278 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 21007 33554432000 4194304 4196468 140730183382672 140703784961312 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22287] ppid=22275 vsize=10661132 memory=928 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22287/stat : 22287 (java) S 22275 22278 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 21007 33554432000 4194304 4196468 140730183382672 140703783908976 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22288] ppid=22275 vsize=10661132 memory=6153431502485415274 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22288/stat : 22288 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 21007 33554432000 4194304 4196468 140730183382672 140703782857296 140704294242203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22289] ppid=22275 vsize=10661132 memory=6081108994580113768 CPUtime=0.39 cores=1,3,5,7
/proc/22278/task/22289/stat : 22289 (java) R 22275 22278 19278 0 -1 4202560 3744 0 0 0 39 0 0 0 20 0 15 0 94025403 10916999168 21007 33554432000 4194304 4196468 140730183382672 140703781789960 140704273469455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22290] ppid=22275 vsize=10661132 memory=6154282490091891024 CPUtime=0.4 cores=1,3,5,7
/proc/22278/task/22290/stat : 22290 (java) R 22275 22278 19278 0 -1 4202560 3405 0 0 0 40 0 0 0 20 0 15 0 94025403 10916999168 21007 33554432000 4194304 4196468 140730183382672 140703780732152 140704272357169 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22291] ppid=22275 vsize=10661132 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/22278/task/22291/stat : 22291 (java) S 22275 22278 19278 0 -1 1077944384 1387 0 0 0 20 0 0 0 20 0 15 0 94025403 10916999168 21007 33554432000 4194304 4196468 140730183382672 140703779699056 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22292] ppid=22275 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22292/stat : 22292 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 21007 33554432000 4194304 4196468 140730183382672 140703778646496 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22293] ppid=22275 vsize=10661132 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22293/stat : 22293 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 21007 33554432000 4194304 4196468 140730183382672 140703777594288 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 84028 KiB

[startup+1.50081 s]
/proc/loadavg: 1.44 1.30 1.32 3/215 22293
/proc/meminfo: memFree=27845988/32770624 swapFree=67108532/67108860
[pid=22278] ppid=22275 vsize=10661132 memory=148732 CPUtime=2.89 cores=1,3,5,7
/proc/22278/stat : 22278 (java) S 22275 22278 19278 0 -1 1077944320 18880 0 0 0 283 6 0 0 20 0 15 0 94025397 10916999168 37183 33554432000 4194304 4196468 140730183382672 140730183365216 140704294223607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
/proc/22278/statm: 2665283 37183 3106 1 0 2627263 0
[pid=22278/tid=22280] ppid=22275 vsize=10661132 memory=132300 CPUtime=1.47 cores=1,3,5,7
/proc/22278/task/22280/stat : 22280 (java) R 22275 22278 19278 0 -1 4202560 6201 0 0 0 143 4 0 0 20 0 15 0 94025398 10916999168 37183 33554432000 4194304 4196468 140730183382672 140704298446208 140703886458790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22281] ppid=22275 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22281/stat : 22281 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 37183 33554432000 4194304 4196468 140730183382672 140704220297616 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22282] ppid=22275 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22282/stat : 22282 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 37183 33554432000 4194304 4196468 140730183382672 140704219244816 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22283] ppid=22275 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22283/stat : 22283 (java) S 22275 22278 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 37183 33554432000 4194304 4196468 140730183382672 140704218192528 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22284] ppid=22275 vsize=10661132 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22284/stat : 22284 (java) S 22275 22278 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94025398 10916999168 37183 33554432000 4194304 4196468 140730183382672 140704217139728 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22285] ppid=22275 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22285/stat : 22285 (java) S 22275 22278 19278 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 37183 33554432000 4194304 4196468 140730183382672 140703786015344 140704294234754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0

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

/proc/22278/task/22280/stat : 22280 (java) R 22275 22278 19278 0 -1 4202560 16844 0 0 0 242090 1427 0 0 20 0 15 0 94025398 10916999168 70582 33554432000 4194304 4196468 140730183382672 140704298442784 140730183813058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22281] ppid=22275 vsize=10661132 memory=282328 CPUtime=2.69 cores=1,3,5,7
/proc/22278/task/22281/stat : 22281 (java) S 22275 22278 19278 0 -1 1077944384 3740 0 0 0 244 25 0 0 20 0 15 0 94025398 10916999168 70582 33554432000 4194304 4196468 140730183382672 140704220297616 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22282] ppid=22275 vsize=10661132 memory=280280 CPUtime=2.69 cores=1,3,5,7
/proc/22278/task/22282/stat : 22282 (java) S 22275 22278 19278 0 -1 1077944384 4121 0 0 0 244 25 0 0 20 0 15 0 94025398 10916999168 70582 33554432000 4194304 4196468 140730183382672 140704219244816 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22283] ppid=22275 vsize=10661132 memory=282328 CPUtime=2.68 cores=1,3,5,7
/proc/22278/task/22283/stat : 22283 (java) S 22275 22278 19278 0 -1 1077944384 3402 0 0 0 245 23 0 0 20 0 15 0 94025398 10916999168 70582 33554432000 4194304 4196468 140730183382672 140704218192528 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22284] ppid=22275 vsize=10661132 memory=282328 CPUtime=2.67 cores=1,3,5,7
/proc/22278/task/22284/stat : 22284 (java) S 22275 22278 19278 0 -1 1077944384 3844 0 0 0 240 27 0 0 20 0 15 0 94025398 10916999168 70582 33554432000 4194304 4196468 140730183382672 140704217139728 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22285] ppid=22275 vsize=10661132 memory=282328 CPUtime=3.45 cores=1,3,5,7
/proc/22278/task/22285/stat : 22285 (java) S 22275 22278 19278 0 -1 1077944384 6192 0 0 0 324 21 0 0 20 0 15 0 94025400 10916999168 70582 33554432000 4194304 4196468 140730183382672 140703786015344 140704294234754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22286] ppid=22275 vsize=10661132 memory=282328 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22286/stat : 22286 (java) S 22275 22278 19278 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 70582 33554432000 4194304 4196468 140730183382672 140703784961312 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22287] ppid=22275 vsize=10661132 memory=282328 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22287/stat : 22287 (java) S 22275 22278 19278 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 70582 33554432000 4194304 4196468 140730183382672 140703783908976 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22288] ppid=22275 vsize=10661132 memory=282328 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22288/stat : 22288 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 70582 33554432000 4194304 4196468 140730183382672 140703782857296 140704294242203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22289] ppid=22275 vsize=10661132 memory=282328 CPUtime=0.63 cores=1,3,5,7
/proc/22278/task/22289/stat : 22289 (java) S 22275 22278 19278 0 -1 1077944384 5530 0 0 0 63 0 0 0 20 0 15 0 94025403 10916999168 70582 33554432000 4194304 4196468 140730183382672 140703781804144 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22290] ppid=22275 vsize=10661132 memory=282328 CPUtime=0.94 cores=1,3,5,7
/proc/22278/task/22290/stat : 22290 (java) S 22275 22278 19278 0 -1 1077944384 7001 0 0 0 93 1 0 0 20 0 15 0 94025403 10916999168 70582 33554432000 4194304 4196468 140730183382672 140703780751344 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22291] ppid=22275 vsize=10661132 memory=282328 CPUtime=0.24 cores=1,3,5,7
/proc/22278/task/22291/stat : 22291 (java) S 22275 22278 19278 0 -1 1077944384 1595 0 0 0 23 1 0 0 20 0 15 0 94025403 10916999168 70582 33554432000 4194304 4196468 140730183382672 140703779699056 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22292] ppid=22275 vsize=10661132 memory=282328 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22292/stat : 22292 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 70582 33554432000 4194304 4196468 140730183382672 140703778646496 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22293] ppid=22275 vsize=10661132 memory=282328 CPUtime=0.55 cores=1,3,5,7
/proc/22278/task/22293/stat : 22293 (java) S 22275 22278 19278 0 -1 1077944384 787 0 0 0 24 31 0 0 20 0 15 0 94025403 10916999168 70582 33554432000 4194304 4196468 140730183382672 140703777594288 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
Current children cumulated CPU time: 2451.79 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 282328 KiB

[startup+2502.3 s]
/proc/loadavg: 1.27 1.30 1.28 3/214 22465
/proc/meminfo: memFree=27670172/32770624 swapFree=67108532/67108860
[pid=22278] ppid=22275 vsize=10661132 memory=284376 CPUtime=2512.05 cores=1,3,5,7
/proc/22278/stat : 22278 (java) S 22275 22278 19278 0 -1 1077944320 55473 0 0 0 249629 1576 0 0 20 0 15 0 94025397 10916999168 71094 33554432000 4194304 4196468 140730183382672 140730183365216 140704294223607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
/proc/22278/statm: 2665283 71094 3136 1 0 2627263 0
[pid=22278/tid=22280] ppid=22275 vsize=10661132 memory=284376 CPUtime=2494.98 cores=1,3,5,7
/proc/22278/task/22280/stat : 22280 (java) R 22275 22278 19278 0 -1 4202560 17139 0 0 0 248041 1457 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704298442448 140730183813058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22281] ppid=22275 vsize=10661132 memory=284376 CPUtime=2.77 cores=1,3,5,7
/proc/22278/task/22281/stat : 22281 (java) S 22275 22278 19278 0 -1 1077944384 3756 0 0 0 252 25 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704220297616 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22282] ppid=22275 vsize=10661132 memory=284376 CPUtime=2.77 cores=1,3,5,7
/proc/22278/task/22282/stat : 22282 (java) S 22275 22278 19278 0 -1 1077944384 4274 0 0 0 252 25 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704219244816 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22283] ppid=22275 vsize=10661132 memory=284376 CPUtime=2.77 cores=1,3,5,7
/proc/22278/task/22283/stat : 22283 (java) S 22275 22278 19278 0 -1 1077944384 3672 0 0 0 253 24 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704218192528 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22284] ppid=22275 vsize=10661132 memory=282328 CPUtime=2.76 cores=1,3,5,7
/proc/22278/task/22284/stat : 22284 (java) S 22275 22278 19278 0 -1 1077944384 3913 0 0 0 248 28 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704217139728 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22285] ppid=22275 vsize=10661132 memory=284376 CPUtime=3.53 cores=1,3,5,7
/proc/22278/task/22285/stat : 22285 (java) S 22275 22278 19278 0 -1 1077944384 6371 0 0 0 332 21 0 0 20 0 15 0 94025400 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703786015344 140704294234754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22286] ppid=22275 vsize=10661132 memory=284376 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22286/stat : 22286 (java) S 22275 22278 19278 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703784961312 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22287] ppid=22275 vsize=10661132 memory=284376 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22287/stat : 22287 (java) S 22275 22278 19278 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703783908976 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22288] ppid=22275 vsize=10661132 memory=284376 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22288/stat : 22288 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703782857296 140704294242203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22289] ppid=22275 vsize=10661132 memory=284376 CPUtime=0.63 cores=1,3,5,7
/proc/22278/task/22289/stat : 22289 (java) S 22275 22278 19278 0 -1 1077944384 5532 0 0 0 63 0 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703781804144 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22290] ppid=22275 vsize=10661132 memory=284376 CPUtime=0.94 cores=1,3,5,7
/proc/22278/task/22290/stat : 22290 (java) S 22275 22278 19278 0 -1 1077944384 7003 0 0 0 93 1 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703780751344 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22291] ppid=22275 vsize=10661132 memory=284376 CPUtime=0.24 cores=1,3,5,7
/proc/22278/task/22291/stat : 22291 (java) S 22275 22278 19278 0 -1 1077944384 1597 0 0 0 23 1 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703779699056 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22292] ppid=22275 vsize=10661132 memory=284376 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22292/stat : 22292 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703778646496 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22293] ppid=22275 vsize=10661132 memory=3868 CPUtime=0.56 cores=1,3,5,7
/proc/22278/task/22293/stat : 22293 (java) S 22275 22278 19278 0 -1 1077944384 801 0 0 0 24 32 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703777594288 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
Current children cumulated CPU time: 2512.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 284376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.3 s]
/proc/loadavg: 1.31 1.31 1.29 3/214 22465
/proc/meminfo: memFree=27670172/32770624 swapFree=67108532/67108860
[pid=22278] ppid=22275 vsize=10661132 memory=284376 CPUtime=2520.07 cores=1,3,5,7
/proc/22278/stat : 22278 (java) S 22275 22278 19278 0 -1 1077944320 55496 0 0 0 250426 1581 0 0 20 0 15 0 94025397 10916999168 71094 33554432000 4194304 4196468 140730183382672 140730183365216 140704294223607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
/proc/22278/statm: 2665283 71094 3136 1 0 2627263 0
[pid=22278/tid=22280] ppid=22275 vsize=10661132 memory=1724 CPUtime=2502.96 cores=1,3,5,7
/proc/22278/task/22280/stat : 22280 (java) R 22275 22278 19278 0 -1 4202560 17158 0 0 0 248834 1462 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704298442448 140703886572784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22281] ppid=22275 vsize=10661132 memory=284376 CPUtime=2.77 cores=1,3,5,7
/proc/22278/task/22281/stat : 22281 (java) S 22275 22278 19278 0 -1 1077944384 3756 0 0 0 252 25 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704220297616 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22282] ppid=22275 vsize=10661132 memory=282328 CPUtime=2.78 cores=1,3,5,7
/proc/22278/task/22282/stat : 22282 (java) S 22275 22278 19278 0 -1 1077944384 4274 0 0 0 253 25 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704219244816 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22283] ppid=22275 vsize=10661132 memory=284376 CPUtime=2.77 cores=1,3,5,7
/proc/22278/task/22283/stat : 22283 (java) S 22275 22278 19278 0 -1 1077944384 3672 0 0 0 253 24 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704218192528 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22284] ppid=22275 vsize=10661132 memory=284376 CPUtime=2.77 cores=1,3,5,7
/proc/22278/task/22284/stat : 22284 (java) S 22275 22278 19278 0 -1 1077944384 3913 0 0 0 249 28 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704217139728 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22285] ppid=22275 vsize=10661132 memory=284376 CPUtime=3.54 cores=1,3,5,7
/proc/22278/task/22285/stat : 22285 (java) S 22275 22278 19278 0 -1 1077944384 6373 0 0 0 333 21 0 0 20 0 15 0 94025400 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703786015344 140704294234754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22286] ppid=22275 vsize=10661132 memory=250116 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22286/stat : 22286 (java) S 22275 22278 19278 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703784961312 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22287] ppid=22275 vsize=10661132 memory=284376 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22287/stat : 22287 (java) S 22275 22278 19278 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703783908976 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22288] ppid=22275 vsize=10661132 memory=284376 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22288/stat : 22288 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703782857296 140704294242203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22289] ppid=22275 vsize=10661132 memory=284376 CPUtime=0.63 cores=1,3,5,7
/proc/22278/task/22289/stat : 22289 (java) S 22275 22278 19278 0 -1 1077944384 5532 0 0 0 63 0 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703781804144 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22290] ppid=22275 vsize=10661132 memory=284376 CPUtime=0.94 cores=1,3,5,7
/proc/22278/task/22290/stat : 22290 (java) S 22275 22278 19278 0 -1 1077944384 7003 0 0 0 93 1 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703780751344 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22291] ppid=22275 vsize=10661132 memory=442 CPUtime=0.24 cores=1,3,5,7
/proc/22278/task/22291/stat : 22291 (java) S 22275 22278 19278 0 -1 1077944384 1597 0 0 0 23 1 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703779699056 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22292] ppid=22275 vsize=10661132 memory=284376 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22292/stat : 22292 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703778646496 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22293] ppid=22275 vsize=10661132 memory=640 CPUtime=0.56 cores=1,3,5,7
/proc/22278/task/22293/stat : 22293 (java) S 22275 22278 19278 0 -1 1077944384 803 0 0 0 24 32 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703777594288 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 284376 KiB

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

[startup+2510.31 s]
# the end of solver process 22278 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2504.27 s, system=15.8148 s

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

[startup+2510.3 s]
/proc/loadavg: 1.31 1.31 1.29 3/214 22465
/proc/meminfo: memFree=27670172/32770624 swapFree=67108532/67108860
[pid=22278] ppid=22275 vsize=10661132 memory=284376 CPUtime=2520.07 cores=1,3,5,7
/proc/22278/stat : 22278 (java) S 22275 22278 19278 0 -1 1077944320 55496 0 0 0 250426 1581 0 0 20 0 15 0 94025397 10916999168 71094 33554432000 4194304 4196468 140730183382672 140730183365216 140704294223607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
/proc/22278/statm: 2665283 71094 3136 1 0 2627263 0
[pid=22278/tid=22280] ppid=22275 vsize=10661132 memory=1724 CPUtime=2502.96 cores=1,3,5,7
/proc/22278/task/22280/stat : 22280 (java) R 22275 22278 19278 0 -1 4202560 17158 0 0 0 248834 1462 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704298442448 140703886572784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22281] ppid=22275 vsize=10661132 memory=284376 CPUtime=2.77 cores=1,3,5,7
/proc/22278/task/22281/stat : 22281 (java) S 22275 22278 19278 0 -1 1077944384 3756 0 0 0 252 25 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704220297616 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22282] ppid=22275 vsize=10661132 memory=282328 CPUtime=2.78 cores=1,3,5,7
/proc/22278/task/22282/stat : 22282 (java) S 22275 22278 19278 0 -1 1077944384 4274 0 0 0 253 25 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704219244816 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22283] ppid=22275 vsize=10661132 memory=284376 CPUtime=2.77 cores=1,3,5,7
/proc/22278/task/22283/stat : 22283 (java) S 22275 22278 19278 0 -1 1077944384 3672 0 0 0 253 24 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704218192528 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22284] ppid=22275 vsize=10661132 memory=284376 CPUtime=2.77 cores=1,3,5,7
/proc/22278/task/22284/stat : 22284 (java) S 22275 22278 19278 0 -1 1077944384 3913 0 0 0 249 28 0 0 20 0 15 0 94025398 10916999168 71094 33554432000 4194304 4196468 140730183382672 140704217139728 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22285] ppid=22275 vsize=10661132 memory=284376 CPUtime=3.54 cores=1,3,5,7
/proc/22278/task/22285/stat : 22285 (java) S 22275 22278 19278 0 -1 1077944384 6373 0 0 0 333 21 0 0 20 0 15 0 94025400 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703786015344 140704294234754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22286] ppid=22275 vsize=10661132 memory=250116 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22286/stat : 22286 (java) S 22275 22278 19278 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703784961312 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22287] ppid=22275 vsize=10661132 memory=284376 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22287/stat : 22287 (java) S 22275 22278 19278 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 94025400 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703783908976 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22288] ppid=22275 vsize=10661132 memory=284376 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22288/stat : 22288 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703782857296 140704294242203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22289] ppid=22275 vsize=10661132 memory=284376 CPUtime=0.63 cores=1,3,5,7
/proc/22278/task/22289/stat : 22289 (java) S 22275 22278 19278 0 -1 1077944384 5532 0 0 0 63 0 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703781804144 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22290] ppid=22275 vsize=10661132 memory=284376 CPUtime=0.94 cores=1,3,5,7
/proc/22278/task/22290/stat : 22290 (java) S 22275 22278 19278 0 -1 1077944384 7003 0 0 0 93 1 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703780751344 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22291] ppid=22275 vsize=10661132 memory=442 CPUtime=0.24 cores=1,3,5,7
/proc/22278/task/22291/stat : 22291 (java) S 22275 22278 19278 0 -1 1077944384 1597 0 0 0 23 1 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703779699056 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22292] ppid=22275 vsize=10661132 memory=284376 CPUtime=0 cores=1,3,5,7
/proc/22278/task/22292/stat : 22292 (java) S 22275 22278 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703778646496 140704294233813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
[pid=22278/tid=22293] ppid=22275 vsize=10661132 memory=640 CPUtime=0.56 cores=1,3,5,7
/proc/22278/task/22293/stat : 22293 (java) S 22275 22278 19278 0 -1 1077944384 803 0 0 0 24 32 0 0 20 0 15 0 94025403 10916999168 71094 33554432000 4194304 4196468 140730183382672 140703777594288 140704294234754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140730183386232 140730183386377 140730183386377 140730183389135 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 284376 KiB

Child status: 143
Real time (s): 2510.31
CPU time (s): 2520.09
CPU user time (s): 2504.27
CPU system time (s): 15.8148
CPU usage (%): 100.389
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 284376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2504.27
system time used= 15.8148
maximum resident set size= 284820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141564
involuntary context switches= 3037


# summary of solver processes directly reported to runsolver:
#   pid: 22278
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2504.27
#   total CPU system time (s): 15.8148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6687 second user time and 22.31 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-28 09:57:02
IDJOB=4298569
IDBENCH=141167
IDSOLVER=2768
FILE ID=node104/4298569-1532764622
RUNJOBID= node104-1532740979-19310
PBS_JOBID= 21022449
Free space on /tmp= 48344 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K04-P04_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298569-1532764622/watcher-4298569-1532764622 -o /tmp/evaluation-result-4298569-1532764622/solver-4298569-1532764622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532740979-19310 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4298569-1532764622.xml --timelimit 2520

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

MD5SUM BENCH= bba9b3428f0c8228a4e28ff2342631fb
RANDOM SEED=785200018

node104.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.11
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.11
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.11
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.11
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:        27942052 kB
MemAvailable:   31762600 kB
Buffers:          146044 kB
Cached:          3927048 kB
SwapCached:           12 kB
Active:          2102676 kB
Inactive:        2213576 kB
Active(anon):     197748 kB
Inactive(anon):    73040 kB
Active(file):    1904928 kB
Inactive(file):  2140536 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108532 kB
Dirty:              1236 kB
Writeback:             0 kB
AnonPages:        250260 kB
Mapped:            52172 kB
Shmem:             25060 kB
Slab:             210180 kB
SReclaimable:     181836 kB
SUnreclaim:        28344 kB
KernelStack:        3552 kB
PageTables:         5832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1138784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48344 MiB
End job on node104 at 2018-07-28 10:38:53