Trace number 4256901

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.26 247.79601

General information on the benchmark

NameBinPacking/BinPacking-sum-skj1/
BinPacking-sum-n3c3w4h.xml
MD5SUM797cc29f939b3426dc93651349e66756
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark2002.48
Satisfiable
(Un)Satisfiability was proved
Number of variables473
Number of constraints239
Number of domains2
Minimum domain size67
Maximum domain size119
Distribution of domain sizes[{"size":67,"count":472},{"size":119,"count":1}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":354},{"degree":5,"count":118}]
Minimum constraint arity4
Maximum constraint arity472
Distribution of constraint arities[{"arity":4,"count":236},{"arity":119,"count":1},{"arity":472,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":118},{"type":"lex","count":1},{"type":"sum","count":118},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.23/0.39	c version: 2017-07-26
0.23/0.39	c seed: 567097487
0.23/0.39	c timeout: 1920
0.23/0.39	c memlimit: 22000
0.23/0.39	c nbcore: 8
0.41/0.41	c Parsing instance...
1.36/0.81	c Parsing done, starting search...
1920.62/247.76	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-4256901-1501694505/watcher-4256901-1501694505 -o /tmp/evaluation-result-4256901-1501694505/solver-4256901-1501694505 -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 567097487 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4256901-1501694505.xml 

pid=28377
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.03 7.69 7.30 2/173 28380
/proc/meminfo: memFree=31007864/32770624 swapFree=0/893260
[pid=28380] ppid=28377 vsize=23672 CPUtime=0 cores=0-7
/proc/28380/stat : 28380 (runsolver) D 28377 28380 31529 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 18075156 24240128 108 18446744073709551615 4194304 4338465 140722509127232 140722509124872 140385249018583 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 34476032 140722509131876 140722509132355 140722509132355 140722509135818 0
/proc/28380/statm: 5918 108 54 36 0 2156 0

[startup+0.100186 s]
/proc/loadavg: 8.03 7.69 7.30 2/173 28380
/proc/meminfo: memFree=31007864/32770624 swapFree=0/893260
[pid=28380] ppid=28377 vsize=25298128 CPUtime=0 cores=0-7
/proc/28380/stat : 28380 (java) S 28377 28380 31529 0 -1 1077944320 2498 0 0 0 0 0 0 0 20 0 10 0 18075156 25905283072 2669 18446744073709551615 4194304 4196468 140736941503920 140736941486464 140425778544375 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
/proc/28380/statm: 6324532 2669 1190 1 0 6314510 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25298128

[startup+0.200294 s]
/proc/loadavg: 8.03 7.69 7.30 2/173 28380
/proc/meminfo: memFree=31007864/32770624 swapFree=0/893260
[pid=28380] ppid=28377 vsize=25996604 CPUtime=0.06 cores=0-7
/proc/28380/stat : 28380 (java) S 28377 28380 31529 0 -1 1077944320 5841 0 0 0 6 0 0 0 20 0 20 0 18075156 26620522496 6026 18446744073709551615 4194304 4196468 140736941503920 140736941486464 140425778544375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
/proc/28380/statm: 6499151 6026 2641 1 0 6487938 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25996604

[startup+0.300217 s]
/proc/loadavg: 8.03 7.69 7.30 2/173 28380
/proc/meminfo: memFree=31007864/32770624 swapFree=0/893260
[pid=28380] ppid=28377 vsize=25996604 CPUtime=0.23 cores=0-7
/proc/28380/stat : 28380 (java) S 28377 28380 31529 0 -1 1077944320 9986 0 0 0 21 2 0 0 20 0 20 0 18075156 26620522496 9724 18446744073709551615 4194304 4196468 140736941503920 140736941486464 140425778544375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
/proc/28380/statm: 6499151 9724 3533 1 0 6487938 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 25996604

[startup+0.700306 s]
/proc/loadavg: 8.03 7.69 7.30 2/173 28380
/proc/meminfo: memFree=31007864/32770624 swapFree=0/893260
[pid=28380] ppid=28377 vsize=25998672 CPUtime=0.97 cores=0-7
/proc/28380/stat : 28380 (java) S 28377 28380 31529 0 -1 1077944320 14038 0 0 0 93 4 0 0 20 0 20 0 18075156 26622640128 16820 18446744073709551615 4194304 4196468 140736941503920 140736941486464 140425778544375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
/proc/28380/statm: 6499668 16820 3723 1 0 6488450 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 25998672

[startup+1.50081 s]
/proc/loadavg: 8.03 7.69 7.30 4/193 28400
/proc/meminfo: memFree=30905868/32770624 swapFree=0/893284
[pid=28380] ppid=28377 vsize=26002768 CPUtime=3.49 cores=0-7
/proc/28380/stat : 28380 (java) S 28377 28380 31529 0 -1 1077944320 28187 0 0 0 340 9 0 0 20 0 20 0 18075156 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140736941486464 140425778544375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
/proc/28380/statm: 6500692 37897 3749 1 0 6489474 0
[pid=28380/tid=28382] ppid=28377 vsize=26002768 CPUtime=1.34 cores=0-7
/proc/28380/task/28382/stat : 28382 (java) R 28377 28380 31529 0 -1 4202560 13949 0 0 0 130 4 0 0 20 0 20 0 18075165 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140425782773008 140425778556310 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28383] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18075165 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140425705470608 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28384] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140425704417808 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28385] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140425703365008 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28386] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140425702312208 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28387] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140425336741008 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28388] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140425335688208 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28389] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140425334635408 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28390] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28390/stat : 28390 (java) S 28377 28380 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140425333582608 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28391] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28391/stat : 28391 (java) S 28377 28380 31529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 18075167 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140424843889008 140425778555522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28392] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28392/stat : 28392 (java) S 28377 28380 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 18075167 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140424842834976 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28393] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 18075168 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140424841782128 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28394] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28394/stat : 28394 (java) S 28377 28380 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18075170 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140424840730448 140425778562971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28395] ppid=28377 vsize=26002768 CPUtime=0.53 cores=0-7
/proc/28380/task/28395/stat : 28395 (java) R 28377 28380 31529 0 -1 4202560 2560 0 0 0 53 0 0 0 20 0 20 0 18075170 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140424839666448 140425758392610 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28396] ppid=28377 vsize=26002768 CPUtime=0.54 cores=0-7
/proc/28380/task/28396/stat : 28396 (java) R 28377 28380 31529 0 -1 4202560 3073 0 0 0 53 1 0 0 20 0 20 0 18075170 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140424838626032 140425758401984 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28397] ppid=28377 vsize=26002768 CPUtime=0.52 cores=0-7
/proc/28380/task/28397/stat : 28397 (java) R 28377 28380 31529 0 -1 4202560 2395 0 0 0 52 0 0 0 20 0 20 0 18075170 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140424837573232 140425760088098 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28398] ppid=28377 vsize=26002768 CPUtime=0.5 cores=0-7
/proc/28380/task/28398/stat : 28398 (java) S 28377 28380 31529 0 -1 1077944384 4833 0 0 0 49 1 0 0 20 0 20 0 18075170 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140424836520432 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28399] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28399/stat : 28399 (java) S 28377 28380 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 18075170 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140424835467872 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28400] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28400/stat : 28400 (java) S 28377 28380 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18075175 26626834432 37897 18446744073709551615 4194304 4196468 140736941503920 140424834415152 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 26002768

