Trace number 4259732

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) 259.202 226.843

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-100-10-5.xml
MD5SUM4d2827b08c954056751687426186d54f
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 variables1100
Number of constraints1110
Number of domains1
Minimum domain size5403
Maximum domain size5403
Distribution of domain sizes[{"size":5403,"count":1100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":1000}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":100},{"arity":2,"count":1000},{"arity":100,"count":10}]
Number of extensional constraints0
Number of intensional constraints1100
Distribution of constraint types[{"type":"intension","count":1100},{"type":"noOverlap","count":10}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

3.29/2.25	c Concrete v3.4 running

Verifier Data 

One s line expected

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15153 MiB free)
  memory of node 1: 16384 MiB (15443 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259732-1502642468/watcher-4259732-1502642468 -o /tmp/evaluation-result-4259732-1502642468/solver-4259732-1502642468 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259732-1502642468.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100095 s]*
/proc/loadavg: 1.08 1.17 1.87 3/191 25566
/proc/meminfo: memFree=31328704/32770624 swapFree=67108860/67108860
[pid=25499] ppid=25494 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/25499/stat : 25499 (bash) S 25494 25499 8289 0 -1 4202496 899 6477 1 0 0 0 0 1 20 0 1 0 112062022 9867264 378 18446744073709551615 4194304 5098028 140724243927792 140724243921800 140277110217728 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 6 0 0 7196144 7232144 10661888 140724243935732 140724243935817 140724243935817 140724243939306 0
/proc/25499/statm: 2409 378 297 221 0 118 0
[pid=25561] ppid=25499 vsize=9636 memory=708 CPUtime=0 cores=1,3,5,7
/proc/25561/stat : 25561 (bash) S 25499 25499 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112062032 9867264 177 18446744073709551615 4194304 5098028 140724243927792 140724243920472 140277110043260 0 65536 1 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10661888 140724243935732 140724243935817 140724243935817 140724243939306 0
/proc/25561/statm: 2409 177 96 221 0 118 0
[pid=25563] ppid=25561 vsize=9934512 memory=11120 CPUtime=0 cores=1,3,5,7
/proc/25563/stat : 25563 (java) S 25561 25499 8289 0 -1 1077944320 2568 0 0 0 0 0 0 0 20 0 6 0 112062032 10172940288 2780 18446744073709551615 4194304 4196468 140727786514656 140727786497200 140578227719927 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
/proc/25563/statm: 2483628 2780 1303 1 0 2473598 0
[pid=25563/tid=25567] ppid=25561 vsize=9934512 memory=-8412658745154770803 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25567/stat : 25567 (java) R 25561 25499 8289 0 -1 4202560 1328 0 0 0 0 0 0 0 20 0 6 0 112062032 10172940288 2813 18446744073709551615 4194304 4196468 140727786514656 140578231961464 140578213787920 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25569] ppid=25561 vsize=9934512 memory=3472328128895609921 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25569/stat : 25569 (java) S 25561 25499 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112062033 10172940288 2813 18446744073709551615 4194304 4196468 140727786514656 140578174069520 140578227730133 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25570] ppid=25561 vsize=9934512 memory=140151390639744 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25570/stat : 25570 (java) S 25561 25499 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112062033 10172940288 2813 18446744073709551615 4194304 4196468 140727786514656 140578173016976 140578227730133 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25571] ppid=25561 vsize=9934512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25571/stat : 25571 (java) S 25561 25499 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 112062033 10172940288 3325 18446744073709551615 4194304 4196468 140727786514656 140577837210640 140578227730133 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25572] ppid=25561 vsize=9934512 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25572/stat : 25572 (java) S 25561 25499 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112062033 10172940288 3325 18446744073709551615 4194304 4196468 140727786514656 140577836158096 140578227730133 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25564] ppid=25561 vsize=9872 memory=972 CPUtime=0 cores=1,3,5,7
/proc/25564/stat : 25564 (awk) S 25561 25499 8289 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 112062032 10108928 243 18446744073709551615 4194304 4609284 140728551347408 140728551346584 140266134502400 0 0 1 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 23642112 140728551355008 140728551355038 140728551355038 140728551358443 0
/proc/25564/statm: 2468 243 202 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9963656 KiB
Current children cumulated memory: 14312 KiB

