Trace number 4402454

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 10.1436 5.42121

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-bvg/
Subisomorphism-si6-b06-m200-07.xml
MD5SUMd7eafb215ab3d3f066855d3513f44111
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.030068
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints355
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":120}]
Minimum variable degree4
Maximum variable degree7
Distribution of variable degrees[{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":2},{"degree":7,"count":114}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":354},{"arity":120,"count":1}]
Number of extensional constraints354
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":354},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.80/0.60	c Concrete v3.12.3.1568965526260 running
9.84/5.37	v <instantiation
9.84/5.37	v         >
9.84/5.37	v       <list>
9.84/5.37	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] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119]
9.84/5.37	v       </list>
9.84/5.37	v       <values>
9.84/5.37	v         9 105 141 64 59 36 10 118 114 151 183 113 66 117 150 130 157 48 77 4 198 76 62 108 14 61 88 26 172 97 2 111 132 187 174 6 101 188 57 13 81 154 39 19 109 60 153 12 17 49 54 199 8 72 99 133 102 182 96 115 86 197 91 173 160 16 11 142 195 158 167 170 128 79 43 177 159 176 25 116 145 104 67 169 147 120 20 143 103 56 156 41 65 46 32 78 152 121 164 129 93 119 179 124 110 55 140 5 144 134 166 58 7 73 27 75 84 186 148 94
9.84/5.37	v       </values>
9.84/5.37	v     </instantiation>
9.84/5.37	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: 16375 MiB (1996 MiB free)
  memory of node 1: 16384 MiB (1735 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402454-1568978152/watcher-4402454-1568978152 -o /tmp/evaluation-result-4402454-1568978152/solver-4402454-1568978152 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324482060-14013 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1467329244 HOME/instance-4402454-1568978152.xml 

running on 4 cores: 4-7

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


[startup+0.100089 s]*
/proc/loadavg: 1.19 1.37 1.44 2/214 17137
/proc/meminfo: memFree=3819296/32770688 swapFree=66927192/67108860
[pid=17084] ppid=17081 vsize=9972712 memory=14388 CPUtime=0.09 cores=4-7
/proc/17084/stat : 17084 (java) S 17081 17084 13981 0 -1 1077944320 4361 13311 0 0 1 0 5 3 20 0 6 0 473821464 10212057088 3597 33554432000 4194304 4196468 140721898836496 140721898819040 140345977478903 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
/proc/17084/statm: 2493178 3597 1920 1 0 2481616 0
[pid=17084/tid=17137] ppid=17081 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=4-7
/proc/17084/task/17137/stat : 17137 (java) R 17081 17084 13981 0 -1 4202560 2158 13311 0 0 0 0 5 3 20 0 6 0 473821474 10212057088 3597 33554432000 4194304 4196468 140721898836496 140345949315664 140345969716030 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17138] ppid=17081 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=4-7
/proc/17084/task/17138/stat : 17138 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 6 0 473821475 10212057088 3597 33554432000 4194304 4196468 140721898836496 140345981721232 140345977489109 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17139] ppid=17081 vsize=9972712 memory=139940265793152 CPUtime=0.08 cores=4-7
/proc/17084/task/17139/stat : 17139 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 6 0 473821475 10212057088 3597 33554432000 4194304 4196468 140721898836496 140345909201424 140345977489109 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17140] ppid=17081 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17140/stat : 17140 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 6 0 473821475 10212057088 3597 33554432000 4194304 4196468 140721898836496 140345550154128 140345977489109 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17141] ppid=17081 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7
/proc/17084/task/17141/stat : 17141 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 6 0 473821475 10212057088 3597 33554432000 4194304 4196468 140721898836496 140345549101328 140345977489109 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14388 KiB

