Trace number 4304799

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.2OPT9 11.7525 5.01809

General information on the benchmark

NameBacp/Bacp-m2/
Bacp-m2-05_c18.xml
MD5SUM9bea89b95554517f61b3b27d7211ee0b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark0.027026
Satisfiable
(Un)Satisfiability was proved
Number of variables106
Number of constraints116
Number of domains4
Minimum domain size2
Maximum domain size10
Distribution of domain sizes[{"size":2,"count":80},{"size":5,"count":21},{"size":10,"count":5}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":5},{"degree":4,"count":80},{"degree":5,"count":3},{"degree":6,"count":8},{"degree":7,"count":3},{"degree":8,"count":2}]
Minimum constraint arity2
Maximum constraint arity17
Distribution of constraint arities[{"arity":2,"count":90},{"arity":5,"count":16},{"arity":17,"count":10}]
Number of extensional constraints80
Number of intensional constraints10
Distribution of constraint types[{"type":"extension","count":80},{"type":"intension","count":10},{"type":"sum","count":26}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
9.81/4.49	o 9
11.45/5.00	v <instantiation cost="9">
11.45/5.00	v       <list>
11.45/5.00	v         prd[0] prd[1] prd[2] prd[3] prd[4] prd[5] prd[6] prd[7] prd[8] prd[9] prd[10] prd[11] prd[12] prd[13] prd[14] prd[15] nco[0] nco[1] nco[2] nco[3] nco[4] ncr[0] ncr[1] ncr[2] ncr[3] ncr[4] pc[0][0] pc[0][1] pc[0][2] pc[0][3] pc[0][4] pc[0][5] pc[0][6] pc[0][7] pc[0][8] pc[0][9] pc[0][10] pc[0][11] pc[0][12] pc[0][13] pc[0][14] pc[0][15] pc[1][0] pc[1][1] pc[1][2] pc[1][3] pc[1][4] pc[1][5] pc[1][6] pc[1][7] pc[1][8] pc[1][9] pc[1][10] pc[1][11] pc[1][12] pc[1][13] pc[1][14] pc[1][15] pc[2][0] pc[2][1] pc[2][2] pc[2][3] pc[2][4] pc[2][5] pc[2][6] pc[2][7] pc[2][8] pc[2][9] pc[2][10] pc[2][11] pc[2][12] pc[2][13] pc[2][14] pc[2][15] pc[3][0] pc[3][1] pc[3][2] pc[3][3] pc[3][4] pc[3][5] pc[3][6] pc[3][7] pc[3][8] pc[3][9] pc[3][10] pc[3][11] pc[3][12] pc[3][13] pc[3][14] pc[3][15] pc[4][0] pc[4][1] pc[4][2] pc[4][3] pc[4][4] pc[4][5] pc[4][6] pc[4][7] pc[4][8] pc[4][9] pc[4][10] pc[4][11] pc[4][12] pc[4][13] pc[4][14] pc[4][15]
11.45/5.00	v       </list>
11.45/5.00	v       <values>
11.45/5.00	v         4 4 2 1 4 4 3 1 3 2 3 0 1 2 0 0 3 3 3 3 4 9 9 8 9 9 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0
11.45/5.00	v       </values>
11.45/5.00	v     </instantiation>
11.45/5.00	s OPTIMUM FOUND

Verifier Data 

OK	9

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304799-1534152743/watcher-4304799-1534152743 -o /tmp/evaluation-result-4304799-1534152743/solver-4304799-1534152743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534137874-9214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1073892332 HOME/instance-4304799-1534152743.xml 

running on 4 cores: 1,3,5,7

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

solver pid=12308, runsolver pid=12305

[startup+0.100123 s]*
/proc/loadavg: 1.31 1.31 1.35 2/207 12365
/proc/meminfo: memFree=26815240/32770624 swapFree=67108804/67108860
[pid=12308] ppid=12305 vsize=10005480 memory=18324 CPUtime=0.09 cores=1,3,5,7
/proc/12308/stat : 12308 (java) S 12305 12308 8955 0 -1 1077944320 4260 12981 0 0 1 1 5 2 20 0 6 0 232837504 10245611520 4581 33554432000 4194304 4196468 140736673547920 140736673530464 140627846475511 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
/proc/12308/statm: 2501370 4581 1930 1 0 2489808 0
[pid=12308/tid=12361] ppid=12305 vsize=10005480 memory=4279135703980081295 CPUtime=0.08 cores=1,3,5,7
/proc/12308/task/12361/stat : 12361 (java) R 12305 12308 8955 0 -1 4202560 2080 12981 0 0 1 0 5 2 20 0 6 0 232837512 10245611520 4647 33554432000 4194304 4196468 140736673547920 140627818312272 140627831598448 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12362] ppid=12305 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12362/stat : 12362 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 6 0 232837513 10245611520 4647 33554432000 4194304 4196468 140736673547920 140627850717840 140627846485717 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12363] ppid=12305 vsize=10005480 memory=139974396798592 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12363/stat : 12363 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 6 0 232837513 10245611520 4647 33554432000 4194304 4196468 140736673547920 140627705436688 140627846485717 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12364] ppid=12305 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12364/stat : 12364 (java) S 12305 12308 8955 0 -1 1077944384 2 12981 0 0 0 0 5 2 20 0 6 0 232837513 10245611520 4647 33554432000 4194304 4196468 140736673547920 140627704383888 140627846485717 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12365] ppid=12305 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12365/stat : 12365 (java) S 12305 12308 8955 0 -1 1077944384 2 12981 0 0 0 0 5 2 20 0 6 0 232837513 10245611520 4647 33554432000 4194304 4196468 140736673547920 140627703331088 140627846485717 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18324 KiB

