Trace number 4299046

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.12 2517.12

General information on the benchmark

NameQuasigroups_mini/
QuasiGroup-v4-14_mini_c18.xml
MD5SUM51a31a49f0c90aa9d82cc667d8941561
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 benchmark1.25793
Satisfiable
(Un)Satisfiability was proved
Number of variables392
Number of constraints406
Number of domains2
Minimum domain size14
Maximum domain size196
Distribution of domain sizes[{"size":14,"count":196},{"size":196,"count":182}]
Minimum variable degree0
Maximum variable degree186
Distribution of variable degrees[{"degree":0,"count":14},{"degree":2,"count":182},{"degree":185,"count":14},{"degree":186,"count":182}]
Minimum constraint arity1
Maximum constraint arity197
Distribution of constraint arities[{"arity":1,"count":14},{"arity":3,"count":182},{"arity":14,"count":28},{"arity":197,"count":182}]
Number of extensional constraints182
Number of intensional constraints14
Distribution of constraint types[{"type":"extension","count":182},{"type":"intension","count":14},{"type":"allDifferent","count":28},{"type":"element","count":182}]
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.09/2517.11	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 (10011 MiB free)
  memory of node 1: 16384 MiB (11703 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299046-1532798894/watcher-4299046-1532798894 -o /tmp/evaluation-result-4299046-1532798894/solver-4299046-1532798894 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532775878-27710 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4299046-1532798894.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=30484, runsolver pid=30481

[startup+0.100059 s]*
/proc/loadavg: 4.09 3.70 2.65 4/215 30499
/proc/meminfo: memFree=22219556/32770624 swapFree=67108496/67108860
[pid=30484] ppid=30481 vsize=10658972 memory=27644 CPUtime=0.13 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30481 30484 27678 0 -1 1077944320 5298 0 0 0 12 1 0 0 20 0 15 0 97452599 10914787328 6911 33554432000 4194304 4196468 140729219645440 140729219627984 140714137358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
/proc/30484/statm: 2664743 6911 2844 1 0 2627263 0
[pid=30484/tid=30486] ppid=30481 vsize=10658972 memory=-8269626465541329277 CPUtime=0.09 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30481 30484 27678 0 -1 4202560 3144 0 0 0 8 1 0 0 20 0 15 0 97452599 10914787328 6911 33554432000 4194304 4196468 140729219645440 140714141580656 140714116949570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30487] ppid=30481 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10914787328 6911 33554432000 4194304 4196468 140729219645440 140714074049168 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30488] ppid=30481 vsize=10658972 memory=139654491506304 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10914787328 6911 33554432000 4194304 4196468 140729219645440 140714072996368 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30489] ppid=30481 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10914787328 6911 33554432000 4194304 4196468 140729219645440 140714071943568 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30490] ppid=30481 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30481 30484 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97452600 10914787328 6911 33554432000 4194304 4196468 140729219645440 140714070890768 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30491] ppid=30481 vsize=10658972 memory=139654491506304 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30481 30484 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97452601 10914787328 6911 33554432000 4194304 4196468 140729219645440 140713629862768 140714137369218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30492] ppid=30481 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30481 30484 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97452602 10914787328 6911 33554432000 4194304 4196468 140729219645440 140713628808736 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30493] ppid=30481 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30481 30484 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97452602 10914787328 6911 33554432000 4194304 4196468 140729219645440 140713627755888 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30494] ppid=30481 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452604 10914787328 6911 33554432000 4194304 4196468 140729219645440 140713626704208 140714137376667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30495] ppid=30481 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) R 30481 30484 27678 0 -1 4202560 447 0 0 0 0 0 0 0 20 0 15 0 97452604 10914787328 6911 33554432000 4194304 4196468 140729219645440 140713625643216 140714115288672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30496] ppid=30481 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) R 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452604 10914787328 6911 33554432000 4194304 4196468 140729219645440 140713624598864 140714137368277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30497] ppid=30481 vsize=10658972 memory=139654491506304 CPUtime=0.02 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30481 30484 27678 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 15 0 97452604 10914787328 6911 33554432000 4194304 4196468 140729219645440 140713623545968 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30498] ppid=30481 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452605 10914787328 6911 33554432000 4194304 4196468 140729219645440 140713622493408 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30499] ppid=30481 vsize=10658972 memory=139654491506304 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452605 10914787328 6911 33554432000 4194304 4196468 140729219645440 140713621441712 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27644 KiB

