Trace number 4402430

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.3SAT 8.8063 4.18935

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-m4D/
Subisomorphism-si4-m4Dr4-m256-08.xml
MD5SUM81c7a723557c708ecb18ed846030ca95
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.018955
Satisfiable
(Un)Satisfiability was proved
Number of variables102
Number of constraints253
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":102}]
Minimum variable degree2
Maximum variable degree13
Distribution of variable degrees[{"degree":2,"count":9},{"degree":3,"count":22},{"degree":4,"count":19},{"degree":6,"count":17},{"degree":7,"count":10},{"degree":8,"count":12},{"degree":9,"count":7},{"degree":10,"count":5},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity102
Distribution of constraint arities[{"arity":1,"count":52},{"arity":2,"count":200},{"arity":102,"count":1}]
Number of extensional constraints252
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":252},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.77/0.55	c Concrete v3.12.3.1568965526260 running
8.71/4.11	v <instantiation
8.71/4.11	v         >
8.71/4.11	v       <list>
8.71/4.11	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101]
8.71/4.11	v       </list>
8.71/4.11	v       <values>
8.71/4.11	v         0 58 62 81 140 169 234 22 101 155 166 176 198 3 38 83 159 189 9 66 91 126 173 243 48 182 27 164 211 7 25 50 55 153 185 197 224 249 33 118 171 172 51 218 72 100 184 108 209 40 67 34 111 144 188 214 115 136 220 2 125 196 93 248 8 221 46 138 32 74 86 112 147 75 219 80 139 6 54 94 161 228 238 215 254 208 39 49 88 130 245 251 96 225 244 5 41 191 135 70 145 45
8.71/4.11	v       </values>
8.71/4.11	v     </instantiation>
8.71/4.11	s SATISFIABLE

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402430-1568978132/watcher-4402430-1568978132 -o /tmp/evaluation-result-4402430-1568978132/solver-4402430-1568978132 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568967597-26238 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1433918022 HOME/instance-4402430-1568978132.xml 

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

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

solver pid=29175, runsolver pid=29172

[startup+0.100125 s]*
/proc/loadavg: 1.75 1.43 1.37 3/220 29232
/proc/meminfo: memFree=5287864/32770624 swapFree=66955396/67108860
[pid=29175] ppid=29172 vsize=9972712 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/29175/stat : 29175 (java) S 29172 29175 26206 0 -1 1077944320 4352 13431 0 0 1 1 4 3 20 0 6 0 474084558 10212057088 4582 33554432000 4194304 4196468 140728985108112 140728985090656 139695706406647 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
/proc/29175/statm: 2493178 4582 1931 1 0 2481616 0
[pid=29175/tid=29228] ppid=29172 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29228/stat : 29228 (java) R 29172 29175 26206 0 -1 4202560 2137 13431 0 0 0 0 4 3 20 0 6 0 474084567 10212057088 4582 33554432000 4194304 4196468 140728985108112 139695678243408 139695706428573 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29229] ppid=29172 vsize=9972712 memory=5793854888756996537 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29229/stat : 29229 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 6 0 474084568 10212057088 4582 33554432000 4194304 4196468 140728985108112 139695710648592 139695706416853 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29230] ppid=29172 vsize=9972712 memory=139637747103360 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29230/stat : 29230 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 6 0 474084568 10212057088 4582 33554432000 4194304 4196468 140728985108112 139695625468304 139695706416853 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29231] ppid=29172 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29231/stat : 29231 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 6 0 474084568 10212057088 4582 33554432000 4194304 4196468 140728985108112 139695624415760 139695706416853 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29232] ppid=29172 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29232/stat : 29232 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 6 0 474084568 10212057088 4582 33554432000 4194304 4196468 140728985108112 139695277922960 139695706416853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210271 s]*
/proc/loadavg: 1.75 1.43 1.37 4/229 29241
/proc/meminfo: memFree=5267892/32770624 swapFree=66955396/67108860
[pid=29175] ppid=29172 vsize=10822180 memory=42688 CPUtime=0.26 cores=0,2,4,6
/proc/29175/stat : 29175 (java) S 29172 29175 26206 0 -1 1077944320 7480 13431 0 0 17 2 4 3 20 0 15 0 474084558 11081912320 10606 33554432000 4194304 4196468 140728985108112 140728985090656 139695706406647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
/proc/29175/statm: 2705545 10672 3297 1 0 2667645 0
[pid=29175/tid=29228] ppid=29172 vsize=10822180 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/29175/task/29228/stat : 29228 (java) R 29172 29175 26206 0 -1 4202560 4050 13431 0 0 10 1 4 3 20 0 15 0 474084567 11081912320 10738 33554432000 4194304 4196468 140728985108112 139695678219008 139695698717579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29229] ppid=29172 vsize=10822180 memory=4211973363951893898 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29229/stat : 29229 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084568 11081912320 10738 33554432000 4194304 4196468 140728985108112 139695710648592 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29230] ppid=29172 vsize=10822180 memory=139637747103360 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29230/stat : 29230 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084568 11081912320 10804 33554432000 4194304 4196468 140728985108112 139695625468304 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29231] ppid=29172 vsize=10822180 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29231/stat : 29231 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084568 11081912320 10804 33554432000 4194304 4196468 140728985108112 139695624415760 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29232] ppid=29172 vsize=10822180 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29232/stat : 29232 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084568 11081912320 10804 33554432000 4194304 4196468 140728985108112 139695277922960 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29233] ppid=29172 vsize=10822180 memory=139637747103360 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29233/stat : 29233 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084569 11081912320 10804 33554432000 4194304 4196468 140728985108112 139694926969328 139695706417794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29234] ppid=29172 vsize=10822180 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29234/stat : 29234 (java) S 29172 29175 26206 0 -1 1077944384 33 13431 0 0 0 0 4 3 20 0 15 0 474084569 11081912320 10804 33554432000 4194304 4196468 140728985108112 139694925915552 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29235] ppid=29172 vsize=10822180 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29235/stat : 29235 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084570 11081912320 10804 33554432000 4194304 4196468 140728985108112 139694802003440 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29236] ppid=29172 vsize=10823808 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29236/stat : 29236 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11083579392 10804 33554432000 4194304 4196468 140728985108112 139694309202640 139695706425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29237] ppid=29172 vsize=10823808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29175/task/29237/stat : 29237 (java) R 29172 29175 26206 0 -1 4202560 480 13431 0 0 1 0 4 3 20 0 15 0 474084572 11083579392 10804 33554432000 4194304 4196468 140728985108112 139694892357616 139695684292784 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29238] ppid=29172 vsize=10823808 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29175/task/29238/stat : 29238 (java) S 29172 29175 26206 0 -1 1077944384 182 13431 0 0 1 0 4 3 20 0 15 0 474084572 11083579392 10804 33554432000 4194304 4196468 140728985108112 139694891305072 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29239] ppid=29172 vsize=10823808 memory=139637747103360 CPUtime=0.1 cores=0,2,4,6
/proc/29175/task/29239/stat : 29239 (java) S 29172 29175 26206 0 -1 1077944384 615 13431 0 0 3 0 4 3 20 0 15 0 474084572 11083579392 10804 33554432000 4194304 4196468 140728985108112 139694890252528 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29240] ppid=29172 vsize=10823808 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29240/stat : 29240 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11083579392 10804 33554432000 4194304 4196468 140728985108112 139694275644000 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29241] ppid=29172 vsize=10823808 memory=139637747103360 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29241/stat : 29241 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084573 11083579392 10804 33554432000 4194304 4196468 140728985108112 139694889200432 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10822180 KiB
Current children cumulated memory: 42688 KiB

