Trace number 4274662

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
OscaR - Hybrid 2017-07-26? (TO) 2520.05 2512.9099

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-050-05-9.xml
MD5SUMb5db2d1209ce62208741c56e17334157
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2830
Best CPU time to get the best result obtained on this benchmark2400.12
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints305
Number of domains1
Minimum domain size2882
Maximum domain size2882
Distribution of domain sizes[{"size":2882,"count":300}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":250}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":50},{"arity":2,"count":250},{"arity":50,"count":5}]
Number of extensional constraints0
Number of intensional constraints300
Distribution of constraint types[{"type":"intension","count":300},{"type":"noOverlap","count":5}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.34/0.44	c version: 2017-07-26
0.34/0.44	c seed: 153764535
0.34/0.44	c timeout: 2520
0.34/0.44	c memlimit: 11000
0.34/0.44	c nbcore: 4
0.34/0.46	c Parsing instance...
1.73/1.19	c Parsing done, starting first complete search...
2520.03/2512.90	s UNKNOWN

Verifier Data


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 (14830 MiB free)
  memory of node 1: 16384 MiB (15217 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274662-1502666576/watcher-4274662-1502666576 -o /tmp/evaluation-result-4274662-1502666576/solver-4274662-1502666576 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 153764535 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274662-1502666576.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14695, runsolver pid=14692

[startup+0.100144 s]*
/proc/loadavg: 1.42 1.57 1.59 3/201 14697
/proc/meminfo: memFree=30766112/32770624 swapFree=67108860/67108860
[pid=14695] ppid=14692 vsize=13358552 memory=12820 CPUtime=0 cores=1,3,5,7
/proc/14695/stat : 14695 (java) S 14692 14695 12395 0 -1 1077944320 3044 0 0 0 0 0 0 0 20 0 6 0 108568990 13679157248 3205 18446744073709551615 4194304 4196468 140726684333968 140726684316512 140038417497847 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
/proc/14695/statm: 3339638 3205 1644 1 0 3329135 0
[pid=14695/tid=14697] ppid=14692 vsize=13358552 memory=-6081100216439771493 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14697/stat : 14697 (java) R 14692 14695 12395 0 -1 4202560 1926 0 0 0 0 0 0 0 20 0 6 0 108569000 13679157248 3403 18446744073709551615 4194304 4196468 140726684333968 140038421733968 140038402864224 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14698] ppid=14692 vsize=13358552 memory=5767616326423308681 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14698/stat : 14698 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 108569001 13679157248 3403 18446744073709551615 4194304 4196468 140726684333968 140038351931664 140038417508053 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14699] ppid=14692 vsize=13358552 memory=139936124778112 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14699/stat : 14699 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 108569001 13679157248 3403 18446744073709551615 4194304 4196468 140726684333968 140038350879120 140038417508053 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14700] ppid=14692 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14700/stat : 14700 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 108569001 13679157248 3469 18446744073709551615 4194304 4196468 140726684333968 140038349826576 140038417508053 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14701] ppid=14692 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14701/stat : 14701 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 108569001 13679157248 3469 18446744073709551615 4194304 4196468 140726684333968 140038014417552 140038417508053 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 12820 KiB