[startup+0.21061 s]*
/proc/loadavg: 4.09 3.70 2.65 4/215 30499
/proc/meminfo: memFree=22207304/32770624 swapFree=67108496/67108860
[pid=30484] ppid=30481 vsize=10661056 memory=40536 CPUtime=0.34 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30481 30484 27678 0 -1 1077944320 8215 0 0 0 32 2 0 0 20 0 15 0 97452599 10916921344 10134 33554432000 4194304 4196468 140729219645440 140729219627984 140714137358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
/proc/30484/statm: 2665264 10134 3004 1 0 2627263 0
[pid=30484/tid=30486] ppid=30481 vsize=10661056 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30481 30484 27678 0 -1 4202560 5145 0 0 0 18 1 0 0 20 0 15 0 97452599 10916921344 10134 33554432000 4194304 4196468 140729219645440 140714141580784 140714121438558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30487] ppid=30481 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916921344 10134 33554432000 4194304 4196468 140729219645440 140714074049168 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30488] ppid=30481 vsize=10661056 memory=288370030643218048 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916921344 10134 33554432000 4194304 4196468 140729219645440 140714072996368 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30489] ppid=30481 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916921344 10134 33554432000 4194304 4196468 140729219645440 140714071943568 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30490] ppid=30481 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30481 30484 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97452600 10916921344 10134 33554432000 4194304 4196468 140729219645440 140714070890768 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30491] ppid=30481 vsize=10661056 memory=139654491506304 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30481 30484 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97452601 10916921344 10134 33554432000 4194304 4196468 140729219645440 140713629862768 140714137369218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30492] ppid=30481 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30481 30484 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97452602 10916921344 10134 33554432000 4194304 4196468 140729219645440 140713628808736 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30493] ppid=30481 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30481 30484 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97452602 10916921344 10134 33554432000 4194304 4196468 140729219645440 140713627755888 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30494] ppid=30481 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452604 10916921344 10134 33554432000 4194304 4196468 140729219645440 140713626704208 140714137376667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30495] ppid=30481 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30481 30484 27678 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 15 0 97452604 10916921344 10134 33554432000 4194304 4196468 140729219645440 140713625651568 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30496] ppid=30481 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30481 30484 27678 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 97452604 10916921344 10134 33554432000 4194304 4196468 140729219645440 140713624598768 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30497] ppid=30481 vsize=10661056 memory=139654491506304 CPUtime=0.08 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) R 30481 30484 27678 0 -1 4202560 897 0 0 0 8 0 0 0 20 0 15 0 97452604 10916921344 10134 33554432000 4194304 4196468 140729219645440 140713623541920 140714137370006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30498] ppid=30481 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452605 10916921344 10134 33554432000 4194304 4196468 140729219645440 140713622493408 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30499] ppid=30481 vsize=10661056 memory=139654491506304 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452605 10916921344 10134 33554432000 4194304 4196468 140729219645440 140713621441712 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40536 KiB

