Trace number 4304616

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.2-SuperNGOPT91 9.4743 4.81196

General information on the benchmark

NameRcpsp/
Rcpsp-j60-01-04_c18.xml
MD5SUM9fb24b9f48a42a135634ba64a3eecbb5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark91
Best CPU time to get the best result obtained on this benchmark2.87016
Satisfiable
(Un)Satisfiability was proved
Number of variables62
Number of constraints97
Number of domains2
Minimum domain size1
Maximum domain size324
Distribution of domain sizes[{"size":1,"count":1},{"size":324,"count":61}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":22},{"degree":4,"count":19},{"degree":5,"count":21}]
Minimum constraint arity2
Maximum constraint arity17
Distribution of constraint arities[{"arity":2,"count":93},{"arity":12,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1}]
Number of extensional constraints0
Number of intensional constraints93
Distribution of constraint types[{"type":"intension","count":93},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

1.00/0.74	c Concrete v3.9.2.1532736233296 running
8.40/4.05	o 323
8.94/4.65	o 322
8.94/4.67	o 319
8.94/4.67	o 318
8.94/4.69	o 98
9.19/4.70	o 93
9.19/4.72	o 91
9.19/4.77	v <instantiation cost="91">
9.19/4.77	v       <list>
9.19/4.77	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61]
9.19/4.77	v       </list>
9.19/4.77	v       <values>
9.19/4.77	v         0 29 5 0 20 12 12 7 15 56 64 14 7 32 23 62 34 17 38 65 70 22 20 43 51 17 27 26 24 20 73 66 26 34 28 26 32 35 27 43 71 67 71 37 65 47 52 73 73 64 78 38 59 74 85 66 72 80 90 82 87 91
9.19/4.77	v       </values>
9.19/4.77	v     </instantiation>
9.19/4.77	s OPTIMUM FOUND

Verifier Data 

OK	91

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304616-1534120679/watcher-4304616-1534120679 -o /tmp/evaluation-result-4304616-1534120679/solver-4304616-1534120679 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534095874-7006 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=291691555 -superng HOME/instance-4304616-1534120679.xml 

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

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


[startup+0.100132 s]*
/proc/loadavg: 1.61 1.71 1.76 3/209 11741
/proc/meminfo: memFree=16684344/32770624 swapFree=67108860/67108860
[pid=11684] ppid=11681 vsize=10005480 memory=18856 CPUtime=0.09 cores=0,2,4,6
/proc/11684/stat : 11684 (java) S 11681 11684 6975 0 -1 1077944320 4338 13271 0 0 1 0 5 3 20 0 6 0 229631116 10245611520 4714 33554432000 4194304 4196468 140723472004448 140723471986992 140241777340151 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
/proc/11684/statm: 2501370 4714 1934 1 0 2489808 0
[pid=11684/tid=11737] ppid=11681 vsize=10005480 memory=4279135704013833615 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11737/stat : 11737 (java) R 11681 11684 6975 0 -1 4202560 2153 13271 0 0 1 0 5 3 20 0 6 0 229631125 10245611520 4714 33554432000 4194304 4196468 140723472004448 140241749176912 140241777362077 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11738] ppid=11681 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11738/stat : 11738 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 6 0 229631126 10245611520 4714 33554432000 4194304 4196468 140723472004448 140241781582480 140241777350357 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11739] ppid=11681 vsize=10005480 memory=140269387544192 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11739/stat : 11739 (java) S 11681 11684 6975 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 6 0 229631126 10245611520 4714 33554432000 4194304 4196468 140723472004448 140241636301328 140241777350357 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11740] ppid=11681 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11740/stat : 11740 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 6 0 229631126 10245611520 4714 33554432000 4194304 4196468 140723472004448 140241635248528 140241777350357 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11741] ppid=11681 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11741/stat : 11741 (java) S 11681 11684 6975 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 6 0 229631126 10245611520 4714 33554432000 4194304 4196468 140723472004448 140241634195728 140241777350357 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18856 KiB