[startup+0.210628 s]*
/proc/loadavg: 1.08 1.17 1.87 1/217 25592
/proc/meminfo: memFree=31304000/32770624 swapFree=67108860/67108860
[pid=25499] ppid=25494 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/25499/stat : 25499 (bash) S 25494 25499 8289 0 -1 4202496 899 6477 1 0 0 0 0 1 20 0 1 0 112062022 9867264 378 18446744073709551615 4194304 5098028 140724243927792 140724243921800 140277110217728 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 6 0 0 7196144 7232144 10661888 140724243935732 140724243935817 140724243935817 140724243939306 0
/proc/25499/statm: 2409 378 297 221 0 118 0
[pid=25561] ppid=25499 vsize=9636 memory=708 CPUtime=0 cores=1,3,5,7
/proc/25561/stat : 25561 (bash) S 25499 25499 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112062032 9867264 177 18446744073709551615 4194304 5098028 140724243927792 140724243920472 140277110043260 0 65536 1 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10661888 140724243935732 140724243935817 140724243935817 140724243939306 0
/proc/25561/statm: 2409 177 96 221 0 118 0
[pid=25563] ppid=25561 vsize=10485312 memory=23732 CPUtime=0.05 cores=1,3,5,7
/proc/25563/stat : 25563 (java) S 25561 25499 8289 0 -1 1077944320 4889 0 0 0 4 1 0 0 20 0 14 0 112062032 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140727786497200 140578227719927 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
/proc/25563/statm: 2621328 5933 2551 1 0 2610825 0
[pid=25563/tid=25567] ppid=25561 vsize=10485312 memory=-8412658745154770803 CPUtime=0.04 cores=1,3,5,7
/proc/25563/task/25567/stat : 25567 (java) D 25561 25499 8289 0 -1 4202560 3021 0 0 0 3 1 0 0 20 0 14 0 112062032 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140578231957408 140578227741949 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 5 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25569] ppid=25561 vsize=10485312 memory=3472328128895609921 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25569/stat : 25569 (java) S 25561 25499 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112062033 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140578174069520 140578227730133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25570] ppid=25561 vsize=10485312 memory=140151390639744 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25570/stat : 25570 (java) S 25561 25499 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112062033 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140578173016976 140578227730133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25571] ppid=25561 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25571/stat : 25571 (java) S 25561 25499 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112062033 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140577837210640 140578227730133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25572] ppid=25561 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25572/stat : 25572 (java) S 25561 25499 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112062033 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140577836158096 140578227730133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25577] ppid=25561 vsize=10485312 memory=140151390639744 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25577/stat : 25577 (java) S 25561 25499 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112062034 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140577536403440 140578227731074 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25579] ppid=25561 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25579/stat : 25579 (java) S 25561 25499 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 112062034 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140577535349664 140578227730133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25581] ppid=25561 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25581/stat : 25581 (java) S 25561 25499 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 112062035 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140577534297072 140578227730133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25583] ppid=25561 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25583/stat : 25583 (java) S 25561 25499 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112062037 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140577533245648 140578227738523 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25584] ppid=25561 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25584/stat : 25584 (java) S 25561 25499 8289 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 14 0 112062037 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140577532193264 140578227731074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25585] ppid=25561 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25585/stat : 25585 (java) S 25561 25499 8289 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 14 0 112062037 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140577531140720 140578227731074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25587] ppid=25561 vsize=10485312 memory=140151390639744 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25587/stat : 25587 (java) S 25561 25499 8289 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 14 0 112062037 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140577530088176 140578227731074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25563/tid=25591] ppid=25561 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25563/task/25591/stat : 25591 (java) S 25561 25499 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112062037 10736959488 5933 18446744073709551615 4194304 4196468 140727786514656 140577529035872 140578227730133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23306240 140727786521176 140727786521190 140727786521190 140727786524623 0
[pid=25564] ppid=25561 vsize=9872 memory=972 CPUtime=0 cores=1,3,5,7
/proc/25564/stat : 25564 (awk) S 25561 25499 8289 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 112062032 10108928 243 18446744073709551615 4194304 4609284 140728551347408 140728551346584 140266134502400 0 0 1 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 23642112 140728551355008 140728551355038 140728551355038 140728551358443 0
/proc/25564/statm: 2468 243 202 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10514456 KiB
Current children cumulated memory: 26924 KiB