[startup+0.310822 s]*
/proc/loadavg: 1.75 1.43 1.37 4/229 29241
/proc/meminfo: memFree=5257636/32770624 swapFree=66955396/67108860
[pid=29175] ppid=29172 vsize=10820196 memory=49528 CPUtime=0.39 cores=0,2,4,6
/proc/29175/stat : 29175 (java) S 29172 29175 26206 0 -1 1077944320 10603 13431 0 0 29 3 4 3 20 0 15 0 474084558 11079880704 12382 33554432000 4194304 4196468 140728985108112 140728985090656 139695706406647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
/proc/29175/statm: 2705049 12382 3309 1 0 2667149 0
[pid=29175/tid=29228] ppid=29172 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/29175/task/29228/stat : 29228 (java) R 29172 29175 26206 0 -1 4202560 7056 13431 0 0 19 2 4 3 20 0 15 0 474084567 11079880704 12382 33554432000 4194304 4196468 140728985108112 139695678215568 139695690487134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29229] ppid=29172 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29229/stat : 29229 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084568 11079880704 12382 33554432000 4194304 4196468 140728985108112 139695710648592 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29230] ppid=29172 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29230/stat : 29230 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084568 11079880704 12382 33554432000 4194304 4196468 140728985108112 139695625468304 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29231] ppid=29172 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29231/stat : 29231 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084568 11079880704 12382 33554432000 4194304 4196468 140728985108112 139695624415760 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29232] ppid=29172 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29232/stat : 29232 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084568 11079880704 12382 33554432000 4194304 4196468 140728985108112 139695277922960 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29233] ppid=29172 vsize=10820196 memory=139637747103359 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29233/stat : 29233 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084569 11079880704 12382 33554432000 4194304 4196468 140728985108112 139694926969328 139695706417794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29234] ppid=29172 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29234/stat : 29234 (java) S 29172 29175 26206 0 -1 1077944384 33 13431 0 0 0 0 4 3 20 0 15 0 474084569 11079880704 12382 33554432000 4194304 4196468 140728985108112 139694925915552 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29235] ppid=29172 vsize=10820196 memory=139637747103360 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29235/stat : 29235 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084570 11079880704 12382 33554432000 4194304 4196468 140728985108112 139694802003440 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29236] ppid=29172 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29236/stat : 29236 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11079880704 12382 33554432000 4194304 4196468 140728985108112 139694309202640 139695706425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29237] ppid=29172 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29175/task/29237/stat : 29237 (java) S 29172 29175 26206 0 -1 1077944384 481 13431 0 0 2 0 4 3 20 0 15 0 474084572 11079880704 12382 33554432000 4194304 4196468 140728985108112 139694892357616 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29238] ppid=29172 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29175/task/29238/stat : 29238 (java) S 29172 29175 26206 0 -1 1077944384 183 13431 0 0 1 0 4 3 20 0 15 0 474084572 11079880704 12382 33554432000 4194304 4196468 140728985108112 139694891305072 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29239] ppid=29172 vsize=10820196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29239/stat : 29239 (java) S 29172 29175 26206 0 -1 1077944384 623 13431 0 0 5 0 4 3 20 0 15 0 474084572 11079880704 12382 33554432000 4194304 4196468 140728985108112 139694890252528 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29240] ppid=29172 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29240/stat : 29240 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11079880704 12382 33554432000 4194304 4196468 140728985108112 139694275644000 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29241] ppid=29172 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29241/stat : 29241 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084573 11079880704 12382 33554432000 4194304 4196468 140728985108112 139694889200432 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49528 KiB

