Trace number 4400656

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.2SAT 14.9579 8.68009

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-rand/
Subisomorphism-si2-r001-m400-05.xml
MD5SUM5f006248f7b4f652f1c0eb398f87a4da
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 benchmark9.50125
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints172
Number of domains1
Minimum domain size400
Maximum domain size400
Distribution of domain sizes[{"size":400,"count":80}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":20},{"degree":4,"count":19},{"degree":5,"count":18},{"degree":6,"count":11},{"degree":7,"count":8},{"degree":8,"count":2},{"degree":9,"count":2}]
Minimum constraint arity1
Maximum constraint arity80
Distribution of constraint arities[{"arity":1,"count":60},{"arity":2,"count":111},{"arity":80,"count":1}]
Number of extensional constraints171
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":171},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.74/0.56	c Concrete v3.12.2.1568631193530 running
14.84/8.66	v <instantiation
14.84/8.66	v         >
14.84/8.66	v       <list>
14.84/8.66	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]
14.84/8.66	v       </list>
14.84/8.66	v       <values>
14.84/8.66	v         367 15 181 310 197 87 221 94 24 88 379 316 7 315 307 282 360 275 53 311 55 327 20 99 228 297 43 254 314 67 110 378 32 40 337 280 131 83 319 112 225 289 259 49 338 188 257 145 173 30 355 326 132 230 3 89 143 328 47 41 13 396 371 160 163 201 321 290 146 375 71 186 180 387 127 126 18 273 117 362
14.84/8.66	v       </values>
14.84/8.66	v     </instantiation>
14.84/8.66	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 (14623 MiB free)
  memory of node 1: 16384 MiB (14130 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400656-1568684858/watcher-4400656-1568684858 -o /tmp/evaluation-result-4400656-1568684858/solver-4400656-1568684858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568673289-24882 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=434527036 HOME/instance-4400656-1568684858.xml 

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

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


[startup+0.100061 s]*
/proc/loadavg: 1.70 1.47 1.45 3/218 27901
/proc/meminfo: memFree=29439052/32770624 swapFree=66953724/67108860
[pid=27844] ppid=27841 vsize=9972712 memory=16948 CPUtime=0.09 cores=0,2,4,6
/proc/27844/stat : 27844 (java) S 27841 27844 24851 0 -1 1077944320 4505 13058 0 0 1 0 5 3 20 0 6 0 444427715 10212057088 4237 33554432000 4194304 4196468 140723968409536 140723968392080 139655833353975 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
/proc/27844/statm: 2493178 4237 1935 1 0 2481616 0
[pid=27844/tid=27897] ppid=27841 vsize=9972712 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/27844/task/27897/stat : 27897 (java) R 27841 27844 24851 0 -1 4202560 2301 13058 0 0 1 0 5 3 20 0 6 0 444427724 10212057088 4237 33554432000 4194304 4196468 140723968409536 139655805190736 139655825591102 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27898] ppid=27841 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27898/stat : 27898 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 6 0 444427725 10212057088 4237 33554432000 4194304 4196468 140723968409536 139655837596304 139655833364181 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27899] ppid=27841 vsize=9972712 memory=140441847854720 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27899/stat : 27899 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 6 0 444427725 10212057088 4237 33554432000 4194304 4196468 140723968409536 139655406918160 139655833364181 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27900] ppid=27841 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27900/stat : 27900 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 6 0 444427725 10212057088 4237 33554432000 4194304 4196468 140723968409536 139655405865360 139655833364181 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27901] ppid=27841 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27901/stat : 27901 (java) S 27841 27844 24851 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 6 0 444427725 10212057088 4237 33554432000 4194304 4196468 140723968409536 139655404812560 139655833364181 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16948 KiB