[startup+0.210053 s]*
/proc/loadavg: 1.61 1.71 1.76 3/218 11750
/proc/meminfo: memFree=16661840/32770624 swapFree=67108860/67108860
[pid=11684] ppid=11681 vsize=10982744 memory=44584 CPUtime=0.26 cores=0,2,4,6
/proc/11684/stat : 11684 (java) S 11681 11684 6975 0 -1 1077944320 7866 13271 0 0 17 1 5 3 20 0 15 0 229631116 11246329856 11146 33554432000 4194304 4196468 140723472004448 140723471986992 140241777340151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
/proc/11684/statm: 2745686 11146 2944 1 0 2708109 0
[pid=11684/tid=11737] ppid=11681 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/11684/task/11737/stat : 11737 (java) R 11681 11684 6975 0 -1 4202560 4443 13271 0 0 11 1 5 3 20 0 15 0 229631125 11246329856 11146 33554432000 4194304 4196468 140723472004448 140241749137072 140241761420638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11738] ppid=11681 vsize=10982744 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11738/stat : 11738 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246329856 11146 33554432000 4194304 4196468 140723472004448 140241781582480 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11739] ppid=11681 vsize=10982744 memory=140269387556130 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11739/stat : 11739 (java) S 11681 11684 6975 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246329856 11146 33554432000 4194304 4196468 140723472004448 140241636301328 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11740] ppid=11681 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11740/stat : 11740 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246329856 11146 33554432000 4194304 4196468 140723472004448 140241635248528 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11741] ppid=11681 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11741/stat : 11741 (java) S 11681 11684 6975 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246329856 11146 33554432000 4194304 4196468 140723472004448 140241634195728 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11742] ppid=11681 vsize=10982744 memory=140269387544192 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11742/stat : 11742 (java) S 11681 11684 6975 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 229631128 11246329856 11146 33554432000 4194304 4196468 140723472004448 140241202510704 140241777351298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11743] ppid=11681 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11743/stat : 11743 (java) S 11681 11684 6975 0 -1 1077944384 13 13271 0 0 0 0 5 3 20 0 15 0 229631128 11246329856 11146 33554432000 4194304 4196468 140723472004448 140240560842272 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11744] ppid=11681 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11744/stat : 11744 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631128 11246329856 11146 33554432000 4194304 4196468 140723472004448 140240412992880 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11745] ppid=11681 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11745/stat : 11745 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11246329856 11146 33554432000 4194304 4196468 140723472004448 140240105593168 140241777358747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11746] ppid=11681 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11746/stat : 11746 (java) S 11681 11684 6975 0 -1 1077944384 491 13271 0 0 1 0 5 3 20 0 15 0 229631131 11246329856 11146 33554432000 4194304 4196468 140723472004448 140241201457520 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11747] ppid=11681 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11747/stat : 11747 (java) S 11681 11684 6975 0 -1 1077944384 127 13271 0 0 0 0 5 3 20 0 15 0 229631131 11246362624 11146 33554432000 4194304 4196468 140723472004448 140241200404720 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11748] ppid=11681 vsize=10982776 memory=140269387544192 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11748/stat : 11748 (java) S 11681 11684 6975 0 -1 1077944384 625 13271 0 0 3 0 5 3 20 0 15 0 229631131 11246362624 11212 33554432000 4194304 4196468 140723472004448 140241199351920 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11749] ppid=11681 vsize=10983736 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11749/stat : 11749 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11247345664 11212 33554432000 4194304 4196468 140723472004448 140239674796256 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11750] ppid=11681 vsize=10983736 memory=140269387544192 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11750/stat : 11750 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631131 11247345664 11212 33554432000 4194304 4196468 140723472004448 140241198300336 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44584 KiB

[startup+0.310394 s]*
/proc/loadavg: 1.61 1.71 1.76 3/218 11750
/proc/meminfo: memFree=16649372/32770624 swapFree=67108860/67108860
[pid=11684] ppid=11681 vsize=10983192 memory=55288 CPUtime=0.39 cores=0,2,4,6
/proc/11684/stat : 11684 (java) S 11681 11684 6975 0 -1 1077944320 10407 13271 0 0 28 3 5 3 20 0 15 0 229631116 11246788608 13822 33554432000 4194304 4196468 140723472004448 140723471986992 140241777340151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
/proc/11684/statm: 2745798 13822 3063 1 0 2708109 0
[pid=11684/tid=11737] ppid=11681 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/11684/task/11737/stat : 11737 (java) R 11681 11684 6975 0 -1 4202560 6935 13271 0 0 19 2 5 3 20 0 15 0 229631125 11246788608 13822 33554432000 4194304 4196468 140723472004448 140241749152160 140241777362077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11738] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11738/stat : 11738 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246788608 13822 33554432000 4194304 4196468 140723472004448 140241781582480 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11739] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11739/stat : 11739 (java) S 11681 11684 6975 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246788608 13822 33554432000 4194304 4196468 140723472004448 140241636301328 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11740] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11740/stat : 11740 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246788608 13822 33554432000 4194304 4196468 140723472004448 140241635248528 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11741] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11741/stat : 11741 (java) S 11681 11684 6975 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246788608 13822 33554432000 4194304 4196468 140723472004448 140241634195728 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11742] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11742/stat : 11742 (java) S 11681 11684 6975 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 229631128 11246788608 13822 33554432000 4194304 4196468 140723472004448 140241202510704 140241777351298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11743] ppid=11681 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11743/stat : 11743 (java) S 11681 11684 6975 0 -1 1077944384 13 13271 0 0 0 0 5 3 20 0 15 0 229631128 11246788608 13822 33554432000 4194304 4196468 140723472004448 140240560842272 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11744] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11744/stat : 11744 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631128 11246788608 13822 33554432000 4194304 4196468 140723472004448 140240412992880 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11745] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11745/stat : 11745 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11246788608 13822 33554432000 4194304 4196468 140723472004448 140240105593168 140241777358747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11746] ppid=11681 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11684/task/11746/stat : 11746 (java) S 11681 11684 6975 0 -1 1077944384 491 13271 0 0 2 0 5 3 20 0 15 0 229631131 11246788608 13822 33554432000 4194304 4196468 140723472004448 140241201457520 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11747] ppid=11681 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11747/stat : 11747 (java) S 11681 11684 6975 0 -1 1077944384 129 13271 0 0 1 0 5 3 20 0 15 0 229631131 11246788608 13822 33554432000 4194304 4196468 140723472004448 140241200404720 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11748] ppid=11681 vsize=10983192 memory=140269387544192 CPUtime=0.12 cores=0,2,4,6
/proc/11684/task/11748/stat : 11748 (java) S 11681 11684 6975 0 -1 1077944384 641 13271 0 0 4 0 5 3 20 0 15 0 229631131 11246788608 13822 33554432000 4194304 4196468 140723472004448 140241199351920 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11749] ppid=11681 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11749/stat : 11749 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11246788608 13822 33554432000 4194304 4196468 140723472004448 140239674796256 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11750] ppid=11681 vsize=10983192 memory=140269387544192 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11750/stat : 11750 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631131 11246788608 13822 33554432000 4194304 4196468 140723472004448 140241198300336 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55288 KiB