[startup+0.310608 s]*
/proc/loadavg: 1.08 1.17 1.87 3/201 25616
/proc/meminfo: memFree=31308824/32770624 swapFree=67108860/67108860
[pid=25499] ppid=25494 vsize=13907308 memory=22136 CPUtime=0.14 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25494 25499 8289 0 -1 1077944320 5889 12727 1 0 5 1 4 4 20 0 14 0 112062022 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 140725714693552 139678322601719 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
/proc/25499/statm: 3476827 5534 2504 1 0 3466324 0
[pid=25499/tid=25602] ppid=25494 vsize=13907308 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/25499/task/25602/stat : 25602 (java) R 25494 25499 8289 0 -1 4202560 3182 12727 0 0 4 0 4 4 20 0 14 0 112062048 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139678326843744 139678322623645 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25603] ppid=25494 vsize=13907308 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25603/stat : 25603 (java) S 25494 25499 8289 0 -1 1077944384 1 12727 0 0 0 0 4 4 20 0 14 0 112062049 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139678257036048 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25605] ppid=25494 vsize=13907308 memory=4137548663497135221 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25605/stat : 25605 (java) S 25494 25499 8289 0 -1 1077944384 1 12727 0 0 0 0 4 4 20 0 14 0 112062049 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139678255983504 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25607] ppid=25494 vsize=13907308 memory=-7533229591079788448 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25607/stat : 25607 (java) S 25494 25499 8289 0 -1 1077944384 2 12727 0 0 0 0 4 4 20 0 14 0 112062049 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139678254930960 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25609] ppid=25494 vsize=13907308 memory=-7240599211820661557 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25609/stat : 25609 (java) S 25494 25499 8289 0 -1 1077944384 2 12727 0 0 0 0 4 4 20 0 14 0 112062049 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139678253878416 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25611] ppid=25494 vsize=13907308 memory=-7028383565733675155 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25611/stat : 25611 (java) S 25494 25499 8289 0 -1 1077944384 2 12727 0 0 0 0 4 4 20 0 14 0 112062050 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139677801236464 139678322612866 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25614] ppid=25494 vsize=13907308 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25614/stat : 25614 (java) S 25494 25499 8289 0 -1 1077944384 33 12727 0 0 0 0 4 4 20 0 14 0 112062051 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139677800182688 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25616] ppid=25494 vsize=13907308 memory=-7305533901252758645 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25616/stat : 25616 (java) S 25494 25499 8289 0 -1 1077944384 21 12727 0 0 0 0 4 4 20 0 14 0 112062051 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139677799130096 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25620] ppid=25494 vsize=13907308 memory=4206751525541407381 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25620/stat : 25620 (java) S 25494 25499 8289 0 -1 1077944384 3 12727 0 0 0 0 4 4 20 0 14 0 112062054 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139677798078672 139678322620315 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25622] ppid=25494 vsize=13907308 memory=140151390639744 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25622/stat : 25622 (java) R 25494 25499 8289 0 -1 4202560 315 12727 0 0 0 0 4 4 20 0 14 0 112062054 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139677797013920 139678303795316 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25623] ppid=25494 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25623/stat : 25623 (java) S 25494 25499 8289 0 -1 1077944384 3 12727 0 0 0 0 4 4 20 0 14 0 112062054 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139677795973440 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25624] ppid=25494 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25624/stat : 25624 (java) R 25494 25499 8289 0 -1 4202560 187 12727 0 0 0 0 4 4 20 0 14 0 112062054 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139677794921200 139678302063248 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25626] ppid=25494 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25626/stat : 25626 (java) S 25494 25499 8289 0 -1 1077944384 3 12727 0 0 0 0 4 4 20 0 14 0 112062054 14241083392 5534 18446744073709551615 4194304 4196468 140725714711008 139677793868896 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 22136 KiB

[startup+0.710628 s]
/proc/loadavg: 1.08 1.17 1.87 3/213 25628
/proc/meminfo: memFree=31259284/32770624 swapFree=67108860/67108860
[pid=25499] ppid=25494 vsize=13974784 memory=57004 CPUtime=0.6 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25494 25499 8289 0 -1 1077944320 13867 12727 1 0 49 3 4 4 20 0 15 0 112062022 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 140725714693552 139678322601719 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
/proc/25499/statm: 3493696 14251 3057 1 0 3482965 0
[pid=25499/tid=25602] ppid=25494 vsize=13974784 memory=280302584856816 CPUtime=0.47 cores=1,3,5,7
/proc/25499/task/25602/stat : 25602 (java) R 25494 25499 8289 0 -1 4202560 10333 12727 0 0 37 2 4 4 20 0 15 0 112062048 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139678326807184 139678306645349 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25603] ppid=25494 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25603/stat : 25603 (java) S 25494 25499 8289 0 -1 1077944384 1 12727 0 0 0 0 4 4 20 0 15 0 112062049 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139678257036048 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25605] ppid=25494 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25605/stat : 25605 (java) S 25494 25499 8289 0 -1 1077944384 1 12727 0 0 0 0 4 4 20 0 15 0 112062049 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139678255983504 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25607] ppid=25494 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25607/stat : 25607 (java) S 25494 25499 8289 0 -1 1077944384 2 12727 0 0 0 0 4 4 20 0 15 0 112062049 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139678254930960 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25609] ppid=25494 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25609/stat : 25609 (java) S 25494 25499 8289 0 -1 1077944384 2 12727 0 0 0 0 4 4 20 0 15 0 112062049 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139678253878416 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25611] ppid=25494 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25611/stat : 25611 (java) S 25494 25499 8289 0 -1 1077944384 6 12727 0 0 0 0 4 4 20 0 15 0 112062050 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139677801236464 139678322612866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25614] ppid=25494 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25614/stat : 25614 (java) S 25494 25499 8289 0 -1 1077944384 33 12727 0 0 0 0 4 4 20 0 15 0 112062051 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139677800182688 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25616] ppid=25494 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25616/stat : 25616 (java) S 25494 25499 8289 0 -1 1077944384 21 12727 0 0 0 0 4 4 20 0 15 0 112062051 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139677799130096 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25620] ppid=25494 vsize=13974784 memory=170 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25620/stat : 25620 (java) S 25494 25499 8289 0 -1 1077944384 3 12727 0 0 0 0 4 4 20 0 15 0 112062054 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139677798078672 139678322620315 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25622] ppid=25494 vsize=13974784 memory=1 CPUtime=0.1 cores=1,3,5,7
/proc/25499/task/25622/stat : 25622 (java) S 25494 25499 8289 0 -1 1077944384 580 12727 0 0 2 0 4 4 20 0 15 0 112062054 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139677797026288 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25623] ppid=25494 vsize=13974784 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25499/task/25623/stat : 25623 (java) S 25494 25499 8289 0 -1 1077944384 219 12727 0 0 1 0 4 4 20 0 15 0 112062054 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139677795973744 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25624] ppid=25494 vsize=13974784 memory=8319106358720017206 CPUtime=0.15 cores=1,3,5,7
/proc/25499/task/25624/stat : 25624 (java) S 25494 25499 8289 0 -1 1077944384 510 12727 0 0 7 0 4 4 20 0 15 0 112062054 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139677794921200 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25626] ppid=25494 vsize=13974784 memory=7368002589332496978 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25626/stat : 25626 (java) S 25494 25499 8289 0 -1 1077944384 3 12727 0 0 0 0 4 4 20 0 15 0 112062054 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139677793868896 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25627] ppid=25494 vsize=13974784 memory=5788930165031592000 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25627/stat : 25627 (java) S 25494 25499 8289 0 -1 1077944384 1 12727 0 0 0 0 4 4 20 0 15 0 112062058 14310178816 14251 18446744073709551615 4194304 4196468 140725714711008 139677792815408 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 57004 KiB

