Trace number 4262119

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 NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4? (TO) 2527.22 2454.6399

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-100-20-3.xml
MD5SUM6a976a8caea6b1a6adb22232912ed5ab
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2100
Number of constraints2120
Number of domains1
Minimum domain size6406
Maximum domain size6406
Distribution of domain sizes[{"size":6406,"count":2100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":2000}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":100},{"arity":2,"count":2000},{"arity":100,"count":20}]
Number of extensional constraints0
Number of intensional constraints2100
Distribution of constraint types[{"type":"intension","count":2100},{"type":"noOverlap","count":20}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

3.38/2.24	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-4262119-1502412279/watcher-4262119-1502412279 -o /tmp/evaluation-result-4262119-1502412279/solver-4262119-1502412279 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580 bin/concrete HOME/instance-4262119-1502412279.xml 

pid=13093
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: 0.00 0.10 0.68 4/187 13097
/proc/meminfo: memFree=31173092/32770624 swapFree=0/458692
[pid=13097] ppid=13093 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13097/stat : 13097 (runsolver) D 13093 13097 13007 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 83139034 24240128 106 18446744073709551615 4194304 4338465 140726576862720 140726576860360 139701279122135 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 16535552 140726576869584 140726576869961 140726576869961 140726576873418 0
/proc/13097/statm: 5918 106 53 36 0 2156 0

[startup+0.100077 s]
/proc/loadavg: 0.00 0.10 0.68 4/187 13097
/proc/meminfo: memFree=31173092/32770624 swapFree=0/458692
[pid=13097] ppid=13093 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/13097/stat : 13097 (bash) S 13093 13097 13007 0 -1 4202496 896 6473 0 0 0 0 0 1 20 0 1 0 83139034 9867264 377 18446744073709551615 4194304 5098028 140722284419264 140722284413272 139819497073664 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 7 0 0 7196144 7232144 18776064 140722284425748 140722284425833 140722284425833 140722284429290 0
/proc/13097/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200295 s]
/proc/loadavg: 0.00 0.10 0.68 4/187 13097
/proc/meminfo: memFree=31173092/32770624 swapFree=0/458692
[pid=13097] ppid=13093 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/13097/stat : 13097 (bash) S 13093 13097 13007 0 -1 4202496 896 6473 0 0 0 0 0 1 20 0 1 0 83139034 9867264 377 18446744073709551615 4194304 5098028 140722284419264 140722284413272 139819497073664 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 7 0 0 7196144 7232144 18776064 140722284425748 140722284425833 140722284425833 140722284429290 0
/proc/13097/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.308525 s]
/proc/loadavg: 0.00 0.10 0.68 4/187 13097
/proc/meminfo: memFree=31173092/32770624 swapFree=0/458692
[pid=13097] ppid=13093 vsize=13575516 CPUtime=0.13 cores=1,3,5,7
/proc/13097/stat : 13097 (java) S 13093 13097 13007 0 -1 1077944320 5216 12331 0 0 4 1 5 3 20 0 10 0 83139034 13901328384 4973 18446744073709551615 4194304 4196468 140727881454352 140727881436896 140459979456247 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
/proc/13097/statm: 3393879 4973 2146 1 0 3383376 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13575516

[startup+0.700268 s]
/proc/loadavg: 0.00 0.10 0.68 4/187 13097
/proc/meminfo: memFree=31173092/32770624 swapFree=0/458692
[pid=13097] ppid=13093 vsize=13974784 CPUtime=0.59 cores=1,3,5,7
/proc/13097/stat : 13097 (java) S 13093 13097 13007 0 -1 1077944320 13678 12331 0 0 48 3 5 3 20 0 15 0 83139034 14310178816 14076 18446744073709551615 4194304 4196468 140727881454352 140727881436896 140459979456247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
/proc/13097/statm: 3493696 14076 3071 1 0 3482965 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13974784

