Trace number 4262708

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.4? (TO) 2527.79 2447.8301

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os07/
SuperTaillard-os-07-26.xml
MD5SUM94b2333e20121f91e59972a20e586711
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.8511105
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints931
Number of domains38
Minimum domain size332
Maximum domain size428
Distribution of domain sizes[{"size":332,"count":2},{"size":334,"count":6},{"size":335,"count":2},{"size":336,"count":2},{"size":338,"count":2},{"size":340,"count":2},{"size":341,"count":2},{"size":342,"count":4},{"size":349,"count":2},{"size":351,"count":2},{"size":352,"count":2},{"size":353,"count":6},{"size":354,"count":4},{"size":360,"count":2},{"size":363,"count":2},{"size":365,"count":2},{"size":366,"count":2},{"size":368,"count":4},{"size":369,"count":4},{"size":370,"count":4},{"size":372,"count":2},{"size":374,"count":2},{"size":380,"count":2},{"size":383,"count":4},{"size":388,"count":2},{"size":389,"count":2},{"size":390,"count":2},{"size":393,"count":2},{"size":397,"count":2},{"size":402,"count":2},{"size":404,"count":4},{"size":405,"count":2},{"size":409,"count":2},{"size":421,"count":2},{"size":423,"count":2},{"size":424,"count":2},{"size":427,"count":2},{"size":428,"count":2}]
Minimum variable degree13
Maximum variable degree25
Distribution of variable degrees[{"degree":13,"count":49},{"degree":25,"count":49}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":931}]
Number of extensional constraints0
Number of intensional constraints931
Distribution of constraint types[{"type":"intension","count":931}]
Optimization problemNO
Type of objective

Solver Data 

3.19/2.19	c Concrete v3.4 running

Verifier Data 

One s line expected

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-4262708-1502477986/watcher-4262708-1502477986 -o /tmp/evaluation-result-4262708-1502477986/solver-4262708-1502477986 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580 bin/concrete HOME/instance-4262708-1502477986.xml 

pid=28126
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.25 1.39 1.43 2/194 28129
/proc/meminfo: memFree=28472076/32770624 swapFree=0/403696
[pid=28129] ppid=28126 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/28129/stat : 28129 (runsolver) D 28126 28129 7434 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 36139289 24240128 106 18446744073709551615 4194304 4338465 140729589634704 140729589632344 140516527080151 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 36544512 140729589637329 140729589637705 140729589637705 140729589641162 0
/proc/28129/statm: 5918 106 53 36 0 2156 0

[startup+0.10014 s]
/proc/loadavg: 1.25 1.39 1.43 2/194 28129
/proc/meminfo: memFree=28472076/32770624 swapFree=0/403696
[pid=28129] ppid=28126 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/28129/stat : 28129 (bash) S 28126 28129 7434 0 -1 4202496 717 3530 0 0 0 0 0 0 20 0 1 0 36139289 9736192 355 18446744073709551615 4194304 5098028 140722853144336 140722853141976 140034740681728 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 8 0 0 7196144 7232144 12791808 140722853147156 140722853147241 140722853147241 140722853150698 0
/proc/28129/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.20021 s]
/proc/loadavg: 1.25 1.39 1.43 2/194 28129
/proc/meminfo: memFree=28472076/32770624 swapFree=0/403696
[pid=28129] ppid=28126 vsize=9636 CPUtime=0.08 cores=0,2,4,6
/proc/28129/stat : 28129 (bash) R 28126 28129 7434 0 -1 4202496 967 12652 0 0 0 0 5 3 20 0 1 0 36139289 9867264 380 18446744073709551615 4194304 5098028 140722853144336 140722853140168 4491776 0 0 5 65536 0 0 0 17 2 0 0 8 0 0 7196144 7232144 12791808 140722853147156 140722853147241 140722853147241 140722853150698 0
/proc/28129/statm: 2409 380 299 221 0 118 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9636

[startup+0.300309 s]
/proc/loadavg: 1.25 1.39 1.43 2/194 28129
/proc/meminfo: memFree=28472076/32770624 swapFree=0/403696
[pid=28129] ppid=28126 vsize=13973936 CPUtime=0.15 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28126 28129 7434 0 -1 1077944320 5935 12652 0 0 6 1 5 3 20 0 15 0 36139289 14309310464 6128 18446744073709551615 4194304 4196468 140720906022400 140720906004944 139802592382711 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
/proc/28129/statm: 3493484 6128 2688 1 0 3482965 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13973936

