Trace number 4256458

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2017-07-26? (TO) 257.89801 219.65199

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-17-19.xml
MD5SUM6bb486b702ae8a5e43f429c3e7fd2e95
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark240.05
Satisfiable
(Un)Satisfiability was proved
Number of variables323
Number of constraints23257
Number of domains1
Minimum domain size323
Maximum domain size323
Distribution of domain sizes[{"size":323,"count":323}]
Minimum variable degree290
Maximum variable degree290
Distribution of variable degrees[{"degree":290,"count":323}]
Minimum constraint arity4
Maximum constraint arity323
Distribution of constraint arities[{"arity":4,"count":23256},{"arity":323,"count":1}]
Number of extensional constraints0
Number of intensional constraints23256
Distribution of constraint types[{"type":"intension","count":23256},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.22/0.40	c version: 2017-07-26
0.22/0.41	c seed: 1467652418
0.22/0.41	c timeout: 252
0.22/0.41	c memlimit: 11000
0.22/0.41	c nbcore: 4
0.40/0.43	c Parsing instance...
7.31/2.73	c Parsing done, starting first complete search...
12.74/6.41	o 322
14.82/8.03	o 321
16.41/9.42	o 320
18.04/10.72	o 319
19.95/12.67	o 318
21.80/14.21	o 317
23.91/16.18	o 316
25.65/17.81	o 315
27.79/19.77	o 314
29.49/21.45	o 313
31.47/23.26	o 312
33.18/24.95	o 311
34.78/26.59	o 310
35.66/27.21	c First complete search done, starting ALNS search...
214.01/198.44	c ALNS done, starting second complete search
218.53/202.74	o 8

Verifier Data 

One s line expected

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256458-1502644892/watcher-4256458-1502644892 -o /tmp/evaluation-result-4256458-1502644892/solver-4256458-1502644892 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502642251-32117 --watchdog 312 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1467652418 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4256458-1502644892.xml 

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

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


[startup+0.100112 s]*
/proc/loadavg: 2.48 2.42 2.13 2/195 1287
/proc/meminfo: memFree=28644484/32770624 swapFree=67108860/67108860
[pid=1286] ppid=1283 vsize=356952 memory=7560 CPUtime=0 cores=1,3,5,7
/proc/1286/stat : 1286 (java) S 1283 1286 897 0 -1 1077944320 1744 0 0 0 0 0 0 0 20 0 2 0 66709878 365518848 1890 18446744073709551615 4194304 4196468 140725635111168 140725635093712 140591449317111 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
/proc/1286/statm: 89238 1890 1043 1 0 79208 0
[pid=1286/tid=1288] ppid=1283 vsize=11642956 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1288/stat : 1288 (java) R 1283 1286 897 0 -1 4202560 495 0 0 0 0 0 0 0 20 0 2 0 66709888 11922386944 1954 18446744073709551615 4194304 4196468 140725635111168 140591453559200 140591434297504 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 356952 KiB
Current children cumulated memory: 7560 KiB

[startup+0.209324 s]*
/proc/loadavg: 2.48 2.42 2.13 2/208 1300
/proc/meminfo: memFree=28631564/32770624 swapFree=67108860/67108860
[pid=1286] ppid=1283 vsize=13976388 memory=26900 CPUtime=0.06 cores=1,3,5,7
/proc/1286/stat : 1286 (java) S 1283 1286 897 0 -1 1077944320 5687 0 0 0 5 1 0 0 20 0 15 0 66709878 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140725635093712 140591449317111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
/proc/1286/statm: 3494097 6725 3289 1 0 3482876 0
[pid=1286/tid=1288] ppid=1283 vsize=13976388 memory=8390339637985935414 CPUtime=0.05 cores=1,3,5,7
/proc/1286/task/1288/stat : 1288 (java) R 1283 1286 897 0 -1 4202560 3800 0 0 0 4 1 0 0 20 0 15 0 66709888 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140591453557296 140591449339037 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1289] ppid=1283 vsize=13976388 memory=288230591823085591 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1289/stat : 1289 (java) S 1283 1286 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66709889 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140591406283152 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1290] ppid=1283 vsize=13976388 memory=288370414424274560 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1290/stat : 1290 (java) S 1283 1286 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66709889 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140591405230352 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1291] ppid=1283 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1291/stat : 1291 (java) S 1283 1286 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66709889 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140591404178064 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1292] ppid=1283 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1292/stat : 1292 (java) S 1283 1286 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66709889 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140591403125264 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1293] ppid=1283 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1293/stat : 1293 (java) S 1283 1286 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66709890 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140590995778160 140591449328258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1294] ppid=1283 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1294/stat : 1294 (java) S 1283 1286 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66709891 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140590994724128 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1295] ppid=1283 vsize=13976388 memory=140038272562816 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1295/stat : 1295 (java) S 1283 1286 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66709891 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140590993671792 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1296] ppid=1283 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1296/stat : 1296 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140590992620112 140591449335707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1297] ppid=1283 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1297/stat : 1297 (java) S 1283 1286 897 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 66709893 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140590991566960 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1298] ppid=1283 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1298/stat : 1298 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140590427924464 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1299] ppid=1283 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1299/stat : 1299 (java) S 1283 1286 897 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 15 0 66709893 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140590426872176 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1300] ppid=1283 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1300/stat : 1300 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140590425819616 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1301] ppid=1283 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1301/stat : 1301 (java) S 1283 1286 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66709899 14311821312 6725 18446744073709551615 4194304 4196468 140725635111168 140590424767408 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13976388 KiB
Current children cumulated memory: 26900 KiB

