Trace number 4302472

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.9.2OPT2 7.33531 3.78158

General information on the benchmark

NameTemplateDesign/
TemplateDesign-m1s-1_c18.xml
MD5SUM1aa19c04fc46d2c59e842211a2e06bfd
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.21512
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints18
Number of domains6
Minimum domain size2
Maximum domain size880
Distribution of domain sizes[{"size":2,"count":3},{"size":5,"count":9},{"size":275,"count":3},{"size":550,"count":3},{"size":801,"count":3},{"size":880,"count":3}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":21},{"degree":4,"count":3}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":3},{"arity":3,"count":15}]
Number of extensional constraints3
Number of intensional constraints9
Distribution of constraint types[{"type":"extension","count":3},{"type":"intension","count":9},{"type":"sum","count":6}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
6.95/3.67	o 2
6.95/3.68	v <instantiation cost="2">
6.95/3.68	v       <list>
6.95/3.68	v         d[0][0] d[0][1] d[0][2] d[1][0] d[1][1] d[1][2] d[2][0] d[2][1] d[2][2] npt[0] npt[1] npt[2] u[0] u[1] u[2] nptv[0][0] nptv[0][1] nptv[0][2] nptv[1][0] nptv[1][1] nptv[1][2] nptv[2][0] nptv[2][1] nptv[2][2]
6.95/3.68	v       </list>
6.95/3.68	v       <values>
6.95/3.68	v         0 4 0 0 0 4 1 0 3 119 0 274 1 0 1 0 476 0 0 0 0 274 0 822
6.95/3.68	v       </values>
6.95/3.68	v     </instantiation>
6.95/3.68	s OPTIMUM FOUND

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302472-1532897050/watcher-4302472-1532897050 -o /tmp/evaluation-result-4302472-1532897050/solver-4302472-1532897050 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16078 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1861291093 HOME/instance-4302472-1532897050.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=20510, runsolver pid=20507

[startup+0.100091 s]*
/proc/loadavg: 2.20 2.04 1.90 3/207 20567
/proc/meminfo: memFree=25565160/32770624 swapFree=67028832/67108860
[pid=20510] ppid=20507 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/20510/stat : 20510 (java) S 20507 20510 10029 0 -1 1077944320 4363 13206 0 0 1 0 5 3 20 0 6 0 107268199 10245611520 4203 33554432000 4194304 4196468 140722262617696 140722262600240 139648505839351 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
/proc/20510/statm: 2501370 4203 1935 1 0 2489808 0
[pid=20510/tid=20563] ppid=20507 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20563/stat : 20563 (java) R 20507 20510 10029 0 -1 4202560 2175 13206 0 0 0 0 5 3 20 0 6 0 107268209 10245611520 4203 33554432000 4194304 4196468 140722262617696 139648477676112 139648489919838 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20564] ppid=20507 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20564/stat : 20564 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 6 0 107268209 10245611520 4203 33554432000 4194304 4196468 140722262617696 139648510081424 139648505849557 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20565] ppid=20507 vsize=10005480 memory=140277878445696 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20565/stat : 20565 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 6 0 107268209 10245611520 4203 33554432000 4194304 4196468 140722262617696 139648380729616 139648505849557 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20566] ppid=20507 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20566/stat : 20566 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 6 0 107268209 10245611520 4203 33554432000 4194304 4196468 140722262617696 139648379677328 139648505849557 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20567] ppid=20507 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20567/stat : 20567 (java) S 20507 20510 10029 0 -1 1077944384 2 13206 0 0 0 0 5 3 20 0 6 0 107268209 10245611520 4203 33554432000 4194304 4196468 140722262617696 139648043899408 139648505849557 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.210075 s]*
/proc/loadavg: 2.20 2.04 1.90 3/216 20576
/proc/meminfo: memFree=25543432/32770624 swapFree=67028832/67108860
[pid=20510] ppid=20507 vsize=10982696 memory=42768 CPUtime=0.27 cores=0,2,4,6
/proc/20510/stat : 20510 (java) S 20507 20510 10029 0 -1 1077944320 8614 13206 0 0 17 2 5 3 20 0 15 0 107268199 11246280704 10692 33554432000 4194304 4196468 140722262617696 140722262600240 139648505839351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
/proc/20510/statm: 2745674 10692 2932 1 0 2708109 0
[pid=20510/tid=20563] ppid=20507 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/20510/task/20563/stat : 20563 (java) R 20507 20510 10029 0 -1 4202560 5132 13206 0 0 10 1 5 3 20 0 15 0 107268209 11246280704 10692 33554432000 4194304 4196468 140722262617696 139648477626496 139648487402880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20564] ppid=20507 vsize=10982696 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20564/stat : 20564 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246280704 10692 33554432000 4194304 4196468 140722262617696 139648510081424 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20565] ppid=20507 vsize=10982696 memory=140277879094705 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20565/stat : 20565 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246280704 10692 33554432000 4194304 4196468 140722262617696 139648380729616 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20566] ppid=20507 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20566/stat : 20566 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246280704 10692 33554432000 4194304 4196468 140722262617696 139648379677328 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20567] ppid=20507 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20567/stat : 20567 (java) S 20507 20510 10029 0 -1 1077944384 2 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246280704 10692 33554432000 4194304 4196468 140722262617696 139648043899408 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20568] ppid=20507 vsize=10982696 memory=140277878445696 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20568/stat : 20568 (java) S 20507 20510 10029 0 -1 1077944384 2 13206 0 0 0 0 5 3 20 0 15 0 107268211 11246280704 10692 33554432000 4194304 4196468 140722262617696 139647998950000 139648505850498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20569] ppid=20507 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20569/stat : 20569 (java) S 20507 20510 10029 0 -1 1077944384 13 13206 0 0 0 0 5 3 20 0 15 0 107268211 11246280704 10692 33554432000 4194304 4196468 140722262617696 139647170635040 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20570] ppid=20507 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20570/stat : 20570 (java) S 20507 20510 10029 0 -1 1077944384 21 13206 0 0 0 0 5 3 20 0 15 0 107268211 11246280704 10692 33554432000 4194304 4196468 140722262617696 139647103522416 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20571] ppid=20507 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20571/stat : 20571 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11246280704 10692 33554432000 4194304 4196468 140722262617696 139646796126800 139648505857947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20572] ppid=20507 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20510/task/20572/stat : 20572 (java) S 20507 20510 10029 0 -1 1077944384 368 13206 0 0 1 0 5 3 20 0 15 0 107268214 11246280704 10692 33554432000 4194304 4196468 140722262617696 139647997896816 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20573] ppid=20507 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20573/stat : 20573 (java) S 20507 20510 10029 0 -1 1077944384 252 13206 0 0 0 0 5 3 20 0 15 0 107268214 11246280704 10692 33554432000 4194304 4196468 140722262617696 139647996844016 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20574] ppid=20507 vsize=10982696 memory=140277878445696 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20574/stat : 20574 (java) S 20507 20510 10029 0 -1 1077944384 620 13206 0 0 3 0 5 3 20 0 15 0 107268214 11246280704 10692 33554432000 4194304 4196468 140722262617696 139647995791728 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20575] ppid=20507 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20575/stat : 20575 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11246280704 10692 33554432000 4194304 4196468 140722262617696 139646365329888 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20576] ppid=20507 vsize=10982696 memory=140277878445696 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20576/stat : 20576 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268215 11246280704 10692 33554432000 4194304 4196468 140722262617696 139647994739632 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 42768 KiB