[startup+1.5007 s]
/proc/loadavg: 0.08 0.11 0.69 3/220 13226
/proc/meminfo: memFree=30990040/32770624 swapFree=0/459540
[pid=13097] ppid=13093 vsize=13985408 CPUtime=1.84 cores=1,3,5,7
/proc/13097/stat : 13097 (java) S 13093 13097 13007 0 -1 1077944320 27441 12331 0 0 169 7 5 3 20 0 15 0 83139034 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140727881436896 140459979456247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
/proc/13097/statm: 3496352 33778 3342 1 0 3485525 0
[pid=13097/tid=13207] ppid=13093 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/13097/task/13207/stat : 13207 (java) R 13093 13097 13007 0 -1 4202560 21936 12331 0 0 113 5 5 3 20 0 15 0 83139060 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459983687248 140459979468182 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13208] ppid=13093 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13208/stat : 13208 (java) S 13093 13097 13007 0 -1 1077944384 1 12331 0 0 0 0 5 3 20 0 15 0 83139060 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459936422928 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13209] ppid=13093 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13209/stat : 13209 (java) S 13093 13097 13007 0 -1 1077944384 1 12331 0 0 0 0 5 3 20 0 15 0 83139060 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459935370384 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13210] ppid=13093 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13210/stat : 13210 (java) S 13093 13097 13007 0 -1 1077944384 1 12331 0 0 0 0 5 3 20 0 15 0 83139060 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459934317328 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13211] ppid=13093 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13211/stat : 13211 (java) S 13093 13097 13007 0 -1 1077944384 2 12331 0 0 0 0 5 3 20 0 15 0 83139060 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459933264784 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13217] ppid=13093 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13217/stat : 13217 (java) S 13093 13097 13007 0 -1 1077944384 5 12331 0 0 0 0 5 3 20 0 15 0 83139062 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459525167344 140459979467394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13218] ppid=13093 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13218/stat : 13218 (java) S 13093 13097 13007 0 -1 1077944384 33 12331 0 0 0 0 5 3 20 0 15 0 83139062 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459456324768 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13219] ppid=13093 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13219/stat : 13219 (java) S 13093 13097 13007 0 -1 1077944384 21 12331 0 0 0 0 5 3 20 0 15 0 83139062 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459455271664 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13220] ppid=13093 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13220/stat : 13220 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 15 0 83139065 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459454220240 140459979474843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13221] ppid=13093 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/13097/task/13221/stat : 13221 (java) S 13093 13097 13007 0 -1 1077944384 1257 12331 0 0 16 0 5 3 20 0 15 0 83139065 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459453168368 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13222] ppid=13093 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/13097/task/13222/stat : 13222 (java) S 13093 13097 13007 0 -1 1077944384 692 12331 0 0 16 0 5 3 20 0 15 0 83139065 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459452115824 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13223] ppid=13093 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/13097/task/13223/stat : 13223 (java) R 13093 13097 13007 0 -1 4202560 1325 12331 0 0 21 0 5 3 20 0 15 0 83139065 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459451062768 140459979477594 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13224] ppid=13093 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13224/stat : 13224 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 15 0 83139065 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459450010464 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13226] ppid=13093 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13226/stat : 13226 (java) S 13093 13097 13007 0 -1 1077944384 8 12331 0 0 0 0 5 3 20 0 15 0 83139070 14321057792 33778 18446744073709551615 4194304 4196468 140727881454352 140459448957488 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13985408

[startup+3.10059 s]
/proc/loadavg: 0.08 0.11 0.69 9/220 13226
/proc/meminfo: memFree=30835852/32770624 swapFree=0/459540
[pid=13097] ppid=13093 vsize=13995836 CPUtime=6.02 cores=1,3,5,7
/proc/13097/stat : 13097 (java) S 13093 13097 13007 0 -1 1077944320 40794 12331 0 0 581 13 5 3 20 0 15 0 83139034 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140727881436896 140459979456247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
/proc/13097/statm: 3498959 58671 3455 1 0 3487573 0
[pid=13097/tid=13207] ppid=13093 vsize=13995836 CPUtime=2.82 cores=1,3,5,7
/proc/13097/task/13207/stat : 13207 (java) R 13093 13097 13007 0 -1 4202560 27826 12331 0 0 266 8 5 3 20 0 15 0 83139060 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459983679424 140459963499877 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13208] ppid=13093 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/13097/task/13208/stat : 13208 (java) S 13093 13097 13007 0 -1 1077944384 47 12331 0 0 1 0 5 3 20 0 15 0 83139060 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459936422928 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13209] ppid=13093 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/13097/task/13209/stat : 13209 (java) S 13093 13097 13007 0 -1 1077944384 45 12331 0 0 1 0 5 3 20 0 15 0 83139060 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459935370384 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13210] ppid=13093 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/13097/task/13210/stat : 13210 (java) S 13093 13097 13007 0 -1 1077944384 59 12331 0 0 1 0 5 3 20 0 15 0 83139060 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459934317328 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13211] ppid=13093 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/13097/task/13211/stat : 13211 (java) S 13093 13097 13007 0 -1 1077944384 205 12331 0 0 1 0 5 3 20 0 15 0 83139060 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459933264784 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13217] ppid=13093 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/13097/task/13217/stat : 13217 (java) S 13093 13097 13007 0 -1 1077944384 1684 12331 0 0 1 0 5 3 20 0 15 0 83139062 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459525167344 140459979467394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13218] ppid=13093 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13218/stat : 13218 (java) S 13093 13097 13007 0 -1 1077944384 56 12331 0 0 0 0 5 3 20 0 15 0 83139062 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459456324832 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13219] ppid=13093 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13219/stat : 13219 (java) S 13093 13097 13007 0 -1 1077944384 44 12331 0 0 0 0 5 3 20 0 15 0 83139062 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459455271680 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13220] ppid=13093 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13220/stat : 13220 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 15 0 83139065 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459454220240 140459979474843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13221] ppid=13093 vsize=13995836 CPUtime=1.12 cores=1,3,5,7
/proc/13097/task/13221/stat : 13221 (java) R 13093 13097 13007 0 -1 4202560 2850 12331 0 0 104 0 5 3 20 0 15 0 83139065 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459453147840 140459979477594 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13222] ppid=13093 vsize=13995836 CPUtime=1.05 cores=1,3,5,7
/proc/13097/task/13222/stat : 13222 (java) R 13093 13097 13007 0 -1 4202560 1699 12331 0 0 96 1 5 3 20 0 15 0 83139065 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459452107776 140459961000020 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13223] ppid=13093 vsize=13995836 CPUtime=1.14 cores=1,3,5,7
/proc/13097/task/13223/stat : 13223 (java) R 13093 13097 13007 0 -1 1077944384 4109 12331 0 0 106 0 5 3 20 0 15 0 83139065 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459451062768 140459979467394 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13224] ppid=13093 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13224/stat : 13224 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 15 0 83139065 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459450010464 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13226] ppid=13093 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13226/stat : 13226 (java) S 13093 13097 13007 0 -1 1077944384 11 12331 0 0 0 0 5 3 20 0 15 0 83139070 14331736064 58671 18446744073709551615 4194304 4196468 140727881454352 140459448957488 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 13995836