[startup+3.1008 s]
/proc/loadavg: 8.03 7.69 7.30 3/193 28400
/proc/meminfo: memFree=30791572/32770624 swapFree=0/893284
[pid=28380] ppid=28377 vsize=26002768 CPUtime=7.09 cores=0-7
/proc/28380/stat : 28380 (java) S 28377 28380 31529 0 -1 1077944320 37192 0 0 0 693 16 0 0 20 0 20 0 18075156 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140736941486464 140425778544375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
/proc/28380/statm: 6500692 62028 3780 1 0 6489474 0
[pid=28380/tid=28382] ppid=28377 vsize=26002768 CPUtime=2.93 cores=0-7
/proc/28380/task/28382/stat : 28382 (java) R 28377 28380 31529 0 -1 4202560 14966 0 0 0 287 6 0 0 20 0 20 0 18075165 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140425782780048 140425760108461 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28383] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 31529 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 18075165 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140425705470608 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28384] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 31529 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140425704417808 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28385] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 31529 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140425703365008 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28386] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 31529 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140425702312208 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28387] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 31529 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140425336741008 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28388] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 31529 0 -1 1077944384 625 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140425335688208 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28389] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 31529 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140425334635408 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28390] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28390/stat : 28390 (java) S 28377 28380 31529 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 18075166 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140425333582608 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28391] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28391/stat : 28391 (java) S 28377 28380 31529 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 18075167 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140424843889008 140425778555522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28392] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28392/stat : 28392 (java) S 28377 28380 31529 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 18075167 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140424842835040 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28393] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 31529 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 18075168 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140424841782144 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28394] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28394/stat : 28394 (java) S 28377 28380 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18075170 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140424840730448 140425778562971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28395] ppid=28377 vsize=26002768 CPUtime=1.1 cores=0-7
/proc/28380/task/28395/stat : 28395 (java) S 28377 28380 31529 0 -1 1077944384 4553 0 0 0 109 1 0 0 20 0 20 0 18075170 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140424839678832 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28396] ppid=28377 vsize=26002768 CPUtime=1.27 cores=0-7
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 31529 0 -1 1077944384 5335 0 0 0 125 2 0 0 20 0 20 0 18075170 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140424838626032 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28397] ppid=28377 vsize=26002768 CPUtime=1.08 cores=0-7
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 31529 0 -1 1077944384 3954 0 0 0 107 1 0 0 20 0 20 0 18075170 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140424837573232 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28398] ppid=28377 vsize=26002768 CPUtime=0.57 cores=0-7
/proc/28380/task/28398/stat : 28398 (java) S 28377 28380 31529 0 -1 1077944384 5520 0 0 0 56 1 0 0 20 0 20 0 18075170 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140424836520432 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28399] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28399/stat : 28399 (java) S 28377 28380 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 18075170 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140424835467872 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28400] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28400/stat : 28400 (java) S 28377 28380 31529 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 18075175 26626834432 62028 18446744073709551615 4194304 4196468 140736941503920 140424834415152 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 26002768

