Trace number 4392134

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.10OPT82 1756.74 1724.11

General information on the benchmark

NameRcpsp/Rcpsp-m1-j30/
Rcpsp-j30-45-01.xml
MD5SUM1713c5d1d522f34d444b6ff7755d5ded
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark82
Best CPU time to get the best result obtained on this benchmark244.284
Satisfiable
(Un)Satisfiability was proved
Number of variables32
Number of constraints72
Number of domains2
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":1},{"size":151,"count":31}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":1},{"degree":8,"count":21},{"degree":9,"count":5},{"degree":10,"count":3}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":68},{"arity":30,"count":4}]
Number of extensional constraints0
Number of intensional constraints68
Distribution of constraint types[{"type":"intension","count":68},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.72/0.54	c Concrete v3.10.1560635388952 running
8.25/3.65	o 99
8.57/3.78	o 98
8.88/3.81	o 92
8.88/3.90	o 91
12.26/5.50	o 89
12.50/5.52	o 88
13.57/6.27	o 87
14.37/6.87	o 86
21.58/11.92	o 85
22.88/12.91	o 84
25.23/14.94	o 83
143.23/131.16	o 82
1756.60/1724.10	v <instantiation
1756.60/1724.10	v         cost = '82'>
1756.60/1724.10	v       <list>
1756.60/1724.10	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31]
1756.60/1724.10	v       </list>
1756.60/1724.10	v       <values>
1756.60/1724.10	v         0 0 13 0 2 25 3 17 24 4 11 14 17 21 26 57 29 24 35 35 50 44 44 54 62 70 49 66 73 75 68 82
1756.60/1724.10	v       </values>
1756.60/1724.10	v     </instantiation>
1756.60/1724.10	s OPTIMUM FOUND

Verifier Data 

OK	82

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392134-1568317666/watcher-4392134-1568317666 -o /tmp/evaluation-result-4392134-1568317666/solver-4392134-1568317666 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568307244-30927 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1644659335 HOME/instance-4392134-1568317666.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=797, runsolver pid=794

[startup+0.100136 s]*
/proc/loadavg: 1.33 1.30 1.35 3/222 854
/proc/meminfo: memFree=29664348/32770624 swapFree=66915756/67108860
[pid=797] ppid=794 vsize=9972712 memory=16816 CPUtime=0.08 cores=1,3,5,7
/proc/797/stat : 797 (java) S 794 797 30895 0 -1 1077944320 4431 13287 0 0 1 0 4 3 20 0 6 0 408017127 10212057088 4204 33554432000 4194304 4196468 140730548017088 140730547999632 139735302303479 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
/proc/797/statm: 2493178 4204 1935 1 0 2481616 0
[pid=797/tid=850] ppid=794 vsize=9972712 memory=8389772277269004345 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/850/stat : 850 (java) R 794 797 30895 0 -1 4202560 2305 13287 0 0 0 0 4 3 20 0 6 0 408017135 10212057088 4781 33554432000 4194304 4196468 140730548017088 139735274140240 139735287615481 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=851] ppid=794 vsize=9972712 memory=4294967639 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/851/stat : 851 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 6 0 408017136 10212057088 4781 33554432000 4194304 4196468 140730548017088 139735306545680 139735302313685 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=852] ppid=794 vsize=9972712 memory=139742919036639 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/852/stat : 852 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 6 0 408017136 10212057088 4781 33554432000 4194304 4196468 140730548017088 139735221365392 139735302313685 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=853] ppid=794 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/853/stat : 853 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 6 0 408017136 10212057088 4781 33554432000 4194304 4196468 140730548017088 139735220312336 139735302313685 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=854] ppid=794 vsize=9981332 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/854/stat : 854 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 6 0 408017136 10220883968 4781 33554432000 4194304 4196468 140730548017088 139735219259792 139735302313685 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB

