Trace number 4273877

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 NameAnswerCPU timeWall clock time
OscaR - Conflict Ordering 2017-07-26? (TO) 2520.0801 2511.1399

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K10-P09.xml
MD5SUM132dbb92a73ed64c3de106a7d099dd2d
Bench CategoryCSP (decision 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 variables1070
Number of constraints487
Number of domains2
Minimum domain size485
Maximum domain size486
Distribution of domain sizes[{"size":485,"count":485},{"size":486,"count":90}]
Minimum variable degree0
Maximum variable degree12
Distribution of variable degrees[{"degree":0,"count":495},{"degree":2,"count":485},{"degree":11,"count":20},{"degree":12,"count":70}]
Minimum constraint arity3
Maximum constraint arity485
Distribution of constraint arities[{"arity":3,"count":485},{"arity":90,"count":1},{"arity":485,"count":1}]
Number of extensional constraints0
Number of intensional constraints485
Distribution of constraint types[{"type":"intension","count":485},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.24/0.39	c version: 2017-07-26
0.24/0.39	c seed: 1690633036
0.24/0.39	c timeout: 2520
0.24/0.39	c memlimit: 11000
0.24/0.39	c nbcore: 4
0.24/0.41	c Parsing instance...
2.25/1.27	c Parsing done, starting search...
2520.04/2511.11	s UNKNOWN

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273877-1502723020/watcher-4273877-1502723020 -o /tmp/evaluation-result-4273877-1502723020/solver-4273877-1502723020 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1690633036 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273877-1502723020.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=20523, runsolver pid=20520

[startup+0.100156 s]*
/proc/loadavg: 1.63 1.68 1.75 3/203 20532
/proc/meminfo: memFree=27963808/32770624 swapFree=67105588/67108860
[pid=20523] ppid=20520 vsize=13573664 memory=19796 CPUtime=0.03 cores=1,3,5,7
/proc/20523/stat : 20523 (java) S 20520 20523 12560 0 -1 1077944320 4359 0 0 0 3 0 0 0 20 0 9 0 74497358 13899431936 4949 18446744073709551615 4194304 4196468 140722262814528 140722262797072 140092443610871 0 0 1 16800970 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
/proc/20523/statm: 3393416 4949 2142 1 0 3382913 0
[pid=20523/tid=20525] ppid=20520 vsize=13573664 memory=-6439968830534014599 CPUtime=0.03 cores=1,3,5,7
/proc/20523/task/20525/stat : 20525 (java) R 20520 20523 12560 0 -1 4202560 3005 0 0 0 3 0 0 0 20 0 9 0 74497364 13899431936 4949 18446744073709551615 4194304 4196468 140722262814528 140092447846264 140092443632797 0 4 1 16800970 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20526] ppid=20520 vsize=13573664 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20526/stat : 20526 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 74497365 13899431936 4949 18446744073709551615 4194304 4196468 140722262814528 140092378045200 140092443621077 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20527] ppid=20520 vsize=13573664 memory=139871384127104 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20527/stat : 20527 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 74497365 13899431936 4949 18446744073709551615 4194304 4196468 140722262814528 140092376992656 140092443621077 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20528] ppid=20520 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20528/stat : 20528 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 74497365 13899431936 4949 18446744073709551615 4194304 4196468 140722262814528 140092375940112 140092443621077 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20529] ppid=20520 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20529/stat : 20529 (java) S 20520 20523 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 74497365 13899431936 4949 18446744073709551615 4194304 4196468 140722262814528 140092374887568 140092443621077 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20530] ppid=20520 vsize=13573664 memory=139871384127104 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20530/stat : 20530 (java) S 20520 20523 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 74497366 13899431936 4949 18446744073709551615 4194304 4196468 140722262814528 140091428157424 140092443622018 0 0 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20531] ppid=20520 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20531/stat : 20531 (java) S 20520 20523 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 74497367 13899431936 4949 18446744073709551615 4194304 4196468 140722262814528 140091427103648 140092443621077 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20532] ppid=20520 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20532/stat : 20532 (java) S 20520 20523 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 74497367 13899431936 4949 18446744073709551615 4194304 4196468 140722262814528 140091426051056 140092443621077 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 19796 KiB