[startup+0.700669 s]
/proc/loadavg: 1.75 1.43 1.37 3/229 29241
/proc/meminfo: memFree=5243436/32770624 swapFree=66955396/67108860
[pid=29175] ppid=29172 vsize=10824364 memory=81872 CPUtime=1.12 cores=0,2,4,6
/proc/29175/stat : 29175 (java) S 29172 29175 26206 0 -1 1077944320 14714 13431 0 0 99 6 4 3 20 0 15 0 474084558 11084148736 20468 33554432000 4194304 4196468 140728985108112 140728985090656 139695706406647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
/proc/29175/statm: 2706091 20468 3501 1 0 2668173 0
[pid=29175/tid=29228] ppid=29172 vsize=10824364 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/29175/task/29228/stat : 29228 (java) R 29172 29175 26206 0 -1 4202560 10021 13431 0 0 55 4 4 3 20 0 15 0 474084567 11084148736 20468 33554432000 4194304 4196468 140728985108112 139695678233808 139695304553656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29229] ppid=29172 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29229/stat : 29229 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084568 11084148736 20468 33554432000 4194304 4196468 140728985108112 139695710648592 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29230] ppid=29172 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29230/stat : 29230 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084568 11084148736 20468 33554432000 4194304 4196468 140728985108112 139695625468304 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29231] ppid=29172 vsize=10824364 memory=3620 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29231/stat : 29231 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084568 11084148736 20468 33554432000 4194304 4196468 140728985108112 139695624415760 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29232] ppid=29172 vsize=10824364 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29232/stat : 29232 (java) S 29172 29175 26206 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 474084568 11084148736 20468 33554432000 4194304 4196468 140728985108112 139695277922960 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29233] ppid=29172 vsize=10824364 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29233/stat : 29233 (java) S 29172 29175 26206 0 -1 1077944384 5 13431 0 0 0 0 4 3 20 0 15 0 474084569 11084148736 20468 33554432000 4194304 4196468 140728985108112 139694926969328 139695706417794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29234] ppid=29172 vsize=10824364 memory=139637641192688 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29234/stat : 29234 (java) S 29172 29175 26206 0 -1 1077944384 33 13431 0 0 0 0 4 3 20 0 15 0 474084569 11084148736 20468 33554432000 4194304 4196468 140728985108112 139694925915552 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29235] ppid=29172 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29235/stat : 29235 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084570 11084148736 20468 33554432000 4194304 4196468 140728985108112 139694802003440 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29236] ppid=29172 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29236/stat : 29236 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11084148736 20468 33554432000 4194304 4196468 140728985108112 139694309202640 139695706425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29237] ppid=29172 vsize=10824364 memory=6944656575208382560 CPUtime=0.2 cores=0,2,4,6
/proc/29175/task/29237/stat : 29237 (java) R 29172 29175 26206 0 -1 4202560 855 13431 0 0 13 0 4 3 20 0 15 0 474084572 11084148736 20468 33554432000 4194304 4196468 140728985108112 139694892346288 139695686062320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29238] ppid=29172 vsize=10824364 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/29175/task/29238/stat : 29238 (java) S 29172 29175 26206 0 -1 1077944384 802 13431 0 0 11 0 4 3 20 0 15 0 474084572 11084148736 20468 33554432000 4194304 4196468 140728985108112 139694891305072 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29239] ppid=29172 vsize=10824364 memory=6944652177228980320 CPUtime=0.24 cores=0,2,4,6
/proc/29175/task/29239/stat : 29239 (java) R 29172 29175 26206 0 -1 4202560 773 13431 0 0 17 0 4 3 20 0 15 0 474084572 11084148736 20468 33554432000 4194304 4196468 140728985108112 139694890252528 139695685364302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29240] ppid=29172 vsize=10824364 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29240/stat : 29240 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11084148736 20468 33554432000 4194304 4196468 140728985108112 139694275644000 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29241] ppid=29172 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29241/stat : 29241 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084573 11084148736 20468 33554432000 4194304 4196468 140728985108112 139694889200432 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81872 KiB