[startup+0.310521 s]*
/proc/loadavg: 4.09 3.70 2.65 4/215 30499
/proc/meminfo: memFree=22203024/32770624 swapFree=67108496/67108860
[pid=30484] ppid=30481 vsize=10661132 memory=46944 CPUtime=0.56 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30481 30484 27678 0 -1 1077944320 8824 0 0 0 54 2 0 0 20 0 15 0 97452599 10916999168 11736 33554432000 4194304 4196468 140729219645440 140729219627984 140714137358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
/proc/30484/statm: 2665283 11736 3041 1 0 2627263 0
[pid=30484/tid=30486] ppid=30481 vsize=10661132 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30481 30484 27678 0 -1 4202560 5497 0 0 0 28 1 0 0 20 0 15 0 97452599 10916999168 11736 33554432000 4194304 4196468 140729219645440 140714141593376 140714121438558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30487] ppid=30481 vsize=10661132 memory=288230600429797399 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 11736 33554432000 4194304 4196468 140729219645440 140714074049168 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30488] ppid=30481 vsize=10661132 memory=288370030643218048 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 11736 33554432000 4194304 4196468 140729219645440 140714072996368 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30489] ppid=30481 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 11736 33554432000 4194304 4196468 140729219645440 140714071943568 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30490] ppid=30481 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30481 30484 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 11736 33554432000 4194304 4196468 140729219645440 140714070890768 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30491] ppid=30481 vsize=10661132 memory=139654491506304 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30481 30484 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97452601 10916999168 11736 33554432000 4194304 4196468 140729219645440 140713629862768 140714137369218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30492] ppid=30481 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30481 30484 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 11736 33554432000 4194304 4196468 140729219645440 140713628808736 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30493] ppid=30481 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30481 30484 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 11736 33554432000 4194304 4196468 140729219645440 140713627755888 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30494] ppid=30481 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452604 10916999168 11736 33554432000 4194304 4196468 140729219645440 140713626704208 140714137376667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30495] ppid=30481 vsize=10661132 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) R 30481 30484 27678 0 -1 4202560 572 0 0 0 5 0 0 0 20 0 15 0 97452604 10916999168 11736 33554432000 4194304 4196468 140729219645440 140713625651568 140714120605312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30496] ppid=30481 vsize=10661132 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) R 30481 30484 27678 0 -1 1077944384 379 0 0 0 4 0 0 0 20 0 15 0 97452604 10916999168 11736 33554432000 4194304 4196468 140729219645440 140713624598768 140714137369218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30497] ppid=30481 vsize=10661132 memory=139654491506304 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) R 30481 30484 27678 0 -1 4202560 1010 0 0 0 15 0 0 0 20 0 15 0 97452604 10916999168 11736 33554432000 4194304 4196468 140729219645440 140713623542904 140714116327302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30498] ppid=30481 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452605 10916999168 11736 33554432000 4194304 4196468 140729219645440 140713622493408 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30499] ppid=30481 vsize=10661132 memory=139654491506304 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452605 10916999168 11736 33554432000 4194304 4196468 140729219645440 140713621441712 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46944 KiB

[startup+0.700796 s]
/proc/loadavg: 4.09 3.70 2.65 6/215 30499
/proc/meminfo: memFree=22178952/32770624 swapFree=67108496/67108860
[pid=30484] ppid=30481 vsize=10661132 memory=75728 CPUtime=1.81 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30481 30484 27678 0 -1 1077944320 11967 0 0 0 177 4 0 0 20 0 15 0 97452599 10916999168 18932 33554432000 4194304 4196468 140729219645440 140729219627984 140714137358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
/proc/30484/statm: 2665283 18932 3136 1 0 2627263 0
[pid=30484/tid=30486] ppid=30481 vsize=10661132 memory=1788 CPUtime=0.67 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30481 30484 27678 0 -1 4202560 5777 0 0 0 65 2 0 0 20 0 15 0 97452599 10916999168 18932 33554432000 4194304 4196468 140729219645440 140714141595104 140713752424257 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30487] ppid=30481 vsize=10661132 memory=860 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 18932 33554432000 4194304 4196468 140729219645440 140714074049168 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30488] ppid=30481 vsize=10661132 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 18932 33554432000 4194304 4196468 140729219645440 140714072996368 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30489] ppid=30481 vsize=10661132 memory=756 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 18932 33554432000 4194304 4196468 140729219645440 140714071943568 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30490] ppid=30481 vsize=10661132 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30481 30484 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 18932 33554432000 4194304 4196468 140729219645440 140714070890768 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30491] ppid=30481 vsize=10661132 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30481 30484 27678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97452601 10916999168 18932 33554432000 4194304 4196468 140729219645440 140713629862768 140714137369218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30492] ppid=30481 vsize=10661132 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30481 30484 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 18932 33554432000 4194304 4196468 140729219645440 140713628808736 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30493] ppid=30481 vsize=10661132 memory=6384 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30481 30484 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 18932 33554432000 4194304 4196468 140729219645440 140713627755888 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30494] ppid=30481 vsize=10661132 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452604 10916999168 18932 33554432000 4194304 4196468 140729219645440 140713626704208 140714137376667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30495] ppid=30481 vsize=10661132 memory=7523093115782322283 CPUtime=0.41 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) R 30481 30484 27678 0 -1 4202560 1976 0 0 0 41 0 0 0 20 0 15 0 97452604 10916999168 18932 33554432000 4194304 4196468 140729219645440 140713625637664 140714121750495 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30496] ppid=30481 vsize=10661132 memory=5787213827130353767 CPUtime=0.38 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30481 30484 27678 0 -1 1077944384 1253 0 0 0 38 0 0 0 20 0 15 0 97452604 10916999168 18932 33554432000 4194304 4196468 140729219645440 140713624598768 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30497] ppid=30481 vsize=10661132 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30481 30484 27678 0 -1 1077944384 1590 0 0 0 31 0 0 0 20 0 15 0 97452604 10916999168 18932 33554432000 4194304 4196468 140729219645440 140713623545968 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30498] ppid=30481 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452605 10916999168 18932 33554432000 4194304 4196468 140729219645440 140713622493408 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30499] ppid=30481 vsize=10661132 memory=33 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452605 10916999168 18932 33554432000 4194304 4196468 140729219645440 140713621441712 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 75728 KiB