[startup+1.50067 s]
/proc/loadavg: 1.08 1.17 1.87 3/213 25628
/proc/meminfo: memFree=31183296/32770624 swapFree=67108860/67108860
[pid=25499] ppid=25494 vsize=13985408 memory=135352 CPUtime=1.78 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25494 25499 8289 0 -1 1077944320 29687 12727 1 0 163 7 4 4 20 0 15 0 112062022 14321057792 33838 18446744073709551615 4194304 4196468 140725714711008 140725714693552 139678322601719 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
/proc/25499/statm: 3496352 33838 3337 1 0 3485525 0
[pid=25499/tid=25602] ppid=25494 vsize=13985408 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/25499/task/25602/stat : 25602 (java) R 25494 25499 8289 0 -1 4202560 24348 12727 0 0 113 4 4 4 20 0 15 0 112062048 14321057792 33838 18446744073709551615 4194304 4196468 140725714711008 139678326835696 139678306682206 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25603] ppid=25494 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25603/stat : 25603 (java) S 25494 25499 8289 0 -1 1077944384 1 12727 0 0 0 0 4 4 20 0 15 0 112062049 14321057792 33838 18446744073709551615 4194304 4196468 140725714711008 139678257036048 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25605] ppid=25494 vsize=13985408 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25605/stat : 25605 (java) S 25494 25499 8289 0 -1 1077944384 1 12727 0 0 0 0 4 4 20 0 15 0 112062049 14321057792 33838 18446744073709551615 4194304 4196468 140725714711008 139678255983504 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25607] ppid=25494 vsize=13985408 memory=8945 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25607/stat : 25607 (java) S 25494 25499 8289 0 -1 1077944384 2 12727 0 0 0 0 4 4 20 0 15 0 112062049 14321057792 33838 18446744073709551615 4194304 4196468 140725714711008 139678254930960 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25609] ppid=25494 vsize=13985408 memory=15825482134324680 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25609/stat : 25609 (java) S 25494 25499 8289 0 -1 1077944384 2 12727 0 0 0 0 4 4 20 0 15 0 112062049 14321057792 33838 18446744073709551615 4194304 4196468 140725714711008 139678253878416 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25611] ppid=25494 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25611/stat : 25611 (java) S 25494 25499 8289 0 -1 1077944384 6 12727 0 0 0 0 4 4 20 0 15 0 112062050 14321057792 33838 18446744073709551615 4194304 4196468 140725714711008 139677801236464 139678322612866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25614] ppid=25494 vsize=13985408 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25614/stat : 25614 (java) S 25494 25499 8289 0 -1 1077944384 33 12727 0 0 0 0 4 4 20 0 15 0 112062051 14321057792 33838 18446744073709551615 4194304 4196468 140725714711008 139677800182688 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25616] ppid=25494 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25616/stat : 25616 (java) S 25494 25499 8289 0 -1 1077944384 21 12727 0 0 0 0 4 4 20 0 15 0 112062051 14321057792 33838 18446744073709551615 4194304 4196468 140725714711008 139677799130096 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0

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

