Trace number 4257001

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 - Parallel with EPS 2017-07-26? (TO) 1921.08 252.80099

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-16-a3.xml
MD5SUM0e9e24bc5c9dc7ecc0ccfc6ea7d62ad7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark196
Best CPU time to get the best result obtained on this benchmark2000.05
Satisfiable
(Un)Satisfiability was proved
Number of variables272
Number of constraints123
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":120},{"size":501,"count":16}]
Minimum variable degree0
Maximum variable degree17
Distribution of variable degrees[{"degree":0,"count":136},{"degree":2,"count":120},{"degree":16,"count":14},{"degree":17,"count":2}]
Minimum constraint arity1
Maximum constraint arity120
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":120},{"arity":16,"count":1},{"arity":120,"count":1}]
Number of extensional constraints0
Number of intensional constraints121
Distribution of constraint types[{"type":"intension","count":121},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.23/0.38	c version: 2017-07-26
0.23/0.38	c seed: 1378340324
0.23/0.39	c timeout: 1920
0.23/0.39	c memlimit: 22000
0.23/0.39	c nbcore: 8
0.42/0.41	c Parsing instance...
0.98/0.72	c Parsing done, starting search...
1920.40/252.77	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257001-1501684739/watcher-4257001-1501684739 -o /tmp/evaluation-result-4257001-1501684739/solver-4257001-1501684739 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1378340324 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257001-1501684739.xml 

pid=19360
running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.91 8.56 7.89 2/173 19363
/proc/meminfo: memFree=31015052/32770624 swapFree=0/888656
[pid=19363] ppid=19360 vsize=23672 CPUtime=0 cores=0-7
/proc/19363/stat : 19363 (runsolver) D 19360 19363 31529 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 17098620 24240128 108 18446744073709551615 4194304 4338465 140726939566416 140726939564056 140218298172119 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 6811648 140726939574371 140726939574851 140726939574851 140726939578314 0
/proc/19363/statm: 5918 108 54 36 0 2156 0

[startup+0.100089 s]
/proc/loadavg: 8.91 8.56 7.89 2/173 19363
/proc/meminfo: memFree=31015052/32770624 swapFree=0/888656
[pid=19363] ppid=19360 vsize=25298128 CPUtime=0 cores=0-7
/proc/19363/stat : 19363 (java) S 19360 19363 31529 0 -1 1077944320 2548 0 0 0 0 0 0 0 20 0 10 0 17098620 25905283072 2680 18446744073709551615 4194304 4196468 140726284579840 140726284562384 140493301939959 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
/proc/19363/statm: 6324532 2680 1201 1 0 6314510 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25298128

[startup+0.20026 s]
/proc/loadavg: 8.91 8.56 7.89 2/173 19363
/proc/meminfo: memFree=31015052/32770624 swapFree=0/888656
[pid=19363] ppid=19360 vsize=25996604 CPUtime=0.07 cores=0-7
/proc/19363/stat : 19363 (java) S 19360 19363 31529 0 -1 1077944320 6301 0 0 0 5 2 0 0 20 0 20 0 17098620 26620522496 6463 18446744073709551615 4194304 4196468 140726284579840 140726284562384 140493301939959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
/proc/19363/statm: 6499151 6463 2866 1 0 6487938 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25996604

[startup+0.300237 s]
/proc/loadavg: 8.91 8.56 7.89 2/173 19363
/proc/meminfo: memFree=31015052/32770624 swapFree=0/888656
[pid=19363] ppid=19360 vsize=25996604 CPUtime=0.23 cores=0-7
/proc/19363/stat : 19363 (java) S 19360 19363 31529 0 -1 1077944320 10295 0 0 0 20 3 0 0 20 0 20 0 17098620 26620522496 9444 18446744073709551615 4194304 4196468 140726284579840 140726284562384 140493301939959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
/proc/19363/statm: 6499151 9444 3480 1 0 6487938 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 25996604

[startup+0.700235 s]
/proc/loadavg: 8.91 8.56 7.89 2/173 19363
/proc/meminfo: memFree=31015052/32770624 swapFree=0/888656
[pid=19363] ppid=19360 vsize=25998672 CPUtime=0.98 cores=0-7
/proc/19363/stat : 19363 (java) S 19360 19363 31529 0 -1 1077944320 14109 0 0 0 92 6 0 0 20 0 20 0 17098620 26622640128 16348 18446744073709551615 4194304 4196468 140726284579840 140726284562384 140493301939959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
/proc/19363/statm: 6499668 16348 3707 1 0 6488450 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 25998672

[startup+1.50078 s]
/proc/loadavg: 8.91 8.56 7.89 4/193 19384
/proc/meminfo: memFree=30892856/32770624 swapFree=0/888668
[pid=19363] ppid=19360 vsize=26002768 CPUtime=3.18 cores=0-7
/proc/19363/stat : 19363 (java) S 19360 19363 31529 0 -1 1077944320 30439 0 0 0 306 12 0 0 20 0 20 0 17098620 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140726284562384 140493301939959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
/proc/19363/statm: 6500692 54774 3762 1 0 6489474 0
[pid=19363/tid=19365] ppid=19360 vsize=26002768 CPUtime=1.34 cores=0-7
/proc/19363/task/19365/stat : 19365 (java) R 19360 19363 31529 0 -1 4202560 14095 0 0 0 127 7 0 0 20 0 20 0 17098629 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140493306176272 140492897179196 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19366] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19366/stat : 19366 (java) S 19360 19363 31529 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 17098629 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140493213846288 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19367] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19367/stat : 19367 (java) S 19360 19363 31529 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 17098629 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492863277968 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19368] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19368/stat : 19368 (java) S 19360 19363 31529 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 17098630 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492862225424 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19369] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19369/stat : 19369 (java) S 19360 19363 31529 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 20 0 17098630 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492861172880 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19370] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19370/stat : 19370 (java) S 19360 19363 31529 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 17098630 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492860119312 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19371] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19371/stat : 19371 (java) S 19360 19363 31529 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 17098630 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492859066768 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19372] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19372/stat : 19372 (java) S 19360 19363 31529 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 17098630 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492858014224 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19373] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19373/stat : 19373 (java) S 19360 19363 31529 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 20 0 17098630 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492856961680 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19374] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19374/stat : 19374 (java) S 19360 19363 31529 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 17098631 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492815399408 140493301951106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19375] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19375/stat : 19375 (java) S 19360 19363 31529 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 17098631 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492814345696 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19376] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19376/stat : 19376 (java) S 19360 19363 31529 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 17098632 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492813293056 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19377] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19377/stat : 19377 (java) S 19360 19363 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17098634 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492812241616 140493301958555 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19378] ppid=19360 vsize=26002768 CPUtime=0.37 cores=0-7
/proc/19363/task/19378/stat : 19378 (java) S 19360 19363 31529 0 -1 1077944384 2503 0 0 0 37 0 0 0 20 0 20 0 17098634 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492811188208 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19379] ppid=19360 vsize=26002768 CPUtime=0.43 cores=0-7
/proc/19363/task/19379/stat : 19379 (java) S 19360 19363 31529 0 -1 1077944384 2012 0 0 0 43 0 0 0 20 0 20 0 17098634 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492563048560 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19380] ppid=19360 vsize=26002768 CPUtime=0.47 cores=0-7
/proc/19363/task/19380/stat : 19380 (java) S 19360 19363 31529 0 -1 1077944384 2304 0 0 0 46 1 0 0 20 0 20 0 17098634 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492561996016 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19381] ppid=19360 vsize=26002768 CPUtime=0.48 cores=0-7
/proc/19363/task/19381/stat : 19381 (java) S 19360 19363 31529 0 -1 1077944384 7506 0 0 0 47 1 0 0 20 0 20 0 17098634 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492560943472 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19382] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19382/stat : 19382 (java) S 19360 19363 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17098634 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492559891168 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19383] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19383/stat : 19383 (java) S 19360 19363 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17098639 26626834432 54774 18446744073709551615 4194304 4196468 140726284579840 140492558838704 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 26002768

