Trace number 4258235

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
sat4j-CSP 2017-07-05? (TO) 260.108 83.837601

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-050-10-6.xml
MD5SUM251bf731ce43f6740c64f68e9f13bc46
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of constraints560
Number of domains1
Minimum domain size3207
Maximum domain size3207
Distribution of domain sizes[{"size":3207,"count":550}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":500}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":50},{"arity":2,"count":500},{"arity":50,"count":10}]
Number of extensional constraints0
Number of intensional constraints550
Distribution of constraint types[{"type":"intension","count":550},{"type":"noOverlap","count":10}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258235-1502636999/watcher-4258235-1502636999 -o /tmp/evaluation-result-4258235-1502636999/solver-4258235-1502636999 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502635870-2900 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258235-1502636999.xml 

running on 4 cores: 0,2,4,6

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=3404, runsolver pid=3401
Current StackSize limit: 8192 KiB


[startup+0.100124 s]*
/proc/loadavg: 4.64 3.23 2.38 4/215 3420
/proc/meminfo: memFree=26737516/32770624 swapFree=67108860/67108860
[pid=3404] ppid=3401 vsize=10555400 memory=30488 CPUtime=0.12 cores=0,2,4,6
/proc/3404/stat : 3404 (java) S 3401 3404 31794 0 -1 1077944320 6674 0 0 0 11 1 0 0 20 0 15 0 96787999 10808729600 7622 33554432000 4194304 4196468 140732593121232 140732593103776 140407107481335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
/proc/3404/statm: 2638850 7622 2822 1 0 2627263 0
[pid=3404/tid=3406] ppid=3401 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/3404/task/3406/stat : 3406 (java) R 3401 3404 31794 0 -1 4202560 4527 0 0 0 8 1 0 0 20 0 15 0 96787999 10808729600 7622 33554432000 4194304 4196468 140732593121232 140407111695328 140407107503261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3407] ppid=3401 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3407/stat : 3407 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788000 10808729600 7622 33554432000 4194304 4196468 140732593121232 140407049484944 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3408] ppid=3401 vsize=10555400 memory=139867799336576 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3408/stat : 3408 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788000 10808729600 7622 33554432000 4194304 4196468 140732593121232 140407048432144 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3409] ppid=3401 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3409/stat : 3409 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788000 10808729600 7622 33554432000 4194304 4196468 140732593121232 140407047379344 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3410] ppid=3401 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3410/stat : 3410 (java) S 3401 3404 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96788000 10808729600 7622 33554432000 4194304 4196468 140732593121232 140407046326544 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3411] ppid=3401 vsize=10555400 memory=139867799336576 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3411/stat : 3411 (java) S 3401 3404 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96788001 10808729600 7622 33554432000 4194304 4196468 140732593121232 140406599609200 140407107492482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3412] ppid=3401 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3412/stat : 3412 (java) S 3401 3404 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96788002 10808729600 7622 33554432000 4194304 4196468 140732593121232 140406598555168 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3413] ppid=3401 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3413/stat : 3413 (java) S 3401 3404 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96788002 10808729600 7622 33554432000 4194304 4196468 140732593121232 140406597502320 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3414] ppid=3401 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3414/stat : 3414 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808729600 7622 33554432000 4194304 4196468 140732593121232 140406596450640 140407107499931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3416] ppid=3401 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3416/stat : 3416 (java) S 3401 3404 31794 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 96788004 10808729600 7622 33554432000 4194304 4196468 140732593121232 140406595398000 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3417] ppid=3401 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3417/stat : 3417 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808729600 7622 33554432000 4194304 4196468 140732593121232 140406594345200 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3418] ppid=3401 vsize=10555400 memory=139867799336576 CPUtime=0.02 cores=0,2,4,6
/proc/3404/task/3418/stat : 3418 (java) S 3401 3404 31794 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 96788004 10808729600 7622 33554432000 4194304 4196468 140732593121232 140406593292400 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3419] ppid=3401 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3419/stat : 3419 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808729600 7622 33554432000 4194304 4196468 140732593121232 140406592239840 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3420] ppid=3401 vsize=10555400 memory=139867799336576 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3420/stat : 3420 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788005 10808729600 7622 33554432000 4194304 4196468 140732593121232 140406591188144 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30488 KiB

