Trace number 4258002

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) 256.63699 85.849197

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-28-a3.xml
MD5SUM7bf94b2c859f2895a81dfe97f17444ea
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark877
Best CPU time to get the best result obtained on this benchmark2003.88
Satisfiable
(Un)Satisfiability was proved
Number of variables812
Number of constraints381
Number of domains2
Minimum domain size1000
Maximum domain size1001
Distribution of domain sizes[{"size":1000,"count":378},{"size":1001,"count":28}]
Minimum variable degree0
Maximum variable degree29
Distribution of variable degrees[{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}]
Minimum constraint arity1
Maximum constraint arity378
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}]
Number of extensional constraints0
Number of intensional constraints379
Distribution of constraint types[{"type":"intension","count":379},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin 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 (10964 MiB free)
  memory of node 1: 16384 MiB (15613 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258002-1502646395/watcher-4258002-1502646395 -o /tmp/evaluation-result-4258002-1502646395/solver-4258002-1502646395 -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-4258002-1502646395.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=10440, runsolver pid=10437

[startup+0.105793 s]*
/proc/loadavg: 3.31 3.29 3.32 6/204 10450
/proc/meminfo: memFree=27203740/32770624 swapFree=67108860/67108860
[pid=10440] ppid=10437 vsize=10484492 memory=22856 CPUtime=0.06 cores=1,3,5,7
/proc/10440/stat : 10440 (java) S 10437 10440 17093 0 -1 1077944320 4672 0 0 0 5 1 0 0 20 0 14 0 66832806 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140724975543632 140061006970615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
/proc/10440/statm: 2621123 5714 2576 1 0 2610620 0
[pid=10440/tid=10442] ppid=10437 vsize=10484492 memory=4206751525541407381 CPUtime=0.04 cores=1,3,5,7
/proc/10440/task/10442/stat : 10442 (java) D 10437 10440 17093 0 -1 4202560 2792 0 0 0 4 0 0 0 20 0 14 0 66832812 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140061011208096 140061006992637 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10443] ppid=10437 vsize=10484492 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10443/stat : 10443 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66832812 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060618579088 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10444] ppid=10437 vsize=10484492 memory=140680622425728 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10444/stat : 10444 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66832812 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060617526288 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10445] ppid=10437 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10445/stat : 10445 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66832812 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060616473488 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10446] ppid=10437 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10446/stat : 10446 (java) S 10437 10440 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66832812 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060615420688 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10447] ppid=10437 vsize=10484492 memory=140680622425728 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10447/stat : 10447 (java) S 10437 10440 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66832814 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060571146608 140061006981762 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10448] ppid=10437 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10448/stat : 10448 (java) S 10437 10440 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 66832814 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060570092576 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10449] ppid=10437 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10449/stat : 10449 (java) S 10437 10440 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 66832814 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060569039728 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10450] ppid=10437 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10450/stat : 10450 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66832817 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060567988048 140061006989211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10451] ppid=10437 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10451/stat : 10451 (java) S 10437 10440 17093 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 14 0 66832817 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060566936432 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10452] ppid=10437 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10452/stat : 10452 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66832817 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060565883632 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10453] ppid=10437 vsize=10484492 memory=140680622425728 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10453/stat : 10453 (java) S 10437 10440 17093 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 14 0 66832817 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060564830832 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10454] ppid=10437 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10454/stat : 10454 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66832817 10736119808 5714 18446744073709551615 4194304 4196468 140724975561088 140060563778272 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 22856 KiB