[startup+0.209946 s]*
/proc/loadavg: 1.31 1.31 1.35 3/216 12374
/proc/meminfo: memFree=26794268/32770624 swapFree=67108804/67108860
[pid=12308] ppid=12305 vsize=10982744 memory=46276 CPUtime=0.25 cores=1,3,5,7
/proc/12308/stat : 12308 (java) S 12305 12308 8955 0 -1 1077944320 7805 12981 0 0 16 2 5 2 20 0 15 0 232837504 11246329856 11569 33554432000 4194304 4196468 140736673547920 140736673530464 140627846475511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
/proc/12308/statm: 2745686 11569 2950 1 0 2708109 0
[pid=12308/tid=12361] ppid=12305 vsize=10985364 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/12308/task/12361/stat : 12361 (java) R 12305 12308 8955 0 -1 4202560 4626 12981 0 0 10 1 5 2 20 0 15 0 232837512 11249012736 11833 33554432000 4194304 4196468 140736673547920 140627818300320 140627839155229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12362] ppid=12305 vsize=10985364 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12362/stat : 12362 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837513 11249012736 11899 33554432000 4194304 4196468 140736673547920 140627850717840 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12363] ppid=12305 vsize=10985364 memory=139974396798592 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12363/stat : 12363 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837513 11249012736 11899 33554432000 4194304 4196468 140736673547920 140627705436688 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12364] ppid=12305 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12364/stat : 12364 (java) S 12305 12308 8955 0 -1 1077944384 2 12981 0 0 0 0 5 2 20 0 15 0 232837513 11249012736 11899 33554432000 4194304 4196468 140736673547920 140627704383888 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12365] ppid=12305 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12365/stat : 12365 (java) S 12305 12308 8955 0 -1 1077944384 2 12981 0 0 0 0 5 2 20 0 15 0 232837513 11249012736 11899 33554432000 4194304 4196468 140736673547920 140627703331088 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12366] ppid=12305 vsize=10985364 memory=139974396798592 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12366/stat : 12366 (java) S 12305 12308 8955 0 -1 1077944384 2 12981 0 0 0 0 5 2 20 0 15 0 232837515 11249012736 11965 33554432000 4194304 4196468 140736673547920 140627271416688 140627846486658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12367] ppid=12305 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12367/stat : 12367 (java) S 12305 12308 8955 0 -1 1077944384 13 12981 0 0 0 0 5 2 20 0 15 0 232837515 11249012736 11965 33554432000 4194304 4196468 140736673547920 140626638136864 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12368] ppid=12305 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12368/stat : 12368 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837515 11249012736 11965 33554432000 4194304 4196468 140736673547920 140626490287472 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12369] ppid=12305 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12369/stat : 12369 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11249012736 11965 33554432000 4194304 4196468 140736673547920 140626182887760 140627846494107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12370] ppid=12305 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12308/task/12370/stat : 12370 (java) S 12305 12308 8955 0 -1 1077944384 440 12981 0 0 1 0 5 2 20 0 15 0 232837518 11249012736 11965 33554432000 4194304 4196468 140736673547920 140627270363504 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12371] ppid=12305 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12371/stat : 12371 (java) S 12305 12308 8955 0 -1 1077944384 180 12981 0 0 0 0 5 2 20 0 15 0 232837518 11249012736 12031 33554432000 4194304 4196468 140736673547920 140627269310704 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12372] ppid=12305 vsize=10985364 memory=139974396798592 CPUtime=0.09 cores=1,3,5,7
/proc/12308/task/12372/stat : 12372 (java) S 12305 12308 8955 0 -1 1077944384 611 12981 0 0 2 0 5 2 20 0 15 0 232837518 11249012736 12031 33554432000 4194304 4196468 140736673547920 140627268257904 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12373] ppid=12305 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12373/stat : 12373 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11249012736 12031 33554432000 4194304 4196468 140736673547920 140625752090848 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12374] ppid=12305 vsize=10985364 memory=139974396798592 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12374/stat : 12374 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837518 11249012736 12031 33554432000 4194304 4196468 140736673547920 140627267206320 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46276 KiB