[startup+6.30142 s]
/proc/loadavg: 0.08 0.11 0.69 3/220 13226
/proc/meminfo: memFree=30165972/32770624 swapFree=0/459548
[pid=13097] ppid=13093 vsize=13999932 CPUtime=13.84 cores=1,3,5,7
/proc/13097/stat : 13097 (java) S 13093 13097 13007 0 -1 1077944320 60816 12331 0 0 1325 51 5 3 20 0 15 0 83139034 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140727881436896 140459979456247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
/proc/13097/statm: 3499983 183231 3469 1 0 3488597 0
[pid=13097/tid=13207] ppid=13093 vsize=13999932 CPUtime=5.68 cores=1,3,5,7
/proc/13097/task/13207/stat : 13207 (java) R 13093 13097 13007 0 -1 4202560 30530 12331 0 0 548 12 5 3 20 0 15 0 83139060 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459983685384 140459621891376 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13208] ppid=13093 vsize=13999932 CPUtime=0.39 cores=1,3,5,7
/proc/13097/task/13208/stat : 13208 (java) S 13093 13097 13007 0 -1 1077944384 233 12331 0 0 23 8 5 3 20 0 15 0 83139060 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459936422928 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13209] ppid=13093 vsize=13999932 CPUtime=0.41 cores=1,3,5,7
/proc/13097/task/13209/stat : 13209 (java) S 13093 13097 13007 0 -1 1077944384 248 12331 0 0 25 8 5 3 20 0 15 0 83139060 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459935370384 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13210] ppid=13093 vsize=13999932 CPUtime=0.39 cores=1,3,5,7
/proc/13097/task/13210/stat : 13210 (java) S 13093 13097 13007 0 -1 1077944384 380 12331 0 0 23 8 5 3 20 0 15 0 83139060 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459934317328 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13211] ppid=13093 vsize=13999932 CPUtime=0.41 cores=1,3,5,7
/proc/13097/task/13211/stat : 13211 (java) S 13093 13097 13007 0 -1 1077944384 413 12331 0 0 26 7 5 3 20 0 15 0 83139060 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459933264784 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13217] ppid=13093 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/13097/task/13217/stat : 13217 (java) S 13093 13097 13007 0 -1 1077944384 2726 12331 0 0 3 0 5 3 20 0 15 0 83139062 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459525167344 140459979467394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13218] ppid=13093 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13218/stat : 13218 (java) S 13093 13097 13007 0 -1 1077944384 56 12331 0 0 0 0 5 3 20 0 15 0 83139062 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459456324832 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13219] ppid=13093 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13219/stat : 13219 (java) S 13093 13097 13007 0 -1 1077944384 44 12331 0 0 0 0 5 3 20 0 15 0 83139062 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459455271680 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13220] ppid=13093 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13220/stat : 13220 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 15 0 83139065 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459454220240 140459979474843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13221] ppid=13093 vsize=13999932 CPUtime=2.62 cores=1,3,5,7
/proc/13097/task/13221/stat : 13221 (java) S 13093 13097 13007 0 -1 1077944384 8150 12331 0 0 253 1 5 3 20 0 15 0 83139065 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459453168368 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13222] ppid=13093 vsize=13999932 CPUtime=2.89 cores=1,3,5,7
/proc/13097/task/13222/stat : 13222 (java) S 13093 13097 13007 0 -1 1077944384 7952 12331 0 0 280 1 5 3 20 0 15 0 83139065 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459452115824 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13223] ppid=13093 vsize=13999932 CPUtime=1.48 cores=1,3,5,7
/proc/13097/task/13223/stat : 13223 (java) S 13093 13097 13007 0 -1 1077944384 7770 12331 0 0 139 1 5 3 20 0 15 0 83139065 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459451062768 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13224] ppid=13093 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13224/stat : 13224 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 15 0 83139065 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459450010464 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13226] ppid=13093 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13226/stat : 13226 (java) S 13093 13097 13007 0 -1 1077944384 155 12331 0 0 0 0 5 3 20 0 15 0 83139070 14335930368 183231 18446744073709551615 4194304 4196468 140727881454352 140459448957488 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
Current children cumulated CPU time (s) 13.84
Current children cumulated vsize (KiB) 13999932