[startup+0.209924 s]*
/proc/loadavg: 1.70 1.47 1.45 4/227 27910
/proc/meminfo: memFree=29415108/32770624 swapFree=66953724/67108860
[pid=27844] ppid=27841 vsize=10819712 memory=43088 CPUtime=0.26 cores=0,2,4,6
/proc/27844/stat : 27844 (java) S 27841 27844 24851 0 -1 1077944320 7404 13058 0 0 17 1 5 3 20 0 15 0 444427715 11079385088 10772 33554432000 4194304 4196468 140723968409536 140723968392080 139655833353975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
/proc/27844/statm: 2704928 10772 3178 1 0 2667149 0
[pid=27844/tid=27897] ppid=27841 vsize=10819712 memory=7822038051842263955 CPUtime=0.18 cores=0,2,4,6
/proc/27844/task/27897/stat : 27897 (java) R 27841 27844 24851 0 -1 4202560 3897 13058 0 0 10 0 5 3 20 0 15 0 444427724 11079385088 10772 33554432000 4194304 4196468 140723968409536 139655805148080 139655814747649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27898] ppid=27841 vsize=10819712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27898/stat : 27898 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427725 11079385088 10772 33554432000 4194304 4196468 140723968409536 139655837596304 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27899] ppid=27841 vsize=10819712 memory=140441847854720 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27899/stat : 27899 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427725 11079385088 10772 33554432000 4194304 4196468 140723968409536 139655406918160 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27900] ppid=27841 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27900/stat : 27900 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427725 11079385088 10772 33554432000 4194304 4196468 140723968409536 139655405865360 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27901] ppid=27841 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27901/stat : 27901 (java) S 27841 27844 24851 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444427725 11079385088 10772 33554432000 4194304 4196468 140723968409536 139655404812560 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27902] ppid=27841 vsize=10819712 memory=140441847854720 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27902/stat : 27902 (java) S 27841 27844 24851 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444427726 11079385088 10772 33554432000 4194304 4196468 140723968409536 139655359998832 139655833365122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27903] ppid=27841 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27903/stat : 27903 (java) S 27841 27844 24851 0 -1 1077944384 13 13058 0 0 0 0 5 3 20 0 15 0 444427727 11079385088 10772 33554432000 4194304 4196468 140723968409536 139654753936928 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27904] ppid=27841 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27904/stat : 27904 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427727 11079385088 10772 33554432000 4194304 4196468 140723968409536 139654619719024 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27905] ppid=27841 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27905/stat : 27905 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11079385088 10772 33554432000 4194304 4196468 140723968409536 139654379428176 139655833372571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27906] ppid=27841 vsize=10819712 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27844/task/27906/stat : 27906 (java) S 27841 27844 24851 0 -1 1077944384 476 13058 0 0 1 0 5 3 20 0 15 0 444427730 11079385088 10772 33554432000 4194304 4196468 140723968409536 139654834678128 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27907] ppid=27841 vsize=10819712 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/27844/task/27907/stat : 27907 (java) S 27841 27844 24851 0 -1 1077944384 177 13058 0 0 1 0 5 3 20 0 15 0 444427730 11079385088 10772 33554432000 4194304 4196468 140723968409536 139654833625328 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27908] ppid=27841 vsize=10819712 memory=140441847854720 CPUtime=0.11 cores=0,2,4,6
/proc/27844/task/27908/stat : 27908 (java) S 27841 27844 24851 0 -1 1077944384 616 13058 0 0 3 0 5 3 20 0 15 0 444427730 11079385088 10772 33554432000 4194304 4196468 140723968409536 139654832572528 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27909] ppid=27841 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27909/stat : 27909 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11079385088 10772 33554432000 4194304 4196468 140723968409536 139654345869536 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27910] ppid=27841 vsize=10819712 memory=140441847854720 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27910/stat : 27910 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427730 11079385088 10772 33554432000 4194304 4196468 140723968409536 139654831520944 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 43088 KiB

[startup+0.310342 s]*
/proc/loadavg: 1.70 1.47 1.45 3/227 27910
/proc/meminfo: memFree=29402648/32770624 swapFree=66953724/67108860
[pid=27844] ppid=27841 vsize=10820196 memory=51776 CPUtime=0.4 cores=0,2,4,6
/proc/27844/stat : 27844 (java) S 27841 27844 24851 0 -1 1077944320 10901 13058 0 0 29 3 5 3 20 0 15 0 444427715 11079880704 12944 33554432000 4194304 4196468 140723968409536 140723968392080 139655833353975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
/proc/27844/statm: 2705049 12944 3306 1 0 2667149 0
[pid=27844/tid=27897] ppid=27841 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/27844/task/27897/stat : 27897 (java) R 27841 27844 24851 0 -1 4202560 7377 13058 0 0 19 2 5 3 20 0 15 0 444427724 11079880704 12944 33554432000 4194304 4196468 140723968409536 139655805162928 139655833375901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27898] ppid=27841 vsize=10820196 memory=7451605145991998052 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27898/stat : 27898 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427725 11079880704 12944 33554432000 4194304 4196468 140723968409536 139655837596304 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27899] ppid=27841 vsize=10820196 memory=5787233549803348032 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27899/stat : 27899 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427725 11079880704 12944 33554432000 4194304 4196468 140723968409536 139655406918160 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27900] ppid=27841 vsize=10820196 memory=7649539817415003586 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27900/stat : 27900 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427725 11079880704 12944 33554432000 4194304 4196468 140723968409536 139655405865360 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27901] ppid=27841 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27901/stat : 27901 (java) S 27841 27844 24851 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444427725 11079880704 12944 33554432000 4194304 4196468 140723968409536 139655404812560 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27902] ppid=27841 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27902/stat : 27902 (java) S 27841 27844 24851 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444427726 11079880704 12944 33554432000 4194304 4196468 140723968409536 139655359998832 139655833365122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27903] ppid=27841 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27903/stat : 27903 (java) S 27841 27844 24851 0 -1 1077944384 13 13058 0 0 0 0 5 3 20 0 15 0 444427727 11079880704 12944 33554432000 4194304 4196468 140723968409536 139654753936928 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27904] ppid=27841 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27904/stat : 27904 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427727 11079880704 12944 33554432000 4194304 4196468 140723968409536 139654619719024 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27905] ppid=27841 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27905/stat : 27905 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11079880704 12944 33554432000 4194304 4196468 140723968409536 139654379428176 139655833372571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27906] ppid=27841 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/27844/task/27906/stat : 27906 (java) S 27841 27844 24851 0 -1 1077944384 485 13058 0 0 2 0 5 3 20 0 15 0 444427730 11079880704 12944 33554432000 4194304 4196468 140723968409536 139654834678128 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27907] ppid=27841 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27844/task/27907/stat : 27907 (java) S 27841 27844 24851 0 -1 1077944384 178 13058 0 0 1 0 5 3 20 0 15 0 444427730 11079880704 12944 33554432000 4194304 4196468 140723968409536 139654833625328 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27908] ppid=27841 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/27844/task/27908/stat : 27908 (java) R 27841 27844 24851 0 -1 4202560 623 13058 0 0 5 0 5 3 20 0 15 0 444427730 11079880704 12944 33554432000 4194304 4196468 140723968409536 139654832572528 139655817613313 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27909] ppid=27841 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27909/stat : 27909 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11079880704 12944 33554432000 4194304 4196468 140723968409536 139654345869536 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27910] ppid=27841 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27910/stat : 27910 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427730 11079880704 12944 33554432000 4194304 4196468 140723968409536 139654831520944 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51776 KiB