[startup+0.31041 s]*
/proc/loadavg: 1.31 1.31 1.35 3/216 12374
/proc/meminfo: memFree=26781864/32770624 swapFree=67108804/67108860
[pid=12308] ppid=12305 vsize=10983192 memory=56960 CPUtime=0.38 cores=1,3,5,7
/proc/12308/stat : 12308 (java) S 12305 12308 8955 0 -1 1077944320 10302 12981 0 0 28 3 5 2 20 0 15 0 232837504 11246788608 14240 33554432000 4194304 4196468 140736673547920 140736673530464 140627846475511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
/proc/12308/statm: 2745798 14240 3069 1 0 2708109 0
[pid=12308/tid=12361] ppid=12305 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/12308/task/12361/stat : 12361 (java) R 12305 12308 8955 0 -1 4202560 6853 12981 0 0 19 2 5 2 20 0 15 0 232837512 11246788608 14240 33554432000 4194304 4196468 140736673547920 140627818287520 140627830555998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12362] ppid=12305 vsize=10983192 memory=6368744504808198225 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12362/stat : 12362 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837513 11246788608 14240 33554432000 4194304 4196468 140736673547920 140627850717840 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12363] ppid=12305 vsize=10983192 memory=2080 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12363/stat : 12363 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837513 11246788608 14240 33554432000 4194304 4196468 140736673547920 140627705436688 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12364] ppid=12305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12364/stat : 12364 (java) S 12305 12308 8955 0 -1 1077944384 2 12981 0 0 0 0 5 2 20 0 15 0 232837513 11246788608 14240 33554432000 4194304 4196468 140736673547920 140627704383888 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12365] ppid=12305 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12365/stat : 12365 (java) S 12305 12308 8955 0 -1 1077944384 2 12981 0 0 0 0 5 2 20 0 15 0 232837513 11246788608 14240 33554432000 4194304 4196468 140736673547920 140627703331088 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12366] ppid=12305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12366/stat : 12366 (java) S 12305 12308 8955 0 -1 1077944384 2 12981 0 0 0 0 5 2 20 0 15 0 232837515 11246788608 14240 33554432000 4194304 4196468 140736673547920 140627271416688 140627846486658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12367] ppid=12305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12367/stat : 12367 (java) S 12305 12308 8955 0 -1 1077944384 13 12981 0 0 0 0 5 2 20 0 15 0 232837515 11246788608 14240 33554432000 4194304 4196468 140736673547920 140626638136864 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12368] ppid=12305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12368/stat : 12368 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837515 11246788608 14240 33554432000 4194304 4196468 140736673547920 140626490287472 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12369] ppid=12305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12369/stat : 12369 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11246788608 14240 33554432000 4194304 4196468 140736673547920 140626182887760 140627846494107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12370] ppid=12305 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12308/task/12370/stat : 12370 (java) S 12305 12308 8955 0 -1 1077944384 440 12981 0 0 1 0 5 2 20 0 15 0 232837518 11246788608 14240 33554432000 4194304 4196468 140736673547920 140627270363504 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12371] ppid=12305 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12308/task/12371/stat : 12371 (java) S 12305 12308 8955 0 -1 1077944384 181 12981 0 0 1 0 5 2 20 0 15 0 232837518 11246788608 14240 33554432000 4194304 4196468 140736673547920 140627269310704 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12372] ppid=12305 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12308/task/12372/stat : 12372 (java) R 12305 12308 8955 0 -1 4202560 617 12981 0 0 4 0 5 2 20 0 15 0 232837518 11246788608 14240 33554432000 4194304 4196468 140736673547920 140627268257904 140627846496858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12373] ppid=12305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12373/stat : 12373 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11246788608 14240 33554432000 4194304 4196468 140736673547920 140625752090848 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12374] ppid=12305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12374/stat : 12374 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837518 11246788608 14240 33554432000 4194304 4196468 140736673547920 140627267206320 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56960 KiB

[startup+0.700778 s]
/proc/loadavg: 1.31 1.31 1.35 3/216 12374
/proc/meminfo: memFree=26771940/32770624 swapFree=67108804/67108860
[pid=12308] ppid=12305 vsize=10983192 memory=88840 CPUtime=0.98 cores=1,3,5,7
/proc/12308/stat : 12308 (java) S 12305 12308 8955 0 -1 1077944320 16404 12981 0 0 85 6 5 2 20 0 15 0 232837504 11246788608 22210 33554432000 4194304 4196468 140736673547920 140736673530464 140627846475511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
/proc/12308/statm: 2745798 22210 3238 1 0 2708109 0
[pid=12308/tid=12361] ppid=12305 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/12308/task/12361/stat : 12361 (java) R 12305 12308 8955 0 -1 4202560 11874 12981 0 0 55 4 5 2 20 0 15 0 232837512 11246788608 22210 33554432000 4194304 4196468 140736673547920 140627818298512 140627846497437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12362] ppid=12305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12362/stat : 12362 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837513 11246788608 22210 33554432000 4194304 4196468 140736673547920 140627850717840 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12363] ppid=12305 vsize=10983192 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12363/stat : 12363 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837513 11246788608 22210 33554432000 4194304 4196468 140736673547920 140627705436688 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12364] ppid=12305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12364/stat : 12364 (java) S 12305 12308 8955 0 -1 1077944384 2 12981 0 0 0 0 5 2 20 0 15 0 232837513 11246788608 22210 33554432000 4194304 4196468 140736673547920 140627704383888 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12365] ppid=12305 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12365/stat : 12365 (java) S 12305 12308 8955 0 -1 1077944384 2 12981 0 0 0 0 5 2 20 0 15 0 232837513 11246788608 22210 33554432000 4194304 4196468 140736673547920 140627703331088 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12366] ppid=12305 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12366/stat : 12366 (java) S 12305 12308 8955 0 -1 1077944384 5 12981 0 0 0 0 5 2 20 0 15 0 232837515 11246788608 22210 33554432000 4194304 4196468 140736673547920 140627271416688 140627846486658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12367] ppid=12305 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12367/stat : 12367 (java) S 12305 12308 8955 0 -1 1077944384 13 12981 0 0 0 0 5 2 20 0 15 0 232837515 11246788608 22210 33554432000 4194304 4196468 140736673547920 140626638136864 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12368] ppid=12305 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12368/stat : 12368 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837515 11246788608 22210 33554432000 4194304 4196468 140736673547920 140626490287472 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12369] ppid=12305 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12369/stat : 12369 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11246788608 22210 33554432000 4194304 4196468 140736673547920 140626182887760 140627846494107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12370] ppid=12305 vsize=10983192 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/12308/task/12370/stat : 12370 (java) S 12305 12308 8955 0 -1 1077944384 1052 12981 0 0 9 0 5 2 20 0 15 0 232837518 11246788608 22210 33554432000 4194304 4196468 140736673547920 140627270363504 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12371] ppid=12305 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/12308/task/12371/stat : 12371 (java) S 12305 12308 8955 0 -1 1077944384 585 12981 0 0 7 0 5 2 20 0 15 0 232837518 11246788608 22210 33554432000 4194304 4196468 140736673547920 140627269310704 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12372] ppid=12305 vsize=10983192 memory=17668 CPUtime=0.19 cores=1,3,5,7
/proc/12308/task/12372/stat : 12372 (java) S 12305 12308 8955 0 -1 1077944384 668 12981 0 0 12 0 5 2 20 0 15 0 232837518 11246788608 22210 33554432000 4194304 4196468 140736673547920 140627268257904 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12373] ppid=12305 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12373/stat : 12373 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11246788608 22210 33554432000 4194304 4196468 140736673547920 140625752090848 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12374] ppid=12305 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12374/stat : 12374 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837518 11246788608 22210 33554432000 4194304 4196468 140736673547920 140627267206320 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88840 KiB