[startup+0.210128 s]*
/proc/loadavg: 1.42 1.57 1.59 2/213 14709
/proc/meminfo: memFree=30757896/32770624 swapFree=67108860/67108860
[pid=14695] ppid=14692 vsize=13906484 memory=22172 CPUtime=0.05 cores=1,3,5,7
/proc/14695/stat : 14695 (java) S 14692 14695 12395 0 -1 1077944320 5010 0 0 0 4 1 0 0 20 0 14 0 108568990 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140726684316512 140038417497847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
/proc/14695/statm: 3476621 5543 2580 1 0 3466118 0
[pid=14695/tid=14697] ppid=14692 vsize=13906484 memory=8113404536823914144 CPUtime=0.04 cores=1,3,5,7
/proc/14695/task/14697/stat : 14697 (java) D 14692 14695 12395 0 -1 4202560 3107 0 0 0 4 0 0 0 20 0 14 0 108569000 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140038421735328 140038417519869 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14698] ppid=14692 vsize=13906484 memory=732370074462231525 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14698/stat : 14698 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 108569001 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140038351931664 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14699] ppid=14692 vsize=13906484 memory=139936124778112 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14699/stat : 14699 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 108569001 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140038350879120 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14700] ppid=14692 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14700/stat : 14700 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 108569001 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140038349826576 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14701] ppid=14692 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14701/stat : 14701 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 108569001 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140038014417552 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14702] ppid=14692 vsize=13906484 memory=139936124778112 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14702/stat : 14702 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 108569002 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140037896583664 140038417508994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14703] ppid=14692 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14703/stat : 14703 (java) S 14692 14695 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 108569003 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140037895529888 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14704] ppid=14692 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14704/stat : 14704 (java) S 14692 14695 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 108569003 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140037894477296 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14705] ppid=14692 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14705/stat : 14705 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 108569005 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140037893425872 140038417516443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14706] ppid=14692 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14706/stat : 14706 (java) S 14692 14695 12395 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 14 0 108569005 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140037892372464 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14707] ppid=14692 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14707/stat : 14707 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 108569005 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140037891319920 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14708] ppid=14692 vsize=13906484 memory=139936124778112 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14708/stat : 14708 (java) S 14692 14695 12395 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 14 0 108569005 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140037890267376 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14709] ppid=14692 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14709/stat : 14709 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 108569005 14240239616 5543 18446744073709551615 4194304 4196468 140726684333968 140037889215072 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 22172 KiB

[startup+0.31225 s]*
/proc/loadavg: 1.42 1.57 1.59 3/214 14710
/proc/meminfo: memFree=30746464/32770624 swapFree=67108860/67108860
[pid=14695] ppid=14692 vsize=13975920 memory=36892 CPUtime=0.17 cores=1,3,5,7
/proc/14695/stat : 14695 (java) S 14692 14695 12395 0 -1 1077944320 9872 0 0 0 15 2 0 0 20 0 15 0 108568990 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140726684316512 140038417497847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
/proc/14695/statm: 3493980 9223 3473 1 0 3482759 0
[pid=14695/tid=14697] ppid=14692 vsize=13975920 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/14695/task/14697/stat : 14697 (java) R 14692 14695 12395 0 -1 4202560 7640 0 0 0 10 2 0 0 20 0 15 0 108569000 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140038421713424 140038417509782 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14698] ppid=14692 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14698/stat : 14698 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108569001 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140038351931664 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14699] ppid=14692 vsize=13975920 memory=1398720917958146503 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14699/stat : 14699 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108569001 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140038350879120 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14700] ppid=14692 vsize=13975920 memory=139936124785105 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14700/stat : 14700 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108569001 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140038349826576 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14701] ppid=14692 vsize=13975920 memory=139936124778112 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14701/stat : 14701 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108569001 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140038014417552 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14702] ppid=14692 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14702/stat : 14702 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108569002 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140037896583664 140038417508994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14703] ppid=14692 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14703/stat : 14703 (java) S 14692 14695 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108569003 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140037895529888 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14704] ppid=14692 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14704/stat : 14704 (java) S 14692 14695 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108569003 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140037894477296 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14705] ppid=14692 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14705/stat : 14705 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140037893425872 140038417516443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14706] ppid=14692 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14695/task/14706/stat : 14706 (java) S 14692 14695 12395 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 15 0 108569005 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140037892372464 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14707] ppid=14692 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14707/stat : 14707 (java) S 14692 14695 12395 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 108569005 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140037891319920 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14708] ppid=14692 vsize=13975920 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14695/task/14708/stat : 14708 (java) R 14692 14695 12395 0 -1 4202560 369 0 0 0 3 0 0 0 20 0 15 0 108569005 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140037890267376 140038396046902 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14709] ppid=14692 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14709/stat : 14709 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140037889215072 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14710] ppid=14692 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14710/stat : 14710 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108569015 14311342080 9223 18446744073709551615 4194304 4196468 140726684333968 140037888162608 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 36892 KiB