[startup+0.210144 s]*
/proc/loadavg: 3.31 3.29 3.32 7/209 10455
/proc/meminfo: memFree=27200620/32770624 swapFree=67108860/67108860
[pid=10440] ppid=10437 vsize=10552180 memory=30268 CPUtime=0.11 cores=1,3,5,7
/proc/10440/stat : 10440 (java) S 10437 10440 17093 0 -1 1077944320 6933 0 0 0 9 2 0 0 20 0 15 0 66832806 10805432320 7567 18446744073709551615 4194304 4196468 140724975561088 140724975543632 140061006970615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
/proc/10440/statm: 2638045 7567 2792 1 0 2627517 0
[pid=10440/tid=10442] ppid=10437 vsize=10552180 memory=8318255677412212789 CPUtime=0.08 cores=1,3,5,7
/proc/10440/task/10442/stat : 10442 (java) R 10437 10440 17093 0 -1 4202560 5127 0 0 0 7 1 0 0 20 0 15 0 66832812 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140061011158960 140060999650333 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10443] ppid=10437 vsize=10552180 memory=330 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10443/stat : 10443 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66832812 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060618579088 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10444] ppid=10437 vsize=10552180 memory=3473599274817341088 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10444/stat : 10444 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66832812 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060617526288 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10445] ppid=10437 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10445/stat : 10445 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66832812 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060616473488 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10446] ppid=10437 vsize=10552180 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10446/stat : 10446 (java) S 10437 10440 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66832812 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060615420688 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10447] ppid=10437 vsize=10552180 memory=140680622425728 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10447/stat : 10447 (java) S 10437 10440 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66832814 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060571146608 140061006981762 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10448] ppid=10437 vsize=10552180 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10448/stat : 10448 (java) S 10437 10440 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66832814 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060570092576 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10449] ppid=10437 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10449/stat : 10449 (java) S 10437 10440 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66832814 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060569039728 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10450] ppid=10437 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10450/stat : 10450 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66832817 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060567988048 140061006989211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10451] ppid=10437 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10451/stat : 10451 (java) S 10437 10440 17093 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 66832817 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060566936432 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10452] ppid=10437 vsize=10552180 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10452/stat : 10452 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66832817 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060565883632 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10453] ppid=10437 vsize=10552180 memory=140680622425728 CPUtime=0.01 cores=1,3,5,7
/proc/10440/task/10453/stat : 10453 (java) S 10437 10440 17093 0 -1 1077944384 291 0 0 0 1 0 0 0 20 0 15 0 66832817 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060564830832 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10454] ppid=10437 vsize=10552180 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10454/stat : 10454 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66832817 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060563778272 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10455] ppid=10437 vsize=10552180 memory=140680622425728 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10455/stat : 10455 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66832824 10805432320 7553 18446744073709551615 4194304 4196468 140724975561088 140060562725552 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10552180 KiB
Current children cumulated memory: 30268 KiB

[startup+0.310155 s]*
/proc/loadavg: 3.31 3.29 3.32 6/209 10455
/proc/meminfo: memFree=27190116/32770624 swapFree=67108860/67108860
[pid=10440] ppid=10437 vsize=10551156 memory=37328 CPUtime=0.27 cores=1,3,5,7
/proc/10440/stat : 10440 (java) S 10437 10440 17093 0 -1 1077944320 8552 0 0 0 24 3 0 0 20 0 15 0 66832806 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140724975543632 140061006970615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
/proc/10440/statm: 2637789 9332 2902 1 0 2627261 0
[pid=10440/tid=10442] ppid=10437 vsize=10551156 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/10440/task/10442/stat : 10442 (java) R 10437 10440 17093 0 -1 4202560 6134 0 0 0 16 2 0 0 20 0 15 0 66832812 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140061011207088 140060991153450 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10443] ppid=10437 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10443/stat : 10443 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66832812 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060618579088 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10444] ppid=10437 vsize=10551156 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10444/stat : 10444 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66832812 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060617526288 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10445] ppid=10437 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10445/stat : 10445 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66832812 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060616473488 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10446] ppid=10437 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10446/stat : 10446 (java) S 10437 10440 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66832812 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060615420688 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10447] ppid=10437 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10447/stat : 10447 (java) S 10437 10440 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66832814 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060571146608 140061006981762 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10448] ppid=10437 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10448/stat : 10448 (java) S 10437 10440 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66832814 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060570092576 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10449] ppid=10437 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10449/stat : 10449 (java) S 10437 10440 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66832814 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060569039728 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10450] ppid=10437 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10450/stat : 10450 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66832817 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060567988048 140061006989211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10451] ppid=10437 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10440/task/10451/stat : 10451 (java) S 10437 10440 17093 0 -1 1077944384 533 0 0 0 1 0 0 0 20 0 15 0 66832817 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060566936432 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10452] ppid=10437 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10440/task/10452/stat : 10452 (java) S 10437 10440 17093 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 66832817 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060565883632 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10453] ppid=10437 vsize=10551156 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10440/task/10453/stat : 10453 (java) R 10437 10440 17093 0 -1 4202560 460 0 0 0 5 0 0 0 20 0 15 0 66832817 10804383744 9332 18446744073709551615 4194304 4196468 140724975561088 140060564827200 140061000074267 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10454] ppid=10437 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10454/stat : 10454 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66832817 10804383744 9397 18446744073709551615 4194304 4196468 140724975561088 140060563778272 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10455] ppid=10437 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10455/stat : 10455 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66832824 10804383744 9397 18446744073709551615 4194304 4196468 140724975561088 140060562725552 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 37328 KiB