[startup+0.210617 s]*
/proc/loadavg: 4.64 3.23 2.38 4/215 3420
/proc/meminfo: memFree=26725888/32770624 swapFree=67108860/67108860
[pid=3404] ppid=3401 vsize=10555400 memory=39792 CPUtime=0.31 cores=0,2,4,6
/proc/3404/stat : 3404 (java) S 3401 3404 31794 0 -1 1077944320 8221 0 0 0 29 2 0 0 20 0 15 0 96787999 10808729600 9948 33554432000 4194304 4196468 140732593121232 140732593103776 140407107481335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
/proc/3404/statm: 2638850 9948 2949 1 0 2627263 0
[pid=3404/tid=3406] ppid=3401 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3404/task/3406/stat : 3406 (java) R 3401 3404 31794 0 -1 4202560 5258 0 0 0 18 1 0 0 20 0 15 0 96787999 10808729600 9948 33554432000 4194304 4196468 140732593121232 140407111713536 140407091561822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3407] ppid=3401 vsize=10555400 memory=331 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3407/stat : 3407 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788000 10808729600 9948 33554432000 4194304 4196468 140732593121232 140407049484944 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3408] ppid=3401 vsize=10555400 memory=139867799350650 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3408/stat : 3408 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788000 10808729600 9948 33554432000 4194304 4196468 140732593121232 140407048432144 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3409] ppid=3401 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3409/stat : 3409 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788000 10808729600 9948 33554432000 4194304 4196468 140732593121232 140407047379344 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3410] ppid=3401 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3410/stat : 3410 (java) S 3401 3404 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96788000 10808729600 9948 33554432000 4194304 4196468 140732593121232 140407046326544 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3411] ppid=3401 vsize=10555400 memory=139867799336576 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3411/stat : 3411 (java) S 3401 3404 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96788001 10808729600 9948 33554432000 4194304 4196468 140732593121232 140406599609200 140407107492482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3412] ppid=3401 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3412/stat : 3412 (java) S 3401 3404 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96788002 10808729600 9948 33554432000 4194304 4196468 140732593121232 140406598555168 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3413] ppid=3401 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3413/stat : 3413 (java) S 3401 3404 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96788002 10808729600 9948 33554432000 4194304 4196468 140732593121232 140406597502320 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3414] ppid=3401 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3414/stat : 3414 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808729600 9948 33554432000 4194304 4196468 140732593121232 140406596450640 140407107499931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3416] ppid=3401 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3404/task/3416/stat : 3416 (java) S 3401 3404 31794 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 96788004 10808729600 9948 33554432000 4194304 4196468 140732593121232 140406595398000 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3417] ppid=3401 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3404/task/3417/stat : 3417 (java) S 3401 3404 31794 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 15 0 96788004 10808729600 9948 33554432000 4194304 4196468 140732593121232 140406594345200 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3418] ppid=3401 vsize=10555400 memory=139867799336576 CPUtime=0.06 cores=0,2,4,6
/proc/3404/task/3418/stat : 3418 (java) S 3401 3404 31794 0 -1 1077944384 832 0 0 0 6 0 0 0 20 0 15 0 96788004 10808729600 9948 33554432000 4194304 4196468 140732593121232 140406593292400 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3419] ppid=3401 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3419/stat : 3419 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808729600 9948 33554432000 4194304 4196468 140732593121232 140406592239840 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3420] ppid=3401 vsize=10555400 memory=139867799336576 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3420/stat : 3420 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788005 10808729600 9948 33554432000 4194304 4196468 140732593121232 140406591188144 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39792 KiB