[startup+0.310705 s]*
/proc/loadavg: 2.20 2.04 1.90 3/216 20576
/proc/meminfo: memFree=25532516/32770624 swapFree=67028832/67108860
[pid=20510] ppid=20507 vsize=10983192 memory=54112 CPUtime=0.39 cores=0,2,4,6
/proc/20510/stat : 20510 (java) S 20507 20510 10029 0 -1 1077944320 10629 13206 0 0 28 3 5 3 20 0 15 0 107268199 11246788608 13528 33554432000 4194304 4196468 140722262617696 140722262600240 139648505839351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
/proc/20510/statm: 2745798 13528 3064 1 0 2708109 0
[pid=20510/tid=20563] ppid=20507 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/20510/task/20563/stat : 20563 (java) R 20507 20510 10029 0 -1 4202560 7141 13206 0 0 19 1 5 3 20 0 15 0 107268209 11246788608 13528 33554432000 4194304 4196468 140722262617696 139648477651136 139648489919838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20564] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20564/stat : 20564 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246788608 13528 33554432000 4194304 4196468 140722262617696 139648510081424 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20565] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20565/stat : 20565 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246788608 13528 33554432000 4194304 4196468 140722262617696 139648380729616 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20566] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20566/stat : 20566 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246788608 13528 33554432000 4194304 4196468 140722262617696 139648379677328 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20567] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20567/stat : 20567 (java) S 20507 20510 10029 0 -1 1077944384 2 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246788608 13528 33554432000 4194304 4196468 140722262617696 139648043899408 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20568] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20568/stat : 20568 (java) S 20507 20510 10029 0 -1 1077944384 2 13206 0 0 0 0 5 3 20 0 15 0 107268211 11246788608 13528 33554432000 4194304 4196468 140722262617696 139647998950000 139648505850498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20569] ppid=20507 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20569/stat : 20569 (java) S 20507 20510 10029 0 -1 1077944384 13 13206 0 0 0 0 5 3 20 0 15 0 107268211 11246788608 13528 33554432000 4194304 4196468 140722262617696 139647170635040 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20570] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20570/stat : 20570 (java) S 20507 20510 10029 0 -1 1077944384 21 13206 0 0 0 0 5 3 20 0 15 0 107268211 11246788608 13528 33554432000 4194304 4196468 140722262617696 139647103522416 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20571] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20571/stat : 20571 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11246788608 13528 33554432000 4194304 4196468 140722262617696 139646796126800 139648505857947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20572] ppid=20507 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20510/task/20572/stat : 20572 (java) S 20507 20510 10029 0 -1 1077944384 368 13206 0 0 1 0 5 3 20 0 15 0 107268214 11246788608 13528 33554432000 4194304 4196468 140722262617696 139647997896816 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20573] ppid=20507 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/20510/task/20573/stat : 20573 (java) S 20507 20510 10029 0 -1 1077944384 255 13206 0 0 1 0 5 3 20 0 15 0 107268214 11246788608 13528 33554432000 4194304 4196468 140722262617696 139647996844016 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20574] ppid=20507 vsize=10983192 memory=140277878445696 CPUtime=0.12 cores=0,2,4,6
/proc/20510/task/20574/stat : 20574 (java) S 20507 20510 10029 0 -1 1077944384 625 13206 0 0 4 0 5 3 20 0 15 0 107268214 11246788608 13528 33554432000 4194304 4196468 140722262617696 139647995791728 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20575] ppid=20507 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20575/stat : 20575 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11246788608 13528 33554432000 4194304 4196468 140722262617696 139646365329888 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20576] ppid=20507 vsize=10983192 memory=140277878445696 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20576/stat : 20576 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268215 11246788608 13528 33554432000 4194304 4196468 140722262617696 139647994739632 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54112 KiB