[startup+0.706882 s]
/proc/loadavg: 1.70 1.47 1.45 3/227 27910
/proc/meminfo: memFree=29388624/32770624 swapFree=66953724/67108860
[pid=27844] ppid=27841 vsize=10824364 memory=84544 CPUtime=1.12 cores=0,2,4,6
/proc/27844/stat : 27844 (java) S 27841 27844 24851 0 -1 1077944320 15074 13058 0 0 100 4 5 3 20 0 15 0 444427715 11084148736 21136 33554432000 4194304 4196468 140723968409536 140723968392080 139655833353975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
/proc/27844/statm: 2706091 21136 3499 1 0 2668173 0
[pid=27844/tid=27897] ppid=27841 vsize=10824364 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/27844/task/27897/stat : 27897 (java) R 27841 27844 24851 0 -1 4202560 10462 13058 0 0 57 2 5 3 20 0 15 0 444427724 11084148736 21136 33554432000 4194304 4196468 140723968409536 139655805168784 139655689104208 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27898] ppid=27841 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27898/stat : 27898 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427725 11084148736 21136 33554432000 4194304 4196468 140723968409536 139655837596304 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27899] ppid=27841 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27899/stat : 27899 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427725 11084148736 21136 33554432000 4194304 4196468 140723968409536 139655406918160 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27900] ppid=27841 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27900/stat : 27900 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427725 11084148736 21136 33554432000 4194304 4196468 140723968409536 139655405865360 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27901] ppid=27841 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27901/stat : 27901 (java) S 27841 27844 24851 0 -1 1077944384 2 13058 0 0 0 0 5 3 20 0 15 0 444427725 11084148736 21136 33554432000 4194304 4196468 140723968409536 139655404812560 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27902] ppid=27841 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27902/stat : 27902 (java) S 27841 27844 24851 0 -1 1077944384 5 13058 0 0 0 0 5 3 20 0 15 0 444427726 11084148736 21136 33554432000 4194304 4196468 140723968409536 139655359998832 139655833365122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27903] ppid=27841 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27903/stat : 27903 (java) S 27841 27844 24851 0 -1 1077944384 13 13058 0 0 0 0 5 3 20 0 15 0 444427727 11084148736 21136 33554432000 4194304 4196468 140723968409536 139654753936928 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27904] ppid=27841 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27904/stat : 27904 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427727 11084148736 21136 33554432000 4194304 4196468 140723968409536 139654619719024 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27905] ppid=27841 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27905/stat : 27905 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11084148736 21136 33554432000 4194304 4196468 140723968409536 139654379428176 139655833372571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27906] ppid=27841 vsize=10824364 memory=140441739626384 CPUtime=0.21 cores=0,2,4,6
/proc/27844/task/27906/stat : 27906 (java) R 27841 27844 24851 0 -1 4202560 918 13058 0 0 13 0 5 3 20 0 15 0 444427730 11084148736 21136 33554432000 4194304 4196468 140723968409536 139654834678128 139655818260920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27907] ppid=27841 vsize=10824364 memory=24964 CPUtime=0.2 cores=0,2,4,6
/proc/27844/task/27907/stat : 27907 (java) R 27841 27844 24851 0 -1 4202560 664 13058 0 0 12 0 5 3 20 0 15 0 444427730 11084148736 21136 33554432000 4194304 4196468 140723968409536 139654833625328 139655818248771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27908] ppid=27841 vsize=10824364 memory=2244 CPUtime=0.25 cores=0,2,4,6
/proc/27844/task/27908/stat : 27908 (java) S 27841 27844 24851 0 -1 1077944384 789 13058 0 0 17 0 5 3 20 0 15 0 444427730 11084148736 21136 33554432000 4194304 4196468 140723968409536 139654832572528 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27909] ppid=27841 vsize=10824364 memory=140441739623792 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27909/stat : 27909 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11084148736 21136 33554432000 4194304 4196468 140723968409536 139654345869536 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27910] ppid=27841 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27910/stat : 27910 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427730 11084148736 21136 33554432000 4194304 4196468 140723968409536 139654831520944 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84544 KiB

