Trace number 4295446

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-13OPT416 18.0534 8.25616

General information on the benchmark

NameTravelingTournament/
TravelingTournament-a3-galaxy04_c18.xml
MD5SUM2910b6ca557b5fda778b46d150d1cbb4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark416
Best CPU time to get the best result obtained on this benchmark2.86755
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints155
Number of domains3
Minimum domain size2
Maximum domain size7
Distribution of domain sizes[{"size":2,"count":48},{"size":4,"count":24},{"size":7,"count":28}]
Minimum variable degree2
Maximum variable degree14
Distribution of variable degrees[{"degree":2,"count":52},{"degree":11,"count":16},{"degree":12,"count":24},{"degree":13,"count":6},{"degree":14,"count":2}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":25},{"arity":3,"count":8},{"arity":4,"count":70},{"arity":5,"count":20},{"arity":6,"count":32}]
Number of extensional constraints28
Number of intensional constraints65
Distribution of constraint types[{"type":"extension","count":28},{"type":"intension","count":65},{"type":"regular","count":4},{"type":"allDifferent","count":6},{"type":"cardinality","count":4},{"type":"element","count":48}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.98/0.74	c Concrete v3.8.1528841891564 running
8.41/4.14	o 469
8.72/4.21	o 422
14.89/6.23	o 416
17.96/8.24	v <instantiation cost="416">
17.96/8.24	v       <list>
17.96/8.24	v         o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6]
17.96/8.24	v       </list>
17.96/8.24	v       <values>
17.96/8.24	v         2 3 1 2 1 3 3 2 0 3 0 2 0 1 3 0 3 1 1 0 2 1 2 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 15 15 0 0 10 32 34 32 47 15 10 0 0 0 0 0 0 15 34 32 22 0 34 15 22 32 0 0
17.96/8.24	v       </values>
17.96/8.24	v     </instantiation>
17.96/8.24	s OPTIMUM FOUND

Verifier Data 

OK	416

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295446-1532558476/watcher-4295446-1532558476 -o /tmp/evaluation-result-4295446-1532558476/solver-4295446-1532558476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31452 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=427900863 -superng HOME/instance-4295446-1532558476.xml 

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

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=2822, runsolver pid=2819

[startup+0.10158 s]*
/proc/loadavg: 1.48 1.61 1.60 2/207 2879
/proc/meminfo: memFree=8345952/32770624 swapFree=67108860/67108860
[pid=2822] ppid=2819 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 31421 0 -1 1077944320 4370 12897 0 0 1 1 5 2 20 0 6 0 73410818 10212057088 4203 33554432000 4194304 4196468 140728776721456 140728776704000 139738143653623 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
/proc/2822/statm: 2493178 4203 1934 1 0 2481616 0
[pid=2822/tid=2875] ppid=2819 vsize=9972712 memory=-8171376296011865461 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 31421 0 -1 4202560 2251 12897 0 0 0 0 5 2 20 0 6 0 73410827 10212057088 4269 33554432000 4194304 4196468 140728776721456 139738115490384 139738128776560 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2876] ppid=2819 vsize=9972712 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 6 0 73410828 10212057088 4269 33554432000 4194304 4196468 140728776721456 139738147895696 139738143663829 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2877] ppid=2819 vsize=9972712 memory=139874241541760 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 6 0 73410828 10212057088 4269 33554432000 4194304 4196468 140728776721456 139737717270800 139738143663829 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2878] ppid=2819 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 6 0 73410828 10212057088 4269 33554432000 4194304 4196468 140728776721456 139737716218512 139738143663829 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2879] ppid=2819 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 6 0 73410828 10212057088 4269 33554432000 4194304 4196468 140728776721456 139737715165712 139738143663829 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB

[startup+0.219947 s]*
/proc/loadavg: 1.48 1.61 1.60 3/216 2888
/proc/meminfo: memFree=8323936/32770624 swapFree=67108860/67108860
[pid=2822] ppid=2819 vsize=10818856 memory=44680 CPUtime=0.26 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 31421 0 -1 1077944320 9073 12897 0 0 17 2 5 2 20 0 15 0 73410818 11078508544 11170 33554432000 4194304 4196468 140728776721456 140728776704000 139738143653623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
/proc/2822/statm: 2704714 11170 2958 1 0 2667149 0
[pid=2822/tid=2875] ppid=2819 vsize=10818904 memory=-8171376296011865461 CPUtime=0.2 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 31421 0 -1 4202560 5727 12897 0 0 11 2 5 2 20 0 15 0 73410827 11078557696 11170 33554432000 4194304 4196468 140728776721456 139738115474592 139738143675549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2876] ppid=2819 vsize=10818904 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410828 11078557696 11170 33554432000 4194304 4196468 140728776721456 139738147895696 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2877] ppid=2819 vsize=10818904 memory=139874241541760 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410828 11078557696 11170 33554432000 4194304 4196468 140728776721456 139737717270800 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2878] ppid=2819 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410828 11078557696 11170 33554432000 4194304 4196468 140728776721456 139737716218512 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2879] ppid=2819 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410828 11078557696 11170 33554432000 4194304 4196468 140728776721456 139737715165712 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2880] ppid=2819 vsize=10818904 memory=139874241541760 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410829 11078557696 11170 33554432000 4194304 4196468 140728776721456 139737603099248 139738143664770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2881] ppid=2819 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 31421 0 -1 1077944384 33 12897 0 0 0 0 5 2 20 0 15 0 73410830 11078557696 11170 33554432000 4194304 4196468 140728776721456 139737602045216 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2882] ppid=2819 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410830 11078557696 11170 33554432000 4194304 4196468 140728776721456 139737029404272 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2883] ppid=2819 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11078557696 11170 33554432000 4194304 4196468 140728776721456 139736722004560 139738143672219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2884] ppid=2819 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 31421 0 -1 1077944384 542 12897 0 0 1 0 5 2 20 0 15 0 73410833 11078557696 11170 33554432000 4194304 4196468 140728776721456 139737568487536 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2885] ppid=2819 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) S 2819 2822 31421 0 -1 1077944384 56 12897 0 0 0 0 5 2 20 0 15 0 73410833 11078557696 11170 33554432000 4194304 4196468 140728776721456 139737567434736 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2886] ppid=2819 vsize=10818904 memory=139874241541760 CPUtime=0.1 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 31421 0 -1 1077944384 532 12897 0 0 3 0 5 2 20 0 15 0 73410833 11078557696 11170 33554432000 4194304 4196468 140728776721456 139737110145392 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2887] ppid=2819 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11078557696 11170 33554432000 4194304 4196468 140728776721456 139736688445920 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2888] ppid=2819 vsize=10818904 memory=139874241541760 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410833 11078557696 11170 33554432000 4194304 4196468 140728776721456 139737109093296 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 44680 KiB

[startup+0.310252 s]*
/proc/loadavg: 1.48 1.61 1.60 3/216 2888
/proc/meminfo: memFree=8315500/32770624 swapFree=67108860/67108860
[pid=2822] ppid=2819 vsize=10819352 memory=53900 CPUtime=0.38 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 31421 0 -1 1077944320 10535 12897 0 0 28 3 5 2 20 0 15 0 73410818 11079016448 13475 33554432000 4194304 4196468 140728776721456 140728776704000 139738143653623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
/proc/2822/statm: 2704838 13475 3089 1 0 2667149 0
[pid=2822/tid=2875] ppid=2819 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 31421 0 -1 4202560 7163 12897 0 0 19 2 5 2 20 0 15 0 73410827 11079016448 13475 33554432000 4194304 4196468 140728776721456 139738115465632 139738127046960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2876] ppid=2819 vsize=10819352 memory=8514701219931451533 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410828 11079016448 13475 33554432000 4194304 4196468 140728776721456 139738147895696 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2877] ppid=2819 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410828 11079016448 13475 33554432000 4194304 4196468 140728776721456 139737717270800 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2878] ppid=2819 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410828 11079016448 13475 33554432000 4194304 4196468 140728776721456 139737716218512 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2879] ppid=2819 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410828 11079016448 13475 33554432000 4194304 4196468 140728776721456 139737715165712 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2880] ppid=2819 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410829 11079016448 13475 33554432000 4194304 4196468 140728776721456 139737603099248 139738143664770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2881] ppid=2819 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 31421 0 -1 1077944384 33 12897 0 0 0 0 5 2 20 0 15 0 73410830 11079016448 13475 33554432000 4194304 4196468 140728776721456 139737602045216 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2882] ppid=2819 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410830 11079016448 13475 33554432000 4194304 4196468 140728776721456 139737029404272 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2883] ppid=2819 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11079016448 13475 33554432000 4194304 4196468 140728776721456 139736722004560 139738143672219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2884] ppid=2819 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) R 2819 2822 31421 0 -1 1077944384 542 12897 0 0 2 0 5 2 20 0 15 0 73410833 11079016448 13475 33554432000 4194304 4196468 140728776721456 139737568487536 139738143664770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2885] ppid=2819 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) R 2819 2822 31421 0 -1 4202560 57 12897 0 0 1 0 5 2 20 0 15 0 73410833 11079016448 13475 33554432000 4194304 4196468 140728776721456 139737567434736 139738136638665 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2886] ppid=2819 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 31421 0 -1 1077944384 536 12897 0 0 5 0 5 2 20 0 15 0 73410833 11079016448 13475 33554432000 4194304 4196468 140728776721456 139737110145392 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2887] ppid=2819 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11079016448 13475 33554432000 4194304 4196468 140728776721456 139736688445920 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2888] ppid=2819 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410833 11079016448 13475 33554432000 4194304 4196468 140728776721456 139737109093296 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53900 KiB