[startup+1.50072 s]
/proc/loadavg: 1.29 1.30 1.35 3/216 12374
/proc/meminfo: memFree=26726484/32770624 swapFree=67108804/67108860
[pid=12308] ppid=12305 vsize=10998092 memory=179316 CPUtime=2.3 cores=1,3,5,7
/proc/12308/stat : 12308 (java) S 12305 12308 8955 0 -1 1077944320 23513 12981 0 0 212 11 5 2 20 0 15 0 232837504 11262046208 44829 33554432000 4194304 4196468 140736673547920 140736673530464 140627846475511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
/proc/12308/statm: 2749523 44829 3468 1 0 2711181 0
[pid=12308/tid=12361] ppid=12305 vsize=10998092 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/12308/task/12361/stat : 12361 (java) R 12305 12308 8955 0 -1 4202560 17334 12981 0 0 128 6 5 2 20 0 15 0 232837512 11262046208 44829 33554432000 4194304 4196468 140736673547920 140627818306848 140627828293903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12362] ppid=12305 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12362/stat : 12362 (java) S 12305 12308 8955 0 -1 1077944384 26 12981 0 0 0 0 5 2 20 0 15 0 232837513 11262046208 44829 33554432000 4194304 4196468 140736673547920 140627850717840 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12363] ppid=12305 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12308/task/12363/stat : 12363 (java) S 12305 12308 8955 0 -1 1077944384 189 12981 0 0 1 0 5 2 20 0 15 0 232837513 11262046208 44829 33554432000 4194304 4196468 140736673547920 140627705436688 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12364] ppid=12305 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12308/task/12364/stat : 12364 (java) S 12305 12308 8955 0 -1 1077944384 59 12981 0 0 1 0 5 2 20 0 15 0 232837513 11262046208 44829 33554432000 4194304 4196468 140736673547920 140627704383888 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12365] ppid=12305 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12308/task/12365/stat : 12365 (java) S 12305 12308 8955 0 -1 1077944384 28 12981 0 0 1 0 5 2 20 0 15 0 232837513 11262046208 44829 33554432000 4194304 4196468 140736673547920 140627703331088 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12366] ppid=12305 vsize=10998092 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/12308/task/12366/stat : 12366 (java) S 12305 12308 8955 0 -1 1077944384 62 12981 0 0 1 0 5 2 20 0 15 0 232837515 11262046208 44829 33554432000 4194304 4196468 140736673547920 140627271416688 140627846486658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12367] ppid=12305 vsize=10998092 memory=279948518566144 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12367/stat : 12367 (java) S 12305 12308 8955 0 -1 1077944384 14 12981 0 0 0 0 5 2 20 0 15 0 232837515 11262046208 44829 33554432000 4194304 4196468 140736673547920 140626638136928 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12368] ppid=12305 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12368/stat : 12368 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837515 11262046208 44829 33554432000 4194304 4196468 140736673547920 140626490287488 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12369] ppid=12305 vsize=10998092 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12369/stat : 12369 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11262046208 44829 33554432000 4194304 4196468 140736673547920 140626182887760 140627846494107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12370] ppid=12305 vsize=10998092 memory=1600 CPUtime=0.31 cores=1,3,5,7
/proc/12308/task/12370/stat : 12370 (java) S 12305 12308 8955 0 -1 1077944384 1522 12981 0 0 24 0 5 2 20 0 15 0 232837518 11262046208 44829 33554432000 4194304 4196468 140736673547920 140627270363504 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12371] ppid=12305 vsize=10998092 memory=7952 CPUtime=0.25 cores=1,3,5,7
/proc/12308/task/12371/stat : 12371 (java) S 12305 12308 8955 0 -1 1077944384 744 12981 0 0 18 0 5 2 20 0 15 0 232837518 11262046208 44829 33554432000 4194304 4196468 140736673547920 140627269310704 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12372] ppid=12305 vsize=10998092 memory=4088 CPUtime=0.4 cores=1,3,5,7
/proc/12308/task/12372/stat : 12372 (java) S 12305 12308 8955 0 -1 1077944384 1334 12981 0 0 33 0 5 2 20 0 15 0 232837518 11262046208 44829 33554432000 4194304 4196468 140736673547920 140627268257904 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12373] ppid=12305 vsize=10998092 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12373/stat : 12373 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11262046208 44829 33554432000 4194304 4196468 140736673547920 140625752090848 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12374] ppid=12305 vsize=10998092 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12374/stat : 12374 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837518 11262046208 44829 33554432000 4194304 4196468 140736673547920 140627267206320 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 10998092 KiB

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

