Trace number 4262562

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.4SAT 14.3921 8.3385096

General information on the benchmark

NameRandom/Random-D-t020/
rand-2-40-11-414-020-23.xml
MD5SUM1a4e26af447c68eb67ea8607a589b7af
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 benchmark1.03478
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints414
Number of domains1
Minimum domain size11
Maximum domain size11
Distribution of domain sizes[{"size":11,"count":40}]
Minimum variable degree15
Maximum variable degree30
Distribution of variable degrees[{"degree":15,"count":1},{"degree":16,"count":5},{"degree":17,"count":2},{"degree":18,"count":1},{"degree":19,"count":6},{"degree":20,"count":4},{"degree":21,"count":5},{"degree":22,"count":6},{"degree":23,"count":3},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":30,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":414}]
Number of extensional constraints414
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":414}]
Optimization problemNO
Type of objective

Solver Data 

3.12/2.88	c Concrete v3.4 running
14.34/8.31	v <instantiation>
14.34/8.31	v       <list>
14.34/8.31	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]
14.34/8.31	v       </list>
14.34/8.31	v       <values>
14.34/8.31	v         5 8 6 7 2 5 9 5 7 7 10 0 9 8 2 3 1 3 0 7 5 2 6 0 1 4 6 5 7 2 9 2 4 9 5 8 3 2 10 0
14.34/8.31	v       </values>
14.34/8.31	v     </instantiation>
14.34/8.31	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262562-1502427244/watcher-4262562-1502427244 -o /tmp/evaluation-result-4262562-1502427244/solver-4262562-1502427244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4262562-1502427244.xml 

pid=9258
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.19 1.70 1.48 2/198 9261
/proc/meminfo: memFree=30168412/32770624 swapFree=0/445408
[pid=9261] ppid=9258 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9261/stat : 9261 (runsolver) D 9258 9261 4896 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 142377277 24240128 106 18446744073709551615 4194304 4338465 140735729187776 140735729185416 140328038068951 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 33857536 140735729189073 140735729189449 140735729189449 140735729192906 0
/proc/9261/statm: 5918 106 53 36 0 2156 0