[startup+0.7008 s]
/proc/loadavg: 1.25 1.39 1.43 2/194 28129
/proc/meminfo: memFree=28472076/32770624 swapFree=0/403696
[pid=28129] ppid=28126 vsize=13974784 CPUtime=0.71 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28126 28129 7434 0 -1 1077944320 14007 12652 0 0 59 4 5 3 20 0 15 0 36139289 14310178816 14919 18446744073709551615 4194304 4196468 140720906022400 140720906004944 139802592382711 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
/proc/28129/statm: 3493696 14919 3125 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50058 s]
/proc/loadavg: 1.25 1.39 1.43 4/209 28192
/proc/meminfo: memFree=28377008/32770624 swapFree=0/403704
[pid=28129] ppid=28126 vsize=13985408 CPUtime=1.91 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28126 28129 7434 0 -1 1077944320 29658 12652 0 0 174 9 5 3 20 0 15 0 36139289 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 140720906004944 139802592382711 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
/proc/28129/statm: 3496352 42824 3368 1 0 3485525 0
[pid=28129/tid=28179] ppid=28126 vsize=13985408 CPUtime=1.3 cores=0,2,4,6
/proc/28129/task/28179/stat : 28179 (java) S 28126 28129 7434 0 -1 1077944384 22722 12652 0 0 116 6 5 3 20 0 15 0 36139309 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802596593520 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28180] ppid=28126 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/28129/task/28180/stat : 28180 (java) R 28126 28129 7434 0 -1 4202560 66 12652 0 0 1 0 5 3 20 0 15 0 36139310 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802534329480 139802585010919 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28181] ppid=28126 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28181/stat : 28181 (java) R 28126 28129 7434 0 -1 4202560 12 12652 0 0 0 0 5 3 20 0 15 0 36139310 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802533276816 139802573992543 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28182] ppid=28126 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/28129/task/28182/stat : 28182 (java) R 28126 28129 7434 0 -1 4202560 215 12652 0 0 1 0 5 3 20 0 15 0 36139310 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802532223760 139802585010919 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28183] ppid=28126 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/28129/task/28183/stat : 28183 (java) R 28126 28129 7434 0 -1 4202560 61 12652 0 0 1 0 5 3 20 0 15 0 36139310 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802531171336 139802585010919 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28184] ppid=28126 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/28129/task/28184/stat : 28184 (java) S 28126 28129 7434 0 -1 1077944384 1316 12652 0 0 1 0 5 3 20 0 15 0 36139311 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802138088224 139802592392917 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28185] ppid=28126 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28185/stat : 28185 (java) S 28126 28129 7434 0 -1 1077944384 33 12652 0 0 0 0 5 3 20 0 15 0 36139312 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802137035936 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28186] ppid=28126 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28186/stat : 28186 (java) S 28126 28129 7434 0 -1 1077944384 21 12652 0 0 0 0 5 3 20 0 15 0 36139312 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802135982832 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28187] ppid=28126 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28187/stat : 28187 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 36139314 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802134931408 139802592401307 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28188] ppid=28126 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/28129/task/28188/stat : 28188 (java) S 28126 28129 7434 0 -1 1077944384 1091 12652 0 0 16 0 5 3 20 0 15 0 36139314 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802133879536 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28189] ppid=28126 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/28129/task/28189/stat : 28189 (java) S 28126 28129 7434 0 -1 1077944384 591 12652 0 0 13 0 5 3 20 0 15 0 36139315 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802132826992 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28190] ppid=28126 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/28129/task/28190/stat : 28190 (java) S 28126 28129 7434 0 -1 1077944384 1364 12652 0 0 23 0 5 3 20 0 15 0 36139315 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802131769808 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28191] ppid=28126 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28191/stat : 28191 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 36139315 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802130721632 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28192] ppid=28126 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28192/stat : 28192 (java) S 28126 28129 7434 0 -1 1077944384 5 12652 0 0 0 0 5 3 20 0 15 0 36139318 14321057792 42824 18446744073709551615 4194304 4196468 140720906022400 139802129668656 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408