[startup+0.30983 s]*
/proc/loadavg: 2.48 2.42 2.13 3/209 1301
/proc/meminfo: memFree=28615908/32770624 swapFree=67108860/67108860
[pid=1286] ppid=1283 vsize=13975920 memory=40928 CPUtime=0.22 cores=1,3,5,7
/proc/1286/stat : 1286 (java) S 1283 1286 897 0 -1 1077944320 9947 0 0 0 19 3 0 0 20 0 15 0 66709878 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140725635093712 140591449317111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
/proc/1286/statm: 3493980 10232 3535 1 0 3482759 0
[pid=1286/tid=1288] ppid=1283 vsize=13975920 memory=8390339637985935414 CPUtime=0.14 cores=1,3,5,7
/proc/1286/task/1288/stat : 1288 (java) R 1283 1286 897 0 -1 4202560 7700 0 0 0 12 2 0 0 20 0 15 0 66709888 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140591453544336 140591433397598 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1289] ppid=1283 vsize=13975920 memory=302022865681907735 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1289/stat : 1289 (java) S 1283 1286 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66709889 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140591406283152 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1290] ppid=1283 vsize=13975920 memory=301934196831151744 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1290/stat : 1290 (java) S 1283 1286 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66709889 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140591405230352 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1291] ppid=1283 vsize=13975920 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1291/stat : 1291 (java) S 1283 1286 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66709889 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140591404178064 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1292] ppid=1283 vsize=13975920 memory=3472323898181169199 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1292/stat : 1292 (java) S 1283 1286 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66709889 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140591403125264 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1293] ppid=1283 vsize=13975920 memory=4206186544037388384 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1293/stat : 1293 (java) S 1283 1286 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66709890 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140590995778160 140591449328258 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1294] ppid=1283 vsize=13975920 memory=7929208600842876936 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1294/stat : 1294 (java) S 1283 1286 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66709891 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140590994724128 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1295] ppid=1283 vsize=13975920 memory=140038272562816 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1295/stat : 1295 (java) S 1283 1286 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66709891 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140590993671792 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1296] ppid=1283 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1296/stat : 1296 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140590992620112 140591449335707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1297] ppid=1283 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1297/stat : 1297 (java) S 1283 1286 897 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 66709893 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140590991566960 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1298] ppid=1283 vsize=13975920 memory=67440 CPUtime=0.01 cores=1,3,5,7
/proc/1286/task/1298/stat : 1298 (java) R 1283 1286 897 0 -1 4202560 181 0 0 0 1 0 0 0 20 0 15 0 66709893 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140590427924464 140591430848264 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1299] ppid=1283 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1286/task/1299/stat : 1299 (java) S 1283 1286 897 0 -1 1077944384 371 0 0 0 4 0 0 0 20 0 15 0 66709893 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140590426872176 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1300] ppid=1283 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1300/stat : 1300 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140590425819616 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1301] ppid=1283 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1301/stat : 1301 (java) S 1283 1286 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66709899 14311342080 10232 18446744073709551615 4194304 4196468 140725635111168 140590424767408 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40928 KiB