[startup+0.700785 s]
/proc/loadavg: 1.61 1.71 1.76 4/218 11750
/proc/meminfo: memFree=16638552/32770624 swapFree=67108860/67108860
[pid=11684] ppid=11681 vsize=10983192 memory=88640 CPUtime=1 cores=0,2,4,6
/proc/11684/stat : 11684 (java) S 11681 11684 6975 0 -1 1077944320 16742 13271 0 0 88 4 5 3 20 0 15 0 229631116 11246788608 22160 33554432000 4194304 4196468 140723472004448 140723471986992 140241777340151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
/proc/11684/statm: 2745798 22160 3238 1 0 2708109 0
[pid=11684/tid=11737] ppid=11681 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/11684/task/11737/stat : 11737 (java) R 11681 11684 6975 0 -1 4202560 12190 13271 0 0 56 3 5 3 20 0 15 0 229631125 11246788608 22160 33554432000 4194304 4196468 140723472004448 140241749160976 140241760526960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11738] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11738/stat : 11738 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246788608 22160 33554432000 4194304 4196468 140723472004448 140241781582480 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11739] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11739/stat : 11739 (java) S 11681 11684 6975 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246788608 22160 33554432000 4194304 4196468 140723472004448 140241636301328 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11740] ppid=11681 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11740/stat : 11740 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246788608 22160 33554432000 4194304 4196468 140723472004448 140241635248528 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11741] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11741/stat : 11741 (java) S 11681 11684 6975 0 -1 1077944384 2 13271 0 0 0 0 5 3 20 0 15 0 229631126 11246788608 22160 33554432000 4194304 4196468 140723472004448 140241634195728 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11742] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11742/stat : 11742 (java) S 11681 11684 6975 0 -1 1077944384 5 13271 0 0 0 0 5 3 20 0 15 0 229631128 11246788608 22160 33554432000 4194304 4196468 140723472004448 140241202510704 140241777351298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11743] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11743/stat : 11743 (java) S 11681 11684 6975 0 -1 1077944384 13 13271 0 0 0 0 5 3 20 0 15 0 229631128 11246788608 22160 33554432000 4194304 4196468 140723472004448 140240560842272 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11744] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11744/stat : 11744 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631128 11246788608 22160 33554432000 4194304 4196468 140723472004448 140240412992880 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11745] ppid=11681 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11745/stat : 11745 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11246788608 22160 33554432000 4194304 4196468 140723472004448 140240105593168 140241777358747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11746] ppid=11681 vsize=10983192 memory=140269269853168 CPUtime=0.18 cores=0,2,4,6
/proc/11684/task/11746/stat : 11746 (java) S 11681 11684 6975 0 -1 1077944384 1092 13271 0 0 10 0 5 3 20 0 15 0 229631131 11246788608 22160 33554432000 4194304 4196468 140723472004448 140241201457520 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11747] ppid=11681 vsize=10983192 memory=140269336920677 CPUtime=0.15 cores=0,2,4,6
/proc/11684/task/11747/stat : 11747 (java) S 11681 11684 6975 0 -1 1077944384 509 13271 0 0 7 0 5 3 20 0 15 0 229631131 11246788608 22160 33554432000 4194304 4196468 140723472004448 140241200404720 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11748] ppid=11681 vsize=10983192 memory=14888 CPUtime=0.21 cores=0,2,4,6
/proc/11684/task/11748/stat : 11748 (java) S 11681 11684 6975 0 -1 1077944384 728 13271 0 0 13 0 5 3 20 0 15 0 229631131 11246788608 22160 33554432000 4194304 4196468 140723472004448 140241199351920 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11749] ppid=11681 vsize=10983192 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11749/stat : 11749 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11246788608 22160 33554432000 4194304 4196468 140723472004448 140239674796256 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11750] ppid=11681 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11750/stat : 11750 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631131 11246788608 22160 33554432000 4194304 4196468 140723472004448 140241198300336 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88640 KiB