[startup+3.10079 s]
/proc/loadavg: 1.25 1.39 1.43 5/209 28192
/proc/meminfo: memFree=28301452/32770624 swapFree=0/403704
[pid=28129] ppid=28126 vsize=13997884 CPUtime=5.7 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28126 28129 7434 0 -1 1077944320 49436 12652 0 0 546 16 5 3 20 0 15 0 36139289 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 140720906004944 139802592382711 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
/proc/28129/statm: 3499471 69495 3445 1 0 3488085 0
[pid=28129/tid=28179] ppid=28126 vsize=13997884 CPUtime=2.89 cores=0,2,4,6
/proc/28129/task/28179/stat : 28179 (java) R 28126 28129 7434 0 -1 4202560 35574 12652 0 0 272 9 5 3 20 0 15 0 36139309 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802596599792 139802573221408 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28180] ppid=28126 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/28129/task/28180/stat : 28180 (java) S 28126 28129 7434 0 -1 1077944384 66 12652 0 0 1 0 5 3 20 0 15 0 36139310 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802534329360 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28181] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28181/stat : 28181 (java) S 28126 28129 7434 0 -1 1077944384 12 12652 0 0 0 0 5 3 20 0 15 0 36139310 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802533276816 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28182] ppid=28126 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/28129/task/28182/stat : 28182 (java) S 28126 28129 7434 0 -1 1077944384 215 12652 0 0 1 0 5 3 20 0 15 0 36139310 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802532223760 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28183] ppid=28126 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/28129/task/28183/stat : 28183 (java) S 28126 28129 7434 0 -1 1077944384 61 12652 0 0 1 0 5 3 20 0 15 0 36139310 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802531171216 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28184] ppid=28126 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/28129/task/28184/stat : 28184 (java) S 28126 28129 7434 0 -1 1077944384 1503 12652 0 0 1 0 5 3 20 0 15 0 36139311 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802138089712 139802592393858 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28185] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28185/stat : 28185 (java) S 28126 28129 7434 0 -1 1077944384 55 12652 0 0 0 0 5 3 20 0 15 0 36139312 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802137036000 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28186] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28186/stat : 28186 (java) S 28126 28129 7434 0 -1 1077944384 43 12652 0 0 0 0 5 3 20 0 15 0 36139312 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802135982848 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28187] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28187/stat : 28187 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 36139314 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802134931408 139802592401307 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28188] ppid=28126 vsize=13997884 CPUtime=0.89 cores=0,2,4,6
/proc/28129/task/28188/stat : 28188 (java) R 28126 28129 7434 0 -1 4202560 2532 12652 0 0 80 1 5 3 20 0 15 0 36139314 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802133867088 139802570646369 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28189] ppid=28126 vsize=13997884 CPUtime=1.08 cores=0,2,4,6
/proc/28129/task/28189/stat : 28189 (java) R 28126 28129 7434 0 -1 4202560 3818 12652 0 0 99 1 5 3 20 0 15 0 36139315 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802132813472 139802576769760 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28190] ppid=28126 vsize=13997884 CPUtime=0.96 cores=0,2,4,6
/proc/28129/task/28190/stat : 28190 (java) S 28126 28129 7434 0 -1 1077944384 3388 12652 0 0 87 1 5 3 20 0 15 0 36139315 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802131773936 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28191] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28191/stat : 28191 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 36139315 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802130721632 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28192] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28192/stat : 28192 (java) S 28126 28129 7434 0 -1 1077944384 8 12652 0 0 0 0 5 3 20 0 15 0 36139318 14333833216 69495 18446744073709551615 4194304 4196468 140720906022400 139802129668656 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 13997884

[startup+6.30075 s]
/proc/loadavg: 1.23 1.38 1.43 5/209 28192
/proc/meminfo: memFree=27754240/32770624 swapFree=0/403704
[pid=28129] ppid=28126 vsize=13997884 CPUtime=10.59 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28126 28129 7434 0 -1 1077944320 52651 12652 0 0 990 61 5 3 20 0 15 0 36139289 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 140720906004944 139802592382711 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
/proc/28129/statm: 3499471 266580 3463 1 0 3488085 0
[pid=28129/tid=28179] ppid=28126 vsize=13997884 CPUtime=5.81 cores=0,2,4,6
/proc/28129/task/28179/stat : 28179 (java) R 28126 28129 7434 0 -1 4202560 36890 12652 0 0 557 16 5 3 20 0 15 0 36139309 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802596606368 139802216824949 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28180] ppid=28126 vsize=13997884 CPUtime=0.33 cores=0,2,4,6
/proc/28129/task/28180/stat : 28180 (java) S 28126 28129 7434 0 -1 1077944384 398 12652 0 0 16 9 5 3 20 0 15 0 36139310 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802534329360 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28181] ppid=28126 vsize=13997884 CPUtime=0.34 cores=0,2,4,6
/proc/28129/task/28181/stat : 28181 (java) S 28126 28129 7434 0 -1 1077944384 313 12652 0 0 18 8 5 3 20 0 15 0 36139310 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802533276816 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28182] ppid=28126 vsize=13997884 CPUtime=0.33 cores=0,2,4,6
/proc/28129/task/28182/stat : 28182 (java) S 28126 28129 7434 0 -1 1077944384 391 12652 0 0 16 9 5 3 20 0 15 0 36139310 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802532223760 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28183] ppid=28126 vsize=13997884 CPUtime=0.33 cores=0,2,4,6
/proc/28129/task/28183/stat : 28183 (java) S 28126 28129 7434 0 -1 1077944384 252 12652 0 0 16 9 5 3 20 0 15 0 36139310 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802531171216 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28184] ppid=28126 vsize=13997884 CPUtime=0.1 cores=0,2,4,6
/proc/28129/task/28184/stat : 28184 (java) S 28126 28129 7434 0 -1 1077944384 2047 12652 0 0 2 0 5 3 20 0 15 0 36139311 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802138089712 139802592393858 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28185] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28185/stat : 28185 (java) S 28126 28129 7434 0 -1 1077944384 55 12652 0 0 0 0 5 3 20 0 15 0 36139312 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802137036000 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28186] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28186/stat : 28186 (java) S 28126 28129 7434 0 -1 1077944384 43 12652 0 0 0 0 5 3 20 0 15 0 36139312 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802135982848 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28187] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28187/stat : 28187 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 36139314 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802134931408 139802592401307 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28188] ppid=28126 vsize=13997884 CPUtime=1.34 cores=0,2,4,6
/proc/28129/task/28188/stat : 28188 (java) S 28126 28129 7434 0 -1 1077944384 2648 12652 0 0 124 2 5 3 20 0 15 0 36139314 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802133879536 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28189] ppid=28126 vsize=13997884 CPUtime=1.5 cores=0,2,4,6
/proc/28129/task/28189/stat : 28189 (java) S 28126 28129 7434 0 -1 1077944384 3940 12652 0 0 141 1 5 3 20 0 15 0 36139315 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802132826992 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28190] ppid=28126 vsize=13997884 CPUtime=1.04 cores=0,2,4,6
/proc/28129/task/28190/stat : 28190 (java) S 28126 28129 7434 0 -1 1077944384 3502 12652 0 0 95 1 5 3 20 0 15 0 36139315 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802131773936 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28191] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28191/stat : 28191 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 36139315 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802130721632 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28192] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28192/stat : 28192 (java) S 28126 28129 7434 0 -1 1077944384 11 12652 0 0 0 0 5 3 20 0 15 0 36139318 14333833216 266580 18446744073709551615 4194304 4196468 140720906022400 139802129668656 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 13997884