[startup+0.211833 s]*
/proc/loadavg: 1.19 1.37 1.44 3/227 17150
/proc/meminfo: memFree=3792712/32770688 swapFree=66927192/67108860
[pid=17084] ppid=17081 vsize=10819716 memory=40840 CPUtime=0.26 cores=4-7
/proc/17084/stat : 17084 (java) S 17081 17084 13981 0 -1 1077944320 7085 13311 0 0 16 2 5 3 20 0 15 0 473821464 11079389184 10210 33554432000 4194304 4196468 140721898836496 140721898819040 140345977478903 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
/proc/17084/statm: 2704929 10210 3147 1 0 2667149 0
[pid=17084/tid=17137] ppid=17081 vsize=10819716 memory=7022364594140610616 CPUtime=0.19 cores=4-7
/proc/17084/task/17137/stat : 17137 (java) R 17081 17084 13981 0 -1 4202560 3568 13311 0 0 10 1 5 3 20 0 15 0 473821474 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345949305280 140345977500829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17138] ppid=17081 vsize=10819716 memory=364 CPUtime=0.08 cores=4-7
/proc/17084/task/17138/stat : 17138 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821475 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345981721232 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17139] ppid=17081 vsize=10819716 memory=3833038802660169376 CPUtime=0.08 cores=4-7
/proc/17084/task/17139/stat : 17139 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821475 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345909201424 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17140] ppid=17081 vsize=10819716 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17140/stat : 17140 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821475 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345550154128 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17141] ppid=17081 vsize=10819716 memory=-1 CPUtime=0.08 cores=4-7
/proc/17084/task/17141/stat : 17141 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821475 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345549101328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17142] ppid=17081 vsize=10819716 memory=139940265793152 CPUtime=0.08 cores=4-7
/proc/17084/task/17142/stat : 17142 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821476 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345436261232 140345977490050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17143] ppid=17081 vsize=10819716 memory=-1 CPUtime=0.08 cores=4-7
/proc/17084/task/17143/stat : 17143 (java) S 17081 17084 13981 0 -1 1077944384 33 13311 0 0 0 0 5 3 20 0 15 0 473821477 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345435207200 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17144] ppid=17081 vsize=10819716 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17144/stat : 17144 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821477 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345304147312 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17145] ppid=17081 vsize=10819716 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17145/stat : 17145 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821480 11079389184 10210 33554432000 4194304 4196468 140721898836496 140344700168528 140345977497499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17146] ppid=17081 vsize=10819716 memory=0 CPUtime=0.09 cores=4-7
/proc/17084/task/17146/stat : 17146 (java) S 17081 17084 13981 0 -1 1077944384 456 13311 0 0 1 0 5 3 20 0 15 0 473821480 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345401649520 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17147] ppid=17081 vsize=10819716 memory=-1 CPUtime=0.09 cores=4-7
/proc/17084/task/17147/stat : 17147 (java) S 17081 17084 13981 0 -1 1077944384 184 13311 0 0 1 0 5 3 20 0 15 0 473821480 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345400596720 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17148] ppid=17081 vsize=10819716 memory=139940265793152 CPUtime=0.11 cores=4-7
/proc/17084/task/17148/stat : 17148 (java) R 17081 17084 13981 0 -1 4202560 620 13311 0 0 3 0 5 3 20 0 15 0 473821480 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345399543920 140345956405731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17149] ppid=17081 vsize=10819716 memory=-1 CPUtime=0.08 cores=4-7
/proc/17084/task/17149/stat : 17149 (java) S 17081 17084 13981 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 473821480 11079389184 10210 33554432000 4194304 4196468 140721898836496 140344230406368 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17150] ppid=17081 vsize=10819716 memory=139940265793152 CPUtime=0.08 cores=4-7
/proc/17084/task/17150/stat : 17150 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821480 11079389184 10210 33554432000 4194304 4196468 140721898836496 140345398492336 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 40840 KiB

[startup+0.311612 s]*
/proc/loadavg: 1.19 1.37 1.44 5/227 17150
/proc/meminfo: memFree=3781020/32770688 swapFree=66927192/67108860
[pid=17084] ppid=17081 vsize=10820196 memory=51968 CPUtime=0.4 cores=4-7
/proc/17084/stat : 17084 (java) S 17081 17084 13981 0 -1 1077944320 10706 13311 0 0 29 3 5 3 20 0 15 0 473821464 11079880704 12992 33554432000 4194304 4196468 140721898836496 140721898819040 140345977478903 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
/proc/17084/statm: 2705049 12992 3313 1 0 2667149 0
[pid=17084/tid=17137] ppid=17081 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=4-7
/proc/17084/task/17137/stat : 17137 (java) R 17081 17084 13981 0 -1 4202560 7167 13311 0 0 18 3 5 3 20 0 15 0 473821474 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345949287824 140345977500829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17138] ppid=17081 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17138/stat : 17138 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821475 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345981721232 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17139] ppid=17081 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17139/stat : 17139 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821475 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345909201424 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17140] ppid=17081 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17140/stat : 17140 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821475 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345550154128 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17141] ppid=17081 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17141/stat : 17141 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821475 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345549101328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17142] ppid=17081 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17142/stat : 17142 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821476 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345436261232 140345977490050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17143] ppid=17081 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/17084/task/17143/stat : 17143 (java) S 17081 17084 13981 0 -1 1077944384 33 13311 0 0 0 0 5 3 20 0 15 0 473821477 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345435207200 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17144] ppid=17081 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17144/stat : 17144 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821477 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345304147312 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17145] ppid=17081 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17145/stat : 17145 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821480 11079880704 12992 33554432000 4194304 4196468 140721898836496 140344700168528 140345977497499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17146] ppid=17081 vsize=10820196 memory=0 CPUtime=0.1 cores=4-7
/proc/17084/task/17146/stat : 17146 (java) S 17081 17084 13981 0 -1 1077944384 465 13311 0 0 2 0 5 3 20 0 15 0 473821480 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345401649520 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17147] ppid=17081 vsize=10820196 memory=-1 CPUtime=0.09 cores=4-7
/proc/17084/task/17147/stat : 17147 (java) S 17081 17084 13981 0 -1 1077944384 185 13311 0 0 1 0 5 3 20 0 15 0 473821480 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345400596720 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17148] ppid=17081 vsize=10820196 memory=139940265793152 CPUtime=0.13 cores=4-7
/proc/17084/task/17148/stat : 17148 (java) S 17081 17084 13981 0 -1 1077944384 635 13311 0 0 5 0 5 3 20 0 15 0 473821480 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345399543920 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17149] ppid=17081 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/17084/task/17149/stat : 17149 (java) S 17081 17084 13981 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 473821480 11079880704 12992 33554432000 4194304 4196468 140721898836496 140344230406368 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17150] ppid=17081 vsize=10820196 memory=139940265793152 CPUtime=0.08 cores=4-7
/proc/17084/task/17150/stat : 17150 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821480 11079880704 12992 33554432000 4194304 4196468 140721898836496 140345398492336 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51968 KiB