[startup+1.50078 s]
/proc/loadavg: 1.61 1.71 1.76 5/218 11750
/proc/meminfo: memFree=16592476/32770624 swapFree=67108860/67108860
[pid=11684] ppid=11681 vsize=10998092 memory=177580 CPUtime=2.28 cores=0,2,4,6
/proc/11684/stat : 11684 (java) S 11681 11684 6975 0 -1 1077944320 23934 13271 0 0 210 10 5 3 20 0 15 0 229631116 11262046208 44395 33554432000 4194304 4196468 140723472004448 140723471986992 140241777340151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
/proc/11684/statm: 2749523 44395 3467 1 0 2711181 0
[pid=11684/tid=11737] ppid=11681 vsize=10998092 memory=3303 CPUtime=1.43 cores=0,2,4,6
/proc/11684/task/11737/stat : 11737 (java) R 11681 11684 6975 0 -1 4202560 17716 13271 0 0 129 6 5 3 20 0 15 0 229631125 11262046208 44395 33554432000 4194304 4196468 140723472004448 140241749157536 140241762708288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11738] ppid=11681 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11738/stat : 11738 (java) S 11681 11684 6975 0 -1 1077944384 28 13271 0 0 1 0 5 3 20 0 15 0 229631126 11262046208 44395 33554432000 4194304 4196468 140723472004448 140241781582480 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11739] ppid=11681 vsize=10998092 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11739/stat : 11739 (java) S 11681 11684 6975 0 -1 1077944384 61 13271 0 0 1 0 5 3 20 0 15 0 229631126 11262046208 44395 33554432000 4194304 4196468 140723472004448 140241636301328 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11740] ppid=11681 vsize=10998092 memory=3024 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11740/stat : 11740 (java) S 11681 11684 6975 0 -1 1077944384 234 13271 0 0 1 0 5 3 20 0 15 0 229631126 11262046208 44395 33554432000 4194304 4196468 140723472004448 140241635248528 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11741] ppid=11681 vsize=10998092 memory=88640 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11741/stat : 11741 (java) S 11681 11684 6975 0 -1 1077944384 27 13271 0 0 0 0 5 3 20 0 15 0 229631126 11262046208 44395 33554432000 4194304 4196468 140723472004448 140241634195728 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11742] ppid=11681 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11742/stat : 11742 (java) S 11681 11684 6975 0 -1 1077944384 52 13271 0 0 1 0 5 3 20 0 15 0 229631128 11262046208 44395 33554432000 4194304 4196468 140723472004448 140241202510704 140241777351298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11743] ppid=11681 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11743/stat : 11743 (java) S 11681 11684 6975 0 -1 1077944384 14 13271 0 0 0 0 5 3 20 0 15 0 229631128 11262046208 44395 33554432000 4194304 4196468 140723472004448 140240560842336 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11744] ppid=11681 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11744/stat : 11744 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631128 11262046208 44395 33554432000 4194304 4196468 140723472004448 140240412992896 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11745] ppid=11681 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11745/stat : 11745 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11262046208 44395 33554432000 4194304 4196468 140723472004448 140240105593168 140241777358747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11746] ppid=11681 vsize=10998092 memory=4638778398332698720 CPUtime=0.29 cores=0,2,4,6
/proc/11684/task/11746/stat : 11746 (java) S 11681 11684 6975 0 -1 1077944384 1295 13271 0 0 21 0 5 3 20 0 15 0 229631131 11262046208 44395 33554432000 4194304 4196468 140723472004448 140241201457520 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11747] ppid=11681 vsize=10998092 memory=280538540186496 CPUtime=0.28 cores=0,2,4,6
/proc/11684/task/11747/stat : 11747 (java) S 11681 11684 6975 0 -1 1077944384 1033 13271 0 0 20 0 5 3 20 0 15 0 229631131 11262046208 44395 33554432000 4194304 4196468 140723472004448 140241200404720 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11748] ppid=11681 vsize=10998092 memory=6944656592452938395 CPUtime=0.4 cores=0,2,4,6
/proc/11684/task/11748/stat : 11748 (java) S 11681 11684 6975 0 -1 1077944384 1275 13271 0 0 32 0 5 3 20 0 15 0 229631131 11262046208 44395 33554432000 4194304 4196468 140723472004448 140241199351920 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11749] ppid=11681 vsize=10998092 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11749/stat : 11749 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11262046208 44395 33554432000 4194304 4196468 140723472004448 140239674796256 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11750] ppid=11681 vsize=10998092 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11750/stat : 11750 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631131 11262046208 44395 33554432000 4194304 4196468 140723472004448 140241198300336 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB

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