[startup+1.50065 s]
/proc/loadavg: 4.09 3.70 2.65 3/215 30499
/proc/meminfo: memFree=22170312/32770624 swapFree=67108496/67108860
[pid=30484] ppid=30481 vsize=10661132 memory=79472 CPUtime=2.85 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30481 30484 27678 0 -1 1077944320 13457 0 0 0 281 4 0 0 20 0 15 0 97452599 10916999168 19868 33554432000 4194304 4196468 140729219645440 140729219627984 140714137358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
/proc/30484/statm: 2665283 19868 3138 1 0 2627263 0
[pid=30484/tid=30486] ppid=30481 vsize=10661132 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30481 30484 27678 0 -1 4202560 6100 0 0 0 145 2 0 0 20 0 15 0 97452599 10916999168 19868 33554432000 4194304 4196468 140729219645440 140714141595104 140713752424159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30487] ppid=30481 vsize=10661132 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 19868 33554432000 4194304 4196468 140729219645440 140714074049168 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30488] ppid=30481 vsize=10661132 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 19868 33554432000 4194304 4196468 140729219645440 140714072996368 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30489] ppid=30481 vsize=10661132 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30481 30484 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 19868 33554432000 4194304 4196468 140729219645440 140714071943568 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30490] ppid=30481 vsize=10661132 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30481 30484 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97452600 10916999168 19868 33554432000 4194304 4196468 140729219645440 140714070890768 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30491] ppid=30481 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30481 30484 27678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97452601 10916999168 19868 33554432000 4194304 4196468 140729219645440 140713629862768 140714137369218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0

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