[startup+0.70083 s]
/proc/loadavg: 3.31 3.29 3.32 7/209 10455
/proc/meminfo: memFree=27177872/32770624 swapFree=67108860/67108860
[pid=10440] ppid=10437 vsize=10551232 memory=229876 CPUtime=1.25 cores=1,3,5,7
/proc/10440/stat : 10440 (java) S 10437 10440 17093 0 -1 1077944320 11618 0 0 0 111 14 0 0 20 0 15 0 66832806 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140724975543632 140061006970615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
/proc/10440/statm: 2637808 57469 3071 1 0 2627261 0
[pid=10440/tid=10442] ppid=10437 vsize=10551232 memory=33 CPUtime=0.51 cores=1,3,5,7
/proc/10440/task/10442/stat : 10442 (java) R 10437 10440 17093 0 -1 4202560 7441 0 0 0 46 5 0 0 20 0 15 0 66832812 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140061011207344 140060993038734 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10443] ppid=10437 vsize=10551232 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10440/task/10443/stat : 10443 (java) S 10437 10440 17093 0 -1 1077944384 105 0 0 0 3 1 0 0 20 0 15 0 66832812 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060618579088 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10444] ppid=10437 vsize=10551232 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10440/task/10444/stat : 10444 (java) S 10437 10440 17093 0 -1 1077944384 102 0 0 0 3 1 0 0 20 0 15 0 66832812 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060617526288 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10445] ppid=10437 vsize=10551232 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10440/task/10445/stat : 10445 (java) S 10437 10440 17093 0 -1 1077944384 104 0 0 0 3 2 0 0 20 0 15 0 66832812 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060616473488 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10446] ppid=10437 vsize=10551232 memory=1160 CPUtime=0.04 cores=1,3,5,7
/proc/10440/task/10446/stat : 10446 (java) S 10437 10440 17093 0 -1 1077944384 113 0 0 0 3 1 0 0 20 0 15 0 66832812 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060615420688 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10447] ppid=10437 vsize=10551232 memory=2704 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10447/stat : 10447 (java) S 10437 10440 17093 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 66832814 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060571146608 140061006981762 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10448] ppid=10437 vsize=10551232 memory=4349460 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10448/stat : 10448 (java) S 10437 10440 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 66832814 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060570092640 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10449] ppid=10437 vsize=10551232 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10449/stat : 10449 (java) S 10437 10440 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66832814 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060569039728 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10450] ppid=10437 vsize=10551232 memory=4641333681340897127 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10450/stat : 10450 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66832817 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060567988048 140061006989211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10451] ppid=10437 vsize=10551232 memory=7738984405840324177 CPUtime=0.14 cores=1,3,5,7
/proc/10440/task/10451/stat : 10451 (java) R 10437 10440 17093 0 -1 4202560 833 0 0 0 14 0 0 0 20 0 15 0 66832817 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060566916672 140060987670919 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10452] ppid=10437 vsize=10551232 memory=7809617114362637412 CPUtime=0.14 cores=1,3,5,7
/proc/10440/task/10452/stat : 10452 (java) S 10437 10440 17093 0 -1 1077944384 394 0 0 0 14 0 0 0 20 0 15 0 66832817 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060565883632 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10453] ppid=10437 vsize=10551232 memory=7668012111147524688 CPUtime=0.21 cores=1,3,5,7
/proc/10440/task/10453/stat : 10453 (java) S 10437 10440 17093 0 -1 1077944384 1084 0 0 0 21 0 0 0 20 0 15 0 66832817 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060564830832 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10454] ppid=10437 vsize=10551232 memory=6083073826404722793 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10454/stat : 10454 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66832817 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060563778272 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10455] ppid=10437 vsize=10551232 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10455/stat : 10455 (java) S 10437 10440 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66832824 10804461568 57469 18446744073709551615 4194304 4196468 140724975561088 140060562725552 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 229876 KiB