/proc/12308/task/12361/stat : 12361 (java) R 12305 12308 8955 0 -1 1077944384 25082 12981 0 0 282 9 5 2 20 0 15 0 232837512 11272552448 64829 33554432000 4194304 4196468 140736673547920 140627818306320 140627846485717 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12362] ppid=12305 vsize=11008352 memory=388 CPUtime=0.09 cores=1,3,5,7
/proc/12308/task/12362/stat : 12362 (java) S 12305 12308 8955 0 -1 1077944384 27 12981 0 0 2 0 5 2 20 0 15 0 232837513 11272552448 64829 33554432000 4194304 4196468 140736673547920 140627850717840 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12363] ppid=12305 vsize=11008352 memory=6943526294502006880 CPUtime=0.09 cores=1,3,5,7
/proc/12308/task/12363/stat : 12363 (java) S 12305 12308 8955 0 -1 1077944384 197 12981 0 0 2 0 5 2 20 0 15 0 232837513 11272552448 64829 33554432000 4194304 4196468 140736673547920 140627705436688 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12364] ppid=12305 vsize=11008352 memory=56 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12364/stat : 12364 (java) S 12305 12308 8955 0 -1 1077944384 67 12981 0 0 3 0 5 2 20 0 15 0 232837513 11272552448 64829 33554432000 4194304 4196468 140736673547920 140627704383888 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12365] ppid=12305 vsize=11008352 memory=7886128541349720114 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12365/stat : 12365 (java) S 12305 12308 8955 0 -1 1077944384 52 12981 0 0 3 0 5 2 20 0 15 0 232837513 11272552448 64829 33554432000 4194304 4196468 140736673547920 140627703331088 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12366] ppid=12305 vsize=11008352 memory=8389687274701468466 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12366/stat : 12366 (java) S 12305 12308 8955 0 -1 1077944384 257 12981 0 0 3 0 5 2 20 0 15 0 232837515 11272552448 64829 33554432000 4194304 4196468 140736673547920 140627271416688 140627846486658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12367] ppid=12305 vsize=11008352 memory=7093353506114368198 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12367/stat : 12367 (java) S 12305 12308 8955 0 -1 1077944384 14 12981 0 0 0 0 5 2 20 0 15 0 232837515 11272552448 64829 33554432000 4194304 4196468 140736673547920 140626638136928 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12368] ppid=12305 vsize=11008352 memory=279948518819328 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12368/stat : 12368 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837515 11272552448 64829 33554432000 4194304 4196468 140736673547920 140626490287488 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12369] ppid=12305 vsize=11008352 memory=6083358604262791271 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12369/stat : 12369 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11272552448 64829 33554432000 4194304 4196468 140736673547920 140626182887760 140627846494107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12370] ppid=12305 vsize=11008352 memory=6440235876195914085 CPUtime=1.1 cores=1,3,5,7
/proc/12308/task/12370/stat : 12370 (java) R 12305 12308 8955 0 -1 4202560 4264 12981 0 0 102 1 5 2 20 0 15 0 232837518 11272552448 64829 33554432000 4194304 4196468 140736673547920 140627270351056 140627826136426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12371] ppid=12305 vsize=11008352 memory=6153985703205688937 CPUtime=0.8 cores=1,3,5,7
/proc/12308/task/12371/stat : 12371 (java) R 12305 12308 8955 0 -1 4202560 1417 12981 0 0 72 1 5 2 20 0 15 0 232837518 11272552448 64829 33554432000 4194304 4196468 140736673547920 140627269294880 140627829886405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12372] ppid=12305 vsize=11008352 memory=288230574492221466 CPUtime=1.18 cores=1,3,5,7
/proc/12308/task/12372/stat : 12372 (java) R 12305 12308 8955 0 -1 4202560 3228 12981 0 0 109 2 5 2 20 0 15 0 232837518 11272552448 64829 33554432000 4194304 4196468 140736673547920 140627268257904 140627825611449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12373] ppid=12305 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12373/stat : 12373 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11272552448 64829 33554432000 4194304 4196468 140736673547920 140625752090848 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12374] ppid=12305 vsize=11008352 memory=2193 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12374/stat : 12374 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837518 11272552448 64829 33554432000 4194304 4196468 140736673547920 140627267206320 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 259316 KiB

[startup+5.01804 s]
# the end of solver process 12308 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.4686 s, system=0.283901 s

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

