Trace number 4293266

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
Concrete 3.8-SuperNG 2018-06-13? (TO) 2522.05 1916.44

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-matching080_c18.xml
MD5SUM8abf4f1f4dc00a8da6097f5555605512
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark46256429
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints318
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":2000}]
Minimum constraint arity3
Maximum constraint arity76
Distribution of constraint arities[{"arity":3,"count":9},{"arity":5,"count":1},{"arity":6,"count":29},{"arity":8,"count":1},{"arity":9,"count":2},{"arity":10,"count":181},{"arity":11,"count":1},{"arity":15,"count":4},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":19,"count":2},{"arity":21,"count":1},{"arity":23,"count":3},{"arity":24,"count":3},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":2},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":3},{"arity":33,"count":2},{"arity":34,"count":1},{"arity":35,"count":2},{"arity":36,"count":5},"...",{"arity":45,"count":4}, {"arity":46,"count":6}, {"arity":47,"count":2}, {"arity":48,"count":3}, {"arity":49,"count":2}, {"arity":50,"count":1}, {"arity":51,"count":2}, {"arity":52,"count":2}, {"arity":54,"count":1}, {"arity":55,"count":2}, {"arity":56,"count":2}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":4}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":71,"count":1}, {"arity":76,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":318}]
Optimization problemYES
Type of objectivemax SUM

Solver Data 

1.00/0.74	c Concrete v3.8.1528841891564 running

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293266-1532311119/watcher-4293266-1532311119 -o /tmp/evaluation-result-4293266-1532311119/solver-4293266-1532311119 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9832 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=417996063 -superng HOME/instance-4293266-1532311119.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=12603, runsolver pid=12600

[startup+0.100121 s]*
/proc/loadavg: 1.28 1.32 1.37 3/206 12660
/proc/meminfo: memFree=16550260/32770624 swapFree=67108860/67108860
[pid=12603] ppid=12600 vsize=9972712 memory=15176 CPUtime=0.09 cores=1,3,5,7
/proc/12603/stat : 12603 (java) S 12600 12603 9800 0 -1 1077944320 4455 13137 0 0 1 0 5 3 20 0 6 0 48674760 10212057088 3794 33554432000 4194304 4196468 140727016592848 140727016575392 139796957646583 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
/proc/12603/statm: 2493178 3794 1934 1 0 2481616 0
[pid=12603/tid=12656] ppid=12600 vsize=9972712 memory=4279135704013962892 CPUtime=0.09 cores=1,3,5,7
/proc/12603/task/12656/stat : 12656 (java) R 12600 12603 9800 0 -1 4202560 2287 13137 0 0 1 0 5 3 20 0 6 0 48674769 10212057088 3794 33554432000 4194304 4196468 140727016592848 139796929483344 139796942769520 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12657] ppid=12600 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12657/stat : 12657 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 6 0 48674770 10212057088 3794 33554432000 4194304 4196468 140727016592848 139796961889040 139796957656789 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12658] ppid=12600 vsize=9972712 memory=140678124631680 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12658/stat : 12658 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 6 0 48674770 10212057088 3794 33554432000 4194304 4196468 140727016592848 139796891646864 139796957656789 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12659] ppid=12600 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12659/stat : 12659 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 6 0 48674770 10212057088 3794 33554432000 4194304 4196468 140727016592848 139796530261008 139796957656789 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12660] ppid=12600 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12660/stat : 12660 (java) S 12600 12603 9800 0 -1 1077944384 2 13137 0 0 0 0 5 3 20 0 6 0 48674770 10212057088 3860 33554432000 4194304 4196468 140727016592848 139796529208464 139796957656789 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15176 KiB