[startup+0.700714 s]
/proc/loadavg: 1.48 1.61 1.60 3/216 2888
/proc/meminfo: memFree=8304648/32770624 swapFree=67108860/67108860
[pid=2822] ppid=2819 vsize=10819352 memory=86384 CPUtime=0.98 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 31421 0 -1 1077944320 16840 12897 0 0 87 4 5 2 20 0 15 0 73410818 11079016448 21596 33554432000 4194304 4196468 140728776721456 140728776704000 139738143653623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
/proc/2822/statm: 2704838 21596 3237 1 0 2667149 0
[pid=2822/tid=2875] ppid=2819 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 31421 0 -1 1077944384 12479 12897 0 0 56 3 5 2 20 0 15 0 73410827 11079016448 21596 33554432000 4194304 4196468 140728776721456 139738115474448 139738143663829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2876] ppid=2819 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410828 11079016448 21596 33554432000 4194304 4196468 140728776721456 139738147895696 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2877] ppid=2819 vsize=10819352 memory=8458433173657040949 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410828 11079016448 21596 33554432000 4194304 4196468 140728776721456 139737717270800 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2878] ppid=2819 vsize=10819352 memory=7084813508723103081 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410828 11079016448 21596 33554432000 4194304 4196468 140728776721456 139737716218512 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2879] ppid=2819 vsize=10819352 memory=4639059877604708710 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410828 11079016448 21596 33554432000 4194304 4196468 140728776721456 139737715165712 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2880] ppid=2819 vsize=10819352 memory=3467824627880452160 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 31421 0 -1 1077944384 5 12897 0 0 0 0 5 2 20 0 15 0 73410829 11079016448 21596 33554432000 4194304 4196468 140728776721456 139737603099248 139738143664770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2881] ppid=2819 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 31421 0 -1 1077944384 33 12897 0 0 0 0 5 2 20 0 15 0 73410830 11079016448 21596 33554432000 4194304 4196468 140728776721456 139737602045216 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2882] ppid=2819 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410830 11079016448 21596 33554432000 4194304 4196468 140728776721456 139737029404272 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2883] ppid=2819 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11079016448 21596 33554432000 4194304 4196468 140728776721456 139736722004560 139738143672219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2884] ppid=2819 vsize=10819352 memory=2244 CPUtime=0.17 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 31421 0 -1 1077944384 1179 12897 0 0 10 0 5 2 20 0 15 0 73410833 11079016448 21596 33554432000 4194304 4196468 140728776721456 139737568487536 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2885] ppid=2819 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) S 2819 2822 31421 0 -1 1077944384 328 12897 0 0 6 0 5 2 20 0 15 0 73410833 11079016448 21596 33554432000 4194304 4196468 140728776721456 139737567434736 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2886] ppid=2819 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 31421 0 -1 1077944384 612 12897 0 0 13 0 5 2 20 0 15 0 73410833 11079016448 21596 33554432000 4194304 4196468 140728776721456 139737110145392 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2887] ppid=2819 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11079016448 21596 33554432000 4194304 4196468 140728776721456 139736688445920 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2888] ppid=2819 vsize=10819352 memory=30305 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410833 11079016448 21596 33554432000 4194304 4196468 140728776721456 139737109093296 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86384 KiB