[startup+0.700737 s]
/proc/loadavg: 1.42 1.57 1.59 4/214 14710
/proc/meminfo: memFree=30733444/32770624 swapFree=67108860/67108860
[pid=14695] ppid=14692 vsize=13977988 memory=63700 CPUtime=0.86 cores=1,3,5,7
/proc/14695/stat : 14695 (java) S 14692 14695 12395 0 -1 1077944320 13614 0 0 0 81 5 0 0 20 0 15 0 108568990 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140726684316512 140038417497847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
/proc/14695/statm: 3494497 15925 3721 1 0 3483271 0
[pid=14695/tid=14697] ppid=14692 vsize=13977988 memory=6943526294502006880 CPUtime=0.49 cores=1,3,5,7
/proc/14695/task/14697/stat : 14697 (java) R 14692 14695 12395 0 -1 4202560 10313 0 0 0 46 3 0 0 20 0 15 0 108569000 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140038421733760 140038029851232 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14698] ppid=14692 vsize=13977988 memory=-7452431979323206951 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14698/stat : 14698 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108569001 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140038351931664 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14699] ppid=14692 vsize=13977988 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14699/stat : 14699 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108569001 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140038350879120 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14700] ppid=14692 vsize=13977988 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14700/stat : 14700 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108569001 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140038349826576 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14701] ppid=14692 vsize=13977988 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14701/stat : 14701 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108569001 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140038014417552 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14702] ppid=14692 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14702/stat : 14702 (java) S 14692 14695 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 108569002 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140037896583664 140038417508994 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14703] ppid=14692 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14703/stat : 14703 (java) S 14692 14695 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108569003 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140037895529888 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14704] ppid=14692 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14704/stat : 14704 (java) S 14692 14695 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108569003 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140037894477296 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14705] ppid=14692 vsize=13977988 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14705/stat : 14705 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140037893425872 140038417516443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14706] ppid=14692 vsize=13977988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14695/task/14706/stat : 14706 (java) S 14692 14695 12395 0 -1 1077944384 807 0 0 0 7 0 0 0 20 0 15 0 108569005 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140037892372464 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14707] ppid=14692 vsize=13977988 memory=664970774541740699 CPUtime=0.08 cores=1,3,5,7
/proc/14695/task/14707/stat : 14707 (java) S 14692 14695 12395 0 -1 1077944384 398 0 0 0 8 0 0 0 20 0 15 0 108569005 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140037891319920 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14708] ppid=14692 vsize=13977988 memory=6944656592387989600 CPUtime=0.18 cores=1,3,5,7
/proc/14695/task/14708/stat : 14708 (java) R 14692 14695 12395 0 -1 4202560 713 0 0 0 18 0 0 0 20 0 15 0 108569005 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140037890263056 140038396467363 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14709] ppid=14692 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14709/stat : 14709 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140037889215072 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14710] ppid=14692 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14710/stat : 14710 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108569015 14313459712 15925 18446744073709551615 4194304 4196468 140726684333968 140037888162608 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 63700 KiB

[startup+1.50133 s]
/proc/loadavg: 1.42 1.57 1.59 3/214 14710
/proc/meminfo: memFree=30701368/32770624 swapFree=67108860/67108860
[pid=14695] ppid=14692 vsize=13982084 memory=131176 CPUtime=2.94 cores=1,3,5,7
/proc/14695/stat : 14695 (java) S 14692 14695 12395 0 -1 1077944320 28433 0 0 0 285 9 0 0 20 0 15 0 108568990 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140726684316512 140038417497847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
/proc/14695/statm: 3495521 32794 3763 1 0 3484295 0
[pid=14695/tid=14697] ppid=14692 vsize=13982084 memory=7956843920311341676 CPUtime=1.29 cores=1,3,5,7
/proc/14695/task/14697/stat : 14697 (java) R 14692 14695 12395 0 -1 4202560 14215 0 0 0 124 5 0 0 20 0 15 0 108569000 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140038421732864 140038035651592 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14698] ppid=14692 vsize=13982084 memory=6084474501224293740 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14698/stat : 14698 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108569001 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140038351931664 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14699] ppid=14692 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14699/stat : 14699 (java) S 14692 14695 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108569001 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140038350879120 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14700] ppid=14692 vsize=13982084 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14700/stat : 14700 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108569001 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140038349826576 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14701] ppid=14692 vsize=13982084 memory=14695184197749125 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14701/stat : 14701 (java) S 14692 14695 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108569001 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140038014417552 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14702] ppid=14692 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14702/stat : 14702 (java) S 14692 14695 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 108569002 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140037896583664 140038417508994 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14703] ppid=14692 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14703/stat : 14703 (java) S 14692 14695 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108569003 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140037895529888 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14704] ppid=14692 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14704/stat : 14704 (java) S 14692 14695 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108569003 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140037894477296 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14705] ppid=14692 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14705/stat : 14705 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140037893425872 140038417516443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14706] ppid=14692 vsize=13982084 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/14695/task/14706/stat : 14706 (java) R 14692 14695 12395 0 -1 4202560 3936 0 0 0 52 1 0 0 20 0 15 0 108569005 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140037892363920 140038400983789 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14707] ppid=14692 vsize=13982084 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/14695/task/14707/stat : 14707 (java) R 14692 14695 12395 0 -1 4202560 2814 0 0 0 52 1 0 0 20 0 15 0 108569005 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140037891305944 140038394722000 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14708] ppid=14692 vsize=13982084 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/14695/task/14708/stat : 14708 (java) S 14692 14695 12395 0 -1 1077944384 6083 0 0 0 56 1 0 0 20 0 15 0 108569005 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140037890267376 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14709] ppid=14692 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14709/stat : 14709 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140037889215072 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14710] ppid=14692 vsize=13982084 memory=279872014809248 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14710/stat : 14710 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569015 14317654016 32794 18446744073709551615 4194304 4196468 140726684333968 140037888162608 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 131176 KiB


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