[startup+1.50079 s]
/proc/loadavg: 3.29 3.28 3.32 9/209 10455
/proc/meminfo: memFree=26574860/32770624 swapFree=67108860/67108860
[pid=10440] ppid=10437 vsize=10551232 memory=669576 CPUtime=2.93 cores=1,3,5,7
/proc/10440/stat : 10440 (java) S 10437 10440 17093 0 -1 1077944320 14575 0 0 0 264 29 0 0 20 0 15 0 66832806 10804461568 167394 18446744073709551615 4194304 4196468 140724975561088 140724975543632 140061006970615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
/proc/10440/statm: 2637808 167394 3087 1 0 2627261 0
[pid=10440/tid=10442] ppid=10437 vsize=10551232 memory=669464 CPUtime=1.18 cores=1,3,5,7
/proc/10440/task/10442/stat : 10442 (java) R 10437 10440 17093 0 -1 4202560 8269 0 0 0 109 9 0 0 20 0 15 0 66832812 10804461568 167394 18446744073709551615 4194304 4196468 140724975561088 140061011190816 140060648387086 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10443] ppid=10437 vsize=10551232 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/10440/task/10443/stat : 10443 (java) S 10437 10440 17093 0 -1 1077944384 228 0 0 0 12 4 0 0 20 0 15 0 66832812 10804461568 167394 18446744073709551615 4194304 4196468 140724975561088 140060618579088 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10444] ppid=10437 vsize=10551232 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/10440/task/10444/stat : 10444 (java) S 10437 10440 17093 0 -1 1077944384 229 0 0 0 11 4 0 0 20 0 15 0 66832812 10804461568 167394 18446744073709551615 4194304 4196468 140724975561088 140060617526288 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10445] ppid=10437 vsize=10551232 memory=7649399392854880305 CPUtime=0.15 cores=1,3,5,7
/proc/10440/task/10445/stat : 10445 (java) S 10437 10440 17093 0 -1 1077944384 209 0 0 0 11 4 0 0 20 0 15 0 66832812 10804461568 167394 18446744073709551615 4194304 4196468 140724975561088 140060616473488 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10446] ppid=10437 vsize=10551232 memory=5859271421085237344 CPUtime=0.16 cores=1,3,5,7
/proc/10440/task/10446/stat : 10446 (java) S 10437 10440 17093 0 -1 1077944384 236 0 0 0 12 4 0 0 20 0 15 0 66832812 10804461568 167394 18446744073709551615 4194304 4196468 140724975561088 140060615420688 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10447] ppid=10437 vsize=10551232 memory=68 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10447/stat : 10447 (java) S 10437 10440 17093 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 15 0 66832814 10804461568 167394 18446744073709551615 4194304 4196468 140724975561088 140060571146608 140061006981762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10448] ppid=10437 vsize=10551232 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10448/stat : 10448 (java) S 10437 10440 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 66832814 10804461568 167394 18446744073709551615 4194304 4196468 140724975561088 140060570092640 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0

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