[startup+0.700751 s]
/proc/loadavg: 2.48 2.42 2.13 3/209 1301
/proc/meminfo: memFree=28603352/32770624 swapFree=67108860/67108860
[pid=1286] ppid=1283 vsize=13977988 memory=101628 CPUtime=1.08 cores=1,3,5,7
/proc/1286/stat : 1286 (java) S 1283 1286 897 0 -1 1077944320 14967 0 0 0 103 5 0 0 20 0 15 0 66709878 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140725635093712 140591449317111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
/proc/1286/statm: 3494497 25407 3724 1 0 3483271 0
[pid=1286/tid=1288] ppid=1283 vsize=13977988 memory=15745350110221 CPUtime=0.53 cores=1,3,5,7
/proc/1286/task/1288/stat : 1288 (java) R 1283 1286 897 0 -1 4202560 10190 0 0 0 49 4 0 0 20 0 15 0 66709888 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140591453550448 140591433397598 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1289] ppid=1283 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1289/stat : 1289 (java) S 1283 1286 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66709889 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140591406283152 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1290] ppid=1283 vsize=13977988 memory=641480 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1290/stat : 1290 (java) S 1283 1286 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66709889 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140591405230352 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1291] ppid=1283 vsize=13977988 memory=7669461220380928320 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1291/stat : 1291 (java) S 1283 1286 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66709889 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140591404178064 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1292] ppid=1283 vsize=13977988 memory=7374758100846401633 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1292/stat : 1292 (java) S 1283 1286 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66709889 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140591403125264 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1293] ppid=1283 vsize=13977988 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1293/stat : 1293 (java) S 1283 1286 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66709890 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140590995778160 140591449328258 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1294] ppid=1283 vsize=13977988 memory=7522512629073532259 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1294/stat : 1294 (java) S 1283 1286 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66709891 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140590994724128 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1295] ppid=1283 vsize=13977988 memory=7882800646878482791 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1295/stat : 1295 (java) S 1283 1286 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66709891 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140590993671792 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1296] ppid=1283 vsize=13977988 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1296/stat : 1296 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140590992620112 140591449335707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1297] ppid=1283 vsize=13977988 memory=1404222122299264374 CPUtime=0.19 cores=1,3,5,7
/proc/1286/task/1297/stat : 1297 (java) R 1283 1286 897 0 -1 4202560 1286 0 0 0 19 0 0 0 20 0 15 0 66709893 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140590991552984 140591430017982 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1298] ppid=1283 vsize=13977988 memory=5450874561017252906 CPUtime=0.16 cores=1,3,5,7
/proc/1286/task/1298/stat : 1298 (java) R 1283 1286 897 0 -1 4202560 1284 0 0 0 16 0 0 0 20 0 15 0 66709893 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140590427905480 140591429888730 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1299] ppid=1283 vsize=13977988 memory=-7313218805096079717 CPUtime=0.17 cores=1,3,5,7
/proc/1286/task/1299/stat : 1299 (java) S 1283 1286 897 0 -1 1077944384 827 0 0 0 17 0 0 0 20 0 15 0 66709893 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140590426872176 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1300] ppid=1283 vsize=13977988 memory=6944656592452807323 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1300/stat : 1300 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140590425819616 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1301] ppid=1283 vsize=13977988 memory=4137287014106042739 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1301/stat : 1301 (java) S 1283 1286 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66709899 14313459712 25407 18446744073709551615 4194304 4196468 140725635111168 140590424767408 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 101628 KiB

