Trace number 4257903

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.41599 85.575203

General information on the benchmark

NameBinPacking/BinPacking-sum-skj2/
BinPacking-sum-n3w4b3r3.xml
MD5SUM4fff2bf814931cbe2e98d8a10b7c6933
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 variables801
Number of constraints53
Number of domains2
Minimum domain size26
Maximum domain size124
Distribution of domain sizes[{"size":26,"count":1},{"size":124,"count":800}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":775},{"degree":5,"count":25}]
Minimum constraint arity26
Maximum constraint arity800
Distribution of constraint arities[{"arity":26,"count":1},{"arity":32,"count":50},{"arity":800,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":25},{"type":"lex","count":1},{"type":"sum","count":25},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257903-1502650754/watcher-4257903-1502650754 -o /tmp/evaluation-result-4257903-1502650754/solver-4257903-1502650754 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257903-1502650754.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
Current StackSize limit: 8192 KiB

solver pid=16398, runsolver pid=16395

[startup+0.100158 s]*
/proc/loadavg: 4.40 4.06 3.75 3/204 16407
/proc/meminfo: memFree=28583112/32770624 swapFree=67108860/67108860
[pid=16398] ppid=16395 vsize=10151672 memory=21248 CPUtime=0.03 cores=1,3,5,7
/proc/16398/stat : 16398 (java) S 16395 16398 17093 0 -1 1077944320 4209 0 0 0 3 0 0 0 20 0 9 0 67268699 10395312128 5312 18446744073709551615 4194304 4196468 140723717059440 140723717041984 140356686278391 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
/proc/16398/statm: 2537918 5312 2121 1 0 2527415 0
[pid=16398/tid=16400] ppid=16395 vsize=10151672 memory=4206751525541407381 CPUtime=0.03 cores=1,3,5,7
/proc/16398/task/16400/stat : 16400 (java) R 16395 16398 17093 0 -1 4202560 2849 0 0 0 3 0 0 0 20 0 9 0 67268705 10395312128 5312 18446744073709551615 4194304 4196468 140723717059440 140356690513488 140356686301981 0 4 1 16800970 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16401] ppid=16395 vsize=10151672 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16401/stat : 16401 (java) S 16395 16398 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67268706 10395312128 5312 18446744073709551615 4194304 4196468 140723717059440 140356647176592 140356686288597 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16402] ppid=16395 vsize=10151672 memory=140624220894848 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16402/stat : 16402 (java) S 16395 16398 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67268706 10395312128 5312 18446744073709551615 4194304 4196468 140723717059440 140356296300816 140356686288597 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16403] ppid=16395 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16403/stat : 16403 (java) S 16395 16398 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67268706 10395312128 5312 18446744073709551615 4194304 4196468 140723717059440 140356295248528 140356686288597 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16404] ppid=16395 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16404/stat : 16404 (java) S 16395 16398 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67268706 10395312128 5312 18446744073709551615 4194304 4196468 140723717059440 140356294195728 140356686288597 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16405] ppid=16395 vsize=10151672 memory=140624220894848 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16405/stat : 16405 (java) S 16395 16398 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67268708 10395312128 5312 18446744073709551615 4194304 4196468 140723717059440 140356250294896 140356686289538 0 0 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16406] ppid=16395 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16406/stat : 16406 (java) S 16395 16398 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 67268708 10395312128 5312 18446744073709551615 4194304 4196468 140723717059440 140356249240864 140356686288597 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16407] ppid=16395 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16407/stat : 16407 (java) S 16395 16398 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 67268708 10395312128 5312 18446744073709551615 4194304 4196468 140723717059440 140356248188528 140356686288597 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 21248 KiB