/proc/10440/statm: 2637808 2072321 3102 1 0 2627261 0
[pid=10440/tid=10442] ppid=10437 vsize=10551232 memory=37680 CPUtime=13.03 cores=1,3,5,7
/proc/10440/task/10442/stat : 10442 (java) S 10437 10440 17093 0 -1 1077944384 17327 0 0 0 1287 16 0 0 20 0 15 0 66832812 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140061011207680 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10443] ppid=10437 vsize=10551232 memory=-8774313645642428999 CPUtime=56.21 cores=1,3,5,7
/proc/10440/task/10443/stat : 10443 (java) R 10437 10440 17093 0 -1 4202560 26844 0 0 0 5455 166 0 0 20 0 15 0 66832812 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060618579288 140060991967022 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10444] ppid=10437 vsize=10551232 memory=37680 CPUtime=55.88 cores=1,3,5,7
/proc/10440/task/10444/stat : 10444 (java) R 10437 10440 17093 0 -1 4202560 22160 0 0 0 5433 155 0 0 20 0 15 0 66832812 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060617526096 140060991960260 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10445] ppid=10437 vsize=10551232 memory=1296 CPUtime=56.26 cores=1,3,5,7
/proc/10440/task/10445/stat : 10445 (java) R 10437 10440 17093 0 -1 4202560 23567 0 0 0 5480 146 0 0 20 0 15 0 66832812 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060616473296 140060991967041 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10446] ppid=10437 vsize=10551232 memory=2420 CPUtime=55.61 cores=1,3,5,7
/proc/10440/task/10446/stat : 10446 (java) R 10437 10440 17093 0 -1 4202560 24256 0 0 0 5406 155 0 0 20 0 15 0 66832812 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060615420808 140060991670624 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10447] ppid=10437 vsize=10551232 memory=1732 CPUtime=13.83 cores=1,3,5,7
/proc/10440/task/10447/stat : 10447 (java) S 10437 10440 17093 0 -1 1077944384 18986 0 0 0 1381 2 0 0 20 0 15 0 66832814 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060571145152 140061006980821 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10448] ppid=10437 vsize=10551232 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10448/stat : 10448 (java) S 10437 10440 17093 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 66832814 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060570092640 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10449] ppid=10437 vsize=10551232 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10449/stat : 10449 (java) S 10437 10440 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 66832814 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060569039728 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10450] ppid=10437 vsize=10551232 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10450/stat : 10450 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66832817 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060567988048 140061006989211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10451] ppid=10437 vsize=10551232 memory=1444 CPUtime=0.47 cores=1,3,5,7
/proc/10440/task/10451/stat : 10451 (java) S 10437 10440 17093 0 -1 1077944384 1625 0 0 0 47 0 0 0 20 0 15 0 66832817 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060566936480 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10452] ppid=10437 vsize=10551232 memory=1228 CPUtime=0.46 cores=1,3,5,7
/proc/10440/task/10452/stat : 10452 (java) S 10437 10440 17093 0 -1 1077944384 1326 0 0 0 46 0 0 0 20 0 15 0 66832817 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060565883392 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10453] ppid=10437 vsize=10551232 memory=12200 CPUtime=0.28 cores=1,3,5,7
/proc/10440/task/10453/stat : 10453 (java) S 10437 10440 17093 0 -1 1077944384 2383 0 0 0 28 0 0 0 20 0 15 0 66832817 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060564830880 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10454] ppid=10437 vsize=10551232 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10454/stat : 10454 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66832817 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060563778272 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10455] ppid=10437 vsize=10551232 memory=1204 CPUtime=0.04 cores=1,3,5,7
/proc/10440/task/10455/stat : 10455 (java) R 10437 10440 17093 0 -1 1077944384 320 0 0 0 2 2 0 0 20 0 15 0 66832824 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060562725552 140061006981762 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
Current children cumulated CPU time: 252.16 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8289284 KiB

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

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

[startup+85.8491 s]
# the end of solver process 10440 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.15 s, system=6.48633 s

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