[startup+0.209934 s]*
/proc/loadavg: 1.28 1.32 1.37 4/215 12669
/proc/meminfo: memFree=16527872/32770624 swapFree=67108860/67108860
[pid=12603] ppid=12600 vsize=10818856 memory=40752 CPUtime=0.26 cores=1,3,5,7
/proc/12603/stat : 12603 (java) S 12600 12603 9800 0 -1 1077944320 8618 13137 0 0 17 1 5 3 20 0 15 0 48674760 11078508544 10188 33554432000 4194304 4196468 140727016592848 140727016575392 139796957646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
/proc/12603/statm: 2704714 10188 2959 1 0 2667149 0
[pid=12603/tid=12656] ppid=12600 vsize=10818856 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/12603/task/12656/stat : 12656 (java) R 12600 12603 9800 0 -1 4202560 5322 13137 0 0 11 1 5 3 20 0 15 0 48674769 11078508544 10319 33554432000 4194304 4196468 140727016592848 139796929444240 139796937922304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12657] ppid=12600 vsize=10818856 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12657/stat : 12657 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674770 11078508544 10385 33554432000 4194304 4196468 140727016592848 139796961889040 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12658] ppid=12600 vsize=10818856 memory=288371054276343424 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12658/stat : 12658 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674770 11078508544 10385 33554432000 4194304 4196468 140727016592848 139796891646864 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12659] ppid=12600 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12659/stat : 12659 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674770 11078508544 10385 33554432000 4194304 4196468 140727016592848 139796530261008 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12660] ppid=12600 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12660/stat : 12660 (java) S 12600 12603 9800 0 -1 1077944384 2 13137 0 0 0 0 5 3 20 0 15 0 48674770 11078508544 10385 33554432000 4194304 4196468 140727016592848 139796529208464 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12661] ppid=12600 vsize=10818856 memory=140678124631680 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12661/stat : 12661 (java) S 12600 12603 9800 0 -1 1077944384 2 13137 0 0 0 0 5 3 20 0 15 0 48674771 11078508544 10385 33554432000 4194304 4196468 140727016592848 139795960408048 139796957657730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12662] ppid=12600 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12662/stat : 12662 (java) S 12600 12603 9800 0 -1 1077944384 13 13137 0 0 0 0 5 3 20 0 15 0 48674772 11078508544 10385 33554432000 4194304 4196468 140727016592848 139795883877280 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12663] ppid=12600 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12663/stat : 12663 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674772 11078508544 10385 33554432000 4194304 4196468 140727016592848 139795749659632 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12664] ppid=12600 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12664/stat : 12664 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 15 0 48674775 11078508544 10385 33554432000 4194304 4196468 140727016592848 139795509369040 139796957665179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12665] ppid=12600 vsize=10818856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12603/task/12665/stat : 12665 (java) S 12600 12603 9800 0 -1 1077944384 555 13137 0 0 1 0 5 3 20 0 15 0 48674775 11078508544 10385 33554432000 4194304 4196468 140727016592848 139795959355888 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12666] ppid=12600 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12666/stat : 12666 (java) S 12600 12603 9800 0 -1 1077944384 53 13137 0 0 0 0 5 3 20 0 15 0 48674775 11078508544 10385 33554432000 4194304 4196468 140727016592848 139795958303344 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12667] ppid=12600 vsize=10818856 memory=140678124631680 CPUtime=0.11 cores=1,3,5,7
/proc/12603/task/12667/stat : 12667 (java) S 12600 12603 9800 0 -1 1077944384 608 13137 0 0 3 0 5 3 20 0 15 0 48674775 11078508544 10385 33554432000 4194304 4196468 140727016592848 139795957250800 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12668] ppid=12600 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12668/stat : 12668 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 15 0 48674775 11078508544 10451 33554432000 4194304 4196468 140727016592848 139795475811424 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12669] ppid=12600 vsize=10818856 memory=140678124631680 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12669/stat : 12669 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674775 11078508544 10451 33554432000 4194304 4196468 140727016592848 139795956197680 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 40752 KiB

[startup+0.310249 s]*
/proc/loadavg: 1.28 1.32 1.37 3/215 12669
/proc/meminfo: memFree=16517204/32770624 swapFree=67108860/67108860
[pid=12603] ppid=12600 vsize=10819352 memory=52104 CPUtime=0.39 cores=1,3,5,7
/proc/12603/stat : 12603 (java) S 12600 12603 9800 0 -1 1077944320 10654 13137 0 0 29 2 5 3 20 0 15 0 48674760 11079016448 13026 33554432000 4194304 4196468 140727016592848 140727016575392 139796957646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
/proc/12603/statm: 2704838 13026 3090 1 0 2667149 0
[pid=12603/tid=12656] ppid=12600 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/12603/task/12656/stat : 12656 (java) R 12600 12603 9800 0 -1 4202560 7180 13137 0 0 20 1 5 3 20 0 15 0 48674769 11079016448 13026 33554432000 4194304 4196468 140727016592848 139796929458592 139796941727070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12657] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12657/stat : 12657 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674770 11079016448 13026 33554432000 4194304 4196468 140727016592848 139796961889040 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12658] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12658/stat : 12658 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674770 11079016448 13026 33554432000 4194304 4196468 140727016592848 139796891646864 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12659] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12659/stat : 12659 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674770 11079016448 13026 33554432000 4194304 4196468 140727016592848 139796530261008 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12660] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12660/stat : 12660 (java) S 12600 12603 9800 0 -1 1077944384 2 13137 0 0 0 0 5 3 20 0 15 0 48674770 11079016448 13026 33554432000 4194304 4196468 140727016592848 139796529208464 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12661] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12661/stat : 12661 (java) S 12600 12603 9800 0 -1 1077944384 2 13137 0 0 0 0 5 3 20 0 15 0 48674771 11079016448 13026 33554432000 4194304 4196468 140727016592848 139795960408048 139796957657730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12662] ppid=12600 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12662/stat : 12662 (java) S 12600 12603 9800 0 -1 1077944384 13 13137 0 0 0 0 5 3 20 0 15 0 48674772 11079016448 13026 33554432000 4194304 4196468 140727016592848 139795883877280 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12663] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12663/stat : 12663 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674772 11079016448 13026 33554432000 4194304 4196468 140727016592848 139795749659632 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12664] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12664/stat : 12664 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 15 0 48674775 11079016448 13026 33554432000 4194304 4196468 140727016592848 139795509369040 139796957665179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12665] ppid=12600 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12603/task/12665/stat : 12665 (java) S 12600 12603 9800 0 -1 1077944384 562 13137 0 0 2 0 5 3 20 0 15 0 48674775 11079016448 13026 33554432000 4194304 4196468 140727016592848 139795959355888 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12666] ppid=12600 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12603/task/12666/stat : 12666 (java) S 12600 12603 9800 0 -1 1077944384 57 13137 0 0 1 0 5 3 20 0 15 0 48674775 11079016448 13026 33554432000 4194304 4196468 140727016592848 139795958303344 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12667] ppid=12600 vsize=10819352 memory=140678124631680 CPUtime=0.13 cores=1,3,5,7
/proc/12603/task/12667/stat : 12667 (java) S 12600 12603 9800 0 -1 1077944384 640 13137 0 0 5 0 5 3 20 0 15 0 48674775 11079016448 13026 33554432000 4194304 4196468 140727016592848 139795957250800 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12668] ppid=12600 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12668/stat : 12668 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 15 0 48674775 11079016448 13026 33554432000 4194304 4196468 140727016592848 139795475811424 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12669] ppid=12600 vsize=10819352 memory=140678124631680 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12669/stat : 12669 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674775 11079016448 13026 33554432000 4194304 4196468 140727016592848 139795956197680 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52104 KiB