[startup+0.209797 s]*
/proc/loadavg: 4.40 4.06 3.75 3/210 16413
/proc/meminfo: memFree=28580164/32770624 swapFree=67108860/67108860
[pid=16398] ppid=16395 vsize=10551156 memory=23916 CPUtime=0.07 cores=1,3,5,7
/proc/16398/stat : 16398 (java) S 16395 16398 17093 0 -1 1077944320 5003 0 0 0 6 1 0 0 20 0 15 0 67268699 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140723717041984 140356686278391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
/proc/16398/statm: 2637789 5979 2606 1 0 2627261 0
[pid=16398/tid=16400] ppid=16395 vsize=10551156 memory=8318255677412212789 CPUtime=0.05 cores=1,3,5,7
/proc/16398/task/16400/stat : 16400 (java) R 16395 16398 17093 0 -1 4202560 3102 0 0 0 5 0 0 0 20 0 15 0 67268705 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356690504080 140356326889246 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16401] ppid=16395 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16401/stat : 16401 (java) S 16395 16398 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67268706 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356647176592 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16402] ppid=16395 vsize=10551156 memory=140624220911499 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16402/stat : 16402 (java) S 16395 16398 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67268706 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356296300816 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16403] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16403/stat : 16403 (java) S 16395 16398 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67268706 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356295248528 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16404] ppid=16395 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16404/stat : 16404 (java) S 16395 16398 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67268706 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356294195728 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16405] ppid=16395 vsize=10551156 memory=140624220894848 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16405/stat : 16405 (java) S 16395 16398 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67268708 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356250294896 140356686289538 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16406] ppid=16395 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16406/stat : 16406 (java) S 16395 16398 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67268708 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356249240864 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16407] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16407/stat : 16407 (java) S 16395 16398 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67268708 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356248188528 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16408] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16408/stat : 16408 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356247136848 140356686296987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16409] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16409/stat : 16409 (java) S 16395 16398 17093 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 67268711 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356246083696 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16410] ppid=16395 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16410/stat : 16410 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356245030896 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16411] ppid=16395 vsize=10551156 memory=140624220894848 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16411/stat : 16411 (java) S 16395 16398 17093 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 67268711 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356243978608 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16412] ppid=16395 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16412/stat : 16412 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356175784416 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16413] ppid=16395 vsize=10551156 memory=140624220894848 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16413/stat : 16413 (java) S 16395 16398 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67268719 10804383744 5979 18446744073709551615 4194304 4196468 140723717059440 140356174732208 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 23916 KiB

[startup+0.309997 s]*
/proc/loadavg: 4.40 4.06 3.75 3/210 16413
/proc/meminfo: memFree=28567948/32770624 swapFree=67108860/67108860
[pid=16398] ppid=16395 vsize=10551156 memory=36008 CPUtime=0.23 cores=1,3,5,7
/proc/16398/stat : 16398 (java) S 16395 16398 17093 0 -1 1077944320 8273 0 0 0 21 2 0 0 20 0 15 0 67268699 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140723717041984 140356686278391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
/proc/16398/statm: 2637789 9002 2859 1 0 2627261 0
[pid=16398/tid=16400] ppid=16395 vsize=10551156 memory=-7677926825137650786 CPUtime=0.15 cores=1,3,5,7
/proc/16398/task/16400/stat : 16400 (java) R 16395 16398 17093 0 -1 4202560 5922 0 0 0 14 1 0 0 20 0 15 0 67268705 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356690517264 140356686300317 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16401] ppid=16395 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16401/stat : 16401 (java) S 16395 16398 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67268706 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356647176592 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16402] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16402/stat : 16402 (java) S 16395 16398 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67268706 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356296300816 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16403] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16403/stat : 16403 (java) S 16395 16398 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67268706 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356295248528 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16404] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16404/stat : 16404 (java) S 16395 16398 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67268706 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356294195728 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16405] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16405/stat : 16405 (java) S 16395 16398 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67268708 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356250294896 140356686289538 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16406] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16406/stat : 16406 (java) S 16395 16398 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67268708 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356249240864 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16407] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16407/stat : 16407 (java) S 16395 16398 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67268708 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356248188528 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16408] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16408/stat : 16408 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356247136848 140356686296987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16409] ppid=16395 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16398/task/16409/stat : 16409 (java) S 16395 16398 17093 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 15 0 67268711 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356246083696 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16410] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16410/stat : 16410 (java) S 16395 16398 17093 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 67268711 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356245030896 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16411] ppid=16395 vsize=10551156 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/16398/task/16411/stat : 16411 (java) S 16395 16398 17093 0 -1 1077944384 414 0 0 0 4 0 0 0 20 0 15 0 67268711 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356243978608 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16412] ppid=16395 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16412/stat : 16412 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356175784416 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16413] ppid=16395 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16413/stat : 16413 (java) S 16395 16398 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67268719 10804383744 9002 18446744073709551615 4194304 4196468 140723717059440 140356174732208 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36008 KiB