[startup+0.701444 s]
/proc/loadavg: 1.19 1.37 1.44 4/227 17150
/proc/meminfo: memFree=3766908/32770688 swapFree=66927192/67108860
[pid=17084] ppid=17081 vsize=10822316 memory=80052 CPUtime=1.1 cores=4-7
/proc/17084/stat : 17084 (java) S 17081 17084 13981 0 -1 1077944320 14657 13311 0 0 96 6 5 3 20 0 15 0 473821464 11082051584 20013 33554432000 4194304 4196468 140721898836496 140721898819040 140345977478903 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
/proc/17084/statm: 2705579 20013 3502 1 0 2667661 0
[pid=17084/tid=17137] ppid=17081 vsize=10822316 memory=0 CPUtime=0.67 cores=4-7
/proc/17084/task/17137/stat : 17137 (java) R 17081 17084 13981 0 -1 4202560 10031 13311 0 0 54 5 5 3 20 0 15 0 473821474 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345949304672 140345961559390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17138] ppid=17081 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17138/stat : 17138 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821475 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345981721232 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17139] ppid=17081 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17139/stat : 17139 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821475 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345909201424 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17140] ppid=17081 vsize=10822316 memory=139940168085712 CPUtime=0.08 cores=4-7
/proc/17084/task/17140/stat : 17140 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821475 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345550154128 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17141] ppid=17081 vsize=10822316 memory=139942919406171 CPUtime=0.08 cores=4-7
/proc/17084/task/17141/stat : 17141 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821475 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345549101328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17142] ppid=17081 vsize=10822316 memory=980 CPUtime=0.08 cores=4-7
/proc/17084/task/17142/stat : 17142 (java) S 17081 17084 13981 0 -1 1077944384 5 13311 0 0 0 0 5 3 20 0 15 0 473821476 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345436261232 140345977490050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17143] ppid=17081 vsize=10822316 memory=7014751519617144145 CPUtime=0.08 cores=4-7
/proc/17084/task/17143/stat : 17143 (java) S 17081 17084 13981 0 -1 1077944384 33 13311 0 0 0 0 5 3 20 0 15 0 473821477 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345435207200 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17144] ppid=17081 vsize=10822316 memory=6081104596517153130 CPUtime=0.08 cores=4-7
/proc/17084/task/17144/stat : 17144 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821477 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345304147312 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17145] ppid=17081 vsize=10822316 memory=33104 CPUtime=0.08 cores=4-7
/proc/17084/task/17145/stat : 17145 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821480 11082051584 20013 33554432000 4194304 4196468 140721898836496 140344700168528 140345977497499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17146] ppid=17081 vsize=10822316 memory=2120 CPUtime=0.18 cores=4-7
/proc/17084/task/17146/stat : 17146 (java) R 17081 17084 13981 0 -1 4202560 831 13311 0 0 10 0 5 3 20 0 15 0 473821480 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345401641472 140345960866395 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17147] ppid=17081 vsize=10822316 memory=496 CPUtime=0.22 cores=4-7
/proc/17084/task/17147/stat : 17147 (java) R 17081 17084 13981 0 -1 4202560 798 13311 0 0 14 0 5 3 20 0 15 0 473821480 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345400583264 140345959023347 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17148] ppid=17081 vsize=10822316 memory=1560 CPUtime=0.24 cores=4-7
/proc/17084/task/17148/stat : 17148 (java) S 17081 17084 13981 0 -1 1077944384 739 13311 0 0 16 0 5 3 20 0 15 0 473821480 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345399543920 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17149] ppid=17081 vsize=10822316 memory=928 CPUtime=0.08 cores=4-7
/proc/17084/task/17149/stat : 17149 (java) S 17081 17084 13981 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 473821480 11082051584 20013 33554432000 4194304 4196468 140721898836496 140344230406368 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17150] ppid=17081 vsize=10822316 memory=1724 CPUtime=0.08 cores=4-7
/proc/17084/task/17150/stat : 17150 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821480 11082051584 20013 33554432000 4194304 4196468 140721898836496 140345398492336 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 80052 KiB