[startup+0.310218 s]*
/proc/loadavg: 4.64 3.23 2.38 5/215 3420
/proc/meminfo: memFree=26719932/32770624 swapFree=67108860/67108860
[pid=3404] ppid=3401 vsize=10555476 memory=46884 CPUtime=0.52 cores=0,2,4,6
/proc/3404/stat : 3404 (java) S 3401 3404 31794 0 -1 1077944320 8884 0 0 0 50 2 0 0 20 0 15 0 96787999 10808807424 11721 33554432000 4194304 4196468 140732593121232 140732593103776 140407107481335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
/proc/3404/statm: 2638869 11721 3041 1 0 2627263 0
[pid=3404/tid=3406] ppid=3401 vsize=10555476 memory=53476 CPUtime=0.29 cores=0,2,4,6
/proc/3404/task/3406/stat : 3406 (java) R 3401 3404 31794 0 -1 4202560 5714 0 0 0 28 1 0 0 20 0 15 0 96787999 10808807424 11721 33554432000 4194304 4196468 140732593121232 140407111713504 140407091561822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3407] ppid=3401 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3407/stat : 3407 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788000 10808807424 11721 33554432000 4194304 4196468 140732593121232 140407049484944 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3408] ppid=3401 vsize=10555476 memory=139867799394592 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3408/stat : 3408 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788000 10808807424 11721 33554432000 4194304 4196468 140732593121232 140407048432144 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3409] ppid=3401 vsize=10555476 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3409/stat : 3409 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788000 10808807424 11721 33554432000 4194304 4196468 140732593121232 140407047379344 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3410] ppid=3401 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3410/stat : 3410 (java) S 3401 3404 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96788000 10808807424 11721 33554432000 4194304 4196468 140732593121232 140407046326544 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3411] ppid=3401 vsize=10555476 memory=139867799401504 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3411/stat : 3411 (java) S 3401 3404 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96788001 10808807424 11721 33554432000 4194304 4196468 140732593121232 140406599609200 140407107492482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3412] ppid=3401 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3412/stat : 3412 (java) S 3401 3404 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 11721 33554432000 4194304 4196468 140732593121232 140406598555168 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3413] ppid=3401 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3413/stat : 3413 (java) S 3401 3404 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 11721 33554432000 4194304 4196468 140732593121232 140406597502320 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3414] ppid=3401 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3414/stat : 3414 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 11721 33554432000 4194304 4196468 140732593121232 140406596450640 140407107499931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3416] ppid=3401 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3404/task/3416/stat : 3416 (java) S 3401 3404 31794 0 -1 1077944384 602 0 0 0 4 0 0 0 20 0 15 0 96788004 10808807424 11721 33554432000 4194304 4196468 140732593121232 140406595398000 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3417] ppid=3401 vsize=10555476 memory=139867690487311 CPUtime=0.04 cores=0,2,4,6
/proc/3404/task/3417/stat : 3417 (java) S 3401 3404 31794 0 -1 1077944384 282 0 0 0 4 0 0 0 20 0 15 0 96788004 10808807424 11721 33554432000 4194304 4196468 140732593121232 140406594345200 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3418] ppid=3401 vsize=10555476 memory=139867799339905 CPUtime=0.13 cores=0,2,4,6
/proc/3404/task/3418/stat : 3418 (java) R 3401 3404 31794 0 -1 4202560 928 0 0 0 13 0 0 0 20 0 15 0 96788004 10808807424 11721 33554432000 4194304 4196468 140732593121232 140406593292400 140407100581182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3419] ppid=3401 vsize=10555476 memory=139867690491855 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3419/stat : 3419 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 11721 33554432000 4194304 4196468 140732593121232 140406592239840 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3420] ppid=3401 vsize=10555476 memory=279735489845184 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3420/stat : 3420 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788005 10808807424 11721 33554432000 4194304 4196468 140732593121232 140406591188144 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46884 KiB

[startup+0.711394 s]
/proc/loadavg: 4.64 3.23 2.38 5/215 3420
/proc/meminfo: memFree=26596748/32770624 swapFree=67108860/67108860
[pid=3404] ppid=3401 vsize=10555476 memory=388424 CPUtime=1.66 cores=0,2,4,6
/proc/3404/stat : 3404 (java) S 3401 3404 31794 0 -1 1077944320 11284 0 0 0 147 19 0 0 20 0 15 0 96787999 10808807424 97106 33554432000 4194304 4196468 140732593121232 140732593103776 140407107481335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
/proc/3404/statm: 2638869 97106 3102 1 0 2627263 0
[pid=3404/tid=3406] ppid=3401 vsize=10555476 memory=2372 CPUtime=0.58 cores=0,2,4,6
/proc/3404/task/3406/stat : 3406 (java) S 3401 3404 31794 0 -1 1077944384 5925 0 0 0 53 5 0 0 20 0 15 0 96787999 10808807424 97106 33554432000 4194304 4196468 140732593121232 140407111718160 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3407] ppid=3401 vsize=10555476 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3404/task/3407/stat : 3407 (java) R 3401 3404 31794 0 -1 4202560 122 0 0 0 6 3 0 0 20 0 15 0 96788000 10808807424 97106 33554432000 4194304 4196468 140732593121232 140407049485144 140407092503456 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3408] ppid=3401 vsize=10555476 memory=4612 CPUtime=0.09 cores=0,2,4,6
/proc/3404/task/3408/stat : 3408 (java) R 3401 3404 31794 0 -1 4202560 128 0 0 0 6 3 0 0 20 0 15 0 96788000 10808807424 97106 33554432000 4194304 4196468 140732593121232 140407048432144 140407092525504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3409] ppid=3401 vsize=10555476 memory=15872 CPUtime=0.1 cores=0,2,4,6
/proc/3404/task/3409/stat : 3409 (java) R 3401 3404 31794 0 -1 4202560 138 0 0 0 7 3 0 0 20 0 15 0 96788000 10808807424 97106 33554432000 4194304 4196468 140732593121232 140407047379544 140407092504981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3410] ppid=3401 vsize=10555476 memory=18448 CPUtime=0.08 cores=0,2,4,6
/proc/3404/task/3410/stat : 3410 (java) R 3401 3404 31794 0 -1 4202560 120 0 0 0 6 2 0 0 20 0 15 0 96788000 10808807424 97106 33554432000 4194304 4196468 140732593121232 140407046326432 140407092503456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3411] ppid=3401 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3411/stat : 3411 (java) S 3401 3404 31794 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 96788001 10808807424 97106 33554432000 4194304 4196468 140732593121232 140406599607712 140407107491541 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3412] ppid=3401 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3412/stat : 3412 (java) S 3401 3404 31794 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 97106 33554432000 4194304 4196468 140732593121232 140406598555168 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3413] ppid=3401 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3413/stat : 3413 (java) S 3401 3404 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 97106 33554432000 4194304 4196468 140732593121232 140406597502320 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3414] ppid=3401 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3414/stat : 3414 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 97106 33554432000 4194304 4196468 140732593121232 140406596450640 140407107499931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3416] ppid=3401 vsize=10555476 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/3404/task/3416/stat : 3416 (java) S 3401 3404 31794 0 -1 1077944384 1005 0 0 0 18 0 0 0 20 0 15 0 96788004 10808807424 97106 33554432000 4194304 4196468 140732593121232 140406595398000 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3417] ppid=3401 vsize=10555476 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/3404/task/3417/stat : 3417 (java) S 3401 3404 31794 0 -1 1077944384 1054 0 0 0 24 0 0 0 20 0 15 0 96788004 10808807424 97106 33554432000 4194304 4196468 140732593121232 140406594345200 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3418] ppid=3401 vsize=10555476 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/3404/task/3418/stat : 3418 (java) S 3401 3404 31794 0 -1 1077944384 1348 0 0 0 23 0 0 0 20 0 15 0 96788004 10808807424 97106 33554432000 4194304 4196468 140732593121232 140406593292400 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3419] ppid=3401 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3419/stat : 3419 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 97106 33554432000 4194304 4196468 140732593121232 140406592239840 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3420] ppid=3401 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3420/stat : 3420 (java) S 3401 3404 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96788005 10808807424 97106 33554432000 4194304 4196468 140732593121232 140406591188144 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 388424 KiB