[startup+0.10006 s]
/proc/loadavg: 2.19 1.70 1.48 2/198 9261
/proc/meminfo: memFree=30168412/32770624 swapFree=0/445408
[pid=9261] ppid=9258 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/9261/stat : 9261 (bash) S 9258 9261 4896 0 -1 4202496 717 3530 0 0 0 0 0 0 20 0 1 0 142377277 9736192 355 18446744073709551615 4194304 5098028 140731045738064 140731045735704 140679432035328 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 36401152 140731045745172 140731045745257 140731045745257 140731045748714 0
/proc/9261/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200219 s]
/proc/loadavg: 2.19 1.70 1.48 2/198 9261
/proc/meminfo: memFree=30168412/32770624 swapFree=0/445408
[pid=9261] ppid=9258 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/9261/stat : 9261 (bash) S 9258 9261 4896 0 -1 4202496 897 6477 0 0 0 0 0 1 20 0 1 0 142377277 9867264 377 18446744073709551615 4194304 5098028 140731045738064 140731045732072 140679432035328 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 36401152 140731045745172 140731045745257 140731045745257 140731045748714 0
/proc/9261/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300289 s]
/proc/loadavg: 2.19 1.70 1.48 2/198 9261
/proc/meminfo: memFree=30168412/32770624 swapFree=0/445408
[pid=9261] ppid=9258 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/9261/stat : 9261 (bash) S 9258 9261 4896 0 -1 4202496 897 6477 0 0 0 0 0 1 20 0 1 0 142377277 9867264 377 18446744073709551615 4194304 5098028 140731045738064 140731045732072 140679432035328 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 36401152 140731045745172 140731045745257 140731045745257 140731045748714 0
/proc/9261/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.803004 s]
/proc/loadavg: 2.19 1.70 1.48 2/198 9261
/proc/meminfo: memFree=30168412/32770624 swapFree=0/445408
[pid=9261] ppid=9258 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/9261/stat : 9261 (bash) S 9258 9261 4896 0 -1 4202496 897 6477 0 0 0 0 0 1 20 0 1 0 142377277 9867264 377 18446744073709551615 4194304 5098028 140731045738064 140731045732072 140679432035328 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 36401152 140731045745172 140731045745257 140731045745257 140731045748714 0
/proc/9261/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+1.50019 s]
/proc/loadavg: 2.19 1.70 1.48 6/213 9324
/proc/meminfo: memFree=30082484/32770624 swapFree=0/445468
[pid=9261] ppid=9258 vsize=13974784 CPUtime=0.9 cores=1,3,5,7
/proc/9261/stat : 9261 (java) S 9258 9261 4896 0 -1 1077944320 14913 12360 0 0 79 4 5 2 20 0 15 0 142377277 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140736994064080 140548431625975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
/proc/9261/statm: 3493696 16168 3189 1 0 3482965 0
[pid=9261/tid=9311] ppid=9258 vsize=13974784 CPUtime=0.61 cores=1,3,5,7
/proc/9261/task/9311/stat : 9311 (java) R 9258 9261 4896 0 -1 4202560 10837 12360 0 0 51 3 5 2 20 0 15 0 142377368 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140548435836944 140548414812784 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9312] ppid=9258 vsize=13974784 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9312/stat : 9312 (java) S 9258 9261 4896 0 -1 1077944384 1 12360 0 0 0 0 5 2 20 0 15 0 142377368 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140548388592144 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9313] ppid=9258 vsize=13974784 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9313/stat : 9313 (java) S 9258 9261 4896 0 -1 1077944384 1 12360 0 0 0 0 5 2 20 0 15 0 142377368 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140548387539600 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9314] ppid=9258 vsize=13974784 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9314/stat : 9314 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377368 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140548386486544 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9315] ppid=9258 vsize=13974784 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9315/stat : 9315 (java) S 9258 9261 4896 0 -1 1077944384 2 12360 0 0 0 0 5 2 20 0 15 0 142377368 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140548385434000 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9316] ppid=9258 vsize=13974784 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9316/stat : 9316 (java) S 9258 9261 4896 0 -1 1077944384 5 12360 0 0 0 0 5 2 20 0 15 0 142377370 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140547977276144 140548431637122 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9317] ppid=9258 vsize=13974784 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9317/stat : 9317 (java) S 9258 9261 4896 0 -1 1077944384 33 12360 0 0 0 0 5 2 20 0 15 0 142377370 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140547976222368 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9318] ppid=9258 vsize=13974784 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9318/stat : 9318 (java) S 9258 9261 4896 0 -1 1077944384 21 12360 0 0 0 0 5 2 20 0 15 0 142377370 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140547975169264 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9319] ppid=9258 vsize=13974784 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9319/stat : 9319 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140547974117840 140548431644571 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9320] ppid=9258 vsize=13974784 CPUtime=0.15 cores=1,3,5,7
/proc/9261/task/9320/stat : 9320 (java) R 9258 9261 4896 0 -1 4202560 758 12360 0 0 8 0 5 2 20 0 15 0 142377373 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140547905796176 140548415914846 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9321] ppid=9258 vsize=13974784 CPUtime=0.13 cores=1,3,5,7
/proc/9261/task/9321/stat : 9321 (java) R 9258 9261 4896 0 -1 1077944384 507 12360 0 0 6 0 5 2 20 0 15 0 142377373 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140547904756080 140548431637122 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9322] ppid=9258 vsize=13974784 CPUtime=0.19 cores=1,3,5,7
/proc/9261/task/9322/stat : 9322 (java) S 9258 9261 4896 0 -1 1077944384 583 12360 0 0 12 0 5 2 20 0 15 0 142377373 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140547903703024 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9323] ppid=9258 vsize=13974784 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9323/stat : 9323 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140547902650720 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9324] ppid=9258 vsize=13974784 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9324/stat : 9324 (java) S 9258 9261 4896 0 -1 1077944384 1 12360 0 0 0 0 5 2 20 0 15 0 142377377 14310178816 16168 18446744073709551615 4194304 4196468 140736994081536 140547901598768 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 13974784