[startup+0.700716 s]
/proc/loadavg: 2.20 2.04 1.90 3/216 20576
/proc/meminfo: memFree=25520972/32770624 swapFree=67028832/67108860
[pid=20510] ppid=20507 vsize=10983192 memory=86556 CPUtime=0.98 cores=0,2,4,6
/proc/20510/stat : 20510 (java) S 20507 20510 10029 0 -1 1077944320 16798 13206 0 0 86 4 5 3 20 0 15 0 107268199 11246788608 21639 33554432000 4194304 4196468 140722262617696 140722262600240 139648505839351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
/proc/20510/statm: 2745798 21639 3237 1 0 2708109 0
[pid=20510/tid=20563] ppid=20507 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/20510/task/20563/stat : 20563 (java) R 20507 20510 10029 0 -1 4202560 12356 13206 0 0 56 3 5 3 20 0 15 0 107268209 11246788608 21639 33554432000 4194304 4196468 140722262617696 139648477634200 139648489919838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20564] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20564/stat : 20564 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246788608 21639 33554432000 4194304 4196468 140722262617696 139648510081424 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20565] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20565/stat : 20565 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246788608 21639 33554432000 4194304 4196468 140722262617696 139648380729616 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20566] ppid=20507 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20566/stat : 20566 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246788608 21639 33554432000 4194304 4196468 140722262617696 139648379677328 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20567] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20567/stat : 20567 (java) S 20507 20510 10029 0 -1 1077944384 2 13206 0 0 0 0 5 3 20 0 15 0 107268209 11246788608 21639 33554432000 4194304 4196468 140722262617696 139648043899408 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20568] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20568/stat : 20568 (java) S 20507 20510 10029 0 -1 1077944384 5 13206 0 0 0 0 5 3 20 0 15 0 107268211 11246788608 21639 33554432000 4194304 4196468 140722262617696 139647998950000 139648505850498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20569] ppid=20507 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20569/stat : 20569 (java) S 20507 20510 10029 0 -1 1077944384 13 13206 0 0 0 0 5 3 20 0 15 0 107268211 11246788608 21639 33554432000 4194304 4196468 140722262617696 139647170635040 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20570] ppid=20507 vsize=10983192 memory=140277725672208 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20570/stat : 20570 (java) S 20507 20510 10029 0 -1 1077944384 21 13206 0 0 0 0 5 3 20 0 15 0 107268211 11246788608 21639 33554432000 4194304 4196468 140722262617696 139647103522416 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20571] ppid=20507 vsize=10983192 memory=140277926855241 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20571/stat : 20571 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11246788608 21639 33554432000 4194304 4196468 140722262617696 139646796126800 139648505857947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20572] ppid=20507 vsize=10983192 memory=796 CPUtime=0.18 cores=0,2,4,6
/proc/20510/task/20572/stat : 20572 (java) S 20507 20510 10029 0 -1 1077944384 1027 13206 0 0 10 0 5 3 20 0 15 0 107268214 11246788608 21639 33554432000 4194304 4196468 140722262617696 139647997896816 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20573] ppid=20507 vsize=10983192 memory=7014751519650764113 CPUtime=0.14 cores=0,2,4,6
/proc/20510/task/20573/stat : 20573 (java) S 20507 20510 10029 0 -1 1077944384 499 13206 0 0 6 0 5 3 20 0 15 0 107268214 11246788608 21639 33554432000 4194304 4196468 140722262617696 139647996844016 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20574] ppid=20507 vsize=10983192 memory=7597123233646858610 CPUtime=0.2 cores=0,2,4,6
/proc/20510/task/20574/stat : 20574 (java) S 20507 20510 10029 0 -1 1077944384 672 13206 0 0 12 0 5 3 20 0 15 0 107268214 11246788608 21639 33554432000 4194304 4196468 140722262617696 139647995791728 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20575] ppid=20507 vsize=10983192 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20575/stat : 20575 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11246788608 21639 33554432000 4194304 4196468 140722262617696 139646365329888 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20576] ppid=20507 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20576/stat : 20576 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268215 11246788608 21639 33554432000 4194304 4196468 140722262617696 139647994739632 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86556 KiB