[startup+0.210314 s]*
/proc/loadavg: 1.33 1.30 1.35 4/231 863
/proc/meminfo: memFree=29640740/32770624 swapFree=66915756/67108860
[pid=797] ppid=794 vsize=10818940 memory=44360 CPUtime=0.25 cores=1,3,5,7
/proc/797/stat : 797 (java) S 794 797 30895 0 -1 1077944320 6871 13287 0 0 17 1 4 3 20 0 15 0 408017127 11078594560 11090 33554432000 4194304 4196468 140730548017088 140730547999632 139735302303479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
/proc/797/statm: 2704735 11090 2986 1 0 2667149 0
[pid=797/tid=850] ppid=794 vsize=10819964 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/797/task/850/stat : 850 (java) R 794 797 30895 0 -1 4202560 3645 13287 0 0 10 1 4 3 20 0 15 0 408017135 11079643136 11353 33554432000 4194304 4196468 140730548017088 139735274128288 139735294983197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=851] ppid=794 vsize=10819964 memory=4294967639 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/851/stat : 851 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017136 11079643136 11353 33554432000 4194304 4196468 140730548017088 139735306545680 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=852] ppid=794 vsize=10819964 memory=139742919036639 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/852/stat : 852 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017136 11079643136 11353 33554432000 4194304 4196468 140730548017088 139735221365392 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=853] ppid=794 vsize=10819964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/853/stat : 853 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017136 11079643136 11353 33554432000 4194304 4196468 140730548017088 139735220312336 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=854] ppid=794 vsize=10819964 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/854/stat : 854 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017136 11079643136 11353 33554432000 4194304 4196468 140730548017088 139735219259792 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=855] ppid=794 vsize=10819964 memory=139742916064896 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/855/stat : 855 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017138 11079643136 11353 33554432000 4194304 4196468 140730548017088 139734828952304 139735302314626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=856] ppid=794 vsize=10820924 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/856/stat : 856 (java) S 794 797 30895 0 -1 1077944384 13 13287 0 0 0 0 4 3 20 0 15 0 408017138 11080626176 11353 33554432000 4194304 4196468 140730548017088 139734747702944 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=857] ppid=794 vsize=10820924 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/857/stat : 857 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017138 11080626176 11353 33554432000 4194304 4196468 140730548017088 139734613484784 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=858] ppid=794 vsize=10820924 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/858/stat : 858 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017141 11080626176 11419 33554432000 4194304 4196468 140730548017088 139734009506256 139735302322075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=859] ppid=794 vsize=10820924 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/797/task/859/stat : 859 (java) S 794 797 30895 0 -1 1077944384 354 13287 0 0 1 0 4 3 20 0 15 0 408017141 11080626176 11419 33554432000 4194304 4196468 140730548017088 139734827899120 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=860] ppid=794 vsize=10820924 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/797/task/860/stat : 860 (java) S 794 797 30895 0 -1 1077944384 274 13287 0 0 1 0 4 3 20 0 15 0 408017141 11080626176 11419 33554432000 4194304 4196468 140730548017088 139734826846576 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=861] ppid=794 vsize=10820924 memory=139742916064896 CPUtime=0.1 cores=1,3,5,7
/proc/797/task/861/stat : 861 (java) S 794 797 30895 0 -1 1077944384 648 13287 0 0 3 0 4 3 20 0 15 0 408017141 11080626176 11419 33554432000 4194304 4196468 140730548017088 139734825793520 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=862] ppid=794 vsize=10820924 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/862/stat : 862 (java) S 794 797 30895 0 -1 1077944384 3 13287 0 0 0 0 4 3 20 0 15 0 408017141 11080626176 11419 33554432000 4194304 4196468 140730548017088 139733539744096 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=863] ppid=794 vsize=10820924 memory=139742916064896 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/863/stat : 863 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017142 11080626176 11419 33554432000 4194304 4196468 140730548017088 139734824741936 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 44360 KiB

[startup+0.31082 s]*
/proc/loadavg: 1.33 1.30 1.35 3/231 863
/proc/meminfo: memFree=29630852/32770624 swapFree=66915756/67108860
[pid=797] ppid=794 vsize=10820096 memory=56040 CPUtime=0.39 cores=1,3,5,7
/proc/797/stat : 797 (java) S 794 797 30895 0 -1 1077944320 10612 13287 0 0 29 3 4 3 20 0 15 0 408017127 11079778304 14010 33554432000 4194304 4196468 140730548017088 140730547999632 139735302303479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
/proc/797/statm: 2705024 14010 3301 1 0 2667149 0
[pid=797/tid=850] ppid=794 vsize=10820244 memory=1398720917958146503 CPUtime=0.28 cores=1,3,5,7
/proc/797/task/850/stat : 850 (java) R 794 797 30895 0 -1 4202560 7115 13287 0 0 19 2 4 3 20 0 15 0 408017135 11079929856 14010 33554432000 4194304 4196468 140730548017088 139735274116624 139734900250405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=851] ppid=794 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/851/stat : 851 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017136 11079929856 14010 33554432000 4194304 4196468 140730548017088 139735306545680 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=852] ppid=794 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/852/stat : 852 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017136 11079929856 14010 33554432000 4194304 4196468 140730548017088 139735221365392 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=853] ppid=794 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/853/stat : 853 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017136 11079929856 14010 33554432000 4194304 4196468 140730548017088 139735220312336 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=854] ppid=794 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/854/stat : 854 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017136 11079929856 14010 33554432000 4194304 4196468 140730548017088 139735219259792 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=855] ppid=794 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/855/stat : 855 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017138 11079929856 14010 33554432000 4194304 4196468 140730548017088 139734828952304 139735302314626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=856] ppid=794 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/856/stat : 856 (java) S 794 797 30895 0 -1 1077944384 13 13287 0 0 0 0 4 3 20 0 15 0 408017138 11079929856 14010 33554432000 4194304 4196468 140730548017088 139734747702944 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=857] ppid=794 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/857/stat : 857 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017138 11079929856 14010 33554432000 4194304 4196468 140730548017088 139734613484784 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=858] ppid=794 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/858/stat : 858 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017141 11079929856 14010 33554432000 4194304 4196468 140730548017088 139734009506256 139735302322075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=859] ppid=794 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/797/task/859/stat : 859 (java) S 794 797 30895 0 -1 1077944384 355 13287 0 0 1 0 4 3 20 0 15 0 408017141 11079929856 14010 33554432000 4194304 4196468 140730548017088 139734827899120 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=860] ppid=794 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/797/task/860/stat : 860 (java) R 794 797 30895 0 -1 4202560 275 13287 0 0 1 0 4 3 20 0 15 0 408017141 11079929856 14010 33554432000 4194304 4196468 140730548017088 139734826846576 139735281800755 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=861] ppid=794 vsize=10820244 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/797/task/861/stat : 861 (java) S 794 797 30895 0 -1 1077944384 675 13287 0 0 5 0 4 3 20 0 15 0 408017141 11079929856 14010 33554432000 4194304 4196468 140730548017088 139734825793520 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=862] ppid=794 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/862/stat : 862 (java) S 794 797 30895 0 -1 1077944384 3 13287 0 0 0 0 4 3 20 0 15 0 408017141 11079929856 14010 33554432000 4194304 4196468 140730548017088 139733539744096 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=863] ppid=794 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/863/stat : 863 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017142 11079929856 14010 33554432000 4194304 4196468 140730548017088 139734824741936 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 56040 KiB