[startup+1.50065 s]
/proc/loadavg: 1.75 1.43 1.37 3/229 29241
/proc/meminfo: memFree=5200816/32770624 swapFree=66955396/67108860
[pid=29175] ppid=29172 vsize=10834680 memory=168576 CPUtime=2.5 cores=0,2,4,6
/proc/29175/stat : 29175 (java) S 29172 29175 26206 0 -1 1077944320 24126 13431 0 0 232 11 4 3 20 0 15 0 474084558 11094712320 42144 33554432000 4194304 4196468 140728985108112 140728985090656 139695706406647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
/proc/29175/statm: 2708670 42144 3580 1 0 2670733 0
[pid=29175/tid=29228] ppid=29172 vsize=10834680 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/29175/task/29228/stat : 29228 (java) R 29172 29175 26206 0 -1 4202560 15599 13431 0 0 129 7 4 3 20 0 15 0 474084567 11094712320 42144 33554432000 4194304 4196468 140728985108112 139695678210960 139695706418582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29229] ppid=29172 vsize=10834680 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/29175/task/29229/stat : 29229 (java) S 29172 29175 26206 0 -1 1077944384 36 13431 0 0 1 0 4 3 20 0 15 0 474084568 11094712320 42144 33554432000 4194304 4196468 140728985108112 139695710648592 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29230] ppid=29172 vsize=10834680 memory=41776 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29230/stat : 29230 (java) S 29172 29175 26206 0 -1 1077944384 111 13431 0 0 0 0 4 3 20 0 15 0 474084568 11094712320 42144 33554432000 4194304 4196468 140728985108112 139695625468304 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29231] ppid=29172 vsize=10834680 memory=984 CPUtime=0.08 cores=0,2,4,6
/proc/29175/task/29231/stat : 29231 (java) S 29172 29175 26206 0 -1 1077944384 18 13431 0 0 1 0 4 3 20 0 15 0 474084568 11094712320 42144 33554432000 4194304 4196468 140728985108112 139695624415760 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29232] ppid=29172 vsize=10834680 memory=96600 CPUtime=0.08 cores=0,2,4,6
/proc/29175/task/29232/stat : 29232 (java) S 29172 29175 26206 0 -1 1077944384 354 13431 0 0 1 0 4 3 20 0 15 0 474084568 11094712320 42144 33554432000 4194304 4196468 140728985108112 139695277922960 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29233] ppid=29172 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29175/task/29233/stat : 29233 (java) S 29172 29175 26206 0 -1 1077944384 1653 13431 0 0 1 0 4 3 20 0 15 0 474084569 11094712320 42144 33554432000 4194304 4196468 140728985108112 139694926969328 139695706417794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29234] ppid=29172 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29234/stat : 29234 (java) S 29172 29175 26206 0 -1 1077944384 34 13431 0 0 0 0 4 3 20 0 15 0 474084569 11094712320 42144 33554432000 4194304 4196468 140728985108112 139694925915616 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29235] ppid=29172 vsize=10834680 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29235/stat : 29235 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084570 11094712320 42144 33554432000 4194304 4196468 140728985108112 139694802003456 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29236] ppid=29172 vsize=10834680 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29236/stat : 29236 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11094712320 42144 33554432000 4194304 4196468 140728985108112 139694309202640 139695706425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29237] ppid=29172 vsize=10834680 memory=1 CPUtime=0.35 cores=0,2,4,6
/proc/29175/task/29237/stat : 29237 (java) R 29172 29175 26206 0 -1 1077944384 1318 13431 0 0 28 0 4 3 20 0 15 0 474084572 11094712320 42144 33554432000 4194304 4196468 140728985108112 139694892357616 139695706417794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29238] ppid=29172 vsize=10834680 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/29175/task/29238/stat : 29238 (java) S 29172 29175 26206 0 -1 1077944384 1117 13431 0 0 25 0 4 3 20 0 15 0 474084572 11094712320 42144 33554432000 4194304 4196468 140728985108112 139694891305072 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29239] ppid=29172 vsize=10834680 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/29175/task/29239/stat : 29239 (java) R 29172 29175 26206 0 -1 4202560 1670 13431 0 0 42 0 4 3 20 0 15 0 474084572 11094712320 42144 33554432000 4194304 4196468 140728985108112 139694890252528 139695686132129 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29240] ppid=29172 vsize=10834680 memory=288230583166042426 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29240/stat : 29240 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11094712320 42144 33554432000 4194304 4196468 140728985108112 139694275644000 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29241] ppid=29172 vsize=10834680 memory=15816716106074690 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29241/stat : 29241 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084573 11094712320 42144 33554432000 4194304 4196468 140728985108112 139694889200432 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834680 KiB

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

[startup+4.1893 s]
# the end of solver process 29175 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.50361 s, system=0.302682 s

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