[startup+12.7066 s]
/proc/loadavg: 0.59 0.22 0.72 4/220 13226
/proc/meminfo: memFree=27599368/32770624 swapFree=0/459532
[pid=13097] ppid=13093 vsize=13999932 CPUtime=28.07 cores=1,3,5,7
/proc/13097/stat : 13097 (java) S 13093 13097 13007 0 -1 1077944320 84874 12331 0 0 2682 117 5 3 20 0 15 0 83139034 14335930368 442385 18446744073709551615 4194304 4196468 140727881454352 140727881436896 140459979456247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
/proc/13097/statm: 3499983 442385 3470 1 0 3488597 0
[pid=13097/tid=13207] ppid=13093 vsize=13999932 CPUtime=10.21 cores=1,3,5,7
/proc/13097/task/13207/stat : 13207 (java) R 13093 13097 13007 0 -1 4202560 33322 12331 0 0 998 15 5 3 20 0 15 0 83139060 14335930368 442385 18446744073709551615 4194304 4196468 140727881454352 140459983688808 140459614784984 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13208] ppid=13093 vsize=13999932 CPUtime=2.05 cores=1,3,5,7
/proc/13097/task/13208/stat : 13208 (java) S 13093 13097 13007 0 -1 1077944384 1500 12331 0 0 175 22 5 3 20 0 15 0 83139060 14335930368 442385 18446744073709551615 4194304 4196468 140727881454352 140459936422928 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13209] ppid=13093 vsize=13999932 CPUtime=2.08 cores=1,3,5,7
/proc/13097/task/13209/stat : 13209 (java) S 13093 13097 13007 0 -1 1077944384 1012 12331 0 0 177 23 5 3 20 0 15 0 83139060 14335930368 442385 18446744073709551615 4194304 4196468 140727881454352 140459935370384 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13210] ppid=13093 vsize=13999932 CPUtime=2.05 cores=1,3,5,7
/proc/13097/task/13210/stat : 13210 (java) S 13093 13097 13007 0 -1 1077944384 1414 12331 0 0 175 22 5 3 20 0 15 0 83139060 14335930368 442385 18446744073709551615 4194304 4196468 140727881454352 140459934317328 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13211] ppid=13093 vsize=13999932 CPUtime=2.07 cores=1,3,5,7
/proc/13097/task/13211/stat : 13211 (java) S 13093 13097 13007 0 -1 1077944384 1282 12331 0 0 176 23 5 3 20 0 15 0 83139060 14335930368 442385 18446744073709551615 4194304 4196468 140727881454352 140459933264784 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13217] ppid=13093 vsize=13999932 CPUtime=0.29 cores=1,3,5,7
/proc/13097/task/13217/stat : 13217 (java) S 13093 13097 13007 0 -1 1077944384 12518 12331 0 0 21 0 5 3 20 0 15 0 83139062 14335930368 442385 18446744073709551615 4194304 4196468 140727881454352 140459525167344 140459979467394 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13218] ppid=13093 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13218/stat : 13218 (java) S 13093 13097 13007 0 -1 1077944384 56 12331 0 0 0 0 5 3 20 0 15 0 83139062 14335930368 442385 18446744073709551615 4194304 4196468 140727881454352 140459456324832 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13219] ppid=13093 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13219/stat : 13219 (java) S 13093 13097 13007 0 -1 1077944384 44 12331 0 0 0 0 5 3 20 0 15 0 83139062 14335930368 442385 18446744073709551615 4194304 4196468 140727881454352 140459455271680 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13220] ppid=13093 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13220/stat : 13220 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 15 0 83139065 14335930368 442385 18446744073709551615 4194304 4196468 140727881454352 140459454220240 140459979474843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0

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