[startup+1.50077 s]
/proc/loadavg: 1.48 1.61 1.60 3/216 2888
/proc/meminfo: memFree=8258504/32770624 swapFree=67108860/67108860
[pid=2822] ppid=2819 vsize=10834252 memory=179480 CPUtime=2.33 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 31421 0 -1 1077944320 24885 12897 0 0 216 10 5 2 20 0 15 0 73410818 11094274048 44870 33554432000 4194304 4196468 140728776721456 140728776704000 139738143653623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
/proc/2822/statm: 2708563 44870 3468 1 0 2670221 0
[pid=2822/tid=2875] ppid=2819 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 31421 0 -1 4202560 18363 12897 0 0 129 6 5 2 20 0 15 0 73410827 11094274048 44870 33554432000 4194304 4196468 140728776721456 139738115485024 139738128819262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2876] ppid=2819 vsize=10834252 memory=124 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 31421 0 -1 1077944384 25 12897 0 0 1 0 5 2 20 0 15 0 73410828 11094274048 44870 33554432000 4194304 4196468 140728776721456 139738147895696 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2877] ppid=2819 vsize=10834252 memory=78 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 31421 0 -1 1077944384 180 12897 0 0 1 0 5 2 20 0 15 0 73410828 11094274048 44870 33554432000 4194304 4196468 140728776721456 139737717270800 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2878] ppid=2819 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 31421 0 -1 1077944384 25 12897 0 0 1 0 5 2 20 0 15 0 73410828 11094274048 44870 33554432000 4194304 4196468 140728776721456 139737716218512 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2879] ppid=2819 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 31421 0 -1 1077944384 57 12897 0 0 0 0 5 2 20 0 15 0 73410828 11094274048 44870 33554432000 4194304 4196468 140728776721456 139737715165712 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2880] ppid=2819 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 31421 0 -1 1077944384 477 12897 0 0 1 0 5 2 20 0 15 0 73410829 11094274048 44870 33554432000 4194304 4196468 140728776721456 139737603099248 139738143664770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2881] ppid=2819 vsize=10834252 memory=139874132834318 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 31421 0 -1 1077944384 33 12897 0 0 0 0 5 2 20 0 15 0 73410830 11094274048 44870 33554432000 4194304 4196468 140728776721456 139737602045280 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2882] ppid=2819 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410830 11094274048 44870 33554432000 4194304 4196468 140728776721456 139737029404288 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2883] ppid=2819 vsize=10834252 memory=2986632698767059817 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11094274048 44870 33554432000 4194304 4196468 140728776721456 139736722004560 139738143672219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2884] ppid=2819 vsize=10834252 memory=-2127764329378439159 CPUtime=0.26 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 31421 0 -1 1077944384 1347 12897 0 0 19 0 5 2 20 0 15 0 73410833 11094274048 44870 33554432000 4194304 4196468 140728776721456 139737568487536 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2885] ppid=2819 vsize=10834252 memory=-2897801490638248331 CPUtime=0.32 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) S 2819 2822 31421 0 -1 1077944384 787 12897 0 0 25 0 5 2 20 0 15 0 73410833 11094274048 44870 33554432000 4194304 4196468 140728776721456 139737567434736 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2886] ppid=2819 vsize=10834252 memory=-2746958450906831519 CPUtime=0.42 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 31421 0 -1 1077944384 1394 12897 0 0 35 0 5 2 20 0 15 0 73410833 11094274048 44870 33554432000 4194304 4196468 140728776721456 139737110145392 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2887] ppid=2819 vsize=10834252 memory=-6440287458061328268 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11094274048 44870 33554432000 4194304 4196468 140728776721456 139736688445920 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2888] ppid=2819 vsize=10834252 memory=64 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 31421 0 -1 1077944384 1 12897 0 0 0 0 5 2 20 0 15 0 73410833 11094274048 44870 33554432000 4194304 4196468 140728776721456 139737109093296 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 10834252 KiB

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

[startup+8.2561 s]
# the end of solver process 2822 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=17.7213 s, system=0.332056 s

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