/proc/14695/task/14697/stat : 14697 (java) R 14692 14695 12395 0 -1 4202560 24331 0 0 0 243990 11 0 0 20 0 15 0 108569000 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038421736032 140038038161482 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14698] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.78 cores=1,3,5,7
/proc/14695/task/14698/stat : 14698 (java) S 14692 14695 12395 0 -1 1077944384 2552 0 0 0 71 7 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038351931664 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14699] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.77 cores=1,3,5,7
/proc/14695/task/14699/stat : 14699 (java) S 14692 14695 12395 0 -1 1077944384 2161 0 0 0 69 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038350879120 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14700] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.77 cores=1,3,5,7
/proc/14695/task/14700/stat : 14700 (java) S 14692 14695 12395 0 -1 1077944384 2740 0 0 0 69 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038349826576 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14701] ppid=14692 vsize=13982084 memory=192292 CPUtime=0.77 cores=1,3,5,7
/proc/14695/task/14701/stat : 14701 (java) S 14692 14695 12395 0 -1 1077944384 1212 0 0 0 69 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038014417552 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14702] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.9 cores=1,3,5,7
/proc/14695/task/14702/stat : 14702 (java) S 14692 14695 12395 0 -1 1077944384 5621 0 0 0 83 7 0 0 20 0 15 0 108569002 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037896583664 140038417508994 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14703] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14703/stat : 14703 (java) S 14692 14695 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 108569003 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037895529952 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14704] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14704/stat : 14704 (java) S 14692 14695 12395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 108569003 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037894477312 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14705] ppid=14692 vsize=13982084 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14705/stat : 14705 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037893425872 140038417516443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14706] ppid=14692 vsize=13982084 memory=53276 CPUtime=2.09 cores=1,3,5,7
/proc/14695/task/14706/stat : 14706 (java) S 14692 14695 12395 0 -1 1077944384 12051 0 0 0 207 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037892372464 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14707] ppid=14692 vsize=13982084 memory=194340 CPUtime=2.01 cores=1,3,5,7
/proc/14695/task/14707/stat : 14707 (java) S 14692 14695 12395 0 -1 1077944384 8342 0 0 0 199 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037891319920 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14708] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.67 cores=1,3,5,7
/proc/14695/task/14708/stat : 14708 (java) S 14692 14695 12395 0 -1 1077944384 9602 0 0 0 65 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037890267376 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14709] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14709/stat : 14709 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037889215072 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14710] ppid=14692 vsize=13982084 memory=53276 CPUtime=0.49 cores=1,3,5,7
/proc/14695/task/14710/stat : 14710 (java) S 14692 14695 12395 0 -1 1077944384 1154 0 0 0 19 30 0 0 20 0 15 0 108569015 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037888162608 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
Current children cumulated CPU time: 2449.35 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 194340 KiB