[startup+0.700767 s]
/proc/loadavg: 1.33 1.30 1.35 5/231 863
/proc/meminfo: memFree=29614632/32770624 swapFree=66915756/67108860
[pid=797] ppid=794 vsize=10825364 memory=86852 CPUtime=1.14 cores=1,3,5,7
/proc/797/stat : 797 (java) S 794 797 30895 0 -1 1077944320 14989 13287 0 0 102 5 4 3 20 0 15 0 408017127 11085172736 21713 33554432000 4194304 4196468 140730548017088 140730547999632 139735302303479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
/proc/797/statm: 2706085 21713 3499 1 0 2668173 0
[pid=797/tid=850] ppid=794 vsize=10824340 memory=7881696724453321575 CPUtime=0.66 cores=1,3,5,7
/proc/797/task/850/stat : 850 (java) R 794 797 30895 0 -1 4202560 10602 13287 0 0 55 4 4 3 20 0 15 0 408017135 11084124160 21713 33554432000 4194304 4196468 140730548017088 139735274121440 139735302315414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=851] ppid=794 vsize=10824340 memory=279485601551168 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/851/stat : 851 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017136 11084124160 21713 33554432000 4194304 4196468 140730548017088 139735306545680 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=852] ppid=794 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/852/stat : 852 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017136 11084124160 21713 33554432000 4194304 4196468 140730548017088 139735221365392 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=853] ppid=794 vsize=10824340 memory=139742800910912 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/853/stat : 853 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017136 11084124160 21713 33554432000 4194304 4196468 140730548017088 139735220312336 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=854] ppid=794 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/854/stat : 854 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017136 11084124160 21713 33554432000 4194304 4196468 140730548017088 139735219259792 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=855] ppid=794 vsize=10824340 memory=279485601564708 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/855/stat : 855 (java) S 794 797 30895 0 -1 1077944384 5 13287 0 0 0 0 4 3 20 0 15 0 408017138 11084124160 21713 33554432000 4194304 4196468 140730548017088 139734828952304 139735302314626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=856] ppid=794 vsize=10824340 memory=279485601565040 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/856/stat : 856 (java) S 794 797 30895 0 -1 1077944384 13 13287 0 0 0 0 4 3 20 0 15 0 408017138 11084124160 21713 33554432000 4194304 4196468 140730548017088 139734747702944 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=857] ppid=794 vsize=10824340 memory=279485601565312 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/857/stat : 857 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017138 11084124160 21713 33554432000 4194304 4196468 140730548017088 139734613484784 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=858] ppid=794 vsize=10824340 memory=3628 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/858/stat : 858 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017141 11084124160 21713 33554432000 4194304 4196468 140730548017088 139734009506256 139735302322075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=859] ppid=794 vsize=10824340 memory=6689 CPUtime=0.22 cores=1,3,5,7
/proc/797/task/859/stat : 859 (java) S 794 797 30895 0 -1 1077944384 697 13287 0 0 15 0 4 3 20 0 15 0 408017141 11084124160 21713 33554432000 4194304 4196468 140730548017088 139734827899120 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=860] ppid=794 vsize=10824340 memory=4420 CPUtime=0.19 cores=1,3,5,7
/proc/797/task/860/stat : 860 (java) S 794 797 30895 0 -1 1077944384 564 13287 0 0 12 0 4 3 20 0 15 0 408017141 11084124160 21713 33554432000 4194304 4196468 140730548017088 139734826846576 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=861] ppid=794 vsize=10824340 memory=6628 CPUtime=0.24 cores=1,3,5,7
/proc/797/task/861/stat : 861 (java) R 794 797 30895 0 -1 4202560 891 13287 0 0 17 0 4 3 20 0 15 0 408017141 11084124160 21713 33554432000 4194304 4196468 140730548017088 139734825793520 139735294540606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=862] ppid=794 vsize=10824340 memory=6660 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/862/stat : 862 (java) S 794 797 30895 0 -1 1077944384 3 13287 0 0 0 0 4 3 20 0 15 0 408017141 11084124160 21713 33554432000 4194304 4196468 140730548017088 139733539744096 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=863] ppid=794 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/863/stat : 863 (java) R 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017142 11084124160 21713 33554432000 4194304 4196468 140730548017088 139734824741936 139735302314626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10825364 KiB
Current children cumulated memory: 86852 KiB