[startup+3.10073 s]
/proc/loadavg: 8.91 8.56 7.89 2/192 19384
/proc/meminfo: memFree=30794892/32770624 swapFree=0/888668
[pid=19363] ppid=19360 vsize=26002768 CPUtime=5.2 cores=0-7
/proc/19363/stat : 19363 (java) S 19360 19363 31529 0 -1 1077944320 33042 0 0 0 501 19 0 0 20 0 20 0 17098620 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140726284562384 140493301939959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
/proc/19363/statm: 6500692 88893 3773 1 0 6489474 0
[pid=19363/tid=19365] ppid=19360 vsize=26002768 CPUtime=2.92 cores=0-7
/proc/19363/task/19365/stat : 19365 (java) R 19360 19363 31529 0 -1 4202560 14627 0 0 0 283 9 0 0 20 0 20 0 17098629 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140493306175968 140492899191176 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19366] ppid=19360 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/19363/task/19366/stat : 19366 (java) S 19360 19363 31529 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 17098629 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140493213846288 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19367] ppid=19360 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/19363/task/19367/stat : 19367 (java) S 19360 19363 31529 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 17098629 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492863277968 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19368] ppid=19360 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/19363/task/19368/stat : 19368 (java) S 19360 19363 31529 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 17098630 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492862225424 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19369] ppid=19360 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/19363/task/19369/stat : 19369 (java) S 19360 19363 31529 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 17098630 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492861172880 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19370] ppid=19360 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/19363/task/19370/stat : 19370 (java) S 19360 19363 31529 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 20 0 17098630 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492860119312 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19371] ppid=19360 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/19363/task/19371/stat : 19371 (java) S 19360 19363 31529 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 20 0 17098630 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492859066768 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19372] ppid=19360 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/19363/task/19372/stat : 19372 (java) S 19360 19363 31529 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 20 0 17098630 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492858014224 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19373] ppid=19360 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/19363/task/19373/stat : 19373 (java) S 19360 19363 31529 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 20 0 17098630 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492856961680 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19374] ppid=19360 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/19363/task/19374/stat : 19374 (java) S 19360 19363 31529 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 20 0 17098631 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492815399408 140493301951106 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19375] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19375/stat : 19375 (java) S 19360 19363 31529 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 17098631 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492814345696 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19376] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19376/stat : 19376 (java) S 19360 19363 31529 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 17098632 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492813293056 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19377] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19377/stat : 19377 (java) S 19360 19363 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17098634 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492812241616 140493301958555 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19378] ppid=19360 vsize=26002768 CPUtime=0.48 cores=0-7
/proc/19363/task/19378/stat : 19378 (java) S 19360 19363 31529 0 -1 1077944384 3039 0 0 0 47 1 0 0 20 0 20 0 17098634 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492811188208 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19379] ppid=19360 vsize=26002768 CPUtime=0.49 cores=0-7
/proc/19363/task/19379/stat : 19379 (java) S 19360 19363 31529 0 -1 1077944384 2071 0 0 0 49 0 0 0 20 0 20 0 17098634 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492563048560 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19380] ppid=19360 vsize=26002768 CPUtime=0.59 cores=0-7
/proc/19363/task/19380/stat : 19380 (java) S 19360 19363 31529 0 -1 1077944384 2565 0 0 0 58 1 0 0 20 0 20 0 17098634 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492561996016 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19381] ppid=19360 vsize=26002768 CPUtime=0.52 cores=0-7
/proc/19363/task/19381/stat : 19381 (java) S 19360 19363 31529 0 -1 1077944384 7685 0 0 0 51 1 0 0 20 0 20 0 17098634 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492560943472 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19382] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19382/stat : 19382 (java) S 19360 19363 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17098634 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492559891168 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19383] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19383/stat : 19383 (java) S 19360 19363 31529 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 17098639 26626834432 88893 18446744073709551615 4194304 4196468 140726284579840 140492558838704 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 26002768