[startup+84.8008 s]
/proc/loadavg: 3.73 3.53 3.41 6/210 10459
/proc/meminfo: memFree=15356288/32770624 swapFree=67108860/67108860
[pid=10440] ppid=10437 vsize=10551232 memory=8289284 CPUtime=255.11 cores=1,3,5,7
/proc/10440/stat : 10440 (java) S 10437 10440 17093 0 -1 1077944320 140862 0 0 0 24867 644 0 0 20 0 15 0 66832806 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140724975543632 140061006970615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
/proc/10440/statm: 2637808 2072321 3102 1 0 2627261 0
[pid=10440/tid=10442] ppid=10437 vsize=10551232 memory=8289268 CPUtime=13.03 cores=1,3,5,7
/proc/10440/task/10442/stat : 10442 (java) S 10437 10440 17093 0 -1 1077944384 17327 0 0 0 1287 16 0 0 20 0 15 0 66832812 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140061011207680 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10443] ppid=10437 vsize=10551232 memory=8289268 CPUtime=56.86 cores=1,3,5,7
/proc/10440/task/10443/stat : 10443 (java) S 10437 10440 17093 0 -1 1077944384 27058 0 0 0 5520 166 0 0 20 0 15 0 66832812 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060618579088 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10444] ppid=10437 vsize=10551232 memory=6299804043886095713 CPUtime=56.54 cores=1,3,5,7
/proc/10440/task/10444/stat : 10444 (java) S 10437 10440 17093 0 -1 1077944384 22209 0 0 0 5499 155 0 0 20 0 15 0 66832812 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060617526288 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10445] ppid=10437 vsize=10551232 memory=-8774313645642428999 CPUtime=56.92 cores=1,3,5,7
/proc/10440/task/10445/stat : 10445 (java) S 10437 10440 17093 0 -1 1077944384 23935 0 0 0 5546 146 0 0 20 0 15 0 66832812 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060616473488 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10446] ppid=10437 vsize=10551232 memory=1228 CPUtime=56.25 cores=1,3,5,7
/proc/10440/task/10446/stat : 10446 (java) S 10437 10440 17093 0 -1 1077944384 24303 0 0 0 5470 155 0 0 20 0 15 0 66832812 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060615420688 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10447] ppid=10437 vsize=10551232 memory=12200 CPUtime=14.17 cores=1,3,5,7
/proc/10440/task/10447/stat : 10447 (java) R 10437 10440 17093 0 -1 4202560 18986 0 0 0 1415 2 0 0 20 0 15 0 66832814 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060571145152 140060991671248 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10448] ppid=10437 vsize=10551232 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10448/stat : 10448 (java) S 10437 10440 17093 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 66832814 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060570092640 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10449] ppid=10437 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10449/stat : 10449 (java) S 10437 10440 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 66832814 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060569039728 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10450] ppid=10437 vsize=10551232 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10450/stat : 10450 (java) S 10437 10440 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66832817 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060567987696 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10451] ppid=10437 vsize=10551232 memory=6944656592387989600 CPUtime=0.47 cores=1,3,5,7
/proc/10440/task/10451/stat : 10451 (java) S 10437 10440 17093 0 -1 1077944384 1625 0 0 0 47 0 0 0 20 0 15 0 66832817 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060566936480 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10452] ppid=10437 vsize=10551232 memory=6944656592455360604 CPUtime=0.46 cores=1,3,5,7
/proc/10440/task/10452/stat : 10452 (java) S 10437 10440 17093 0 -1 1077944384 1326 0 0 0 46 0 0 0 20 0 15 0 66832817 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060565883392 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10453] ppid=10437 vsize=10551232 memory=6944656592455097440 CPUtime=0.28 cores=1,3,5,7
/proc/10440/task/10453/stat : 10453 (java) S 10437 10440 17093 0 -1 1077944384 2383 0 0 0 28 0 0 0 20 0 15 0 66832817 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060564830880 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10454] ppid=10437 vsize=10551232 memory=8289284 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10454/stat : 10454 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66832817 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060563778272 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10455] ppid=10437 vsize=10551232 memory=8289276 CPUtime=0.04 cores=1,3,5,7
/proc/10440/task/10455/stat : 10455 (java) S 10437 10440 17093 0 -1 1077944384 320 0 0 0 2 2 0 0 20 0 15 0 66832824 10804461568 2072321 18446744073709551615 4194304 4196468 140724975561088 140060562725552 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
Current children cumulated CPU time: 255.11 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8289284 KiB