[startup+0.209895 s]*
/proc/loadavg: 1.63 1.68 1.75 3/209 20538
/proc/meminfo: memFree=27958172/32770624 swapFree=67105588/67108860
[pid=20523] ppid=20520 vsize=13975920 memory=30520 CPUtime=0.08 cores=1,3,5,7
/proc/20523/stat : 20523 (java) S 20520 20523 12560 0 -1 1077944320 6960 0 0 0 7 1 0 0 20 0 15 0 74497358 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140722262797072 140092443610871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
/proc/20523/statm: 3493980 7630 3345 1 0 3482759 0
[pid=20523/tid=20525] ppid=20520 vsize=13975920 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/20523/task/20525/stat : 20525 (java) R 20520 20523 12560 0 -1 4202560 4982 0 0 0 6 0 0 0 20 0 15 0 74497364 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140092447840616 140092052157388 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20526] ppid=20520 vsize=13975920 memory=328 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20526/stat : 20526 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497365 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140092378045200 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20527] ppid=20520 vsize=13975920 memory=139871384146440 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20527/stat : 20527 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497365 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140092376992656 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20528] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20528/stat : 20528 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497365 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140092375940112 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20529] ppid=20520 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20529/stat : 20529 (java) S 20520 20523 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74497365 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140092374887568 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20530] ppid=20520 vsize=13975920 memory=139871384127104 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20530/stat : 20530 (java) S 20520 20523 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74497366 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140091428157424 140092443622018 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20531] ppid=20520 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20531/stat : 20531 (java) S 20520 20523 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74497367 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140091427103648 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20532] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20532/stat : 20532 (java) S 20520 20523 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74497367 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140091426051056 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20533] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20533/stat : 20533 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497369 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140091424999632 140092443629467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20534] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20534/stat : 20534 (java) S 20520 20523 12560 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 74497369 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140091423947248 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20535] ppid=20520 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20535/stat : 20535 (java) S 20520 20523 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74497370 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140091422894704 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20536] ppid=20520 vsize=13975920 memory=139871384127104 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20536/stat : 20536 (java) S 20520 20523 12560 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 74497370 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140091421842160 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20537] ppid=20520 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20537/stat : 20537 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497370 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140091420789856 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20538] ppid=20520 vsize=13975920 memory=139871384127104 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20538/stat : 20538 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497378 14311342080 7630 18446744073709551615 4194304 4196468 140722262814528 140091419736368 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30520 KiB

[startup+0.310127 s]*
/proc/loadavg: 1.63 1.68 1.75 3/209 20538
/proc/meminfo: memFree=27945604/32770624 swapFree=67105588/67108860
[pid=20523] ppid=20520 vsize=13975920 memory=40092 CPUtime=0.24 cores=1,3,5,7
/proc/20523/stat : 20523 (java) S 20520 20523 12560 0 -1 1077944320 10262 0 0 0 21 3 0 0 20 0 15 0 74497358 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140722262797072 140092443610871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
/proc/20523/statm: 3493980 10023 3541 1 0 3482759 0
[pid=20523/tid=20525] ppid=20520 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/20523/task/20525/stat : 20525 (java) R 20520 20523 12560 0 -1 4202560 7988 0 0 0 15 2 0 0 20 0 15 0 74497364 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140092447838064 140092443632797 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20526] ppid=20520 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20526/stat : 20526 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497365 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140092378045200 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20527] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20527/stat : 20527 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497365 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140092376992656 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20528] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20528/stat : 20528 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497365 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140092375940112 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20529] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20529/stat : 20529 (java) S 20520 20523 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74497365 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140092374887568 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20530] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20530/stat : 20530 (java) S 20520 20523 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 74497366 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140091428157424 140092443622018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20531] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20531/stat : 20531 (java) S 20520 20523 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74497367 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140091427103648 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20532] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20532/stat : 20532 (java) S 20520 20523 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74497367 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140091426051056 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20533] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20533/stat : 20533 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497369 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140091424999632 140092443629467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20534] ppid=20520 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20523/task/20534/stat : 20534 (java) S 20520 20523 12560 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 74497369 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140091423947248 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20535] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20535/stat : 20535 (java) S 20520 20523 12560 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 74497370 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140091422894704 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20536] ppid=20520 vsize=13975920 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/20523/task/20536/stat : 20536 (java) R 20520 20523 12560 0 -1 4202560 370 0 0 0 4 0 0 0 20 0 15 0 74497370 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140091421842160 140092443622806 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20537] ppid=20520 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20537/stat : 20537 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497370 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140091420789856 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20538] ppid=20520 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20538/stat : 20538 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497378 14311342080 10023 18446744073709551615 4194304 4196468 140722262814528 140091419736368 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40092 KiB