[startup+6.3008 s]
/proc/loadavg: 8.36 8.45 7.86 2/192 19384
/proc/meminfo: memFree=30404188/32770624 swapFree=0/888664
[pid=19363] ppid=19360 vsize=26002768 CPUtime=8.72 cores=0-7
/proc/19363/stat : 19363 (java) S 19360 19363 31529 0 -1 1077944320 33945 0 0 0 842 30 0 0 20 0 20 0 17098620 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140726284562384 140493301939959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
/proc/19363/statm: 6500692 155849 3774 1 0 6489474 0
[pid=19363/tid=19365] ppid=19360 vsize=26002768 CPUtime=6.09 cores=0-7
/proc/19363/task/19365/stat : 19365 (java) R 19360 19363 31529 0 -1 4202560 14781 0 0 0 596 13 0 0 20 0 20 0 17098629 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140493306175920 140492898962306 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19366] ppid=19360 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/19363/task/19366/stat : 19366 (java) S 19360 19363 31529 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 20 0 17098629 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140493213846288 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19367] ppid=19360 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/19363/task/19367/stat : 19367 (java) S 19360 19363 31529 0 -1 1077944384 71 0 0 0 2 1 0 0 20 0 20 0 17098629 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492863277968 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19368] ppid=19360 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/19363/task/19368/stat : 19368 (java) S 19360 19363 31529 0 -1 1077944384 54 0 0 0 2 1 0 0 20 0 20 0 17098630 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492862225424 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19369] ppid=19360 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/19363/task/19369/stat : 19369 (java) S 19360 19363 31529 0 -1 1077944384 228 0 0 0 2 1 0 0 20 0 20 0 17098630 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492861172880 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19370] ppid=19360 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/19363/task/19370/stat : 19370 (java) S 19360 19363 31529 0 -1 1077944384 535 0 0 0 2 1 0 0 20 0 20 0 17098630 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492860119312 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19371] ppid=19360 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/19363/task/19371/stat : 19371 (java) S 19360 19363 31529 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 20 0 17098630 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492859066768 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19372] ppid=19360 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/19363/task/19372/stat : 19372 (java) S 19360 19363 31529 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 20 0 17098630 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492858014224 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19373] ppid=19360 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/19363/task/19373/stat : 19373 (java) S 19360 19363 31529 0 -1 1077944384 201 0 0 0 2 1 0 0 20 0 20 0 17098630 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492856961680 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19374] ppid=19360 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/19363/task/19374/stat : 19374 (java) S 19360 19363 31529 0 -1 1077944384 686 0 0 0 1 0 0 0 20 0 20 0 17098631 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492815399408 140493301951106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19375] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19375/stat : 19375 (java) S 19360 19363 31529 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 17098631 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492814345696 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19376] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19376/stat : 19376 (java) S 19360 19363 31529 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 17098632 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492813293056 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19377] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7
/proc/19363/task/19377/stat : 19377 (java) S 19360 19363 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17098634 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492812241616 140493301958555 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19378] ppid=19360 vsize=26002768 CPUtime=0.5 cores=0-7
/proc/19363/task/19378/stat : 19378 (java) S 19360 19363 31529 0 -1 1077944384 3069 0 0 0 49 1 0 0 20 0 20 0 17098634 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492811188208 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19379] ppid=19360 vsize=26002768 CPUtime=0.58 cores=0-7
/proc/19363/task/19379/stat : 19379 (java) S 19360 19363 31529 0 -1 1077944384 2235 0 0 0 58 0 0 0 20 0 20 0 17098634 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492563048560 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19380] ppid=19360 vsize=26002768 CPUtime=0.64 cores=0-7
/proc/19363/task/19380/stat : 19380 (java) S 19360 19363 31529 0 -1 1077944384 2622 0 0 0 63 1 0 0 20 0 20 0 17098634 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492561996016 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19381] ppid=19360 vsize=26002768 CPUtime=0.53 cores=0-7
/proc/19363/task/19381/stat : 19381 (java) S 19360 19363 31529 0 -1 1077944384 7772 0 0 0 52 1 0 0 20 0 20 0 17098634 26626834432 155849 18446744073709551615 4194304 4196468 140726284579840 140492560943472 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19382] ppid=19360 vsize=26002768 CPUtime=0 cores=0-7

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