[startup+6.40091 s]
/proc/loadavg: 1.68 1.65 1.61 5/216 2888
/proc/meminfo: memFree=7964536/32770624 swapFree=67108860/67108860
[pid=2822] ppid=2819 vsize=10918240 memory=412496 CPUtime=15.18 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 31421 0 -1 1077944320 93322 12897 0 0 1484 27 5 2 20 0 15 0 73410818 11180277760 103124 33554432000 4194304 4196468 140728776721456 140728776704000 139738143653623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
/proc/2822/statm: 2729560 103124 3523 1 0 2691213 0
[pid=2822/tid=2875] ppid=2819 vsize=10918240 memory=-6451922813430251154 CPUtime=6.25 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 31421 0 -1 4202560 55110 12897 0 0 606 12 5 2 20 0 15 0 73410827 11180277760 103124 33554432000 4194304 4196468 140728776721456 139738115485432 139737735748081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2876] ppid=2819 vsize=10918240 memory=8514701219882239650 CPUtime=0.1 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 31421 0 -1 1077944384 126 12897 0 0 3 0 5 2 20 0 15 0 73410828 11180277760 103124 33554432000 4194304 4196468 140728776721456 139738147895696 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2877] ppid=2819 vsize=10918240 memory=1404222122299264374 CPUtime=0.1 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 31421 0 -1 1077944384 355 12897 0 0 3 0 5 2 20 0 15 0 73410828 11180277760 103124 33554432000 4194304 4196468 140728776721456 139737717270800 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2878] ppid=2819 vsize=10918240 memory=7245577201579234449 CPUtime=0.1 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 31421 0 -1 1077944384 584 12897 0 0 3 0 5 2 20 0 15 0 73410828 11180277760 103124 33554432000 4194304 4196468 140728776721456 139737716218512 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2879] ppid=2819 vsize=10918240 memory=7091875663319689526 CPUtime=0.11 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 31421 0 -1 1077944384 1425 12897 0 0 3 1 5 2 20 0 15 0 73410828 11180277760 103124 33554432000 4194304 4196468 140728776721456 139737715165712 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2880] ppid=2819 vsize=10918240 memory=3621281490907717712 CPUtime=0.11 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 31421 0 -1 1077944384 1490 12897 0 0 4 0 5 2 20 0 15 0 73410829 11180277760 103124 33554432000 4194304 4196468 140728776721456 139737603099248 139738143664770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2881] ppid=2819 vsize=10918240 memory=139874132975406 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 31421 0 -1 1077944384 37 12897 0 0 0 0 5 2 20 0 15 0 73410830 11180277760 103124 33554432000 4194304 4196468 140728776721456 139737602045344 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2882] ppid=2819 vsize=10918240 memory=398508 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410830 11180277760 103124 33554432000 4194304 4196468 140728776721456 139737029404288 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2883] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 103124 33554432000 4194304 4196468 140728776721456 139736722004560 139738143672219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2884] ppid=2819 vsize=10918240 memory=0 CPUtime=3.43 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 31421 0 -1 1077944384 13657 12897 0 0 333 3 5 2 20 0 15 0 73410833 11180277760 103124 33554432000 4194304 4196468 140728776721456 139737568487536 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2885] ppid=2819 vsize=10918240 memory=0 CPUtime=3.37 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) R 2819 2822 31421 0 -1 4202560 9870 12897 0 0 328 2 5 2 20 0 15 0 73410833 11180277760 103124 33554432000 4194304 4196468 140728776721456 139737567434736 139738127943612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2886] ppid=2819 vsize=10918240 memory=0 CPUtime=2.07 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 31421 0 -1 1077944384 7424 12897 0 0 196 4 5 2 20 0 15 0 73410833 11180277760 103124 33554432000 4194304 4196468 140728776721456 139737110145392 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2887] ppid=2819 vsize=10918240 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 103124 33554432000 4194304 4196468 140728776721456 139736688445920 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2888] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 31421 0 -1 1077944384 1046 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 103124 33554432000 4194304 4196468 140728776721456 139737109093296 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
Current children cumulated CPU time: 15.18 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 412496 KiB