/proc/30484/task/30486/stat : 30486 (java) R 30481 30484 27678 0 -1 4202560 11616 0 0 0 244161 34 0 0 20 0 15 0 97452599 10916999168 32020 33554432000 4194304 4196468 140729219645440 140714141589776 140713752762706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30487] ppid=30481 vsize=10661132 memory=128032 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30481 30484 27678 0 -1 1077944384 2843 0 0 0 13 2 0 0 20 0 15 0 97452600 10916999168 32020 33554432000 4194304 4196468 140729219645440 140714074049168 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30488] ppid=30481 vsize=10661132 memory=128080 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30481 30484 27678 0 -1 1077944384 3638 0 0 0 14 2 0 0 20 0 15 0 97452600 10916999168 32020 33554432000 4194304 4196468 140729219645440 140714072996368 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30489] ppid=30481 vsize=10661132 memory=128080 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30481 30484 27678 0 -1 1077944384 2933 0 0 0 14 1 0 0 20 0 15 0 97452600 10916999168 32020 33554432000 4194304 4196468 140729219645440 140714071943568 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30490] ppid=30481 vsize=10661132 memory=128080 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30481 30484 27678 0 -1 1077944384 2645 0 0 0 14 1 0 0 20 0 15 0 97452600 10916999168 32020 33554432000 4194304 4196468 140729219645440 140714070890768 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30491] ppid=30481 vsize=10661132 memory=128080 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30481 30484 27678 0 -1 1077944384 5693 0 0 0 13 3 0 0 20 0 15 0 97452601 10916999168 32020 33554432000 4194304 4196468 140729219645440 140713629862768 140714137369218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30492] ppid=30481 vsize=10661132 memory=128080 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30481 30484 27678 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 32020 33554432000 4194304 4196468 140729219645440 140713628808736 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30493] ppid=30481 vsize=10661132 memory=128080 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30481 30484 27678 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 32020 33554432000 4194304 4196468 140729219645440 140713627755888 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30494] ppid=30481 vsize=10661132 memory=128080 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452604 10916999168 32020 33554432000 4194304 4196468 140729219645440 140713626704208 140714137376667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30495] ppid=30481 vsize=10661132 memory=3872 CPUtime=1.02 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30481 30484 27678 0 -1 1077944384 8728 0 0 0 101 1 0 0 20 0 15 0 97452604 10916999168 32020 33554432000 4194304 4196468 140729219645440 140713625651568 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30496] ppid=30481 vsize=10661132 memory=128080 CPUtime=0.6 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30481 30484 27678 0 -1 1077944384 3755 0 0 0 59 1 0 0 20 0 15 0 97452604 10916999168 32020 33554432000 4194304 4196468 140729219645440 140713624598768 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30497] ppid=30481 vsize=10661132 memory=128080 CPUtime=0.35 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30481 30484 27678 0 -1 1077944384 2300 0 0 0 35 0 0 0 20 0 15 0 97452604 10916999168 32020 33554432000 4194304 4196468 140729219645440 140713623545968 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30498] ppid=30481 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452605 10916999168 32020 33554432000 4194304 4196468 140729219645440 140713622493408 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30499] ppid=30481 vsize=10661132 memory=928 CPUtime=0.47 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30481 30484 27678 0 -1 1077944384 1760 0 0 0 23 24 0 0 20 0 15 0 97452605 10916999168 32020 33554432000 4194304 4196468 140729219645440 140713621441712 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
Current children cumulated CPU time: 2445.26 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 128080 KiB