/proc/19363/stat : 19363 (java) S 19360 19363 31529 0 -1 1077944320 238030 0 0 0 191825 215 0 0 20 0 37 0 17098620 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140726284562384 140493301939959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
/proc/19363/statm: 6785134 470454 3795 1 0 6773395 0
[pid=19363/tid=19365] ppid=19360 vsize=27140536 CPUtime=11.93 cores=0-7
/proc/19363/task/19365/stat : 19365 (java) S 19360 19363 31529 0 -1 1077944384 18123 0 0 0 1171 22 0 0 20 0 37 0 17098629 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140493306177664 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19366] ppid=19360 vsize=27140536 CPUtime=0.81 cores=0-7
/proc/19363/task/19366/stat : 19366 (java) S 19360 19363 31529 0 -1 1077944384 12567 0 0 0 70 11 0 0 20 0 37 0 17098629 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140493213846288 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19367] ppid=19360 vsize=27140536 CPUtime=0.82 cores=0-7
/proc/19363/task/19367/stat : 19367 (java) S 19360 19363 31529 0 -1 1077944384 11207 0 0 0 69 13 0 0 20 0 37 0 17098629 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492863277968 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19368] ppid=19360 vsize=27140536 CPUtime=0.82 cores=0-7
/proc/19363/task/19368/stat : 19368 (java) S 19360 19363 31529 0 -1 1077944384 8571 0 0 0 70 12 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492862225424 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19369] ppid=19360 vsize=27140536 CPUtime=0.81 cores=0-7
/proc/19363/task/19369/stat : 19369 (java) S 19360 19363 31529 0 -1 1077944384 10203 0 0 0 70 11 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492861172880 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19370] ppid=19360 vsize=27140536 CPUtime=0.81 cores=0-7
/proc/19363/task/19370/stat : 19370 (java) S 19360 19363 31529 0 -1 1077944384 13789 0 0 0 69 12 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492860119312 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19371] ppid=19360 vsize=27140536 CPUtime=0.8 cores=0-7
/proc/19363/task/19371/stat : 19371 (java) S 19360 19363 31529 0 -1 1077944384 11387 0 0 0 69 11 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492859066768 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19372] ppid=19360 vsize=27140536 CPUtime=0.81 cores=0-7
/proc/19363/task/19372/stat : 19372 (java) S 19360 19363 31529 0 -1 1077944384 9611 0 0 0 69 12 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492858014224 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19373] ppid=19360 vsize=27140536 CPUtime=0.8 cores=0-7
/proc/19363/task/19373/stat : 19373 (java) S 19360 19363 31529 0 -1 1077944384 10794 0 0 0 68 12 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492856961680 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19374] ppid=19360 vsize=27140536 CPUtime=0.78 cores=0-7
/proc/19363/task/19374/stat : 19374 (java) S 19360 19363 31529 0 -1 1077944384 21846 0 0 0 65 13 0 0 20 0 37 0 17098631 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492815399408 140493301951106 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19375] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19375/stat : 19375 (java) S 19360 19363 31529 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 37 0 17098631 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492814345696 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19376] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19376/stat : 19376 (java) S 19360 19363 31529 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 37 0 17098632 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492813293056 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19377] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19377/stat : 19377 (java) S 19360 19363 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492812241616 140493301958555 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19378] ppid=19360 vsize=27140536 CPUtime=1.13 cores=0-7
/proc/19363/task/19378/stat : 19378 (java) S 19360 19363 31529 0 -1 1077944384 7385 0 0 0 111 2 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492811188208 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19379] ppid=19360 vsize=27140536 CPUtime=1.25 cores=0-7
/proc/19363/task/19379/stat : 19379 (java) S 19360 19363 31529 0 -1 1077944384 6994 0 0 0 124 1 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492563048560 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19380] ppid=19360 vsize=27140536 CPUtime=1.24 cores=0-7
/proc/19363/task/19380/stat : 19380 (java) S 19360 19363 31529 0 -1 1077944384 4775 0 0 0 123 1 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492561996016 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19381] ppid=19360 vsize=27140536 CPUtime=0.79 cores=0-7
/proc/19363/task/19381/stat : 19381 (java) S 19360 19363 31529 0 -1 1077944384 12524 0 0 0 77 2 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492560943472 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19382] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19382/stat : 19382 (java) S 19360 19363 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492559891168 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19383] ppid=19360 vsize=27140536 CPUtime=0.06 cores=0-7
/proc/19363/task/19383/stat : 19383 (java) S 19360 19363 31529 0 -1 1077944384 1842 0 0 0 1 5 0 0 20 0 37 0 17098639 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492558838704 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19385] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19385/stat : 19385 (java) S 19360 19363 31529 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 37 0 17099814 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492548551936 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19386] ppid=19360 vsize=27140536 CPUtime=0.23 cores=0-7
/proc/19363/task/19386/stat : 19386 (java) S 19360 19363 31529 0 -1 1077944384 5723 0 0 0 9 14 0 0 20 0 37 0 17099826 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492545402416 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19387] ppid=19360 vsize=27140536 CPUtime=0.1 cores=0-7
/proc/19363/task/19387/stat : 19387 (java) S 19360 19363 31529 0 -1 1077944384 189 0 0 0 10 0 0 0 20 0 37 0 17099835 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492544348848 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19388] ppid=19360 vsize=27140536 CPUtime=237.22 cores=0-7
/proc/19363/task/19388/stat : 19388 (java) R 19360 19363 31529 0 -1 4202560 7899 0 0 0 23716 6 0 0 20 0 37 0 17099836 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492473879040 140492902902977 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19389] ppid=19360 vsize=27140536 CPUtime=0.11 cores=0-7
/proc/19363/task/19389/stat : 19389 (java) S 19360 19363 31529 0 -1 1077944384 71 0 0 0 11 0 0 0 20 0 37 0 17099837 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492472832928 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19390] ppid=19360 vsize=27140536 CPUtime=236.87 cores=0-7
/proc/19363/task/19390/stat : 19390 (java) R 19360 19363 31529 0 -1 4202560 8817 0 0 0 23676 11 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492471773992 140492902938428 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19391] ppid=19360 vsize=27140536 CPUtime=237.05 cores=0-7
/proc/19363/task/19391/stat : 19391 (java) R 19360 19363 31529 0 -1 4202560 9009 0 0 0 23699 6 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492470721400 140492902754105 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19392] ppid=19360 vsize=27140536 CPUtime=237.06 cores=0-7
/proc/19363/task/19392/stat : 19392 (java) R 19360 19363 31529 0 -1 4202560 8141 0 0 0 23697 9 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492469668704 140492898893827 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19393] ppid=19360 vsize=27140536 CPUtime=237.04 cores=0-7
/proc/19363/task/19393/stat : 19393 (java) R 19360 19363 31529 0 -1 4202560 10274 0 0 0 23698 6 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492468619056 140492902919298 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19394] ppid=19360 vsize=27140536 CPUtime=237.35 cores=0-7
/proc/19363/task/19394/stat : 19394 (java) R 19360 19363 31529 0 -1 4202560 9318 0 0 0 23729 6 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492467563800 140492902754058 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19395] ppid=19360 vsize=27140536 CPUtime=236.87 cores=0-7
/proc/19363/task/19395/stat : 19395 (java) R 19360 19363 31529 0 -1 4202560 7908 0 0 0 23677 10 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492466510112 140492902842698 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19396] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19396/stat : 19396 (java) S 19360 19363 31529 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 37 0 17099840 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492465464096 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19397] ppid=19360 vsize=27140536 CPUtime=236.58 cores=0-7
/proc/19363/task/19397/stat : 19397 (java) R 19360 19363 31529 0 -1 4202560 7296 0 0 0 23647 11 0 0 20 0 37 0 17099856 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492464405568 140492902902986 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19398] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19398/stat : 19398 (java) S 19360 19363 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 37 0 17099857 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492463359008 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19399] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19399/stat : 19399 (java) S 19360 19363 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 37 0 17099857 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492462306464 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19400] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19400/stat : 19400 (java) S 19360 19363 31529 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 37 0 17099857 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492461253936 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19401] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19401/stat : 19401 (java) S 19360 19363 31529 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 37 0 17099857 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492460201392 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
Current children cumulated CPU time (s) 1920.4
Current children cumulated vsize (KiB) 27140536

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

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