[startup+3.10127 s]
/proc/loadavg: 2.17 1.70 1.48 4/213 9324
/proc/meminfo: memFree=29970380/32770624 swapFree=0/445468
[pid=9261] ppid=9258 vsize=13993788 CPUtime=3.82 cores=1,3,5,7
/proc/9261/stat : 9261 (java) S 9258 9261 4896 0 -1 1077944320 35988 12360 0 0 362 13 5 2 20 0 15 0 142377277 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140736994064080 140548431625975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
/proc/9261/statm: 3498447 46460 3439 1 0 3487061 0
[pid=9261/tid=9311] ppid=9258 vsize=13993788 CPUtime=2.18 cores=1,3,5,7
/proc/9261/task/9311/stat : 9311 (java) R 9258 9261 4896 0 -1 4202560 26772 12360 0 0 203 8 5 2 20 0 15 0 142377368 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140548435858800 140548416155685 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9312] ppid=9258 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/9261/task/9312/stat : 9312 (java) S 9258 9261 4896 0 -1 1077944384 49 12360 0 0 1 0 5 2 20 0 15 0 142377368 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140548388592144 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9313] ppid=9258 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/9261/task/9313/stat : 9313 (java) S 9258 9261 4896 0 -1 1077944384 42 12360 0 0 1 0 5 2 20 0 15 0 142377368 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140548387539600 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9314] ppid=9258 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/9261/task/9314/stat : 9314 (java) S 9258 9261 4896 0 -1 1077944384 208 12360 0 0 1 0 5 2 20 0 15 0 142377368 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140548386486544 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9315] ppid=9258 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/9261/task/9315/stat : 9315 (java) S 9258 9261 4896 0 -1 1077944384 60 12360 0 0 1 0 5 2 20 0 15 0 142377368 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140548385434000 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9316] ppid=9258 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/9261/task/9316/stat : 9316 (java) S 9258 9261 4896 0 -1 1077944384 1118 12360 0 0 1 0 5 2 20 0 15 0 142377370 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140547977276144 140548431637122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9317] ppid=9258 vsize=13993788 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9317/stat : 9317 (java) S 9258 9261 4896 0 -1 1077944384 54 12360 0 0 0 0 5 2 20 0 15 0 142377370 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140547976222432 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9318] ppid=9258 vsize=13993788 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9318/stat : 9318 (java) S 9258 9261 4896 0 -1 1077944384 44 12360 0 0 0 0 5 2 20 0 15 0 142377370 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140547975169280 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9319] ppid=9258 vsize=13993788 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9319/stat : 9319 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140547974117840 140548431644571 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9320] ppid=9258 vsize=13993788 CPUtime=0.49 cores=1,3,5,7
/proc/9261/task/9320/stat : 9320 (java) R 9258 9261 4896 0 -1 4202560 1504 12360 0 0 41 1 5 2 20 0 15 0 142377373 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140547905801648 140548431637910 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9321] ppid=9258 vsize=13993788 CPUtime=0.43 cores=1,3,5,7
/proc/9261/task/9321/stat : 9321 (java) R 9258 9261 4896 0 -1 1077944384 966 12360 0 0 36 0 5 2 20 0 15 0 142377373 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140547904756208 140548431636181 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9322] ppid=9258 vsize=13993788 CPUtime=0.81 cores=1,3,5,7
/proc/9261/task/9322/stat : 9322 (java) S 9258 9261 4896 0 -1 1077944384 2998 12360 0 0 73 1 5 2 20 0 15 0 142377373 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140547903703024 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9323] ppid=9258 vsize=13993788 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9323/stat : 9323 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140547902650720 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9324] ppid=9258 vsize=13993788 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9324/stat : 9324 (java) S 9258 9261 4896 0 -1 1077944384 12 12360 0 0 0 0 5 2 20 0 15 0 142377377 14329638912 46460 18446744073709551615 4194304 4196468 140736994081536 140547901598768 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 13993788