[startup+1.50322 s]
/proc/loadavg: 1.33 1.30 1.35 3/231 863
/proc/meminfo: memFree=29571144/32770624 swapFree=66915756/67108860
[pid=797] ppid=794 vsize=10834656 memory=172628 CPUtime=2.48 cores=1,3,5,7
/proc/797/stat : 797 (java) S 794 797 30895 0 -1 1077944320 22481 13287 0 0 231 10 4 3 20 0 15 0 408017127 11094687744 43157 33554432000 4194304 4196468 140730548017088 140730547999632 139735302303479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
/proc/797/statm: 2708664 43157 3576 1 0 2670733 0
[pid=797/tid=850] ppid=794 vsize=10834656 memory=279485601564708 CPUtime=1.43 cores=1,3,5,7
/proc/797/task/850/stat : 850 (java) R 794 797 30895 0 -1 4202560 15354 13287 0 0 130 6 4 3 20 0 15 0 408017135 11094687744 43157 33554432000 4194304 4196468 140730548017088 139735274111456 139734903422969 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=851] ppid=794 vsize=10834656 memory=279485601565040 CPUtime=0.08 cores=1,3,5,7
/proc/797/task/851/stat : 851 (java) S 794 797 30895 0 -1 1077944384 27 13287 0 0 1 0 4 3 20 0 15 0 408017136 11094687744 43157 33554432000 4194304 4196468 140730548017088 139735306545680 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=852] ppid=794 vsize=10834656 memory=279485601565312 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/852/stat : 852 (java) S 794 797 30895 0 -1 1077944384 437 13287 0 0 0 0 4 3 20 0 15 0 408017136 11094687744 43157 33554432000 4194304 4196468 140730548017088 139735221365392 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=853] ppid=794 vsize=10834656 memory=272567214569647 CPUtime=0.08 cores=1,3,5,7
/proc/797/task/853/stat : 853 (java) S 794 797 30895 0 -1 1077944384 97 13287 0 0 1 0 4 3 20 0 15 0 408017136 11094687744 43157 33554432000 4194304 4196468 140730548017088 139735220312336 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=854] ppid=794 vsize=10834656 memory=142116172888239 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/854/stat : 854 (java) S 794 797 30895 0 -1 1077944384 108 13287 0 0 0 0 4 3 20 0 15 0 408017136 11094687744 43157 33554432000 4194304 4196468 140730548017088 139735219259792 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=855] ppid=794 vsize=10834656 memory=142120467825197 CPUtime=0.08 cores=1,3,5,7
/proc/797/task/855/stat : 855 (java) S 794 797 30895 0 -1 1077944384 1041 13287 0 0 1 0 4 3 20 0 15 0 408017138 11094687744 43157 33554432000 4194304 4196468 140730548017088 139734828952304 139735302314626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=856] ppid=794 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/856/stat : 856 (java) S 794 797 30895 0 -1 1077944384 14 13287 0 0 0 0 4 3 20 0 15 0 408017138 11094687744 43157 33554432000 4194304 4196468 140730548017088 139734747703008 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=857] ppid=794 vsize=10834656 memory=279485601556168 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/857/stat : 857 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017138 11094687744 43157 33554432000 4194304 4196468 140730548017088 139734613484800 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=858] ppid=794 vsize=10834656 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/858/stat : 858 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017141 11094687744 43157 33554432000 4194304 4196468 140730548017088 139734009506256 139735302322075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=859] ppid=794 vsize=10834656 memory=279485601546480 CPUtime=0.35 cores=1,3,5,7
/proc/797/task/859/stat : 859 (java) R 794 797 30895 0 -1 1077944384 851 13287 0 0 28 0 4 3 20 0 15 0 408017141 11094687744 43157 33554432000 4194304 4196468 140730548017088 139734827892144 139735302313685 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=860] ppid=794 vsize=10834656 memory=54 CPUtime=0.29 cores=1,3,5,7
/proc/797/task/860/stat : 860 (java) R 794 797 30895 0 -1 4202560 683 13287 0 0 22 0 4 3 20 0 15 0 408017141 11094687744 43157 33554432000 4194304 4196468 140730548017088 139734826846576 139735283846835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=861] ppid=794 vsize=10834656 memory=13795 CPUtime=0.49 cores=1,3,5,7
/proc/797/task/861/stat : 861 (java) S 794 797 30895 0 -1 1077944384 1656 13287 0 0 42 0 4 3 20 0 15 0 408017141 11094687744 43157 33554432000 4194304 4196468 140730548017088 139734825793520 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=862] ppid=794 vsize=10834656 memory=20125 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/862/stat : 862 (java) S 794 797 30895 0 -1 1077944384 3 13287 0 0 0 0 4 3 20 0 15 0 408017141 11094687744 43157 33554432000 4194304 4196468 140730548017088 139733539744096 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=863] ppid=794 vsize=10834656 memory=279485601583040 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/863/stat : 863 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017142 11094687744 43157 33554432000 4194304 4196468 140730548017088 139734824741936 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834656 KiB

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