[startup+0.700766 s]
/proc/loadavg: 1.66 1.69 1.75 4/209 20538
/proc/meminfo: memFree=27933544/32770624 swapFree=67105588/67108860
[pid=20523] ppid=20520 vsize=13977988 memory=68372 CPUtime=1.03 cores=1,3,5,7
/proc/20523/stat : 20523 (java) S 20520 20523 12560 0 -1 1077944320 13793 0 0 0 98 5 0 0 20 0 15 0 74497358 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140722262797072 140092443610871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
/proc/20523/statm: 3494497 17093 3728 1 0 3483271 0
[pid=20523/tid=20525] ppid=20520 vsize=13977988 memory=94 CPUtime=0.54 cores=1,3,5,7
/proc/20523/task/20525/stat : 20525 (java) R 20520 20523 12560 0 -1 4202560 10332 0 0 0 50 4 0 0 20 0 15 0 74497364 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140092447842704 140092443622806 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20526] ppid=20520 vsize=13977988 memory=28 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20526/stat : 20526 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497365 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140092378045200 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20527] ppid=20520 vsize=13977988 memory=33 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20527/stat : 20527 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497365 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140092376992656 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20528] ppid=20520 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20528/stat : 20528 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497365 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140092375940112 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20529] ppid=20520 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20529/stat : 20529 (java) S 20520 20523 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74497365 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140092374887568 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20530] ppid=20520 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20530/stat : 20530 (java) S 20520 20523 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 74497366 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140091428157424 140092443622018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20531] ppid=20520 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20531/stat : 20531 (java) S 20520 20523 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74497367 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140091427103648 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20532] ppid=20520 vsize=13977988 memory=956 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20532/stat : 20532 (java) S 20520 20523 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74497367 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140091426051056 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20533] ppid=20520 vsize=13977988 memory=67 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20533/stat : 20533 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497369 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140091424999632 140092443629467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20534] ppid=20520 vsize=13977988 memory=250 CPUtime=0.13 cores=1,3,5,7
/proc/20523/task/20534/stat : 20534 (java) S 20520 20523 12560 0 -1 1077944384 870 0 0 0 13 0 0 0 20 0 15 0 74497369 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140091423947248 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20535] ppid=20520 vsize=13977988 memory=279742494281488 CPUtime=0.11 cores=1,3,5,7
/proc/20523/task/20535/stat : 20535 (java) S 20520 20523 12560 0 -1 1077944384 414 0 0 0 11 0 0 0 20 0 15 0 74497370 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140091422894704 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20536] ppid=20520 vsize=13977988 memory=2509603079937 CPUtime=0.22 cores=1,3,5,7
/proc/20523/task/20536/stat : 20536 (java) S 20520 20523 12560 0 -1 1077944384 794 0 0 0 22 0 0 0 20 0 15 0 74497370 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140091421842160 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20537] ppid=20520 vsize=13977988 memory=2518193014529 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20537/stat : 20537 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497370 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140091420789856 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20538] ppid=20520 vsize=13977988 memory=2561142687489 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20538/stat : 20538 (java) S 20520 20523 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74497378 14313459712 17093 18446744073709551615 4194304 4196468 140722262814528 140091419736368 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68372 KiB

