Trace number 4296063

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13? (TO) 2527.99 754.585

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-m2s-4-0_c18.xml
MD5SUMb10759bd497fea2437fd7a4bc018387a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark168
Best CPU time to get the best result obtained on this benchmark2519.91
Satisfiable
(Un)Satisfiability was proved
Number of variables22422
Number of constraints24975
Number of domains4
Minimum domain size2
Maximum domain size111
Distribution of domain sizes[{"size":2,"count":22089},{"size":10,"count":111},{"size":37,"count":111},{"size":111,"count":111}]
Minimum variable degree2
Maximum variable degree222
Distribution of variable degrees[{"degree":2,"count":20424},{"degree":3,"count":1443},{"degree":4,"count":222},{"degree":5,"count":222},{"degree":222,"count":111}]
Minimum constraint arity2
Maximum constraint arity112
Distribution of constraint arities[{"arity":2,"count":24753},{"arity":88,"count":111},{"arity":112,"count":111}]
Number of extensional constraints111
Number of intensional constraints24642
Distribution of constraint types[{"type":"extension","count":111},{"type":"intension","count":24642},{"type":"sum","count":222}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.74	c Concrete v3.8.1528841891564 running
72.40/41.58	o 220

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296063-1532609923/watcher-4296063-1532609923 -o /tmp/evaluation-result-4296063-1532609923/solver-4296063-1532609923 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532582651-32591 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=80956515 -superng HOME/instance-4296063-1532609923.xml 

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

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

solver pid=4911, runsolver pid=4908

[startup+0.100199 s]*
/proc/loadavg: 1.94 1.96 1.95 3/206 4968
/proc/meminfo: memFree=15263640/32770624 swapFree=67108796/67108860
[pid=4911] ppid=4908 vsize=9972712 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/4911/stat : 4911 (java) S 4908 4911 32560 0 -1 1077944320 4210 13239 0 0 1 0 5 2 20 0 6 0 78555534 10212057088 4582 33554432000 4194304 4196468 140735961069568 140735961052112 139818023247607 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
/proc/4911/statm: 2493178 4582 1930 1 0 2481616 0
[pid=4911/tid=4964] ppid=4908 vsize=9972712 memory=-8171376296011865461 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4964/stat : 4964 (java) R 4908 4911 32560 0 -1 4202560 2042 13239 0 0 0 0 5 2 20 0 6 0 78555543 10212057088 4582 33554432000 4194304 4196468 140735961069568 139817995084368 139818008930099 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4965] ppid=4908 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4965/stat : 4965 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 6 0 78555544 10212057088 4582 33554432000 4194304 4196468 140735961069568 139818027489552 139818023257813 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4966] ppid=4908 vsize=9972712 memory=139648499926656 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4966/stat : 4966 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 6 0 78555544 10212057088 4582 33554432000 4194304 4196468 140735961069568 139817915763088 139818023257813 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4967] ppid=4908 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4967/stat : 4967 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 6 0 78555544 10212057088 4582 33554432000 4194304 4196468 140735961069568 139817914710544 139818023257813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4968] ppid=4908 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4968/stat : 4968 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 6 0 78555544 10212057088 4582 33554432000 4194304 4196468 140735961069568 139817913658000 139818023257813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210064 s]*
/proc/loadavg: 1.94 1.96 1.95 3/215 4977
/proc/meminfo: memFree=15238092/32770624 swapFree=67108796/67108860
[pid=4911] ppid=4908 vsize=10818904 memory=46388 CPUtime=0.25 cores=0,2,4,6
/proc/4911/stat : 4911 (java) S 4908 4911 32560 0 -1 1077944320 7816 13239 0 0 17 1 5 2 20 0 15 0 78555534 11078557696 11597 33554432000 4194304 4196468 140735961069568 140735961052112 139818023247607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
/proc/4911/statm: 2704726 11597 2962 1 0 2667149 0
[pid=4911/tid=4964] ppid=4908 vsize=10818904 memory=-8171376296011865461 CPUtime=0.18 cores=0,2,4,6
/proc/4911/task/4964/stat : 4964 (java) D 4908 4911 32560 0 -1 1077944384 5097 13239 0 0 10 1 5 2 20 0 15 0 78555543 11078557696 11648 33554432000 4194304 4196468 140735961069568 139817995072416 139818015926829 0 4 0 16800975 18446744072101629476 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4965] ppid=4908 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4965/stat : 4965 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 15 0 78555544 11078557696 11648 33554432000 4194304 4196468 140735961069568 139818027489552 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4966] ppid=4908 vsize=10818904 memory=139648499926656 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4966/stat : 4966 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555544 11078557696 11648 33554432000 4194304 4196468 140735961069568 139817915763088 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4967] ppid=4908 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4967/stat : 4967 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555544 11078557696 11648 33554432000 4194304 4196468 140735961069568 139817914710544 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4968] ppid=4908 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4968/stat : 4968 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555544 11078557696 11648 33554432000 4194304 4196468 140735961069568 139817913658000 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4969] ppid=4908 vsize=10818904 memory=139648499926656 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4969/stat : 4969 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 15 0 78555546 11078557696 11648 33554432000 4194304 4196468 140735961069568 139817482406384 139818023258754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4970] ppid=4908 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4970/stat : 4970 (java) S 4908 4911 32560 0 -1 1077944384 33 13239 0 0 0 0 5 2 20 0 15 0 78555546 11078557696 11648 33554432000 4194304 4196468 140735961069568 139817481352608 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4971] ppid=4908 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4971/stat : 4971 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555546 11078590464 11648 33554432000 4194304 4196468 140735961069568 139817358714352 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4972] ppid=4908 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4972/stat : 4972 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 15 0 78555549 11078590464 11648 33554432000 4194304 4196468 140735961069568 139816754735824 139818023266203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4973] ppid=4908 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4911/task/4973/stat : 4973 (java) S 4908 4911 32560 0 -1 1077944384 541 13239 0 0 1 0 5 2 20 0 15 0 78555549 11078590464 11648 33554432000 4194304 4196468 140735961069568 139817447794672 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4974] ppid=4908 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4974/stat : 4974 (java) S 4908 4911 32560 0 -1 1077944384 54 13239 0 0 0 0 5 2 20 0 15 0 78555549 11078590464 11713 33554432000 4194304 4196468 140735961069568 139817446742128 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4975] ppid=4908 vsize=10818936 memory=139648499926656 CPUtime=0.1 cores=0,2,4,6
/proc/4911/task/4975/stat : 4975 (java) S 4908 4911 32560 0 -1 1077944384 547 13239 0 0 3 0 5 2 20 0 15 0 78555549 11078590464 11713 33554432000 4194304 4196468 140735961069568 139817445689584 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4976] ppid=4908 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4976/stat : 4976 (java) S 4908 4911 32560 0 -1 1077944384 3 13239 0 0 0 0 5 2 20 0 15 0 78555549 11078590464 11713 33554432000 4194304 4196468 140735961069568 139816284973664 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4977] ppid=4908 vsize=10818936 memory=139648499926656 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4977/stat : 4977 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555549 11078590464 11779 33554432000 4194304 4196468 140735961069568 139817444637488 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 46388 KiB