[startup+1.50093 s]
/proc/loadavg: 4.64 3.23 2.38 6/215 3420
/proc/meminfo: memFree=26037712/32770624 swapFree=67108860/67108860
[pid=3404] ppid=3401 vsize=10555476 memory=1362400 CPUtime=3.32 cores=0,2,4,6
/proc/3404/stat : 3404 (java) S 3401 3404 31794 0 -1 1077944320 14898 0 0 0 275 57 0 0 20 0 15 0 96787999 10808807424 340600 33554432000 4194304 4196468 140732593121232 140732593103776 140407107481335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
/proc/3404/statm: 2638869 340600 3104 1 0 2627263 0
[pid=3404/tid=3406] ppid=3401 vsize=10555476 memory=3467830224274010683 CPUtime=1.06 cores=0,2,4,6
/proc/3404/task/3406/stat : 3406 (java) R 3401 3404 31794 0 -1 4202560 6794 0 0 0 92 14 0 0 20 0 15 0 96787999 10808807424 340600 33554432000 4194304 4196468 140732593121232 140407111718336 140407093549460 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3407] ppid=3401 vsize=10555476 memory=457892 CPUtime=0.37 cores=0,2,4,6
/proc/3404/task/3407/stat : 3407 (java) S 3401 3404 31794 0 -1 1077944384 567 0 0 0 27 10 0 0 20 0 15 0 96788000 10808807424 340600 33554432000 4194304 4196468 140732593121232 140407049484944 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3408] ppid=3401 vsize=10555476 memory=2241 CPUtime=0.38 cores=0,2,4,6
/proc/3404/task/3408/stat : 3408 (java) S 3401 3404 31794 0 -1 1077944384 300 0 0 0 29 9 0 0 20 0 15 0 96788000 10808807424 340600 33554432000 4194304 4196468 140732593121232 140407048432144 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3409] ppid=3401 vsize=10555476 memory=4612 CPUtime=0.38 cores=0,2,4,6
/proc/3404/task/3409/stat : 3409 (java) S 3401 3404 31794 0 -1 1077944384 411 0 0 0 28 10 0 0 20 0 15 0 96788000 10808807424 340600 33554432000 4194304 4196468 140732593121232 140407047379344 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3410] ppid=3401 vsize=10555476 memory=15872 CPUtime=0.37 cores=0,2,4,6
/proc/3404/task/3410/stat : 3410 (java) S 3401 3404 31794 0 -1 1077944384 1008 0 0 0 27 10 0 0 20 0 15 0 96788000 10808807424 340600 33554432000 4194304 4196468 140732593121232 140407046326544 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3411] ppid=3401 vsize=10555476 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3411/stat : 3411 (java) S 3401 3404 31794 0 -1 1077944384 1029 0 0 0 0 0 0 0 20 0 15 0 96788001 10808807424 340600 33554432000 4194304 4196468 140732593121232 140406599609200 140407107492482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0

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