[startup+0.700854 s]
/proc/loadavg: 4.40 4.06 3.75 4/210 16413
/proc/meminfo: memFree=28535832/32770624 swapFree=67108860/67108860
[pid=16398] ppid=16395 vsize=10551232 memory=334156 CPUtime=1.19 cores=1,3,5,7
/proc/16398/stat : 16398 (java) S 16395 16398 17093 0 -1 1077944320 11249 0 0 0 107 12 0 0 20 0 15 0 67268699 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140723717041984 140356686278391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
/proc/16398/statm: 2637808 83539 3061 1 0 2627261 0
[pid=16398/tid=16400] ppid=16395 vsize=10551232 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/16398/task/16400/stat : 16400 (java) R 16395 16398 17093 0 -1 1077944384 7187 0 0 0 43 6 0 0 20 0 15 0 67268705 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356690492480 140356678957613 0 4 1 16800974 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16401] ppid=16395 vsize=10551232 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16398/task/16401/stat : 16401 (java) S 16395 16398 17093 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 15 0 67268706 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356647176592 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16402] ppid=16395 vsize=10551232 memory=4612 CPUtime=0.02 cores=1,3,5,7
/proc/16398/task/16402/stat : 16402 (java) S 16395 16398 17093 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 15 0 67268706 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356296300816 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16403] ppid=16395 vsize=10551232 memory=1708 CPUtime=0.02 cores=1,3,5,7
/proc/16398/task/16403/stat : 16403 (java) S 16395 16398 17093 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 15 0 67268706 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356295248528 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16404] ppid=16395 vsize=10551232 memory=1444 CPUtime=0.03 cores=1,3,5,7
/proc/16398/task/16404/stat : 16404 (java) S 16395 16398 17093 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 15 0 67268706 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356294195728 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16405] ppid=16395 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16405/stat : 16405 (java) S 16395 16398 17093 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356250294896 140356686289538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16406] ppid=16395 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16406/stat : 16406 (java) S 16395 16398 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356249240864 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16407] ppid=16395 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16407/stat : 16407 (java) S 16395 16398 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356248188528 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16408] ppid=16395 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16408/stat : 16408 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356247136848 140356686296987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16409] ppid=16395 vsize=10551232 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/16398/task/16409/stat : 16409 (java) S 16395 16398 17093 0 -1 1077944384 790 0 0 0 16 0 0 0 20 0 15 0 67268711 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356246083696 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16410] ppid=16395 vsize=10551232 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/16398/task/16410/stat : 16410 (java) R 16395 16398 17093 0 -1 4202560 552 0 0 0 20 0 0 0 20 0 15 0 67268711 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356245011040 140356671401995 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16411] ppid=16395 vsize=10551232 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/16398/task/16411/stat : 16411 (java) S 16395 16398 17093 0 -1 1077944384 1019 0 0 0 18 0 0 0 20 0 15 0 67268711 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356243978608 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16412] ppid=16395 vsize=10551232 memory=15 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16412/stat : 16412 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356175784416 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16413] ppid=16395 vsize=10551232 memory=69 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16413/stat : 16413 (java) S 16395 16398 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67268719 10804461568 83539 18446744073709551615 4194304 4196468 140723717059440 140356174732208 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 334156 KiB