[startup+0.310394 s]*
/proc/loadavg: 1.94 1.96 1.95 3/215 4977
/proc/meminfo: memFree=15225440/32770624 swapFree=67108796/67108860
[pid=4911] ppid=4908 vsize=10819352 memory=57052 CPUtime=0.37 cores=0,2,4,6
/proc/4911/stat : 4911 (java) S 4908 4911 32560 0 -1 1077944320 10312 13239 0 0 28 2 5 2 20 0 15 0 78555534 11079016448 14263 33554432000 4194304 4196468 140735961069568 140735961052112 139818023247607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
/proc/4911/statm: 2704838 14263 3081 1 0 2667149 0
[pid=4911/tid=4964] ppid=4908 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/4911/task/4964/stat : 4964 (java) R 4908 4911 32560 0 -1 4202560 6949 13239 0 0 19 2 5 2 20 0 15 0 78555543 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817995059616 139818023269533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4965] ppid=4908 vsize=10819352 memory=8514701219931451533 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4965/stat : 4965 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 15 0 78555544 11079016448 14263 33554432000 4194304 4196468 140735961069568 139818027489552 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4966] ppid=4908 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4966/stat : 4966 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555544 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817915763088 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4967] ppid=4908 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4967/stat : 4967 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555544 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817914710544 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4968] ppid=4908 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4968/stat : 4968 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555544 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817913658000 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4969] ppid=4908 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4969/stat : 4969 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 15 0 78555546 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817482406384 139818023258754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4970] ppid=4908 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4970/stat : 4970 (java) S 4908 4911 32560 0 -1 1077944384 33 13239 0 0 0 0 5 2 20 0 15 0 78555546 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817481352608 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4971] ppid=4908 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4971/stat : 4971 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555546 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817358714352 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4972] ppid=4908 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4972/stat : 4972 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 15 0 78555549 11079016448 14263 33554432000 4194304 4196468 140735961069568 139816754735824 139818023266203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4973] ppid=4908 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4911/task/4973/stat : 4973 (java) S 4908 4911 32560 0 -1 1077944384 542 13239 0 0 2 0 5 2 20 0 15 0 78555549 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817447794672 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4974] ppid=4908 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4911/task/4974/stat : 4974 (java) S 4908 4911 32560 0 -1 1077944384 54 13239 0 0 1 0 5 2 20 0 15 0 78555549 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817446742128 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4975] ppid=4908 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4911/task/4975/stat : 4975 (java) R 4908 4911 32560 0 -1 4202560 553 13239 0 0 5 0 5 2 20 0 15 0 78555549 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817445689584 139818002028440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4976] ppid=4908 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4976/stat : 4976 (java) S 4908 4911 32560 0 -1 1077944384 3 13239 0 0 0 0 5 2 20 0 15 0 78555549 11079016448 14263 33554432000 4194304 4196468 140735961069568 139816284973664 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4977] ppid=4908 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4977/stat : 4977 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555549 11079016448 14263 33554432000 4194304 4196468 140735961069568 139817444637488 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57052 KiB