??? sigkill at end of watcher main loop
??? kill 13097 sig 9
??? kill -13097 sig 9
??? end of watcher thread

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

[startup+2453.31 s]
/proc/loadavg: 2.22 2.05 1.90 3/218 13524
/proc/meminfo: memFree=25288456/32770624 swapFree=0/460064
[pid=13097] ppid=13093 vsize=14202692 CPUtime=2522.19 cores=1,3,5,7
/proc/13097/stat : 13097 (java) S 13093 13097 13007 0 -1 1077944320 581574 12331 0 0 251671 540 5 3 20 0 17 0 83139034 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140727881436896 140459979456247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
/proc/13097/statm: 3550673 1100525 3493 1 0 3539287 0
[pid=13097/tid=13207] ppid=13093 vsize=14202692 CPUtime=2437.05 cores=1,3,5,7
/proc/13097/task/13207/stat : 13207 (java) S 13093 13097 13007 0 -1 1077944384 231733 12331 0 0 243607 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459983693792 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13208] ppid=13093 vsize=14202692 CPUtime=15.17 cores=1,3,5,7
/proc/13097/task/13208/stat : 13208 (java) R 13093 13097 13007 0 -1 4202560 51139 12331 0 0 1419 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459936422928 140459964156935 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13209] ppid=13093 vsize=14202692 CPUtime=15.2 cores=1,3,5,7
/proc/13097/task/13209/stat : 13209 (java) R 13093 13097 13007 0 -1 4202560 40865 12331 0 0 1422 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459935370584 140459964445843 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13210] ppid=13093 vsize=14202692 CPUtime=15.17 cores=1,3,5,7
/proc/13097/task/13210/stat : 13210 (java) R 13093 13097 13007 0 -1 4202560 42980 12331 0 0 1417 92 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459934317328 140459964445911 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13211] ppid=13093 vsize=14202692 CPUtime=15.15 cores=1,3,5,7
/proc/13097/task/13211/stat : 13211 (java) R 13093 13097 13007 0 -1 4202560 40159 12331 0 0 1417 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459933264784 140459964156279 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13217] ppid=13093 vsize=14202692 CPUtime=1.09 cores=1,3,5,7
/proc/13097/task/13217/stat : 13217 (java) S 13093 13097 13007 0 -1 1077944384 49637 12331 0 0 94 7 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459525165968 140459979466453 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13218] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13218/stat : 13218 (java) S 13093 13097 13007 0 -1 1077944384 77 12331 0 0 0 0 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459456324896 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13219] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13219/stat : 13219 (java) S 13093 13097 13007 0 -1 1077944384 78 12331 0 0 0 0 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459455271680 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13220] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13220/stat : 13220 (java) S 13093 13097 13007 0 -1 1077944384 315 12331 0 0 0 0 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459454220240 140459979474843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13221] ppid=13093 vsize=14202692 CPUtime=9.28 cores=1,3,5,7
/proc/13097/task/13221/stat : 13221 (java) S 13093 13097 13007 0 -1 1077944384 38254 12331 0 0 915 5 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459453168368 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13222] ppid=13093 vsize=14202692 CPUtime=10.39 cores=1,3,5,7
/proc/13097/task/13222/stat : 13222 (java) S 13093 13097 13007 0 -1 1077944384 44591 12331 0 0 1025 6 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459452115824 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13223] ppid=13093 vsize=14202692 CPUtime=2.79 cores=1,3,5,7
/proc/13097/task/13223/stat : 13223 (java) S 13093 13097 13007 0 -1 1077944384 36951 12331 0 0 266 5 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459451062768 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13224] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13224/stat : 13224 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459450010464 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13226] ppid=13093 vsize=14202692 CPUtime=1.51 cores=1,3,5,7
/proc/13097/task/13226/stat : 13226 (java) S 13093 13097 13007 0 -1 1077944384 2223 12331 0 0 65 78 5 3 20 0 17 0 83139070 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459448957488 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
Current children cumulated CPU time (s) 2522.19
Current children cumulated vsize (KiB) 14202692