/proc/11684/task/11737/stat : 11737 (java) R 11681 11684 6975 0 -1 4202560 21314 13271 0 0 287 8 5 3 20 0 15 0 229631125 11272552448 56861 33554432000 4194304 4196468 140723472004448 140241749170784 140241777352086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11738] ppid=11681 vsize=11008352 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11738/stat : 11738 (java) S 11681 11684 6975 0 -1 1077944384 28 13271 0 0 1 0 5 3 20 0 15 0 229631126 11272552448 56861 33554432000 4194304 4196468 140723472004448 140241781582480 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11739] ppid=11681 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11739/stat : 11739 (java) S 11681 11684 6975 0 -1 1077944384 61 13271 0 0 1 0 5 3 20 0 15 0 229631126 11272552448 56861 33554432000 4194304 4196468 140723472004448 140241636301328 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11740] ppid=11681 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11740/stat : 11740 (java) S 11681 11684 6975 0 -1 1077944384 234 13271 0 0 1 0 5 3 20 0 15 0 229631126 11272552448 56861 33554432000 4194304 4196468 140723472004448 140241635248528 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11741] ppid=11681 vsize=11008352 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11741/stat : 11741 (java) S 11681 11684 6975 0 -1 1077944384 27 13271 0 0 0 0 5 3 20 0 15 0 229631126 11272552448 56861 33554432000 4194304 4196468 140723472004448 140241634195728 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11742] ppid=11681 vsize=11008352 memory=62444 CPUtime=0.09 cores=0,2,4,6
/proc/11684/task/11742/stat : 11742 (java) S 11681 11684 6975 0 -1 1077944384 59 13271 0 0 1 0 5 3 20 0 15 0 229631128 11272552448 56861 33554432000 4194304 4196468 140723472004448 140241202510704 140241777351298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11743] ppid=11681 vsize=11008352 memory=1236 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11743/stat : 11743 (java) S 11681 11684 6975 0 -1 1077944384 14 13271 0 0 0 0 5 3 20 0 15 0 229631128 11272552448 56861 33554432000 4194304 4196468 140723472004448 140240560842336 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11744] ppid=11681 vsize=11008352 memory=2444 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11744/stat : 11744 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631128 11272552448 56861 33554432000 4194304 4196468 140723472004448 140240412992896 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11745] ppid=11681 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11745/stat : 11745 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11272552448 56861 33554432000 4194304 4196468 140723472004448 140240105593168 140241777358747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11746] ppid=11681 vsize=11008352 memory=190434554960775 CPUtime=0.82 cores=0,2,4,6
/proc/11684/task/11746/stat : 11746 (java) R 11681 11684 6975 0 -1 4202560 1821 13271 0 0 73 1 5 3 20 0 15 0 229631131 11272552448 56861 33554432000 4194304 4196468 140723472004448 140241201448976 140241761616327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11747] ppid=11681 vsize=11008352 memory=190434554960776 CPUtime=0.86 cores=0,2,4,6
/proc/11684/task/11747/stat : 11747 (java) S 11681 11684 6975 0 -1 1077944384 1369 13271 0 0 77 1 5 3 20 0 15 0 229631131 11272552448 56861 33554432000 4194304 4196468 140723472004448 140241200404720 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11748] ppid=11681 vsize=11008352 memory=190434554960777 CPUtime=1.27 cores=0,2,4,6
/proc/11684/task/11748/stat : 11748 (java) R 11681 11684 6975 0 -1 1077944384 3398 13271 0 0 117 2 5 3 20 0 15 0 229631131 11272552448 56861 33554432000 4194304 4196468 140723472004448 140241199351920 140241777351298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11749] ppid=11681 vsize=11008352 memory=190434554960778 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11749/stat : 11749 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11272552448 56861 33554432000 4194304 4196468 140723472004448 140239674796256 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11750] ppid=11681 vsize=11008352 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11750/stat : 11750 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631131 11272552448 56861 33554432000 4194304 4196468 140723472004448 140241198300336 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 227444 KiB

[startup+4.81193 s]
# the end of solver process 11684 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.18427 s, system=0.290035 s

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