[startup+3.20094 s]
/proc/loadavg: 1.85 1.46 1.38 5/229 29241
/proc/meminfo: memFree=5038180/32770624 swapFree=66955396/67108860
[pid=29175] ppid=29172 vsize=10842892 memory=280956 CPUtime=6.47 cores=0,2,4,6
/proc/29175/stat : 29175 (java) S 29172 29175 26206 0 -1 1077944320 33927 13431 0 0 621 19 4 3 20 0 15 0 474084558 11103121408 70239 33554432000 4194304 4196468 140728985108112 140728985090656 139695706406647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
/proc/29175/statm: 2710723 70239 3611 1 0 2672781 0
[pid=29175/tid=29228] ppid=29172 vsize=10842892 memory=6944656575208382560 CPUtime=3.1 cores=0,2,4,6
/proc/29175/task/29228/stat : 29228 (java) R 29172 29175 26206 0 -1 4202560 19751 13431 0 0 293 10 4 3 20 0 15 0 474084567 11103121408 70239 33554432000 4194304 4196468 140728985108112 139695678240160 139695313939104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29229] ppid=29172 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29175/task/29229/stat : 29229 (java) S 29172 29175 26206 0 -1 1077944384 405 13431 0 0 1 1 4 3 20 0 15 0 474084568 11103121408 70239 33554432000 4194304 4196468 140728985108112 139695710648592 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29230] ppid=29172 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29175/task/29230/stat : 29230 (java) S 29172 29175 26206 0 -1 1077944384 135 13431 0 0 1 1 4 3 20 0 15 0 474084568 11103121408 70239 33554432000 4194304 4196468 140728985108112 139695625468304 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29231] ppid=29172 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29175/task/29231/stat : 29231 (java) S 29172 29175 26206 0 -1 1077944384 79 13431 0 0 1 0 4 3 20 0 15 0 474084568 11103121408 70239 33554432000 4194304 4196468 140728985108112 139695624415760 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29232] ppid=29172 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29175/task/29232/stat : 29232 (java) S 29172 29175 26206 0 -1 1077944384 777 13431 0 0 2 0 4 3 20 0 15 0 474084568 11103121408 70239 33554432000 4194304 4196468 140728985108112 139695277922960 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29233] ppid=29172 vsize=10842892 memory=11214314435429 CPUtime=0.09 cores=0,2,4,6
/proc/29175/task/29233/stat : 29233 (java) S 29172 29175 26206 0 -1 1077944384 1878 13431 0 0 2 0 4 3 20 0 15 0 474084569 11103121408 70239 33554432000 4194304 4196468 140728985108112 139694926969328 139695706417794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29234] ppid=29172 vsize=10842892 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29234/stat : 29234 (java) S 29172 29175 26206 0 -1 1077944384 37 13431 0 0 0 0 4 3 20 0 15 0 474084569 11103121408 70239 33554432000 4194304 4196468 140728985108112 139694925915616 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29235] ppid=29172 vsize=10842892 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29235/stat : 29235 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084570 11103121408 70239 33554432000 4194304 4196468 140728985108112 139694802003456 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29236] ppid=29172 vsize=10842892 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29236/stat : 29236 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11103121408 70239 33554432000 4194304 4196468 140728985108112 139694309202640 139695706425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29237] ppid=29172 vsize=10842892 memory=6944656592455359580 CPUtime=1.14 cores=0,2,4,6
/proc/29175/task/29237/stat : 29237 (java) S 29172 29175 26206 0 -1 1077944384 2526 13431 0 0 106 1 4 3 20 0 15 0 474084572 11103121408 70239 33554432000 4194304 4196468 140728985108112 139694892357616 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29238] ppid=29172 vsize=10842892 memory=6791534058613427641 CPUtime=1.17 cores=0,2,4,6
/proc/29175/task/29238/stat : 29238 (java) S 29172 29175 26206 0 -1 1077944384 2491 13431 0 0 109 1 4 3 20 0 15 0 474084572 11103121408 70239 33554432000 4194304 4196468 140728985108112 139694891305072 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29239] ppid=29172 vsize=10842892 memory=41776 CPUtime=1.09 cores=0,2,4,6
/proc/29175/task/29239/stat : 29239 (java) S 29172 29175 26206 0 -1 1077944384 3609 13431 0 0 101 1 4 3 20 0 15 0 474084572 11103121408 70239 33554432000 4194304 4196468 140728985108112 139694890252528 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29240] ppid=29172 vsize=10842892 memory=4580 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29240/stat : 29240 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11103121408 70239 33554432000 4194304 4196468 140728985108112 139694275644000 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29241] ppid=29172 vsize=10842892 memory=288230583135446018 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29241/stat : 29241 (java) S 29172 29175 26206 0 -1 1077944384 22 13431 0 0 0 0 4 3 20 0 15 0 474084573 11103121408 70239 33554432000 4194304 4196468 140728985108112 139694889200432 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
Current children cumulated CPU time: 6.47 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 280956 KiB