[startup+12.7007 s]
/proc/loadavg: 1.29 1.39 1.43 3/209 28192
/proc/meminfo: memFree=26341808/32770624 swapFree=0/403688
[pid=28129] ppid=28126 vsize=13997884 CPUtime=19.42 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28126 28129 7434 0 -1 1077944320 56866 12652 0 0 1834 100 5 3 20 0 15 0 36139289 14333833216 536530 18446744073709551615 4194304 4196468 140720906022400 140720906004944 139802592382711 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
/proc/28129/statm: 3499471 536530 3464 1 0 3488085 0
[pid=28129/tid=28179] ppid=28126 vsize=13997884 CPUtime=10.82 cores=0,2,4,6
/proc/28129/task/28179/stat : 28179 (java) R 28126 28129 7434 0 -1 4202560 37409 12652 0 0 1048 26 5 3 20 0 15 0 36139309 14333833216 536530 18446744073709551615 4194304 4196468 140720906022400 139802596606192 139802218547383 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28180] ppid=28126 vsize=13997884 CPUtime=1.1 cores=0,2,4,6
/proc/28129/task/28180/stat : 28180 (java) S 28126 28129 7434 0 -1 1077944384 629 12652 0 0 86 16 5 3 20 0 15 0 36139310 14333833216 536530 18446744073709551615 4194304 4196468 140720906022400 139802534329360 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28181] ppid=28126 vsize=13997884 CPUtime=1.12 cores=0,2,4,6
/proc/28129/task/28181/stat : 28181 (java) S 28126 28129 7434 0 -1 1077944384 1035 12652 0 0 89 15 5 3 20 0 15 0 36139310 14333833216 536530 18446744073709551615 4194304 4196468 140720906022400 139802533276816 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28182] ppid=28126 vsize=13997884 CPUtime=1.11 cores=0,2,4,6
/proc/28129/task/28182/stat : 28182 (java) S 28126 28129 7434 0 -1 1077944384 656 12652 0 0 86 17 5 3 20 0 15 0 36139310 14333833216 536530 18446744073709551615 4194304 4196468 140720906022400 139802532223760 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28183] ppid=28126 vsize=13997884 CPUtime=1.1 cores=0,2,4,6
/proc/28129/task/28183/stat : 28183 (java) S 28126 28129 7434 0 -1 1077944384 885 12652 0 0 86 16 5 3 20 0 15 0 36139310 14333833216 536530 18446744073709551615 4194304 4196468 140720906022400 139802531171216 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28184] ppid=28126 vsize=13997884 CPUtime=0.72 cores=0,2,4,6
/proc/28129/task/28184/stat : 28184 (java) S 28126 28129 7434 0 -1 1077944384 3786 12652 0 0 64 0 5 3 20 0 15 0 36139311 14333833216 536530 18446744073709551615 4194304 4196468 140720906022400 139802138089712 139802592393858 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28185] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28185/stat : 28185 (java) S 28126 28129 7434 0 -1 1077944384 55 12652 0 0 0 0 5 3 20 0 15 0 36139312 14333833216 536530 18446744073709551615 4194304 4196468 140720906022400 139802137036000 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28186] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28186/stat : 28186 (java) S 28126 28129 7434 0 -1 1077944384 43 12652 0 0 0 0 5 3 20 0 15 0 36139312 14333833216 536530 18446744073709551615 4194304 4196468 140720906022400 139802135982848 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28187] ppid=28126 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28187/stat : 28187 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 15 0 36139314 14333833216 536530 18446744073709551615 4194304 4196468 140720906022400 139802134931408 139802592401307 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0

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


Solver just ended.
Dumping a history of the last processes samples