[startup+1.50094 s]
/proc/loadavg: 1.70 1.47 1.45 3/227 27910
/proc/meminfo: memFree=29345248/32770624 swapFree=66953724/67108860
[pid=27844] ppid=27841 vsize=10834680 memory=179000 CPUtime=2.6 cores=0,2,4,6
/proc/27844/stat : 27844 (java) S 27841 27844 24851 0 -1 1077944320 22820 13058 0 0 243 9 5 3 20 0 15 0 444427715 11094712320 44750 33554432000 4194304 4196468 140723968409536 140723968392080 139655833353975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
/proc/27844/statm: 2708670 44750 3582 1 0 2670733 0
[pid=27844/tid=27897] ppid=27841 vsize=10834680 memory=22 CPUtime=1.44 cores=0,2,4,6
/proc/27844/task/27897/stat : 27897 (java) R 27841 27844 24851 0 -1 4202560 15392 13058 0 0 131 5 5 3 20 0 15 0 444427724 11094712320 44750 33554432000 4194304 4196468 140723968409536 139655805164256 139655813064422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27898] ppid=27841 vsize=10834680 memory=29 CPUtime=0.09 cores=0,2,4,6
/proc/27844/task/27898/stat : 27898 (java) S 27841 27844 24851 0 -1 1077944384 27 13058 0 0 1 0 5 3 20 0 15 0 444427725 11094712320 44750 33554432000 4194304 4196468 140723968409536 139655837596304 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27899] ppid=27841 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27844/task/27899/stat : 27899 (java) S 27841 27844 24851 0 -1 1077944384 63 13058 0 0 1 0 5 3 20 0 15 0 444427725 11094712320 44750 33554432000 4194304 4196468 140723968409536 139655406918160 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27900] ppid=27841 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27844/task/27900/stat : 27900 (java) S 27841 27844 24851 0 -1 1077944384 334 13058 0 0 1 0 5 3 20 0 15 0 444427725 11094712320 44750 33554432000 4194304 4196468 140723968409536 139655405865360 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27901] ppid=27841 vsize=10834680 memory=101324 CPUtime=0.09 cores=0,2,4,6
/proc/27844/task/27901/stat : 27901 (java) S 27841 27844 24851 0 -1 1077944384 49 13058 0 0 1 0 5 3 20 0 15 0 444427725 11094712320 44750 33554432000 4194304 4196468 140723968409536 139655404812560 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27902] ppid=27841 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27844/task/27902/stat : 27902 (java) S 27841 27844 24851 0 -1 1077944384 309 13058 0 0 1 0 5 3 20 0 15 0 444427726 11094712320 44750 33554432000 4194304 4196468 140723968409536 139655359998832 139655833365122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27903] ppid=27841 vsize=10834680 memory=7018394261716493396 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27903/stat : 27903 (java) S 27841 27844 24851 0 -1 1077944384 14 13058 0 0 0 0 5 3 20 0 15 0 444427727 11094712320 44750 33554432000 4194304 4196468 140723968409536 139654753936992 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27904] ppid=27841 vsize=10834680 memory=7595714780726780501 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27904/stat : 27904 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427727 11094712320 44750 33554432000 4194304 4196468 140723968409536 139654619719040 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27905] ppid=27841 vsize=10834680 memory=7662709200995117927 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27905/stat : 27905 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11094712320 44750 33554432000 4194304 4196468 140723968409536 139654379428176 139655833372571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27906] ppid=27841 vsize=10834680 memory=5787222713669608536 CPUtime=0.44 cores=0,2,4,6
/proc/27844/task/27906/stat : 27906 (java) R 27841 27844 24851 0 -1 4202560 1699 13058 0 0 36 0 5 3 20 0 15 0 444427730 11094712320 44750 33554432000 4194304 4196468 140723968409536 139654834670080 139655833375322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27907] ppid=27841 vsize=10834680 memory=7740387485638093155 CPUtime=0.37 cores=0,2,4,6
/proc/27844/task/27907/stat : 27907 (java) S 27841 27844 24851 0 -1 1077944384 1279 13058 0 0 29 0 5 3 20 0 15 0 444427730 11094712320 44750 33554432000 4194304 4196468 140723968409536 139654833625328 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27908] ppid=27841 vsize=10834680 memory=7018394261716493396 CPUtime=0.47 cores=0,2,4,6
/proc/27844/task/27908/stat : 27908 (java) R 27841 27844 24851 0 -1 1077944384 1436 13058 0 0 39 0 5 3 20 0 15 0 444427730 11094712320 44750 33554432000 4194304 4196468 140723968409536 139654832572528 139655833365122 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27909] ppid=27841 vsize=10834680 memory=7018394261716493396 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27909/stat : 27909 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11094712320 44758 33554432000 4194304 4196468 140723968409536 139654345869536 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27910] ppid=27841 vsize=10834680 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27910/stat : 27910 (java) S 27841 27844 24851 0 -1 1077944384 1 13058 0 0 0 0 5 3 20 0 15 0 444427730 11094712320 44758 33554432000 4194304 4196468 140723968409536 139654831520944 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 10834680 KiB

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

[startup+8.68005 s]
# the end of solver process 27844 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14.5669 s, system=0.390975 s

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