[startup+3.21028 s]
/proc/loadavg: 1.61 1.71 1.76 5/218 11750
/proc/meminfo: memFree=16483560/32770624 swapFree=67108860/67108860
[pid=11684] ppid=11681 vsize=11008352 memory=251636 CPUtime=6.06 cores=0,2,4,6
/proc/11684/stat : 11684 (java) S 11681 11684 6975 0 -1 1077944320 42747 13271 0 0 581 17 5 3 20 0 15 0 229631116 11272552448 62909 33554432000 4194304 4196468 140723472004448 140723471986992 140241777340151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
/proc/11684/statm: 2752088 62909 3494 1 0 2713741 0
[pid=11684/tid=11737] ppid=11681 vsize=11008352 memory=8 CPUtime=3.09 cores=0,2,4,6
/proc/11684/task/11737/stat : 11737 (java) S 11681 11684 6975 0 -1 1077944384 24751 13271 0 0 293 8 5 3 20 0 15 0 229631125 11272552448 62909 33554432000 4194304 4196468 140723472004448 140241749162928 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11738] ppid=11681 vsize=11008352 memory=8 CPUtime=0.1 cores=0,2,4,6
/proc/11684/task/11738/stat : 11738 (java) R 11681 11684 6975 0 -1 4202560 550 13271 0 0 2 0 5 3 20 0 15 0 229631126 11272552448 62909 33554432000 4194304 4196468 140723472004448 140241781582480 140241758893402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11739] ppid=11681 vsize=11008352 memory=8 CPUtime=0.1 cores=0,2,4,6
/proc/11684/task/11739/stat : 11739 (java) R 11681 11684 6975 0 -1 4202560 400 13271 0 0 2 0 5 3 20 0 15 0 229631126 11272552448 62909 33554432000 4194304 4196468 140723472004448 140241636301328 140241770436884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11740] ppid=11681 vsize=11008352 memory=8 CPUtime=0.1 cores=0,2,4,6
/proc/11684/task/11740/stat : 11740 (java) R 11681 11684 6975 0 -1 4202560 243 13271 0 0 2 0 5 3 20 0 15 0 229631126 11272552448 62909 33554432000 4194304 4196468 140723472004448 140241635248728 140241762040795 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11741] ppid=11681 vsize=11008352 memory=8 CPUtime=0.1 cores=0,2,4,6
/proc/11684/task/11741/stat : 11741 (java) R 11681 11684 6975 0 -1 4202560 52 13271 0 0 2 0 5 3 20 0 15 0 229631126 11272552448 62909 33554432000 4194304 4196468 140723472004448 140241634195728 140241758949897 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11742] ppid=11681 vsize=11008352 memory=8 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11742/stat : 11742 (java) S 11681 11684 6975 0 -1 1077944384 7748 13271 0 0 3 0 5 3 20 0 15 0 229631128 11272552448 62909 33554432000 4194304 4196468 140723472004448 140241202509216 140241777350357 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11743] ppid=11681 vsize=11008352 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11743/stat : 11743 (java) S 11681 11684 6975 0 -1 1077944384 14 13271 0 0 0 0 5 3 20 0 15 0 229631128 11272552448 62909 33554432000 4194304 4196468 140723472004448 140240560842336 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11744] ppid=11681 vsize=11008352 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11744/stat : 11744 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631128 11272552448 62909 33554432000 4194304 4196468 140723472004448 140240412992896 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11745] ppid=11681 vsize=11008352 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11745/stat : 11745 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11272552448 62909 33554432000 4194304 4196468 140723472004448 140240105593168 140241777358747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11746] ppid=11681 vsize=11008352 memory=1696 CPUtime=0.83 cores=0,2,4,6
/proc/11684/task/11746/stat : 11746 (java) S 11681 11684 6975 0 -1 1077944384 1828 13271 0 0 74 1 5 3 20 0 15 0 229631131 11272552448 62909 33554432000 4194304 4196468 140723472004448 140241201457520 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11747] ppid=11681 vsize=11008352 memory=916 CPUtime=0.87 cores=0,2,4,6
/proc/11684/task/11747/stat : 11747 (java) S 11681 11684 6975 0 -1 1077944384 1379 13271 0 0 78 1 5 3 20 0 15 0 229631131 11272552448 62909 33554432000 4194304 4196468 140723472004448 140241200404720 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11748] ppid=11681 vsize=11008352 memory=3844 CPUtime=1.28 cores=0,2,4,6
/proc/11684/task/11748/stat : 11748 (java) S 11681 11684 6975 0 -1 1077944384 3578 13271 0 0 118 2 5 3 20 0 15 0 229631131 11272552448 62909 33554432000 4194304 4196468 140723472004448 140241199351920 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11749] ppid=11681 vsize=11008352 memory=2668 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11749/stat : 11749 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11272552448 62909 33554432000 4194304 4196468 140723472004448 140239674796256 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11750] ppid=11681 vsize=11008352 memory=2672 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11750/stat : 11750 (java) S 11681 11684 6975 0 -1 1077944384 6 13271 0 0 0 0 5 3 20 0 15 0 229631131 11272552448 62909 33554432000 4194304 4196468 140723472004448 140241198300336 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 251636 KiB