[startup+2502.3 s]
/proc/loadavg: 1.55 1.40 1.38 4/218 14950
/proc/meminfo: memFree=30605468/32770624 swapFree=67108860/67108860
[pid=14695] ppid=14692 vsize=13982084 memory=194340 CPUtime=2509.42 cores=1,3,5,7
/proc/14695/stat : 14695 (java) S 14692 14695 12395 0 -1 1077944320 71292 0 0 0 250872 70 0 0 20 0 15 0 108568990 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140726684316512 140038417497847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
/proc/14695/statm: 3495521 48585 3799 1 0 3484295 0
[pid=14695/tid=14697] ppid=14692 vsize=13982084 memory=194340 CPUtime=2499.95 cores=1,3,5,7
/proc/14695/task/14697/stat : 14697 (java) R 14692 14695 12395 0 -1 4202560 24377 0 0 0 249984 11 0 0 20 0 15 0 108569000 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038421736032 140038037982949 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14698] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.8 cores=1,3,5,7
/proc/14695/task/14698/stat : 14698 (java) S 14692 14695 12395 0 -1 1077944384 2552 0 0 0 73 7 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038351931664 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14699] ppid=14692 vsize=13982084 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/14695/task/14699/stat : 14699 (java) S 14692 14695 12395 0 -1 1077944384 2161 0 0 0 71 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038350879120 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14700] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.79 cores=1,3,5,7
/proc/14695/task/14700/stat : 14700 (java) S 14692 14695 12395 0 -1 1077944384 2742 0 0 0 71 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038349826576 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14701] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.79 cores=1,3,5,7
/proc/14695/task/14701/stat : 14701 (java) S 14692 14695 12395 0 -1 1077944384 1219 0 0 0 71 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038014417552 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14702] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.92 cores=1,3,5,7
/proc/14695/task/14702/stat : 14702 (java) S 14692 14695 12395 0 -1 1077944384 5625 0 0 0 85 7 0 0 20 0 15 0 108569002 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037896583664 140038417508994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14703] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14703/stat : 14703 (java) S 14692 14695 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 108569003 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037895529952 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14704] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14704/stat : 14704 (java) S 14692 14695 12395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 108569003 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037894477312 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14705] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14705/stat : 14705 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037893425872 140038417516443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14706] ppid=14692 vsize=13982084 memory=194340 CPUtime=2.09 cores=1,3,5,7
/proc/14695/task/14706/stat : 14706 (java) S 14692 14695 12395 0 -1 1077944384 12051 0 0 0 207 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037892372464 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14707] ppid=14692 vsize=13982084 memory=194340 CPUtime=2.01 cores=1,3,5,7
/proc/14695/task/14707/stat : 14707 (java) S 14692 14695 12395 0 -1 1077944384 8342 0 0 0 199 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037891319920 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14708] ppid=14692 vsize=13982084 memory=53300 CPUtime=0.67 cores=1,3,5,7
/proc/14695/task/14708/stat : 14708 (java) S 14692 14695 12395 0 -1 1077944384 9602 0 0 0 65 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037890267376 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14709] ppid=14692 vsize=13982084 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14709/stat : 14709 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037889215072 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14710] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.51 cores=1,3,5,7
/proc/14695/task/14710/stat : 14710 (java) S 14692 14695 12395 0 -1 1077944384 1158 0 0 0 20 31 0 0 20 0 15 0 108569015 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037888162608 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
Current children cumulated CPU time: 2509.42 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 194340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.9 s]
/proc/loadavg: 1.54 1.40 1.38 4/218 14951
/proc/meminfo: memFree=30605596/32770624 swapFree=67108860/67108860
[pid=14695] ppid=14692 vsize=13982084 memory=194340 CPUtime=2520.03 cores=1,3,5,7
/proc/14695/stat : 14695 (java) S 14692 14695 12395 0 -1 1077944320 71300 0 0 0 251933 70 0 0 20 0 15 0 108568990 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140726684316512 140038417497847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
/proc/14695/statm: 3495521 48585 3799 1 0 3484295 0
[pid=14695/tid=14697] ppid=14692 vsize=13982084 memory=194340 CPUtime=2510.55 cores=1,3,5,7
/proc/14695/task/14697/stat : 14697 (java) R 14692 14695 12395 0 -1 4202560 24385 0 0 0 251043 12 0 0 20 0 15 0 108569000 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038421735936 140038037072740 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14698] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.8 cores=1,3,5,7
/proc/14695/task/14698/stat : 14698 (java) S 14692 14695 12395 0 -1 1077944384 2552 0 0 0 73 7 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038351931664 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14699] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.79 cores=1,3,5,7
/proc/14695/task/14699/stat : 14699 (java) S 14692 14695 12395 0 -1 1077944384 2161 0 0 0 71 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038350879120 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14700] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.79 cores=1,3,5,7
/proc/14695/task/14700/stat : 14700 (java) S 14692 14695 12395 0 -1 1077944384 2742 0 0 0 71 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038349826576 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14701] ppid=14692 vsize=13982084 memory=1196 CPUtime=0.8 cores=1,3,5,7
/proc/14695/task/14701/stat : 14701 (java) S 14692 14695 12395 0 -1 1077944384 1219 0 0 0 72 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038014417552 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14702] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.93 cores=1,3,5,7
/proc/14695/task/14702/stat : 14702 (java) S 14692 14695 12395 0 -1 1077944384 5625 0 0 0 86 7 0 0 20 0 15 0 108569002 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037896583664 140038417508994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14703] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14703/stat : 14703 (java) S 14692 14695 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 108569003 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037895529952 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14704] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14704/stat : 14704 (java) S 14692 14695 12395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 108569003 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037894477312 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14705] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14705/stat : 14705 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037893425872 140038417516443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14706] ppid=14692 vsize=13982084 memory=194340 CPUtime=2.09 cores=1,3,5,7
/proc/14695/task/14706/stat : 14706 (java) S 14692 14695 12395 0 -1 1077944384 12051 0 0 0 207 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037892372464 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14707] ppid=14692 vsize=13982084 memory=194340 CPUtime=2.01 cores=1,3,5,7
/proc/14695/task/14707/stat : 14707 (java) S 14692 14695 12395 0 -1 1077944384 8342 0 0 0 199 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037891319920 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14708] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.67 cores=1,3,5,7
/proc/14695/task/14708/stat : 14708 (java) S 14692 14695 12395 0 -1 1077944384 9602 0 0 0 65 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037890267376 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14709] ppid=14692 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14709/stat : 14709 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037889215072 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14710] ppid=14692 vsize=13982084 memory=840 CPUtime=0.51 cores=1,3,5,7
/proc/14695/task/14710/stat : 14710 (java) S 14692 14695 12395 0 -1 1077944384 1158 0 0 0 20 31 0 0 20 0 15 0 108569015 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037888162608 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 194340 KiB

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