[startup+6.40097 s]
/proc/loadavg: 1.81 1.49 1.46 4/227 27910
/proc/meminfo: memFree=28968944/32770624 swapFree=66953724/67108860
[pid=27844] ppid=27841 vsize=10846988 memory=600884 CPUtime=12.15 cores=0,2,4,6
/proc/27844/stat : 27844 (java) S 27841 27844 24851 0 -1 1077944320 53300 13058 0 0 1177 30 5 3 20 0 15 0 444427715 11107315712 150221 33554432000 4194304 4196468 140723968409536 140723968392080 139655833353975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
/proc/27844/statm: 2711747 150221 3621 1 0 2673805 0
[pid=27844/tid=27897] ppid=27841 vsize=10846988 memory=6791534058613427641 CPUtime=5.86 cores=0,2,4,6
/proc/27844/task/27897/stat : 27897 (java) R 27841 27844 24851 0 -1 4202560 22294 13058 0 0 565 13 5 3 20 0 15 0 444427724 11107315712 150221 33554432000 4194304 4196468 140723968409536 139655805188400 139655449925407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27898] ppid=27841 vsize=10846988 memory=11624 CPUtime=0.16 cores=0,2,4,6
/proc/27844/task/27898/stat : 27898 (java) S 27841 27844 24851 0 -1 1077944384 439 13058 0 0 6 2 5 3 20 0 15 0 444427725 11107315712 150221 33554432000 4194304 4196468 140723968409536 139655837596304 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27899] ppid=27841 vsize=10846988 memory=740 CPUtime=0.16 cores=0,2,4,6
/proc/27844/task/27899/stat : 27899 (java) S 27841 27844 24851 0 -1 1077944384 126 13058 0 0 6 2 5 3 20 0 15 0 444427725 11107315712 150221 33554432000 4194304 4196468 140723968409536 139655406918160 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27900] ppid=27841 vsize=10846988 memory=1056 CPUtime=0.16 cores=0,2,4,6
/proc/27844/task/27900/stat : 27900 (java) S 27841 27844 24851 0 -1 1077944384 807 13058 0 0 6 2 5 3 20 0 15 0 444427725 11107315712 150221 33554432000 4194304 4196468 140723968409536 139655405865360 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27901] ppid=27841 vsize=10846988 memory=1552 CPUtime=0.16 cores=0,2,4,6
/proc/27844/task/27901/stat : 27901 (java) S 27841 27844 24851 0 -1 1077944384 157 13058 0 0 6 2 5 3 20 0 15 0 444427725 11107315712 150221 33554432000 4194304 4196468 140723968409536 139655404812560 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27902] ppid=27841 vsize=10846988 memory=1040 CPUtime=0.12 cores=0,2,4,6
/proc/27844/task/27902/stat : 27902 (java) S 27841 27844 24851 0 -1 1077944384 4626 13058 0 0 4 0 5 3 20 0 15 0 444427726 11107315712 150221 33554432000 4194304 4196468 140723968409536 139655359998832 139655833365122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27903] ppid=27841 vsize=10846988 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27903/stat : 27903 (java) S 27841 27844 24851 0 -1 1077944384 16 13058 0 0 0 0 5 3 20 0 15 0 444427727 11107315712 150221 33554432000 4194304 4196468 140723968409536 139654753937056 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27904] ppid=27841 vsize=10846988 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27904/stat : 27904 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427727 11107315712 150221 33554432000 4194304 4196468 140723968409536 139654619719040 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27905] ppid=27841 vsize=10846988 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27905/stat : 27905 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 150221 33554432000 4194304 4196468 140723968409536 139654379428176 139655833372571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27906] ppid=27841 vsize=10846988 memory=1720 CPUtime=2.72 cores=0,2,4,6
/proc/27844/task/27906/stat : 27906 (java) S 27841 27844 24851 0 -1 1077944384 13587 13058 0 0 262 2 5 3 20 0 15 0 444427730 11107315712 150221 33554432000 4194304 4196468 140723968409536 139654834678128 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27907] ppid=27841 vsize=10846988 memory=1200 CPUtime=1.98 cores=0,2,4,6
/proc/27844/task/27907/stat : 27907 (java) S 27841 27844 24851 0 -1 1077944384 3576 13058 0 0 189 1 5 3 20 0 15 0 444427730 11107315712 150221 33554432000 4194304 4196468 140723968409536 139654833625328 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27908] ppid=27841 vsize=10846988 memory=464524 CPUtime=1.37 cores=0,2,4,6
/proc/27844/task/27908/stat : 27908 (java) S 27841 27844 24851 0 -1 1077944384 5441 13058 0 0 127 2 5 3 20 0 15 0 444427730 11107315712 150221 33554432000 4194304 4196468 140723968409536 139654832572528 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27909] ppid=27841 vsize=10846988 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27909/stat : 27909 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 150221 33554432000 4194304 4196468 140723968409536 139654345869536 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27910] ppid=27841 vsize=10846988 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27910/stat : 27910 (java) S 27841 27844 24851 0 -1 1077944384 12 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 150221 33554432000 4194304 4196468 140723968409536 139654831520944 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
Current children cumulated CPU time: 12.15 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 600884 KiB