[startup+1.50147 s]
/proc/loadavg: 2.48 2.42 2.13 7/209 1301
/proc/meminfo: memFree=28448712/32770624 swapFree=67108860/67108860
[pid=1286] ppid=1283 vsize=13977988 memory=262220 CPUtime=3.65 cores=1,3,5,7
/proc/1286/stat : 1286 (java) S 1283 1286 897 0 -1 1077944320 19502 0 0 0 351 14 0 0 20 0 15 0 66709878 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140725635093712 140591449317111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
/proc/1286/statm: 3494497 65555 3789 1 0 3483271 0
[pid=1286/tid=1288] ppid=1283 vsize=13977988 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/1286/task/1288/stat : 1288 (java) R 1283 1286 897 0 -1 4202560 10640 0 0 0 121 5 0 0 20 0 15 0 66709888 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140591453553816 140591073710829 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1289] ppid=1283 vsize=13977988 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1286/task/1289/stat : 1289 (java) S 1283 1286 897 0 -1 1077944384 78 0 0 0 3 1 0 0 20 0 15 0 66709889 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140591406283152 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1290] ppid=1283 vsize=13977988 memory=280076293904320 CPUtime=0.03 cores=1,3,5,7
/proc/1286/task/1290/stat : 1290 (java) S 1283 1286 897 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 15 0 66709889 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140591405230352 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1291] ppid=1283 vsize=13977988 memory=6935649255759568960 CPUtime=0.04 cores=1,3,5,7
/proc/1286/task/1291/stat : 1291 (java) S 1283 1286 897 0 -1 1077944384 66 0 0 0 3 1 0 0 20 0 15 0 66709889 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140591404178064 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1292] ppid=1283 vsize=13977988 memory=6935652631620640832 CPUtime=0.03 cores=1,3,5,7
/proc/1286/task/1292/stat : 1292 (java) S 1283 1286 897 0 -1 1077944384 90 0 0 0 2 1 0 0 20 0 15 0 66709889 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140591403125264 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1293] ppid=1283 vsize=13977988 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1293/stat : 1293 (java) S 1283 1286 897 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 66709890 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140590995778160 140591449328258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1294] ppid=1283 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1294/stat : 1294 (java) S 1283 1286 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 66709891 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140590994724128 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1295] ppid=1283 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1295/stat : 1295 (java) S 1283 1286 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66709891 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140590993671792 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1296] ppid=1283 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1296/stat : 1296 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140590992620112 140591449335707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1297] ppid=1283 vsize=13977988 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/1286/task/1297/stat : 1297 (java) R 1283 1286 897 0 -1 4202560 2458 0 0 0 88 0 0 0 20 0 15 0 66709893 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140590991552864 140591430017408 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1298] ppid=1283 vsize=13977988 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/1286/task/1298/stat : 1298 (java) R 1283 1286 897 0 -1 4202560 1887 0 0 0 82 0 0 0 20 0 15 0 66709893 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140590427914016 140591435468793 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1299] ppid=1283 vsize=13977988 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/1286/task/1299/stat : 1299 (java) R 1283 1286 897 0 -1 4202560 2774 0 0 0 45 0 0 0 20 0 15 0 66709893 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140590426865152 140591428263442 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1300] ppid=1283 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1300/stat : 1300 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140590425819616 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1301] ppid=1283 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1301/stat : 1301 (java) S 1283 1286 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66709899 14313459712 65555 18446744073709551615 4194304 4196468 140725635111168 140590424767408 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
Current children cumulated CPU time: 3.65 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 262220 KiB

[startup+3.11047 s]
/proc/loadavg: 2.48 2.42 2.13 5/209 1301
/proc/meminfo: memFree=26811288/32770624 swapFree=67108860/67108860
[pid=1286] ppid=1283 vsize=13982084 memory=750492 CPUtime=8.57 cores=1,3,5,7
/proc/1286/stat : 1286 (java) S 1283 1286 897 0 -1 1077944320 27445 0 0 0 820 37 0 0 20 0 15 0 66709878 14317654016 187623 18446744073709551615 4194304 4196468 140725635111168 140725635093712 140591449317111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
/proc/1286/statm: 3495521 187623 3801 1 0 3484295 0

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