[startup+6.30065 s]
/proc/loadavg: 2.17 1.70 1.48 3/213 9324
/proc/meminfo: memFree=29716408/32770624 swapFree=0/445468
[pid=9261] ppid=9258 vsize=14067516 CPUtime=11.46 cores=1,3,5,7
/proc/9261/stat : 9261 (java) S 9258 9261 4896 0 -1 1077944320 63088 12360 0 0 1119 20 5 2 20 0 15 0 142377277 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140736994064080 140548431625975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
/proc/9261/statm: 3516879 99622 3471 1 0 3505493 0
[pid=9261/tid=9311] ppid=9258 vsize=14067516 CPUtime=5.31 cores=1,3,5,7
/proc/9261/task/9311/stat : 9311 (java) R 9258 9261 4896 0 -1 4202560 45591 12360 0 0 512 12 5 2 20 0 15 0 142377368 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140548435859456 140548070879628 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9312] ppid=9258 vsize=14067516 CPUtime=0.09 cores=1,3,5,7
/proc/9261/task/9312/stat : 9312 (java) S 9258 9261 4896 0 -1 1077944384 72 12360 0 0 2 0 5 2 20 0 15 0 142377368 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140548388592144 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9313] ppid=9258 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9261/task/9313/stat : 9313 (java) S 9258 9261 4896 0 -1 1077944384 106 12360 0 0 3 0 5 2 20 0 15 0 142377368 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140548387539600 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9314] ppid=9258 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9261/task/9314/stat : 9314 (java) S 9258 9261 4896 0 -1 1077944384 249 12360 0 0 3 0 5 2 20 0 15 0 142377368 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140548386486544 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9315] ppid=9258 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9261/task/9315/stat : 9315 (java) S 9258 9261 4896 0 -1 1077944384 89 12360 0 0 4 0 5 2 20 0 15 0 142377368 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140548385434000 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9316] ppid=9258 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9261/task/9316/stat : 9316 (java) S 9258 9261 4896 0 -1 1077944384 2135 12360 0 0 4 0 5 2 20 0 15 0 142377370 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140547977276144 140548431637122 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9317] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9317/stat : 9317 (java) S 9258 9261 4896 0 -1 1077944384 54 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140547976222432 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9318] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9318/stat : 9318 (java) S 9258 9261 4896 0 -1 1077944384 45 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140547975169280 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9319] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9319/stat : 9319 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140547974117840 140548431644571 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9320] ppid=9258 vsize=14067516 CPUtime=2.21 cores=1,3,5,7
/proc/9261/task/9320/stat : 9320 (java) S 9258 9261 4896 0 -1 1077944384 4562 12360 0 0 213 1 5 2 20 0 15 0 142377373 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140547905808624 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9321] ppid=9258 vsize=14067516 CPUtime=2.26 cores=1,3,5,7
/proc/9261/task/9321/stat : 9321 (java) R 9258 9261 4896 0 -1 4202560 3056 12360 0 0 218 1 5 2 20 0 15 0 142377373 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140547904756080 140548415109452 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9322] ppid=9258 vsize=14067516 CPUtime=1.63 cores=1,3,5,7
/proc/9261/task/9322/stat : 9322 (java) S 9258 9261 4896 0 -1 1077944384 4953 12360 0 0 154 2 5 2 20 0 15 0 142377373 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140547903703024 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9323] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9323/stat : 9323 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140547902650720 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9324] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9324/stat : 9324 (java) S 9258 9261 4896 0 -1 1077944384 15 12360 0 0 0 0 5 2 20 0 15 0 142377377 14405136384 99622 18446744073709551615 4194304 4196468 140736994081536 140547901598768 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 14067516

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9261 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.80061 s]
/proc/loadavg: 2.17 1.70 1.48 3/213 9324
/proc/meminfo: memFree=29716408/32770624 swapFree=0/445468
[pid=9261] ppid=9258 vsize=14067516 CPUtime=12.51 cores=1,3,5,7
/proc/9261/stat : 9261 (java) S 9258 9261 4896 0 -1 1077944320 64709 12360 0 0 1222 22 5 2 20 0 15 0 142377277 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140736994064080 140548431625975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
/proc/9261/statm: 3516879 121470 3472 1 0 3505493 0
[pid=9261/tid=9311] ppid=9258 vsize=14067516 CPUtime=5.8 cores=1,3,5,7
/proc/9261/task/9311/stat : 9311 (java) R 9258 9261 4896 0 -1 4202560 45853 12360 0 0 560 13 5 2 20 0 15 0 142377368 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140548435860256 140548071371843 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9312] ppid=9258 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9261/task/9312/stat : 9312 (java) S 9258 9261 4896 0 -1 1077944384 73 12360 0 0 3 0 5 2 20 0 15 0 142377368 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140548388592144 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9313] ppid=9258 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9261/task/9313/stat : 9313 (java) S 9258 9261 4896 0 -1 1077944384 111 12360 0 0 3 0 5 2 20 0 15 0 142377368 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140548387539600 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9314] ppid=9258 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9261/task/9314/stat : 9314 (java) S 9258 9261 4896 0 -1 1077944384 249 12360 0 0 3 0 5 2 20 0 15 0 142377368 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140548386486544 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9315] ppid=9258 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9261/task/9315/stat : 9315 (java) S 9258 9261 4896 0 -1 1077944384 89 12360 0 0 4 0 5 2 20 0 15 0 142377368 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140548385434000 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9316] ppid=9258 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9261/task/9316/stat : 9316 (java) S 9258 9261 4896 0 -1 1077944384 2189 12360 0 0 4 0 5 2 20 0 15 0 142377370 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140547977276144 140548431637122 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9317] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9317/stat : 9317 (java) S 9258 9261 4896 0 -1 1077944384 54 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140547976222432 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9318] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9318/stat : 9318 (java) S 9258 9261 4896 0 -1 1077944384 45 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140547975169280 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9319] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9319/stat : 9319 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140547974117840 140548431644571 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9320] ppid=9258 vsize=14067516 CPUtime=2.61 cores=1,3,5,7
/proc/9261/task/9320/stat : 9320 (java) S 9258 9261 4896 0 -1 1077944384 5112 12360 0 0 253 1 5 2 20 0 15 0 142377373 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140547905808624 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9321] ppid=9258 vsize=14067516 CPUtime=2.41 cores=1,3,5,7
/proc/9261/task/9321/stat : 9321 (java) S 9258 9261 4896 0 -1 1077944384 3805 12360 0 0 233 1 5 2 20 0 15 0 142377373 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140547904756080 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9322] ppid=9258 vsize=14067516 CPUtime=1.63 cores=1,3,5,7
/proc/9261/task/9322/stat : 9322 (java) S 9258 9261 4896 0 -1 1077944384 4953 12360 0 0 154 2 5 2 20 0 15 0 142377373 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140547903703024 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9323] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9323/stat : 9323 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140547902650720 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9324] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9324/stat : 9324 (java) S 9258 9261 4896 0 -1 1077944384 15 12360 0 0 0 0 5 2 20 0 15 0 142377377 14405136384 121470 18446744073709551615 4194304 4196468 140736994081536 140547901598768 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 14067516