[startup+1.50076 s]
/proc/loadavg: 1.66 1.69 1.75 5/209 20538
/proc/meminfo: memFree=27893468/32770624 swapFree=67105588/67108860
[pid=20523] ppid=20520 vsize=13982084 memory=220832 CPUtime=3.1 cores=1,3,5,7
/proc/20523/stat : 20523 (java) S 20520 20523 12560 0 -1 1077944320 30256 0 0 0 299 11 0 0 20 0 15 0 74497358 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140722262797072 140092443610871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
/proc/20523/statm: 3495521 55208 3771 1 0 3484295 0
[pid=20523/tid=20525] ppid=20520 vsize=13982084 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/20523/task/20525/stat : 20525 (java) R 20520 20523 12560 0 -1 4202560 14887 0 0 0 126 6 0 0 20 0 15 0 74497364 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140092447847232 140092059483072 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20526] ppid=20520 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20526/stat : 20526 (java) S 20520 20523 12560 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 74497365 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140092378045200 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20527] ppid=20520 vsize=13982084 memory=279742494513248 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20527/stat : 20527 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497365 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140092376992656 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20528] ppid=20520 vsize=13982084 memory=9132 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20528/stat : 20528 (java) S 20520 20523 12560 0 -1 1077944384 562 0 0 0 0 0 0 0 20 0 15 0 74497365 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140092375940112 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20529] ppid=20520 vsize=13982084 memory=19658 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20529/stat : 20529 (java) S 20520 20523 12560 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 74497365 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140092374887568 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20530] ppid=20520 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20530/stat : 20530 (java) S 20520 20523 12560 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 15 0 74497366 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140091428157424 140092443622018 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20531] ppid=20520 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20531/stat : 20531 (java) S 20520 20523 12560 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 74497367 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140091427103712 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20532] ppid=20520 vsize=13982084 memory=33 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20532/stat : 20532 (java) S 20520 20523 12560 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 74497367 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140091426051056 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20533] ppid=20520 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20533/stat : 20533 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497369 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140091424999632 140092443629467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20534] ppid=20520 vsize=13982084 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/20523/task/20534/stat : 20534 (java) R 20520 20523 12560 0 -1 4202560 2593 0 0 0 53 0 0 0 20 0 15 0 74497369 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140091423931200 140092427111203 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20535] ppid=20520 vsize=13982084 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/20523/task/20535/stat : 20535 (java) R 20520 20523 12560 0 -1 4202560 1817 0 0 0 54 0 0 0 20 0 15 0 74497370 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140091422881488 140092421587904 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20536] ppid=20520 vsize=13982084 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/20523/task/20536/stat : 20536 (java) S 20520 20523 12560 0 -1 1077944384 8429 0 0 0 63 1 0 0 20 0 15 0 74497370 14317654016 55208 18446744073709551615 4194304 4196468 140722262814528 140091421842160 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0

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