[startup+1.5009 s]
/proc/loadavg: 4.40 4.06 3.75 4/210 16413
/proc/meminfo: memFree=28184756/32770624 swapFree=67108860/67108860
[pid=16398] ppid=16395 vsize=10551232 memory=573168 CPUtime=2.63 cores=1,3,5,7
/proc/16398/stat : 16398 (java) S 16395 16398 17093 0 -1 1077944320 13529 0 0 0 238 25 0 0 20 0 15 0 67268699 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140723717041984 140356686278391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
/proc/16398/statm: 2637808 143292 3088 1 0 2627261 0
[pid=16398/tid=16400] ppid=16395 vsize=10551232 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/16398/task/16400/stat : 16400 (java) R 16395 16398 17093 0 -1 4202560 7994 0 0 0 111 9 0 0 20 0 15 0 67268705 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356690470216 140356329583434 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16401] ppid=16395 vsize=10551232 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16398/task/16401/stat : 16401 (java) S 16395 16398 17093 0 -1 1077944384 136 0 0 0 8 3 0 0 20 0 15 0 67268706 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356647176592 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16402] ppid=16395 vsize=10551232 memory=6673 CPUtime=0.12 cores=1,3,5,7
/proc/16398/task/16402/stat : 16402 (java) S 16395 16398 17093 0 -1 1077944384 123 0 0 0 8 4 0 0 20 0 15 0 67268706 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356296300816 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16403] ppid=16395 vsize=10551232 memory=4420 CPUtime=0.11 cores=1,3,5,7
/proc/16398/task/16403/stat : 16403 (java) S 16395 16398 17093 0 -1 1077944384 135 0 0 0 8 3 0 0 20 0 15 0 67268706 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356295248528 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16404] ppid=16395 vsize=10551232 memory=6628 CPUtime=0.12 cores=1,3,5,7
/proc/16398/task/16404/stat : 16404 (java) S 16395 16398 17093 0 -1 1077944384 158 0 0 0 9 3 0 0 20 0 15 0 67268706 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356294195728 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16405] ppid=16395 vsize=10551232 memory=164 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16405/stat : 16405 (java) S 16395 16398 17093 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356250294896 140356686289538 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16406] ppid=16395 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16406/stat : 16406 (java) S 16395 16398 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356249240864 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16407] ppid=16395 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16407/stat : 16407 (java) S 16395 16398 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356248188528 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16408] ppid=16395 vsize=10551232 memory=8772 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16408/stat : 16408 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356247136848 140356686296987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16409] ppid=16395 vsize=10551232 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/16398/task/16409/stat : 16409 (java) S 16395 16398 17093 0 -1 1077944384 1413 0 0 0 33 0 0 0 20 0 15 0 67268711 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356246083696 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16410] ppid=16395 vsize=10551232 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/16398/task/16410/stat : 16410 (java) S 16395 16398 17093 0 -1 1077944384 894 0 0 0 37 0 0 0 20 0 15 0 67268711 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356245030896 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16411] ppid=16395 vsize=10551232 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/16398/task/16411/stat : 16411 (java) S 16395 16398 17093 0 -1 1077944384 1107 0 0 0 20 0 0 0 20 0 15 0 67268711 10804461568 143292 18446744073709551615 4194304 4196468 140723717059440 140356243978608 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0

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


[startup+85.5751 s]
# the end of solver process 16398 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=255.463 s, system=4.95325 s

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