[startup+0.700793 s]
/proc/loadavg: 1.28 1.32 1.37 3/215 12669
/proc/meminfo: memFree=16507032/32770624 swapFree=67108860/67108860
[pid=12603] ppid=12600 vsize=10819352 memory=86184 CPUtime=1 cores=1,3,5,7
/proc/12603/stat : 12603 (java) S 12600 12603 9800 0 -1 1077944320 17161 13137 0 0 88 4 5 3 20 0 15 0 48674760 11079016448 21546 33554432000 4194304 4196468 140727016592848 140727016575392 139796957646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
/proc/12603/statm: 2704838 21546 3240 1 0 2667149 0
[pid=12603/tid=12656] ppid=12600 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/12603/task/12656/stat : 12656 (java) R 12600 12603 9800 0 -1 4202560 12561 13137 0 0 56 2 5 3 20 0 15 0 48674769 11079016448 21546 33554432000 4194304 4196468 140727016592848 139796929467408 139796937921718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12657] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12657/stat : 12657 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674770 11079016448 21546 33554432000 4194304 4196468 140727016592848 139796961889040 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12658] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12658/stat : 12658 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674770 11079016448 21546 33554432000 4194304 4196468 140727016592848 139796891646864 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12659] ppid=12600 vsize=10819352 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12659/stat : 12659 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674770 11079016448 21546 33554432000 4194304 4196468 140727016592848 139796530261008 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12660] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12660/stat : 12660 (java) S 12600 12603 9800 0 -1 1077944384 2 13137 0 0 0 0 5 3 20 0 15 0 48674770 11079016448 21546 33554432000 4194304 4196468 140727016592848 139796529208464 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12661] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12661/stat : 12661 (java) S 12600 12603 9800 0 -1 1077944384 6 13137 0 0 0 0 5 3 20 0 15 0 48674771 11079016448 21546 33554432000 4194304 4196468 140727016592848 139795960408048 139796957657730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12662] ppid=12600 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12662/stat : 12662 (java) S 12600 12603 9800 0 -1 1077944384 13 13137 0 0 0 0 5 3 20 0 15 0 48674772 11079016448 21546 33554432000 4194304 4196468 140727016592848 139795883877280 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12663] ppid=12600 vsize=10819352 memory=140677962937104 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12663/stat : 12663 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674772 11079016448 21546 33554432000 4194304 4196468 140727016592848 139795749659632 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12664] ppid=12600 vsize=10819352 memory=140681653781073 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12664/stat : 12664 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 15 0 48674775 11079016448 21546 33554432000 4194304 4196468 140727016592848 139795509369040 139796957665179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12665] ppid=12600 vsize=10819352 memory=14004 CPUtime=0.18 cores=1,3,5,7
/proc/12603/task/12665/stat : 12665 (java) S 12600 12603 9800 0 -1 1077944384 1192 13137 0 0 10 0 5 3 20 0 15 0 48674775 11079016448 21546 33554432000 4194304 4196468 140727016592848 139795959355888 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12666] ppid=12600 vsize=10819352 memory=4639098309541127269 CPUtime=0.15 cores=1,3,5,7
/proc/12603/task/12666/stat : 12666 (java) S 12600 12603 9800 0 -1 1077944384 353 13137 0 0 7 0 5 3 20 0 15 0 48674775 11079016448 21546 33554432000 4194304 4196468 140727016592848 139795958303344 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12667] ppid=12600 vsize=10819352 memory=7813023418146120529 CPUtime=0.21 cores=1,3,5,7
/proc/12603/task/12667/stat : 12667 (java) S 12600 12603 9800 0 -1 1077944384 831 13137 0 0 13 0 5 3 20 0 15 0 48674775 11079016448 21546 33554432000 4194304 4196468 140727016592848 139795957250800 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12668] ppid=12600 vsize=10819352 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12668/stat : 12668 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 15 0 48674775 11079016448 21546 33554432000 4194304 4196468 140727016592848 139795475811424 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12669] ppid=12600 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12669/stat : 12669 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674775 11079016448 21546 33554432000 4194304 4196468 140727016592848 139795956197680 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86184 KiB