[startup+6.30081 s]
/proc/loadavg: 7.46 7.58 7.27 2/193 28400
/proc/meminfo: memFree=30779008/32770624 swapFree=0/893288
[pid=28380] ppid=28377 vsize=26002768 CPUtime=10.54 cores=0-7
/proc/28380/stat : 28380 (java) S 28377 28380 31529 0 -1 1077944320 37393 0 0 0 1036 18 0 0 20 0 20 0 18075156 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140736941486464 140425778544375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
/proc/28380/statm: 6500692 61150 3781 1 0 6489474 0
[pid=28380/tid=28382] ppid=28377 vsize=26002768 CPUtime=6.1 cores=0-7
/proc/28380/task/28382/stat : 28382 (java) R 28377 28380 31529 0 -1 4202560 14985 0 0 0 604 6 0 0 20 0 20 0 18075165 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140425782778504 140425388665490 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28383] ppid=28377 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 31529 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 20 0 18075165 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140425705470608 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28384] ppid=28377 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 31529 0 -1 1077944384 93 0 0 0 2 0 0 0 20 0 20 0 18075166 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140425704417808 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28385] ppid=28377 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 31529 0 -1 1077944384 38 0 0 0 2 0 0 0 20 0 20 0 18075166 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140425703365008 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28386] ppid=28377 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 31529 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 18075166 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140425702312208 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28387] ppid=28377 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 31529 0 -1 1077944384 276 0 0 0 2 0 0 0 20 0 20 0 18075166 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140425336741008 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28388] ppid=28377 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 31529 0 -1 1077944384 639 0 0 0 1 1 0 0 20 0 20 0 18075166 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140425335688208 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28389] ppid=28377 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 31529 0 -1 1077944384 89 0 0 0 2 0 0 0 20 0 20 0 18075166 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140425334635408 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28390] ppid=28377 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/28380/task/28390/stat : 28390 (java) S 28377 28380 31529 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 18075166 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140425333582608 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28391] ppid=28377 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/28380/task/28391/stat : 28391 (java) S 28377 28380 31529 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 18075167 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140424843889008 140425778555522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28392] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28392/stat : 28392 (java) S 28377 28380 31529 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 18075167 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140424842835040 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28393] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 31529 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 18075168 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140424841782144 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28394] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7
/proc/28380/task/28394/stat : 28394 (java) S 28377 28380 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 18075170 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140424840730448 140425778562971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28395] ppid=28377 vsize=26002768 CPUtime=1.11 cores=0-7
/proc/28380/task/28395/stat : 28395 (java) S 28377 28380 31529 0 -1 1077944384 4570 0 0 0 110 1 0 0 20 0 20 0 18075170 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140424839678832 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28396] ppid=28377 vsize=26002768 CPUtime=1.34 cores=0-7
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 31529 0 -1 1077944384 5397 0 0 0 132 2 0 0 20 0 20 0 18075170 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140424838626032 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28397] ppid=28377 vsize=26002768 CPUtime=1.12 cores=0-7
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 31529 0 -1 1077944384 3967 0 0 0 111 1 0 0 20 0 20 0 18075170 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140424837573232 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28398] ppid=28377 vsize=26002768 CPUtime=0.57 cores=0-7
/proc/28380/task/28398/stat : 28398 (java) S 28377 28380 31529 0 -1 1077944384 5522 0 0 0 56 1 0 0 20 0 20 0 18075170 26626834432 61150 18446744073709551615 4194304 4196468 140736941503920 140424836520432 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28399] ppid=28377 vsize=26002768 CPUtime=0 cores=0-7

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