/proc/20523/task/20525/stat : 20525 (java) R 20520 20523 12560 0 -1 4202560 129616 0 0 0 243895 79 0 0 20 0 15 0 74497364 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140092447849504 140092060729248 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20526] ppid=20520 vsize=13982084 memory=3614344 CPUtime=1.35 cores=1,3,5,7
/proc/20523/task/20526/stat : 20526 (java) S 20520 20523 12560 0 -1 1077944384 19125 0 0 0 127 8 0 0 20 0 15 0 74497365 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140092378045200 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20527] ppid=20520 vsize=13982084 memory=3616392 CPUtime=1.34 cores=1,3,5,7
/proc/20523/task/20527/stat : 20527 (java) S 20520 20523 12560 0 -1 1077944384 21485 0 0 0 125 9 0 0 20 0 15 0 74497365 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140092376992656 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20528] ppid=20520 vsize=13982084 memory=3616392 CPUtime=1.35 cores=1,3,5,7
/proc/20523/task/20528/stat : 20528 (java) S 20520 20523 12560 0 -1 1077944384 22417 0 0 0 125 10 0 0 20 0 15 0 74497365 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140092375940112 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20529] ppid=20520 vsize=13982084 memory=3616392 CPUtime=1.37 cores=1,3,5,7
/proc/20523/task/20529/stat : 20529 (java) S 20520 20523 12560 0 -1 1077944384 14010 0 0 0 129 8 0 0 20 0 15 0 74497365 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140092374887568 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20530] ppid=20520 vsize=13982084 memory=3616392 CPUtime=0.56 cores=1,3,5,7
/proc/20523/task/20530/stat : 20530 (java) S 20520 20523 12560 0 -1 1077944384 21156 0 0 0 48 8 0 0 20 0 15 0 74497366 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140091428157424 140092443622018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20531] ppid=20520 vsize=13982084 memory=3616392 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20531/stat : 20531 (java) S 20520 20523 12560 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 74497367 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140091427103712 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20532] ppid=20520 vsize=13982084 memory=3616392 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20532/stat : 20532 (java) S 20520 20523 12560 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 74497367 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140091426051072 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20533] ppid=20520 vsize=13982084 memory=3616392 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20533/stat : 20533 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497369 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140091424999632 140092443629467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20534] ppid=20520 vsize=13982084 memory=3616392 CPUtime=1.66 cores=1,3,5,7
/proc/20523/task/20534/stat : 20534 (java) S 20520 20523 12560 0 -1 1077944384 5890 0 0 0 165 1 0 0 20 0 15 0 74497369 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140091423947248 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20535] ppid=20520 vsize=13982084 memory=3616392 CPUtime=1.61 cores=1,3,5,7
/proc/20523/task/20535/stat : 20535 (java) S 20520 20523 12560 0 -1 1077944384 5555 0 0 0 159 2 0 0 20 0 15 0 74497370 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140091422894704 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20536] ppid=20520 vsize=13982084 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/20523/task/20536/stat : 20536 (java) S 20520 20523 12560 0 -1 1077944384 9443 0 0 0 70 2 0 0 20 0 15 0 74497370 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140091421842160 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20537] ppid=20520 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20537/stat : 20537 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497370 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140091420789856 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20538] ppid=20520 vsize=13982084 memory=3616392 CPUtime=1.05 cores=1,3,5,7
/proc/20523/task/20538/stat : 20538 (java) S 20520 20523 12560 0 -1 1077944384 2095 0 0 0 47 58 0 0 20 0 15 0 74497378 14317654016 904098 18446744073709551615 4194304 4196468 140722262814528 140091419736368 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
Current children cumulated CPU time: 2450.84 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3616392 KiB