[startup+1722.3 s]
/proc/loadavg: 2.05 1.61 1.43 3/230 1194
/proc/meminfo: memFree=29085012/32770624 swapFree=66915760/67108860
[pid=797] ppid=794 vsize=10846964 memory=672564 CPUtime=1754.88 cores=1,3,5,7
/proc/797/stat : 797 (java) S 794 797 30895 0 -1 1077944320 158292 13287 0 0 175222 259 4 3 20 0 15 0 408017127 11107291136 168141 33554432000 4194304 4196468 140730548017088 140730547999632 139735302303479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
/proc/797/statm: 2711741 168141 3625 1 0 2673805 0
[pid=797/tid=850] ppid=794 vsize=10846964 memory=672532 CPUtime=1704.23 cores=1,3,5,7
/proc/797/task/850/stat : 850 (java) R 794 797 30895 0 -1 4202560 51607 13287 0 0 170377 39 4 3 20 0 15 0 408017135 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735274138144 139734911756014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=851] ppid=794 vsize=10846964 memory=672532 CPUtime=7.85 cores=1,3,5,7
/proc/797/task/851/stat : 851 (java) S 794 797 30895 0 -1 1077944384 9777 13287 0 0 744 34 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735306545680 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=852] ppid=794 vsize=10846964 memory=672532 CPUtime=7.83 cores=1,3,5,7
/proc/797/task/852/stat : 852 (java) S 794 797 30895 0 -1 1077944384 7089 13287 0 0 734 42 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735221365392 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=853] ppid=794 vsize=10846964 memory=672532 CPUtime=7.81 cores=1,3,5,7
/proc/797/task/853/stat : 853 (java) S 794 797 30895 0 -1 1077944384 10161 13287 0 0 731 43 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735220312336 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=854] ppid=794 vsize=10846964 memory=672532 CPUtime=7.78 cores=1,3,5,7
/proc/797/task/854/stat : 854 (java) S 794 797 30895 0 -1 1077944384 11566 13287 0 0 729 42 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735219259792 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=855] ppid=794 vsize=10846964 memory=672532 CPUtime=7.49 cores=1,3,5,7
/proc/797/task/855/stat : 855 (java) S 794 797 30895 0 -1 1077944384 12018 13287 0 0 703 39 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734828952304 139735302314626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=856] ppid=794 vsize=10846964 memory=672532 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/856/stat : 856 (java) S 794 797 30895 0 -1 1077944384 15 13287 0 0 0 0 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734747703072 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=857] ppid=794 vsize=10846964 memory=672532 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/857/stat : 857 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734613484800 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=858] ppid=794 vsize=10846964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/858/stat : 858 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734009506256 139735302322075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=859] ppid=794 vsize=10846964 memory=672532 CPUtime=3.88 cores=1,3,5,7
/proc/797/task/859/stat : 859 (java) S 794 797 30895 0 -1 1077944384 13661 13287 0 0 377 4 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734827899120 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=860] ppid=794 vsize=10846964 memory=672532 CPUtime=4.31 cores=1,3,5,7
/proc/797/task/860/stat : 860 (java) S 794 797 30895 0 -1 1077944384 18322 13287 0 0 420 4 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734826846576 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=861] ppid=794 vsize=10846964 memory=672532 CPUtime=3.2 cores=1,3,5,7
/proc/797/task/861/stat : 861 (java) S 794 797 30895 0 -1 1077944384 20939 13287 0 0 308 5 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734825793520 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=862] ppid=794 vsize=10846964 memory=672532 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/862/stat : 862 (java) S 794 797 30895 0 -1 1077944384 3 13287 0 0 0 0 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139733539744096 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=863] ppid=794 vsize=10846964 memory=8300 CPUtime=1.03 cores=1,3,5,7
/proc/797/task/863/stat : 863 (java) S 794 797 30895 0 -1 1077944384 925 13287 0 0 42 54 4 3 20 0 15 0 408017142 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734824741936 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
Current children cumulated CPU time: 1754.88 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 672564 KiB

[startup+1724.11 s]
# the end of solver process 797 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1754.1 s, system=2.63715 s

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