[startup+1.50086 s]
/proc/loadavg: 1.28 1.32 1.37 5/215 12669
/proc/meminfo: memFree=16460328/32770624 swapFree=67108860/67108860
[pid=12603] ppid=12600 vsize=10834252 memory=185924 CPUtime=2.47 cores=1,3,5,7
/proc/12603/stat : 12603 (java) S 12600 12603 9800 0 -1 1077944320 24927 13137 0 0 230 9 5 3 20 0 15 0 48674760 11094274048 46481 33554432000 4194304 4196468 140727016592848 140727016575392 139796957646583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
/proc/12603/statm: 2708563 46481 3475 1 0 2670221 0
[pid=12603/tid=12656] ppid=12600 vsize=10834252 memory=12848 CPUtime=1.43 cores=1,3,5,7
/proc/12603/task/12656/stat : 12656 (java) R 12600 12603 9800 0 -1 4202560 18025 13137 0 0 130 5 5 3 20 0 15 0 48674769 11094274048 46481 33554432000 4194304 4196468 140727016592848 139796929463904 139796941727070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12657] ppid=12600 vsize=10834252 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/12603/task/12657/stat : 12657 (java) S 12600 12603 9800 0 -1 1077944384 170 13137 0 0 1 0 5 3 20 0 15 0 48674770 11094274048 46481 33554432000 4194304 4196468 140727016592848 139796961889040 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12658] ppid=12600 vsize=10834252 memory=3168 CPUtime=0.09 cores=1,3,5,7
/proc/12603/task/12658/stat : 12658 (java) S 12600 12603 9800 0 -1 1077944384 26 13137 0 0 1 0 5 3 20 0 15 0 48674770 11094274048 46481 33554432000 4194304 4196468 140727016592848 139796891646864 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12659] ppid=12600 vsize=10834252 memory=1540172 CPUtime=0.09 cores=1,3,5,7
/proc/12603/task/12659/stat : 12659 (java) S 12600 12603 9800 0 -1 1077944384 44 13137 0 0 1 0 5 3 20 0 15 0 48674770 11094274048 46481 33554432000 4194304 4196468 140727016592848 139796530261008 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12660] ppid=12600 vsize=10834252 memory=86184 CPUtime=0.09 cores=1,3,5,7
/proc/12603/task/12660/stat : 12660 (java) S 12600 12603 9800 0 -1 1077944384 30 13137 0 0 1 0 5 3 20 0 15 0 48674770 11094274048 46481 33554432000 4194304 4196468 140727016592848 139796529208464 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12661] ppid=12600 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12603/task/12661/stat : 12661 (java) S 12600 12603 9800 0 -1 1077944384 465 13137 0 0 1 0 5 3 20 0 15 0 48674771 11094274048 46481 33554432000 4194304 4196468 140727016592848 139795960408048 139796957657730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12662] ppid=12600 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12662/stat : 12662 (java) S 12600 12603 9800 0 -1 1077944384 13 13137 0 0 0 0 5 3 20 0 15 0 48674772 11094274048 46481 33554432000 4194304 4196468 140727016592848 139795883877344 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12663] ppid=12600 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12663/stat : 12663 (java) S 12600 12603 9800 0 -1 1077944384 2 13137 0 0 0 0 5 3 20 0 15 0 48674772 11094274048 46481 33554432000 4194304 4196468 140727016592848 139795749659648 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12664] ppid=12600 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12664/stat : 12664 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 15 0 48674775 11094274048 46481 33554432000 4194304 4196468 140727016592848 139795509369040 139796957665179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12665] ppid=12600 vsize=10834252 memory=6935649255759568960 CPUtime=0.39 cores=1,3,5,7
/proc/12603/task/12665/stat : 12665 (java) S 12600 12603 9800 0 -1 1077944384 1699 13137 0 0 31 0 5 3 20 0 15 0 48674775 11094274048 46481 33554432000 4194304 4196468 140727016592848 139795959355888 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12666] ppid=12600 vsize=10834252 memory=281355926150080 CPUtime=0.31 cores=1,3,5,7
/proc/12603/task/12666/stat : 12666 (java) S 12600 12603 9800 0 -1 1077944384 603 13137 0 0 23 0 5 3 20 0 15 0 48674775 11094274048 46481 33554432000 4194304 4196468 140727016592848 139795958303344 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12667] ppid=12600 vsize=10834252 memory=6944656592452938395 CPUtime=0.45 cores=1,3,5,7
/proc/12603/task/12667/stat : 12667 (java) S 12600 12603 9800 0 -1 1077944384 1655 13137 0 0 37 0 5 3 20 0 15 0 48674775 11094274048 46481 33554432000 4194304 4196468 140727016592848 139795957250800 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12668] ppid=12600 vsize=10834252 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12668/stat : 12668 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 15 0 48674775 11094274048 46481 33554432000 4194304 4196468 140727016592848 139795475811424 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12669] ppid=12600 vsize=10834252 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12669/stat : 12669 (java) S 12600 12603 9800 0 -1 1077944384 1 13137 0 0 0 0 5 3 20 0 15 0 48674775 11094274048 46481 33554432000 4194304 4196468 140727016592848 139795956197680 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834252 KiB

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