[startup+2502.3 s]
/proc/loadavg: 1.68 1.63 1.82 3/213 22469
/proc/meminfo: memFree=27732564/32770624 swapFree=67105588/67108860
[pid=20523] ppid=20520 vsize=13982084 memory=3618440 CPUtime=2511.18 cores=1,3,5,7
/proc/20523/stat : 20523 (java) S 20520 20523 12560 0 -1 1077944320 259042 0 0 0 250942 176 0 0 20 0 15 0 74497358 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140722262797072 140092443610871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
/proc/20523/statm: 3495521 904610 3781 1 0 3484295 0
[pid=20523/tid=20525] ppid=20520 vsize=13982084 memory=3618440 CPUtime=2499.58 cores=1,3,5,7
/proc/20523/task/20525/stat : 20525 (java) R 20520 20523 12560 0 -1 4202560 130922 0 0 0 249878 80 0 0 20 0 15 0 74497364 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140092447849504 140092060251685 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20526] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.46 cores=1,3,5,7
/proc/20523/task/20526/stat : 20526 (java) S 20520 20523 12560 0 -1 1077944384 20180 0 0 0 138 8 0 0 20 0 15 0 74497365 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140092378045200 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20527] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.45 cores=1,3,5,7
/proc/20523/task/20527/stat : 20527 (java) S 20520 20523 12560 0 -1 1077944384 22257 0 0 0 135 10 0 0 20 0 15 0 74497365 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140092376992656 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20528] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.45 cores=1,3,5,7
/proc/20523/task/20528/stat : 20528 (java) S 20520 20523 12560 0 -1 1077944384 24365 0 0 0 135 10 0 0 20 0 15 0 74497365 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140092375940112 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20529] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.48 cores=1,3,5,7
/proc/20523/task/20529/stat : 20529 (java) S 20520 20523 12560 0 -1 1077944384 14665 0 0 0 139 9 0 0 20 0 15 0 74497365 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140092374887568 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20530] ppid=20520 vsize=13982084 memory=3618440 CPUtime=0.6 cores=1,3,5,7
/proc/20523/task/20530/stat : 20530 (java) S 20520 20523 12560 0 -1 1077944384 22137 0 0 0 52 8 0 0 20 0 15 0 74497366 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140091428157424 140092443622018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20531] ppid=20520 vsize=13982084 memory=3618440 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20531/stat : 20531 (java) S 20520 20523 12560 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 74497367 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140091427103712 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20532] ppid=20520 vsize=13982084 memory=3616392 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20532/stat : 20532 (java) S 20520 20523 12560 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 74497367 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140091426051072 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20533] ppid=20520 vsize=13982084 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20533/stat : 20533 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497369 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140091424999632 140092443629467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20534] ppid=20520 vsize=13982084 memory=2016 CPUtime=1.66 cores=1,3,5,7
/proc/20523/task/20534/stat : 20534 (java) S 20520 20523 12560 0 -1 1077944384 5898 0 0 0 165 1 0 0 20 0 15 0 74497369 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140091423947248 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20535] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.61 cores=1,3,5,7
/proc/20523/task/20535/stat : 20535 (java) S 20520 20523 12560 0 -1 1077944384 5565 0 0 0 159 2 0 0 20 0 15 0 74497370 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140091422894704 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20536] ppid=20520 vsize=13982084 memory=3618440 CPUtime=0.72 cores=1,3,5,7
/proc/20523/task/20536/stat : 20536 (java) S 20520 20523 12560 0 -1 1077944384 9451 0 0 0 70 2 0 0 20 0 15 0 74497370 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140091421842160 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20537] ppid=20520 vsize=13982084 memory=3618440 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20537/stat : 20537 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497370 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140091420789856 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20538] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.08 cores=1,3,5,7
/proc/20523/task/20538/stat : 20538 (java) S 20520 20523 12560 0 -1 1077944384 2173 0 0 0 48 60 0 0 20 0 15 0 74497378 14317654016 904610 18446744073709551615 4194304 4196468 140722262814528 140091419736368 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
Current children cumulated CPU time: 2511.18 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3618440 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.11 s]
/proc/loadavg: 1.73 1.64 1.83 3/213 22469
/proc/meminfo: memFree=27732556/32770624 swapFree=67105588/67108860
[pid=20523] ppid=20520 vsize=13982084 memory=3620488 CPUtime=2520.04 cores=1,3,5,7
/proc/20523/stat : 20523 (java) S 20520 20523 12560 0 -1 1077944320 259399 0 0 0 251828 176 0 0 20 0 15 0 74497358 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140722262797072 140092443610871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
/proc/20523/statm: 3495521 905122 3781 1 0 3484295 0
[pid=20523/tid=20525] ppid=20520 vsize=13982084 memory=0 CPUtime=2508.36 cores=1,3,5,7
/proc/20523/task/20525/stat : 20525 (java) R 20520 20523 12560 0 -1 4202560 131083 0 0 0 250756 80 0 0 20 0 15 0 74497364 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140092447849504 140092060637288 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20526] ppid=20520 vsize=13982084 memory=3128 CPUtime=1.48 cores=1,3,5,7
/proc/20523/task/20526/stat : 20526 (java) S 20520 20523 12560 0 -1 1077944384 20357 0 0 0 140 8 0 0 20 0 15 0 74497365 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140092378045200 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20527] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.47 cores=1,3,5,7
/proc/20523/task/20527/stat : 20527 (java) S 20520 20523 12560 0 -1 1077944384 22261 0 0 0 137 10 0 0 20 0 15 0 74497365 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140092376992656 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20528] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.47 cores=1,3,5,7
/proc/20523/task/20528/stat : 20528 (java) S 20520 20523 12560 0 -1 1077944384 24371 0 0 0 137 10 0 0 20 0 15 0 74497365 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140092375940112 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20529] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.49 cores=1,3,5,7
/proc/20523/task/20529/stat : 20529 (java) S 20520 20523 12560 0 -1 1077944384 14670 0 0 0 140 9 0 0 20 0 15 0 74497365 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140092374887568 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20530] ppid=20520 vsize=13982084 memory=3618440 CPUtime=0.61 cores=1,3,5,7
/proc/20523/task/20530/stat : 20530 (java) S 20520 20523 12560 0 -1 1077944384 22139 0 0 0 53 8 0 0 20 0 15 0 74497366 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091428157424 140092443622018 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20531] ppid=20520 vsize=13982084 memory=3618440 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20531/stat : 20531 (java) S 20520 20523 12560 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 74497367 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091427103712 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20532] ppid=20520 vsize=13982084 memory=3618440 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20532/stat : 20532 (java) S 20520 20523 12560 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 74497367 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091426051072 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20533] ppid=20520 vsize=13982084 memory=279742496225664 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20533/stat : 20533 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497369 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091424999632 140092443629467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20534] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.66 cores=1,3,5,7
/proc/20523/task/20534/stat : 20534 (java) S 20520 20523 12560 0 -1 1077944384 5898 0 0 0 165 1 0 0 20 0 15 0 74497369 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091423947248 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20535] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.61 cores=1,3,5,7
/proc/20523/task/20535/stat : 20535 (java) S 20520 20523 12560 0 -1 1077944384 5565 0 0 0 159 2 0 0 20 0 15 0 74497370 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091422894704 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20536] ppid=20520 vsize=13982084 memory=1004 CPUtime=0.72 cores=1,3,5,7
/proc/20523/task/20536/stat : 20536 (java) S 20520 20523 12560 0 -1 1077944384 9451 0 0 0 70 2 0 0 20 0 15 0 74497370 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091421842160 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20537] ppid=20520 vsize=13982084 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20537/stat : 20537 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497370 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091420789856 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20538] ppid=20520 vsize=13982084 memory=279742495201616 CPUtime=1.08 cores=1,3,5,7
/proc/20523/task/20538/stat : 20538 (java) S 20520 20523 12560 0 -1 1077944384 2175 0 0 0 48 60 0 0 20 0 15 0 74497378 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091419736368 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3620488 KiB

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