[startup+2446.4 s]
/proc/loadavg: 1.86 1.79 1.69 6/211 28488
/proc/meminfo: memFree=22617308/32770624 swapFree=0/404100
[pid=28129] ppid=28126 vsize=14202692 CPUtime=2522.31 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28126 28129 7434 0 -1 1077944320 687076 12652 0 0 251626 597 5 3 20 0 17 0 36139289 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 140720906004944 139802592382711 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
/proc/28129/statm: 3550673 1138062 3491 1 0 3539287 0
[pid=28129/tid=28179] ppid=28126 vsize=14202692 CPUtime=2416.12 cores=0,2,4,6
/proc/28129/task/28179/stat : 28179 (java) S 28126 28129 7434 0 -1 1077944384 303154 12652 0 0 241508 96 5 3 20 0 17 0 36139309 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802596612272 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28180] ppid=28126 vsize=14202692 CPUtime=21.42 cores=0,2,4,6
/proc/28129/task/28180/stat : 28180 (java) R 28126 28129 7434 0 -1 4202560 56093 12652 0 0 2032 102 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802534329480 139802585010919 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28181] ppid=28126 vsize=14202692 CPUtime=21.27 cores=0,2,4,6
/proc/28129/task/28181/stat : 28181 (java) R 28126 28129 7434 0 -1 4202560 60390 12652 0 0 2014 105 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802533276816 139802577083407 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28182] ppid=28126 vsize=14202692 CPUtime=21.28 cores=0,2,4,6
/proc/28129/task/28182/stat : 28182 (java) R 28126 28129 7434 0 -1 4202560 72497 12652 0 0 2015 105 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802532223568 139802585010919 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28183] ppid=28126 vsize=14202692 CPUtime=21.18 cores=0,2,4,6
/proc/28129/task/28183/stat : 28183 (java) R 28126 28129 7434 0 -1 4202560 56584 12652 0 0 1998 112 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802531171336 139802585010919 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28184] ppid=28126 vsize=14202692 CPUtime=8.61 cores=0,2,4,6
/proc/28129/task/28184/stat : 28184 (java) S 28126 28129 7434 0 -1 1077944384 59176 12652 0 0 843 10 5 3 20 0 17 0 36139311 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802138088336 139802592392917 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28185] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28185/stat : 28185 (java) S 28126 28129 7434 0 -1 1077944384 71 12652 0 0 0 0 5 3 20 0 17 0 36139312 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802137036064 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28186] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28186/stat : 28186 (java) S 28126 28129 7434 0 -1 1077944384 62 12652 0 0 0 0 5 3 20 0 17 0 36139312 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802135982848 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28187] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28187/stat : 28187 (java) S 28126 28129 7434 0 -1 1077944384 234 12652 0 0 0 0 5 3 20 0 17 0 36139314 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802134931408 139802592401307 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28188] ppid=28126 vsize=14202692 CPUtime=4.89 cores=0,2,4,6
/proc/28129/task/28188/stat : 28188 (java) S 28126 28129 7434 0 -1 1077944384 22222 12652 0 0 476 5 5 3 20 0 17 0 36139314 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802133879536 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28189] ppid=28126 vsize=14202692 CPUtime=4.43 cores=0,2,4,6
/proc/28129/task/28189/stat : 28189 (java) S 28126 28129 7434 0 -1 1077944384 23883 12652 0 0 431 4 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802132826560 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28190] ppid=28126 vsize=14202692 CPUtime=2.2 cores=0,2,4,6
/proc/28129/task/28190/stat : 28190 (java) S 28126 28129 7434 0 -1 1077944384 28137 12652 0 0 206 6 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802131773936 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28191] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28191/stat : 28191 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802130721632 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28192] ppid=28126 vsize=14202692 CPUtime=1.54 cores=0,2,4,6
/proc/28129/task/28192/stat : 28192 (java) S 28126 28129 7434 0 -1 1077944384 2054 12652 0 0 74 72 5 3 20 0 17 0 36139318 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802129668656 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28487] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28487/stat : 28487 (java) S 28126 28129 7434 0 -1 1077944384 334 12652 0 0 0 0 5 3 20 0 17 0 36383869 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802030535024 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28488] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28488/stat : 28488 (java) S 28126 28129 7434 0 -1 1077944384 26 12652 0 0 0 0 5 3 20 0 17 0 36383870 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802029482688 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
Current children cumulated CPU time (s) 2522.31
Current children cumulated vsize (KiB) 14202692