[startup+1.50082 s]
/proc/loadavg: 1.19 1.37 1.44 4/227 17150
/proc/meminfo: memFree=3734648/32770688 swapFree=66927192/67108860
[pid=17084] ppid=17081 vsize=10834680 memory=172240 CPUtime=2.54 cores=4-7
/proc/17084/stat : 17084 (java) S 17081 17084 13981 0 -1 1077944320 21557 13311 0 0 235 11 5 3 20 0 15 0 473821464 11094712320 43060 33554432000 4194304 4196468 140721898836496 140721898819040 140345977478903 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
/proc/17084/statm: 2708670 43060 3579 1 0 2670733 0
[pid=17084/tid=17137] ppid=17081 vsize=10834680 memory=156768 CPUtime=1.43 cores=4-7
/proc/17084/task/17137/stat : 17137 (java) R 17081 17084 13981 0 -1 4202560 15126 13311 0 0 128 7 5 3 20 0 15 0 473821474 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345949295344 140345961559390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17138] ppid=17081 vsize=10834680 memory=1444 CPUtime=0.09 cores=4-7
/proc/17084/task/17138/stat : 17138 (java) S 17081 17084 13981 0 -1 1077944384 316 13311 0 0 1 0 5 3 20 0 15 0 473821475 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345981721232 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17139] ppid=17081 vsize=10834680 memory=1764 CPUtime=0.09 cores=4-7
/proc/17084/task/17139/stat : 17139 (java) S 17081 17084 13981 0 -1 1077944384 33 13311 0 0 1 0 5 3 20 0 15 0 473821475 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345909201424 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17140] ppid=17081 vsize=10834680 memory=0 CPUtime=0.09 cores=4-7
/proc/17084/task/17140/stat : 17140 (java) S 17081 17084 13981 0 -1 1077944384 61 13311 0 0 1 0 5 3 20 0 15 0 473821475 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345550154128 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17141] ppid=17081 vsize=10834680 memory=-6154581634397065563 CPUtime=0.09 cores=4-7
/proc/17084/task/17141/stat : 17141 (java) S 17081 17084 13981 0 -1 1077944384 28 13311 0 0 1 0 5 3 20 0 15 0 473821475 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345549101328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17142] ppid=17081 vsize=10834680 memory=3833724587141655355 CPUtime=0.09 cores=4-7
/proc/17084/task/17142/stat : 17142 (java) S 17081 17084 13981 0 -1 1077944384 109 13311 0 0 1 0 5 3 20 0 15 0 473821476 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345436261232 140345977490050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17143] ppid=17081 vsize=10834680 memory=-6944103529398779036 CPUtime=0.08 cores=4-7
/proc/17084/task/17143/stat : 17143 (java) S 17081 17084 13981 0 -1 1077944384 34 13311 0 0 0 0 5 3 20 0 15 0 473821477 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345435207264 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17144] ppid=17081 vsize=10834680 memory=-6005673638262905286 CPUtime=0.08 cores=4-7
/proc/17084/task/17144/stat : 17144 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821477 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345304147328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17145] ppid=17081 vsize=10834680 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17145/stat : 17145 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821480 11094712320 43060 33554432000 4194304 4196468 140721898836496 140344700168528 140345977497499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17146] ppid=17081 vsize=10834680 memory=0 CPUtime=0.34 cores=4-7
/proc/17084/task/17146/stat : 17146 (java) S 17081 17084 13981 0 -1 1077944384 974 13311 0 0 26 0 5 3 20 0 15 0 473821480 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345401649520 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17147] ppid=17081 vsize=10834680 memory=4580 CPUtime=0.42 cores=4-7
/proc/17084/task/17147/stat : 17147 (java) S 17081 17084 13981 0 -1 1077944384 1348 13311 0 0 34 0 5 3 20 0 15 0 473821480 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345400596720 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17148] ppid=17081 vsize=10834680 memory=7158300437426230352 CPUtime=0.46 cores=4-7
/proc/17084/task/17148/stat : 17148 (java) S 17081 17084 13981 0 -1 1077944384 1312 13311 0 0 38 0 5 3 20 0 15 0 473821480 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345399543920 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17149] ppid=17081 vsize=10834680 memory=7079773312759387496 CPUtime=0.08 cores=4-7
/proc/17084/task/17149/stat : 17149 (java) S 17081 17084 13981 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 473821480 11094712320 43060 33554432000 4194304 4196468 140721898836496 140344230406368 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17150] ppid=17081 vsize=10834680 memory=7885353699976504407 CPUtime=0.08 cores=4-7
/proc/17084/task/17150/stat : 17150 (java) S 17081 17084 13981 0 -1 1077944384 1 13311 0 0 0 0 5 3 20 0 15 0 473821480 11094712320 43060 33554432000 4194304 4196468 140721898836496 140345398492336 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 10834680 KiB

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

Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 273376 KiB

[startup+5.42116 s]
# the end of solver process 17084 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.84827 s, system=0.295302 s

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