[startup+2454.1 s]
/proc/loadavg: 2.22 2.05 1.90 6/220 13526
/proc/meminfo: memFree=25283956/32770624 swapFree=0/460064
[pid=13097] ppid=13093 vsize=14202692 CPUtime=2525.25 cores=1,3,5,7
/proc/13097/stat : 13097 (java) S 13093 13097 13007 0 -1 1077944320 581577 12331 0 0 251976 541 5 3 20 0 17 0 83139034 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140727881436896 140459979456247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
/proc/13097/statm: 3550673 1100525 3493 1 0 3539287 0
[pid=13097/tid=13207] ppid=13093 vsize=14202692 CPUtime=2437.05 cores=1,3,5,7
/proc/13097/task/13207/stat : 13207 (java) S 13093 13097 13007 0 -1 1077944384 231733 12331 0 0 243607 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459983693792 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13208] ppid=13093 vsize=14202692 CPUtime=15.94 cores=1,3,5,7
/proc/13097/task/13208/stat : 13208 (java) R 13093 13097 13007 0 -1 4202560 51139 12331 0 0 1495 91 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459936422736 140459972084455 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13209] ppid=13093 vsize=14202692 CPUtime=15.94 cores=1,3,5,7
/proc/13097/task/13209/stat : 13209 (java) R 13093 13097 13007 0 -1 4202560 40865 12331 0 0 1496 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459935370504 140459972084455 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13210] ppid=13093 vsize=14202692 CPUtime=15.93 cores=1,3,5,7
/proc/13097/task/13210/stat : 13210 (java) R 13093 13097 13007 0 -1 4202560 42980 12331 0 0 1493 92 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459934317136 140459972084455 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13211] ppid=13093 vsize=14202692 CPUtime=15.94 cores=1,3,5,7
/proc/13097/task/13211/stat : 13211 (java) R 13093 13097 13007 0 -1 4202560 40162 12331 0 0 1496 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459933264984 140459964452636 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13217] ppid=13093 vsize=14202692 CPUtime=1.09 cores=1,3,5,7
/proc/13097/task/13217/stat : 13217 (java) S 13093 13097 13007 0 -1 1077944384 49637 12331 0 0 94 7 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459525165968 140459979466453 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13218] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13218/stat : 13218 (java) S 13093 13097 13007 0 -1 1077944384 77 12331 0 0 0 0 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459456324896 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13219] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13219/stat : 13219 (java) S 13093 13097 13007 0 -1 1077944384 78 12331 0 0 0 0 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459455271680 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13220] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13220/stat : 13220 (java) S 13093 13097 13007 0 -1 1077944384 315 12331 0 0 0 0 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459454220240 140459979474843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13221] ppid=13093 vsize=14202692 CPUtime=9.28 cores=1,3,5,7
/proc/13097/task/13221/stat : 13221 (java) S 13093 13097 13007 0 -1 1077944384 38254 12331 0 0 915 5 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459453168416 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13222] ppid=13093 vsize=14202692 CPUtime=10.39 cores=1,3,5,7
/proc/13097/task/13222/stat : 13222 (java) S 13093 13097 13007 0 -1 1077944384 44591 12331 0 0 1025 6 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459452115584 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13223] ppid=13093 vsize=14202692 CPUtime=2.79 cores=1,3,5,7
/proc/13097/task/13223/stat : 13223 (java) S 13093 13097 13007 0 -1 1077944384 36951 12331 0 0 266 5 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459451062816 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13224] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13224/stat : 13224 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459450010464 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13226] ppid=13093 vsize=14202692 CPUtime=1.51 cores=1,3,5,7
/proc/13097/task/13226/stat : 13226 (java) S 13093 13097 13007 0 -1 1077944384 2223 12331 0 0 65 78 5 3 20 0 17 0 83139070 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459448957488 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13525] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13525/stat : 13525 (java) S 13093 13097 13007 0 -1 1077944384 383 12331 0 0 0 0 5 3 20 0 17 0 83384295 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459417428336 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13526] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13526/stat : 13526 (java) S 13093 13097 13007 0 -1 1077944384 32 12331 0 0 0 0 5 3 20 0 17 0 83384295 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459416376000 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
Current children cumulated CPU time (s) 2525.25
Current children cumulated vsize (KiB) 14202692