[startup+0.700807 s]
/proc/loadavg: 1.94 1.96 1.95 3/215 4977
/proc/meminfo: memFree=15215452/32770624 swapFree=67108796/67108860
[pid=4911] ppid=4908 vsize=10819352 memory=89300 CPUtime=0.98 cores=0,2,4,6
/proc/4911/stat : 4911 (java) S 4908 4911 32560 0 -1 1077944320 16405 13239 0 0 87 4 5 2 20 0 15 0 78555534 11079016448 22325 33554432000 4194304 4196468 140735961069568 140735961052112 139818023247607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
/proc/4911/statm: 2704838 22325 3238 1 0 2667149 0
[pid=4911/tid=4964] ppid=4908 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/4911/task/4964/stat : 4964 (java) R 4908 4911 32560 0 -1 4202560 11909 13239 0 0 56 3 5 2 20 0 15 0 78555543 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817995068432 139818003523459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4965] ppid=4908 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4965/stat : 4965 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 15 0 78555544 11079016448 22325 33554432000 4194304 4196468 140735961069568 139818027489552 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4966] ppid=4908 vsize=10819352 memory=7886766292050524213 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4966/stat : 4966 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555544 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817915763088 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4967] ppid=4908 vsize=10819352 memory=5860705218891763792 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4967/stat : 4967 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555544 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817914710544 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4968] ppid=4908 vsize=10819352 memory=6226596351323422817 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4968/stat : 4968 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555544 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817913658000 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4969] ppid=4908 vsize=10819352 memory=2319389199337275488 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4969/stat : 4969 (java) S 4908 4911 32560 0 -1 1077944384 5 13239 0 0 0 0 5 2 20 0 15 0 78555546 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817482406384 139818023258754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4970] ppid=4908 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4970/stat : 4970 (java) S 4908 4911 32560 0 -1 1077944384 33 13239 0 0 0 0 5 2 20 0 15 0 78555546 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817481352608 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4971] ppid=4908 vsize=10819352 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4971/stat : 4971 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555546 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817358714352 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4972] ppid=4908 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4972/stat : 4972 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 15 0 78555549 11079016448 22325 33554432000 4194304 4196468 140735961069568 139816754735824 139818023266203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4973] ppid=4908 vsize=10819352 memory=2244 CPUtime=0.17 cores=0,2,4,6
/proc/4911/task/4973/stat : 4973 (java) S 4908 4911 32560 0 -1 1077944384 1206 13239 0 0 10 0 5 2 20 0 15 0 78555549 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817447794672 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4974] ppid=4908 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/4911/task/4974/stat : 4974 (java) S 4908 4911 32560 0 -1 1077944384 452 13239 0 0 7 0 5 2 20 0 15 0 78555549 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817446742128 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4975] ppid=4908 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/4911/task/4975/stat : 4975 (java) S 4908 4911 32560 0 -1 1077944384 601 13239 0 0 13 0 5 2 20 0 15 0 78555549 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817445689584 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4976] ppid=4908 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4976/stat : 4976 (java) S 4908 4911 32560 0 -1 1077944384 3 13239 0 0 0 0 5 2 20 0 15 0 78555549 11079016448 22325 33554432000 4194304 4196468 140735961069568 139816284973664 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4977] ppid=4908 vsize=10819352 memory=30305 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4977/stat : 4977 (java) S 4908 4911 32560 0 -1 1077944384 1 13239 0 0 0 0 5 2 20 0 15 0 78555549 11079016448 22325 33554432000 4194304 4196468 140735961069568 139817444637488 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 89300 KiB