/proc/1286/statm: 3495521 1194791 3825 1 0 3484295 0
[pid=1286/tid=1288] ppid=1283 vsize=13982084 memory=1728 CPUtime=206.32 cores=1,3,5,7
/proc/1286/task/1288/stat : 1288 (java) S 1283 1286 897 0 -1 1077944384 46293 0 0 0 20571 61 0 0 20 0 15 0 66709888 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140591453555296 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1289] ppid=1283 vsize=13982084 memory=1228 CPUtime=8.93 cores=1,3,5,7
/proc/1286/task/1289/stat : 1289 (java) R 1283 1286 897 0 -1 4202560 28845 0 0 0 865 28 0 0 20 0 15 0 66709889 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140591406282736 140591441945319 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1290] ppid=1283 vsize=13982084 memory=960 CPUtime=8.89 cores=1,3,5,7
/proc/1286/task/1290/stat : 1290 (java) R 1283 1286 897 0 -1 4202560 49079 0 0 0 855 34 0 0 20 0 15 0 66709889 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140591405230248 140591441945319 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1291] ppid=1283 vsize=13982084 memory=1156 CPUtime=8.96 cores=1,3,5,7
/proc/1286/task/1291/stat : 1291 (java) R 1283 1286 897 0 -1 4202560 73927 0 0 0 861 35 0 0 20 0 15 0 66709889 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140591404177952 140591430914119 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1292] ppid=1283 vsize=13982084 memory=3144 CPUtime=8.98 cores=1,3,5,7
/proc/1286/task/1292/stat : 1292 (java) R 1283 1286 897 0 -1 4202560 85911 0 0 0 865 33 0 0 20 0 15 0 66709889 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140591403124848 140591441945319 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1293] ppid=1283 vsize=13982084 memory=7680170660397595203 CPUtime=1.52 cores=1,3,5,7
/proc/1286/task/1293/stat : 1293 (java) S 1283 1286 897 0 -1 1077944384 11467 0 0 0 150 2 0 0 20 0 15 0 66709890 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140590995776480 140591449327317 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1294] ppid=1283 vsize=13982084 memory=4625664 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1294/stat : 1294 (java) S 1283 1286 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 66709891 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140590994724192 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1295] ppid=1283 vsize=13982084 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1295/stat : 1295 (java) S 1283 1286 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 66709891 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140590993671808 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1296] ppid=1283 vsize=13982084 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1296/stat : 1296 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140590992620112 140591449335707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1297] ppid=1283 vsize=13982084 memory=3684272 CPUtime=3.59 cores=1,3,5,7
/proc/1286/task/1297/stat : 1297 (java) S 1283 1286 897 0 -1 1077944384 8917 0 0 0 358 1 0 0 20 0 15 0 66709893 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140590991566960 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1298] ppid=1283 vsize=13982084 memory=3677556 CPUtime=3.8 cores=1,3,5,7
/proc/1286/task/1298/stat : 1298 (java) S 1283 1286 897 0 -1 1077944384 7365 0 0 0 379 1 0 0 20 0 15 0 66709893 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140590427924464 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1299] ppid=1283 vsize=13982084 memory=960 CPUtime=1.1 cores=1,3,5,7
/proc/1286/task/1299/stat : 1299 (java) S 1283 1286 897 0 -1 1077944384 11102 0 0 0 108 2 0 0 20 0 15 0 66709893 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140590426872176 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1300] ppid=1283 vsize=13982084 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1300/stat : 1300 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140590425819616 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1301] ppid=1283 vsize=13982084 memory=7680170660397595203 CPUtime=0.13 cores=1,3,5,7
/proc/1286/task/1301/stat : 1301 (java) S 1283 1286 897 0 -1 1077944384 237 0 0 0 6 7 0 0 20 0 15 0 66709899 14317654016 1194791 18446744073709551615 4194304 4196468 140725635111168 140590424767408 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
Current children cumulated CPU time: 252.31 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4779164 KiB

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

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

[startup+219.651 s]
# the end of solver process 1286 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=255.732 s, system=2.16595 s

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