[startup+2447.2 s]
/proc/loadavg: 1.86 1.79 1.69 6/211 28488
/proc/meminfo: memFree=22617308/32770624 swapFree=0/404100
[pid=28129] ppid=28126 vsize=14202692 CPUtime=2525.4 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28126 28129 7434 0 -1 1077944320 687084 12652 0 0 251934 598 5 3 20 0 17 0 36139289 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 140720906004944 139802592382711 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
/proc/28129/statm: 3550673 1138062 3491 1 0 3539287 0
[pid=28129/tid=28179] ppid=28126 vsize=14202692 CPUtime=2416.12 cores=0,2,4,6
/proc/28129/task/28179/stat : 28179 (java) S 28126 28129 7434 0 -1 1077944384 303154 12652 0 0 241508 96 5 3 20 0 17 0 36139309 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802596612272 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28180] ppid=28126 vsize=14202692 CPUtime=22.18 cores=0,2,4,6
/proc/28129/task/28180/stat : 28180 (java) R 28126 28129 7434 0 -1 4202560 56093 12652 0 0 2108 102 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802534329168 139802585010919 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28181] ppid=28126 vsize=14202692 CPUtime=22.06 cores=0,2,4,6
/proc/28129/task/28181/stat : 28181 (java) R 28126 28129 7434 0 -1 4202560 60398 12652 0 0 2093 105 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802533277016 139802577083296 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28182] ppid=28126 vsize=14202692 CPUtime=22.04 cores=0,2,4,6
/proc/28129/task/28182/stat : 28182 (java) R 28126 28129 7434 0 -1 4202560 72497 12652 0 0 2091 105 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802532223568 139802585010919 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28183] ppid=28126 vsize=14202692 CPUtime=21.95 cores=0,2,4,6
/proc/28129/task/28183/stat : 28183 (java) R 28126 28129 7434 0 -1 4202560 56584 12652 0 0 2074 113 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802531171336 139802585010919 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28184] ppid=28126 vsize=14202692 CPUtime=8.61 cores=0,2,4,6
/proc/28129/task/28184/stat : 28184 (java) S 28126 28129 7434 0 -1 1077944384 59176 12652 0 0 843 10 5 3 20 0 17 0 36139311 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802138088336 139802592392917 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28185] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28185/stat : 28185 (java) S 28126 28129 7434 0 -1 1077944384 71 12652 0 0 0 0 5 3 20 0 17 0 36139312 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802137036064 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28186] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28186/stat : 28186 (java) S 28126 28129 7434 0 -1 1077944384 62 12652 0 0 0 0 5 3 20 0 17 0 36139312 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802135982848 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28187] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28187/stat : 28187 (java) S 28126 28129 7434 0 -1 1077944384 234 12652 0 0 0 0 5 3 20 0 17 0 36139314 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802134931408 139802592401307 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28188] ppid=28126 vsize=14202692 CPUtime=4.89 cores=0,2,4,6
/proc/28129/task/28188/stat : 28188 (java) S 28126 28129 7434 0 -1 1077944384 22222 12652 0 0 476 5 5 3 20 0 17 0 36139314 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802133879536 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28189] ppid=28126 vsize=14202692 CPUtime=4.43 cores=0,2,4,6
/proc/28129/task/28189/stat : 28189 (java) S 28126 28129 7434 0 -1 1077944384 23883 12652 0 0 431 4 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802132826560 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28190] ppid=28126 vsize=14202692 CPUtime=2.2 cores=0,2,4,6
/proc/28129/task/28190/stat : 28190 (java) S 28126 28129 7434 0 -1 1077944384 28137 12652 0 0 206 6 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802131773936 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28191] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28191/stat : 28191 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802130721632 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28192] ppid=28126 vsize=14202692 CPUtime=1.54 cores=0,2,4,6
/proc/28129/task/28192/stat : 28192 (java) S 28126 28129 7434 0 -1 1077944384 2054 12652 0 0 74 72 5 3 20 0 17 0 36139318 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802129668656 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28487] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28487/stat : 28487 (java) S 28126 28129 7434 0 -1 1077944384 334 12652 0 0 0 0 5 3 20 0 17 0 36383869 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802030535024 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28488] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28488/stat : 28488 (java) S 28126 28129 7434 0 -1 1077944384 26 12652 0 0 0 0 5 3 20 0 17 0 36383870 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802029482688 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
Current children cumulated CPU time (s) 2525.4
Current children cumulated vsize (KiB) 14202692