[startup+1.50156 s]
/proc/loadavg: 1.94 1.96 1.95 3/215 4977
/proc/meminfo: memFree=15170980/32770624 swapFree=67108796/67108860
[pid=4911] ppid=4908 vsize=10828108 memory=240360 CPUtime=3.05 cores=0,2,4,6
/proc/4911/stat : 4911 (java) S 4908 4911 32560 0 -1 1077944320 22797 13239 0 0 287 11 5 2 20 0 15 0 78555534 11087982592 60090 33554432000 4194304 4196468 140735961069568 140735961052112 139818023247607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
/proc/4911/statm: 2707027 60090 3473 1 0 2668685 0
[pid=4911/tid=4964] ppid=4908 vsize=10828108 memory=124 CPUtime=1.42 cores=0,2,4,6
/proc/4911/task/4964/stat : 4964 (java) R 4908 4911 32560 0 -1 4202560 14839 13239 0 0 130 5 5 2 20 0 15 0 78555543 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817995080976 139817581197963 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4965] ppid=4908 vsize=10828108 memory=78 CPUtime=0.08 cores=0,2,4,6
/proc/4911/task/4965/stat : 4965 (java) S 4908 4911 32560 0 -1 1077944384 109 13239 0 0 1 0 5 2 20 0 15 0 78555544 11087982592 60090 33554432000 4194304 4196468 140735961069568 139818027489552 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4966] ppid=4908 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4966/stat : 4966 (java) S 4908 4911 32560 0 -1 1077944384 7 13239 0 0 0 0 5 2 20 0 15 0 78555544 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817915763088 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4967] ppid=4908 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4911/task/4967/stat : 4967 (java) S 4908 4911 32560 0 -1 1077944384 210 13239 0 0 1 0 5 2 20 0 15 0 78555544 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817914710544 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4968] ppid=4908 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4968/stat : 4968 (java) S 4908 4911 32560 0 -1 1077944384 12 13239 0 0 0 0 5 2 20 0 15 0 78555544 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817913658000 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4969] ppid=4908 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4969/stat : 4969 (java) S 4908 4911 32560 0 -1 1077944384 96 13239 0 0 0 0 5 2 20 0 15 0 78555546 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817482406384 139818023258754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4970] ppid=4908 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4970/stat : 4970 (java) S 4908 4911 32560 0 -1 1077944384 54 13239 0 0 0 0 5 2 20 0 15 0 78555546 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817481352608 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4971] ppid=4908 vsize=10828108 memory=-7591201286991560646 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4971/stat : 4971 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 15 0 78555546 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817358714352 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4972] ppid=4908 vsize=10828108 memory=-2127763225521446903 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4972/stat : 4972 (java) S 4908 4911 32560 0 -1 1077944384 2 13239 0 0 0 0 5 2 20 0 15 0 78555549 11087982592 60090 33554432000 4194304 4196468 140735961069568 139816754735824 139818023266203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4973] ppid=4908 vsize=10828108 memory=-2897801490638248331 CPUtime=0.63 cores=0,2,4,6
/proc/4911/task/4973/stat : 4973 (java) R 4908 4911 32560 0 -1 4202560 1952 13239 0 0 56 0 5 2 20 0 15 0 78555549 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817447783936 139818006742092 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4974] ppid=4908 vsize=10828108 memory=-6580140067900253848 CPUtime=0.63 cores=0,2,4,6
/proc/4911/task/4974/stat : 4974 (java) R 4908 4911 32560 0 -1 4202560 2027 13239 0 0 55 1 5 2 20 0 15 0 78555549 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817446727120 139818003883287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4975] ppid=4908 vsize=10828108 memory=-2746958450906831519 CPUtime=0.46 cores=0,2,4,6
/proc/4911/task/4975/stat : 4975 (java) R 4908 4911 32560 0 -1 1077944384 1292 13239 0 0 39 0 5 2 20 0 15 0 78555549 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817445689584 139818023258754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4976] ppid=4908 vsize=10828108 memory=64 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4976/stat : 4976 (java) S 4908 4911 32560 0 -1 1077944384 3 13239 0 0 0 0 5 2 20 0 15 0 78555549 11087982592 60090 33554432000 4194304 4196468 140735961069568 139816284973664 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4977] ppid=4908 vsize=10828108 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4977/stat : 4977 (java) S 4908 4911 32560 0 -1 1077944384 5 13239 0 0 0 0 5 2 20 0 15 0 78555549 11087982592 60090 33554432000 4194304 4196468 140735961069568 139817444637488 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 10828108 KiB

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


[startup+754.585 s]
# the end of solver process 4911 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.18 s, system=8.80766 s

Solver just ended.
Dumping a history of the last processes samples