/proc/28380/stat : 28380 (java) S 28377 28380 31529 0 -1 1077944320 230567 0 0 0 191799 263 0 0 20 0 37 0 18075156 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140736941486464 140425778544375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
/proc/28380/statm: 6785134 345282 3797 1 0 6773395 0
[pid=28380/tid=28382] ppid=28377 vsize=27140536 CPUtime=6.98 cores=0-7
/proc/28380/task/28382/stat : 28382 (java) S 28377 28380 31529 0 -1 1077944384 18226 0 0 0 691 7 0 0 20 0 37 0 18075165 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425782782080 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28383] ppid=28377 vsize=27140536 CPUtime=1.54 cores=0-7
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 31529 0 -1 1077944384 11951 0 0 0 135 19 0 0 20 0 37 0 18075165 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425705470608 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28384] ppid=28377 vsize=27140536 CPUtime=1.54 cores=0-7
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 31529 0 -1 1077944384 9006 0 0 0 136 18 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425704417808 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28385] ppid=28377 vsize=27140536 CPUtime=1.52 cores=0-7
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 31529 0 -1 1077944384 10253 0 0 0 134 18 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425703365008 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28386] ppid=28377 vsize=27140536 CPUtime=1.54 cores=0-7
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 31529 0 -1 1077944384 5769 0 0 0 134 20 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425702312208 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28387] ppid=28377 vsize=27140536 CPUtime=1.55 cores=0-7
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 31529 0 -1 1077944384 10896 0 0 0 135 20 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425336741008 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28388] ppid=28377 vsize=27140536 CPUtime=1.56 cores=0-7
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 31529 0 -1 1077944384 8498 0 0 0 136 20 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425335688208 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28389] ppid=28377 vsize=27140536 CPUtime=1.55 cores=0-7
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 31529 0 -1 1077944384 7137 0 0 0 137 18 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425334635408 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28390] ppid=28377 vsize=27140536 CPUtime=1.54 cores=0-7
/proc/28380/task/28390/stat : 28390 (java) S 28377 28380 31529 0 -1 1077944384 6459 0 0 0 135 19 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425333582608 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28391] ppid=28377 vsize=27140536 CPUtime=0.63 cores=0-7
/proc/28380/task/28391/stat : 28391 (java) S 28377 28380 31529 0 -1 1077944384 17145 0 0 0 51 12 0 0 20 0 37 0 18075167 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424843889008 140425778555522 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28392] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28392/stat : 28392 (java) S 28377 28380 31529 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 37 0 18075167 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424842835040 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28393] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 31529 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 37 0 18075168 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424841782144 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28394] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28394/stat : 28394 (java) S 28377 28380 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424840730448 140425778562971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28395] ppid=28377 vsize=27140536 CPUtime=1.99 cores=0-7
/proc/28380/task/28395/stat : 28395 (java) S 28377 28380 31529 0 -1 1077944384 8815 0 0 0 198 1 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424839678832 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28396] ppid=28377 vsize=27140536 CPUtime=2.34 cores=0-7
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 31529 0 -1 1077944384 9430 0 0 0 230 4 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424838626032 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28397] ppid=28377 vsize=27140536 CPUtime=1.85 cores=0-7
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 31529 0 -1 1077944384 7904 0 0 0 184 1 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424837573232 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28398] ppid=28377 vsize=27140536 CPUtime=0.83 cores=0-7
/proc/28380/task/28398/stat : 28398 (java) S 28377 28380 31529 0 -1 1077944384 10299 0 0 0 81 2 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424836520432 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28399] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28399/stat : 28399 (java) S 28377 28380 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424835467872 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28400] ppid=28377 vsize=27140536 CPUtime=0.07 cores=0-7
/proc/28380/task/28400/stat : 28400 (java) S 28377 28380 31529 0 -1 1077944384 814 0 0 0 7 0 0 0 20 0 37 0 18075175 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424834415152 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28402] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28402/stat : 28402 (java) S 28377 28380 31529 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 37 0 18075850 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423901733504 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28403] ppid=28377 vsize=27140536 CPUtime=0.43 cores=0-7
/proc/28380/task/28403/stat : 28403 (java) S 28377 28380 31529 0 -1 1077944384 4982 0 0 0 19 24 0 0 20 0 37 0 18075863 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423898583728 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28404] ppid=28377 vsize=27140536 CPUtime=0.01 cores=0-7
/proc/28380/task/28404/stat : 28404 (java) S 28377 28380 31529 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 37 0 18075872 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423895434784 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28405] ppid=28377 vsize=27140536 CPUtime=236.63 cores=0-7
/proc/28380/task/28405/stat : 28405 (java) R 28377 28380 31529 0 -1 4202560 10263 0 0 0 23655 8 0 0 20 0 37 0 18075873 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423894375784 140425387976222 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28406] ppid=28377 vsize=27140536 CPUtime=0.05 cores=0-7
/proc/28380/task/28406/stat : 28406 (java) S 28377 28380 31529 0 -1 1077944384 163 0 0 0 5 0 0 0 20 0 37 0 18075874 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423893329184 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28407] ppid=28377 vsize=27140536 CPUtime=236.59 cores=0-7
/proc/28380/task/28407/stat : 28407 (java) R 28377 28380 31529 0 -1 4202560 9789 0 0 0 23649 10 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423892270312 140425389989722 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28408] ppid=28377 vsize=27140536 CPUtime=236.61 cores=0-7
/proc/28380/task/28408/stat : 28408 (java) R 28377 28380 31529 0 -1 4202560 11103 0 0 0 23652 9 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423891217032 140425388082976 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28409] ppid=28377 vsize=27140536 CPUtime=237.03 cores=0-7
/proc/28380/task/28409/stat : 28409 (java) R 28377 28380 31529 0 -1 4202560 9145 0 0 0 23693 10 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423890167480 140425387715868 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28410] ppid=28377 vsize=27140536 CPUtime=236.44 cores=0-7
/proc/28380/task/28410/stat : 28410 (java) R 28377 28380 31529 0 -1 4202560 8327 0 0 0 23636 8 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422747768816 140425385345110 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28411] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28411/stat : 28411 (java) S 28377 28380 31529 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422746722976 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28412] ppid=28377 vsize=27140536 CPUtime=236.4 cores=0-7
/proc/28380/task/28412/stat : 28412 (java) R 28377 28380 31529 0 -1 4202560 10723 0 0 0 23632 8 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422745668080 140425387715922 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28413] ppid=28377 vsize=27140536 CPUtime=0.07 cores=0-7
/proc/28380/task/28413/stat : 28413 (java) S 28377 28380 31529 0 -1 1077944384 124 0 0 0 7 0 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422744618400 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28414] ppid=28377 vsize=27140536 CPUtime=236.99 cores=0-7
/proc/28380/task/28414/stat : 28414 (java) R 28377 28380 31529 0 -1 4202560 12578 0 0 0 23688 11 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422743559368 140425387542936 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28415] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28415/stat : 28415 (java) S 28377 28380 31529 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 37 0 18075889 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422742512800 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28416] ppid=28377 vsize=27140536 CPUtime=236.1 cores=0-7
/proc/28380/task/28416/stat : 28416 (java) R 28377 28380 31529 0 -1 4202560 9025 0 0 0 23600 10 0 0 20 0 37 0 18075889 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422741453248 140425389989509 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28417] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28417/stat : 28417 (java) S 28377 28380 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 37 0 18075889 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422740407200 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28418] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28418/stat : 28418 (java) S 28377 28380 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 37 0 18075889 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422739354400 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
Current children cumulated CPU time (s) 1920.62
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 28380 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+247.702 s]
/proc/loadavg: 9.12 8.39 7.66 10/210 28431
/proc/meminfo: memFree=29635412/32770624 swapFree=0/893340
[pid=28380] ppid=28377 vsize=27140536 CPUtime=1920.62 cores=0-7
/proc/28380/stat : 28380 (java) S 28377 28380 31529 0 -1 1077944320 230567 0 0 0 191799 263 0 0 20 0 37 0 18075156 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140736941486464 140425778544375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
/proc/28380/statm: 6785134 345282 3797 1 0 6773395 0
[pid=28380/tid=28382] ppid=28377 vsize=27140536 CPUtime=6.98 cores=0-7
/proc/28380/task/28382/stat : 28382 (java) S 28377 28380 31529 0 -1 1077944384 18226 0 0 0 691 7 0 0 20 0 37 0 18075165 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425782782080 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28383] ppid=28377 vsize=27140536 CPUtime=1.54 cores=0-7
/proc/28380/task/28383/stat : 28383 (java) S 28377 28380 31529 0 -1 1077944384 11951 0 0 0 135 19 0 0 20 0 37 0 18075165 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425705470608 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28384] ppid=28377 vsize=27140536 CPUtime=1.54 cores=0-7
/proc/28380/task/28384/stat : 28384 (java) S 28377 28380 31529 0 -1 1077944384 9006 0 0 0 136 18 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425704417808 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28385] ppid=28377 vsize=27140536 CPUtime=1.52 cores=0-7
/proc/28380/task/28385/stat : 28385 (java) S 28377 28380 31529 0 -1 1077944384 10253 0 0 0 134 18 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425703365008 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28386] ppid=28377 vsize=27140536 CPUtime=1.54 cores=0-7
/proc/28380/task/28386/stat : 28386 (java) S 28377 28380 31529 0 -1 1077944384 5769 0 0 0 134 20 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425702312208 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28387] ppid=28377 vsize=27140536 CPUtime=1.55 cores=0-7
/proc/28380/task/28387/stat : 28387 (java) S 28377 28380 31529 0 -1 1077944384 10896 0 0 0 135 20 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425336741008 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28388] ppid=28377 vsize=27140536 CPUtime=1.56 cores=0-7
/proc/28380/task/28388/stat : 28388 (java) S 28377 28380 31529 0 -1 1077944384 8498 0 0 0 136 20 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425335688208 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28389] ppid=28377 vsize=27140536 CPUtime=1.55 cores=0-7
/proc/28380/task/28389/stat : 28389 (java) S 28377 28380 31529 0 -1 1077944384 7137 0 0 0 137 18 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425334635408 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28390] ppid=28377 vsize=27140536 CPUtime=1.54 cores=0-7
/proc/28380/task/28390/stat : 28390 (java) S 28377 28380 31529 0 -1 1077944384 6459 0 0 0 135 19 0 0 20 0 37 0 18075166 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140425333582608 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28391] ppid=28377 vsize=27140536 CPUtime=0.63 cores=0-7
/proc/28380/task/28391/stat : 28391 (java) S 28377 28380 31529 0 -1 1077944384 17145 0 0 0 51 12 0 0 20 0 37 0 18075167 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424843889008 140425778555522 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28392] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28392/stat : 28392 (java) S 28377 28380 31529 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 37 0 18075167 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424842835040 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28393] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28393/stat : 28393 (java) S 28377 28380 31529 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 37 0 18075168 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424841782144 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28394] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28394/stat : 28394 (java) S 28377 28380 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424840730448 140425778562971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28395] ppid=28377 vsize=27140536 CPUtime=1.99 cores=0-7
/proc/28380/task/28395/stat : 28395 (java) S 28377 28380 31529 0 -1 1077944384 8815 0 0 0 198 1 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424839678832 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28396] ppid=28377 vsize=27140536 CPUtime=2.34 cores=0-7
/proc/28380/task/28396/stat : 28396 (java) S 28377 28380 31529 0 -1 1077944384 9430 0 0 0 230 4 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424838626032 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28397] ppid=28377 vsize=27140536 CPUtime=1.85 cores=0-7
/proc/28380/task/28397/stat : 28397 (java) S 28377 28380 31529 0 -1 1077944384 7904 0 0 0 184 1 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424837573232 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28398] ppid=28377 vsize=27140536 CPUtime=0.83 cores=0-7
/proc/28380/task/28398/stat : 28398 (java) S 28377 28380 31529 0 -1 1077944384 10299 0 0 0 81 2 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424836520432 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28399] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28399/stat : 28399 (java) S 28377 28380 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 37 0 18075170 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424835467872 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28400] ppid=28377 vsize=27140536 CPUtime=0.07 cores=0-7
/proc/28380/task/28400/stat : 28400 (java) S 28377 28380 31529 0 -1 1077944384 814 0 0 0 7 0 0 0 20 0 37 0 18075175 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140424834415152 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28402] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28402/stat : 28402 (java) S 28377 28380 31529 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 37 0 18075850 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423901733504 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28403] ppid=28377 vsize=27140536 CPUtime=0.43 cores=0-7
/proc/28380/task/28403/stat : 28403 (java) S 28377 28380 31529 0 -1 1077944384 4982 0 0 0 19 24 0 0 20 0 37 0 18075863 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423898583728 140425778555522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28404] ppid=28377 vsize=27140536 CPUtime=0.01 cores=0-7
/proc/28380/task/28404/stat : 28404 (java) S 28377 28380 31529 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 37 0 18075872 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423895434784 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28405] ppid=28377 vsize=27140536 CPUtime=236.63 cores=0-7
/proc/28380/task/28405/stat : 28405 (java) R 28377 28380 31529 0 -1 4202560 10263 0 0 0 23655 8 0 0 20 0 37 0 18075873 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423894375784 140425387976222 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28406] ppid=28377 vsize=27140536 CPUtime=0.05 cores=0-7
/proc/28380/task/28406/stat : 28406 (java) S 28377 28380 31529 0 -1 1077944384 163 0 0 0 5 0 0 0 20 0 37 0 18075874 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423893329184 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28407] ppid=28377 vsize=27140536 CPUtime=236.59 cores=0-7
/proc/28380/task/28407/stat : 28407 (java) R 28377 28380 31529 0 -1 4202560 9789 0 0 0 23649 10 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423892270312 140425389989722 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28408] ppid=28377 vsize=27140536 CPUtime=236.61 cores=0-7
/proc/28380/task/28408/stat : 28408 (java) R 28377 28380 31529 0 -1 4202560 11103 0 0 0 23652 9 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423891217032 140425388082976 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28409] ppid=28377 vsize=27140536 CPUtime=237.03 cores=0-7
/proc/28380/task/28409/stat : 28409 (java) R 28377 28380 31529 0 -1 4202560 9145 0 0 0 23693 10 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140423890167480 140425387715868 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28410] ppid=28377 vsize=27140536 CPUtime=236.44 cores=0-7
/proc/28380/task/28410/stat : 28410 (java) R 28377 28380 31529 0 -1 4202560 8327 0 0 0 23636 8 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422747768816 140425385345110 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28411] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28411/stat : 28411 (java) S 28377 28380 31529 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422746722976 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28412] ppid=28377 vsize=27140536 CPUtime=236.4 cores=0-7
/proc/28380/task/28412/stat : 28412 (java) R 28377 28380 31529 0 -1 4202560 10723 0 0 0 23632 8 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422745668080 140425387715922 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28413] ppid=28377 vsize=27140536 CPUtime=0.07 cores=0-7
/proc/28380/task/28413/stat : 28413 (java) S 28377 28380 31529 0 -1 1077944384 124 0 0 0 7 0 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422744618400 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28414] ppid=28377 vsize=27140536 CPUtime=236.99 cores=0-7
/proc/28380/task/28414/stat : 28414 (java) R 28377 28380 31529 0 -1 4202560 12578 0 0 0 23688 11 0 0 20 0 37 0 18075876 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422743559368 140425387542936 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28415] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28415/stat : 28415 (java) S 28377 28380 31529 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 37 0 18075889 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422742512800 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28416] ppid=28377 vsize=27140536 CPUtime=236.1 cores=0-7
/proc/28380/task/28416/stat : 28416 (java) R 28377 28380 31529 0 -1 4202560 9025 0 0 0 23600 10 0 0 20 0 37 0 18075889 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422741453248 140425389989509 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28417] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28417/stat : 28417 (java) S 28377 28380 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 37 0 18075889 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422740407200 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
[pid=28380/tid=28418] ppid=28377 vsize=27140536 CPUtime=0 cores=0-7
/proc/28380/task/28418/stat : 28418 (java) S 28377 28380 31529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 37 0 18075889 27791908864 345282 18446744073709551615 4194304 4196468 140736941503920 140422739354400 140425778554581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140736941506960 140736941507144 140736941507144 140736941510607 0
Current children cumulated CPU time (s) 1920.62
Current children cumulated vsize (KiB) 27140536