[startup+2512.91 s]
# the end of solver process 14695 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.34 s, system=0.71442 s

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

[startup+2512.9 s]
/proc/loadavg: 1.54 1.40 1.38 4/218 14951
/proc/meminfo: memFree=30605596/32770624 swapFree=67108860/67108860
[pid=14695] ppid=14692 vsize=13982084 memory=194340 CPUtime=2520.03 cores=1,3,5,7
/proc/14695/stat : 14695 (java) S 14692 14695 12395 0 -1 1077944320 71300 0 0 0 251933 70 0 0 20 0 15 0 108568990 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140726684316512 140038417497847 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
/proc/14695/statm: 3495521 48585 3799 1 0 3484295 0
[pid=14695/tid=14697] ppid=14692 vsize=13982084 memory=194340 CPUtime=2510.55 cores=1,3,5,7
/proc/14695/task/14697/stat : 14697 (java) R 14692 14695 12395 0 -1 4202560 24385 0 0 0 251043 12 0 0 20 0 15 0 108569000 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038421735936 140038037072740 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14698] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.8 cores=1,3,5,7
/proc/14695/task/14698/stat : 14698 (java) S 14692 14695 12395 0 -1 1077944384 2552 0 0 0 73 7 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038351931664 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14699] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.79 cores=1,3,5,7
/proc/14695/task/14699/stat : 14699 (java) S 14692 14695 12395 0 -1 1077944384 2161 0 0 0 71 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038350879120 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14700] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.79 cores=1,3,5,7
/proc/14695/task/14700/stat : 14700 (java) S 14692 14695 12395 0 -1 1077944384 2742 0 0 0 71 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038349826576 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14701] ppid=14692 vsize=13982084 memory=1196 CPUtime=0.8 cores=1,3,5,7
/proc/14695/task/14701/stat : 14701 (java) S 14692 14695 12395 0 -1 1077944384 1219 0 0 0 72 8 0 0 20 0 15 0 108569001 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140038014417552 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14702] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.93 cores=1,3,5,7
/proc/14695/task/14702/stat : 14702 (java) S 14692 14695 12395 0 -1 1077944384 5625 0 0 0 86 7 0 0 20 0 15 0 108569002 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037896583664 140038417508994 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14703] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14703/stat : 14703 (java) S 14692 14695 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 108569003 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037895529952 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14704] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14704/stat : 14704 (java) S 14692 14695 12395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 108569003 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037894477312 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14705] ppid=14692 vsize=13982084 memory=194340 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14705/stat : 14705 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037893425872 140038417516443 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14706] ppid=14692 vsize=13982084 memory=194340 CPUtime=2.09 cores=1,3,5,7
/proc/14695/task/14706/stat : 14706 (java) S 14692 14695 12395 0 -1 1077944384 12051 0 0 0 207 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037892372464 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14707] ppid=14692 vsize=13982084 memory=194340 CPUtime=2.01 cores=1,3,5,7
/proc/14695/task/14707/stat : 14707 (java) S 14692 14695 12395 0 -1 1077944384 8342 0 0 0 199 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037891319920 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14708] ppid=14692 vsize=13982084 memory=194340 CPUtime=0.67 cores=1,3,5,7
/proc/14695/task/14708/stat : 14708 (java) S 14692 14695 12395 0 -1 1077944384 9602 0 0 0 65 2 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037890267376 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14709] ppid=14692 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/14695/task/14709/stat : 14709 (java) S 14692 14695 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108569005 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037889215072 140038417508053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
[pid=14695/tid=14710] ppid=14692 vsize=13982084 memory=840 CPUtime=0.51 cores=1,3,5,7
/proc/14695/task/14710/stat : 14710 (java) S 14692 14695 12395 0 -1 1077944384 1158 0 0 0 20 31 0 0 20 0 15 0 108569015 14317654016 48585 18446744073709551615 4194304 4196468 140726684333968 140037888162608 140038417508994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37453824 140726684340595 140726684340777 140726684340777 140726684344271 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 194340 KiB