[startup+3.20177 s]
/proc/loadavg: 1.29 1.30 1.35 6/216 12374
/proc/meminfo: memFree=26580640/32770624 swapFree=67108804/67108860
[pid=12308] ppid=12305 vsize=11010400 memory=261772 CPUtime=6.32 cores=1,3,5,7
/proc/12308/stat : 12308 (java) S 12305 12308 8955 0 -1 1077944320 37444 12981 0 0 608 17 5 2 20 0 15 0 232837504 11274649600 65443 33554432000 4194304 4196468 140736673547920 140736673530464 140627846475511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
/proc/12308/statm: 2752600 65443 3496 1 0 2714253 0
[pid=12308/tid=12361] ppid=12305 vsize=11010400 memory=0 CPUtime=3.06 cores=1,3,5,7
/proc/12308/task/12361/stat : 12361 (java) R 12305 12308 8955 0 -1 4202560 25288 12981 0 0 290 9 5 2 20 0 15 0 232837512 11274649600 65443 33554432000 4194304 4196468 140736673547920 140627818305864 140627379589205 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12362] ppid=12305 vsize=11010400 memory=6656426216303648864 CPUtime=0.09 cores=1,3,5,7
/proc/12308/task/12362/stat : 12362 (java) S 12305 12308 8955 0 -1 1077944384 27 12981 0 0 2 0 5 2 20 0 15 0 232837513 11274649600 65443 33554432000 4194304 4196468 140736673547920 140627850717840 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12363] ppid=12305 vsize=11010400 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12308/task/12363/stat : 12363 (java) S 12305 12308 8955 0 -1 1077944384 197 12981 0 0 2 0 5 2 20 0 15 0 232837513 11274649600 65443 33554432000 4194304 4196468 140736673547920 140627705436688 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12364] ppid=12305 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12364/stat : 12364 (java) S 12305 12308 8955 0 -1 1077944384 67 12981 0 0 3 0 5 2 20 0 15 0 232837513 11274649600 65443 33554432000 4194304 4196468 140736673547920 140627704383888 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12365] ppid=12305 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12365/stat : 12365 (java) S 12305 12308 8955 0 -1 1077944384 52 12981 0 0 3 0 5 2 20 0 15 0 232837513 11274649600 65443 33554432000 4194304 4196468 140736673547920 140627703331088 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12366] ppid=12305 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12366/stat : 12366 (java) S 12305 12308 8955 0 -1 1077944384 257 12981 0 0 3 0 5 2 20 0 15 0 232837515 11274649600 65443 33554432000 4194304 4196468 140736673547920 140627271416688 140627846486658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12367] ppid=12305 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12367/stat : 12367 (java) S 12305 12308 8955 0 -1 1077944384 14 12981 0 0 0 0 5 2 20 0 15 0 232837515 11274649600 65443 33554432000 4194304 4196468 140736673547920 140626638136928 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12368] ppid=12305 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12368/stat : 12368 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837515 11274649600 65443 33554432000 4194304 4196468 140736673547920 140626490287488 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12369] ppid=12305 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12369/stat : 12369 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11274649600 65443 33554432000 4194304 4196468 140736673547920 140626182887760 140627846494107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12370] ppid=12305 vsize=11010400 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/12308/task/12370/stat : 12370 (java) R 12305 12308 8955 0 -1 4202560 4298 12981 0 0 107 1 5 2 20 0 15 0 232837518 11274649600 65443 33554432000 4194304 4196468 140736673547920 140627270363504 140627828005733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12371] ppid=12305 vsize=11010400 memory=1260 CPUtime=0.88 cores=1,3,5,7
/proc/12308/task/12371/stat : 12371 (java) R 12305 12308 8955 0 -1 4202560 1736 12981 0 0 80 1 5 2 20 0 15 0 232837518 11274649600 65443 33554432000 4194304 4196468 140736673547920 140627269296888 140627828019711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12372] ppid=12305 vsize=11010400 memory=14872 CPUtime=1.22 cores=1,3,5,7
/proc/12308/task/12372/stat : 12372 (java) S 12305 12308 8955 0 -1 1077944384 3307 12981 0 0 113 2 5 2 20 0 15 0 232837518 11274649600 65443 33554432000 4194304 4196468 140736673547920 140627268257904 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12373] ppid=12305 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12373/stat : 12373 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11274649600 65443 33554432000 4194304 4196468 140736673547920 140625752090848 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12374] ppid=12305 vsize=11010400 memory=6788 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12374/stat : 12374 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837518 11274649600 65443 33554432000 4194304 4196468 140736673547920 140627267206320 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
Current children cumulated CPU time: 6.32 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 261772 KiB