Child status: 143
Real time (s): 247.796
CPU time (s): 1921.26
CPU user time (s): 1918.61
CPU system time (s): 2.64739
CPU usage (%): 775.338
Max. virtual memory (cumulated for all children) (KiB): 27141560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1918.61
system time used= 2.64739
maximum resident set size= 1381900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231112
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= 69794
involuntary context switches= 40081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.02282 second user time and 2.26431 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 19:07:46
IDJOB=4256901
IDBENCH=136355
IDSOLVER=2641
FILE ID=node128/4256901-1501694505
RUNJOBID= node128-1501676495-31585
PBS_JOBID= 
Free space on /tmp= 61948 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n3c3w4h.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-4256901-1501694505/watcher-4256901-1501694505 -o /tmp/evaluation-result-4256901-1501694505/solver-4256901-1501694505 -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 567097487 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4256901-1501694505.xml

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

MD5SUM BENCH= 797cc29f939b3426dc93651349e66756
RANDOM SEED=567097487

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:        31008772 kB
MemAvailable:   32011420 kB
Buffers:          152044 kB
Cached:          1136588 kB
SwapCached:            0 kB
Active:           436224 kB
Inactive:         909984 kB
Active(anon):      57716 kB
Inactive(anon):    16724 kB
Active(file):     378508 kB
Inactive(file):   893260 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42092 kB
Writeback:             0 kB
AnonPages:         50824 kB
Mapped:            31420 kB
Shmem:             17064 kB
Slab:             119096 kB
SReclaimable:      93428 kB
SUnreclaim:        25668 kB
KernelStack:        3440 kB
PageTables:         5364 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:         0 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= 61904 MiB
End job on node128 at 2017-08-02 19:11:54