[startup+2454.5 s]
/proc/loadavg: 2.22 2.05 1.90 6/220 13526
/proc/meminfo: memFree=25283956/32770624 swapFree=0/460064
[pid=13097] ppid=13093 vsize=14202692 CPUtime=2526.74 cores=1,3,5,7
/proc/13097/stat : 13097 (java) S 13093 13097 13007 0 -1 1077944320 581577 12331 0 0 252125 541 5 3 20 0 17 0 83139034 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140727881436896 140459979456247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
/proc/13097/statm: 3550673 1100525 3493 1 0 3539287 0
[pid=13097/tid=13207] ppid=13093 vsize=14202692 CPUtime=2437.05 cores=1,3,5,7
/proc/13097/task/13207/stat : 13207 (java) S 13093 13097 13007 0 -1 1077944384 231733 12331 0 0 243607 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459983693792 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13208] ppid=13093 vsize=14202692 CPUtime=16.3 cores=1,3,5,7
/proc/13097/task/13208/stat : 13208 (java) S 13093 13097 13007 0 -1 1077944384 51139 12331 0 0 1531 91 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459936422928 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13209] ppid=13093 vsize=14202692 CPUtime=16.3 cores=1,3,5,7
/proc/13097/task/13209/stat : 13209 (java) S 13093 13097 13007 0 -1 1077944384 40865 12331 0 0 1532 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459935370384 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13210] ppid=13093 vsize=14202692 CPUtime=16.29 cores=1,3,5,7
/proc/13097/task/13210/stat : 13210 (java) S 13093 13097 13007 0 -1 1077944384 42980 12331 0 0 1529 92 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459934317328 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13211] ppid=13093 vsize=14202692 CPUtime=16.32 cores=1,3,5,7
/proc/13097/task/13211/stat : 13211 (java) S 13093 13097 13007 0 -1 1077944384 40162 12331 0 0 1534 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459933264784 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13217] ppid=13093 vsize=14202692 CPUtime=1.11 cores=1,3,5,7
/proc/13097/task/13217/stat : 13217 (java) R 13093 13097 13007 0 -1 4202560 49637 12331 0 0 96 7 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459525165968 140459963913867 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13218] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13218/stat : 13218 (java) S 13093 13097 13007 0 -1 1077944384 77 12331 0 0 0 0 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459456324896 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13219] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13219/stat : 13219 (java) S 13093 13097 13007 0 -1 1077944384 78 12331 0 0 0 0 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459455271680 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13220] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13220/stat : 13220 (java) S 13093 13097 13007 0 -1 1077944384 315 12331 0 0 0 0 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459454220240 140459979474843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13221] ppid=13093 vsize=14202692 CPUtime=9.28 cores=1,3,5,7
/proc/13097/task/13221/stat : 13221 (java) S 13093 13097 13007 0 -1 1077944384 38254 12331 0 0 915 5 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459453168416 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13222] ppid=13093 vsize=14202692 CPUtime=10.39 cores=1,3,5,7
/proc/13097/task/13222/stat : 13222 (java) S 13093 13097 13007 0 -1 1077944384 44591 12331 0 0 1025 6 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459452115584 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13223] ppid=13093 vsize=14202692 CPUtime=2.79 cores=1,3,5,7
/proc/13097/task/13223/stat : 13223 (java) S 13093 13097 13007 0 -1 1077944384 36951 12331 0 0 266 5 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459451062816 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13224] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13224/stat : 13224 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459450010464 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13226] ppid=13093 vsize=14202692 CPUtime=1.51 cores=1,3,5,7
/proc/13097/task/13226/stat : 13226 (java) S 13093 13097 13007 0 -1 1077944384 2223 12331 0 0 65 78 5 3 20 0 17 0 83139070 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459448957488 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13525] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13525/stat : 13525 (java) S 13093 13097 13007 0 -1 1077944384 383 12331 0 0 0 0 5 3 20 0 17 0 83384295 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459417428336 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13526] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13526/stat : 13526 (java) S 13093 13097 13007 0 -1 1077944384 32 12331 0 0 0 0 5 3 20 0 17 0 83384295 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459416376000 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
Current children cumulated CPU time (s) 2526.74
Current children cumulated vsize (KiB) 14202692