[startup+4.00074 s]*
/proc/loadavg: 1.29 1.30 1.35 4/216 12374
/proc/meminfo: memFree=26561428/32770624 swapFree=67108804/67108860
[pid=12308] ppid=12305 vsize=11012448 memory=273244 CPUtime=8.76 cores=1,3,5,7
/proc/12308/stat : 12308 (java) S 12305 12308 8955 0 -1 1077944320 52249 12981 0 0 850 19 5 2 20 0 15 0 232837504 11276746752 68311 33554432000 4194304 4196468 140736673547920 140736673530464 140627846475511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
/proc/12308/statm: 2753112 68311 3503 1 0 2714765 0
[pid=12308/tid=12361] ppid=12305 vsize=11012448 memory=-6517102902069810590 CPUtime=3.86 cores=1,3,5,7
/proc/12308/task/12361/stat : 12361 (java) R 12305 12308 8955 0 -1 4202560 31035 12981 0 0 370 9 5 2 20 0 15 0 232837512 11276746752 68311 33554432000 4194304 4196468 140736673547920 140627818301344 140627379568240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12362] ppid=12305 vsize=11012448 memory=3691042058319900680 CPUtime=0.09 cores=1,3,5,7
/proc/12308/task/12362/stat : 12362 (java) S 12305 12308 8955 0 -1 1077944384 27 12981 0 0 2 0 5 2 20 0 15 0 232837513 11276746752 68311 33554432000 4194304 4196468 140736673547920 140627850717840 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12363] ppid=12305 vsize=11012448 memory=2321521519099057844 CPUtime=0.09 cores=1,3,5,7
/proc/12308/task/12363/stat : 12363 (java) S 12305 12308 8955 0 -1 1077944384 197 12981 0 0 2 0 5 2 20 0 15 0 232837513 11276746752 68311 33554432000 4194304 4196468 140736673547920 140627705436688 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12364] ppid=12305 vsize=11012448 memory=8470556256330945681 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12364/stat : 12364 (java) S 12305 12308 8955 0 -1 1077944384 67 12981 0 0 3 0 5 2 20 0 15 0 232837513 11276746752 68311 33554432000 4194304 4196468 140736673547920 140627704383888 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12365] ppid=12305 vsize=11012448 memory=52862457480168 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12365/stat : 12365 (java) S 12305 12308 8955 0 -1 1077944384 52 12981 0 0 3 0 5 2 20 0 15 0 232837513 11276746752 68311 33554432000 4194304 4196468 140736673547920 140627703331088 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12366] ppid=12305 vsize=11012448 memory=3540060679108320481 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12366/stat : 12366 (java) S 12305 12308 8955 0 -1 1077944384 284 12981 0 0 3 0 5 2 20 0 15 0 232837515 11276746752 68311 33554432000 4194304 4196468 140736673547920 140627271416688 140627846486658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12367] ppid=12305 vsize=11012448 memory=3977584684156723247 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12367/stat : 12367 (java) S 12305 12308 8955 0 -1 1077944384 14 12981 0 0 0 0 5 2 20 0 15 0 232837515 11276746752 68311 33554432000 4194304 4196468 140736673547920 140626638136928 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12368] ppid=12305 vsize=11012448 memory=7811612749358126188 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12368/stat : 12368 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837515 11276746752 68311 33554432000 4194304 4196468 140736673547920 140626490287488 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12369] ppid=12305 vsize=11012448 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12369/stat : 12369 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11276746752 68311 33554432000 4194304 4196468 140736673547920 140626182887760 140627846494107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12370] ppid=12305 vsize=11012448 memory=0 CPUtime=1.7 cores=1,3,5,7
/proc/12308/task/12370/stat : 12370 (java) R 12305 12308 8955 0 -1 1077944384 5617 12981 0 0 162 1 5 2 20 0 15 0 232837518 11276746752 68311 33554432000 4194304 4196468 140736673547920 140627270363504 140627846486658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12371] ppid=12305 vsize=11012448 memory=0 CPUtime=1.58 cores=1,3,5,7
/proc/12308/task/12371/stat : 12371 (java) R 12305 12308 8955 0 -1 4202560 5418 12981 0 0 150 1 5 2 20 0 15 0 232837518 11276746752 68311 33554432000 4194304 4196468 140736673547920 140627269292312 140627831373836 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12372] ppid=12305 vsize=11012448 memory=11 CPUtime=1.59 cores=1,3,5,7
/proc/12308/task/12372/stat : 12372 (java) R 12305 12308 8955 0 -1 4202560 7329 12981 0 0 149 3 5 2 20 0 15 0 232837518 11276746752 68311 33554432000 4194304 4196468 140736673547920 140627268257904 140627839575211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12373] ppid=12305 vsize=11012448 memory=66 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12373/stat : 12373 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11276746752 68311 33554432000 4194304 4196468 140736673547920 140625752090848 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12374] ppid=12305 vsize=11012448 memory=70 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12374/stat : 12374 (java) S 12305 12308 8955 0 -1 1077944384 12 12981 0 0 0 0 5 2 20 0 15 0 232837518 11276746752 68311 33554432000 4194304 4196468 140736673547920 140627267206320 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 273244 KiB