[startup+218.401 s]
/proc/loadavg: 1.89 2.15 2.09 6/212 1353
/proc/meminfo: memFree=25851596/32770624 swapFree=67108860/67108860
[pid=1286] ppid=1283 vsize=13982084 memory=4779584 CPUtime=255.39 cores=1,3,5,7
/proc/1286/stat : 1286 (java) S 1283 1286 897 0 -1 1077944320 354602 0 0 0 25330 209 0 0 20 0 15 0 66709878 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140725635093712 140591449317111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
/proc/1286/statm: 3495521 1194896 3825 1 0 3484295 0
[pid=1286/tid=1288] ppid=1283 vsize=13982084 memory=640 CPUtime=206.32 cores=1,3,5,7
/proc/1286/task/1288/stat : 1288 (java) S 1283 1286 897 0 -1 1077944384 46293 0 0 0 20571 61 0 0 20 0 15 0 66709888 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140591453555296 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1289] ppid=1283 vsize=13982084 memory=4779072 CPUtime=9.69 cores=1,3,5,7
/proc/1286/task/1289/stat : 1289 (java) R 1283 1286 897 0 -1 4202560 29648 0 0 0 941 28 0 0 20 0 15 0 66709889 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140591406283152 140591442421809 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1290] ppid=1283 vsize=13982084 memory=640 CPUtime=9.64 cores=1,3,5,7
/proc/1286/task/1290/stat : 1290 (java) R 1283 1286 897 0 -1 4202560 50748 0 0 0 930 34 0 0 20 0 15 0 66709889 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140591405230552 140591434313521 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1291] ppid=1283 vsize=13982084 memory=1792 CPUtime=9.75 cores=1,3,5,7
/proc/1286/task/1291/stat : 1291 (java) R 1283 1286 897 0 -1 4202560 94839 0 0 0 939 36 0 0 20 0 15 0 66709889 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140591404178064 140591442421809 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1292] ppid=1283 vsize=13982084 memory=3904 CPUtime=9.75 cores=1,3,5,7
/proc/1286/task/1292/stat : 1292 (java) R 1283 1286 897 0 -1 4202560 87191 0 0 0 942 33 0 0 20 0 15 0 66709889 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140591403125264 140591434306600 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1293] ppid=1283 vsize=13982084 memory=-8774313645642428999 CPUtime=1.53 cores=1,3,5,7
/proc/1286/task/1293/stat : 1293 (java) S 1283 1286 897 0 -1 1077944384 16851 0 0 0 151 2 0 0 20 0 15 0 66709890 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140590995776704 140591449327317 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1294] ppid=1283 vsize=13982084 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1294/stat : 1294 (java) S 1283 1286 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 66709891 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140590994724192 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1295] ppid=1283 vsize=13982084 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1295/stat : 1295 (java) S 1283 1286 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 66709891 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140590993671808 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1296] ppid=1283 vsize=13982084 memory=2000 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1296/stat : 1296 (java) S 1283 1286 897 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 66709893 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140590992619760 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1297] ppid=1283 vsize=13982084 memory=-8774313645642428999 CPUtime=3.59 cores=1,3,5,7
/proc/1286/task/1297/stat : 1297 (java) S 1283 1286 897 0 -1 1077944384 8917 0 0 0 358 1 0 0 20 0 15 0 66709893 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140590991566960 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1298] ppid=1283 vsize=13982084 memory=1200 CPUtime=3.8 cores=1,3,5,7
/proc/1286/task/1298/stat : 1298 (java) S 1283 1286 897 0 -1 1077944384 7365 0 0 0 379 1 0 0 20 0 15 0 66709893 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140590427924464 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1299] ppid=1283 vsize=13982084 memory=15880 CPUtime=1.1 cores=1,3,5,7
/proc/1286/task/1299/stat : 1299 (java) S 1283 1286 897 0 -1 1077944384 11102 0 0 0 108 2 0 0 20 0 15 0 66709893 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140590426872176 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1300] ppid=1283 vsize=13982084 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1300/stat : 1300 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140590425819616 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1301] ppid=1283 vsize=13982084 memory=21000 CPUtime=0.13 cores=1,3,5,7
/proc/1286/task/1301/stat : 1301 (java) S 1283 1286 897 0 -1 1077944384 237 0 0 0 6 7 0 0 20 0 15 0 66709899 14317654016 1194896 18446744073709551615 4194304 4196468 140725635111168 140590424767408 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
Current children cumulated CPU time: 255.39 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4779584 KiB