[startup+4.00131 s]*
/proc/loadavg: 1.80 1.75 1.77 5/218 11750
/proc/meminfo: memFree=16370296/32770624 swapFree=67108860/67108860
[pid=11684] ppid=11681 vsize=11080800 memory=333448 CPUtime=8.4 cores=0,2,4,6
/proc/11684/stat : 11684 (java) S 11681 11684 6975 0 -1 1077944320 70882 13271 0 0 809 23 5 3 20 0 15 0 229631116 11346739200 83362 33554432000 4194304 4196468 140723472004448 140723471986992 140241777340151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
/proc/11684/statm: 2770200 83362 3496 1 0 2731853 0
[pid=11684/tid=11737] ppid=11681 vsize=11080800 memory=734141938788466993 CPUtime=3.87 cores=0,2,4,6
/proc/11684/task/11737/stat : 11737 (java) R 11681 11684 6975 0 -1 4202560 43089 13271 0 0 368 11 5 3 20 0 15 0 229631125 11346739200 83362 33554432000 4194304 4196468 140723472004448 140241749153968 140241758905113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11738] ppid=11681 vsize=11080800 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11738/stat : 11738 (java) S 11681 11684 6975 0 -1 1077944384 550 13271 0 0 3 0 5 3 20 0 15 0 229631126 11346739200 83362 33554432000 4194304 4196468 140723472004448 140241781582480 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11739] ppid=11681 vsize=11080800 memory=297469242392308864 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11739/stat : 11739 (java) S 11681 11684 6975 0 -1 1077944384 400 13271 0 0 3 0 5 3 20 0 15 0 229631126 11346739200 83362 33554432000 4194304 4196468 140723472004448 140241636301328 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11740] ppid=11681 vsize=11080800 memory=7518026630507423337 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11740/stat : 11740 (java) S 11681 11684 6975 0 -1 1077944384 243 13271 0 0 3 0 5 3 20 0 15 0 229631126 11346739200 83362 33554432000 4194304 4196468 140723472004448 140241635248528 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11741] ppid=11681 vsize=11080800 memory=6299523668370285667 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11741/stat : 11741 (java) S 11681 11684 6975 0 -1 1077944384 52 13271 0 0 3 0 5 3 20 0 15 0 229631126 11346739200 83362 33554432000 4194304 4196468 140723472004448 140241634195728 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11742] ppid=11681 vsize=11080800 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11742/stat : 11742 (java) S 11681 11684 6975 0 -1 1077944384 8030 13271 0 0 3 0 5 3 20 0 15 0 229631128 11346739200 83362 33554432000 4194304 4196468 140723472004448 140241202510704 140241777351298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11743] ppid=11681 vsize=11080800 memory=2319389199166742576 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11743/stat : 11743 (java) S 11681 11684 6975 0 -1 1077944384 14 13271 0 0 0 0 5 3 20 0 15 0 229631128 11346739200 83362 33554432000 4194304 4196468 140723472004448 140240560842336 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11744] ppid=11681 vsize=11080800 memory=7084534275837683823 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11744/stat : 11744 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631128 11346739200 83362 33554432000 4194304 4196468 140723472004448 140240412992896 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11745] ppid=11681 vsize=11080800 memory=7233721515230326624 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11745/stat : 11745 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11346739200 83362 33554432000 4194304 4196468 140723472004448 140240105593168 140241777358747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11746] ppid=11681 vsize=11080800 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/11684/task/11746/stat : 11746 (java) R 11681 11684 6975 0 -1 4202560 6040 13271 0 0 135 2 5 3 20 0 15 0 229631131 11346739200 83362 33554432000 4194304 4196468 140723472004448 140241201438536 140241762261453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11747] ppid=11681 vsize=11080800 memory=5983648038440218671 CPUtime=1.53 cores=0,2,4,6
/proc/11684/task/11747/stat : 11747 (java) R 11681 11684 6975 0 -1 4202560 5601 13271 0 0 143 2 5 3 20 0 15 0 229631131 11346739200 83362 33554432000 4194304 4196468 140723472004448 140241200390824 140241758884369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11748] ppid=11681 vsize=11080800 memory=2320962171227646648 CPUtime=1.53 cores=0,2,4,6
/proc/11684/task/11748/stat : 11748 (java) S 11681 11684 6975 0 -1 1077944384 4659 13271 0 0 143 2 5 3 20 0 15 0 229631131 11346739200 83362 33554432000 4194304 4196468 140723472004448 140241199351920 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11749] ppid=11681 vsize=11080800 memory=3976732485301903407 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11749/stat : 11749 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11346739200 83362 33554432000 4194304 4196468 140723472004448 140239674796256 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11750] ppid=11681 vsize=11080800 memory=3833609782631442336 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11750/stat : 11750 (java) S 11681 11684 6975 0 -1 1077944384 6 13271 0 0 0 0 5 3 20 0 15 0 229631131 11346739200 83362 33554432000 4194304 4196468 140723472004448 140241198300336 140241777351298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
Current children cumulated CPU time: 8.4 s
Current children cumulated vsize: 11080800 KiB
Current children cumulated memory: 333448 KiB