/proc/25499/task/25611/stat : 25611 (java) S 25494 25499 8289 0 -1 1077944384 9471 12727 0 0 23 1 4 4 20 0 15 0 112062050 14407233536 1087952 18446744073709551615 4194304 4196468 140725714711008 139677801236464 139678322612866 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25614] ppid=25494 vsize=14069564 memory=-8774313645642428999 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25614/stat : 25614 (java) S 25494 25499 8289 0 -1 1077944384 75 12727 0 0 0 0 4 4 20 0 15 0 112062051 14407233536 1087952 18446744073709551615 4194304 4196468 140725714711008 139677800182816 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25616] ppid=25494 vsize=14069564 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25616/stat : 25616 (java) S 25494 25499 8289 0 -1 1077944384 65 12727 0 0 0 0 4 4 20 0 15 0 112062051 14407233536 1087952 18446744073709551615 4194304 4196468 140725714711008 139677799130112 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25620] ppid=25494 vsize=14069564 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25620/stat : 25620 (java) S 25494 25499 8289 0 -1 1077944384 3 12727 0 0 0 0 4 4 20 0 15 0 112062054 14407233536 1087952 18446744073709551615 4194304 4196468 140725714711008 139677798078672 139678322620315 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25622] ppid=25494 vsize=14069564 memory=4040 CPUtime=8.53 cores=1,3,5,7
/proc/25499/task/25622/stat : 25622 (java) S 25494 25499 8289 0 -1 1077944384 28397 12727 0 0 842 3 4 4 20 0 15 0 112062054 14407233536 1087952 18446744073709551615 4194304 4196468 140725714711008 139677797026288 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25623] ppid=25494 vsize=14069564 memory=33344 CPUtime=8.38 cores=1,3,5,7
/proc/25499/task/25623/stat : 25623 (java) S 25494 25499 8289 0 -1 1077944384 27277 12727 0 0 826 4 4 4 20 0 15 0 112062054 14407233536 1087952 18446744073709551615 4194304 4196468 140725714711008 139677795973744 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25624] ppid=25494 vsize=14069564 memory=1232 CPUtime=2.65 cores=1,3,5,7
/proc/25499/task/25624/stat : 25624 (java) S 25494 25499 8289 0 -1 1077944384 12860 12727 0 0 253 4 4 4 20 0 15 0 112062054 14407233536 1087952 18446744073709551615 4194304 4196468 140725714711008 139677794921200 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25626] ppid=25494 vsize=14069564 memory=640 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25626/stat : 25626 (java) S 25494 25499 8289 0 -1 1077944384 3 12727 0 0 0 0 4 4 20 0 15 0 112062054 14407233536 1087952 18446744073709551615 4194304 4196468 140725714711008 139677793868896 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25627] ppid=25494 vsize=14069564 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/25499/task/25627/stat : 25627 (java) S 25494 25499 8289 0 -1 1077944384 299 12727 0 0 4 6 4 4 20 0 15 0 112062058 14407233536 1087952 18446744073709551615 4194304 4196468 140725714711008 139677792815408 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4351808 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+226.843 s]
# the end of solver process 25499 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=256.824 s, system=2.37839 s

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

[startup+225.602 s]
/proc/loadavg: 2.04 1.62 1.90 9/218 25778
/proc/meminfo: memFree=25652224/32770624 swapFree=67108860/67108860
[pid=25499] ppid=25494 vsize=14202692 memory=4370016 CPUtime=254.83 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25494 25499 8289 0 -1 1077944320 190273 12727 1 0 25245 230 4 4 20 0 17 0 112062022 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 140725714693552 139678322601719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
/proc/25499/statm: 3550673 1092504 3489 1 0 3539287 0
[pid=25499/tid=25602] ppid=25494 vsize=14202692 memory=4325208 CPUtime=221.66 cores=1,3,5,7
/proc/25499/task/25602/stat : 25602 (java) S 25494 25499 8289 0 -1 1077944384 71997 12727 0 0 22109 49 4 4 20 0 17 0 112062048 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139678326839264 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25603] ppid=25494 vsize=14202692 memory=14356 CPUtime=3.42 cores=1,3,5,7
/proc/25499/task/25603/stat : 25603 (java) R 25494 25499 8289 0 -1 4202560 8788 12727 0 0 294 40 4 4 20 0 17 0 112062049 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139678257036168 139678307302407 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25605] ppid=25494 vsize=14202692 memory=1008 CPUtime=3.43 cores=1,3,5,7
/proc/25499/task/25605/stat : 25605 (java) R 25494 25499 8289 0 -1 4202560 7247 12727 0 0 294 41 4 4 20 0 17 0 112062049 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139678255983704 139678307302352 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25607] ppid=25494 vsize=14202692 memory=-8774313645642428999 CPUtime=3.44 cores=1,3,5,7
/proc/25499/task/25607/stat : 25607 (java) R 25494 25499 8289 0 -1 4202560 4519 12727 0 0 297 39 4 4 20 0 17 0 112062049 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139678254931080 139678307302352 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25609] ppid=25494 vsize=14202692 memory=33344 CPUtime=3.39 cores=1,3,5,7
/proc/25499/task/25609/stat : 25609 (java) R 25494 25499 8289 0 -1 4202560 7079 12727 0 0 291 40 4 4 20 0 17 0 112062049 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139678253878536 139678307059187 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25611] ppid=25494 vsize=14202692 memory=1232 CPUtime=0.35 cores=1,3,5,7
/proc/25499/task/25611/stat : 25611 (java) S 25494 25499 8289 0 -1 1077944384 19133 12727 0 0 26 1 4 4 20 0 17 0 112062050 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677801235088 139678322611925 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25614] ppid=25494 vsize=14202692 memory=640 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25614/stat : 25614 (java) S 25494 25499 8289 0 -1 1077944384 75 12727 0 0 0 0 4 4 20 0 17 0 112062051 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677800182816 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25616] ppid=25494 vsize=14202692 memory=1792 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25616/stat : 25616 (java) S 25494 25499 8289 0 -1 1077944384 65 12727 0 0 0 0 4 4 20 0 17 0 112062051 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677799130112 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25620] ppid=25494 vsize=14202692 memory=33344 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25620/stat : 25620 (java) S 25494 25499 8289 0 -1 1077944384 127 12727 0 0 0 0 4 4 20 0 17 0 112062054 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677798078672 139678322620315 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25622] ppid=25494 vsize=14202692 memory=1232 CPUtime=8.53 cores=1,3,5,7
/proc/25499/task/25622/stat : 25622 (java) S 25494 25499 8289 0 -1 1077944384 28408 12727 0 0 842 3 4 4 20 0 17 0 112062054 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677797016784 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25623] ppid=25494 vsize=14202692 memory=640 CPUtime=8.38 cores=1,3,5,7
/proc/25499/task/25623/stat : 25623 (java) S 25494 25499 8289 0 -1 1077944384 27300 12727 0 0 826 4 4 4 20 0 17 0 112062054 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677795965024 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25624] ppid=25494 vsize=14202692 memory=1792 CPUtime=2.65 cores=1,3,5,7
/proc/25499/task/25624/stat : 25624 (java) S 25494 25499 8289 0 -1 1077944384 12860 12727 0 0 253 4 4 4 20 0 17 0 112062054 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677794921200 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25626] ppid=25494 vsize=14202692 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25626/stat : 25626 (java) S 25494 25499 8289 0 -1 1077944384 3 12727 0 0 0 0 4 4 20 0 17 0 112062054 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677793868896 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25627] ppid=25494 vsize=14202692 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/25499/task/25627/stat : 25627 (java) S 25494 25499 8289 0 -1 1077944384 299 12727 0 0 4 6 4 4 20 0 17 0 112062058 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677792815408 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25777] ppid=25494 vsize=14202692 memory=1156 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25777/stat : 25777 (java) S 25494 25499 8289 0 -1 1077944384 191 12727 0 0 0 0 4 4 20 0 17 0 112084502 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677773684848 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25778] ppid=25494 vsize=14202692 memory=2536 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25778/stat : 25778 (java) S 25494 25499 8289 0 -1 1077944384 26 12727 0 0 0 0 4 4 20 0 17 0 112084503 14543556608 1092504 18446744073709551615 4194304 4196468 140725714711008 139677199922112 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
Current children cumulated CPU time: 254.83 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4370016 KiB