[startup+3.60098 s]
/proc/loadavg: 1.85 1.46 1.38 5/229 29241
/proc/meminfo: memFree=5038180/32770624 swapFree=66955396/67108860
[pid=29175] ppid=29172 vsize=10844940 memory=304124 CPUtime=7.13 cores=0,2,4,6
/proc/29175/stat : 29175 (java) S 29172 29175 26206 0 -1 1077944320 38625 13431 0 0 684 22 4 3 20 0 15 0 474084558 11105218560 76031 33554432000 4194304 4196468 140728985108112 140728985090656 139695706406647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
/proc/29175/statm: 2711235 76031 3612 1 0 2673293 0
[pid=29175/tid=29228] ppid=29172 vsize=10844940 memory=6947475757684386112 CPUtime=3.44 cores=0,2,4,6
/proc/29175/task/29228/stat : 29228 (java) R 29172 29175 26206 0 -1 4202560 21312 13431 0 0 327 10 4 3 20 0 15 0 474084567 11105218560 76031 33554432000 4194304 4196468 140728985108112 139695678230416 139695687812868 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29229] ppid=29172 vsize=10844940 memory=6003404313351974506 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29229/stat : 29229 (java) S 29172 29175 26206 0 -1 1077944384 433 13431 0 0 4 1 4 3 20 0 15 0 474084568 11105218560 76031 33554432000 4194304 4196468 140728985108112 139695710648592 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29230] ppid=29172 vsize=10844940 memory=7302706000055591269 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29230/stat : 29230 (java) S 29172 29175 26206 0 -1 1077944384 155 13431 0 0 4 1 4 3 20 0 15 0 474084568 11105218560 76031 33554432000 4194304 4196468 140728985108112 139695625468304 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29231] ppid=29172 vsize=10844940 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29231/stat : 29231 (java) S 29172 29175 26206 0 -1 1077944384 112 13431 0 0 4 1 4 3 20 0 15 0 474084568 11105218560 76031 33554432000 4194304 4196468 140728985108112 139695624415760 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29232] ppid=29172 vsize=10844940 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29232/stat : 29232 (java) S 29172 29175 26206 0 -1 1077944384 798 13431 0 0 4 1 4 3 20 0 15 0 474084568 11105218560 76031 33554432000 4194304 4196468 140728985108112 139695277922960 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29233] ppid=29172 vsize=10844940 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/29175/task/29233/stat : 29233 (java) S 29172 29175 26206 0 -1 1077944384 4203 13431 0 0 4 0 4 3 20 0 15 0 474084569 11105218560 76031 33554432000 4194304 4196468 140728985108112 139694926969328 139695706417794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29234] ppid=29172 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29234/stat : 29234 (java) S 29172 29175 26206 0 -1 1077944384 38 13431 0 0 0 0 4 3 20 0 15 0 474084569 11105218560 76031 33554432000 4194304 4196468 140728985108112 139694925915616 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29235] ppid=29172 vsize=10844940 memory=112145 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29235/stat : 29235 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084570 11105218560 76031 33554432000 4194304 4196468 140728985108112 139694802003456 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29236] ppid=29172 vsize=10844940 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29236/stat : 29236 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11105218560 76031 33554432000 4194304 4196468 140728985108112 139694309202640 139695706425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29237] ppid=29172 vsize=10844940 memory=3620 CPUtime=1.18 cores=0,2,4,6
/proc/29175/task/29237/stat : 29237 (java) S 29172 29175 26206 0 -1 1077944384 2785 13431 0 0 110 1 4 3 20 0 15 0 474084572 11105218560 76031 33554432000 4194304 4196468 140728985108112 139694892357616 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29238] ppid=29172 vsize=10844940 memory=0 CPUtime=1.24 cores=0,2,4,6
/proc/29175/task/29238/stat : 29238 (java) R 29172 29175 26206 0 -1 4202560 2634 13431 0 0 116 1 4 3 20 0 15 0 474084572 11105218560 76031 33554432000 4194304 4196468 140728985108112 139694891292096 139695691294630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29239] ppid=29172 vsize=10844940 memory=139637641534272 CPUtime=1.14 cores=0,2,4,6
/proc/29175/task/29239/stat : 29239 (java) R 29172 29175 26206 0 -1 4202560 3917 13431 0 0 106 1 4 3 20 0 15 0 474084572 11105218560 76031 33554432000 4194304 4196468 140728985108112 139694890252528 139695706427994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29240] ppid=29172 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29240/stat : 29240 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11105218560 76031 33554432000 4194304 4196468 140728985108112 139694275644000 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29241] ppid=29172 vsize=10844940 memory=7885618647264285542 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29241/stat : 29241 (java) S 29172 29175 26206 0 -1 1077944384 22 13431 0 0 0 0 4 3 20 0 15 0 474084573 11105218560 76031 33554432000 4194304 4196468 140728985108112 139694889200432 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
Current children cumulated CPU time: 7.13 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 304124 KiB