[startup+2511.14 s]
# the end of solver process 20523 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.29 s, system=1.78541 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2511.11 s]
/proc/loadavg: 1.73 1.64 1.83 3/213 22469
/proc/meminfo: memFree=27732556/32770624 swapFree=67105588/67108860
[pid=20523] ppid=20520 vsize=13982084 memory=3620488 CPUtime=2520.04 cores=1,3,5,7
/proc/20523/stat : 20523 (java) S 20520 20523 12560 0 -1 1077944320 259399 0 0 0 251828 176 0 0 20 0 15 0 74497358 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140722262797072 140092443610871 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
/proc/20523/statm: 3495521 905122 3781 1 0 3484295 0
[pid=20523/tid=20525] ppid=20520 vsize=13982084 memory=0 CPUtime=2508.36 cores=1,3,5,7
/proc/20523/task/20525/stat : 20525 (java) R 20520 20523 12560 0 -1 4202560 131083 0 0 0 250756 80 0 0 20 0 15 0 74497364 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140092447849504 140092060637288 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20526] ppid=20520 vsize=13982084 memory=3128 CPUtime=1.48 cores=1,3,5,7
/proc/20523/task/20526/stat : 20526 (java) S 20520 20523 12560 0 -1 1077944384 20357 0 0 0 140 8 0 0 20 0 15 0 74497365 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140092378045200 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20527] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.47 cores=1,3,5,7
/proc/20523/task/20527/stat : 20527 (java) S 20520 20523 12560 0 -1 1077944384 22261 0 0 0 137 10 0 0 20 0 15 0 74497365 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140092376992656 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20528] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.47 cores=1,3,5,7
/proc/20523/task/20528/stat : 20528 (java) S 20520 20523 12560 0 -1 1077944384 24371 0 0 0 137 10 0 0 20 0 15 0 74497365 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140092375940112 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20529] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.49 cores=1,3,5,7
/proc/20523/task/20529/stat : 20529 (java) S 20520 20523 12560 0 -1 1077944384 14670 0 0 0 140 9 0 0 20 0 15 0 74497365 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140092374887568 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20530] ppid=20520 vsize=13982084 memory=3618440 CPUtime=0.61 cores=1,3,5,7
/proc/20523/task/20530/stat : 20530 (java) S 20520 20523 12560 0 -1 1077944384 22139 0 0 0 53 8 0 0 20 0 15 0 74497366 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091428157424 140092443622018 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20531] ppid=20520 vsize=13982084 memory=3618440 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20531/stat : 20531 (java) S 20520 20523 12560 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 74497367 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091427103712 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20532] ppid=20520 vsize=13982084 memory=3618440 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20532/stat : 20532 (java) S 20520 20523 12560 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 74497367 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091426051072 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20533] ppid=20520 vsize=13982084 memory=279742496225664 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20533/stat : 20533 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497369 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091424999632 140092443629467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20534] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.66 cores=1,3,5,7
/proc/20523/task/20534/stat : 20534 (java) S 20520 20523 12560 0 -1 1077944384 5898 0 0 0 165 1 0 0 20 0 15 0 74497369 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091423947248 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20535] ppid=20520 vsize=13982084 memory=3618440 CPUtime=1.61 cores=1,3,5,7
/proc/20523/task/20535/stat : 20535 (java) S 20520 20523 12560 0 -1 1077944384 5565 0 0 0 159 2 0 0 20 0 15 0 74497370 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091422894704 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20536] ppid=20520 vsize=13982084 memory=1004 CPUtime=0.72 cores=1,3,5,7
/proc/20523/task/20536/stat : 20536 (java) S 20520 20523 12560 0 -1 1077944384 9451 0 0 0 70 2 0 0 20 0 15 0 74497370 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091421842160 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20537] ppid=20520 vsize=13982084 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/20523/task/20537/stat : 20537 (java) S 20520 20523 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74497370 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091420789856 140092443621077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
[pid=20523/tid=20538] ppid=20520 vsize=13982084 memory=279742495201616 CPUtime=1.08 cores=1,3,5,7
/proc/20523/task/20538/stat : 20538 (java) S 20520 20523 12560 0 -1 1077944384 2175 0 0 0 48 60 0 0 20 0 15 0 74497378 14317654016 905122 18446744073709551615 4194304 4196468 140722262814528 140091419736368 140092443622018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140722262823278 140722262823465 140722262823465 140722262826959 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3620488 KiB