[startup+1723.2 s]
/proc/loadavg: 2.05 1.61 1.43 3/230 1194
/proc/meminfo: memFree=29085028/32770624 swapFree=66915760/67108860
[pid=797] ppid=794 vsize=10846964 memory=672564 CPUtime=1755.79 cores=1,3,5,7
/proc/797/stat : 797 (java) S 794 797 30895 0 -1 1077944320 158302 13287 0 0 175313 259 4 3 20 0 15 0 408017127 11107291136 168141 33554432000 4194304 4196468 140730548017088 140730547999632 139735302303479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
/proc/797/statm: 2711741 168141 3625 1 0 2673805 0
[pid=797/tid=850] ppid=794 vsize=10846964 memory=2044 CPUtime=1705.13 cores=1,3,5,7
/proc/797/task/850/stat : 850 (java) R 794 797 30895 0 -1 4202560 51612 13287 0 0 170467 39 4 3 20 0 15 0 408017135 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735274138848 139734911756665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=851] ppid=794 vsize=10846964 memory=6947385649911455296 CPUtime=7.85 cores=1,3,5,7
/proc/797/task/851/stat : 851 (java) S 794 797 30895 0 -1 1077944384 9779 13287 0 0 744 34 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735306545680 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=852] ppid=794 vsize=10846964 memory=36744 CPUtime=7.83 cores=1,3,5,7
/proc/797/task/852/stat : 852 (java) S 794 797 30895 0 -1 1077944384 7090 13287 0 0 734 42 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735221365392 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=853] ppid=794 vsize=10846964 memory=992 CPUtime=7.81 cores=1,3,5,7
/proc/797/task/853/stat : 853 (java) S 794 797 30895 0 -1 1077944384 10161 13287 0 0 731 43 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735220312336 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=854] ppid=794 vsize=10846964 memory=2044 CPUtime=7.79 cores=1,3,5,7
/proc/797/task/854/stat : 854 (java) S 794 797 30895 0 -1 1077944384 11567 13287 0 0 730 42 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735219259792 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=855] ppid=794 vsize=10846964 memory=6947385649911455296 CPUtime=7.5 cores=1,3,5,7
/proc/797/task/855/stat : 855 (java) S 794 797 30895 0 -1 1077944384 12019 13287 0 0 704 39 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734828952304 139735302314626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=856] ppid=794 vsize=10846964 memory=672532 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/856/stat : 856 (java) S 794 797 30895 0 -1 1077944384 15 13287 0 0 0 0 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734747703072 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=857] ppid=794 vsize=10846964 memory=1712 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/857/stat : 857 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734613484800 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=858] ppid=794 vsize=10846964 memory=6947385649911455296 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/858/stat : 858 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734009506256 139735302322075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=859] ppid=794 vsize=10846964 memory=1052 CPUtime=3.88 cores=1,3,5,7
/proc/797/task/859/stat : 859 (java) S 794 797 30895 0 -1 1077944384 13661 13287 0 0 377 4 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734827899120 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=860] ppid=794 vsize=10846964 memory=6947385649911455296 CPUtime=4.31 cores=1,3,5,7
/proc/797/task/860/stat : 860 (java) S 794 797 30895 0 -1 1077944384 18322 13287 0 0 420 4 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734826846576 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=861] ppid=794 vsize=10846964 memory=776 CPUtime=3.2 cores=1,3,5,7
/proc/797/task/861/stat : 861 (java) S 794 797 30895 0 -1 1077944384 20939 13287 0 0 308 5 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734825793520 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=862] ppid=794 vsize=10846964 memory=14012 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/862/stat : 862 (java) S 794 797 30895 0 -1 1077944384 3 13287 0 0 0 0 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139733539744096 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=863] ppid=794 vsize=10846964 memory=1412 CPUtime=1.03 cores=1,3,5,7
/proc/797/task/863/stat : 863 (java) S 794 797 30895 0 -1 1077944384 925 13287 0 0 42 54 4 3 20 0 15 0 408017142 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734824741936 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
Current children cumulated CPU time: 1755.79 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 672564 KiB