[startup+8.00069 s]*
/proc/loadavg: 1.82 1.50 1.46 3/227 27910
/proc/meminfo: memFree=28830124/32770624 swapFree=66953724/67108860
[pid=27844] ppid=27841 vsize=10846988 memory=628112 CPUtime=14.18 cores=0,2,4,6
/proc/27844/stat : 27844 (java) S 27841 27844 24851 0 -1 1077944320 53611 13058 0 0 1378 32 5 3 20 0 15 0 444427715 11107315712 157028 33554432000 4194304 4196468 140723968409536 140723968392080 139655833353975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
/proc/27844/statm: 2711747 157028 3621 1 0 2673805 0
[pid=27844/tid=27897] ppid=27841 vsize=10846988 memory=8317482817917895235 CPUtime=7.46 cores=0,2,4,6
/proc/27844/task/27897/stat : 27897 (java) R 27841 27844 24851 0 -1 4202560 22434 13058 0 0 725 13 5 3 20 0 15 0 444427724 11107315712 157028 33554432000 4194304 4196468 140723968409536 139655805187512 139655449376732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27898] ppid=27841 vsize=10846988 memory=4126316290023845779 CPUtime=0.17 cores=0,2,4,6
/proc/27844/task/27898/stat : 27898 (java) S 27841 27844 24851 0 -1 1077944384 442 13058 0 0 7 2 5 3 20 0 15 0 444427725 11107315712 157028 33554432000 4194304 4196468 140723968409536 139655837596304 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27899] ppid=27841 vsize=10846988 memory=140445430579633 CPUtime=0.17 cores=0,2,4,6
/proc/27844/task/27899/stat : 27899 (java) S 27841 27844 24851 0 -1 1077944384 129 13058 0 0 7 2 5 3 20 0 15 0 444427725 11107315712 157028 33554432000 4194304 4196468 140723968409536 139655406918160 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27900] ppid=27841 vsize=10846988 memory=140445430579637 CPUtime=0.16 cores=0,2,4,6
/proc/27844/task/27900/stat : 27900 (java) S 27841 27844 24851 0 -1 1077944384 810 13058 0 0 6 2 5 3 20 0 15 0 444427725 11107315712 157028 33554432000 4194304 4196468 140723968409536 139655405865360 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27901] ppid=27841 vsize=10846988 memory=140445430579747 CPUtime=0.16 cores=0,2,4,6
/proc/27844/task/27901/stat : 27901 (java) S 27841 27844 24851 0 -1 1077944384 163 13058 0 0 6 2 5 3 20 0 15 0 444427725 11107315712 157028 33554432000 4194304 4196468 140723968409536 139655404812560 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27902] ppid=27841 vsize=10846988 memory=140445430579768 CPUtime=0.12 cores=0,2,4,6
/proc/27844/task/27902/stat : 27902 (java) S 27841 27844 24851 0 -1 1077944384 4626 13058 0 0 4 0 5 3 20 0 15 0 444427726 11107315712 157028 33554432000 4194304 4196468 140723968409536 139655359998832 139655833365122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27903] ppid=27841 vsize=10846988 memory=140445430579773 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27903/stat : 27903 (java) S 27841 27844 24851 0 -1 1077944384 16 13058 0 0 0 0 5 3 20 0 15 0 444427727 11107315712 157028 33554432000 4194304 4196468 140723968409536 139654753937056 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27904] ppid=27841 vsize=10846988 memory=140445430579777 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27904/stat : 27904 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427727 11107315712 157028 33554432000 4194304 4196468 140723968409536 139654619719040 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27905] ppid=27841 vsize=10846988 memory=140445430579778 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27905/stat : 27905 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 157028 33554432000 4194304 4196468 140723968409536 139654379428176 139655833372571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27906] ppid=27841 vsize=10846988 memory=140445430579788 CPUtime=2.87 cores=0,2,4,6
/proc/27844/task/27906/stat : 27906 (java) S 27841 27844 24851 0 -1 1077944384 13623 13058 0 0 277 2 5 3 20 0 15 0 444427730 11107315712 157028 33554432000 4194304 4196468 140723968409536 139654834678128 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27907] ppid=27841 vsize=10846988 memory=140445430579802 CPUtime=2.17 cores=0,2,4,6
/proc/27844/task/27907/stat : 27907 (java) S 27841 27844 24851 0 -1 1077944384 3608 13058 0 0 208 1 5 3 20 0 15 0 444427730 11107315712 157028 33554432000 4194304 4196468 140723968409536 139654833625328 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27908] ppid=27841 vsize=10846988 memory=140445430579804 CPUtime=1.43 cores=0,2,4,6
/proc/27844/task/27908/stat : 27908 (java) S 27841 27844 24851 0 -1 1077944384 5529 13058 0 0 133 2 5 3 20 0 15 0 444427730 11107315712 157028 33554432000 4194304 4196468 140723968409536 139654832572528 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27909] ppid=27841 vsize=10846988 memory=140445430579805 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27909/stat : 27909 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 157028 33554432000 4194304 4196468 140723968409536 139654345869536 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27910] ppid=27841 vsize=10846988 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27910/stat : 27910 (java) S 27841 27844 24851 0 -1 1077944384 12 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 157028 33554432000 4194304 4196468 140723968409536 139654831520944 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 628112 KiB