[startup+753.601 s]
/proc/loadavg: 5.10 4.45 3.31 7/216 5154
/proc/meminfo: memFree=7283124/32770624 swapFree=67108796/67108860
[pid=4911] ppid=4908 vsize=10852704 memory=8385504 CPUtime=2524.38 cores=0,2,4,6
/proc/4911/stat : 4911 (java) S 4908 4911 32560 0 -1 1077944320 1944660 13239 0 0 251560 871 5 2 20 0 15 0 78555534 11113168896 2096376 33554432000 4194304 4196468 140735961069568 140735961052112 139818023247607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
/proc/4911/statm: 2713176 2096376 3547 1 0 2674829 0
[pid=4911/tid=4964] ppid=4908 vsize=10852704 memory=8385504 CPUtime=159.7 cores=0,2,4,6
/proc/4911/task/4964/stat : 4964 (java) S 4908 4911 32560 0 -1 1077944384 89490 13239 0 0 15912 51 5 2 20 0 15 0 78555543 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817995084224 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4965] ppid=4908 vsize=10852704 memory=3708 CPUtime=580.31 cores=0,2,4,6
/proc/4911/task/4965/stat : 4965 (java) R 4908 4911 32560 0 -1 4202560 559045 13239 0 0 57811 213 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139818027489440 139818008243959 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4966] ppid=4908 vsize=10852704 memory=8112282956445269571 CPUtime=581.3 cores=0,2,4,6
/proc/4911/task/4966/stat : 4966 (java) R 4908 4911 32560 0 -1 4202560 341227 13239 0 0 57925 198 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817915763288 139818007705198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4967] ppid=4908 vsize=10852704 memory=23200 CPUtime=582.12 cores=0,2,4,6
/proc/4911/task/4967/stat : 4967 (java) R 4908 4911 32560 0 -1 4202560 277128 13239 0 0 58021 184 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817914710744 139818007946445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4968] ppid=4908 vsize=10852704 memory=2088 CPUtime=581.37 cores=0,2,4,6
/proc/4911/task/4968/stat : 4968 (java) R 4908 4911 32560 0 -1 4202560 215356 13239 0 0 57949 181 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817913658200 139818007705198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4969] ppid=4908 vsize=10852704 memory=1040 CPUtime=5.32 cores=0,2,4,6
/proc/4911/task/4969/stat : 4969 (java) S 4908 4911 32560 0 -1 1077944384 363312 13239 0 0 507 18 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817482404928 139818023257813 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4970] ppid=4908 vsize=10852704 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4970/stat : 4970 (java) S 4908 4911 32560 0 -1 1077944384 69 13239 0 0 0 0 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817481352672 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4971] ppid=4908 vsize=10852704 memory=5024 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4971/stat : 4971 (java) S 4908 4911 32560 0 -1 1077944384 5 13239 0 0 0 0 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817358714368 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4972] ppid=4908 vsize=10852704 memory=4032 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4972/stat : 4972 (java) S 4908 4911 32560 0 -1 1077944384 4 13239 0 0 0 0 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139816754735472 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4973] ppid=4908 vsize=10852704 memory=1284 CPUtime=15.07 cores=0,2,4,6
/proc/4911/task/4973/stat : 4973 (java) S 4908 4911 32560 0 -1 1077944384 40021 13239 0 0 1495 5 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817447794672 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4974] ppid=4908 vsize=10852704 memory=1088 CPUtime=15.59 cores=0,2,4,6
/proc/4911/task/4974/stat : 4974 (java) S 4908 4911 32560 0 -1 1077944384 39411 13239 0 0 1544 8 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817446742128 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4975] ppid=4908 vsize=10852704 memory=288230574492221466 CPUtime=3.5 cores=0,2,4,6
/proc/4911/task/4975/stat : 4975 (java) S 4908 4911 32560 0 -1 1077944384 16636 13239 0 0 337 6 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817445689584 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4976] ppid=4908 vsize=10852704 memory=288230621803970871 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4976/stat : 4976 (java) S 4908 4911 32560 0 -1 1077944384 3 13239 0 0 0 0 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139816284973664 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4977] ppid=4908 vsize=10852704 memory=14417003460954435 CPUtime=0.63 cores=0,2,4,6
/proc/4911/task/4977/stat : 4977 (java) S 4908 4911 32560 0 -1 1077944384 764 13239 0 0 32 24 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817444637488 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
Current children cumulated CPU time: 2524.38 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 8385504 KiB