/proc/12603/task/12661/stat : 12661 (java) S 12600 12603 9800 0 -1 1077944384 143036 13137 0 0 111 8 5 3 20 0 15 0 48674771 11104780288 2061568 33554432000 4194304 4196468 140727016592848 139795960408048 139796957657730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12662] ppid=12600 vsize=10844512 memory=1796 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12662/stat : 12662 (java) S 12600 12603 9800 0 -1 1077944384 21 13137 0 0 0 0 5 3 20 0 15 0 48674772 11104780288 2061568 33554432000 4194304 4196468 140727016592848 139795883877344 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12663] ppid=12600 vsize=10844512 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12663/stat : 12663 (java) S 12600 12603 9800 0 -1 1077944384 8 13137 0 0 0 0 5 3 20 0 15 0 48674772 11104780288 2061568 33554432000 4194304 4196468 140727016592848 139795749659648 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12664] ppid=12600 vsize=10844512 memory=14004 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12664/stat : 12664 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 15 0 48674775 11104780288 2061568 33554432000 4194304 4196468 140727016592848 139795509369040 139796957665179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12665] ppid=12600 vsize=10844512 memory=1204 CPUtime=1.9 cores=1,3,5,7
/proc/12603/task/12665/stat : 12665 (java) S 12600 12603 9800 0 -1 1077944384 14356 13137 0 0 180 2 5 3 20 0 15 0 48674775 11104780288 2061568 33554432000 4194304 4196468 140727016592848 139795959355888 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12666] ppid=12600 vsize=10844512 memory=15872 CPUtime=2.03 cores=1,3,5,7
/proc/12603/task/12666/stat : 12666 (java) S 12600 12603 9800 0 -1 1077944384 16280 13137 0 0 193 2 5 3 20 0 15 0 48674775 11104780288 2061568 33554432000 4194304 4196468 140727016592848 139795958303344 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12667] ppid=12600 vsize=10844512 memory=4008 CPUtime=1.43 cores=1,3,5,7
/proc/12603/task/12667/stat : 12667 (java) S 12600 12603 9800 0 -1 1077944384 16132 13137 0 0 133 2 5 3 20 0 15 0 48674775 11104780288 2061568 33554432000 4194304 4196468 140727016592848 139795957250800 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12668] ppid=12600 vsize=10844512 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12668/stat : 12668 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 15 0 48674775 11104780288 2061568 33554432000 4194304 4196468 140727016592848 139795475811424 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12669] ppid=12600 vsize=10844512 memory=2604 CPUtime=0.62 cores=1,3,5,7
/proc/12603/task/12669/stat : 12669 (java) S 12600 12603 9800 0 -1 1077944384 2430 13137 0 0 23 31 5 3 20 0 15 0 48674775 11104780288 2061568 33554432000 4194304 4196468 140727016592848 139795956197680 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8246272 KiB

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

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

[startup+1916.44 s]
# the end of solver process 12603 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2511.57 s, system=10.4834 s

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