[startup+3.20096 s]
/proc/loadavg: 1.26 1.38 1.44 5/227 17150
/proc/meminfo: memFree=3563668/32770688 swapFree=66927192/67108860
[pid=17084] ppid=17081 vsize=10842892 memory=275056 CPUtime=6.46 cores=4-7
/proc/17084/stat : 17084 (java) S 17081 17084 13981 0 -1 1077944320 35838 13311 0 0 621 17 5 3 20 0 15 0 473821464 11103121408 68764 33554432000 4194304 4196468 140721898836496 140721898819040 140345977478903 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
/proc/17084/statm: 2710723 68764 3603 1 0 2672781 0
[pid=17084/tid=17137] ppid=17081 vsize=10842892 memory=0 CPUtime=3.11 cores=4-7
/proc/17084/task/17137/stat : 17137 (java) R 17081 17084 13981 0 -1 4202560 23942 13311 0 0 293 10 5 3 20 0 15 0 473821474 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345949311456 140345590127421 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17138] ppid=17081 vsize=10842892 memory=8187704045996132563 CPUtime=0.09 cores=4-7
/proc/17084/task/17138/stat : 17138 (java) S 17081 17084 13981 0 -1 1077944384 319 13311 0 0 1 0 5 3 20 0 15 0 473821475 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345981721232 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17139] ppid=17081 vsize=10842892 memory=7681407940103534239 CPUtime=0.09 cores=4-7
/proc/17084/task/17139/stat : 17139 (java) S 17081 17084 13981 0 -1 1077944384 40 13311 0 0 1 0 5 3 20 0 15 0 473821475 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345909201424 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17140] ppid=17081 vsize=10842892 memory=6656426216303648864 CPUtime=0.09 cores=4-7
/proc/17084/task/17140/stat : 17140 (java) S 17081 17084 13981 0 -1 1077944384 131 13311 0 0 1 0 5 3 20 0 15 0 473821475 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345550154128 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17141] ppid=17081 vsize=10842892 memory=6656426216303648864 CPUtime=0.09 cores=4-7
/proc/17084/task/17141/stat : 17141 (java) S 17081 17084 13981 0 -1 1077944384 115 13311 0 0 1 0 5 3 20 0 15 0 473821475 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345549101328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17142] ppid=17081 vsize=10842892 memory=0 CPUtime=0.09 cores=4-7
/proc/17084/task/17142/stat : 17142 (java) S 17081 17084 13981 0 -1 1077944384 195 13311 0 0 1 0 5 3 20 0 15 0 473821476 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345436261232 140345977490050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17143] ppid=17081 vsize=10842892 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17143/stat : 17143 (java) S 17081 17084 13981 0 -1 1077944384 38 13311 0 0 0 0 5 3 20 0 15 0 473821477 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345435207264 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17144] ppid=17081 vsize=10842892 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17144/stat : 17144 (java) S 17081 17084 13981 0 -1 1077944384 6 13311 0 0 0 0 5 3 20 0 15 0 473821477 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345304147328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17145] ppid=17081 vsize=10842892 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17145/stat : 17145 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821480 11103121408 68764 33554432000 4194304 4196468 140721898836496 140344700168528 140345977497499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17146] ppid=17081 vsize=10842892 memory=2241 CPUtime=1.1 cores=4-7
/proc/17084/task/17146/stat : 17146 (java) R 17081 17084 13981 0 -1 4202560 2398 13311 0 0 101 1 5 3 20 0 15 0 473821480 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345401637712 140345956990651 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17147] ppid=17081 vsize=10842892 memory=2244 CPUtime=1.17 cores=4-7
/proc/17084/task/17147/stat : 17147 (java) R 17081 17084 13981 0 -1 4202560 2226 13311 0 0 108 1 5 3 20 0 15 0 473821480 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345400596720 140345960820491 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17148] ppid=17081 vsize=10842892 memory=0 CPUtime=1.17 cores=4-7
/proc/17084/task/17148/stat : 17148 (java) S 17081 17084 13981 0 -1 1077944384 4207 13311 0 0 107 2 5 3 20 0 15 0 473821480 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345399543920 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17149] ppid=17081 vsize=10842892 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17149/stat : 17149 (java) S 17081 17084 13981 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 473821480 11103121408 68764 33554432000 4194304 4196468 140721898836496 140344230406368 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17150] ppid=17081 vsize=10842892 memory=0 CPUtime=0.08 cores=4-7
/proc/17084/task/17150/stat : 17150 (java) S 17081 17084 13981 0 -1 1077944384 6 13311 0 0 0 0 5 3 20 0 15 0 473821480 11103121408 68764 33554432000 4194304 4196468 140721898836496 140345398492336 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
Current children cumulated CPU time: 6.46 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 275056 KiB