[startup+219.201 s]
/proc/loadavg: 1.89 2.15 2.09 2/193 1371
/proc/meminfo: memFree=26279160/32770624 swapFree=67108860/67108860
[pid=1286] ppid=1283 vsize=13982084 memory=4779644 CPUtime=257.44 cores=1,3,5,7
/proc/1286/stat : 1286 (java) S 1283 1286 897 0 -1 1077944320 399682 0 0 0 25532 212 0 0 20 0 15 0 66709878 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140725635093712 140591449317111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
/proc/1286/statm: 3495521 1194911 3825 1 0 3484295 0
[pid=1286/tid=1288] ppid=1283 vsize=13982084 memory=3677604 CPUtime=206.32 cores=1,3,5,7
/proc/1286/task/1288/stat : 1288 (java) S 1283 1286 897 0 -1 1077944384 46293 0 0 0 20571 61 0 0 20 0 15 0 66709888 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140591453555296 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1289] ppid=1283 vsize=13982084 memory=796 CPUtime=10.11 cores=1,3,5,7
/proc/1286/task/1289/stat : 1289 (java) S 1283 1286 897 0 -1 1077944384 41574 0 0 0 981 30 0 0 20 0 15 0 66709889 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140591406283152 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1290] ppid=1283 vsize=13982084 memory=-8774313645642428999 CPUtime=10.06 cores=1,3,5,7
/proc/1286/task/1290/stat : 1290 (java) S 1283 1286 897 0 -1 1077944384 60346 0 0 0 971 35 0 0 20 0 15 0 66709889 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140591405230352 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1291] ppid=1283 vsize=13982084 memory=37676 CPUtime=10.17 cores=1,3,5,7
/proc/1286/task/1291/stat : 1291 (java) S 1283 1286 897 0 -1 1077944384 106847 0 0 0 980 37 0 0 20 0 15 0 66709889 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140591404178064 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1292] ppid=1283 vsize=13982084 memory=1292 CPUtime=10.17 cores=1,3,5,7
/proc/1286/task/1292/stat : 1292 (java) S 1283 1286 897 0 -1 1077944384 98724 0 0 0 984 33 0 0 20 0 15 0 66709889 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140591403125264 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1293] ppid=1283 vsize=13982084 memory=2316 CPUtime=1.9 cores=1,3,5,7
/proc/1286/task/1293/stat : 1293 (java) R 1283 1286 897 0 -1 4202560 16851 0 0 0 188 2 0 0 20 0 15 0 66709890 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590995776592 140591434017744 0 0 1 16800974 0 0 0 -1 1 0 0 48 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1294] ppid=1283 vsize=13982084 memory=4720036 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1294/stat : 1294 (java) S 1283 1286 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 66709891 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590994724192 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1295] ppid=1283 vsize=13982084 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1295/stat : 1295 (java) S 1283 1286 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 66709891 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590993671808 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1296] ppid=1283 vsize=13982084 memory=4777588 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1296/stat : 1296 (java) S 1283 1286 897 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 66709893 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590992619760 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1297] ppid=1283 vsize=13982084 memory=21000 CPUtime=3.59 cores=1,3,5,7
/proc/1286/task/1297/stat : 1297 (java) S 1283 1286 897 0 -1 1077944384 8917 0 0 0 358 1 0 0 20 0 15 0 66709893 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590991566960 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1298] ppid=1283 vsize=13982084 memory=1728 CPUtime=3.8 cores=1,3,5,7
/proc/1286/task/1298/stat : 1298 (java) S 1283 1286 897 0 -1 1077944384 7365 0 0 0 379 1 0 0 20 0 15 0 66709893 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590427924464 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1299] ppid=1283 vsize=13982084 memory=1228 CPUtime=1.1 cores=1,3,5,7
/proc/1286/task/1299/stat : 1299 (java) S 1283 1286 897 0 -1 1077944384 11102 0 0 0 108 2 0 0 20 0 15 0 66709893 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590426872176 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1300] ppid=1283 vsize=13982084 memory=796 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1300/stat : 1300 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590425819616 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1301] ppid=1283 vsize=13982084 memory=5788 CPUtime=0.13 cores=1,3,5,7
/proc/1286/task/1301/stat : 1301 (java) S 1283 1286 897 0 -1 1077944384 237 0 0 0 6 7 0 0 20 0 15 0 66709899 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590424767408 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
Current children cumulated CPU time: 257.44 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4779644 KiB