[startup+1915.2 s]
/proc/loadavg: 2.53 2.49 2.27 3/218 12886
/proc/meminfo: memFree=8763860/32770624 swapFree=67108860/67108860
[pid=12603] ppid=12600 vsize=11041128 memory=8250492 CPUtime=2520.8 cores=1,3,5,7
/proc/12603/stat : 12603 (java) S 12600 12603 9800 0 -1 1077944320 507381 13137 0 0 251031 1041 5 3 20 0 17 0 48674760 11306115072 2062623 33554432000 4194304 4196468 140727016592848 140727016575392 139796957646583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
/proc/12603/statm: 2760282 2062623 3515 1 0 2721935 0
[pid=12603/tid=12656] ppid=12600 vsize=11041128 memory=1404 CPUtime=1707.43 cores=1,3,5,7
/proc/12603/task/12656/stat : 12656 (java) R 12600 12603 9800 0 -1 4202560 127064 13137 0 0 170714 21 5 3 20 0 17 0 48674769 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796929481248 139796574323565 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12657] ppid=12600 vsize=11041128 memory=3172 CPUtime=202.53 cores=1,3,5,7
/proc/12603/task/12657/stat : 12657 (java) S 12600 12603 9800 0 -1 1077944384 45334 13137 0 0 20005 240 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796961889040 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12658] ppid=12600 vsize=11041128 memory=6791534058613427641 CPUtime=200.42 cores=1,3,5,7
/proc/12603/task/12658/stat : 12658 (java) S 12600 12603 9800 0 -1 1077944384 22047 13137 0 0 19780 254 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796891646864 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12659] ppid=12600 vsize=11041128 memory=4140 CPUtime=202.03 cores=1,3,5,7
/proc/12603/task/12659/stat : 12659 (java) S 12600 12603 9800 0 -1 1077944384 51234 13137 0 0 19956 239 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796530261008 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12660] ppid=12600 vsize=11041128 memory=1724 CPUtime=201.73 cores=1,3,5,7
/proc/12603/task/12660/stat : 12660 (java) S 12600 12603 9800 0 -1 1077944384 66469 13137 0 0 19917 248 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796529208464 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12661] ppid=12600 vsize=11041128 memory=1004 CPUtime=1.27 cores=1,3,5,7
/proc/12603/task/12661/stat : 12661 (java) S 12600 12603 9800 0 -1 1077944384 143036 13137 0 0 111 8 5 3 20 0 17 0 48674771 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795960408048 139796957657730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12662] ppid=12600 vsize=11041128 memory=1952 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12662/stat : 12662 (java) S 12600 12603 9800 0 -1 1077944384 21 13137 0 0 0 0 5 3 20 0 17 0 48674772 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795883877344 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12663] ppid=12600 vsize=11041128 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12663/stat : 12663 (java) S 12600 12603 9800 0 -1 1077944384 8 13137 0 0 0 0 5 3 20 0 17 0 48674772 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795749659648 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12664] ppid=12600 vsize=11041128 memory=2408 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12664/stat : 12664 (java) S 12600 12603 9800 0 -1 1077944384 308 13137 0 0 0 0 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795509369040 139796957665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12665] ppid=12600 vsize=11041128 memory=1724 CPUtime=1.9 cores=1,3,5,7
/proc/12603/task/12665/stat : 12665 (java) S 12600 12603 9800 0 -1 1077944384 14356 13137 0 0 180 2 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795959355888 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12666] ppid=12600 vsize=11041128 memory=1004 CPUtime=2.03 cores=1,3,5,7
/proc/12603/task/12666/stat : 12666 (java) S 12600 12603 9800 0 -1 1077944384 16280 13137 0 0 193 2 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795958303344 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12667] ppid=12600 vsize=11041128 memory=1952 CPUtime=1.43 cores=1,3,5,7
/proc/12603/task/12667/stat : 12667 (java) S 12600 12603 9800 0 -1 1077944384 16132 13137 0 0 133 2 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795957250800 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12668] ppid=12600 vsize=11041128 memory=1704 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12668/stat : 12668 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795475811424 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12669] ppid=12600 vsize=11041128 memory=792 CPUtime=0.62 cores=1,3,5,7
/proc/12603/task/12669/stat : 12669 (java) S 12600 12603 9800 0 -1 1077944384 2430 13137 0 0 23 31 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795956197680 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12885] ppid=12600 vsize=11041128 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12885/stat : 12885 (java) S 12600 12603 9800 0 -1 1077944384 336 13137 0 0 0 0 5 3 20 0 17 0 48866201 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795078570096 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12886] ppid=12600 vsize=11041128 memory=8392 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12886/stat : 12886 (java) S 12600 12603 9800 0 -1 1077944384 129 13137 0 0 0 0 5 3 20 0 17 0 48866201 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139794877244640 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
Current children cumulated CPU time: 2520.8 s
Current children cumulated vsize: 11041128 KiB
Current children cumulated memory: 8250492 KiB