[startup+83.8376 s]
# the end of solver process 3404 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=254.808 s, system=5.29955 s

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

[startup+82.4014 s]
/proc/loadavg: 5.03 3.65 2.60 8/215 3496
/proc/meminfo: memFree=18820800/32770624 swapFree=67108860/67108860
[pid=3404] ppid=3401 vsize=10555476 memory=8295020 CPUtime=254.85 cores=0,2,4,6
/proc/3404/stat : 3404 (java) S 3401 3404 31794 0 -1 1077944320 2061457 0 0 0 24969 516 0 0 20 0 15 0 96787999 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140732593103776 140407107481335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
/proc/3404/statm: 2638869 2073755 3133 1 0 2627263 0
[pid=3404/tid=3406] ppid=3401 vsize=10555476 memory=5296 CPUtime=13.85 cores=0,2,4,6
/proc/3404/task/3406/stat : 3406 (java) S 3401 3404 31794 0 -1 1077944384 26443 0 0 0 1353 32 0 0 20 0 15 0 96787999 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407111714736 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3407] ppid=3401 vsize=10555476 memory=1196 CPUtime=57.59 cores=0,2,4,6
/proc/3404/task/3407/stat : 3407 (java) R 3401 3404 31794 0 -1 4202560 465855 0 0 0 5639 120 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407049485144 140407092466619 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3408] ppid=3401 vsize=10555476 memory=8112282956445269571 CPUtime=57.38 cores=0,2,4,6
/proc/3404/task/3408/stat : 3408 (java) R 3401 3404 31794 0 -1 4202560 515263 0 0 0 5620 118 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407048432344 140407092466632 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3409] ppid=3401 vsize=10555476 memory=27684 CPUtime=57.73 cores=0,2,4,6
/proc/3404/task/3409/stat : 3409 (java) R 3401 3404 31794 0 -1 4202560 598458 0 0 0 5646 127 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407047378928 140407100109543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3410] ppid=3401 vsize=10555476 memory=1292 CPUtime=56.9 cores=0,2,4,6
/proc/3404/task/3410/stat : 3410 (java) R 3401 3404 31794 0 -1 4202560 398920 0 0 0 5579 111 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407046326128 140407100109543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3411] ppid=3401 vsize=10555476 memory=2428 CPUtime=10.09 cores=0,2,4,6
/proc/3404/task/3411/stat : 3411 (java) S 3401 3404 31794 0 -1 1077944384 47455 0 0 0 1006 3 0 0 20 0 15 0 96788001 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406599607520 140407107491541 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3412] ppid=3401 vsize=10555476 memory=27684 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3412/stat : 3412 (java) S 3401 3404 31794 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406598555232 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3413] ppid=3401 vsize=10555476 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3413/stat : 3413 (java) S 3401 3404 31794 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406597502336 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3414] ppid=3401 vsize=10555476 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3414/stat : 3414 (java) S 3401 3404 31794 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406596450288 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3416] ppid=3401 vsize=10555476 memory=1728 CPUtime=0.44 cores=0,2,4,6
/proc/3404/task/3416/stat : 3416 (java) S 3401 3404 31794 0 -1 1077944384 2446 0 0 0 44 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406595398000 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3417] ppid=3401 vsize=10555476 memory=1420 CPUtime=0.46 cores=0,2,4,6
/proc/3404/task/3417/stat : 3417 (java) S 3401 3404 31794 0 -1 1077944384 1859 0 0 0 46 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406594345200 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3418] ppid=3401 vsize=10555476 memory=11032 CPUtime=0.28 cores=0,2,4,6
/proc/3404/task/3418/stat : 3418 (java) S 3401 3404 31794 0 -1 1077944384 2789 0 0 0 28 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406593292400 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3419] ppid=3401 vsize=10555476 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3419/stat : 3419 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406592239840 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3420] ppid=3401 vsize=10555476 memory=1952 CPUtime=0.02 cores=0,2,4,6
/proc/3404/task/3420/stat : 3420 (java) S 3401 3404 31794 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 96788005 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406591188144 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
Current children cumulated CPU time: 254.85 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8295020 KiB