[startup+84.801 s]
/proc/loadavg: 3.36 3.83 3.70 6/209 16493
/proc/meminfo: memFree=20575352/32770624 swapFree=67108860/67108860
[pid=16398] ppid=16395 vsize=10551232 memory=8206260 CPUtime=257.49 cores=1,3,5,7
/proc/16398/stat : 16398 (java) S 16395 16398 17093 0 -1 1077944320 250772 0 0 0 25259 490 0 0 20 0 15 0 67268699 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140723717041984 140356686278391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
/proc/16398/statm: 2637808 2051565 3110 1 0 2627261 0
[pid=16398/tid=16400] ppid=16395 vsize=10551232 memory=-8774313645642428999 CPUtime=14.81 cores=1,3,5,7
/proc/16398/task/16400/stat : 16400 (java) S 16395 16398 17093 0 -1 1077944384 14141 0 0 0 1467 14 0 0 20 0 15 0 67268705 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356690513936 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16401] ppid=16395 vsize=10551232 memory=932 CPUtime=57.25 cores=1,3,5,7
/proc/16398/task/16401/stat : 16401 (java) R 16395 16398 17093 0 -1 4202560 78238 0 0 0 5617 108 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356647176480 140356671229400 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16402] ppid=16395 vsize=10551232 memory=1624 CPUtime=57.48 cores=1,3,5,7
/proc/16398/task/16402/stat : 16402 (java) R 16395 16398 17093 0 -1 4202560 30321 0 0 0 5628 120 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356296301016 140356667874918 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16403] ppid=16395 vsize=10551232 memory=2160 CPUtime=57.77 cores=1,3,5,7
/proc/16398/task/16403/stat : 16403 (java) R 16395 16398 17093 0 -1 4202560 69882 0 0 0 5658 119 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356295248728 140356671228996 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16404] ppid=16395 vsize=10551232 memory=8206260 CPUtime=57.29 cores=1,3,5,7
/proc/16398/task/16404/stat : 16404 (java) R 16395 16398 17093 0 -1 4202560 24931 0 0 0 5608 121 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356294195928 140356671263392 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16405] ppid=16395 vsize=10551232 memory=4048 CPUtime=11.41 cores=1,3,5,7
/proc/16398/task/16405/stat : 16405 (java) S 16395 16398 17093 0 -1 1077944384 22605 0 0 0 1139 2 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356250293216 140356686288597 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16406] ppid=16395 vsize=10551232 memory=21300 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16406/stat : 16406 (java) S 16395 16398 17093 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356249240928 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16407] ppid=16395 vsize=10551232 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16407/stat : 16407 (java) S 16395 16398 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356248188544 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16408] ppid=16395 vsize=10551232 memory=640 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16408/stat : 16408 (java) S 16395 16398 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356247136496 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16409] ppid=16395 vsize=10551232 memory=-8774313645642428999 CPUtime=0.54 cores=1,3,5,7
/proc/16398/task/16409/stat : 16409 (java) S 16395 16398 17093 0 -1 1077944384 2887 0 0 0 54 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356246083696 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16410] ppid=16395 vsize=10551232 memory=37864 CPUtime=0.57 cores=1,3,5,7
/proc/16398/task/16410/stat : 16410 (java) S 16395 16398 17093 0 -1 1077944384 3278 0 0 0 57 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356245030896 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16411] ppid=16395 vsize=10551232 memory=1296 CPUtime=0.23 cores=1,3,5,7
/proc/16398/task/16411/stat : 16411 (java) S 16395 16398 17093 0 -1 1077944384 2656 0 0 0 23 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356243978608 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16412] ppid=16395 vsize=10551232 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16412/stat : 16412 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356175784416 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16413] ppid=16395 vsize=10551232 memory=1732 CPUtime=0.04 cores=1,3,5,7
/proc/16398/task/16413/stat : 16413 (java) S 16395 16398 17093 0 -1 1077944384 444 0 0 0 2 2 0 0 20 0 15 0 67268719 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356174732208 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
Current children cumulated CPU time: 257.49 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8206260 KiB