[startup+4.80081 s]
/proc/loadavg: 1.26 1.38 1.44 5/227 17150
/proc/meminfo: memFree=3522524/32770688 swapFree=66927192/67108860
[pid=17084] ppid=17081 vsize=10844940 memory=331868 CPUtime=8.91 cores=4-7
/proc/17084/stat : 17084 (java) S 17081 17084 13981 0 -1 1077944320 40382 13311 0 0 859 24 5 3 20 0 15 0 473821464 11105218560 82967 33554432000 4194304 4196468 140721898836496 140721898819040 140345977478903 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
/proc/17084/statm: 2711235 82967 3612 1 0 2673293 0
[pid=17084/tid=17137] ppid=17081 vsize=10844940 memory=6944656575208382560 CPUtime=4.63 cores=4-7
/proc/17084/task/17137/stat : 17137 (java) R 17081 17084 13981 0 -1 4202560 24608 13311 0 0 444 11 5 3 20 0 15 0 473821474 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345949314640 140345581757292 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17138] ppid=17081 vsize=10844940 memory=6944652177228980320 CPUtime=0.15 cores=4-7
/proc/17084/task/17138/stat : 17138 (java) S 17081 17084 13981 0 -1 1077944384 364 13311 0 0 6 1 5 3 20 0 15 0 473821475 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345981721232 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17139] ppid=17081 vsize=10844940 memory=6944656592455097440 CPUtime=0.15 cores=4-7
/proc/17084/task/17139/stat : 17139 (java) S 17081 17084 13981 0 -1 1077944384 67 13311 0 0 6 1 5 3 20 0 15 0 473821475 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345909201424 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17140] ppid=17081 vsize=10844940 memory=6655300316396806240 CPUtime=0.15 cores=4-7
/proc/17084/task/17140/stat : 17140 (java) S 17081 17084 13981 0 -1 1077944384 170 13311 0 0 6 1 5 3 20 0 15 0 473821475 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345550154128 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17141] ppid=17081 vsize=10844940 memory=285900 CPUtime=0.14 cores=4-7
/proc/17084/task/17141/stat : 17141 (java) S 17081 17084 13981 0 -1 1077944384 143 13311 0 0 5 1 5 3 20 0 15 0 473821475 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345549101328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17142] ppid=17081 vsize=10844940 memory=63740 CPUtime=0.12 cores=4-7
/proc/17084/task/17142/stat : 17142 (java) S 17081 17084 13981 0 -1 1077944384 3045 13311 0 0 4 0 5 3 20 0 15 0 473821476 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345436261232 140345977490050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17143] ppid=17081 vsize=10844940 memory=984 CPUtime=0.08 cores=4-7
/proc/17084/task/17143/stat : 17143 (java) S 17081 17084 13981 0 -1 1077944384 39 13311 0 0 0 0 5 3 20 0 15 0 473821477 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345435207328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17144] ppid=17081 vsize=10844940 memory=2020 CPUtime=0.08 cores=4-7
/proc/17084/task/17144/stat : 17144 (java) S 17081 17084 13981 0 -1 1077944384 6 13311 0 0 0 0 5 3 20 0 15 0 473821477 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345304147328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17145] ppid=17081 vsize=10844940 memory=1420 CPUtime=0.08 cores=4-7
/proc/17084/task/17145/stat : 17145 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821480 11105218560 82967 33554432000 4194304 4196468 140721898836496 140344700168528 140345977497499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17146] ppid=17081 vsize=10844940 memory=776 CPUtime=1.37 cores=4-7
/proc/17084/task/17146/stat : 17146 (java) S 17081 17084 13981 0 -1 1077944384 2783 13311 0 0 128 1 5 3 20 0 15 0 473821480 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345401649520 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17147] ppid=17081 vsize=10844940 memory=660 CPUtime=1.42 cores=4-7
/proc/17084/task/17147/stat : 17147 (java) S 17081 17084 13981 0 -1 1077944384 2350 13311 0 0 133 1 5 3 20 0 15 0 473821480 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345400596720 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17148] ppid=17081 vsize=10844940 memory=1556 CPUtime=1.31 cores=4-7
/proc/17084/task/17148/stat : 17148 (java) S 17081 17084 13981 0 -1 1077944384 4585 13311 0 0 121 2 5 3 20 0 15 0 473821480 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345399543920 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17149] ppid=17081 vsize=10844940 memory=9588 CPUtime=0.08 cores=4-7
/proc/17084/task/17149/stat : 17149 (java) S 17081 17084 13981 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 473821480 11105218560 82967 33554432000 4194304 4196468 140721898836496 140344230406368 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17150] ppid=17081 vsize=10844940 memory=1712 CPUtime=0.08 cores=4-7
/proc/17084/task/17150/stat : 17150 (java) S 17081 17084 13981 0 -1 1077944384 7 13311 0 0 0 0 5 3 20 0 15 0 473821480 11105218560 82967 33554432000 4194304 4196468 140721898836496 140345398492336 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 331868 KiB