[startup+4.00118 s]*
/proc/loadavg: 1.85 1.46 1.38 6/229 29241
/proc/meminfo: memFree=4985464/32770624 swapFree=66955396/67108860
[pid=29175] ppid=29172 vsize=10844940 memory=323948 CPUtime=8.35 cores=0,2,4,6
/proc/29175/stat : 29175 (java) S 29172 29175 26206 0 -1 1077944320 45003 13431 0 0 803 25 4 3 20 0 15 0 474084558 11105218560 80987 33554432000 4194304 4196468 140728985108112 140728985090656 139695706406647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
/proc/29175/statm: 2711235 80987 3616 1 0 2673293 0
[pid=29175/tid=29228] ppid=29172 vsize=10844940 memory=-8540663193526752614 CPUtime=3.86 cores=0,2,4,6
/proc/29175/task/29228/stat : 29228 (java) R 29172 29175 26206 0 -1 4202560 21774 13431 0 0 367 12 4 3 20 0 15 0 474084567 11105218560 80987 33554432000 4194304 4196468 140728985108112 139695678242560 139695304613776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29229] ppid=29172 vsize=10844940 memory=4211973363951893898 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29229/stat : 29229 (java) S 29172 29175 26206 0 -1 1077944384 433 13431 0 0 4 1 4 3 20 0 15 0 474084568 11105218560 80987 33554432000 4194304 4196468 140728985108112 139695710648592 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29230] ppid=29172 vsize=10844940 memory=7451717999515627447 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29230/stat : 29230 (java) S 29172 29175 26206 0 -1 1077944384 155 13431 0 0 4 1 4 3 20 0 15 0 474084568 11105218560 80987 33554432000 4194304 4196468 140728985108112 139695625468304 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29231] ppid=29172 vsize=10844940 memory=-7385037615208631401 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29231/stat : 29231 (java) S 29172 29175 26206 0 -1 1077944384 112 13431 0 0 4 1 4 3 20 0 15 0 474084568 11105218560 80987 33554432000 4194304 4196468 140728985108112 139695624415760 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29232] ppid=29172 vsize=10844940 memory=6944656592455359580 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29232/stat : 29232 (java) S 29172 29175 26206 0 -1 1077944384 798 13431 0 0 4 1 4 3 20 0 15 0 474084568 11105218560 80987 33554432000 4194304 4196468 140728985108112 139695277922960 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29233] ppid=29172 vsize=10844940 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/29175/task/29233/stat : 29233 (java) S 29172 29175 26206 0 -1 1077944384 4203 13431 0 0 4 0 4 3 20 0 15 0 474084569 11105218560 80987 33554432000 4194304 4196468 140728985108112 139694926969328 139695706417794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29234] ppid=29172 vsize=10844940 memory=3546921295393796408 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29234/stat : 29234 (java) S 29172 29175 26206 0 -1 1077944384 38 13431 0 0 0 0 4 3 20 0 15 0 474084569 11105218560 80987 33554432000 4194304 4196468 140728985108112 139694925915616 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29235] ppid=29172 vsize=10844940 memory=7158899594143246234 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29235/stat : 29235 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 474084570 11105218560 80987 33554432000 4194304 4196468 140728985108112 139694802003456 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29236] ppid=29172 vsize=10844940 memory=7158899594143246234 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29236/stat : 29236 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11105218560 80987 33554432000 4194304 4196468 140728985108112 139694309202640 139695706425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29237] ppid=29172 vsize=10844940 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/29175/task/29237/stat : 29237 (java) R 29172 29175 26206 0 -1 4202560 3775 13431 0 0 140 1 4 3 20 0 15 0 474084572 11105218560 80987 33554432000 4194304 4196468 140728985108112 139694892350104 139695690366080 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29238] ppid=29172 vsize=10844940 memory=3546921295393796408 CPUtime=1.65 cores=0,2,4,6
/proc/29175/task/29238/stat : 29238 (java) R 29172 29175 26206 0 -1 4202560 6628 13431 0 0 156 2 4 3 20 0 15 0 474084572 11105218560 80987 33554432000 4194304 4196468 140728985108112 139694891289544 139695691514350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29239] ppid=29172 vsize=10844940 memory=3612117936496553185 CPUtime=1.23 cores=0,2,4,6
/proc/29175/task/29239/stat : 29239 (java) S 29172 29175 26206 0 -1 1077944384 4848 13431 0 0 115 1 4 3 20 0 15 0 474084572 11105218560 80987 33554432000 4194304 4196468 140728985108112 139694890252528 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29240] ppid=29172 vsize=10844940 memory=3546921295393796408 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29240/stat : 29240 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 474084572 11105218560 80987 33554432000 4194304 4196468 140728985108112 139694275644000 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29241] ppid=29172 vsize=10844940 memory=3612117936496553185 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29241/stat : 29241 (java) S 29172 29175 26206 0 -1 1077944384 22 13431 0 0 0 0 4 3 20 0 15 0 474084573 11105218560 80987 33554432000 4194304 4196468 140728985108112 139694889200432 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
Current children cumulated CPU time: 8.35 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 323948 KiB