[startup+754.001 s]*
/proc/loadavg: 5.10 4.45 3.31 6/216 5154
/proc/meminfo: memFree=7283124/32770624 swapFree=67108796/67108860
[pid=4911] ppid=4908 vsize=10852704 memory=8385504 CPUtime=2526 cores=0,2,4,6
/proc/4911/stat : 4911 (java) S 4908 4911 32560 0 -1 1077944320 1944660 13239 0 0 251722 871 5 2 20 0 15 0 78555534 11113168896 2096376 33554432000 4194304 4196468 140735961069568 140735961052112 139818023247607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
/proc/4911/statm: 2713176 2096376 3547 1 0 2674829 0
[pid=4911/tid=4964] ppid=4908 vsize=10852704 memory=6935054825532540783 CPUtime=159.7 cores=0,2,4,6
/proc/4911/task/4964/stat : 4964 (java) S 4908 4911 32560 0 -1 1077944384 89490 13239 0 0 15912 51 5 2 20 0 15 0 78555543 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817995084224 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4965] ppid=4908 vsize=10852704 memory=916 CPUtime=580.71 cores=0,2,4,6
/proc/4911/task/4965/stat : 4965 (java) R 4908 4911 32560 0 -1 4202560 559045 13239 0 0 57851 213 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139818027489440 139818008244011 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4966] ppid=4908 vsize=10852704 memory=3848 CPUtime=581.7 cores=0,2,4,6
/proc/4911/task/4966/stat : 4966 (java) R 4908 4911 32560 0 -1 4202560 341227 13239 0 0 57965 198 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817915763288 139818007946366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4967] ppid=4908 vsize=10852704 memory=2600 CPUtime=582.53 cores=0,2,4,6
/proc/4911/task/4967/stat : 4967 (java) R 4908 4911 32560 0 -1 4202560 277128 13239 0 0 58062 184 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817914710744 139818008244014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4968] ppid=4908 vsize=10852704 memory=2600 CPUtime=581.78 cores=0,2,4,6
/proc/4911/task/4968/stat : 4968 (java) R 4908 4911 32560 0 -1 4202560 215356 13239 0 0 57990 181 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817913658200 139818008244188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4969] ppid=4908 vsize=10852704 memory=6935054825532540783 CPUtime=5.32 cores=0,2,4,6
/proc/4911/task/4969/stat : 4969 (java) S 4908 4911 32560 0 -1 1077944384 363312 13239 0 0 507 18 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817482404928 139818023257813 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4970] ppid=4908 vsize=10852704 memory=2784 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4970/stat : 4970 (java) S 4908 4911 32560 0 -1 1077944384 69 13239 0 0 0 0 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817481352672 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4971] ppid=4908 vsize=10852704 memory=1542448 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4971/stat : 4971 (java) S 4908 4911 32560 0 -1 1077944384 5 13239 0 0 0 0 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817358714368 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4972] ppid=4908 vsize=10852704 memory=1692 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4972/stat : 4972 (java) S 4908 4911 32560 0 -1 1077944384 4 13239 0 0 0 0 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139816754735472 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4973] ppid=4908 vsize=10852704 memory=916 CPUtime=15.07 cores=0,2,4,6
/proc/4911/task/4973/stat : 4973 (java) S 4908 4911 32560 0 -1 1077944384 40021 13239 0 0 1495 5 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817447794672 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4974] ppid=4908 vsize=10852704 memory=3848 CPUtime=15.59 cores=0,2,4,6
/proc/4911/task/4974/stat : 4974 (java) S 4908 4911 32560 0 -1 1077944384 39411 13239 0 0 1544 8 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817446742128 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4975] ppid=4908 vsize=10852704 memory=2600 CPUtime=3.5 cores=0,2,4,6
/proc/4911/task/4975/stat : 4975 (java) S 4908 4911 32560 0 -1 1077944384 16636 13239 0 0 337 6 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817445689584 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4976] ppid=4908 vsize=10852704 memory=2600 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4976/stat : 4976 (java) S 4908 4911 32560 0 -1 1077944384 3 13239 0 0 0 0 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139816284973664 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4977] ppid=4908 vsize=10852704 memory=3708 CPUtime=0.63 cores=0,2,4,6
/proc/4911/task/4977/stat : 4977 (java) S 4908 4911 32560 0 -1 1077944384 764 13239 0 0 32 24 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817444637488 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
Current children cumulated CPU time: 2526 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 8385504 KiB