[startup+226.402 s]
/proc/loadavg: 2.04 1.62 1.90 6/218 25778
/proc/meminfo: memFree=25646952/32770624 swapFree=67108860/67108860
[pid=25499] ppid=25494 vsize=14202692 memory=4370072 CPUtime=257.58 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25494 25499 8289 0 -1 1077944320 190515 12727 1 0 25520 230 4 4 20 0 17 0 112062022 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 140725714693552 139678322601719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
/proc/25499/statm: 3550673 1092518 3489 1 0 3539287 0
[pid=25499/tid=25602] ppid=25494 vsize=14202692 memory=15825482134324680 CPUtime=221.67 cores=1,3,5,7
/proc/25499/task/25602/stat : 25602 (java) S 25494 25499 8289 0 -1 1077944384 71997 12727 0 0 22109 50 4 4 20 0 17 0 112062048 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139678326839264 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25603] ppid=25494 vsize=14202692 memory=4120 CPUtime=4.07 cores=1,3,5,7
/proc/25499/task/25603/stat : 25603 (java) R 25494 25499 8289 0 -1 4202560 8791 12727 0 0 359 40 4 4 20 0 17 0 112062049 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139678257035936 139678305778303 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25605] ppid=25494 vsize=14202692 memory=-8774313645642428999 CPUtime=4.07 cores=1,3,5,7
/proc/25499/task/25605/stat : 25605 (java) R 25494 25499 8289 0 -1 4202560 7369 12727 0 0 358 41 4 4 20 0 17 0 112062049 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139678255983504 139678307299480 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25607] ppid=25494 vsize=14202692 memory=14356 CPUtime=4.1 cores=1,3,5,7
/proc/25499/task/25607/stat : 25607 (java) R 25494 25499 8289 0 -1 4202560 4519 12727 0 0 363 39 4 4 20 0 17 0 112062049 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139678254931160 139678307299358 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25609] ppid=25494 vsize=14202692 memory=1008 CPUtime=4.04 cores=1,3,5,7
/proc/25499/task/25609/stat : 25609 (java) R 25494 25499 8289 0 -1 4202560 7129 12727 0 0 356 40 4 4 20 0 17 0 112062049 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139678253878416 139678307299471 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25611] ppid=25494 vsize=14202692 memory=2012 CPUtime=0.5 cores=1,3,5,7
/proc/25499/task/25611/stat : 25611 (java) S 25494 25499 8289 0 -1 1077944384 19198 12727 0 0 41 1 4 4 20 0 17 0 112062050 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677801234864 139678322611925 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25614] ppid=25494 vsize=14202692 memory=11136 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25614/stat : 25614 (java) S 25494 25499 8289 0 -1 1077944384 77 12727 0 0 0 0 4 4 20 0 17 0 112062051 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677800182416 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25616] ppid=25494 vsize=14202692 memory=5788 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25616/stat : 25616 (java) S 25494 25499 8289 0 -1 1077944384 65 12727 0 0 0 0 4 4 20 0 17 0 112062051 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677799130112 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25620] ppid=25494 vsize=14202692 memory=4370072 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25620/stat : 25620 (java) S 25494 25499 8289 0 -1 1077944384 127 12727 0 0 0 0 4 4 20 0 17 0 112062054 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677798078672 139678322620315 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25622] ppid=25494 vsize=14202692 memory=4370016 CPUtime=8.53 cores=1,3,5,7
/proc/25499/task/25622/stat : 25622 (java) S 25494 25499 8289 0 -1 1077944384 28408 12727 0 0 842 3 4 4 20 0 17 0 112062054 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677797016784 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25623] ppid=25494 vsize=14202692 memory=-8774313645642428999 CPUtime=8.38 cores=1,3,5,7
/proc/25499/task/25623/stat : 25623 (java) S 25494 25499 8289 0 -1 1077944384 27300 12727 0 0 826 4 4 4 20 0 17 0 112062054 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677795965024 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25624] ppid=25494 vsize=14202692 memory=4872558044660077418 CPUtime=2.65 cores=1,3,5,7
/proc/25499/task/25624/stat : 25624 (java) S 25494 25499 8289 0 -1 1077944384 12860 12727 0 0 253 4 4 4 20 0 17 0 112062054 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677794921200 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25626] ppid=25494 vsize=14202692 memory=4367136 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25626/stat : 25626 (java) S 25494 25499 8289 0 -1 1077944384 3 12727 0 0 0 0 4 4 20 0 17 0 112062054 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677793868896 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25627] ppid=25494 vsize=14202692 memory=11136 CPUtime=0.18 cores=1,3,5,7
/proc/25499/task/25627/stat : 25627 (java) S 25494 25499 8289 0 -1 1077944384 299 12727 0 0 4 6 4 4 20 0 17 0 112062058 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677792815408 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25777] ppid=25494 vsize=14202692 memory=5788 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25777/stat : 25777 (java) S 25494 25499 8289 0 -1 1077944384 191 12727 0 0 0 0 4 4 20 0 17 0 112084502 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677773684848 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25778] ppid=25494 vsize=14202692 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25778/stat : 25778 (java) S 25494 25499 8289 0 -1 1077944384 26 12727 0 0 0 0 4 4 20 0 17 0 112084503 14543556608 1092518 18446744073709551615 4194304 4196468 140725714711008 139677199922112 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
Current children cumulated CPU time: 257.58 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4370072 KiB