[startup+8.40075 s]
/proc/loadavg: 1.82 1.50 1.46 3/227 27910
/proc/meminfo: memFree=28830124/32770624 swapFree=66953724/67108860
[pid=27844] ppid=27841 vsize=10846988 memory=734948 CPUtime=14.63 cores=0,2,4,6
/proc/27844/stat : 27844 (java) S 27841 27844 24851 0 -1 1077944320 53791 13058 0 0 1421 34 5 3 20 0 15 0 444427715 11107315712 183737 33554432000 4194304 4196468 140723968409536 140723968392080 139655833353975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
/proc/27844/statm: 2711747 183737 3621 1 0 2673805 0
[pid=27844/tid=27897] ppid=27841 vsize=10846988 memory=111636 CPUtime=7.84 cores=0,2,4,6
/proc/27844/task/27897/stat : 27897 (java) R 27841 27844 24851 0 -1 4202560 22485 13058 0 0 762 14 5 3 20 0 15 0 444427724 11107315712 183737 33554432000 4194304 4196468 140723968409536 139655805188848 139655449376732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27898] ppid=27841 vsize=10846988 memory=804 CPUtime=0.17 cores=0,2,4,6
/proc/27844/task/27898/stat : 27898 (java) S 27841 27844 24851 0 -1 1077944384 445 13058 0 0 7 2 5 3 20 0 15 0 444427725 11107315712 183737 33554432000 4194304 4196468 140723968409536 139655837596304 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27899] ppid=27841 vsize=10846988 memory=6791534058613427641 CPUtime=0.18 cores=0,2,4,6
/proc/27844/task/27899/stat : 27899 (java) S 27841 27844 24851 0 -1 1077944384 131 13058 0 0 7 3 5 3 20 0 15 0 444427725 11107315712 183737 33554432000 4194304 4196468 140723968409536 139655406918160 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27900] ppid=27841 vsize=10846988 memory=11624 CPUtime=0.16 cores=0,2,4,6
/proc/27844/task/27900/stat : 27900 (java) S 27841 27844 24851 0 -1 1077944384 812 13058 0 0 6 2 5 3 20 0 15 0 444427725 11107315712 183737 33554432000 4194304 4196468 140723968409536 139655405865360 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27901] ppid=27841 vsize=10846988 memory=740 CPUtime=0.17 cores=0,2,4,6
/proc/27844/task/27901/stat : 27901 (java) S 27841 27844 24851 0 -1 1077944384 166 13058 0 0 7 2 5 3 20 0 15 0 444427725 11107315712 183737 33554432000 4194304 4196468 140723968409536 139655404812560 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27902] ppid=27841 vsize=10846988 memory=1056 CPUtime=0.12 cores=0,2,4,6
/proc/27844/task/27902/stat : 27902 (java) S 27841 27844 24851 0 -1 1077944384 4700 13058 0 0 4 0 5 3 20 0 15 0 444427726 11107315712 183737 33554432000 4194304 4196468 140723968409536 139655359998832 139655833365122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27903] ppid=27841 vsize=10846988 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27903/stat : 27903 (java) S 27841 27844 24851 0 -1 1077944384 16 13058 0 0 0 0 5 3 20 0 15 0 444427727 11107315712 183737 33554432000 4194304 4196468 140723968409536 139654753937056 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27904] ppid=27841 vsize=10846988 memory=1040 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27904/stat : 27904 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427727 11107315712 183737 33554432000 4194304 4196468 140723968409536 139654619719040 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27905] ppid=27841 vsize=10846988 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27905/stat : 27905 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 183737 33554432000 4194304 4196468 140723968409536 139654379428176 139655833372571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27906] ppid=27841 vsize=10846988 memory=780 CPUtime=2.9 cores=0,2,4,6
/proc/27844/task/27906/stat : 27906 (java) S 27841 27844 24851 0 -1 1077944384 13629 13058 0 0 280 2 5 3 20 0 15 0 444427730 11107315712 183737 33554432000 4194304 4196468 140723968409536 139654834678128 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27907] ppid=27841 vsize=10846988 memory=2832 CPUtime=2.18 cores=0,2,4,6
/proc/27844/task/27907/stat : 27907 (java) S 27841 27844 24851 0 -1 1077944384 3617 13058 0 0 209 1 5 3 20 0 15 0 444427730 11107315712 183737 33554432000 4194304 4196468 140723968409536 139654833625328 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27908] ppid=27841 vsize=10846988 memory=1720 CPUtime=1.44 cores=0,2,4,6
/proc/27844/task/27908/stat : 27908 (java) S 27841 27844 24851 0 -1 1077944384 5559 13058 0 0 134 2 5 3 20 0 15 0 444427730 11107315712 183737 33554432000 4194304 4196468 140723968409536 139654832572528 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27909] ppid=27841 vsize=10846988 memory=1200 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27909/stat : 27909 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 183737 33554432000 4194304 4196468 140723968409536 139654345869536 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27910] ppid=27841 vsize=10846988 memory=5996 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27910/stat : 27910 (java) S 27841 27844 24851 0 -1 1077944384 12 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 183737 33554432000 4194304 4196468 140723968409536 139654831520944 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
Current children cumulated CPU time: 14.63 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 734948 KiB