[startup+7.2007 s]
/proc/loadavg: 1.68 1.65 1.61 3/216 2888
/proc/meminfo: memFree=7951132/32770624 swapFree=67108860/67108860
[pid=2822] ppid=2819 vsize=10918240 memory=441428 CPUtime=16.44 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 31421 0 -1 1077944320 93704 12897 0 0 1610 27 5 2 20 0 15 0 73410818 11180277760 110357 33554432000 4194304 4196468 140728776721456 140728776704000 139738143653623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
/proc/2822/statm: 2729560 110357 3523 1 0 2691213 0
[pid=2822/tid=2875] ppid=2819 vsize=10918240 memory=1836 CPUtime=7.04 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 31421 0 -1 4202560 55209 12897 0 0 685 12 5 2 20 0 15 0 73410827 11180277760 110357 33554432000 4194304 4196468 140728776721456 139738115486192 139737722628096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2876] ppid=2819 vsize=10918240 memory=8112282956445269571 CPUtime=0.1 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 31421 0 -1 1077944384 136 12897 0 0 3 0 5 2 20 0 15 0 73410828 11180277760 110357 33554432000 4194304 4196468 140728776721456 139738147895696 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2877] ppid=2819 vsize=10918240 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 31421 0 -1 1077944384 360 12897 0 0 3 0 5 2 20 0 15 0 73410828 11180277760 110357 33554432000 4194304 4196468 140728776721456 139737717270800 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2878] ppid=2819 vsize=10918240 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 31421 0 -1 1077944384 592 12897 0 0 3 0 5 2 20 0 15 0 73410828 11180277760 110357 33554432000 4194304 4196468 140728776721456 139737716218512 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2879] ppid=2819 vsize=10918240 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 31421 0 -1 1077944384 1426 12897 0 0 3 1 5 2 20 0 15 0 73410828 11180277760 110357 33554432000 4194304 4196468 140728776721456 139737715165712 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2880] ppid=2819 vsize=10918240 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 31421 0 -1 1077944384 1492 12897 0 0 4 0 5 2 20 0 15 0 73410829 11180277760 110357 33554432000 4194304 4196468 140728776721456 139737603099248 139738143664770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2881] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 31421 0 -1 1077944384 37 12897 0 0 0 0 5 2 20 0 15 0 73410830 11180277760 110357 33554432000 4194304 4196468 140728776721456 139737602045344 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2882] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410830 11180277760 110357 33554432000 4194304 4196468 140728776721456 139737029404288 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2883] ppid=2819 vsize=10918240 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 110357 33554432000 4194304 4196468 140728776721456 139736722004560 139738143672219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2884] ppid=2819 vsize=10918240 memory=1012 CPUtime=3.61 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) R 2819 2822 31421 0 -1 4202560 13776 12897 0 0 351 3 5 2 20 0 15 0 73410833 11180277760 110357 33554432000 4194304 4196468 140728776721456 139737568487536 139738123310145 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2885] ppid=2819 vsize=10918240 memory=1436 CPUtime=3.62 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) R 2819 2822 31421 0 -1 4202560 9976 12897 0 0 353 2 5 2 20 0 15 0 73410833 11180277760 110357 33554432000 4194304 4196468 140728776721456 139737567434736 139738124839656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2886] ppid=2819 vsize=10918240 memory=1200 CPUtime=2.09 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 31421 0 -1 1077944384 7456 12897 0 0 198 4 5 2 20 0 15 0 73410833 11180277760 110357 33554432000 4194304 4196468 140728776721456 139737110145392 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2887] ppid=2819 vsize=10918240 memory=15876 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 110357 33554432000 4194304 4196468 140728776721456 139736688445920 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2888] ppid=2819 vsize=10918240 memory=13040 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 31421 0 -1 1077944384 1046 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 110357 33554432000 4194304 4196468 140728776721456 139737109093296 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
Current children cumulated CPU time: 16.44 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 441428 KiB