[startup+2447.61 s]
/proc/loadavg: 1.86 1.79 1.69 6/211 28488
/proc/meminfo: memFree=22617308/32770624 swapFree=0/404096
[pid=28129] ppid=28126 vsize=14202692 CPUtime=2526.97 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28126 28129 7434 0 -1 1077944320 687095 12652 0 0 252091 598 5 3 20 0 17 0 36139289 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 140720906004944 139802592382711 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
/proc/28129/statm: 3550673 1138062 3491 1 0 3539287 0
[pid=28129/tid=28179] ppid=28126 vsize=14202692 CPUtime=2416.12 cores=0,2,4,6
/proc/28129/task/28179/stat : 28179 (java) S 28126 28129 7434 0 -1 1077944384 303154 12652 0 0 241508 96 5 3 20 0 17 0 36139309 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802596612272 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28180] ppid=28126 vsize=14202692 CPUtime=22.57 cores=0,2,4,6
/proc/28129/task/28180/stat : 28180 (java) R 28126 28129 7434 0 -1 4202560 56093 12652 0 0 2147 102 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802534329168 139802585010919 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28181] ppid=28126 vsize=14202692 CPUtime=22.47 cores=0,2,4,6
/proc/28129/task/28181/stat : 28181 (java) R 28126 28129 7434 0 -1 4202560 60409 12652 0 0 2134 105 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802533277016 139802577378657 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28182] ppid=28126 vsize=14202692 CPUtime=22.43 cores=0,2,4,6
/proc/28129/task/28182/stat : 28182 (java) R 28126 28129 7434 0 -1 4202560 72497 12652 0 0 2130 105 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802532223568 139802585010919 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28183] ppid=28126 vsize=14202692 CPUtime=22.33 cores=0,2,4,6
/proc/28129/task/28183/stat : 28183 (java) R 28126 28129 7434 0 -1 4202560 56584 12652 0 0 2112 113 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802531171336 139802585010919 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28184] ppid=28126 vsize=14202692 CPUtime=8.61 cores=0,2,4,6
/proc/28129/task/28184/stat : 28184 (java) S 28126 28129 7434 0 -1 1077944384 59176 12652 0 0 843 10 5 3 20 0 17 0 36139311 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802138088336 139802592392917 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28185] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28185/stat : 28185 (java) S 28126 28129 7434 0 -1 1077944384 71 12652 0 0 0 0 5 3 20 0 17 0 36139312 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802137036064 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28186] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28186/stat : 28186 (java) S 28126 28129 7434 0 -1 1077944384 62 12652 0 0 0 0 5 3 20 0 17 0 36139312 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802135982848 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28187] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28187/stat : 28187 (java) S 28126 28129 7434 0 -1 1077944384 234 12652 0 0 0 0 5 3 20 0 17 0 36139314 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802134931408 139802592401307 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28188] ppid=28126 vsize=14202692 CPUtime=4.89 cores=0,2,4,6
/proc/28129/task/28188/stat : 28188 (java) S 28126 28129 7434 0 -1 1077944384 22222 12652 0 0 476 5 5 3 20 0 17 0 36139314 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802133879536 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28189] ppid=28126 vsize=14202692 CPUtime=4.43 cores=0,2,4,6
/proc/28129/task/28189/stat : 28189 (java) S 28126 28129 7434 0 -1 1077944384 23883 12652 0 0 431 4 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802132826560 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28190] ppid=28126 vsize=14202692 CPUtime=2.2 cores=0,2,4,6
/proc/28129/task/28190/stat : 28190 (java) S 28126 28129 7434 0 -1 1077944384 28137 12652 0 0 206 6 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802131773936 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28191] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28191/stat : 28191 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802130721632 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28192] ppid=28126 vsize=14202692 CPUtime=1.54 cores=0,2,4,6
/proc/28129/task/28192/stat : 28192 (java) S 28126 28129 7434 0 -1 1077944384 2054 12652 0 0 74 72 5 3 20 0 17 0 36139318 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802129668656 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28487] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28487/stat : 28487 (java) S 28126 28129 7434 0 -1 1077944384 334 12652 0 0 0 0 5 3 20 0 17 0 36383869 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802030535024 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28488] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28488/stat : 28488 (java) S 28126 28129 7434 0 -1 1077944384 26 12652 0 0 0 0 5 3 20 0 17 0 36383870 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802029482688 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
Current children cumulated CPU time (s) 2526.97
Current children cumulated vsize (KiB) 14202692