[startup+85.204 s]
/proc/loadavg: 3.36 3.83 3.70 6/209 16493
/proc/meminfo: memFree=20519868/32770624 swapFree=67108860/67108860
[pid=16398] ppid=16395 vsize=10551232 memory=8206260 CPUtime=259.09 cores=1,3,5,7
/proc/16398/stat : 16398 (java) S 16395 16398 17093 0 -1 1077944320 250772 0 0 0 25419 490 0 0 20 0 15 0 67268699 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140723717041984 140356686278391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
/proc/16398/statm: 2637808 2051565 3110 1 0 2627261 0
[pid=16398/tid=16400] ppid=16395 vsize=10551232 memory=13563795322702378 CPUtime=14.81 cores=1,3,5,7
/proc/16398/task/16400/stat : 16400 (java) S 16395 16398 17093 0 -1 1077944384 14141 0 0 0 1467 14 0 0 20 0 15 0 67268705 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356690513936 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16401] ppid=16395 vsize=10551232 memory=13563795322702378 CPUtime=57.65 cores=1,3,5,7
/proc/16398/task/16401/stat : 16401 (java) R 16395 16398 17093 0 -1 4202560 78238 0 0 0 5657 108 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356647176480 140356670976030 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16402] ppid=16395 vsize=10551232 memory=7016671349533276567 CPUtime=57.88 cores=1,3,5,7
/proc/16398/task/16402/stat : 16402 (java) R 16395 16398 17093 0 -1 4202560 30321 0 0 0 5668 120 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356296301016 140356671228996 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16403] ppid=16395 vsize=10551232 memory=7682744562830902074 CPUtime=58.17 cores=1,3,5,7
/proc/16398/task/16403/stat : 16403 (java) R 16395 16398 17093 0 -1 4202560 69882 0 0 0 5698 119 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356295248728 140356670976030 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16404] ppid=16395 vsize=10551232 memory=-7019007802211101846 CPUtime=57.68 cores=1,3,5,7
/proc/16398/task/16404/stat : 16404 (java) R 16395 16398 17093 0 -1 4202560 24931 0 0 0 5647 121 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356294195928 140356670976030 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16405] ppid=16395 vsize=10551232 memory=-7019007802211101846 CPUtime=11.41 cores=1,3,5,7
/proc/16398/task/16405/stat : 16405 (java) S 16395 16398 17093 0 -1 1077944384 22605 0 0 0 1139 2 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356250293216 140356686288597 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16406] ppid=16395 vsize=10551232 memory=7682744562830902035 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16406/stat : 16406 (java) S 16395 16398 17093 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356249240928 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16407] ppid=16395 vsize=10551232 memory=7682744562830902035 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16407/stat : 16407 (java) S 16395 16398 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356248188544 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16408] ppid=16395 vsize=10551232 memory=-7384994778349281184 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16408/stat : 16408 (java) S 16395 16398 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356247136496 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16409] ppid=16395 vsize=10551232 memory=6944656592452807326 CPUtime=0.54 cores=1,3,5,7
/proc/16398/task/16409/stat : 16409 (java) S 16395 16398 17093 0 -1 1077944384 2887 0 0 0 54 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356246083696 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16410] ppid=16395 vsize=10551232 memory=6944656425123485561 CPUtime=0.57 cores=1,3,5,7
/proc/16398/task/16410/stat : 16410 (java) S 16395 16398 17093 0 -1 1077944384 3278 0 0 0 57 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356245030896 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16411] ppid=16395 vsize=10551232 memory=-9001734000804784231 CPUtime=0.23 cores=1,3,5,7
/proc/16398/task/16411/stat : 16411 (java) S 16395 16398 17093 0 -1 1077944384 2656 0 0 0 23 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356243978608 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16412] ppid=16395 vsize=10551232 memory=8206260 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16412/stat : 16412 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356175784416 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16413] ppid=16395 vsize=10551232 memory=8206260 CPUtime=0.04 cores=1,3,5,7
/proc/16398/task/16413/stat : 16413 (java) S 16395 16398 17093 0 -1 1077944384 444 0 0 0 2 2 0 0 20 0 15 0 67268719 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356174732208 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
Current children cumulated CPU time: 259.09 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8206260 KiB