[startup+4.8007 s]
/proc/loadavg: 1.29 1.30 1.35 4/216 12374
/proc/meminfo: memFree=26561428/32770624 swapFree=67108804/67108860
[pid=12308] ppid=12305 vsize=11080032 memory=385004 CPUtime=11.13 cores=1,3,5,7
/proc/12308/stat : 12308 (java) S 12305 12308 8955 0 -1 1077944320 74326 12981 0 0 1082 24 5 2 20 0 15 0 232837504 11345952768 96251 33554432000 4194304 4196468 140736673547920 140736673530464 140627846475511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
/proc/12308/statm: 2770008 96251 3507 1 0 2731661 0
[pid=12308/tid=12361] ppid=12305 vsize=11080032 memory=16099269136353865 CPUtime=4.65 cores=1,3,5,7
/proc/12308/task/12361/stat : 12361 (java) R 12305 12308 8955 0 -1 4202560 46429 12981 0 0 446 12 5 2 20 0 15 0 232837512 11345952768 96251 33554432000 4194304 4196468 140736673547920 140627818310160 140627396263267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12362] ppid=12305 vsize=11080032 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12308/task/12362/stat : 12362 (java) S 12305 12308 8955 0 -1 1077944384 27 12981 0 0 2 0 5 2 20 0 15 0 232837513 11345952768 96251 33554432000 4194304 4196468 140736673547920 140627850717840 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12363] ppid=12305 vsize=11080032 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12308/task/12363/stat : 12363 (java) S 12305 12308 8955 0 -1 1077944384 197 12981 0 0 2 0 5 2 20 0 15 0 232837513 11345952768 96251 33554432000 4194304 4196468 140736673547920 140627705436688 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12364] ppid=12305 vsize=11080032 memory=7016714190785702558 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12364/stat : 12364 (java) S 12305 12308 8955 0 -1 1077944384 67 12981 0 0 3 0 5 2 20 0 15 0 232837513 11345952768 96251 33554432000 4194304 4196468 140736673547920 140627704383888 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12365] ppid=12305 vsize=11080032 memory=4137293581110450563 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12365/stat : 12365 (java) S 12305 12308 8955 0 -1 1077944384 52 12981 0 0 3 0 5 2 20 0 15 0 232837513 11345952768 96251 33554432000 4194304 4196468 140736673547920 140627703331088 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12366] ppid=12305 vsize=11080032 memory=8761640388318109335 CPUtime=0.1 cores=1,3,5,7
/proc/12308/task/12366/stat : 12366 (java) S 12305 12308 8955 0 -1 1077944384 471 12981 0 0 3 0 5 2 20 0 15 0 232837515 11345952768 96251 33554432000 4194304 4196468 140736673547920 140627271416688 140627846486658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12367] ppid=12305 vsize=11080032 memory=6944656592455350634 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12367/stat : 12367 (java) S 12305 12308 8955 0 -1 1077944384 14 12981 0 0 0 0 5 2 20 0 15 0 232837515 11345952768 96251 33554432000 4194304 4196468 140736673547920 140626638136928 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12368] ppid=12305 vsize=11080032 memory=7016714186490735262 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12368/stat : 12368 (java) S 12305 12308 8955 0 -1 1077944384 1 12981 0 0 0 0 5 2 20 0 15 0 232837515 11345952768 96251 33554432000 4194304 4196468 140736673547920 140626490287488 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12369] ppid=12305 vsize=11080032 memory=7682744562830902074 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12369/stat : 12369 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11345952768 96251 33554432000 4194304 4196468 140736673547920 140626182887760 140627846494107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12370] ppid=12305 vsize=11080032 memory=6944613755495348631 CPUtime=2.24 cores=1,3,5,7
/proc/12308/task/12370/stat : 12370 (java) R 12305 12308 8955 0 -1 4202560 5807 12981 0 0 215 2 5 2 20 0 15 0 232837518 11345952768 96251 33554432000 4194304 4196468 140736673547920 140627270350288 140627830449408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12371] ppid=12305 vsize=11080032 memory=0 CPUtime=2.37 cores=1,3,5,7
/proc/12308/task/12371/stat : 12371 (java) R 12305 12308 8955 0 -1 4202560 11236 12981 0 0 228 2 5 2 20 0 15 0 232837518 11345952768 96251 33554432000 4194304 4196468 140736673547920 140627269299056 140627824361728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12372] ppid=12305 vsize=11080032 memory=139974259546929 CPUtime=1.84 cores=1,3,5,7
/proc/12308/task/12372/stat : 12372 (java) S 12305 12308 8955 0 -1 1077944384 7813 12981 0 0 174 3 5 2 20 0 15 0 232837518 11345952768 96251 33554432000 4194304 4196468 140736673547920 140627268257904 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12373] ppid=12305 vsize=11080032 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12373/stat : 12373 (java) S 12305 12308 8955 0 -1 1077944384 3 12981 0 0 0 0 5 2 20 0 15 0 232837518 11345952768 96251 33554432000 4194304 4196468 140736673547920 140625752090848 140627846485717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
[pid=12308/tid=12374] ppid=12305 vsize=11080032 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/12308/task/12374/stat : 12374 (java) S 12305 12308 8955 0 -1 1077944384 13 12981 0 0 0 0 5 2 20 0 15 0 232837518 11345952768 96251 33554432000 4194304 4196468 140736673547920 140627267206320 140627846486658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140736673548908 140736673551708 140736673551708 140736673554383 0
Current children cumulated CPU time: 11.13 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 385004 KiB

[startup+5.00081 s]*
/proc/loadavg: 1.29 1.30 1.35 5/216 12374
/proc/meminfo: memFree=26452700/32770624 swapFree=67108804/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 5.01809
CPU time (s): 11.7525
CPU user time (s): 11.4686
CPU system time (s): 0.283901
CPU usage (%): 234.203
Max. virtual memory (cumulated for all children) (KiB): 11082892
Max. memory (cumulated for all children) (KiB): 385584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.4686
system time used= 0.283901
maximum resident set size= 388244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88070
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= 7677
involuntary context switches= 50


# summary of solver processes directly reported to runsolver:
#   pid: 12308
#   total CPU time (s): 11.7525
#   total CPU user time (s): 11.4686
#   total CPU system time (s): 0.283901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064392 second user time and 0.073447 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-13 11:32:23
IDJOB=4304799
IDBENCH=141673
IDSOLVER=2780
FILE ID=node105/4304799-1534152743
RUNJOBID= node105-1534137874-9214
PBS_JOBID= 21037025
Free space on /tmp= 40892 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Bacp/Bacp-m2/Bacp-m2-05_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304799-1534152743/watcher-4304799-1534152743 -o /tmp/evaluation-result-4304799-1534152743/solver-4304799-1534152743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534137874-9214 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1073892332 HOME/instance-4304799-1534152743.xml

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

MD5SUM BENCH= 9bea89b95554517f61b3b27d7211ee0b
RANDOM SEED=1073892332

node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26825716 kB
MemAvailable:   30424064 kB
Buffers:          176496 kB
Cached:          3678604 kB
SwapCached:           16 kB
Active:          3485680 kB
Inactive:        1901156 kB
Active(anon):    1483656 kB
Inactive(anon):   100528 kB
Active(file):    2002024 kB
Inactive(file):  1800628 kB
Unevictable:        7320 kB
Mlocked:            7320 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             26432 kB
Writeback:             0 kB
AnonPages:       1551664 kB
Mapped:            64904 kB
Shmem:             49748 kB
Slab:             250960 kB
SReclaimable:     223064 kB
SUnreclaim:        27896 kB
KernelStack:        3824 kB
PageTables:         8788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2538364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1468416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 40868 MiB
End job on node105 at 2018-08-13 11:32:29