[startup+7.60064 s]
/proc/loadavg: 2.16 1.71 1.49 3/213 9324
/proc/meminfo: memFree=29604520/32770624 swapFree=0/445472
[pid=9261] ppid=9258 vsize=14067516 CPUtime=13.32 cores=1,3,5,7
/proc/9261/stat : 9261 (java) S 9258 9261 4896 0 -1 1077944320 64828 12360 0 0 1301 24 5 2 20 0 15 0 142377277 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140736994064080 140548431625975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
/proc/9261/statm: 3516879 146095 3472 1 0 3505493 0
[pid=9261/tid=9311] ppid=9258 vsize=14067516 CPUtime=6.59 cores=1,3,5,7
/proc/9261/task/9311/stat : 9311 (java) R 9258 9261 4896 0 -1 4202560 45932 12360 0 0 638 14 5 2 20 0 15 0 142377368 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140548435860544 140548071622621 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9312] ppid=9258 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9261/task/9312/stat : 9312 (java) S 9258 9261 4896 0 -1 1077944384 74 12360 0 0 3 0 5 2 20 0 15 0 142377368 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140548388592144 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9313] ppid=9258 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9261/task/9313/stat : 9313 (java) S 9258 9261 4896 0 -1 1077944384 113 12360 0 0 4 0 5 2 20 0 15 0 142377368 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140548387539600 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9314] ppid=9258 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9261/task/9314/stat : 9314 (java) S 9258 9261 4896 0 -1 1077944384 250 12360 0 0 3 0 5 2 20 0 15 0 142377368 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140548386486544 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9315] ppid=9258 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9261/task/9315/stat : 9315 (java) S 9258 9261 4896 0 -1 1077944384 90 12360 0 0 4 0 5 2 20 0 15 0 142377368 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140548385434000 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9316] ppid=9258 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9261/task/9316/stat : 9316 (java) S 9258 9261 4896 0 -1 1077944384 2224 12360 0 0 4 0 5 2 20 0 15 0 142377370 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547977276144 140548431637122 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9317] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9317/stat : 9317 (java) S 9258 9261 4896 0 -1 1077944384 54 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547976222432 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9318] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9318/stat : 9318 (java) S 9258 9261 4896 0 -1 1077944384 45 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547975169280 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9319] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9319/stat : 9319 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547974117840 140548431644571 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9320] ppid=9258 vsize=14067516 CPUtime=2.61 cores=1,3,5,7
/proc/9261/task/9320/stat : 9320 (java) S 9258 9261 4896 0 -1 1077944384 5112 12360 0 0 253 1 5 2 20 0 15 0 142377373 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547905808624 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9321] ppid=9258 vsize=14067516 CPUtime=2.41 cores=1,3,5,7
/proc/9261/task/9321/stat : 9321 (java) S 9258 9261 4896 0 -1 1077944384 3805 12360 0 0 233 1 5 2 20 0 15 0 142377373 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547904756080 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9322] ppid=9258 vsize=14067516 CPUtime=1.63 cores=1,3,5,7
/proc/9261/task/9322/stat : 9322 (java) S 9258 9261 4896 0 -1 1077944384 4953 12360 0 0 154 2 5 2 20 0 15 0 142377373 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547903703024 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9323] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9323/stat : 9323 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547902650720 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9324] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9324/stat : 9324 (java) S 9258 9261 4896 0 -1 1077944384 15 12360 0 0 0 0 5 2 20 0 15 0 142377377 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547901598768 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
Current children cumulated CPU time (s) 13.32
Current children cumulated vsize (KiB) 14067516