[startup+83.2014 s]
/proc/loadavg: 5.03 3.65 2.60 8/215 3496
/proc/meminfo: memFree=18641216/32770624 swapFree=67108860/67108860
[pid=3404] ppid=3401 vsize=10555476 memory=8295020 CPUtime=257.97 cores=0,2,4,6
/proc/3404/stat : 3404 (java) S 3401 3404 31794 0 -1 1077944320 2061457 0 0 0 25280 517 0 0 20 0 15 0 96787999 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140732593103776 140407107481335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
/proc/3404/statm: 2638869 2073755 3133 1 0 2627263 0
[pid=3404/tid=3406] ppid=3401 vsize=10555476 memory=1004 CPUtime=13.85 cores=0,2,4,6
/proc/3404/task/3406/stat : 3406 (java) S 3401 3404 31794 0 -1 1077944384 26443 0 0 0 1353 32 0 0 20 0 15 0 96787999 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407111714736 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3407] ppid=3401 vsize=10555476 memory=8295020 CPUtime=58.39 cores=0,2,4,6
/proc/3404/task/3407/stat : 3407 (java) R 3401 3404 31794 0 -1 4202560 465855 0 0 0 5719 120 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407049485144 140407092178927 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3408] ppid=3401 vsize=10555476 memory=0 CPUtime=58.16 cores=0,2,4,6
/proc/3404/task/3408/stat : 3408 (java) R 3401 3404 31794 0 -1 4202560 515263 0 0 0 5698 118 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407048432344 140407092432434 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3409] ppid=3401 vsize=10555476 memory=0 CPUtime=58.49 cores=0,2,4,6
/proc/3404/task/3409/stat : 3409 (java) R 3401 3404 31794 0 -1 4202560 598458 0 0 0 5722 127 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407047378928 140407100109543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3410] ppid=3401 vsize=10555476 memory=8112282956445269571 CPUtime=57.67 cores=0,2,4,6
/proc/3404/task/3410/stat : 3410 (java) R 3401 3404 31794 0 -1 4202560 398920 0 0 0 5655 112 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407046326128 140407100109543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3411] ppid=3401 vsize=10555476 memory=1792 CPUtime=10.09 cores=0,2,4,6
/proc/3404/task/3411/stat : 3411 (java) S 3401 3404 31794 0 -1 1077944384 47455 0 0 0 1006 3 0 0 20 0 15 0 96788001 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406599607520 140407107491541 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3412] ppid=3401 vsize=10555476 memory=636 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3412/stat : 3412 (java) S 3401 3404 31794 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406598555232 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3413] ppid=3401 vsize=10555476 memory=956 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3413/stat : 3413 (java) S 3401 3404 31794 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406597502336 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3414] ppid=3401 vsize=10555476 memory=8552 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3414/stat : 3414 (java) S 3401 3404 31794 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406596450288 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3416] ppid=3401 vsize=10555476 memory=33 CPUtime=0.44 cores=0,2,4,6
/proc/3404/task/3416/stat : 3416 (java) S 3401 3404 31794 0 -1 1077944384 2446 0 0 0 44 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406595398048 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3417] ppid=3401 vsize=10555476 memory=6081356401843064930 CPUtime=0.46 cores=0,2,4,6
/proc/3404/task/3417/stat : 3417 (java) S 3401 3404 31794 0 -1 1077944384 1859 0 0 0 46 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406594345248 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3418] ppid=3401 vsize=10555476 memory=7232890293113415765 CPUtime=0.28 cores=0,2,4,6
/proc/3404/task/3418/stat : 3418 (java) S 3401 3404 31794 0 -1 1077944384 2789 0 0 0 28 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406593292160 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3419] ppid=3401 vsize=10555476 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3419/stat : 3419 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406592239840 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3420] ppid=3401 vsize=10555476 memory=1156 CPUtime=0.02 cores=0,2,4,6
/proc/3404/task/3420/stat : 3420 (java) S 3401 3404 31794 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 96788005 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406591188144 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
Current children cumulated CPU time: 257.97 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8295020 KiB