[startup+5.20148 s]
/proc/loadavg: 1.26 1.38 1.44 3/227 17150
/proc/meminfo: memFree=3502668/32770688 swapFree=66927192/67108860
[pid=17084] ppid=17081 vsize=10844940 memory=336868 CPUtime=9.52 cores=4-7
/proc/17084/stat : 17084 (java) S 17081 17084 13981 0 -1 1077944320 41796 13311 0 0 920 24 5 3 20 0 15 0 473821464 11105218560 84217 33554432000 4194304 4196468 140721898836496 140721898819040 140345977478903 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
/proc/17084/statm: 2711235 84217 3615 1 0 2673293 0
[pid=17084/tid=17137] ppid=17081 vsize=10844940 memory=14132229966143655 CPUtime=5.02 cores=4-7
/proc/17084/task/17137/stat : 17137 (java) R 17081 17084 13981 0 -1 4202560 24736 13311 0 0 483 11 5 3 20 0 15 0 473821474 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345949310128 140345580757831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17138] ppid=17081 vsize=10844940 memory=6655300316396806240 CPUtime=0.15 cores=4-7
/proc/17084/task/17138/stat : 17138 (java) S 17081 17084 13981 0 -1 1077944384 364 13311 0 0 6 1 5 3 20 0 15 0 473821475 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345981721232 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17139] ppid=17081 vsize=10844940 memory=6943526294502006880 CPUtime=0.15 cores=4-7
/proc/17084/task/17139/stat : 17139 (java) S 17081 17084 13981 0 -1 1077944384 67 13311 0 0 6 1 5 3 20 0 15 0 473821475 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345909201424 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17140] ppid=17081 vsize=10844940 memory=6944656592387989600 CPUtime=0.15 cores=4-7
/proc/17084/task/17140/stat : 17140 (java) S 17081 17084 13981 0 -1 1077944384 170 13311 0 0 6 1 5 3 20 0 15 0 473821475 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345550154128 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17141] ppid=17081 vsize=10844940 memory=6656426216303648864 CPUtime=0.14 cores=4-7
/proc/17084/task/17141/stat : 17141 (java) S 17081 17084 13981 0 -1 1077944384 143 13311 0 0 5 1 5 3 20 0 15 0 473821475 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345549101328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17142] ppid=17081 vsize=10844940 memory=6655300316396806240 CPUtime=0.12 cores=4-7
/proc/17084/task/17142/stat : 17142 (java) S 17081 17084 13981 0 -1 1077944384 3045 13311 0 0 4 0 5 3 20 0 15 0 473821476 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345436261232 140345977490050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17143] ppid=17081 vsize=10844940 memory=6944656592387989600 CPUtime=0.08 cores=4-7
/proc/17084/task/17143/stat : 17143 (java) S 17081 17084 13981 0 -1 1077944384 39 13311 0 0 0 0 5 3 20 0 15 0 473821477 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345435207328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17144] ppid=17081 vsize=10844940 memory=-7361183220417256562 CPUtime=0.08 cores=4-7
/proc/17084/task/17144/stat : 17144 (java) S 17081 17084 13981 0 -1 1077944384 6 13311 0 0 0 0 5 3 20 0 15 0 473821477 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345304147328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17145] ppid=17081 vsize=10844940 memory=6655300316396806240 CPUtime=0.08 cores=4-7
/proc/17084/task/17145/stat : 17145 (java) S 17081 17084 13981 0 -1 1077944384 2 13311 0 0 0 0 5 3 20 0 15 0 473821480 11105218560 84217 33554432000 4194304 4196468 140721898836496 140344700168528 140345977497499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17146] ppid=17081 vsize=10844940 memory=6944656592455097440 CPUtime=1.45 cores=4-7
/proc/17084/task/17146/stat : 17146 (java) R 17081 17084 13981 0 -1 4202560 2839 13311 0 0 136 1 5 3 20 0 15 0 473821480 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345401649536 140345957177553 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17147] ppid=17081 vsize=10844940 memory=-1807685289533871442 CPUtime=1.51 cores=4-7
/proc/17084/task/17147/stat : 17147 (java) R 17081 17084 13981 0 -1 4202560 3208 13311 0 0 142 1 5 3 20 0 15 0 473821480 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345400582048 140345960975691 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17148] ppid=17081 vsize=10844940 memory=0 CPUtime=1.36 cores=4-7
/proc/17084/task/17148/stat : 17148 (java) S 17081 17084 13981 0 -1 1077944384 4957 13311 0 0 126 2 5 3 20 0 15 0 473821480 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345399543920 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17149] ppid=17081 vsize=10844940 memory=331868 CPUtime=0.08 cores=4-7
/proc/17084/task/17149/stat : 17149 (java) S 17081 17084 13981 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 15 0 473821480 11105218560 84217 33554432000 4194304 4196468 140721898836496 140344230406368 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17150] ppid=17081 vsize=10844940 memory=317488 CPUtime=0.08 cores=4-7
/proc/17084/task/17150/stat : 17150 (java) S 17081 17084 13981 0 -1 1077944384 7 13311 0 0 0 0 5 3 20 0 15 0 473821480 11105218560 84217 33554432000 4194304 4196468 140721898836496 140345398492336 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
Current children cumulated CPU time: 9.52 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 336868 KiB