[startup+2502.3 s]
/proc/loadavg: 1.82 1.86 1.95 3/215 30675
/proc/meminfo: memFree=27191436/32770624 swapFree=67108496/67108860
[pid=30484] ppid=30481 vsize=10661132 memory=128096 CPUtime=2505.28 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30481 30484 27678 0 -1 1077944320 48223 0 0 0 250460 68 0 0 20 0 15 0 97452599 10916999168 32024 33554432000 4194304 4196468 140729219645440 140729219627984 140714137358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
/proc/30484/statm: 2665283 32024 3170 1 0 2627263 0
[pid=30484/tid=30486] ppid=30481 vsize=10661132 memory=128096 CPUtime=2501.94 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30481 30484 27678 0 -1 4202560 11783 0 0 0 250159 35 0 0 20 0 15 0 97452599 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714141590976 140713752424164 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30487] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30481 30484 27678 0 -1 1077944384 3196 0 0 0 13 2 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714074049168 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30488] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30481 30484 27678 0 -1 1077944384 3651 0 0 0 14 2 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714072996368 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30489] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30481 30484 27678 0 -1 1077944384 2959 0 0 0 15 1 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714071943568 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30490] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30481 30484 27678 0 -1 1077944384 2705 0 0 0 15 1 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714070890768 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30491] ppid=30481 vsize=10661132 memory=3872 CPUtime=0.17 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30481 30484 27678 0 -1 1077944384 5933 0 0 0 14 3 0 0 20 0 15 0 97452601 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713629862768 140714137369218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30492] ppid=30481 vsize=10661132 memory=128096 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30481 30484 27678 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713628808736 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30493] ppid=30481 vsize=10661132 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30481 30484 27678 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713627755888 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30494] ppid=30481 vsize=10661132 memory=128096 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713626704208 140714137376667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30495] ppid=30481 vsize=10661132 memory=3872 CPUtime=1.02 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30481 30484 27678 0 -1 1077944384 8731 0 0 0 101 1 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713625651568 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30496] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.6 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30481 30484 27678 0 -1 1077944384 3757 0 0 0 59 1 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713624598768 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30497] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.35 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30481 30484 27678 0 -1 1077944384 2303 0 0 0 35 0 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713623545968 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30498] ppid=30481 vsize=10661132 memory=128096 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452605 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713622493408 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30499] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.49 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30481 30484 27678 0 -1 1077944384 1785 0 0 0 24 25 0 0 20 0 15 0 97452605 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713621441712 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
Current children cumulated CPU time: 2505.28 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 128096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2517.11 s]
/proc/loadavg: 1.86 1.87 1.95 3/216 30683
/proc/meminfo: memFree=27190212/32770624 swapFree=67108496/67108860
[pid=30484] ppid=30481 vsize=10661132 memory=128096 CPUtime=2520.09 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30481 30484 27678 0 -1 1077944320 48237 0 0 0 251941 68 0 0 20 0 15 0 97452599 10916999168 32024 33554432000 4194304 4196468 140729219645440 140729219627984 140714137358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
/proc/30484/statm: 2665283 32024 3170 1 0 2627263 0
[pid=30484/tid=30486] ppid=30481 vsize=10661132 memory=128096 CPUtime=2516.75 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30481 30484 27678 0 -1 4202560 11790 0 0 0 251640 35 0 0 20 0 15 0 97452599 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714141590256 140713752424159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30487] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30481 30484 27678 0 -1 1077944384 3196 0 0 0 13 2 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714074049168 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30488] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30481 30484 27678 0 -1 1077944384 3653 0 0 0 14 2 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714072996368 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30489] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30481 30484 27678 0 -1 1077944384 2959 0 0 0 15 1 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714071943568 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30490] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30481 30484 27678 0 -1 1077944384 2705 0 0 0 15 1 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714070890768 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30491] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.17 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30481 30484 27678 0 -1 1077944384 5936 0 0 0 14 3 0 0 20 0 15 0 97452601 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713629862768 140714137369218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30492] ppid=30481 vsize=10661132 memory=128096 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30481 30484 27678 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713628808736 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30493] ppid=30481 vsize=10661132 memory=128096 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30481 30484 27678 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713627755888 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30494] ppid=30481 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713626704208 140714137376667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30495] ppid=30481 vsize=10661132 memory=7378981303532738660 CPUtime=1.02 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30481 30484 27678 0 -1 1077944384 8731 0 0 0 101 1 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713625651568 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30496] ppid=30481 vsize=10661132 memory=1132 CPUtime=0.6 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30481 30484 27678 0 -1 1077944384 3757 0 0 0 59 1 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713624598768 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30497] ppid=30481 vsize=10661132 memory=6384 CPUtime=0.35 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30481 30484 27678 0 -1 1077944384 2303 0 0 0 35 0 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713623545968 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30498] ppid=30481 vsize=10661132 memory=-8412652177879177843 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452605 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713622493408 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30499] ppid=30481 vsize=10661132 memory=8514726395714825349 CPUtime=0.49 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30481 30484 27678 0 -1 1077944384 1787 0 0 0 24 25 0 0 20 0 15 0 97452605 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713621441712 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 128096 KiB

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

[startup+2517.12 s]
# the end of solver process 30484 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.43 s, system=0.692082 s

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