[startup+226.802 s]
/proc/loadavg: 2.04 1.62 1.90 6/218 25778
/proc/meminfo: memFree=25646952/32770624 swapFree=67108860/67108860
[pid=25499] ppid=25494 vsize=14202692 memory=4370348 CPUtime=259.11 cores=1,3,5,7
/proc/25499/stat : 25499 (java) S 25494 25499 8289 0 -1 1077944320 190546 12727 1 0 25673 230 4 4 20 0 17 0 112062022 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 140725714693552 139678322601719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
/proc/25499/statm: 3550673 1092587 3489 1 0 3539287 0
[pid=25499/tid=25602] ppid=25494 vsize=14202692 memory=288230617509003574 CPUtime=221.67 cores=1,3,5,7
/proc/25499/task/25602/stat : 25602 (java) S 25494 25499 8289 0 -1 1077944384 71997 12727 0 0 22109 50 4 4 20 0 17 0 112062048 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139678326839264 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25603] ppid=25494 vsize=14202692 memory=15825482134324680 CPUtime=4.45 cores=1,3,5,7
/proc/25499/task/25603/stat : 25603 (java) R 25494 25499 8289 0 -1 4202560 8799 12727 0 0 397 40 4 4 20 0 17 0 112062049 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139678257035936 139678307299311 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25605] ppid=25494 vsize=14202692 memory=2760 CPUtime=4.45 cores=1,3,5,7
/proc/25499/task/25605/stat : 25605 (java) R 25494 25499 8289 0 -1 4202560 7369 12727 0 0 396 41 4 4 20 0 17 0 112062049 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139678255983704 139678304198474 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25607] ppid=25494 vsize=14202692 memory=2492 CPUtime=4.48 cores=1,3,5,7
/proc/25499/task/25607/stat : 25607 (java) R 25494 25499 8289 0 -1 4202560 4519 12727 0 0 401 39 4 4 20 0 17 0 112062049 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139678254930960 139678304198481 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25609] ppid=25494 vsize=14202692 memory=1160 CPUtime=4.42 cores=1,3,5,7
/proc/25499/task/25609/stat : 25609 (java) R 25494 25499 8289 0 -1 4202560 7142 12727 0 0 394 40 4 4 20 0 17 0 112062049 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139678253878616 139678304198730 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25611] ppid=25494 vsize=14202692 memory=3112 CPUtime=0.52 cores=1,3,5,7
/proc/25499/task/25611/stat : 25611 (java) S 25494 25499 8289 0 -1 1077944384 19204 12727 0 0 43 1 4 4 20 0 17 0 112062050 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677801234864 139678322611925 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25614] ppid=25494 vsize=14202692 memory=4366776 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25614/stat : 25614 (java) S 25494 25499 8289 0 -1 1077944384 77 12727 0 0 0 0 4 4 20 0 17 0 112062051 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677800182720 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25616] ppid=25494 vsize=14202692 memory=4120 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25616/stat : 25616 (java) S 25494 25499 8289 0 -1 1077944384 65 12727 0 0 0 0 4 4 20 0 17 0 112062051 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677799130112 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25620] ppid=25494 vsize=14202692 memory=4076 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25620/stat : 25620 (java) S 25494 25499 8289 0 -1 1077944384 127 12727 0 0 0 0 4 4 20 0 17 0 112062054 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677798078672 139678322620315 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25622] ppid=25494 vsize=14202692 memory=4584 CPUtime=8.53 cores=1,3,5,7
/proc/25499/task/25622/stat : 25622 (java) S 25494 25499 8289 0 -1 1077944384 28409 12727 0 0 842 3 4 4 20 0 17 0 112062054 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677797016624 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25623] ppid=25494 vsize=14202692 memory=1156 CPUtime=8.38 cores=1,3,5,7
/proc/25499/task/25623/stat : 25623 (java) S 25494 25499 8289 0 -1 1077944384 27303 12727 0 0 826 4 4 4 20 0 17 0 112062054 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677795958736 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25624] ppid=25494 vsize=14202692 memory=2532 CPUtime=2.65 cores=1,3,5,7
/proc/25499/task/25624/stat : 25624 (java) S 25494 25499 8289 0 -1 1077944384 12860 12727 0 0 253 4 4 4 20 0 17 0 112062054 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677794921200 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25626] ppid=25494 vsize=14202692 memory=1323704 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25626/stat : 25626 (java) S 25494 25499 8289 0 -1 1077944384 3 12727 0 0 0 0 4 4 20 0 17 0 112062054 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677793868896 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25627] ppid=25494 vsize=14202692 memory=7236229500900889449 CPUtime=0.18 cores=1,3,5,7
/proc/25499/task/25627/stat : 25627 (java) S 25494 25499 8289 0 -1 1077944384 299 12727 0 0 4 6 4 4 20 0 17 0 112062058 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677792815408 139678322612866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25777] ppid=25494 vsize=14202692 memory=7236229500900889449 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25777/stat : 25777 (java) S 25494 25499 8289 0 -1 1077944384 191 12727 0 0 0 0 4 4 20 0 17 0 112084502 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677773684848 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
[pid=25499/tid=25778] ppid=25494 vsize=14202692 memory=7236229500900889449 CPUtime=0.08 cores=1,3,5,7
/proc/25499/task/25778/stat : 25778 (java) S 25494 25499 8289 0 -1 1077944384 26 12727 0 0 0 0 4 4 20 0 17 0 112084503 14543556608 1092587 18446744073709551615 4194304 4196468 140725714711008 139677199922112 139678322611925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24215552 140725714712496 140725714715281 140725714715281 140725714718671 0
Current children cumulated CPU time: 259.11 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4370348 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 226.843
CPU time (s): 259.202
CPU user time (s): 256.824
CPU system time (s): 2.37839
CPU usage (%): 114.265
Max. virtual memory (cumulated for all children) (KiB): 14202692
Max. memory (cumulated for all children) (KiB): 4370348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.824
system time used= 2.37839
maximum resident set size= 4371008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203276
page faults= 1
swaps= 0
block input operations= 16
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15097
involuntary context switches= 659