[startup+4.40073 s]
/proc/loadavg: 1.80 1.75 1.77 5/218 11750
/proc/meminfo: memFree=16370296/32770624 swapFree=67108860/67108860
[pid=11684] ppid=11681 vsize=11080856 memory=334544 CPUtime=8.94 cores=0,2,4,6
/proc/11684/stat : 11684 (java) S 11681 11684 6975 0 -1 1077944320 71777 13271 0 0 862 24 5 3 20 0 15 0 229631116 11346796544 83636 33554432000 4194304 4196468 140723472004448 140723471986992 140241777340151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
/proc/11684/statm: 2770214 83636 3498 1 0 2731867 0
[pid=11684/tid=11737] ppid=11681 vsize=11080856 memory=0 CPUtime=3.93 cores=0,2,4,6
/proc/11684/task/11737/stat : 11737 (java) D 11681 11684 6975 0 -1 4202560 43196 13271 0 0 373 12 5 3 20 0 15 0 229631125 11346796544 83636 33554432000 4194304 4196468 140723472004448 140241749177000 140241763080434 0 4 0 16800975 18446744072100891781 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11738] ppid=11681 vsize=11080856 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11738/stat : 11738 (java) S 11681 11684 6975 0 -1 1077944384 550 13271 0 0 3 0 5 3 20 0 15 0 229631126 11346796544 83636 33554432000 4194304 4196468 140723472004448 140241781582480 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11739] ppid=11681 vsize=11080856 memory=4640237472392239468 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11739/stat : 11739 (java) S 11681 11684 6975 0 -1 1077944384 400 13271 0 0 3 0 5 3 20 0 15 0 229631126 11346796544 83636 33554432000 4194304 4196468 140723472004448 140241636301328 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11740] ppid=11681 vsize=11080856 memory=5866899927599443048 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11740/stat : 11740 (java) S 11681 11684 6975 0 -1 1077944384 243 13271 0 0 3 0 5 3 20 0 15 0 229631126 11346796544 83636 33554432000 4194304 4196468 140723472004448 140241635248528 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11741] ppid=11681 vsize=11080856 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11741/stat : 11741 (java) S 11681 11684 6975 0 -1 1077944384 52 13271 0 0 3 0 5 3 20 0 15 0 229631126 11346796544 83636 33554432000 4194304 4196468 140723472004448 140241634195728 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11742] ppid=11681 vsize=11080856 memory=56 CPUtime=0.11 cores=0,2,4,6
/proc/11684/task/11742/stat : 11742 (java) S 11681 11684 6975 0 -1 1077944384 8030 13271 0 0 3 0 5 3 20 0 15 0 229631128 11346796544 83636 33554432000 4194304 4196468 140723472004448 140241202510704 140241777351298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11743] ppid=11681 vsize=11080856 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11743/stat : 11743 (java) S 11681 11684 6975 0 -1 1077944384 14 13271 0 0 0 0 5 3 20 0 15 0 229631128 11346796544 83636 33554432000 4194304 4196468 140723472004448 140240560842336 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11744] ppid=11681 vsize=11080856 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11744/stat : 11744 (java) S 11681 11684 6975 0 -1 1077944384 1 13271 0 0 0 0 5 3 20 0 15 0 229631128 11346796544 83636 33554432000 4194304 4196468 140723472004448 140240412992896 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11745] ppid=11681 vsize=11080856 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11745/stat : 11745 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11346796544 83636 33554432000 4194304 4196468 140723472004448 140240105593168 140241777358747 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11746] ppid=11681 vsize=11080856 memory=6655300316396806240 CPUtime=1.81 cores=0,2,4,6
/proc/11684/task/11746/stat : 11746 (java) D 11681 11684 6975 0 -1 4202560 6090 13271 0 0 171 2 5 3 20 0 15 0 229631131 11346796544 83636 33554432000 4194304 4196468 140723472004448 140241201445728 140241757057287 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11747] ppid=11681 vsize=11080856 memory=280538539622640 CPUtime=1.65 cores=0,2,4,6
/proc/11684/task/11747/stat : 11747 (java) D 11681 11684 6975 0 -1 4202560 6328 13271 0 0 155 2 5 3 20 0 15 0 229631131 11346796544 83636 33554432000 4194304 4196468 140723472004448 140241200391352 140241770057255 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11748] ppid=11681 vsize=11080856 memory=-3117775541953849953 CPUtime=1.54 cores=0,2,4,6
/proc/11684/task/11748/stat : 11748 (java) D 11681 11684 6975 0 -1 4202560 4670 13271 0 0 144 2 5 3 20 0 15 0 229631131 11346796544 83636 33554432000 4194304 4196468 140723472004448 140241199351840 140241757264287 0 4 0 16800975 18446744072100891781 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11749] ppid=11681 vsize=11080856 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11749/stat : 11749 (java) S 11681 11684 6975 0 -1 1077944384 3 13271 0 0 0 0 5 3 20 0 15 0 229631131 11346796544 83636 33554432000 4194304 4196468 140723472004448 140239674796256 140241777350357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
[pid=11684/tid=11750] ppid=11681 vsize=11080856 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/11684/task/11750/stat : 11750 (java) D 11681 11684 6975 0 -1 4202560 6 13271 0 0 0 0 5 3 20 0 15 0 229631131 11346796544 83636 33554432000 4194304 4196468 140723472004448 140241198300256 140241762196238 0 4 0 16800975 18446744072100891781 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140723472005732 140723472008540 140723472008540 140723472011215 0
Current children cumulated CPU time: 8.94 s
Current children cumulated vsize: 11080856 KiB
Current children cumulated memory: 334544 KiB

[startup+4.802 s]*
/proc/loadavg: 1.80 1.75 1.77 3/205 11751
/proc/meminfo: memFree=16666824/32770624 swapFree=67108860/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): 4.81196
CPU time (s): 9.4743
CPU user time (s): 9.18427
CPU system time (s): 0.290035
CPU usage (%): 196.891
Max. virtual memory (cumulated for all children) (KiB): 11080860
Max. memory (cumulated for all children) (KiB): 334856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.18427
system time used= 0.290035
maximum resident set size= 335048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86120
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= 7153
involuntary context switches= 56


# summary of solver processes directly reported to runsolver:
#   pid: 11684
#   total CPU time (s): 9.4743
#   total CPU user time (s): 9.18427
#   total CPU system time (s): 0.290035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053594 second user time and 0.084148 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-13 02:37:59
IDJOB=4304616
IDBENCH=141479
IDSOLVER=2781
FILE ID=node132/4304616-1534120679
RUNJOBID= node132-1534095874-7006
PBS_JOBID= 21036994
Free space on /tmp= 38172 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Rcpsp/Rcpsp-j60-01-04_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304616-1534120679/watcher-4304616-1534120679 -o /tmp/evaluation-result-4304616-1534120679/solver-4304616-1534120679 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534095874-7006 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=291691555 -superng HOME/instance-4304616-1534120679.xml

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

MD5SUM BENCH= 9fb24b9f48a42a135634ba64a3eecbb5
RANDOM SEED=291691555

node132.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.65
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.65
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.65
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.65
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:        16690364 kB
MemAvailable:   30834340 kB
Buffers:          247156 kB
Cached:         14007744 kB
SwapCached:            0 kB
Active:          8119448 kB
Inactive:        7258192 kB
Active(anon):    1072540 kB
Inactive(anon):   102816 kB
Active(file):    7046908 kB
Inactive(file):  7155376 kB
Unevictable:        6988 kB
Mlocked:            6988 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27000 kB
Writeback:             0 kB
AnonPages:       1143672 kB
Mapped:            68180 kB
Shmem:             49824 kB
Slab:             398136 kB
SReclaimable:     370152 kB
SUnreclaim:        27984 kB
KernelStack:        3840 kB
PageTables:         7520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2296924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    909312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 38148 MiB
End job on node132 at 2018-08-13 02:38:04