[startup+83.6014 s]
/proc/loadavg: 5.03 3.65 2.60 8/215 3496
/proc/meminfo: memFree=18641216/32770624 swapFree=67108860/67108860
[pid=3404] ppid=3401 vsize=10555476 memory=8295020 CPUtime=259.54 cores=0,2,4,6
/proc/3404/stat : 3404 (java) S 3401 3404 31794 0 -1 1077944320 2061457 0 0 0 25437 517 0 0 20 0 15 0 96787999 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140732593103776 140407107481335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
/proc/3404/statm: 2638869 2073755 3133 1 0 2627263 0
[pid=3404/tid=3406] ppid=3401 vsize=10555476 memory=8112282956445269571 CPUtime=13.85 cores=0,2,4,6
/proc/3404/task/3406/stat : 3406 (java) S 3401 3404 31794 0 -1 1077944384 26443 0 0 0 1353 32 0 0 20 0 15 0 96787999 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407111714736 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3407] ppid=3401 vsize=10555476 memory=8552 CPUtime=58.79 cores=0,2,4,6
/proc/3404/task/3407/stat : 3407 (java) R 3401 3404 31794 0 -1 4202560 465855 0 0 0 5759 120 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407049485144 140407092179110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3408] ppid=3401 vsize=10555476 memory=1420 CPUtime=58.56 cores=0,2,4,6
/proc/3404/task/3408/stat : 3408 (java) R 3401 3404 31794 0 -1 4202560 515263 0 0 0 5738 118 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407048432344 140407092431940 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3409] ppid=3401 vsize=10555476 memory=11032 CPUtime=58.87 cores=0,2,4,6
/proc/3404/task/3409/stat : 3409 (java) R 3401 3404 31794 0 -1 4202560 598458 0 0 0 5760 127 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407047378928 140407100109543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3410] ppid=3401 vsize=10555476 memory=1712 CPUtime=58.06 cores=0,2,4,6
/proc/3404/task/3410/stat : 3410 (java) R 3401 3404 31794 0 -1 4202560 398920 0 0 0 5694 112 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407046326128 140407100109543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3411] ppid=3401 vsize=10555476 memory=1952 CPUtime=10.09 cores=0,2,4,6
/proc/3404/task/3411/stat : 3411 (java) S 3401 3404 31794 0 -1 1077944384 47455 0 0 0 1006 3 0 0 20 0 15 0 96788001 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406599607520 140407107491541 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3412] ppid=3401 vsize=10555476 memory=8552 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3412/stat : 3412 (java) S 3401 3404 31794 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406598555232 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3413] ppid=3401 vsize=10555476 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3413/stat : 3413 (java) S 3401 3404 31794 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406597502336 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3414] ppid=3401 vsize=10555476 memory=792 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3414/stat : 3414 (java) S 3401 3404 31794 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406596450288 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3416] ppid=3401 vsize=10555476 memory=1004 CPUtime=0.44 cores=0,2,4,6
/proc/3404/task/3416/stat : 3416 (java) S 3401 3404 31794 0 -1 1077944384 2446 0 0 0 44 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406595398048 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3417] ppid=3401 vsize=10555476 memory=8295020 CPUtime=0.46 cores=0,2,4,6
/proc/3404/task/3417/stat : 3417 (java) S 3401 3404 31794 0 -1 1077944384 1859 0 0 0 46 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406594345248 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3418] ppid=3401 vsize=10555476 memory=8295020 CPUtime=0.28 cores=0,2,4,6
/proc/3404/task/3418/stat : 3418 (java) S 3401 3404 31794 0 -1 1077944384 2789 0 0 0 28 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406593292160 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3419] ppid=3401 vsize=10555476 memory=8295020 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3419/stat : 3419 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406592239840 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3420] ppid=3401 vsize=10555476 memory=4140 CPUtime=0.02 cores=0,2,4,6
/proc/3404/task/3420/stat : 3420 (java) S 3401 3404 31794 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 96788005 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406591188144 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
Current children cumulated CPU time: 259.54 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8295020 KiB