[startup+1.50068 s]
/proc/loadavg: 2.20 2.04 1.90 3/216 20576
/proc/meminfo: memFree=25477728/32770624 swapFree=67028832/67108860
[pid=20510] ppid=20507 vsize=10998092 memory=177212 CPUtime=2.29 cores=0,2,4,6
/proc/20510/stat : 20510 (java) S 20507 20510 10029 0 -1 1077944320 24035 13206 0 0 212 9 5 3 20 0 15 0 107268199 11262046208 44303 33554432000 4194304 4196468 140722262617696 140722262600240 139648505839351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
/proc/20510/statm: 2749523 44303 3467 1 0 2711181 0
[pid=20510/tid=20563] ppid=20507 vsize=10998092 memory=9169 CPUtime=1.43 cores=0,2,4,6
/proc/20510/task/20563/stat : 20563 (java) R 20507 20510 10029 0 -1 4202560 18004 13206 0 0 131 4 5 3 20 0 15 0 107268209 11262046208 44303 33554432000 4194304 4196468 140722262617696 139648477670800 139648505851286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20564] ppid=20507 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/20510/task/20564/stat : 20564 (java) S 20507 20510 10029 0 -1 1077944384 28 13206 0 0 1 0 5 3 20 0 15 0 107268209 11262046208 44303 33554432000 4194304 4196468 140722262617696 139648510081424 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20565] ppid=20507 vsize=10998092 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/20510/task/20565/stat : 20565 (java) S 20507 20510 10029 0 -1 1077944384 52 13206 0 0 1 0 5 3 20 0 15 0 107268209 11262046208 44303 33554432000 4194304 4196468 140722262617696 139648380729616 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20566] ppid=20507 vsize=10998092 memory=2992 CPUtime=0.09 cores=0,2,4,6
/proc/20510/task/20566/stat : 20566 (java) S 20507 20510 10029 0 -1 1077944384 239 13206 0 0 1 0 5 3 20 0 15 0 107268209 11262046208 44303 33554432000 4194304 4196468 140722262617696 139648379677328 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20567] ppid=20507 vsize=10998092 memory=86556 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20567/stat : 20567 (java) S 20507 20510 10029 0 -1 1077944384 31 13206 0 0 0 0 5 3 20 0 15 0 107268209 11262046208 44303 33554432000 4194304 4196468 140722262617696 139648043899408 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20568] ppid=20507 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20510/task/20568/stat : 20568 (java) S 20507 20510 10029 0 -1 1077944384 55 13206 0 0 1 0 5 3 20 0 15 0 107268211 11262046208 44303 33554432000 4194304 4196468 140722262617696 139647998950000 139648505850498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20569] ppid=20507 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20569/stat : 20569 (java) S 20507 20510 10029 0 -1 1077944384 13 13206 0 0 0 0 5 3 20 0 15 0 107268211 11262046208 44303 33554432000 4194304 4196468 140722262617696 139647170635104 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20570] ppid=20507 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20570/stat : 20570 (java) S 20507 20510 10029 0 -1 1077944384 43 13206 0 0 0 0 5 3 20 0 15 0 107268211 11262046208 44303 33554432000 4194304 4196468 140722262617696 139647103522432 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20571] ppid=20507 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20571/stat : 20571 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11262046208 44303 33554432000 4194304 4196468 140722262617696 139646796126800 139648505857947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20572] ppid=20507 vsize=10998092 memory=4638778398332698720 CPUtime=0.33 cores=0,2,4,6
/proc/20510/task/20572/stat : 20572 (java) S 20507 20510 10029 0 -1 1077944384 1482 13206 0 0 25 0 5 3 20 0 15 0 107268214 11262046208 44303 33554432000 4194304 4196468 140722262617696 139647997896816 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20573] ppid=20507 vsize=10998092 memory=280555451620224 CPUtime=0.25 cores=0,2,4,6
/proc/20510/task/20573/stat : 20573 (java) S 20507 20510 10029 0 -1 1077944384 653 13206 0 0 17 0 5 3 20 0 15 0 107268214 11262046208 44303 33554432000 4194304 4196468 140722262617696 139647996844016 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20574] ppid=20507 vsize=10998092 memory=6944656592452807323 CPUtime=0.39 cores=0,2,4,6
/proc/20510/task/20574/stat : 20574 (java) R 20507 20510 10029 0 -1 4202560 1234 13206 0 0 31 0 5 3 20 0 15 0 107268214 11262046208 44303 33554432000 4194304 4196468 140722262617696 139647995791728 139648505851286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20575] ppid=20507 vsize=10998092 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20575/stat : 20575 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11262046208 44303 33554432000 4194304 4196468 140722262617696 139646365329888 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20576] ppid=20507 vsize=10998092 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20576/stat : 20576 (java) S 20507 20510 10029 0 -1 1077944384 1 13206 0 0 0 0 5 3 20 0 15 0 107268215 11262046208 44303 33554432000 4194304 4196468 140722262617696 139647994739632 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 177212 KiB