# summary of solver processes directly reported to runsolver:
#   pid: 25499
#   total CPU time (s): 259.202
#   total CPU user time (s): 256.824
#   total CPU system time (s): 2.37839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27558 second user time and 2.18231 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 18:27:00
IDJOB=4259732
IDBENCH=115575
IDSOLVER=2646
FILE ID=node133/4259732-1502642468
RUNJOBID= node133-1502641620-25474
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-10-5.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259732-1502642468/watcher-4259732-1502642468 -o /tmp/evaluation-result-4259732-1502642468/solver-4259732-1502642468 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312  bin/concrete HOME/instance-4259732-1502642468.xml

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

MD5SUM BENCH= 4d2827b08c954056751687426186d54f
RANDOM SEED=1599815427

node133.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.17
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.17
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.17
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.17
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:        31332556 kB
MemAvailable:   31965464 kB
Buffers:          235204 kB
Cached:           693704 kB
SwapCached:            0 kB
Active:           808328 kB
Inactive:         181580 kB
Active(anon):       2688 kB
Inactive(anon):   100820 kB
Active(file):     805640 kB
Inactive(file):    80760 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48712 kB
Writeback:             0 kB
AnonPages:         61980 kB
Mapped:            55868 kB
Shmem:             41660 kB
Slab:             152076 kB
SReclaimable:     124688 kB
SUnreclaim:        27388 kB
KernelStack:        3120 kB
PageTables:         4836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     315124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-13 18:30:47