[startup+85.6008 s]
/proc/loadavg: 3.73 3.53 3.41 3/210 10459
/proc/meminfo: memFree=15356288/32770624 swapFree=67108860/67108860
[pid=10440] ppid=10437 vsize=10750924 memory=8289320 CPUtime=255.93 cores=1,3,5,7
/proc/10440/stat : 10440 (java) S 10437 10440 17093 0 -1 1077944320 141008 0 0 0 24948 645 0 0 20 0 17 0 66832806 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140724975543632 140061006970615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
/proc/10440/statm: 2687731 2072330 3104 1 0 2677184 0
[pid=10440/tid=10442] ppid=10437 vsize=10750924 memory=8289268 CPUtime=13.11 cores=1,3,5,7
/proc/10440/task/10442/stat : 10442 (java) R 10437 10440 17093 0 -1 4202560 17327 0 0 0 1295 16 0 0 20 0 17 0 66832812 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140061011207680 140060648577246 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10443] ppid=10437 vsize=10750924 memory=12200 CPUtime=56.86 cores=1,3,5,7
/proc/10440/task/10443/stat : 10443 (java) S 10437 10440 17093 0 -1 1077944384 27058 0 0 0 5520 166 0 0 20 0 17 0 66832812 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060618579088 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10444] ppid=10437 vsize=10750924 memory=1992 CPUtime=56.54 cores=1,3,5,7
/proc/10440/task/10444/stat : 10444 (java) S 10437 10440 17093 0 -1 1077944384 22209 0 0 0 5499 155 0 0 20 0 17 0 66832812 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060617526288 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10445] ppid=10437 vsize=10750924 memory=1204 CPUtime=56.92 cores=1,3,5,7
/proc/10440/task/10445/stat : 10445 (java) S 10437 10440 17093 0 -1 1077944384 23935 0 0 0 5546 146 0 0 20 0 17 0 66832812 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060616473488 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10446] ppid=10437 vsize=10750924 memory=-8774313645642428999 CPUtime=56.25 cores=1,3,5,7
/proc/10440/task/10446/stat : 10446 (java) S 10437 10440 17093 0 -1 1077944384 24303 0 0 0 5470 155 0 0 20 0 17 0 66832812 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060615420688 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10447] ppid=10437 vsize=10750924 memory=288230621803970871 CPUtime=14.9 cores=1,3,5,7
/proc/10440/task/10447/stat : 10447 (java) S 10437 10440 17093 0 -1 1077944384 19003 0 0 0 1488 2 0 0 20 0 17 0 66832814 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060571146608 140061006981762 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10448] ppid=10437 vsize=10750924 memory=13563795322702378 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10448/stat : 10448 (java) S 10437 10440 17093 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 66832814 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060570092640 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10449] ppid=10437 vsize=10750924 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10449/stat : 10449 (java) S 10437 10440 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 66832814 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060569039728 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10450] ppid=10437 vsize=10750924 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10450/stat : 10450 (java) S 10437 10440 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66832817 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060567988048 140061006989211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10451] ppid=10437 vsize=10750924 memory=4028 CPUtime=0.47 cores=1,3,5,7
/proc/10440/task/10451/stat : 10451 (java) S 10437 10440 17093 0 -1 1077944384 1625 0 0 0 47 0 0 0 20 0 17 0 66832817 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060566936432 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10452] ppid=10437 vsize=10750924 memory=37680 CPUtime=0.46 cores=1,3,5,7
/proc/10440/task/10452/stat : 10452 (java) S 10437 10440 17093 0 -1 1077944384 1326 0 0 0 46 0 0 0 20 0 17 0 66832817 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060565883632 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10453] ppid=10437 vsize=10750924 memory=1296 CPUtime=0.28 cores=1,3,5,7
/proc/10440/task/10453/stat : 10453 (java) S 10437 10440 17093 0 -1 1077944384 2384 0 0 0 28 0 0 0 20 0 17 0 66832817 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060564830832 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10454] ppid=10437 vsize=10750924 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10454/stat : 10454 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66832817 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060563778272 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10455] ppid=10437 vsize=10750924 memory=1732 CPUtime=0.04 cores=1,3,5,7
/proc/10440/task/10455/stat : 10455 (java) S 10437 10440 17093 0 -1 1077944384 320 0 0 0 2 2 0 0 20 0 17 0 66832824 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060562725552 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
Current children cumulated CPU time: 255.93 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8289320 KiB