[startup+8.00061 s]
/proc/loadavg: 2.16 1.71 1.49 3/213 9324
/proc/meminfo: memFree=29604520/32770624 swapFree=0/445472
[pid=9261] ppid=9258 vsize=14067516 CPUtime=13.72 cores=1,3,5,7
/proc/9261/stat : 9261 (java) S 9258 9261 4896 0 -1 1077944320 64828 12360 0 0 1341 24 5 2 20 0 15 0 142377277 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140736994064080 140548431625975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
/proc/9261/statm: 3516879 146095 3472 1 0 3505493 0
[pid=9261/tid=9311] ppid=9258 vsize=14067516 CPUtime=6.99 cores=1,3,5,7
/proc/9261/task/9311/stat : 9311 (java) R 9258 9261 4896 0 -1 4202560 45932 12360 0 0 678 14 5 2 20 0 15 0 142377368 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140548435860432 140548071207810 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9312] ppid=9258 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9261/task/9312/stat : 9312 (java) S 9258 9261 4896 0 -1 1077944384 74 12360 0 0 3 0 5 2 20 0 15 0 142377368 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140548388592144 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9313] ppid=9258 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9261/task/9313/stat : 9313 (java) S 9258 9261 4896 0 -1 1077944384 113 12360 0 0 4 0 5 2 20 0 15 0 142377368 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140548387539600 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9314] ppid=9258 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9261/task/9314/stat : 9314 (java) S 9258 9261 4896 0 -1 1077944384 250 12360 0 0 3 0 5 2 20 0 15 0 142377368 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140548386486544 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9315] ppid=9258 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9261/task/9315/stat : 9315 (java) S 9258 9261 4896 0 -1 1077944384 90 12360 0 0 4 0 5 2 20 0 15 0 142377368 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140548385434000 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9316] ppid=9258 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9261/task/9316/stat : 9316 (java) S 9258 9261 4896 0 -1 1077944384 2224 12360 0 0 4 0 5 2 20 0 15 0 142377370 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547977276144 140548431637122 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9317] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9317/stat : 9317 (java) S 9258 9261 4896 0 -1 1077944384 54 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547976222432 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9318] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9318/stat : 9318 (java) S 9258 9261 4896 0 -1 1077944384 45 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547975169280 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9319] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9319/stat : 9319 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547974117840 140548431644571 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9320] ppid=9258 vsize=14067516 CPUtime=2.61 cores=1,3,5,7
/proc/9261/task/9320/stat : 9320 (java) S 9258 9261 4896 0 -1 1077944384 5112 12360 0 0 253 1 5 2 20 0 15 0 142377373 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547905808624 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9321] ppid=9258 vsize=14067516 CPUtime=2.41 cores=1,3,5,7
/proc/9261/task/9321/stat : 9321 (java) S 9258 9261 4896 0 -1 1077944384 3805 12360 0 0 233 1 5 2 20 0 15 0 142377373 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547904756080 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9322] ppid=9258 vsize=14067516 CPUtime=1.63 cores=1,3,5,7
/proc/9261/task/9322/stat : 9322 (java) S 9258 9261 4896 0 -1 1077944384 4953 12360 0 0 154 2 5 2 20 0 15 0 142377373 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547903703024 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9323] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9323/stat : 9323 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547902650720 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9324] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9324/stat : 9324 (java) S 9258 9261 4896 0 -1 1077944384 15 12360 0 0 0 0 5 2 20 0 15 0 142377377 14405136384 146095 18446744073709551615 4194304 4196468 140736994081536 140547901598768 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
Current children cumulated CPU time (s) 13.72
Current children cumulated vsize (KiB) 14067516