[startup+8.00073 s]*
/proc/loadavg: 1.68 1.65 1.61 3/216 2888
/proc/meminfo: memFree=7913648/32770624 swapFree=67108860/67108860
[pid=2822] ppid=2819 vsize=10918240 memory=454000 CPUtime=17.73 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 31421 0 -1 1077944320 93939 12897 0 0 1738 28 5 2 20 0 15 0 73410818 11180277760 113500 33554432000 4194304 4196468 140728776721456 140728776704000 139738143653623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
/proc/2822/statm: 2729560 113500 3523 1 0 2691213 0
[pid=2822/tid=2875] ppid=2819 vsize=10918240 memory=6935054825532540783 CPUtime=7.83 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 31421 0 -1 4202560 55235 12897 0 0 764 12 5 2 20 0 15 0 73410827 11180277760 113500 33554432000 4194304 4196468 140728776721456 139738115486056 139737731133895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2876] ppid=2819 vsize=10918240 memory=4126316290023845779 CPUtime=0.1 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 31421 0 -1 1077944384 137 12897 0 0 3 0 5 2 20 0 15 0 73410828 11180277760 113500 33554432000 4194304 4196468 140728776721456 139738147895696 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2877] ppid=2819 vsize=10918240 memory=4281683720609176967 CPUtime=0.12 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 31421 0 -1 1077944384 366 12897 0 0 4 1 5 2 20 0 15 0 73410828 11180277760 113500 33554432000 4194304 4196468 140728776721456 139737717270800 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2878] ppid=2819 vsize=10918240 memory=6944656592455360604 CPUtime=0.11 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 31421 0 -1 1077944384 595 12897 0 0 4 0 5 2 20 0 15 0 73410828 11180277760 113500 33554432000 4194304 4196468 140728776721456 139737716218512 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2879] ppid=2819 vsize=10918240 memory=7306316804797196914 CPUtime=0.12 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 31421 0 -1 1077944384 1428 12897 0 0 4 1 5 2 20 0 15 0 73410828 11180277760 113500 33554432000 4194304 4196468 140728776721456 139737715165712 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2880] ppid=2819 vsize=10918240 memory=279748265908224 CPUtime=0.12 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 31421 0 -1 1077944384 1521 12897 0 0 5 0 5 2 20 0 15 0 73410829 11180277760 113500 33554432000 4194304 4196468 140728776721456 139737603099248 139738143664770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2881] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 31421 0 -1 1077944384 37 12897 0 0 0 0 5 2 20 0 15 0 73410830 11180277760 113500 33554432000 4194304 4196468 140728776721456 139737602045344 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2882] ppid=2819 vsize=10918240 memory=117 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410830 11180277760 113500 33554432000 4194304 4196468 140728776721456 139737029404288 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2883] ppid=2819 vsize=10918240 memory=46 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 113500 33554432000 4194304 4196468 140728776721456 139736722004560 139738143672219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2884] ppid=2819 vsize=10918240 memory=54 CPUtime=3.82 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) R 2819 2822 31421 0 -1 4202560 13847 12897 0 0 372 3 5 2 20 0 15 0 73410833 11180277760 113500 33554432000 4194304 4196468 140728776721456 139737568477456 139738122900736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2885] ppid=2819 vsize=10918240 memory=12790 CPUtime=3.88 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) R 2819 2822 31421 0 -1 4202560 10058 12897 0 0 379 2 5 2 20 0 15 0 73410833 11180277760 113500 33554432000 4194304 4196468 140728776721456 139737567434736 139738124380840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2886] ppid=2819 vsize=10918240 memory=1 CPUtime=2.1 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) R 2819 2822 31421 0 -1 1077944384 7471 12897 0 0 199 4 5 2 20 0 15 0 73410833 11180277760 113500 33554432000 4194304 4196468 140728776721456 139737110145488 139738143663829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2887] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 113500 33554432000 4194304 4196468 140728776721456 139736688445920 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2888] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 31421 0 -1 1077944384 1046 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 113500 33554432000 4194304 4196468 140728776721456 139737109093296 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
Current children cumulated CPU time: 17.73 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 454000 KiB