[startup+85.408 s]
/proc/loadavg: 3.36 3.83 3.70 6/209 16493
/proc/meminfo: memFree=20519868/32770624 swapFree=67108860/67108860
[pid=16398] ppid=16395 vsize=10551232 memory=8206260 CPUtime=259.91 cores=1,3,5,7
/proc/16398/stat : 16398 (java) S 16395 16398 17093 0 -1 1077944320 250772 0 0 0 25501 490 0 0 20 0 15 0 67268699 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140723717041984 140356686278391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
/proc/16398/statm: 2637808 2051565 3110 1 0 2627261 0
[pid=16398/tid=16400] ppid=16395 vsize=10551232 memory=7380643790801690985 CPUtime=14.81 cores=1,3,5,7
/proc/16398/task/16400/stat : 16400 (java) S 16395 16398 17093 0 -1 1077944384 14141 0 0 0 1467 14 0 0 20 0 15 0 67268705 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356690513936 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16401] ppid=16395 vsize=10551232 memory=7380643790801690985 CPUtime=57.85 cores=1,3,5,7
/proc/16398/task/16401/stat : 16401 (java) R 16395 16398 17093 0 -1 4202560 78238 0 0 0 5677 108 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356647176480 140356670976152 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16402] ppid=16395 vsize=10551232 memory=7380643790801690985 CPUtime=58.08 cores=1,3,5,7
/proc/16398/task/16402/stat : 16402 (java) R 16395 16398 17093 0 -1 4202560 30321 0 0 0 5688 120 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356296301016 140356671263687 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16403] ppid=16395 vsize=10551232 memory=7593466331088186704 CPUtime=58.37 cores=1,3,5,7
/proc/16398/task/16403/stat : 16403 (java) R 16395 16398 17093 0 -1 4202560 69882 0 0 0 5718 119 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356295248728 140356671228996 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16404] ppid=16395 vsize=10551232 memory=7090988434644886894 CPUtime=57.88 cores=1,3,5,7
/proc/16398/task/16404/stat : 16404 (java) R 16395 16398 17093 0 -1 4202560 24931 0 0 0 5667 121 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356294195928 140356671228996 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16405] ppid=16395 vsize=10551232 memory=7090988434644886894 CPUtime=11.41 cores=1,3,5,7
/proc/16398/task/16405/stat : 16405 (java) S 16395 16398 17093 0 -1 1077944384 22605 0 0 0 1139 2 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356250293216 140356686288597 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16406] ppid=16395 vsize=10551232 memory=8242264893896616293 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16406/stat : 16406 (java) S 16395 16398 17093 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356249240928 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16407] ppid=16395 vsize=10551232 memory=7593466331088186704 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16407/stat : 16407 (java) S 16395 16398 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356248188544 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16408] ppid=16395 vsize=10551232 memory=7593466331088186704 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16408/stat : 16408 (java) S 16395 16398 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356247136496 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16409] ppid=16395 vsize=10551232 memory=7593466331088186704 CPUtime=0.54 cores=1,3,5,7
/proc/16398/task/16409/stat : 16409 (java) S 16395 16398 17093 0 -1 1077944384 2887 0 0 0 54 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356246083696 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16410] ppid=16395 vsize=10551232 memory=8242264893896616293 CPUtime=0.57 cores=1,3,5,7
/proc/16398/task/16410/stat : 16410 (java) S 16395 16398 17093 0 -1 1077944384 3278 0 0 0 57 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356245030896 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16411] ppid=16395 vsize=10551232 memory=7512120045554986598 CPUtime=0.23 cores=1,3,5,7
/proc/16398/task/16411/stat : 16411 (java) S 16395 16398 17093 0 -1 1077944384 2656 0 0 0 23 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356243978608 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16412] ppid=16395 vsize=10551232 memory=7300728970739542608 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16412/stat : 16412 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356175784416 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16413] ppid=16395 vsize=10551232 memory=140624220894848 CPUtime=0.05 cores=1,3,5,7
/proc/16398/task/16413/stat : 16413 (java) S 16395 16398 17093 0 -1 1077944384 444 0 0 0 3 2 0 0 20 0 15 0 67268719 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356174732208 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
Current children cumulated CPU time: 259.91 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8206260 KiB