[startup+8.20645 s]
/proc/loadavg: 2.16 1.71 1.49 3/213 9324
/proc/meminfo: memFree=29501876/32770624 swapFree=0/445472
[pid=9261] ppid=9258 vsize=14067516 CPUtime=14.14 cores=1,3,5,7
/proc/9261/stat : 9261 (java) S 9258 9261 4896 0 -1 1077944320 64873 12360 0 0 1383 24 5 2 20 0 15 0 142377277 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140736994064080 140548431625975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
/proc/9261/statm: 3516879 147665 3472 1 0 3505493 0
[pid=9261/tid=9311] ppid=9258 vsize=14067516 CPUtime=7.08 cores=1,3,5,7
/proc/9261/task/9311/stat : 9311 (java) S 9258 9261 4896 0 -1 1077944384 45948 12360 0 0 687 14 5 2 20 0 15 0 142377368 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140548435863696 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9312] ppid=9258 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/9261/task/9312/stat : 9312 (java) S 9258 9261 4896 0 -1 1077944384 85 12360 0 0 10 1 5 2 20 0 15 0 142377368 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140548388592144 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9313] ppid=9258 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/9261/task/9313/stat : 9313 (java) S 9258 9261 4896 0 -1 1077944384 120 12360 0 0 11 0 5 2 20 0 15 0 142377368 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140548387539600 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9314] ppid=9258 vsize=14067516 CPUtime=0.17 cores=1,3,5,7
/proc/9261/task/9314/stat : 9314 (java) S 9258 9261 4896 0 -1 1077944384 253 12360 0 0 10 0 5 2 20 0 15 0 142377368 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140548386486544 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9315] ppid=9258 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/9261/task/9315/stat : 9315 (java) S 9258 9261 4896 0 -1 1077944384 98 12360 0 0 11 0 5 2 20 0 15 0 142377368 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140548385434000 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9316] ppid=9258 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/9261/task/9316/stat : 9316 (java) R 9258 9261 4896 0 -1 4202560 2224 12360 0 0 8 0 5 2 20 0 15 0 142377370 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140547977274544 140548413264313 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9317] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9317/stat : 9317 (java) S 9258 9261 4896 0 -1 1077944384 54 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140547976222336 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9318] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9318/stat : 9318 (java) S 9258 9261 4896 0 -1 1077944384 45 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140547975169280 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9319] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9319/stat : 9319 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140547974117840 140548431644571 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9320] ppid=9258 vsize=14067516 CPUtime=2.61 cores=1,3,5,7
/proc/9261/task/9320/stat : 9320 (java) S 9258 9261 4896 0 -1 1077944384 5112 12360 0 0 253 1 5 2 20 0 15 0 142377373 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140547905808624 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9321] ppid=9258 vsize=14067516 CPUtime=2.41 cores=1,3,5,7
/proc/9261/task/9321/stat : 9321 (java) S 9258 9261 4896 0 -1 1077944384 3805 12360 0 0 233 1 5 2 20 0 15 0 142377373 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140547904756080 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9322] ppid=9258 vsize=14067516 CPUtime=1.63 cores=1,3,5,7
/proc/9261/task/9322/stat : 9322 (java) S 9258 9261 4896 0 -1 1077944384 4953 12360 0 0 154 2 5 2 20 0 15 0 142377373 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140547903703024 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9323] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9323/stat : 9323 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140547902650720 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9324] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9324/stat : 9324 (java) S 9258 9261 4896 0 -1 1077944384 15 12360 0 0 0 0 5 2 20 0 15 0 142377377 14405136384 147665 18446744073709551615 4194304 4196468 140736994081536 140547901598768 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
Current children cumulated CPU time (s) 14.14
Current children cumulated vsize (KiB) 14067516