[startup+1723.6 s]
/proc/loadavg: 2.05 1.61 1.43 3/230 1194
/proc/meminfo: memFree=29085028/32770624 swapFree=66915760/67108860
[pid=797] ppid=794 vsize=10846964 memory=672564 CPUtime=1756.19 cores=1,3,5,7
/proc/797/stat : 797 (java) S 794 797 30895 0 -1 1077944320 158306 13287 0 0 175353 259 4 3 20 0 15 0 408017127 11107291136 168141 33554432000 4194304 4196468 140730548017088 140730547999632 139735302303479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
/proc/797/statm: 2711741 168141 3625 1 0 2673805 0
[pid=797/tid=850] ppid=794 vsize=10846964 memory=992 CPUtime=1705.52 cores=1,3,5,7
/proc/797/task/850/stat : 850 (java) R 794 797 30895 0 -1 4202560 51615 13287 0 0 170506 39 4 3 20 0 15 0 408017135 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735274139744 139734911757129 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=851] ppid=794 vsize=10846964 memory=2044 CPUtime=7.85 cores=1,3,5,7
/proc/797/task/851/stat : 851 (java) S 794 797 30895 0 -1 1077944384 9779 13287 0 0 744 34 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735306545680 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=852] ppid=794 vsize=10846964 memory=1296 CPUtime=7.83 cores=1,3,5,7
/proc/797/task/852/stat : 852 (java) S 794 797 30895 0 -1 1077944384 7090 13287 0 0 734 42 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735221365392 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=853] ppid=794 vsize=10846964 memory=620 CPUtime=7.82 cores=1,3,5,7
/proc/797/task/853/stat : 853 (java) S 794 797 30895 0 -1 1077944384 10161 13287 0 0 732 43 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735220312336 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=854] ppid=794 vsize=10846964 memory=6947385649911455296 CPUtime=7.79 cores=1,3,5,7
/proc/797/task/854/stat : 854 (java) S 794 797 30895 0 -1 1077944384 11568 13287 0 0 730 42 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735219259792 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=855] ppid=794 vsize=10846964 memory=1552 CPUtime=7.5 cores=1,3,5,7
/proc/797/task/855/stat : 855 (java) S 794 797 30895 0 -1 1077944384 12019 13287 0 0 704 39 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734828952304 139735302314626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=856] ppid=794 vsize=10846964 memory=1052 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/856/stat : 856 (java) S 794 797 30895 0 -1 1077944384 15 13287 0 0 0 0 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734747703072 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=857] ppid=794 vsize=10846964 memory=5952 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/857/stat : 857 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734613484800 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=858] ppid=794 vsize=10846964 memory=8300 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/858/stat : 858 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734009506256 139735302322075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=859] ppid=794 vsize=10846964 memory=776 CPUtime=3.88 cores=1,3,5,7
/proc/797/task/859/stat : 859 (java) S 794 797 30895 0 -1 1077944384 13661 13287 0 0 377 4 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734827899120 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=860] ppid=794 vsize=10846964 memory=14012 CPUtime=4.31 cores=1,3,5,7
/proc/797/task/860/stat : 860 (java) S 794 797 30895 0 -1 1077944384 18322 13287 0 0 420 4 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734826846576 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=861] ppid=794 vsize=10846964 memory=1444 CPUtime=3.2 cores=1,3,5,7
/proc/797/task/861/stat : 861 (java) S 794 797 30895 0 -1 1077944384 20939 13287 0 0 308 5 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734825793520 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=862] ppid=794 vsize=10846964 memory=1984 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/862/stat : 862 (java) S 794 797 30895 0 -1 1077944384 3 13287 0 0 0 0 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139733539744096 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=863] ppid=794 vsize=10846964 memory=2528 CPUtime=1.03 cores=1,3,5,7
/proc/797/task/863/stat : 863 (java) S 794 797 30895 0 -1 1077944384 925 13287 0 0 42 54 4 3 20 0 15 0 408017142 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734824741936 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
Current children cumulated CPU time: 1756.19 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 672564 KiB