[startup+8.20072 s]
/proc/loadavg: 1.68 1.65 1.61 3/216 2888
/proc/meminfo: memFree=7913648/32770624 swapFree=67108860/67108860
[pid=2822] ppid=2819 vsize=10918240 memory=454116 CPUtime=17.96 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 31421 0 -1 1077944320 93953 12897 0 0 1761 28 5 2 20 0 15 0 73410818 11180277760 113529 33554432000 4194304 4196468 140728776721456 140728776704000 139738143653623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
/proc/2822/statm: 2729560 113529 3523 1 0 2691213 0
[pid=2822/tid=2875] ppid=2819 vsize=10918240 memory=288230583166042426 CPUtime=8.03 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 31421 0 -1 4202560 55235 12897 0 0 784 12 5 2 20 0 15 0 73410827 11180277760 113529 33554432000 4194304 4196468 140728776721456 139738115486056 139737735748047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2876] ppid=2819 vsize=10918240 memory=14127870540777833 CPUtime=0.1 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 31421 0 -1 1077944384 137 12897 0 0 3 0 5 2 20 0 15 0 73410828 11180277760 113529 33554432000 4194304 4196468 140728776721456 139738147895696 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2877] ppid=2819 vsize=10918240 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 31421 0 -1 1077944384 366 12897 0 0 4 1 5 2 20 0 15 0 73410828 11180277760 113529 33554432000 4194304 4196468 140728776721456 139737717270800 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2878] ppid=2819 vsize=10918240 memory=10872 CPUtime=0.11 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 31421 0 -1 1077944384 595 12897 0 0 4 0 5 2 20 0 15 0 73410828 11180277760 113529 33554432000 4194304 4196468 140728776721456 139737716218512 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2879] ppid=2819 vsize=10918240 memory=20704 CPUtime=0.12 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 31421 0 -1 1077944384 1428 12897 0 0 4 1 5 2 20 0 15 0 73410828 11180277760 113529 33554432000 4194304 4196468 140728776721456 139737715165712 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2880] ppid=2819 vsize=10918240 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 31421 0 -1 1077944384 1521 12897 0 0 5 0 5 2 20 0 15 0 73410829 11180277760 113529 33554432000 4194304 4196468 140728776721456 139737603099248 139738143664770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2881] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 31421 0 -1 1077944384 37 12897 0 0 0 0 5 2 20 0 15 0 73410830 11180277760 113529 33554432000 4194304 4196468 140728776721456 139737602045344 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2882] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 31421 0 -1 1077944384 2 12897 0 0 0 0 5 2 20 0 15 0 73410830 11180277760 113529 33554432000 4194304 4196468 140728776721456 139737029404288 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2883] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 113529 33554432000 4194304 4196468 140728776721456 139736722004560 139738143672219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2884] ppid=2819 vsize=10918240 memory=0 CPUtime=3.84 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) R 2819 2822 31421 0 -1 4202560 13851 12897 0 0 374 3 5 2 20 0 15 0 73410833 11180277760 113529 33554432000 4194304 4196468 140728776721456 139737568487536 139738121506576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2885] ppid=2819 vsize=10918240 memory=0 CPUtime=3.89 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) S 2819 2822 31421 0 -1 1077944384 10060 12897 0 0 380 2 5 2 20 0 15 0 73410833 11180277760 113529 33554432000 4194304 4196468 140728776721456 139737567434736 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2886] ppid=2819 vsize=10918240 memory=0 CPUtime=2.1 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 31421 0 -1 1077944384 7479 12897 0 0 199 4 5 2 20 0 15 0 73410833 11180277760 113529 33554432000 4194304 4196468 140728776721456 139737110145392 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2887] ppid=2819 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 31421 0 -1 1077944384 3 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 113529 33554432000 4194304 4196468 140728776721456 139736688445920 139738143663829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
[pid=2822/tid=2888] ppid=2819 vsize=10918240 memory=2259 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 31421 0 -1 1077944384 1046 12897 0 0 0 0 5 2 20 0 15 0 73410833 11180277760 113529 33554432000 4194304 4196468 140728776721456 139737109093296 139738143664770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140728776726700 140728776729948 140728776729948 140728776732623 0
Current children cumulated CPU time: 17.96 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 454116 KiB

Child status: 0
Real time (s): 8.25616
CPU time (s): 18.0534
CPU user time (s): 17.7213
CPU system time (s): 0.332056
CPU usage (%): 218.666
Max. virtual memory (cumulated for all children) (KiB): 10921108
Max. memory (cumulated for all children) (KiB): 454116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.7213
system time used= 0.332056
maximum resident set size= 456232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107843
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8587
involuntary context switches= 84


# summary of solver processes directly reported to runsolver:
#   pid: 2822
#   total CPU time (s): 18.0534
#   total CPU user time (s): 17.7213
#   total CPU system time (s): 0.332056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076873 second user time and 0.119059 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-26 00:41:16
IDJOB=4295446
IDBENCH=141550
IDSOLVER=2751
FILE ID=node107/4295446-1532558476
RUNJOBID= node107-1532543154-31452
PBS_JOBID= 21021952
Free space on /tmp= 54500 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy04_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-4295446-1532558476/watcher-4295446-1532558476 -o /tmp/evaluation-result-4295446-1532558476/solver-4295446-1532558476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31452 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=427900863 -superng HOME/instance-4295446-1532558476.xml

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

MD5SUM BENCH= 2910b6ca557b5fda778b46d150d1cbb4
RANDOM SEED=427900863

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
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.40
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.40
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.40
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:         8354780 kB
MemAvailable:   27280912 kB
Buffers:          287488 kB
Cached:         18758124 kB
SwapCached:            0 kB
Active:          8909976 kB
Inactive:       14831688 kB
Active(anon):    4699132 kB
Inactive(anon):    25036 kB
Active(file):    4210844 kB
Inactive(file): 14806652 kB
Unevictable:        7168 kB
Mlocked:            7168 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26692 kB
Writeback:             0 kB
AnonPages:       4739816 kB
Mapped:            53412 kB
Shmem:             25228 kB
Slab:             364428 kB
SReclaimable:     337096 kB
SUnreclaim:        27332 kB
KernelStack:        3808 kB
PageTables:        14456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5368848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4474880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 54472 MiB
End job on node107 at 2018-07-26 00:41:25