[startup+3.1105 s]
/proc/loadavg: 2.11 2.02 1.90 5/216 20576
/proc/meminfo: memFree=25333656/32770624 swapFree=67028832/67108860
[pid=20510] ppid=20507 vsize=11010400 memory=247260 CPUtime=5.53 cores=0,2,4,6
/proc/20510/stat : 20510 (java) S 20507 20510 10029 0 -1 1077944320 37796 13206 0 0 529 16 5 3 20 0 15 0 107268199 11274649600 61815 33554432000 4194304 4196468 140722262617696 140722262600240 139648505839351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
/proc/20510/statm: 2752600 61815 3487 1 0 2714253 0
[pid=20510/tid=20563] ppid=20507 vsize=11010400 memory=6935649255759568960 CPUtime=2.99 cores=0,2,4,6
/proc/20510/task/20563/stat : 20563 (java) R 20507 20510 10029 0 -1 4202560 27113 13206 0 0 283 8 5 3 20 0 15 0 107268209 11274649600 61815 33554432000 4194304 4196468 140722262617696 139648477669008 139648489919838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20564] ppid=20507 vsize=11010400 memory=191472 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20564/stat : 20564 (java) S 20507 20510 10029 0 -1 1077944384 42 13206 0 0 3 0 5 3 20 0 15 0 107268209 11274649600 61815 33554432000 4194304 4196468 140722262617696 139648510081424 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20565] ppid=20507 vsize=11010400 memory=9169 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20565/stat : 20565 (java) S 20507 20510 10029 0 -1 1077944384 56 13206 0 0 3 0 5 3 20 0 15 0 107268209 11274649600 61815 33554432000 4194304 4196468 140722262617696 139648380729616 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20566] ppid=20507 vsize=11010400 memory=280555451059792 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20566/stat : 20566 (java) S 20507 20510 10029 0 -1 1077944384 282 13206 0 0 3 0 5 3 20 0 15 0 107268209 11274649600 61815 33554432000 4194304 4196468 140722262617696 139648379677328 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20567] ppid=20507 vsize=11010400 memory=90267126335978 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20567/stat : 20567 (java) S 20507 20510 10029 0 -1 1077944384 52 13206 0 0 3 0 5 3 20 0 15 0 107268209 11274649600 61815 33554432000 4194304 4196468 140722262617696 139648043899408 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20568] ppid=20507 vsize=11010400 memory=90267126335978 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20568/stat : 20568 (java) S 20507 20510 10029 0 -1 1077944384 1069 13206 0 0 3 0 5 3 20 0 15 0 107268211 11274649600 61815 33554432000 4194304 4196468 140722262617696 139647998950000 139648505850498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20569] ppid=20507 vsize=11010400 memory=90267126334442 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20569/stat : 20569 (java) S 20507 20510 10029 0 -1 1077944384 13 13206 0 0 0 0 5 3 20 0 15 0 107268211 11274649600 61815 33554432000 4194304 4196468 140722262617696 139647170635104 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20570] ppid=20507 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20570/stat : 20570 (java) S 20507 20510 10029 0 -1 1077944384 43 13206 0 0 0 0 5 3 20 0 15 0 107268211 11274649600 61815 33554432000 4194304 4196468 140722262617696 139647103522432 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20571] ppid=20507 vsize=11010400 memory=228350526267515 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20571/stat : 20571 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11274649600 61815 33554432000 4194304 4196468 140722262617696 139646796126800 139648505857947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20572] ppid=20507 vsize=11010400 memory=228350526267516 CPUtime=0.77 cores=0,2,4,6
/proc/20510/task/20572/stat : 20572 (java) S 20507 20510 10029 0 -1 1077944384 1750 13206 0 0 68 1 5 3 20 0 15 0 107268214 11274649600 61815 33554432000 4194304 4196468 140722262617696 139647997896816 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20573] ppid=20507 vsize=11010400 memory=228350526267517 CPUtime=0.64 cores=0,2,4,6
/proc/20510/task/20573/stat : 20573 (java) S 20507 20510 10029 0 -1 1077944384 1576 13206 0 0 55 1 5 3 20 0 15 0 107268214 11274649600 61815 33554432000 4194304 4196468 140722262617696 139647996844016 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20574] ppid=20507 vsize=11010400 memory=228350526267518 CPUtime=1.12 cores=0,2,4,6
/proc/20510/task/20574/stat : 20574 (java) S 20507 20510 10029 0 -1 1077944384 3602 13206 0 0 103 1 5 3 20 0 15 0 107268214 11274649600 61815 33554432000 4194304 4196468 140722262617696 139647995791728 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20575] ppid=20507 vsize=11010400 memory=193928 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20575/stat : 20575 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11274649600 61815 33554432000 4194304 4196468 140722262617696 139646365329888 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20576] ppid=20507 vsize=11010400 memory=280555451596864 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20576/stat : 20576 (java) S 20507 20510 10029 0 -1 1077944384 2 13206 0 0 0 0 5 3 20 0 15 0 107268215 11274649600 61815 33554432000 4194304 4196468 140722262617696 139647994739632 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 247260 KiB

[startup+3.78154 s]
# the end of solver process 20510 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.05962 s, system=0.275696 s

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