[startup+1724 s]*
/proc/loadavg: 2.05 1.61 1.43 3/230 1194
/proc/meminfo: memFree=29085028/32770624 swapFree=66915760/67108860
[pid=797] ppid=794 vsize=10846964 memory=672564 CPUtime=1756.6 cores=1,3,5,7
/proc/797/stat : 797 (java) S 794 797 30895 0 -1 1077944320 158325 13287 0 0 175394 259 4 3 20 0 15 0 408017127 11107291136 168141 33554432000 4194304 4196468 140730548017088 140730547999632 139735302303479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
/proc/797/statm: 2711741 168141 3625 1 0 2673805 0
[pid=797/tid=850] ppid=794 vsize=10846964 memory=1398720917958146503 CPUtime=1705.93 cores=1,3,5,7
/proc/797/task/850/stat : 850 (java) R 794 797 30895 0 -1 4202560 51634 13287 0 0 170547 39 4 3 20 0 15 0 408017135 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735274138336 139734902840987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=851] ppid=794 vsize=10846964 memory=4126316290023845779 CPUtime=7.85 cores=1,3,5,7
/proc/797/task/851/stat : 851 (java) S 794 797 30895 0 -1 1077944384 9779 13287 0 0 744 34 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735306545680 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=852] ppid=794 vsize=10846964 memory=4126316290023845779 CPUtime=7.83 cores=1,3,5,7
/proc/797/task/852/stat : 852 (java) S 794 797 30895 0 -1 1077944384 7090 13287 0 0 734 42 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735221365392 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=853] ppid=794 vsize=10846964 memory=944 CPUtime=7.82 cores=1,3,5,7
/proc/797/task/853/stat : 853 (java) S 794 797 30895 0 -1 1077944384 10161 13287 0 0 732 43 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735220312336 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=854] ppid=794 vsize=10846964 memory=1552 CPUtime=7.79 cores=1,3,5,7
/proc/797/task/854/stat : 854 (java) S 794 797 30895 0 -1 1077944384 11568 13287 0 0 730 42 4 3 20 0 15 0 408017136 11107291136 168141 33554432000 4194304 4196468 140730548017088 139735219259792 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=855] ppid=794 vsize=10846964 memory=1052 CPUtime=7.5 cores=1,3,5,7
/proc/797/task/855/stat : 855 (java) S 794 797 30895 0 -1 1077944384 12019 13287 0 0 704 39 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734828952304 139735302314626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=856] ppid=794 vsize=10846964 memory=5952 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/856/stat : 856 (java) S 794 797 30895 0 -1 1077944384 15 13287 0 0 0 0 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734747703072 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=857] ppid=794 vsize=10846964 memory=672564 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/857/stat : 857 (java) S 794 797 30895 0 -1 1077944384 1 13287 0 0 0 0 4 3 20 0 15 0 408017138 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734613484800 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=858] ppid=794 vsize=10846964 memory=672564 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/858/stat : 858 (java) S 794 797 30895 0 -1 1077944384 2 13287 0 0 0 0 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734009506256 139735302322075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=859] ppid=794 vsize=10846964 memory=0 CPUtime=3.88 cores=1,3,5,7
/proc/797/task/859/stat : 859 (java) S 794 797 30895 0 -1 1077944384 13661 13287 0 0 377 4 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734827899120 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=860] ppid=794 vsize=10846964 memory=8514701219781441950 CPUtime=4.31 cores=1,3,5,7
/proc/797/task/860/stat : 860 (java) S 794 797 30895 0 -1 1077944384 18322 13287 0 0 420 4 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734826846576 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=861] ppid=794 vsize=10846964 memory=-7521736447810188379 CPUtime=3.2 cores=1,3,5,7
/proc/797/task/861/stat : 861 (java) S 794 797 30895 0 -1 1077944384 20939 13287 0 0 308 5 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734825793520 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=862] ppid=794 vsize=10846964 memory=-8412652160765825907 CPUtime=0.07 cores=1,3,5,7
/proc/797/task/862/stat : 862 (java) S 794 797 30895 0 -1 1077944384 3 13287 0 0 0 0 4 3 20 0 15 0 408017141 11107291136 168141 33554432000 4194304 4196468 140730548017088 139733539744096 139735302313685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
[pid=797/tid=863] ppid=794 vsize=10846964 memory=-8634980985311628903 CPUtime=1.03 cores=1,3,5,7
/proc/797/task/863/stat : 863 (java) S 794 797 30895 0 -1 1077944384 925 13287 0 0 42 54 4 3 20 0 15 0 408017142 11107291136 168141 33554432000 4194304 4196468 140730548017088 139734824741936 139735302314626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14979072 140730548026101 140730548028613 140730548028613 140730548031439 0
Current children cumulated CPU time: 1756.6 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 672564 KiB

Child status: 0
Real time (s): 1724.11
CPU time (s): 1756.74
CPU user time (s): 1754.1
CPU system time (s): 2.63715
CPU usage (%): 101.892
Max. virtual memory (cumulated for all children) (KiB): 10847580
Max. memory (cumulated for all children) (KiB): 672564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.1
system time used= 2.63715
maximum resident set size= 674644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 211894
involuntary context switches= 5876


# summary of solver processes directly reported to runsolver:
#   pid: 797
#   total CPU time (s): 1756.74
#   total CPU user time (s): 1754.1
#   total CPU system time (s): 2.63715

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3253 second user time and 15.9405 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-12 21:47:04
IDJOB=4392134
IDBENCH=129972
IDSOLVER=2837
FILE ID=node134/4392134-1568317666
RUNJOBID= node134-1568307244-30927
PBS_JOBID= 21701121
Free space on /tmp= 56084 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-45-01.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392134-1568317666/watcher-4392134-1568317666 -o /tmp/evaluation-result-4392134-1568317666/solver-4392134-1568317666 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568307244-30927 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1644659335 HOME/instance-4392134-1568317666.xml

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

MD5SUM BENCH= 1713c5d1d522f34d444b6ff7755d5ded
RANDOM SEED=1644659335

node134.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.76
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.76
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.76
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.76
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:        29672856 kB
MemAvailable:   31094968 kB
Buffers:          138932 kB
Cached:          1548428 kB
SwapCached:        90652 kB
Active:          1131920 kB
Inactive:        1347012 kB
Active(anon):     725568 kB
Inactive(anon):   105832 kB
Active(file):     406352 kB
Inactive(file):  1241180 kB
Unevictable:      110944 kB
Mlocked:          110944 kB
SwapTotal:      67108860 kB
SwapFree:       66915756 kB
Dirty:             35052 kB
Writeback:             0 kB
AnonPages:        825876 kB
Mapped:            55520 kB
Shmem:             30688 kB
Slab:             210544 kB
SReclaimable:     180828 kB
SUnreclaim:        29716 kB
KernelStack:        4048 kB
PageTables:         7172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1977884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    663552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 56052 MiB
End job on node134 at 2019-09-12 22:15:49