[startup+8.30887 s]
/proc/loadavg: 2.16 1.71 1.49 3/213 9324
/proc/meminfo: memFree=29501876/32770624 swapFree=0/445472
[pid=9261] ppid=9258 vsize=14067516 CPUtime=14.34 cores=1,3,5,7
/proc/9261/stat : 9261 (java) S 9258 9261 4896 0 -1 1077944320 64978 12360 0 0 1403 24 5 2 20 0 15 0 142377277 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140736994064080 140548431625975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
/proc/9261/statm: 3516879 147714 3472 1 0 3505493 0
[pid=9261/tid=9311] ppid=9258 vsize=14067516 CPUtime=7.11 cores=1,3,5,7
/proc/9261/task/9311/stat : 9311 (java) R 9258 9261 4896 0 -1 4202560 46042 12360 0 0 690 14 5 2 20 0 15 0 142377368 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140548435860912 140548431647901 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9312] ppid=9258 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/9261/task/9312/stat : 9312 (java) S 9258 9261 4896 0 -1 1077944384 87 12360 0 0 12 1 5 2 20 0 15 0 142377368 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140548388592144 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9313] ppid=9258 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/9261/task/9313/stat : 9313 (java) S 9258 9261 4896 0 -1 1077944384 123 12360 0 0 13 0 5 2 20 0 15 0 142377368 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140548387539600 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9314] ppid=9258 vsize=14067516 CPUtime=0.19 cores=1,3,5,7
/proc/9261/task/9314/stat : 9314 (java) S 9258 9261 4896 0 -1 1077944384 253 12360 0 0 12 0 5 2 20 0 15 0 142377368 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140548386486544 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9315] ppid=9258 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/9261/task/9315/stat : 9315 (java) S 9258 9261 4896 0 -1 1077944384 98 12360 0 0 13 0 5 2 20 0 15 0 142377368 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140548385434000 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9316] ppid=9258 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/9261/task/9316/stat : 9316 (java) S 9258 9261 4896 0 -1 1077944384 2224 12360 0 0 13 0 5 2 20 0 15 0 142377370 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140547977276144 140548431637122 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9317] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9317/stat : 9317 (java) S 9258 9261 4896 0 -1 1077944384 55 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140547976222432 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9318] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9318/stat : 9318 (java) S 9258 9261 4896 0 -1 1077944384 45 12360 0 0 0 0 5 2 20 0 15 0 142377370 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140547975169280 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9319] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9319/stat : 9319 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140547974117840 140548431644571 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9320] ppid=9258 vsize=14067516 CPUtime=2.63 cores=1,3,5,7
/proc/9261/task/9320/stat : 9320 (java) R 9258 9261 4896 0 -1 4202560 5112 12360 0 0 255 1 5 2 20 0 15 0 142377373 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140547905789824 140548415585408 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9321] ppid=9258 vsize=14067516 CPUtime=2.42 cores=1,3,5,7
/proc/9261/task/9321/stat : 9321 (java) S 9258 9261 4896 0 -1 1077944384 3806 12360 0 0 234 1 5 2 20 0 15 0 142377373 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140547904756080 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9322] ppid=9258 vsize=14067516 CPUtime=1.64 cores=1,3,5,7
/proc/9261/task/9322/stat : 9322 (java) S 9258 9261 4896 0 -1 1077944384 4957 12360 0 0 155 2 5 2 20 0 15 0 142377373 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140547903703024 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9323] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9323/stat : 9323 (java) S 9258 9261 4896 0 -1 1077944384 3 12360 0 0 0 0 5 2 20 0 15 0 142377373 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140547902650720 140548431636181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
[pid=9261/tid=9324] ppid=9258 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9261/task/9324/stat : 9324 (java) S 9258 9261 4896 0 -1 1077944384 15 12360 0 0 0 0 5 2 20 0 15 0 142377377 14405136384 147714 18446744073709551615 4194304 4196468 140736994081536 140547901598768 140548431637122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14467072 140736994088912 140736994091697 140736994091697 140736994095055 0
Current children cumulated CPU time (s) 14.34
Current children cumulated vsize (KiB) 14067516

Child status: 0
Real time (s): 8.33851
CPU time (s): 14.3921
CPU user time (s): 14.1014
CPU system time (s): 0.290752
CPU usage (%): 172.598
Max. virtual memory (cumulated for all children) (KiB): 14067516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1014
system time used= 0.290752
maximum resident set size= 591848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7256
involuntary context switches= 76

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038771 second user time and 0.051064 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-11 06:39:40
IDJOB=4262562
IDBENCH=121925
IDSOLVER=2650
FILE ID=node132/4262562-1502427244
RUNJOBID= node132-1502411403-4960
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Random/Random-D-t020/rand-2-40-11-414-020-23.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262562-1502427244/watcher-4262562-1502427244 -o /tmp/evaluation-result-4262562-1502427244/solver-4262562-1502427244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580  bin/concrete HOME/instance-4262562-1502427244.xml

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

MD5SUM BENCH= 1a4e26af447c68eb67ea8607a589b7af
RANDOM SEED=1069286234

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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.74
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.74
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.74
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:        30168572 kB
MemAvailable:   31011528 kB
Buffers:          289576 kB
Cached:           864200 kB
SwapCached:            0 kB
Active:          1675140 kB
Inactive:         494600 kB
Active(anon):    1016876 kB
Inactive(anon):    49012 kB
Active(file):     658264 kB
Inactive(file):   445588 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24520 kB
Writeback:             0 kB
AnonPages:       1016064 kB
Mapped:            71864 kB
Shmem:             49852 kB
Slab:             136952 kB
SReclaimable:     109880 kB
SUnreclaim:        27072 kB
KernelStack:        3456 kB
PageTables:         6988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1933008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    804864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61984 MiB
End job on node132 at 2017-08-11 06:39:49