[startup+3.26252 s]
/proc/loadavg: 2.11 2.02 1.90 5/216 20576
/proc/meminfo: memFree=25333656/32770624 swapFree=67028832/67108860
[pid=20510] ppid=20507 vsize=11012448 memory=252160 CPUtime=5.87 cores=0,2,4,6
/proc/20510/stat : 20510 (java) S 20507 20510 10029 0 -1 1077944320 45453 13206 0 0 561 18 5 3 20 0 15 0 107268199 11276746752 63040 33554432000 4194304 4196468 140722262617696 140722262600240 139648505839351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
/proc/20510/statm: 2753112 63040 3492 1 0 2714765 0
[pid=20510/tid=20563] ppid=20507 vsize=11012448 memory=280555451141120 CPUtime=3.14 cores=0,2,4,6
/proc/20510/task/20563/stat : 20563 (java) R 20507 20510 10029 0 -1 4202560 30189 13206 0 0 298 8 5 3 20 0 15 0 107268209 11276746752 63040 33554432000 4194304 4196468 140722262617696 139648477668656 139648505851286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20564] ppid=20507 vsize=11012448 memory=280555451141312 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20564/stat : 20564 (java) S 20507 20510 10029 0 -1 1077944384 42 13206 0 0 3 0 5 3 20 0 15 0 107268209 11276746752 63040 33554432000 4194304 4196468 140722262617696 139648510081424 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20565] ppid=20507 vsize=11012448 memory=280555451141504 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20565/stat : 20565 (java) S 20507 20510 10029 0 -1 1077944384 56 13206 0 0 3 0 5 3 20 0 15 0 107268209 11276746752 63040 33554432000 4194304 4196468 140722262617696 139648380729616 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20566] ppid=20507 vsize=11012448 memory=280555451141696 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20566/stat : 20566 (java) S 20507 20510 10029 0 -1 1077944384 282 13206 0 0 3 0 5 3 20 0 15 0 107268209 11276746752 63040 33554432000 4194304 4196468 140722262617696 139648379677328 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20567] ppid=20507 vsize=11012448 memory=7734202745668187710 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20567/stat : 20567 (java) S 20507 20510 10029 0 -1 1077944384 52 13206 0 0 3 0 5 3 20 0 15 0 107268209 11276746752 63040 33554432000 4194304 4196468 140722262617696 139648043899408 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20568] ppid=20507 vsize=11012448 memory=6226062010801613411 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20568/stat : 20568 (java) S 20507 20510 10029 0 -1 1077944384 1069 13206 0 0 3 0 5 3 20 0 15 0 107268211 11276746752 63040 33554432000 4194304 4196468 140722262617696 139647998950000 139648505850498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20569] ppid=20507 vsize=11012448 memory=7595440001688102255 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20569/stat : 20569 (java) S 20507 20510 10029 0 -1 1077944384 13 13206 0 0 0 0 5 3 20 0 15 0 107268211 11276746752 63040 33554432000 4194304 4196468 140722262617696 139647170635104 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20570] ppid=20507 vsize=11012448 memory=280555451251024 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20570/stat : 20570 (java) S 20507 20510 10029 0 -1 1077944384 43 13206 0 0 0 0 5 3 20 0 15 0 107268211 11276746752 63040 33554432000 4194304 4196468 140722262617696 139647103522432 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20571] ppid=20507 vsize=11012448 memory=7660731098055530336 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20571/stat : 20571 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11276746752 63040 33554432000 4194304 4196468 140722262617696 139646796126800 139648505857947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20572] ppid=20507 vsize=11012448 memory=7084551820728817504 CPUtime=0.87 cores=0,2,4,6
/proc/20510/task/20572/stat : 20572 (java) R 20507 20510 10029 0 -1 4202560 4059 13206 0 0 77 2 5 3 20 0 15 0 107268214 11276746752 63044 33554432000 4194304 4196468 140722262617696 139647997877832 139648491267288 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20573] ppid=20507 vsize=11012448 memory=5864346883041222737 CPUtime=0.68 cores=0,2,4,6
/proc/20510/task/20573/stat : 20573 (java) R 20507 20510 10029 0 -1 4202560 2333 13206 0 0 59 1 5 3 20 0 15 0 107268214 11276746752 63044 33554432000 4194304 4196468 140722262617696 139647996831680 139648498128733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20574] ppid=20507 vsize=11012448 memory=5864346883041222737 CPUtime=1.18 cores=0,2,4,6
/proc/20510/task/20574/stat : 20574 (java) R 20507 20510 10029 0 -1 4202560 5149 13206 0 0 108 2 5 3 20 0 15 0 107268214 11276746752 63044 33554432000 4194304 4196468 140722262617696 139647995791728 139648484823076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20575] ppid=20507 vsize=11012448 memory=7300724602842601312 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20575/stat : 20575 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11276746752 63044 33554432000 4194304 4196468 140722262617696 139646365329888 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20576] ppid=20507 vsize=11012448 memory=6226344581112359523 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20576/stat : 20576 (java) S 20507 20510 10029 0 -1 1077944384 8 13206 0 0 0 0 5 3 20 0 15 0 107268215 11276746752 63044 33554432000 4194304 4196468 140722262617696 139647994739632 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 252160 KiB