[startup+252.702 s]
/proc/loadavg: 9.12 8.77 8.12 9/208 19406
/proc/meminfo: memFree=29146724/32770624 swapFree=0/888740
[pid=19363] ppid=19360 vsize=27140536 CPUtime=1920.4 cores=0-7
/proc/19363/stat : 19363 (java) S 19360 19363 31529 0 -1 1077944320 238030 0 0 0 191825 215 0 0 20 0 37 0 17098620 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140726284562384 140493301939959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
/proc/19363/statm: 6785134 470454 3795 1 0 6773395 0
[pid=19363/tid=19365] ppid=19360 vsize=27140536 CPUtime=11.93 cores=0-7
/proc/19363/task/19365/stat : 19365 (java) S 19360 19363 31529 0 -1 1077944384 18123 0 0 0 1171 22 0 0 20 0 37 0 17098629 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140493306177664 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19366] ppid=19360 vsize=27140536 CPUtime=0.81 cores=0-7
/proc/19363/task/19366/stat : 19366 (java) S 19360 19363 31529 0 -1 1077944384 12567 0 0 0 70 11 0 0 20 0 37 0 17098629 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140493213846288 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19367] ppid=19360 vsize=27140536 CPUtime=0.82 cores=0-7
/proc/19363/task/19367/stat : 19367 (java) S 19360 19363 31529 0 -1 1077944384 11207 0 0 0 69 13 0 0 20 0 37 0 17098629 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492863277968 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19368] ppid=19360 vsize=27140536 CPUtime=0.82 cores=0-7
/proc/19363/task/19368/stat : 19368 (java) S 19360 19363 31529 0 -1 1077944384 8571 0 0 0 70 12 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492862225424 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19369] ppid=19360 vsize=27140536 CPUtime=0.81 cores=0-7
/proc/19363/task/19369/stat : 19369 (java) S 19360 19363 31529 0 -1 1077944384 10203 0 0 0 70 11 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492861172880 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19370] ppid=19360 vsize=27140536 CPUtime=0.81 cores=0-7
/proc/19363/task/19370/stat : 19370 (java) S 19360 19363 31529 0 -1 1077944384 13789 0 0 0 69 12 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492860119312 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19371] ppid=19360 vsize=27140536 CPUtime=0.8 cores=0-7
/proc/19363/task/19371/stat : 19371 (java) S 19360 19363 31529 0 -1 1077944384 11387 0 0 0 69 11 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492859066768 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19372] ppid=19360 vsize=27140536 CPUtime=0.81 cores=0-7
/proc/19363/task/19372/stat : 19372 (java) S 19360 19363 31529 0 -1 1077944384 9611 0 0 0 69 12 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492858014224 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19373] ppid=19360 vsize=27140536 CPUtime=0.8 cores=0-7
/proc/19363/task/19373/stat : 19373 (java) S 19360 19363 31529 0 -1 1077944384 10794 0 0 0 68 12 0 0 20 0 37 0 17098630 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492856961680 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19374] ppid=19360 vsize=27140536 CPUtime=0.78 cores=0-7
/proc/19363/task/19374/stat : 19374 (java) S 19360 19363 31529 0 -1 1077944384 21846 0 0 0 65 13 0 0 20 0 37 0 17098631 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492815399408 140493301951106 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19375] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19375/stat : 19375 (java) S 19360 19363 31529 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 37 0 17098631 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492814345696 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19376] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19376/stat : 19376 (java) S 19360 19363 31529 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 37 0 17098632 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492813293056 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19377] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19377/stat : 19377 (java) S 19360 19363 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492812241616 140493301958555 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19378] ppid=19360 vsize=27140536 CPUtime=1.13 cores=0-7
/proc/19363/task/19378/stat : 19378 (java) S 19360 19363 31529 0 -1 1077944384 7385 0 0 0 111 2 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492811188208 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19379] ppid=19360 vsize=27140536 CPUtime=1.25 cores=0-7
/proc/19363/task/19379/stat : 19379 (java) S 19360 19363 31529 0 -1 1077944384 6994 0 0 0 124 1 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492563048560 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19380] ppid=19360 vsize=27140536 CPUtime=1.24 cores=0-7
/proc/19363/task/19380/stat : 19380 (java) S 19360 19363 31529 0 -1 1077944384 4775 0 0 0 123 1 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492561996016 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19381] ppid=19360 vsize=27140536 CPUtime=0.79 cores=0-7
/proc/19363/task/19381/stat : 19381 (java) S 19360 19363 31529 0 -1 1077944384 12524 0 0 0 77 2 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492560943472 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19382] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19382/stat : 19382 (java) S 19360 19363 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 37 0 17098634 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492559891168 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19383] ppid=19360 vsize=27140536 CPUtime=0.06 cores=0-7
/proc/19363/task/19383/stat : 19383 (java) S 19360 19363 31529 0 -1 1077944384 1842 0 0 0 1 5 0 0 20 0 37 0 17098639 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492558838704 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19385] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19385/stat : 19385 (java) S 19360 19363 31529 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 37 0 17099814 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492548551936 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19386] ppid=19360 vsize=27140536 CPUtime=0.23 cores=0-7
/proc/19363/task/19386/stat : 19386 (java) S 19360 19363 31529 0 -1 1077944384 5723 0 0 0 9 14 0 0 20 0 37 0 17099826 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492545402416 140493301951106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19387] ppid=19360 vsize=27140536 CPUtime=0.1 cores=0-7
/proc/19363/task/19387/stat : 19387 (java) S 19360 19363 31529 0 -1 1077944384 189 0 0 0 10 0 0 0 20 0 37 0 17099835 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492544348848 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19388] ppid=19360 vsize=27140536 CPUtime=237.22 cores=0-7
/proc/19363/task/19388/stat : 19388 (java) R 19360 19363 31529 0 -1 4202560 7899 0 0 0 23716 6 0 0 20 0 37 0 17099836 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492473879040 140492902902977 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19389] ppid=19360 vsize=27140536 CPUtime=0.11 cores=0-7
/proc/19363/task/19389/stat : 19389 (java) S 19360 19363 31529 0 -1 1077944384 71 0 0 0 11 0 0 0 20 0 37 0 17099837 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492472832928 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19390] ppid=19360 vsize=27140536 CPUtime=236.87 cores=0-7
/proc/19363/task/19390/stat : 19390 (java) R 19360 19363 31529 0 -1 4202560 8817 0 0 0 23676 11 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492471773992 140492902938428 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19391] ppid=19360 vsize=27140536 CPUtime=237.05 cores=0-7
/proc/19363/task/19391/stat : 19391 (java) R 19360 19363 31529 0 -1 4202560 9009 0 0 0 23699 6 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492470721400 140492902754105 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19392] ppid=19360 vsize=27140536 CPUtime=237.06 cores=0-7
/proc/19363/task/19392/stat : 19392 (java) R 19360 19363 31529 0 -1 4202560 8141 0 0 0 23697 9 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492469668704 140492898893827 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19393] ppid=19360 vsize=27140536 CPUtime=237.04 cores=0-7
/proc/19363/task/19393/stat : 19393 (java) R 19360 19363 31529 0 -1 4202560 10274 0 0 0 23698 6 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492468619056 140492902919298 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19394] ppid=19360 vsize=27140536 CPUtime=237.35 cores=0-7
/proc/19363/task/19394/stat : 19394 (java) R 19360 19363 31529 0 -1 4202560 9318 0 0 0 23729 6 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492467563800 140492902754058 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19395] ppid=19360 vsize=27140536 CPUtime=236.87 cores=0-7
/proc/19363/task/19395/stat : 19395 (java) R 19360 19363 31529 0 -1 4202560 7908 0 0 0 23677 10 0 0 20 0 37 0 17099839 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492466510112 140492902842698 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19396] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19396/stat : 19396 (java) S 19360 19363 31529 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 37 0 17099840 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492465464096 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19397] ppid=19360 vsize=27140536 CPUtime=236.58 cores=0-7
/proc/19363/task/19397/stat : 19397 (java) R 19360 19363 31529 0 -1 4202560 7296 0 0 0 23647 11 0 0 20 0 37 0 17099856 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492464405568 140492902902986 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19398] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19398/stat : 19398 (java) S 19360 19363 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 37 0 17099857 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492463359008 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19399] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19399/stat : 19399 (java) S 19360 19363 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 37 0 17099857 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492462306464 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19400] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19400/stat : 19400 (java) S 19360 19363 31529 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 37 0 17099857 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492461253936 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
[pid=19363/tid=19401] ppid=19360 vsize=27140536 CPUtime=0 cores=0-7
/proc/19363/task/19401/stat : 19401 (java) S 19360 19363 31529 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 37 0 17099857 27791908864 470454 18446744073709551615 4194304 4196468 140726284579840 140492460201392 140493301950165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31543296 140726284583311 140726284583496 140726284583496 140726284586959 0
Current children cumulated CPU time (s) 1920.4
Current children cumulated vsize (KiB) 27140536