Child status: 143
Real time (s): 2512.91
CPU time (s): 2520.05
CPU user time (s): 2519.34
CPU system time (s): 0.71442
CPU usage (%): 100.284
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 239472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.34
system time used= 0.71442
maximum resident set size= 239472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81873
involuntary context switches= 3769


# summary of solver processes directly reported to runsolver:
#   pid: 14695
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.34
#   total CPU system time (s): 0.71442

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0344 second user time and 21.5166 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-14 01:09:03
IDJOB=4274662
IDBENCH=115608
IDSOLVER=2667
FILE ID=node135/4274662-1502666576
RUNJOBID= node135-1502658244-13745
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-050-05-9.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274662-1502666576/watcher-4274662-1502666576 -o /tmp/evaluation-result-4274662-1502666576/solver-4274662-1502666576 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 153764535 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274662-1502666576.xml

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

MD5SUM BENCH= b5db2d1209ce62208741c56e17334157
RANDOM SEED=153764535

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:        30770144 kB
MemAvailable:   31764980 kB
Buffers:          314972 kB
Cached:           976156 kB
SwapCached:            0 kB
Active:           987384 kB
Inactive:         564116 kB
Active(anon):     260868 kB
Inactive(anon):    41324 kB
Active(file):     726516 kB
Inactive(file):   522792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42332 kB
Writeback:            36 kB
AnonPages:        247884 kB
Mapped:            70392 kB
Shmem:             41656 kB
Slab:             150452 kB
SReclaimable:     122724 kB
SUnreclaim:        27728 kB
KernelStack:        3648 kB
PageTables:         5552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1169964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 61948 MiB
End job on node135 at 2017-08-14 01:50:56