[startup+4.11533 s]
/proc/loadavg: 1.85 1.46 1.38 6/229 29241
/proc/meminfo: memFree=4985464/32770624 swapFree=66955396/67108860
[pid=29175] ppid=29172 vsize=10947524 memory=334400 CPUtime=8.71 cores=0,2,4,6
/proc/29175/stat : 29175 (java) S 29172 29175 26206 0 -1 1077944320 47067 13431 0 0 839 25 4 3 20 0 16 0 474084558 11210264576 83600 33554432000 4194304 4196468 140728985108112 140728985090656 139695706406647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
/proc/29175/statm: 2736881 83600 3617 1 0 2698939 0
[pid=29175/tid=29228] ppid=29172 vsize=10947524 memory=309484 CPUtime=3.96 cores=0,2,4,6
/proc/29175/task/29228/stat : 29228 (java) S 29172 29175 26206 0 -1 1077944384 22000 13431 0 0 377 12 4 3 20 0 16 0 474084567 11210264576 83600 33554432000 4194304 4196468 140728985108112 139695678247968 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29229] ppid=29172 vsize=10947524 memory=1 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29229/stat : 29229 (java) S 29172 29175 26206 0 -1 1077944384 433 13431 0 0 4 1 4 3 20 0 16 0 474084568 11210264576 83600 33554432000 4194304 4196468 140728985108112 139695710648592 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29230] ppid=29172 vsize=10947524 memory=7 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29230/stat : 29230 (java) S 29172 29175 26206 0 -1 1077944384 155 13431 0 0 4 1 4 3 20 0 16 0 474084568 11210264576 83600 33554432000 4194304 4196468 140728985108112 139695625468304 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29231] ppid=29172 vsize=10947524 memory=7 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29231/stat : 29231 (java) S 29172 29175 26206 0 -1 1077944384 112 13431 0 0 4 1 4 3 20 0 16 0 474084568 11210264576 83600 33554432000 4194304 4196468 140728985108112 139695624415760 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29232] ppid=29172 vsize=10947524 memory=7 CPUtime=0.12 cores=0,2,4,6
/proc/29175/task/29232/stat : 29232 (java) S 29172 29175 26206 0 -1 1077944384 798 13431 0 0 4 1 4 3 20 0 16 0 474084568 11210264576 83600 33554432000 4194304 4196468 140728985108112 139695277922960 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29233] ppid=29172 vsize=10947524 memory=56 CPUtime=0.11 cores=0,2,4,6
/proc/29175/task/29233/stat : 29233 (java) S 29172 29175 26206 0 -1 1077944384 4203 13431 0 0 4 0 4 3 20 0 16 0 474084569 11210264576 83600 33554432000 4194304 4196468 140728985108112 139694926969328 139695706417794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29234] ppid=29172 vsize=10947524 memory=2958597 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29234/stat : 29234 (java) S 29172 29175 26206 0 -1 1077944384 38 13431 0 0 0 0 4 3 20 0 16 0 474084569 11210264576 83600 33554432000 4194304 4196468 140728985108112 139694925915616 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29235] ppid=29172 vsize=10947524 memory=2965992 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29235/stat : 29235 (java) S 29172 29175 26206 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 16 0 474084570 11210264576 83600 33554432000 4194304 4196468 140728985108112 139694802003456 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29236] ppid=29172 vsize=10947524 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29236/stat : 29236 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 16 0 474084572 11210264576 83600 33554432000 4194304 4196468 140728985108112 139694309202640 139695706425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29237] ppid=29172 vsize=10947524 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/29175/task/29237/stat : 29237 (java) R 29172 29175 26206 0 -1 1077944384 4260 13431 0 0 151 1 4 3 20 0 16 0 474084572 11210264576 83600 33554432000 4194304 4196468 140728985108112 139694892357744 139695706416853 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29238] ppid=29172 vsize=10947524 memory=14699608118207434 CPUtime=1.75 cores=0,2,4,6
/proc/29175/task/29238/stat : 29238 (java) R 29172 29175 26206 0 -1 4202560 7601 13431 0 0 166 2 4 3 20 0 16 0 474084572 11210264576 83600 33554432000 4194304 4196468 140728985108112 139694891291096 139695687926738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29239] ppid=29172 vsize=10947524 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/29175/task/29239/stat : 29239 (java) R 29172 29175 26206 0 -1 4202560 5225 13431 0 0 120 1 4 3 20 0 16 0 474084572 11210264576 83600 33554432000 4194304 4196468 140728985108112 139694890250320 139695706418582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29240] ppid=29172 vsize=10947524 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29240/stat : 29240 (java) S 29172 29175 26206 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 16 0 474084572 11210264576 83600 33554432000 4194304 4196468 140728985108112 139694275644000 139695706416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
[pid=29175/tid=29241] ppid=29172 vsize=10947524 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29175/task/29241/stat : 29241 (java) S 29172 29175 26206 0 -1 1077944384 22 13431 0 0 0 0 4 3 20 0 16 0 474084573 11210264576 83600 33554432000 4194304 4196468 140728985108112 139694889200432 139695706417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140728985111279 140728985113797 140728985113797 140728985116623 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 10947524 KiB
Current children cumulated memory: 334400 KiB

Child status: 0
Real time (s): 4.18935
CPU time (s): 8.8063
CPU user time (s): 8.50361
CPU system time (s): 0.302682
CPU usage (%): 210.207
Max. virtual memory (cumulated for all children) (KiB): 10947524
Max. memory (cumulated for all children) (KiB): 334400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.50361
system time used= 0.302682
maximum resident set size= 334400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61300
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= 6352
involuntary context switches= 58


# summary of solver processes directly reported to runsolver:
#   pid: 29175
#   total CPU time (s): 8.8063
#   total CPU user time (s): 8.50361
#   total CPU system time (s): 0.302682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056904 second user time and 0.079727 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-20 13:14:52
IDJOB=4402430
IDBENCH=130927
IDSOLVER=2861
FILE ID=node151/4402430-1568978132
RUNJOBID= node151-1568967597-26238
PBS_JOBID= 21704609
Free space on /tmp= 12280 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-m4D/Subisomorphism-si4-m4Dr4-m256-08.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4402430-1568978132/watcher-4402430-1568978132 -o /tmp/evaluation-result-4402430-1568978132/solver-4402430-1568978132 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568967597-26238 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1433918022 HOME/instance-4402430-1568978132.xml

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

MD5SUM BENCH= 81c7a723557c708ecb18ed846030ca95
RANDOM SEED=1433918022

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         5294320 kB
MemAvailable:   31112048 kB
Buffers:          124768 kB
Cached:         25704428 kB
SwapCached:        51796 kB
Active:         13563232 kB
Inactive:       13016700 kB
Active(anon):     695696 kB
Inactive(anon):   100424 kB
Active(file):   12867536 kB
Inactive(file): 12916276 kB
Unevictable:      107584 kB
Mlocked:          107584 kB
SwapTotal:      67108860 kB
SwapFree:       66955396 kB
Dirty:             35592 kB
Writeback:             0 kB
AnonPages:        681156 kB
Mapped:            62264 kB
Shmem:             36864 kB
Slab:             490940 kB
SReclaimable:     462376 kB
SUnreclaim:        28564 kB
KernelStack:        4064 kB
PageTables:         7128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1981140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    528384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12244 MiB
End job on node151 at 2019-09-20 13:14:56