[startup+754.401 s]
/proc/loadavg: 5.10 4.45 3.31 6/216 5154
/proc/meminfo: memFree=7283124/32770624 swapFree=67108796/67108860
[pid=4911] ppid=4908 vsize=10852704 memory=8385504 CPUtime=2527.57 cores=0,2,4,6
/proc/4911/stat : 4911 (java) S 4908 4911 32560 0 -1 1077944320 1944660 13239 0 0 251878 872 5 2 20 0 15 0 78555534 11113168896 2096376 33554432000 4194304 4196468 140735961069568 140735961052112 139818023247607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
/proc/4911/statm: 2713176 2096376 3547 1 0 2674829 0
[pid=4911/tid=4964] ppid=4908 vsize=10852704 memory=4032 CPUtime=159.7 cores=0,2,4,6
/proc/4911/task/4964/stat : 4964 (java) S 4908 4911 32560 0 -1 1077944384 89490 13239 0 0 15912 51 5 2 20 0 15 0 78555543 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817995084224 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4965] ppid=4908 vsize=10852704 memory=8385504 CPUtime=581.09 cores=0,2,4,6
/proc/4911/task/4965/stat : 4965 (java) R 4908 4911 32560 0 -1 4202560 559045 13239 0 0 57889 213 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139818027489440 139818004857395 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4966] ppid=4908 vsize=10852704 memory=8385504 CPUtime=582.09 cores=0,2,4,6
/proc/4911/task/4966/stat : 4966 (java) R 4908 4911 32560 0 -1 4202560 341227 13239 0 0 58004 198 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817915762896 139818015875815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4967] ppid=4908 vsize=10852704 memory=1800 CPUtime=582.92 cores=0,2,4,6
/proc/4911/task/4967/stat : 4967 (java) R 4908 4911 32560 0 -1 4202560 277128 13239 0 0 58101 184 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817914710352 139818015875815 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4968] ppid=4908 vsize=10852704 memory=8112282956445269571 CPUtime=582.17 cores=0,2,4,6
/proc/4911/task/4968/stat : 4968 (java) R 4908 4911 32560 0 -1 4202560 215356 13239 0 0 58029 181 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817913658200 139818004857252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4969] ppid=4908 vsize=10852704 memory=23200 CPUtime=5.32 cores=0,2,4,6
/proc/4911/task/4969/stat : 4969 (java) S 4908 4911 32560 0 -1 1077944384 363312 13239 0 0 507 18 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817482404928 139818023257813 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4970] ppid=4908 vsize=10852704 memory=2088 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4970/stat : 4970 (java) S 4908 4911 32560 0 -1 1077944384 69 13239 0 0 0 0 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817481352672 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4971] ppid=4908 vsize=10852704 memory=1040 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4971/stat : 4971 (java) S 4908 4911 32560 0 -1 1077944384 5 13239 0 0 0 0 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817358714368 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4972] ppid=4908 vsize=10852704 memory=1628 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4972/stat : 4972 (java) S 4908 4911 32560 0 -1 1077944384 4 13239 0 0 0 0 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139816754735472 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4973] ppid=4908 vsize=10852704 memory=8385504 CPUtime=15.07 cores=0,2,4,6
/proc/4911/task/4973/stat : 4973 (java) S 4908 4911 32560 0 -1 1077944384 40021 13239 0 0 1495 5 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817447794720 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4974] ppid=4908 vsize=10852704 memory=1232 CPUtime=15.59 cores=0,2,4,6
/proc/4911/task/4974/stat : 4974 (java) S 4908 4911 32560 0 -1 1077944384 39411 13239 0 0 1544 8 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817446741888 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4975] ppid=4908 vsize=10852704 memory=4072 CPUtime=3.5 cores=0,2,4,6
/proc/4911/task/4975/stat : 4975 (java) S 4908 4911 32560 0 -1 1077944384 16636 13239 0 0 337 6 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817445689632 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4976] ppid=4908 vsize=10852704 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4976/stat : 4976 (java) S 4908 4911 32560 0 -1 1077944384 3 13239 0 0 0 0 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139816284973664 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4977] ppid=4908 vsize=10852704 memory=8385504 CPUtime=0.63 cores=0,2,4,6
/proc/4911/task/4977/stat : 4977 (java) S 4908 4911 32560 0 -1 1077944384 764 13239 0 0 32 24 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817444637488 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
Current children cumulated CPU time: 2527.57 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 8385504 KiB