[startup+219.601 s]
/proc/loadavg: 1.89 2.15 2.09 2/193 1371
/proc/meminfo: memFree=26279160/32770624 swapFree=67108860/67108860
[pid=1286] ppid=1283 vsize=13982084 memory=4779644 CPUtime=257.84 cores=1,3,5,7
/proc/1286/stat : 1286 (java) S 1283 1286 897 0 -1 1077944320 399682 0 0 0 25572 212 0 0 20 0 15 0 66709878 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140725635093712 140591449317111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
/proc/1286/statm: 3495521 1194911 3825 1 0 3484295 0
[pid=1286/tid=1288] ppid=1283 vsize=13982084 memory=-8774313645642428999 CPUtime=206.32 cores=1,3,5,7
/proc/1286/task/1288/stat : 1288 (java) S 1283 1286 897 0 -1 1077944384 46293 0 0 0 20571 61 0 0 20 0 15 0 66709888 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140591453555296 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1289] ppid=1283 vsize=13982084 memory=1156 CPUtime=10.11 cores=1,3,5,7
/proc/1286/task/1289/stat : 1289 (java) S 1283 1286 897 0 -1 1077944384 41574 0 0 0 981 30 0 0 20 0 15 0 66709889 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140591406283152 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1290] ppid=1283 vsize=13982084 memory=2424 CPUtime=10.06 cores=1,3,5,7
/proc/1286/task/1290/stat : 1290 (java) S 1283 1286 897 0 -1 1077944384 60346 0 0 0 971 35 0 0 20 0 15 0 66709889 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140591405230352 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1291] ppid=1283 vsize=13982084 memory=1140 CPUtime=10.17 cores=1,3,5,7
/proc/1286/task/1291/stat : 1291 (java) S 1283 1286 897 0 -1 1077944384 106847 0 0 0 980 37 0 0 20 0 15 0 66709889 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140591404178064 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1292] ppid=1283 vsize=13982084 memory=402208 CPUtime=10.17 cores=1,3,5,7
/proc/1286/task/1292/stat : 1292 (java) S 1283 1286 897 0 -1 1077944384 98724 0 0 0 984 33 0 0 20 0 15 0 66709889 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140591403125264 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1293] ppid=1283 vsize=13982084 memory=4044 CPUtime=2.3 cores=1,3,5,7
/proc/1286/task/1293/stat : 1293 (java) R 1283 1286 897 0 -1 4202560 16851 0 0 0 228 2 0 0 20 0 15 0 66709890 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590995776592 140591434017715 0 0 1 16800974 0 0 0 -1 1 0 0 48 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1294] ppid=1283 vsize=13982084 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1294/stat : 1294 (java) S 1283 1286 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 66709891 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590994724192 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1295] ppid=1283 vsize=13982084 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1295/stat : 1295 (java) S 1283 1286 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 66709891 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590993671808 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1296] ppid=1283 vsize=13982084 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1296/stat : 1296 (java) S 1283 1286 897 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 66709893 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590992619760 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1297] ppid=1283 vsize=13982084 memory=960 CPUtime=3.59 cores=1,3,5,7
/proc/1286/task/1297/stat : 1297 (java) S 1283 1286 897 0 -1 1077944384 8917 0 0 0 358 1 0 0 20 0 15 0 66709893 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590991566960 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1298] ppid=1283 vsize=13982084 memory=1240 CPUtime=3.8 cores=1,3,5,7
/proc/1286/task/1298/stat : 1298 (java) S 1283 1286 897 0 -1 1077944384 7365 0 0 0 379 1 0 0 20 0 15 0 66709893 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590427924464 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1299] ppid=1283 vsize=13982084 memory=2248 CPUtime=1.1 cores=1,3,5,7
/proc/1286/task/1299/stat : 1299 (java) S 1283 1286 897 0 -1 1077944384 11102 0 0 0 108 2 0 0 20 0 15 0 66709893 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590426872176 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1300] ppid=1283 vsize=13982084 memory=4304 CPUtime=0 cores=1,3,5,7
/proc/1286/task/1300/stat : 1300 (java) S 1283 1286 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66709893 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590425819616 140591449327317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
[pid=1286/tid=1301] ppid=1283 vsize=13982084 memory=1624 CPUtime=0.13 cores=1,3,5,7
/proc/1286/task/1301/stat : 1301 (java) S 1283 1286 897 0 -1 1077944384 237 0 0 0 6 7 0 0 20 0 15 0 66709899 14317654016 1194911 18446744073709551615 4194304 4196468 140725635111168 140590424767408 140591449328258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 6320128 140725635117432 140725635117614 140725635117614 140725635121103 0
Current children cumulated CPU time: 257.84 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4779644 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 219.652
CPU time (s): 257.898
CPU user time (s): 255.732
CPU system time (s): 2.16595
CPU usage (%): 117.412
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 4779644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.732
system time used= 2.16595
maximum resident set size= 4779968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11295
involuntary context switches= 1024


# summary of solver processes directly reported to runsolver:
#   pid: 1286
#   total CPU time (s): 257.898
#   total CPU user time (s): 255.732
#   total CPU system time (s): 2.16595

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28114 second user time and 2.11357 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-13 19:07:26
IDJOB=4256458
IDBENCH=139754
IDSOLVER=2640
FILE ID=node125/4256458-1502644892
RUNJOBID= node125-1502642251-32117
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-17-19.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256458-1502644892/watcher-4256458-1502644892 -o /tmp/evaluation-result-4256458-1502644892/solver-4256458-1502644892 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502642251-32117 --watchdog 312  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1467652418 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4256458-1502644892.xml

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

MD5SUM BENCH= 6bb486b702ae8a5e43f429c3e7fd2e95
RANDOM SEED=1467652418

node125.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.07
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.07
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.07
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.07
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:        28644256 kB
MemAvailable:   29625388 kB
Buffers:          286444 kB
Cached:           989616 kB
SwapCached:            0 kB
Active:          3112036 kB
Inactive:         583548 kB
Active(anon):    2419860 kB
Inactive(anon):    33100 kB
Active(file):     692176 kB
Inactive(file):   550448 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             43716 kB
Writeback:             0 kB
AnonPages:       2419516 kB
Mapped:            61648 kB
Shmem:             33444 kB
Slab:             134740 kB
SReclaimable:     108688 kB
SUnreclaim:        26052 kB
KernelStack:        3392 kB
PageTables:         9596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4541628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2293760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61944 MiB
End job on node125 at 2017-08-13 19:11:06