[startup+3.60148 s]
/proc/loadavg: 2.11 2.02 1.90 5/216 20576
/proc/meminfo: memFree=25333656/32770624 swapFree=67028832/67108860
[pid=20510] ppid=20507 vsize=11077984 memory=306180 CPUtime=6.95 cores=0,2,4,6
/proc/20510/stat : 20510 (java) S 20507 20510 10029 0 -1 1077944320 68619 13206 0 0 666 21 5 3 20 0 15 0 107268199 11343855616 76545 33554432000 4194304 4196468 140722262617696 140722262600240 139648505839351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
/proc/20510/statm: 2769496 76545 3493 1 0 2731149 0
[pid=20510/tid=20563] ppid=20507 vsize=11077984 memory=0 CPUtime=3.49 cores=0,2,4,6
/proc/20510/task/20563/stat : 20563 (java) R 20507 20510 10029 0 -1 4202560 46209 13206 0 0 330 11 5 3 20 0 15 0 107268209 11343855616 76545 33554432000 4194304 4196468 140722262617696 139648477669792 139648505860698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20564] ppid=20507 vsize=11077984 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20564/stat : 20564 (java) S 20507 20510 10029 0 -1 1077944384 42 13206 0 0 3 0 5 3 20 0 15 0 107268209 11343855616 76545 33554432000 4194304 4196468 140722262617696 139648510081424 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20565] ppid=20507 vsize=11077984 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20565/stat : 20565 (java) S 20507 20510 10029 0 -1 1077944384 56 13206 0 0 3 0 5 3 20 0 15 0 107268209 11343855616 76545 33554432000 4194304 4196468 140722262617696 139648380729616 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20566] ppid=20507 vsize=11077984 memory=7809523229951467576 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20566/stat : 20566 (java) S 20507 20510 10029 0 -1 1077944384 282 13206 0 0 3 0 5 3 20 0 15 0 107268209 11343855616 76545 33554432000 4194304 4196468 140722262617696 139648379677328 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20567] ppid=20507 vsize=11077984 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20567/stat : 20567 (java) S 20507 20510 10029 0 -1 1077944384 52 13206 0 0 3 0 5 3 20 0 15 0 107268209 11343855616 76545 33554432000 4194304 4196468 140722262617696 139648043899408 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20568] ppid=20507 vsize=11077984 memory=-3472574513799858009 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20568/stat : 20568 (java) S 20507 20510 10029 0 -1 1077944384 1099 13206 0 0 3 0 5 3 20 0 15 0 107268211 11343855616 76545 33554432000 4194304 4196468 140722262617696 139647998950000 139648505850498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20569] ppid=20507 vsize=11077984 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20569/stat : 20569 (java) S 20507 20510 10029 0 -1 1077944384 13 13206 0 0 0 0 5 3 20 0 15 0 107268211 11343855616 76545 33554432000 4194304 4196468 140722262617696 139647170635104 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20570] ppid=20507 vsize=11077984 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20570/stat : 20570 (java) S 20507 20510 10029 0 -1 1077944384 43 13206 0 0 0 0 5 3 20 0 15 0 107268211 11343855616 76545 33554432000 4194304 4196468 140722262617696 139647103522432 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20571] ppid=20507 vsize=11077984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20571/stat : 20571 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11343855616 76545 33554432000 4194304 4196468 140722262617696 139646796126800 139648505857947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20572] ppid=20507 vsize=11077984 memory=0 CPUtime=1.2 cores=0,2,4,6
/proc/20510/task/20572/stat : 20572 (java) R 20507 20510 10029 0 -1 4202560 7581 13206 0 0 110 2 5 3 20 0 15 0 107268214 11343855616 76545 33554432000 4194304 4196468 140722262617696 139647997882840 139648483727872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20573] ppid=20507 vsize=11077984 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/20510/task/20573/stat : 20573 (java) R 20507 20510 10029 0 -1 4202560 4884 13206 0 0 92 2 5 3 20 0 15 0 107268214 11343855616 76545 33554432000 4194304 4196468 140722262617696 139647996825032 139648487360211 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20574] ppid=20507 vsize=11077984 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/20510/task/20574/stat : 20574 (java) R 20507 20510 10029 0 -1 4202560 6150 13206 0 0 115 2 5 3 20 0 15 0 107268214 11343855616 76545 33554432000 4194304 4196468 140722262617696 139647995791728 139648505851286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20575] ppid=20507 vsize=11077984 memory=-7965950325593906079 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20575/stat : 20575 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 15 0 107268214 11343855616 76545 33554432000 4194304 4196468 140722262617696 139646365329888 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20576] ppid=20507 vsize=11077984 memory=140277878450481 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20576/stat : 20576 (java) S 20507 20510 10029 0 -1 1077944384 8 13206 0 0 0 0 5 3 20 0 15 0 107268215 11343855616 76545 33554432000 4194304 4196468 140722262617696 139647994739632 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
Current children cumulated CPU time: 6.95 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 306180 KiB