[startup+5.40067 s]
/proc/loadavg: 1.26 1.38 1.44 3/227 17150
/proc/meminfo: memFree=3502668/32770688 swapFree=66927192/67108860
[pid=17084] ppid=17081 vsize=10912524 memory=344276 CPUtime=10.11 cores=4-7
/proc/17084/stat : 17084 (java) S 17081 17084 13981 0 -1 1077944320 44241 13311 0 0 978 25 5 3 20 0 13 0 473821464 11174424576 86069 33554432000 4194304 4196468 140721898836496 140721898819040 140345977478903 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
/proc/17084/statm: 2728131 86069 3617 1 0 2690189 0
[pid=17084/tid=17137] ppid=17081 vsize=10912524 memory=-7088785026379990432 CPUtime=5.19 cores=4-7
/proc/17084/task/17137/stat : 17137 (java) S 17081 17084 13981 0 -1 1077944384 24856 13311 0 0 500 11 5 3 20 0 13 0 473821474 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345949322384 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17138] ppid=17081 vsize=10912524 memory=-7812736537705029536 CPUtime=0.15 cores=4-7
/proc/17084/task/17138/stat : 17138 (java) S 17081 17084 13981 0 -1 1077944384 364 13311 0 0 6 1 5 3 20 0 13 0 473821475 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345981721232 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17139] ppid=17081 vsize=10912524 memory=-1391509512798375272 CPUtime=0.15 cores=4-7
/proc/17084/task/17139/stat : 17139 (java) S 17081 17084 13981 0 -1 1077944384 67 13311 0 0 6 1 5 3 20 0 13 0 473821475 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345909201424 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17140] ppid=17081 vsize=10912524 memory=7974038411334692957 CPUtime=0.15 cores=4-7
/proc/17084/task/17140/stat : 17140 (java) S 17081 17084 13981 0 -1 1077944384 170 13311 0 0 6 1 5 3 20 0 13 0 473821475 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345550154128 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17141] ppid=17081 vsize=10912524 memory=1400242874264906928 CPUtime=0.14 cores=4-7
/proc/17084/task/17141/stat : 17141 (java) S 17081 17084 13981 0 -1 1077944384 143 13311 0 0 5 1 5 3 20 0 13 0 473821475 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345549101328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17142] ppid=17081 vsize=10912524 memory=7005738693937936738 CPUtime=0.12 cores=4-7
/proc/17084/task/17142/stat : 17142 (java) S 17081 17084 13981 0 -1 1077944384 3045 13311 0 0 4 0 5 3 20 0 13 0 473821476 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345436261440 140345977490050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17143] ppid=17081 vsize=10912524 memory=4134930498285298233 CPUtime=0.08 cores=4-7
/proc/17084/task/17143/stat : 17143 (java) S 17081 17084 13981 0 -1 1077944384 39 13311 0 0 0 0 5 3 20 0 13 0 473821477 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345435207328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17144] ppid=17081 vsize=10912524 memory=4134692831991786133 CPUtime=0.08 cores=4-7
/proc/17084/task/17144/stat : 17144 (java) S 17081 17084 13981 0 -1 1077944384 6 13311 0 0 0 0 5 3 20 0 13 0 473821477 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345304147328 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17146] ppid=17081 vsize=10912524 memory=139940265822049 CPUtime=1.62 cores=4-7
/proc/17084/task/17146/stat : 17146 (java) S 17081 17084 13981 0 -1 1077944384 3346 13311 0 0 153 1 5 3 20 0 13 0 473821480 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345401633712 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17147] ppid=17081 vsize=10912524 memory=7589237635003869541 CPUtime=1.71 cores=4-7
/proc/17084/task/17147/stat : 17147 (java) R 17081 17084 13981 0 -1 4202560 4584 13311 0 0 162 1 5 3 20 0 13 0 473821480 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345400582904 140345969768285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17148] ppid=17081 vsize=10912524 memory=7162531478783027801 CPUtime=1.41 cores=4-7
/proc/17084/task/17148/stat : 17148 (java) S 17081 17084 13981 0 -1 1077944384 5392 13311 0 0 131 2 5 3 20 0 13 0 473821480 11174424576 86069 33554432000 4194304 4196468 140721898836496 140345399543920 140345977490050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
[pid=17084/tid=17149] ppid=17081 vsize=10912524 memory=8027780033845618261 CPUtime=0.08 cores=4-7
/proc/17084/task/17149/stat : 17149 (java) S 17081 17084 13981 0 -1 1077944384 3 13311 0 0 0 0 5 3 20 0 13 0 473821480 11174424576 86069 33554432000 4194304 4196468 140721898836496 140344230406368 140345977489109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30588928 140721898842863 140721898845381 140721898845381 140721898848207 0
Current children cumulated CPU time: 10.11 s
Current children cumulated vsize: 10912524 KiB
Current children cumulated memory: 344276 KiB

Child status: 0
Real time (s): 5.42121
CPU time (s): 10.1436
CPU user time (s): 9.84827
CPU system time (s): 0.295302
CPU usage (%): 187.109
Max. virtual memory (cumulated for all children) (KiB): 10912524
Max. memory (cumulated for all children) (KiB): 344276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.84827
system time used= 0.295302
maximum resident set size= 347008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57677
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= 6397
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 17084
#   total CPU time (s): 10.1436
#   total CPU user time (s): 9.84827
#   total CPU system time (s): 0.295302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069374 second user time and 0.097123 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-21 19:36:14
IDJOB=4402454
IDBENCH=131540
IDSOLVER=2861
FILE ID=node120/4402454-1568978152
RUNJOBID= node120-1324482060-14013
PBS_JOBID= 21704627
Free space on /tmp= 23256 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b06-m200-07.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4402454-1568978152/watcher-4402454-1568978152 -o /tmp/evaluation-result-4402454-1568978152/solver-4402454-1568978152 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324482060-14013 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1467329244 HOME/instance-4402454-1568978152.xml

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

MD5SUM BENCH= d7eafb215ab3d3f066855d3513f44111
RANDOM SEED=1467329244

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:         3821704 kB
MemAvailable:   31164384 kB
Buffers:          111852 kB
Cached:         27191164 kB
SwapCached:        68632 kB
Active:         14259792 kB
Inactive:       13730372 kB
Active(anon):     617524 kB
Inactive(anon):   125436 kB
Active(file):   13642268 kB
Inactive(file): 13604936 kB
Unevictable:      109204 kB
Mlocked:          109204 kB
SwapTotal:      67108860 kB
SwapFree:       66927192 kB
Dirty:             35356 kB
Writeback:             0 kB
AnonPages:        728848 kB
Mapped:            71076 kB
Shmem:             47316 kB
Slab:             553368 kB
SReclaimable:     523936 kB
SUnreclaim:        29432 kB
KernelStack:        3744 kB
PageTables:         6728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1917896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    565248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 23220 MiB
End job on node120 at 2011-12-21 19:36:20