[startup+754.506 s]
/proc/loadavg: 5.10 4.45 3.31 6/216 5154
/proc/meminfo: memFree=7283124/32770624 swapFree=67108796/67108860
[pid=4911] ppid=4908 vsize=10852704 memory=8385504 CPUtime=2527.86 cores=0,2,4,6
/proc/4911/stat : 4911 (java) S 4908 4911 32560 0 -1 1077944320 1944683 13239 0 0 251907 872 5 2 20 0 15 0 78555534 11113168896 2096376 33554432000 4194304 4196468 140735961069568 140735961052112 139818023247607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
/proc/4911/statm: 2713176 2096376 3547 1 0 2674829 0
[pid=4911/tid=4964] ppid=4908 vsize=10852704 memory=8385504 CPUtime=159.7 cores=0,2,4,6
/proc/4911/task/4964/stat : 4964 (java) S 4908 4911 32560 0 -1 1077944384 89490 13239 0 0 15912 51 5 2 20 0 15 0 78555543 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817995083760 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4965] ppid=4908 vsize=10852704 memory=8385504 CPUtime=581.16 cores=0,2,4,6
/proc/4911/task/4965/stat : 4965 (java) R 4908 4911 32560 0 -1 4202560 559045 13239 0 0 57896 213 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139818027489552 139818007702352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4966] ppid=4908 vsize=10852704 memory=8385504 CPUtime=582.16 cores=0,2,4,6
/proc/4911/task/4966/stat : 4966 (java) R 4908 4911 32560 0 -1 4202560 341228 13239 0 0 58010 199 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817915763288 139818008232903 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4967] ppid=4908 vsize=10852704 memory=8385504 CPUtime=582.98 cores=0,2,4,6
/proc/4911/task/4967/stat : 4967 (java) R 4908 4911 32560 0 -1 4202560 277128 13239 0 0 58107 184 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817914710544 139818007945199 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4968] ppid=4908 vsize=10852704 memory=8385504 CPUtime=582.24 cores=0,2,4,6
/proc/4911/task/4968/stat : 4968 (java) R 4908 4911 32560 0 -1 4202560 215356 13239 0 0 58036 181 5 2 20 0 15 0 78555544 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817913658000 139818007945186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4969] ppid=4908 vsize=10852704 memory=8385504 CPUtime=5.36 cores=0,2,4,6
/proc/4911/task/4969/stat : 4969 (java) S 4908 4911 32560 0 -1 1077944384 363312 13239 0 0 511 18 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817482404704 139818023257813 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4970] ppid=4908 vsize=10852704 memory=8385504 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4970/stat : 4970 (java) S 4908 4911 32560 0 -1 1077944384 69 13239 0 0 0 0 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817481352672 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4971] ppid=4908 vsize=10852704 memory=8385504 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4971/stat : 4971 (java) S 4908 4911 32560 0 -1 1077944384 5 13239 0 0 0 0 5 2 20 0 15 0 78555546 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817358714368 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4972] ppid=4908 vsize=10852704 memory=8385504 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4972/stat : 4972 (java) S 4908 4911 32560 0 -1 1077944384 26 13239 0 0 0 0 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139816754734560 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4973] ppid=4908 vsize=10852704 memory=8385504 CPUtime=15.07 cores=0,2,4,6
/proc/4911/task/4973/stat : 4973 (java) S 4908 4911 32560 0 -1 1077944384 40021 13239 0 0 1495 5 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817447794672 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4974] ppid=4908 vsize=10852704 memory=8385504 CPUtime=15.59 cores=0,2,4,6
/proc/4911/task/4974/stat : 4974 (java) S 4908 4911 32560 0 -1 1077944384 39411 13239 0 0 1544 8 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817446742128 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4975] ppid=4908 vsize=10852704 memory=8385504 CPUtime=3.5 cores=0,2,4,6
/proc/4911/task/4975/stat : 4975 (java) S 4908 4911 32560 0 -1 1077944384 16636 13239 0 0 337 6 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817445689584 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4976] ppid=4908 vsize=10852704 memory=8385504 CPUtime=0.07 cores=0,2,4,6
/proc/4911/task/4976/stat : 4976 (java) S 4908 4911 32560 0 -1 1077944384 3 13239 0 0 0 0 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139816284973664 139818023257813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
[pid=4911/tid=4977] ppid=4908 vsize=10852704 memory=8385504 CPUtime=0.63 cores=0,2,4,6
/proc/4911/task/4977/stat : 4977 (java) S 4908 4911 32560 0 -1 1077944384 764 13239 0 0 32 24 5 2 20 0 15 0 78555549 11113168896 2096376 33554432000 4194304 4196468 140735961069568 139817444637488 139818023258754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23695360 140735961073837 140735961077084 140735961077084 140735961079759 0
Current children cumulated CPU time: 2527.86 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 8385504 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 754.585
CPU time (s): 2527.99
CPU user time (s): 2519.18
CPU system time (s): 8.80766
CPU usage (%): 335.017
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 8385504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.18
system time used= 8.80766
maximum resident set size= 8385620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1957925
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50890
involuntary context switches= 32137


# summary of solver processes directly reported to runsolver:
#   pid: 4911
#   total CPU time (s): 2527.99
#   total CPU user time (s): 2519.18
#   total CPU system time (s): 8.80766

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.94125 second user time and 7.08771 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-26 14:58:44
IDJOB=4296063
IDBENCH=141648
IDSOLVER=2751
FILE ID=node138/4296063-1532609923
RUNJOBID= node138-1532582651-32591
PBS_JOBID= 21021963
Free space on /tmp= 53776 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/SteelMillSlab/SteelMillSlab-m2s-4-0_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4296063-1532609923/watcher-4296063-1532609923 -o /tmp/evaluation-result-4296063-1532609923/solver-4296063-1532609923 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532582651-32591 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=80956515 -superng HOME/instance-4296063-1532609923.xml

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

MD5SUM BENCH= b10759bd497fea2437fd7a4bc018387a
RANDOM SEED=80956515

node138.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.71
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.71
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.71
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.71
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:        15269740 kB
MemAvailable:   29624712 kB
Buffers:          193184 kB
Cached:         14306032 kB
SwapCached:           44 kB
Active:          4705360 kB
Inactive:       12148880 kB
Active(anon):    2305416 kB
Inactive(anon):    77304 kB
Active(file):    2399944 kB
Inactive(file): 12071576 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             27068 kB
Writeback:             0 kB
AnonPages:       2360976 kB
Mapped:            48836 kB
Shmem:             25164 kB
Slab:             340648 kB
SReclaimable:     311912 kB
SUnreclaim:        28736 kB
KernelStack:        3568 kB
PageTables:         9448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3550468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2136064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53744 MiB
End job on node138 at 2018-07-26 15:11:18