[startup+1916 s]*
/proc/loadavg: 2.49 2.49 2.27 3/218 12886
/proc/meminfo: memFree=8763828/32770624 swapFree=67108860/67108860
[pid=12603] ppid=12600 vsize=11041128 memory=8250492 CPUtime=2521.61 cores=1,3,5,7
/proc/12603/stat : 12603 (java) S 12600 12603 9800 0 -1 1077944320 507382 13137 0 0 251112 1041 5 3 20 0 17 0 48674760 11306115072 2062623 33554432000 4194304 4196468 140727016592848 140727016575392 139796957646583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
/proc/12603/statm: 2760282 2062623 3515 1 0 2721935 0
[pid=12603/tid=12656] ppid=12600 vsize=11041128 memory=6791534058613427641 CPUtime=1708.24 cores=1,3,5,7
/proc/12603/task/12656/stat : 12656 (java) R 12600 12603 9800 0 -1 4202560 127065 13137 0 0 170795 21 5 3 20 0 17 0 48674769 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796929481248 139796574323611 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12657] ppid=12600 vsize=11041128 memory=4872558044660077418 CPUtime=202.53 cores=1,3,5,7
/proc/12603/task/12657/stat : 12657 (java) S 12600 12603 9800 0 -1 1077944384 45334 13137 0 0 20005 240 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796961889040 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12658] ppid=12600 vsize=11041128 memory=8392 CPUtime=200.42 cores=1,3,5,7
/proc/12603/task/12658/stat : 12658 (java) S 12600 12603 9800 0 -1 1077944384 22047 13137 0 0 19780 254 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796891646864 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12659] ppid=12600 vsize=11041128 memory=1444 CPUtime=202.03 cores=1,3,5,7
/proc/12603/task/12659/stat : 12659 (java) S 12600 12603 9800 0 -1 1077944384 51234 13137 0 0 19956 239 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796530261008 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12660] ppid=12600 vsize=11041128 memory=5520 CPUtime=201.73 cores=1,3,5,7
/proc/12603/task/12660/stat : 12660 (java) S 12600 12603 9800 0 -1 1077944384 66469 13137 0 0 19917 248 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796529208464 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12661] ppid=12600 vsize=11041128 memory=4616 CPUtime=1.27 cores=1,3,5,7
/proc/12603/task/12661/stat : 12661 (java) S 12600 12603 9800 0 -1 1077944384 143036 13137 0 0 111 8 5 3 20 0 17 0 48674771 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795960408048 139796957657730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12662] ppid=12600 vsize=11041128 memory=14004 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12662/stat : 12662 (java) S 12600 12603 9800 0 -1 1077944384 21 13137 0 0 0 0 5 3 20 0 17 0 48674772 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795883877344 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12663] ppid=12600 vsize=11041128 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12663/stat : 12663 (java) S 12600 12603 9800 0 -1 1077944384 8 13137 0 0 0 0 5 3 20 0 17 0 48674772 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795749659648 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12664] ppid=12600 vsize=11041128 memory=288230583166042425 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12664/stat : 12664 (java) S 12600 12603 9800 0 -1 1077944384 308 13137 0 0 0 0 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795509369040 139796957665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12665] ppid=12600 vsize=11041128 memory=13846365516073407 CPUtime=1.9 cores=1,3,5,7
/proc/12603/task/12665/stat : 12665 (java) S 12600 12603 9800 0 -1 1077944384 14356 13137 0 0 180 2 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795959355888 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12666] ppid=12600 vsize=11041128 memory=6791534058613427641 CPUtime=2.03 cores=1,3,5,7
/proc/12603/task/12666/stat : 12666 (java) S 12600 12603 9800 0 -1 1077944384 16280 13137 0 0 193 2 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795958303344 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12667] ppid=12600 vsize=11041128 memory=13846365516073407 CPUtime=1.43 cores=1,3,5,7
/proc/12603/task/12667/stat : 12667 (java) S 12600 12603 9800 0 -1 1077944384 16132 13137 0 0 133 2 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795957250800 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12668] ppid=12600 vsize=11041128 memory=-7023579799431922829 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12668/stat : 12668 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795475811424 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12669] ppid=12600 vsize=11041128 memory=-8486080722631693414 CPUtime=0.62 cores=1,3,5,7
/proc/12603/task/12669/stat : 12669 (java) S 12600 12603 9800 0 -1 1077944384 2430 13137 0 0 23 31 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795956197680 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12885] ppid=12600 vsize=11041128 memory=-8412652152092201843 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12885/stat : 12885 (java) S 12600 12603 9800 0 -1 1077944384 336 13137 0 0 0 0 5 3 20 0 17 0 48866201 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795078570096 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12886] ppid=12600 vsize=11041128 memory=3047711553219693942 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12886/stat : 12886 (java) S 12600 12603 9800 0 -1 1077944384 129 13137 0 0 0 0 5 3 20 0 17 0 48866201 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139794877244640 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
Current children cumulated CPU time: 2521.61 s
Current children cumulated vsize: 11041128 KiB
Current children cumulated memory: 8250492 KiB