[startup+8.60079 s]
/proc/loadavg: 1.82 1.50 1.46 3/227 27910
/proc/meminfo: memFree=28830124/32770624 swapFree=66953724/67108860
[pid=27844] ppid=27841 vsize=10846988 memory=735008 CPUtime=14.84 cores=0,2,4,6
/proc/27844/stat : 27844 (java) S 27841 27844 24851 0 -1 1077944320 53811 13058 0 0 1442 34 5 3 20 0 15 0 444427715 11107315712 183752 33554432000 4194304 4196468 140723968409536 140723968392080 139655833353975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
/proc/27844/statm: 2711747 183752 3621 1 0 2673805 0
[pid=27844/tid=27897] ppid=27841 vsize=10846988 memory=288230600329147712 CPUtime=8.04 cores=0,2,4,6
/proc/27844/task/27897/stat : 27897 (java) R 27841 27844 24851 0 -1 4202560 22491 13058 0 0 782 14 5 3 20 0 15 0 444427724 11107315712 183752 33554432000 4194304 4196468 140723968409536 139655805189272 139655449924764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27898] ppid=27841 vsize=10846988 memory=13572608578838765 CPUtime=0.17 cores=0,2,4,6
/proc/27844/task/27898/stat : 27898 (java) S 27841 27844 24851 0 -1 1077944384 445 13058 0 0 7 2 5 3 20 0 15 0 444427725 11107315712 183752 33554432000 4194304 4196468 140723968409536 139655837596304 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27899] ppid=27841 vsize=10846988 memory=12024 CPUtime=0.18 cores=0,2,4,6
/proc/27844/task/27899/stat : 27899 (java) S 27841 27844 24851 0 -1 1077944384 131 13058 0 0 7 3 5 3 20 0 15 0 444427725 11107315712 183752 33554432000 4194304 4196468 140723968409536 139655406918160 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27900] ppid=27841 vsize=10846988 memory=7518590701213671769 CPUtime=0.16 cores=0,2,4,6
/proc/27844/task/27900/stat : 27900 (java) S 27841 27844 24851 0 -1 1077944384 812 13058 0 0 6 2 5 3 20 0 15 0 444427725 11107315712 183752 33554432000 4194304 4196468 140723968409536 139655405865360 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27901] ppid=27841 vsize=10846988 memory=7597685182856913236 CPUtime=0.17 cores=0,2,4,6
/proc/27844/task/27901/stat : 27901 (java) S 27841 27844 24851 0 -1 1077944384 166 13058 0 0 7 2 5 3 20 0 15 0 444427725 11107315712 183752 33554432000 4194304 4196468 140723968409536 139655404812560 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27902] ppid=27841 vsize=10846988 memory=5860705283049084265 CPUtime=0.12 cores=0,2,4,6
/proc/27844/task/27902/stat : 27902 (java) S 27841 27844 24851 0 -1 1077944384 4700 13058 0 0 4 0 5 3 20 0 15 0 444427726 11107315712 183752 33554432000 4194304 4196468 140723968409536 139655359998832 139655833365122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27903] ppid=27841 vsize=10846988 memory=-7749694995119233653 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27903/stat : 27903 (java) S 27841 27844 24851 0 -1 1077944384 16 13058 0 0 0 0 5 3 20 0 15 0 444427727 11107315712 183752 33554432000 4194304 4196468 140723968409536 139654753937056 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27904] ppid=27841 vsize=10846988 memory=8996927245810234922 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27904/stat : 27904 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427727 11107315712 183752 33554432000 4194304 4196468 140723968409536 139654619719040 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27905] ppid=27841 vsize=10846988 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27905/stat : 27905 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 183752 33554432000 4194304 4196468 140723968409536 139654379428176 139655833372571 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27906] ppid=27841 vsize=10846988 memory=6944656592452807326 CPUtime=2.9 cores=0,2,4,6
/proc/27844/task/27906/stat : 27906 (java) S 27841 27844 24851 0 -1 1077944384 13629 13058 0 0 280 2 5 3 20 0 15 0 444427730 11107315712 183752 33554432000 4194304 4196468 140723968409536 139654834678128 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27907] ppid=27841 vsize=10846988 memory=1399103955520229747 CPUtime=2.18 cores=0,2,4,6
/proc/27844/task/27907/stat : 27907 (java) S 27841 27844 24851 0 -1 1077944384 3617 13058 0 0 209 1 5 3 20 0 15 0 444427730 11107315712 183752 33554432000 4194304 4196468 140723968409536 139654833625328 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27908] ppid=27841 vsize=10846988 memory=-7595761213668167008 CPUtime=1.45 cores=0,2,4,6
/proc/27844/task/27908/stat : 27908 (java) S 27841 27844 24851 0 -1 1077944384 5573 13058 0 0 135 2 5 3 20 0 15 0 444427730 11107315712 183752 33554432000 4194304 4196468 140723968409536 139654832572528 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27909] ppid=27841 vsize=10846988 memory=8546823402028195750 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27909/stat : 27909 (java) S 27841 27844 24851 0 -1 1077944384 3 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 183752 33554432000 4194304 4196468 140723968409536 139654345869536 139655833364181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
[pid=27844/tid=27910] ppid=27841 vsize=10846988 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/27844/task/27910/stat : 27910 (java) S 27841 27844 24851 0 -1 1077944384 12 13058 0 0 0 0 5 3 20 0 15 0 444427730 11107315712 183752 33554432000 4194304 4196468 140723968409536 139654831520944 139655833365122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 14315520 140723968412400 140723968414917 140723968414917 140723968417743 0
Current children cumulated CPU time: 14.84 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 735008 KiB

Child status: 0
Real time (s): 8.68009
CPU time (s): 14.9579
CPU user time (s): 14.5669
CPU system time (s): 0.390975
CPU usage (%): 172.324
Max. virtual memory (cumulated for all children) (KiB): 10847608
Max. memory (cumulated for all children) (KiB): 735008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5669
system time used= 0.390975
maximum resident set size= 737248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66978
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= 6539
involuntary context switches= 59


# summary of solver processes directly reported to runsolver:
#   pid: 27844
#   total CPU time (s): 14.9579
#   total CPU user time (s): 14.5669
#   total CPU system time (s): 0.390975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079209 second user time and 0.117382 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-17 03:46:55
IDJOB=4400656
IDBENCH=131036
IDSOLVER=2857
FILE ID=node117/4400656-1568684858
RUNJOBID= node117-1568673289-24882
PBS_JOBID= 21703791
Free space on /tmp= 61152 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-rand/Subisomorphism-si2-r001-m400-05.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400656-1568684858/watcher-4400656-1568684858 -o /tmp/evaluation-result-4400656-1568684858/solver-4400656-1568684858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568673289-24882 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=434527036 HOME/instance-4400656-1568684858.xml

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

MD5SUM BENCH= 5f006248f7b4f652f1c0eb398f87a4da
RANDOM SEED=434527036

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29445184 kB
MemAvailable:   30599292 kB
Buffers:          120760 kB
Cached:          1312792 kB
SwapCached:        50008 kB
Active:          1880152 kB
Inactive:         861932 kB
Active(anon):    1259416 kB
Inactive(anon):    87452 kB
Active(file):     620736 kB
Inactive(file):   774480 kB
Unevictable:      109132 kB
Mlocked:          109132 kB
SwapTotal:      67108860 kB
SwapFree:       66953724 kB
Dirty:             35316 kB
Writeback:             0 kB
AnonPages:       1386604 kB
Mapped:            55364 kB
Shmem:             29684 kB
Slab:             178744 kB
SReclaimable:     149456 kB
SUnreclaim:        29288 kB
KernelStack:        3984 kB
PageTables:         8416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2433652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1220608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61116 MiB
End job on node117 at 2019-09-17 03:47:04