[startup+2454.6 s]
/proc/loadavg: 2.22 2.05 1.90 6/220 13526
/proc/meminfo: memFree=25275888/32770624 swapFree=0/460064
[pid=13097] ppid=13093 vsize=14202692 CPUtime=2527.14 cores=1,3,5,7
/proc/13097/stat : 13097 (java) S 13093 13097 13007 0 -1 1077944320 582314 12331 0 0 252165 541 5 3 20 0 17 0 83139034 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140727881436896 140459979456247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
/proc/13097/statm: 3550673 1100525 3493 1 0 3539287 0
[pid=13097/tid=13207] ppid=13093 vsize=14202692 CPUtime=2437.05 cores=1,3,5,7
/proc/13097/task/13207/stat : 13207 (java) S 13093 13097 13007 0 -1 1077944384 231733 12331 0 0 243607 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459983693792 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13208] ppid=13093 vsize=14202692 CPUtime=16.4 cores=1,3,5,7
/proc/13097/task/13208/stat : 13208 (java) R 13093 13097 13007 0 -1 4202560 51145 12331 0 0 1541 91 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459936422816 140459964441505 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13209] ppid=13093 vsize=14202692 CPUtime=16.4 cores=1,3,5,7
/proc/13097/task/13209/stat : 13209 (java) R 13093 13097 13007 0 -1 4202560 40865 12331 0 0 1542 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459935370584 140459963909921 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13210] ppid=13093 vsize=14202692 CPUtime=16.39 cores=1,3,5,7
/proc/13097/task/13210/stat : 13210 (java) R 13093 13097 13007 0 -1 4202560 43040 12331 0 0 1539 92 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459934317328 140459964441543 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13211] ppid=13093 vsize=14202692 CPUtime=16.42 cores=1,3,5,7
/proc/13097/task/13211/stat : 13211 (java) R 13093 13097 13007 0 -1 4202560 40162 12331 0 0 1544 90 5 3 20 0 17 0 83139060 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459933264784 140459964406852 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13217] ppid=13093 vsize=14202692 CPUtime=1.12 cores=1,3,5,7
/proc/13097/task/13217/stat : 13217 (java) S 13093 13097 13007 0 -1 1077944384 50306 12331 0 0 97 7 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459525165744 140459979466453 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13218] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13218/stat : 13218 (java) S 13093 13097 13007 0 -1 1077944384 79 12331 0 0 0 0 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459456324496 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13219] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13219/stat : 13219 (java) S 13093 13097 13007 0 -1 1077944384 78 12331 0 0 0 0 5 3 20 0 17 0 83139062 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459455271680 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13220] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13220/stat : 13220 (java) S 13093 13097 13007 0 -1 1077944384 315 12331 0 0 0 0 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459454220240 140459979474843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13221] ppid=13093 vsize=14202692 CPUtime=9.28 cores=1,3,5,7
/proc/13097/task/13221/stat : 13221 (java) S 13093 13097 13007 0 -1 1077944384 38254 12331 0 0 915 5 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459453168416 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13222] ppid=13093 vsize=14202692 CPUtime=10.39 cores=1,3,5,7
/proc/13097/task/13222/stat : 13222 (java) S 13093 13097 13007 0 -1 1077944384 44591 12331 0 0 1025 6 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459452115584 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13223] ppid=13093 vsize=14202692 CPUtime=2.79 cores=1,3,5,7
/proc/13097/task/13223/stat : 13223 (java) S 13093 13097 13007 0 -1 1077944384 36951 12331 0 0 266 5 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459451062816 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13224] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13224/stat : 13224 (java) S 13093 13097 13007 0 -1 1077944384 3 12331 0 0 0 0 5 3 20 0 17 0 83139065 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459450010464 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13226] ppid=13093 vsize=14202692 CPUtime=1.51 cores=1,3,5,7
/proc/13097/task/13226/stat : 13226 (java) S 13093 13097 13007 0 -1 1077944384 2223 12331 0 0 65 78 5 3 20 0 17 0 83139070 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459448957488 140459979467394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13525] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13525/stat : 13525 (java) S 13093 13097 13007 0 -1 1077944384 383 12331 0 0 0 0 5 3 20 0 17 0 83384295 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459417428336 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
[pid=13097/tid=13526] ppid=13093 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/13097/task/13526/stat : 13526 (java) S 13093 13097 13007 0 -1 1077944384 32 12331 0 0 0 0 5 3 20 0 17 0 83384295 14543556608 1100525 18446744073709551615 4194304 4196468 140727881454352 140459416376000 140459979466453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14905344 140727881455568 140727881458353 140727881458353 140727881461711 0
Current children cumulated CPU time (s) 2527.14
Current children cumulated vsize (KiB) 14202692

Child ended because it received signal 9 (SIGKILL)
Real time (s): 2454.64
CPU time (s): 2527.22
CPU user time (s): 2521.74
CPU system time (s): 5.48142
CPU usage (%): 102.957
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2521.74
system time used= 5.48142
maximum resident set size= 4968976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594648
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65854
involuntary context switches= 1785

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9724 second user time and 15.5982 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-11 02:30:44
IDJOB=4262119
IDBENCH=115653
IDSOLVER=2650
FILE ID=node135/4262119-1502412279
RUNJOBID= node135-1502411443-13072
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-20-3.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262119-1502412279/watcher-4262119-1502412279 -o /tmp/evaluation-result-4262119-1502412279/solver-4262119-1502412279 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580  bin/concrete HOME/instance-4262119-1502412279.xml

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

MD5SUM BENCH= 6a976a8caea6b1a6adb22232912ed5ab
RANDOM SEED=381982080

node135.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.21
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.21
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.21
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.21
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:        31173960 kB
MemAvailable:   31974092 kB
Buffers:          281048 kB
Cached:           812192 kB
SwapCached:            0 kB
Active:           661300 kB
Inactive:         492096 kB
Active(anon):      61424 kB
Inactive(anon):    33144 kB
Active(file):     599876 kB
Inactive(file):   458952 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             49024 kB
Writeback:             0 kB
AnonPages:         61012 kB
Mapped:            50072 kB
Shmem:             33468 kB
Slab:             141056 kB
SReclaimable:     114280 kB
SUnreclaim:        26776 kB
KernelStack:        3264 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     340744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61984 MiB
End job on node135 at 2017-08-11 03:11:38