[startup+1916.4 s]
/proc/loadavg: 2.49 2.49 2.27 3/218 12886
/proc/meminfo: memFree=8763828/32770624 swapFree=67108860/67108860
[pid=12603] ppid=12600 vsize=11041128 memory=8250492 CPUtime=2522 cores=1,3,5,7
/proc/12603/stat : 12603 (java) S 12600 12603 9800 0 -1 1077944320 507382 13137 0 0 251151 1041 5 3 20 0 17 0 48674760 11306115072 2062623 33554432000 4194304 4196468 140727016592848 140727016575392 139796957646583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
/proc/12603/statm: 2760282 2062623 3515 1 0 2721935 0
[pid=12603/tid=12656] ppid=12600 vsize=11041128 memory=6791534058613427641 CPUtime=1708.63 cores=1,3,5,7
/proc/12603/task/12656/stat : 12656 (java) R 12600 12603 9800 0 -1 4202560 127065 13137 0 0 170834 21 5 3 20 0 17 0 48674769 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796929481248 139796574323600 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12657] ppid=12600 vsize=11041128 memory=4872558044660077418 CPUtime=202.53 cores=1,3,5,7
/proc/12603/task/12657/stat : 12657 (java) S 12600 12603 9800 0 -1 1077944384 45334 13137 0 0 20005 240 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796961889040 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12658] ppid=12600 vsize=11041128 memory=2604 CPUtime=200.42 cores=1,3,5,7
/proc/12603/task/12658/stat : 12658 (java) S 12600 12603 9800 0 -1 1077944384 22047 13137 0 0 19780 254 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796891646864 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12659] ppid=12600 vsize=11041128 memory=8250492 CPUtime=202.03 cores=1,3,5,7
/proc/12603/task/12659/stat : 12659 (java) S 12600 12603 9800 0 -1 1077944384 51234 13137 0 0 19956 239 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796530261008 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12660] ppid=12600 vsize=11041128 memory=8246272 CPUtime=201.73 cores=1,3,5,7
/proc/12603/task/12660/stat : 12660 (java) S 12600 12603 9800 0 -1 1077944384 66469 13137 0 0 19917 248 5 3 20 0 17 0 48674770 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139796529208464 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12661] ppid=12600 vsize=11041128 memory=1408 CPUtime=1.27 cores=1,3,5,7
/proc/12603/task/12661/stat : 12661 (java) S 12600 12603 9800 0 -1 1077944384 143036 13137 0 0 111 8 5 3 20 0 17 0 48674771 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795960408048 139796957657730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12662] ppid=12600 vsize=11041128 memory=3132 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12662/stat : 12662 (java) S 12600 12603 9800 0 -1 1077944384 21 13137 0 0 0 0 5 3 20 0 17 0 48674772 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795883877344 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12663] ppid=12600 vsize=11041128 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12663/stat : 12663 (java) S 12600 12603 9800 0 -1 1077944384 8 13137 0 0 0 0 5 3 20 0 17 0 48674772 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795749659648 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12664] ppid=12600 vsize=11041128 memory=14004 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12664/stat : 12664 (java) S 12600 12603 9800 0 -1 1077944384 308 13137 0 0 0 0 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795509369040 139796957665179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12665] ppid=12600 vsize=11041128 memory=1204 CPUtime=1.9 cores=1,3,5,7
/proc/12603/task/12665/stat : 12665 (java) S 12600 12603 9800 0 -1 1077944384 14356 13137 0 0 180 2 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795959355888 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12666] ppid=12600 vsize=11041128 memory=15872 CPUtime=2.03 cores=1,3,5,7
/proc/12603/task/12666/stat : 12666 (java) S 12600 12603 9800 0 -1 1077944384 16280 13137 0 0 193 2 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795958303344 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12667] ppid=12600 vsize=11041128 memory=4008 CPUtime=1.43 cores=1,3,5,7
/proc/12603/task/12667/stat : 12667 (java) S 12600 12603 9800 0 -1 1077944384 16132 13137 0 0 133 2 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795957250800 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12668] ppid=12600 vsize=11041128 memory=18460 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12668/stat : 12668 (java) S 12600 12603 9800 0 -1 1077944384 3 13137 0 0 0 0 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795475811424 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12669] ppid=12600 vsize=11041128 memory=10700 CPUtime=0.62 cores=1,3,5,7
/proc/12603/task/12669/stat : 12669 (java) S 12600 12603 9800 0 -1 1077944384 2430 13137 0 0 23 31 5 3 20 0 17 0 48674775 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795956197680 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12885] ppid=12600 vsize=11041128 memory=1788 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12885/stat : 12885 (java) S 12600 12603 9800 0 -1 1077944384 336 13137 0 0 0 0 5 3 20 0 17 0 48866201 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139795078570096 139796957656789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
[pid=12603/tid=12886] ppid=12600 vsize=11041128 memory=8250492 CPUtime=0.08 cores=1,3,5,7
/proc/12603/task/12886/stat : 12886 (java) S 12600 12603 9800 0 -1 1077944384 129 13137 0 0 0 0 5 3 20 0 17 0 48866201 11306115072 2062623 33554432000 4194304 4196468 140727016592848 139794877244640 139796957657730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28733440 140727016601772 140727016605020 140727016605020 140727016607695 0
Current children cumulated CPU time: 2522 s
Current children cumulated vsize: 11041128 KiB
Current children cumulated memory: 8250492 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1916.44
CPU time (s): 2522.05
CPU user time (s): 2511.57
CPU system time (s): 10.4834
CPU usage (%): 131.601
Max. virtual memory (cumulated for all children) (KiB): 11041128
Max. memory (cumulated for all children) (KiB): 8250492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.57
system time used= 10.4834
maximum resident set size= 8250664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 520527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60948
involuntary context switches= 8918


# summary of solver processes directly reported to runsolver:
#   pid: 12603
#   total CPU time (s): 2522.05
#   total CPU user time (s): 2511.57
#   total CPU system time (s): 10.4834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8826 second user time and 15.5332 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-23 03:58:39
IDJOB=4293266
IDBENCH=141146
IDSOLVER=2751
FILE ID=node106/4293266-1532311119
RUNJOBID= node106-1532295772-9832
PBS_JOBID= 21018983
Free space on /tmp= 53004 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-matching080_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293266-1532311119/watcher-4293266-1532311119 -o /tmp/evaluation-result-4293266-1532311119/solver-4293266-1532311119 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9832 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=417996063 -superng HOME/instance-4293266-1532311119.xml

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

MD5SUM BENCH= 8abf4f1f4dc00a8da6097f5555605512
RANDOM SEED=417996063

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        16556284 kB
MemAvailable:   30406508 kB
Buffers:          256552 kB
Cached:         13681080 kB
SwapCached:            0 kB
Active:          2913564 kB
Inactive:       12608732 kB
Active(anon):    1587172 kB
Inactive(anon):    17092 kB
Active(file):    1326392 kB
Inactive(file): 12591640 kB
Unevictable:        6920 kB
Mlocked:            6920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26484 kB
Writeback:             0 kB
AnonPages:       1625708 kB
Mapped:            49820 kB
Shmem:             17036 kB
Slab:             388264 kB
SReclaimable:     360652 kB
SUnreclaim:        27612 kB
KernelStack:        3808 kB
PageTables:         8028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2534660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1433600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 52980 MiB
End job on node106 at 2018-07-23 04:30:35