[startup+85.801 s]
/proc/loadavg: 3.73 3.53 3.41 3/210 10459
/proc/meminfo: memFree=15356288/32770624 swapFree=67108860/67108860
[pid=10440] ppid=10437 vsize=10750924 memory=8289320 CPUtime=256.55 cores=1,3,5,7
/proc/10440/stat : 10440 (java) S 10437 10440 17093 0 -1 1077944320 141017 0 0 0 25010 645 0 0 20 0 17 0 66832806 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140724975543632 140061006970615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
/proc/10440/statm: 2687731 2072330 3104 1 0 2677184 0
[pid=10440/tid=10442] ppid=10437 vsize=10750924 memory=-8774313645642428999 CPUtime=13.17 cores=1,3,5,7
/proc/10440/task/10442/stat : 10442 (java) S 10437 10440 17093 0 -1 1077944384 17327 0 0 0 1301 16 0 0 20 0 17 0 66832812 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140061011207552 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10443] ppid=10437 vsize=10750924 memory=0 CPUtime=57.01 cores=1,3,5,7
/proc/10440/task/10443/stat : 10443 (java) R 10437 10440 17093 0 -1 4202560 27064 0 0 0 5535 166 0 0 20 0 17 0 66832812 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060618579288 140060991668367 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10444] ppid=10437 vsize=10750924 memory=4580 CPUtime=56.68 cores=1,3,5,7
/proc/10440/task/10444/stat : 10444 (java) R 10437 10440 17093 0 -1 4202560 22209 0 0 0 5513 155 0 0 20 0 17 0 66832812 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060617526176 140060991921742 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10445] ppid=10437 vsize=10750924 memory=8330969454845486047 CPUtime=57.06 cores=1,3,5,7
/proc/10440/task/10445/stat : 10445 (java) R 10437 10440 17093 0 -1 4202560 23935 0 0 0 5560 146 0 0 20 0 17 0 66832812 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060616473488 140060991668367 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10446] ppid=10437 vsize=10750924 memory=8330969454845486047 CPUtime=56.39 cores=1,3,5,7
/proc/10440/task/10446/stat : 10446 (java) R 10437 10440 17093 0 -1 4202560 24305 0 0 0 5484 155 0 0 20 0 17 0 66832812 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060615420688 140060991921742 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10447] ppid=10437 vsize=10750924 memory=-7094132109863559211 CPUtime=14.9 cores=1,3,5,7
/proc/10440/task/10447/stat : 10447 (java) S 10437 10440 17093 0 -1 1077944384 19003 0 0 0 1488 2 0 0 20 0 17 0 66832814 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060571144928 140061006980821 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10448] ppid=10437 vsize=10750924 memory=9126232286719478932 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10448/stat : 10448 (java) S 10437 10440 17093 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 66832814 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060570092640 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10449] ppid=10437 vsize=10750924 memory=-2541025662029814883 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10449/stat : 10449 (java) S 10437 10440 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 66832814 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060569039728 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10450] ppid=10437 vsize=10750924 memory=7300480408000703121 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10450/stat : 10450 (java) S 10437 10440 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66832817 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060567988048 140061006989211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10451] ppid=10437 vsize=10750924 memory=-8774313645642428999 CPUtime=0.47 cores=1,3,5,7
/proc/10440/task/10451/stat : 10451 (java) S 10437 10440 17093 0 -1 1077944384 1625 0 0 0 47 0 0 0 20 0 17 0 66832817 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060566936432 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10452] ppid=10437 vsize=10750924 memory=37680 CPUtime=0.46 cores=1,3,5,7
/proc/10440/task/10452/stat : 10452 (java) S 10437 10440 17093 0 -1 1077944384 1326 0 0 0 46 0 0 0 20 0 17 0 66832817 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060565883632 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10453] ppid=10437 vsize=10750924 memory=1296 CPUtime=0.28 cores=1,3,5,7
/proc/10440/task/10453/stat : 10453 (java) S 10437 10440 17093 0 -1 1077944384 2384 0 0 0 28 0 0 0 20 0 17 0 66832817 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060564830832 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10454] ppid=10437 vsize=10750924 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/10440/task/10454/stat : 10454 (java) S 10437 10440 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66832817 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060563778272 140061006980821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
[pid=10440/tid=10455] ppid=10437 vsize=10750924 memory=1732 CPUtime=0.04 cores=1,3,5,7
/proc/10440/task/10455/stat : 10455 (java) S 10437 10440 17093 0 -1 1077944384 320 0 0 0 2 2 0 0 20 0 17 0 66832824 11008946176 2072330 18446744073709551615 4194304 4196468 140724975561088 140060562725552 140061006981762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20967424 140724975567253 140724975567406 140724975567406 140724975570895 0
Current children cumulated CPU time: 256.55 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8289320 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 85.8492
CPU time (s): 256.637
CPU user time (s): 250.15
CPU system time (s): 6.48633
CPU usage (%): 298.939
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 8289320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.15
system time used= 6.48633
maximum resident set size= 8289964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5776
involuntary context switches= 4035


# summary of solver processes directly reported to runsolver:
#   pid: 10440
#   total CPU time (s): 256.637
#   total CPU user time (s): 250.15
#   total CPU system time (s): 6.48633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.541869 second user time and 0.848284 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-13 19:32:26
IDJOB=4258002
IDBENCH=126211
IDSOLVER=2643
FILE ID=node127/4258002-1502646395
RUNJOBID= node127-1502642200-6041
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-28-a3.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258002-1502646395/watcher-4258002-1502646395 -o /tmp/evaluation-result-4258002-1502646395/solver-4258002-1502646395 -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-4258002-1502646395.xml

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

MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea
RANDOM SEED=315038900

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:        27216176 kB
MemAvailable:   27652504 kB
Buffers:          200532 kB
Cached:           531852 kB
SwapCached:            0 kB
Active:          4910704 kB
Inactive:         212992 kB
Active(anon):    4340876 kB
Inactive(anon):    83872 kB
Active(file):     569828 kB
Inactive(file):   129120 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1704 kB
Writeback:            68 kB
AnonPages:       4391308 kB
Mapped:            58864 kB
Shmem:             33444 kB
Slab:             132088 kB
SReclaimable:     106432 kB
SUnreclaim:        25656 kB
KernelStack:        3440 kB
PageTables:        13148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5028292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4263936 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 19:33:52