Child status: 143
Real time (s): 2511.14
CPU time (s): 2520.08
CPU user time (s): 2518.29
CPU system time (s): 1.78541
CPU usage (%): 100.356
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3830212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.29
system time used= 1.78541
maximum resident set size= 3830676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71870
involuntary context switches= 2092


# summary of solver processes directly reported to runsolver:
#   pid: 20523
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2518.29
#   total CPU system time (s): 1.78541

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.525 second user time and 23.8899 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-14 16:49:38
IDJOB=4273877
IDBENCH=120758
IDSOLVER=2666
FILE ID=node126/4273877-1502723020
RUNJOBID= node126-1502662832-10388
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P09.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273877-1502723020/watcher-4273877-1502723020 -o /tmp/evaluation-result-4273877-1502723020/solver-4273877-1502723020 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1690633036 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273877-1502723020.xml

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

MD5SUM BENCH= 132dbb92a73ed64c3de106a7d099dd2d
RANDOM SEED=1690633036

node126.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.81
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.81
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.81
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.81
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:        27972924 kB
MemAvailable:   28448048 kB
Buffers:          306160 kB
Cached:           437660 kB
SwapCached:          524 kB
Active:          4076676 kB
Inactive:         231568 kB
Active(anon):    3512600 kB
Inactive(anon):    85392 kB
Active(file):     564076 kB
Inactive(file):   146176 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             42380 kB
Writeback:             0 kB
AnonPages:       3564076 kB
Mapped:            63200 kB
Shmem:             33440 kB
Slab:             187724 kB
SReclaimable:     161416 kB
SUnreclaim:        26308 kB
KernelStack:        3440 kB
PageTables:        11996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4443136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3436544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61948 MiB
End job on node126 at 2017-08-14 17:31:29