[startup+2447.8 s]
/proc/loadavg: 1.86 1.79 1.69 6/211 28488
/proc/meminfo: memFree=22617308/32770624 swapFree=0/404096
[pid=28129] ppid=28126 vsize=14202692 CPUtime=2527.73 cores=0,2,4,6
/proc/28129/stat : 28129 (java) S 28126 28129 7434 0 -1 1077944320 687102 12652 0 0 252166 599 5 3 20 0 17 0 36139289 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 140720906004944 139802592382711 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
/proc/28129/statm: 3550673 1138062 3491 1 0 3539287 0
[pid=28129/tid=28179] ppid=28126 vsize=14202692 CPUtime=2416.12 cores=0,2,4,6
/proc/28129/task/28179/stat : 28179 (java) S 28126 28129 7434 0 -1 1077944384 303154 12652 0 0 241508 96 5 3 20 0 17 0 36139309 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802596612272 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28180] ppid=28126 vsize=14202692 CPUtime=22.76 cores=0,2,4,6
/proc/28129/task/28180/stat : 28180 (java) R 28126 28129 7434 0 -1 4202560 56093 12652 0 0 2166 102 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802534329480 139802585010919 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28181] ppid=28126 vsize=14202692 CPUtime=22.66 cores=0,2,4,6
/proc/28129/task/28181/stat : 28181 (java) R 28126 28129 7434 0 -1 4202560 60416 12652 0 0 2153 105 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802533277016 139802577083361 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28182] ppid=28126 vsize=14202692 CPUtime=22.61 cores=0,2,4,6
/proc/28129/task/28182/stat : 28182 (java) R 28126 28129 7434 0 -1 4202560 72497 12652 0 0 2148 105 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802532223880 139802585010919 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28183] ppid=28126 vsize=14202692 CPUtime=22.52 cores=0,2,4,6
/proc/28129/task/28183/stat : 28183 (java) R 28126 28129 7434 0 -1 4202560 56584 12652 0 0 2131 113 5 3 20 0 17 0 36139310 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802531171336 139802585010919 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28184] ppid=28126 vsize=14202692 CPUtime=8.61 cores=0,2,4,6
/proc/28129/task/28184/stat : 28184 (java) S 28126 28129 7434 0 -1 1077944384 59176 12652 0 0 843 10 5 3 20 0 17 0 36139311 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802138088336 139802592392917 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28185] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28185/stat : 28185 (java) S 28126 28129 7434 0 -1 1077944384 71 12652 0 0 0 0 5 3 20 0 17 0 36139312 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802137036064 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28186] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28186/stat : 28186 (java) S 28126 28129 7434 0 -1 1077944384 62 12652 0 0 0 0 5 3 20 0 17 0 36139312 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802135982848 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28187] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28187/stat : 28187 (java) S 28126 28129 7434 0 -1 1077944384 234 12652 0 0 0 0 5 3 20 0 17 0 36139314 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802134931408 139802592401307 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28188] ppid=28126 vsize=14202692 CPUtime=4.89 cores=0,2,4,6
/proc/28129/task/28188/stat : 28188 (java) S 28126 28129 7434 0 -1 1077944384 22222 12652 0 0 476 5 5 3 20 0 17 0 36139314 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802133879536 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28189] ppid=28126 vsize=14202692 CPUtime=4.43 cores=0,2,4,6
/proc/28129/task/28189/stat : 28189 (java) S 28126 28129 7434 0 -1 1077944384 23883 12652 0 0 431 4 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802132826560 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28190] ppid=28126 vsize=14202692 CPUtime=2.2 cores=0,2,4,6
/proc/28129/task/28190/stat : 28190 (java) S 28126 28129 7434 0 -1 1077944384 28137 12652 0 0 206 6 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802131773936 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28191] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28191/stat : 28191 (java) S 28126 28129 7434 0 -1 1077944384 3 12652 0 0 0 0 5 3 20 0 17 0 36139315 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802130721632 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28192] ppid=28126 vsize=14202692 CPUtime=1.54 cores=0,2,4,6
/proc/28129/task/28192/stat : 28192 (java) S 28126 28129 7434 0 -1 1077944384 2054 12652 0 0 74 72 5 3 20 0 17 0 36139318 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802129668656 139802592393858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28487] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28487/stat : 28487 (java) S 28126 28129 7434 0 -1 1077944384 334 12652 0 0 0 0 5 3 20 0 17 0 36383869 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802030535024 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
[pid=28129/tid=28488] ppid=28126 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/28129/task/28488/stat : 28488 (java) S 28126 28129 7434 0 -1 1077944384 26 12652 0 0 0 0 5 3 20 0 17 0 36383870 14543556608 1138062 18446744073709551615 4194304 4196468 140720906022400 139802029482688 139802592392917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30568448 140720906024912 140720906027697 140720906027697 140720906031055 0
Current children cumulated CPU time (s) 2527.73
Current children cumulated vsize (KiB) 14202692

Child ended because it received signal 9 (SIGKILL)
Real time (s): 2447.83
CPU time (s): 2527.79
CPU user time (s): 2521.73
CPU system time (s): 6.05379
CPU usage (%): 103.266
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2521.73
system time used= 6.05379
maximum resident set size= 6858572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 699758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67038
involuntary context switches= 3275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5185 second user time and 9.47533 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-11 20:45:30
IDJOB=4262708
IDBENCH=138603
IDSOLVER=2650
FILE ID=node124/4262708-1502477986
RUNJOBID= node124-1502411387-7497
PBS_JOBID= 
Free space on /tmp= 61920 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os07/SuperTaillard-os-07-26.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262708-1502477986/watcher-4262708-1502477986 -o /tmp/evaluation-result-4262708-1502477986/solver-4262708-1502477986 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580  bin/concrete HOME/instance-4262708-1502477986.xml

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

MD5SUM BENCH= 94b2333e20121f91e59972a20e586711
RANDOM SEED=148435517

node124.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.51
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.51
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.51
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.51
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:        28472712 kB
MemAvailable:   29016036 kB
Buffers:          219896 kB
Cached:           617268 kB
SwapCached:            0 kB
Active:          3444568 kB
Inactive:         428656 kB
Active(anon):    3036796 kB
Inactive(anon):    24960 kB
Active(file):     407772 kB
Inactive(file):   403696 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24176 kB
Writeback:             0 kB
AnonPages:       3036048 kB
Mapped:            51484 kB
Shmem:             25320 kB
Slab:             121088 kB
SReclaimable:      95384 kB
SUnreclaim:        25704 kB
KernelStack:        3424 kB
PageTables:        12644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3476152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2775040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61984 MiB
End job on node124 at 2017-08-11 21:26:18