Child status: 143
Real time (s): 252.801
CPU time (s): 1921.08
CPU user time (s): 1918.91
CPU system time (s): 2.17106
CPU usage (%): 759.915
Max. virtual memory (cumulated for all children) (KiB): 27140536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1918.91
system time used= 2.17106
maximum resident set size= 1882772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88543
involuntary context switches= 41152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.91932 second user time and 2.32375 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 16:25:00
IDJOB=4257001
IDBENCH=126213
IDSOLVER=2641
FILE ID=node128/4257001-1501684739
RUNJOBID= node128-1501676495-31585
PBS_JOBID= 
Free space on /tmp= 61852 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-16-a3.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257001-1501684739/watcher-4257001-1501684739 -o /tmp/evaluation-result-4257001-1501684739/solver-4257001-1501684739 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1378340324 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257001-1501684739.xml

TIME LIMIT= 1920 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0e9e24bc5c9dc7ecc0ccfc6ea7d62ad7
RANDOM SEED=1378340324

node128.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.05
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.05
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.05
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.05
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:        31015876 kB
MemAvailable:   32012324 kB
Buffers:          147628 kB
Cached:          1135344 kB
SwapCached:            0 kB
Active:           434340 kB
Inactive:         905380 kB
Active(anon):      57336 kB
Inactive(anon):    16724 kB
Active(file):     377004 kB
Inactive(file):   888656 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42020 kB
Writeback:             4 kB
AnonPages:         56216 kB
Mapped:            30944 kB
Shmem:             17064 kB
Slab:             119684 kB
SReclaimable:      93244 kB
SUnreclaim:        26440 kB
KernelStack:        3088 kB
PageTables:         4260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     290032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61808 MiB
End job on node128 at 2017-08-02 16:29:13