[startup+3.70149 s]
/proc/loadavg: 2.11 2.02 1.90 5/216 20576
/proc/meminfo: memFree=25333656/32770624 swapFree=67028832/67108860
[pid=20510] ppid=20507 vsize=11212432 memory=310608 CPUtime=7.25 cores=0,2,4,6
/proc/20510/stat : 20510 (java) S 20507 20510 10029 0 -1 1077944320 69421 13206 0 0 695 22 5 3 20 0 14 0 107268199 11481530368 77652 33554432000 4194304 4196468 140722262617696 140722262600240 139648505839351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
/proc/20510/statm: 2803108 77652 3497 1 0 2764761 0
[pid=20510/tid=20563] ppid=20507 vsize=11212432 memory=140277878448273 CPUtime=3.56 cores=0,2,4,6
/proc/20510/task/20563/stat : 20563 (java) S 20507 20510 10029 0 -1 1077944384 46525 13206 0 0 337 11 5 3 20 0 14 0 107268209 11481530368 77652 33554432000 4194304 4196468 140722262617696 139648477682832 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20564] ppid=20507 vsize=11212432 memory=253096 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20564/stat : 20564 (java) S 20507 20510 10029 0 -1 1077944384 42 13206 0 0 3 0 5 3 20 0 14 0 107268209 11481530368 77652 33554432000 4194304 4196468 140722262617696 139648510081424 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20565] ppid=20507 vsize=11212432 memory=280555451596864 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20565/stat : 20565 (java) S 20507 20510 10029 0 -1 1077944384 56 13206 0 0 3 0 5 3 20 0 14 0 107268209 11481530368 77652 33554432000 4194304 4196468 140722262617696 139648380729616 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20566] ppid=20507 vsize=11212432 memory=247260 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20566/stat : 20566 (java) S 20507 20510 10029 0 -1 1077944384 282 13206 0 0 3 0 5 3 20 0 14 0 107268209 11481530368 77652 33554432000 4194304 4196468 140722262617696 139648379677328 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20567] ppid=20507 vsize=11212432 memory=6935649255759568960 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20567/stat : 20567 (java) S 20507 20510 10029 0 -1 1077944384 52 13206 0 0 3 0 5 3 20 0 14 0 107268209 11481530368 77652 33554432000 4194304 4196468 140722262617696 139648043899408 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20568] ppid=20507 vsize=11212432 memory=191472 CPUtime=0.11 cores=0,2,4,6
/proc/20510/task/20568/stat : 20568 (java) S 20507 20510 10029 0 -1 1077944384 1099 13206 0 0 3 0 5 3 20 0 14 0 107268211 11481530368 77652 33554432000 4194304 4196468 140722262617696 139647998950208 139648505850498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20569] ppid=20507 vsize=11212432 memory=9169 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20569/stat : 20569 (java) S 20507 20510 10029 0 -1 1077944384 13 13206 0 0 0 0 5 3 20 0 14 0 107268211 11481530368 77652 33554432000 4194304 4196468 140722262617696 139647170635104 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20570] ppid=20507 vsize=11212432 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20570/stat : 20570 (java) S 20507 20510 10029 0 -1 1077944384 43 13206 0 0 0 0 5 3 20 0 14 0 107268211 11481530368 77652 33554432000 4194304 4196468 140722262617696 139647103522432 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20571] ppid=20507 vsize=11212432 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20571/stat : 20571 (java) S 20507 20510 10029 0 -1 1077944384 27 13206 0 0 0 0 5 3 20 0 14 0 107268214 11481530368 77652 33554432000 4194304 4196468 140722262617696 139646796125568 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20572] ppid=20507 vsize=11212432 memory=8 CPUtime=1.3 cores=0,2,4,6
/proc/20510/task/20572/stat : 20572 (java) R 20507 20510 10029 0 -1 4202560 7844 13206 0 0 120 2 5 3 20 0 14 0 107268214 11481530368 77652 33554432000 4194304 4196468 140722262617696 139647997882608 139648490948917 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20573] ppid=20507 vsize=11212432 memory=8 CPUtime=1.09 cores=0,2,4,6
/proc/20510/task/20573/stat : 20573 (java) S 20507 20510 10029 0 -1 1077944384 4965 13206 0 0 99 2 5 3 20 0 14 0 107268214 11481530368 77652 33554432000 4194304 4196468 140722262617696 139647996835296 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20574] ppid=20507 vsize=11212432 memory=8 CPUtime=1.29 cores=0,2,4,6
/proc/20510/task/20574/stat : 20574 (java) S 20507 20510 10029 0 -1 1077944384 6255 13206 0 0 119 2 5 3 20 0 14 0 107268214 11481530368 77652 33554432000 4194304 4196468 140722262617696 139647995791728 139648505850498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
[pid=20510/tid=20575] ppid=20507 vsize=11212432 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20510/task/20575/stat : 20575 (java) S 20507 20510 10029 0 -1 1077944384 3 13206 0 0 0 0 5 3 20 0 14 0 107268214 11481530368 77652 33554432000 4194304 4196468 140722262617696 139646365329888 139648505849557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13422592 140722262620785 140722262623585 140722262623585 140722262626255 0
Current children cumulated CPU time: 7.25 s
Current children cumulated vsize: 11212432 KiB
Current children cumulated memory: 310608 KiB

Child status: 0
Real time (s): 3.78158
CPU time (s): 7.33531
CPU user time (s): 7.05962
CPU system time (s): 0.275696
CPU usage (%): 193.975
Max. virtual memory (cumulated for all children) (KiB): 11212432
Max. memory (cumulated for all children) (KiB): 310608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.05961
system time used= 0.275696
maximum resident set size= 312616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6144
involuntary context switches= 48


# summary of solver processes directly reported to runsolver:
#   pid: 20510
#   total CPU time (s): 7.33531
#   total CPU user time (s): 7.05962
#   total CPU system time (s): 0.275696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037883 second user time and 0.083693 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-29 22:44:10
IDJOB=4302472
IDBENCH=141357
IDSOLVER=2776
FILE ID=node102/4302472-1532897050
RUNJOBID= node102-1532894154-16078
PBS_JOBID= 21022526
Free space on /tmp= 52952 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m1s-1_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302472-1532897050/watcher-4302472-1532897050 -o /tmp/evaluation-result-4302472-1532897050/solver-4302472-1532897050 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16078 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1861291093 HOME/instance-4302472-1532897050.xml

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

MD5SUM BENCH= 1aa19c04fc46d2c59e842211a2e06bfd
RANDOM SEED=1861291093

node102.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.51
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.51
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.51
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.51
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:        25572192 kB
MemAvailable:   30852648 kB
Buffers:          235172 kB
Cached:          5289300 kB
SwapCached:        53020 kB
Active:          2360404 kB
Inactive:        4311896 kB
Active(anon):    1074052 kB
Inactive(anon):    99168 kB
Active(file):    1286352 kB
Inactive(file):  4212728 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67028832 kB
Dirty:             26388 kB
Writeback:             0 kB
AnonPages:       1180312 kB
Mapped:            51328 kB
Shmem:             22596 kB
Slab:             223944 kB
SReclaimable:     194420 kB
SUnreclaim:        29524 kB
KernelStack:        3808 kB
PageTables:         7608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2268240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    948224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52928 MiB
End job on node102 at 2018-07-29 22:44:14