[startup+2517.11 s]
/proc/loadavg: 1.86 1.87 1.95 3/216 30683
/proc/meminfo: memFree=27190212/32770624 swapFree=67108496/67108860
[pid=30484] ppid=30481 vsize=10661132 memory=128096 CPUtime=2520.09 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30481 30484 27678 0 -1 1077944320 48237 0 0 0 251941 68 0 0 20 0 15 0 97452599 10916999168 32024 33554432000 4194304 4196468 140729219645440 140729219627984 140714137358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
/proc/30484/statm: 2665283 32024 3170 1 0 2627263 0
[pid=30484/tid=30486] ppid=30481 vsize=10661132 memory=128096 CPUtime=2516.75 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30481 30484 27678 0 -1 4202560 11790 0 0 0 251640 35 0 0 20 0 15 0 97452599 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714141590256 140713752424159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30487] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30481 30484 27678 0 -1 1077944384 3196 0 0 0 13 2 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714074049168 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30488] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30481 30484 27678 0 -1 1077944384 3653 0 0 0 14 2 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714072996368 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30489] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30481 30484 27678 0 -1 1077944384 2959 0 0 0 15 1 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714071943568 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30490] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30481 30484 27678 0 -1 1077944384 2705 0 0 0 15 1 0 0 20 0 15 0 97452600 10916999168 32024 33554432000 4194304 4196468 140729219645440 140714070890768 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30491] ppid=30481 vsize=10661132 memory=128096 CPUtime=0.17 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30481 30484 27678 0 -1 1077944384 5936 0 0 0 14 3 0 0 20 0 15 0 97452601 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713629862768 140714137369218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30492] ppid=30481 vsize=10661132 memory=128096 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30481 30484 27678 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713628808736 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30493] ppid=30481 vsize=10661132 memory=128096 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30481 30484 27678 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 97452602 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713627755888 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30494] ppid=30481 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713626704208 140714137376667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30495] ppid=30481 vsize=10661132 memory=7378981303532738660 CPUtime=1.02 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30481 30484 27678 0 -1 1077944384 8731 0 0 0 101 1 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713625651568 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30496] ppid=30481 vsize=10661132 memory=1132 CPUtime=0.6 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30481 30484 27678 0 -1 1077944384 3757 0 0 0 59 1 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713624598768 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30497] ppid=30481 vsize=10661132 memory=6384 CPUtime=0.35 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30481 30484 27678 0 -1 1077944384 2303 0 0 0 35 0 0 0 20 0 15 0 97452604 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713623545968 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30498] ppid=30481 vsize=10661132 memory=-8412652177879177843 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30481 30484 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97452605 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713622493408 140714137368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
[pid=30484/tid=30499] ppid=30481 vsize=10661132 memory=8514726395714825349 CPUtime=0.49 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30481 30484 27678 0 -1 1077944384 1787 0 0 0 24 25 0 0 20 0 15 0 97452605 10916999168 32024 33554432000 4194304 4196468 140729219645440 140713621441712 140714137369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18280448 140729219650680 140729219650825 140729219650825 140729219653583 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 128096 KiB

Child status: 143
Real time (s): 2517.12
CPU time (s): 2520.12
CPU user time (s): 2519.43
CPU system time (s): 0.692082
CPU usage (%): 100.119
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 200232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.43
system time used= 0.692082
maximum resident set size= 206356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59944
involuntary context switches= 1434


# summary of solver processes directly reported to runsolver:
#   pid: 30484
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2519.43
#   total CPU system time (s): 0.692082

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7979 second user time and 21.9055 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-28 19:28:14
IDJOB=4299046
IDBENCH=141287
IDSOLVER=2768
FILE ID=node149/4299046-1532798894
RUNJOBID= node149-1532775878-27710
PBS_JOBID= 21022467
Free space on /tmp= 43156 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/Quasigroups_mini/QuasiGroup-v4-14_mini_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299046-1532798894/watcher-4299046-1532798894 -o /tmp/evaluation-result-4299046-1532798894/solver-4299046-1532798894 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532775878-27710 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4299046-1532798894.xml --timelimit 2520

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

MD5SUM BENCH= 51a31a49f0c90aa9d82cc667d8941561
RANDOM SEED=1628776475

node149.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.60
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.60
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.60
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.60
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:        22235944 kB
MemAvailable:   26777032 kB
Buffers:          139256 kB
Cached:          4619752 kB
SwapCached:           60 kB
Active:          6798868 kB
Inactive:        3157820 kB
Active(anon):    5147276 kB
Inactive(anon):    78000 kB
Active(file):    1651592 kB
Inactive(file):  3079820 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:               880 kB
Writeback:             8 kB
AnonPages:       5233840 kB
Mapped:            47448 kB
Shmem:             25040 kB
Slab:             267312 kB
SReclaimable:     238136 kB
SUnreclaim:        29176 kB
KernelStack:        3760 kB
PageTables:        15372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6515360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4691968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43256 MiB
End job on node149 at 2018-07-28 20:10:11