[startup+83.7014 s]
/proc/loadavg: 5.03 3.65 2.60 8/215 3496
/proc/meminfo: memFree=18641216/32770624 swapFree=67108860/67108860
[pid=3404] ppid=3401 vsize=10555476 memory=8295020 CPUtime=259.93 cores=0,2,4,6
/proc/3404/stat : 3404 (java) S 3401 3404 31794 0 -1 1077944320 2061457 0 0 0 25476 517 0 0 20 0 15 0 96787999 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140732593103776 140407107481335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
/proc/3404/statm: 2638869 2073755 3133 1 0 2627263 0
[pid=3404/tid=3406] ppid=3401 vsize=10555476 memory=55 CPUtime=13.85 cores=0,2,4,6
/proc/3404/task/3406/stat : 3406 (java) S 3401 3404 31794 0 -1 1077944384 26443 0 0 0 1353 32 0 0 20 0 15 0 96787999 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407111714736 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3407] ppid=3401 vsize=10555476 memory=8295020 CPUtime=58.89 cores=0,2,4,6
/proc/3404/task/3407/stat : 3407 (java) R 3401 3404 31794 0 -1 4202560 465855 0 0 0 5769 120 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407049485144 140407092432328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3408] ppid=3401 vsize=10555476 memory=8295020 CPUtime=58.66 cores=0,2,4,6
/proc/3404/task/3408/stat : 3408 (java) R 3401 3404 31794 0 -1 4202560 515263 0 0 0 5748 118 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407048432344 140407092179087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3409] ppid=3401 vsize=10555476 memory=8295020 CPUtime=58.97 cores=0,2,4,6
/proc/3404/task/3409/stat : 3409 (java) R 3401 3404 31794 0 -1 4202560 598458 0 0 0 5770 127 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407047378928 140407100109543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3410] ppid=3401 vsize=10555476 memory=8295020 CPUtime=58.16 cores=0,2,4,6
/proc/3404/task/3410/stat : 3410 (java) R 3401 3404 31794 0 -1 4202560 398920 0 0 0 5704 112 0 0 20 0 15 0 96788000 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140407046326128 140407100109543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3411] ppid=3401 vsize=10555476 memory=8295020 CPUtime=10.09 cores=0,2,4,6
/proc/3404/task/3411/stat : 3411 (java) S 3401 3404 31794 0 -1 1077944384 47455 0 0 0 1006 3 0 0 20 0 15 0 96788001 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406599607520 140407107491541 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3412] ppid=3401 vsize=10555476 memory=8295020 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3412/stat : 3412 (java) S 3401 3404 31794 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406598555232 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3413] ppid=3401 vsize=10555476 memory=16496 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3413/stat : 3413 (java) S 3401 3404 31794 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 96788002 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406597502336 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3414] ppid=3401 vsize=10555476 memory=8295020 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3414/stat : 3414 (java) S 3401 3404 31794 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406596450288 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3416] ppid=3401 vsize=10555476 memory=8295020 CPUtime=0.44 cores=0,2,4,6
/proc/3404/task/3416/stat : 3416 (java) S 3401 3404 31794 0 -1 1077944384 2446 0 0 0 44 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406595398048 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3417] ppid=3401 vsize=10555476 memory=8295020 CPUtime=0.46 cores=0,2,4,6
/proc/3404/task/3417/stat : 3417 (java) S 3401 3404 31794 0 -1 1077944384 1859 0 0 0 46 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406594345248 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3418] ppid=3401 vsize=10555476 memory=8295020 CPUtime=0.28 cores=0,2,4,6
/proc/3404/task/3418/stat : 3418 (java) S 3401 3404 31794 0 -1 1077944384 2789 0 0 0 28 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406593292160 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3419] ppid=3401 vsize=10555476 memory=8295020 CPUtime=0 cores=0,2,4,6
/proc/3404/task/3419/stat : 3419 (java) S 3401 3404 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96788004 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406592239840 140407107491541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
[pid=3404/tid=3420] ppid=3401 vsize=10555476 memory=8295020 CPUtime=0.02 cores=0,2,4,6
/proc/3404/task/3420/stat : 3420 (java) S 3401 3404 31794 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 96788005 10808807424 2073755 33554432000 4194304 4196468 140732593121232 140406591188144 140407107492482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140732593124491 140732593124644 140732593124644 140732593127375 0
Current children cumulated CPU time: 259.93 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8295020 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 83.8376
CPU time (s): 260.108
CPU user time (s): 254.808
CPU system time (s): 5.29955
CPU usage (%): 310.252
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8295020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.808
system time used= 5.29955
maximum resident set size= 8295228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2061461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12797
involuntary context switches= 4370


# summary of solver processes directly reported to runsolver:
#   pid: 3404
#   total CPU time (s): 260.108
#   total CPU user time (s): 254.808
#   total CPU system time (s): 5.29955

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.520998 second user time and 0.81515 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 16:55:41
IDJOB=4258235
IDBENCH=115619
IDSOLVER=2643
FILE ID=node107/4258235-1502636999
RUNJOBID= node107-1502635870-2900
PBS_JOBID= 20628298
Free space on /tmp= 61660 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-050-10-6.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258235-1502636999/watcher-4258235-1502636999 -o /tmp/evaluation-result-4258235-1502636999/solver-4258235-1502636999 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502635870-2900 --watchdog 312  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258235-1502636999.xml

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

MD5SUM BENCH= 251bf731ce43f6740c64f68e9f13bc46
RANDOM SEED=1016285310

node107.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.84
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.84
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.84
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.84
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:        26757180 kB
MemAvailable:   29532548 kB
Buffers:          163840 kB
Cached:          2900292 kB
SwapCached:            0 kB
Active:          2934540 kB
Inactive:        2640100 kB
Active(anon):    2513444 kB
Inactive(anon):    24972 kB
Active(file):     421096 kB
Inactive(file):  2615128 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1728 kB
Writeback:             4 kB
AnonPages:       2516604 kB
Mapped:            55128 kB
Shmem:             25228 kB
Slab:             135488 kB
SReclaimable:     109960 kB
SUnreclaim:        25528 kB
KernelStack:        3488 kB
PageTables:        10020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4170784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2211840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61660 MiB
End job on node107 at 2017-08-13 16:57:05