[startup+85.51 s]
/proc/loadavg: 3.36 3.83 3.70 6/209 16493
/proc/meminfo: memFree=20519868/32770624 swapFree=67108860/67108860
[pid=16398] ppid=16395 vsize=10551232 memory=8206260 CPUtime=260.31 cores=1,3,5,7
/proc/16398/stat : 16398 (java) S 16395 16398 17093 0 -1 1077944320 250772 0 0 0 25541 490 0 0 20 0 15 0 67268699 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140723717041984 140356686278391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
/proc/16398/statm: 2637808 2051565 3110 1 0 2627261 0
[pid=16398/tid=16400] ppid=16395 vsize=10551232 memory=8206260 CPUtime=14.81 cores=1,3,5,7
/proc/16398/task/16400/stat : 16400 (java) S 16395 16398 17093 0 -1 1077944384 14141 0 0 0 1467 14 0 0 20 0 15 0 67268705 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356690513936 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16401] ppid=16395 vsize=10551232 memory=8206260 CPUtime=57.95 cores=1,3,5,7
/proc/16398/task/16401/stat : 16401 (java) R 16395 16398 17093 0 -1 4202560 78238 0 0 0 5687 108 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356647176480 140356670976166 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16402] ppid=16395 vsize=10551232 memory=8206260 CPUtime=58.19 cores=1,3,5,7
/proc/16398/task/16402/stat : 16402 (java) R 16395 16398 17093 0 -1 4202560 30321 0 0 0 5699 120 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356296301016 140356670976143 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16403] ppid=16395 vsize=10551232 memory=8206260 CPUtime=58.48 cores=1,3,5,7
/proc/16398/task/16403/stat : 16403 (java) R 16395 16398 17093 0 -1 4202560 69882 0 0 0 5729 119 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356295248728 140356671263402 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16404] ppid=16395 vsize=10551232 memory=8206260 CPUtime=57.98 cores=1,3,5,7
/proc/16398/task/16404/stat : 16404 (java) R 16395 16398 17093 0 -1 4202560 24931 0 0 0 5677 121 0 0 20 0 15 0 67268706 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356294195928 140356671229100 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16405] ppid=16395 vsize=10551232 memory=24738 CPUtime=11.41 cores=1,3,5,7
/proc/16398/task/16405/stat : 16405 (java) S 16395 16398 17093 0 -1 1077944384 22605 0 0 0 1139 2 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356250293216 140356686288597 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16406] ppid=16395 vsize=10551232 memory=8206260 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16406/stat : 16406 (java) S 16395 16398 17093 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356249240928 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16407] ppid=16395 vsize=10551232 memory=8206260 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16407/stat : 16407 (java) S 16395 16398 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 67268708 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356248188544 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16408] ppid=16395 vsize=10551232 memory=8206260 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16408/stat : 16408 (java) S 16395 16398 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356247136496 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16409] ppid=16395 vsize=10551232 memory=8206260 CPUtime=0.54 cores=1,3,5,7
/proc/16398/task/16409/stat : 16409 (java) S 16395 16398 17093 0 -1 1077944384 2887 0 0 0 54 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356246083696 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16410] ppid=16395 vsize=10551232 memory=8206260 CPUtime=0.57 cores=1,3,5,7
/proc/16398/task/16410/stat : 16410 (java) S 16395 16398 17093 0 -1 1077944384 3278 0 0 0 57 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356245030896 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16411] ppid=16395 vsize=10551232 memory=8206260 CPUtime=0.23 cores=1,3,5,7
/proc/16398/task/16411/stat : 16411 (java) S 16395 16398 17093 0 -1 1077944384 2656 0 0 0 23 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356243978608 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16412] ppid=16395 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16398/task/16412/stat : 16412 (java) S 16395 16398 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67268711 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356175784416 140356686288597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
[pid=16398/tid=16413] ppid=16395 vsize=10551232 memory=4028 CPUtime=0.05 cores=1,3,5,7
/proc/16398/task/16413/stat : 16413 (java) S 16395 16398 17093 0 -1 1077944384 444 0 0 0 3 2 0 0 20 0 15 0 67268719 10804461568 2051565 18446744073709551615 4194304 4196468 140723717059440 140356174732208 140356686289538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12099584 140723717063061 140723717063214 140723717063214 140723717066703 0
Current children cumulated CPU time: 260.31 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8206260 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 85.5752
CPU time (s): 260.416
CPU user time (s): 255.463
CPU system time (s): 4.95325
CPU usage (%): 304.313
Max. virtual memory (cumulated for all children) (KiB): 10551232
Max. memory (cumulated for all children) (KiB): 8206260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.463
system time used= 4.95324
maximum resident set size= 8206596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250776
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6361
involuntary context switches= 2514


# summary of solver processes directly reported to runsolver:
#   pid: 16398
#   total CPU time (s): 260.416
#   total CPU user time (s): 255.463
#   total CPU system time (s): 4.95325

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.537925 second user time and 0.858067 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-13 20:45:05
IDJOB=4257903
IDBENCH=137500
IDSOLVER=2643
FILE ID=node127/4257903-1502650754
RUNJOBID= node127-1502642200-6041
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n3w4b3r3.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257903-1502650754/watcher-4257903-1502650754 -o /tmp/evaluation-result-4257903-1502650754/solver-4257903-1502650754 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257903-1502650754.xml

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

MD5SUM BENCH= 4fff2bf814931cbe2e98d8a10b7c6933
RANDOM SEED=2032280067

node127.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.92
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.92
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.92
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.92
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:        28597344 kB
MemAvailable:   29039084 kB
Buffers:          202516 kB
Cached:           535324 kB
SwapCached:            0 kB
Active:          3524912 kB
Inactive:         217892 kB
Active(anon):    2954792 kB
Inactive(anon):    83872 kB
Active(file):     570120 kB
Inactive(file):   134020 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1616 kB
Writeback:             4 kB
AnonPages:       3005240 kB
Mapped:            59432 kB
Shmem:             33444 kB
Slab:             132500 kB
SReclaimable:     106872 kB
SUnreclaim:        25628 kB
KernelStack:        3440 kB
PageTables:        10836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4542460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2883584 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= 62028 MiB
End job on node127 at 2017-08-13 20:46:31