Trace number 4400960

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.12.2OPT2 10.943 4.24639

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-05-07.xml
MD5SUM91a6e92a2ae9197e0e5abb82e178125f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.3106
Satisfiable
(Un)Satisfiability was proved
Number of variables35
Number of constraints211
Number of domains1
Minimum domain size35
Maximum domain size35
Distribution of domain sizes[{"size":35,"count":35}]
Minimum variable degree26
Maximum variable degree26
Distribution of variable degrees[{"degree":26,"count":35}]
Minimum constraint arity4
Maximum constraint arity35
Distribution of constraint arities[{"arity":4,"count":210},{"arity":35,"count":1}]
Number of extensional constraints0
Number of intensional constraints210
Distribution of constraint types[{"type":"intension","count":210},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.75/0.55	c Concrete v3.12.2.1568631193530 running
9.54/3.89	o 34
9.84/3.95	o 33
10.17/4.02	o 32
10.17/4.05	o 31
10.17/4.08	o 30
10.17/4.10	o 3
10.51/4.13	o 2
10.82/4.22	v <instantiation
10.82/4.22	v         cost = '2'>
10.82/4.22	v       <list>
10.82/4.22	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6]
10.82/4.22	v       </list>
10.82/4.22	v       <values>
10.82/4.22	v         0 1 1 2 2 2 2 1 0 1 0 1 1 2 1 1 0 0 0 2 1 1 2 0 1 2 0 0 2 0 0 1 1 2 1
10.82/4.22	v       </values>
10.82/4.22	v     </instantiation>
10.82/4.22	s OPTIMUM FOUND

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400960-1568694076/watcher-4400960-1568694076 -o /tmp/evaluation-result-4400960-1568694076/solver-4400960-1568694076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568673287-15923 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=928666443 HOME/instance-4400960-1568694076.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22228, runsolver pid=22225


[startup+0.100119 s]*
/proc/loadavg: 1.61 1.47 1.45 3/219 22285
/proc/meminfo: memFree=29082160/32770624 swapFree=67002428/67108860
[pid=22228] ppid=22225 vsize=9972712 memory=17080 CPUtime=0.1 cores=1,3,5,7
/proc/22228/stat : 22228 (java) S 22225 22228 15891 0 -1 1077944320 4511 13280 0 0 2 0 5 3 20 0 6 0 445656288 10212057088 4270 33554432000 4194304 4196468 140731797358224 140731797340768 140007111958263 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
/proc/22228/statm: 2493178 4270 1935 1 0 2481616 0
[pid=22228/tid=22281] ppid=22225 vsize=9972712 memory=4279135703913364878 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22281/stat : 22281 (java) R 22225 22228 15891 0 -1 4202560 2307 13280 0 0 1 0 5 3 20 0 6 0 445656297 10212057088 4270 33554432000 4194304 4196468 140731797358224 140007083795024 140007096038750 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22282] ppid=22225 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22282/stat : 22282 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 6 0 445656298 10212057088 4270 33554432000 4194304 4196468 140731797358224 140007116200592 140007111968469 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22283] ppid=22225 vsize=9972712 memory=140404096513664 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22283/stat : 22283 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 6 0 445656298 10212057088 4270 33554432000 4194304 4196468 140731797358224 140007015090704 140007111968469 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22284] ppid=22225 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22284/stat : 22284 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 6 0 445656298 10212057088 4270 33554432000 4194304 4196468 140731797358224 140007014037904 140007111968469 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22285] ppid=22225 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22285/stat : 22285 (java) S 22225 22228 15891 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 6 0 445656298 10212057088 4270 33554432000 4194304 4196468 140731797358224 140007012985104 140007111968469 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB

[startup+0.210186 s]*
/proc/loadavg: 1.61 1.47 1.45 4/228 22294
/proc/meminfo: memFree=29061268/32770624 swapFree=67002428/67108860
[pid=22228] ppid=22225 vsize=10820196 memory=42288 CPUtime=0.27 cores=1,3,5,7
/proc/22228/stat : 22228 (java) S 22225 22228 15891 0 -1 1077944320 7406 13280 0 0 18 1 5 3 20 0 15 0 445656288 11079880704 10572 33554432000 4194304 4196468 140731797358224 140731797340768 140007111958263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
/proc/22228/statm: 2705049 10572 3264 1 0 2667149 0
[pid=22228/tid=22281] ppid=22225 vsize=10820196 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/22228/task/22281/stat : 22281 (java) R 22225 22228 15891 0 -1 4202560 3909 13280 0 0 11 1 5 3 20 0 15 0 445656297 11079880704 10572 33554432000 4194304 4196468 140731797358224 140007083763488 140007096038750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22282] ppid=22225 vsize=10820196 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22282/stat : 22282 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656298 11079880704 10572 33554432000 4194304 4196468 140731797358224 140007116200592 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22283] ppid=22225 vsize=10820196 memory=140404096513664 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22283/stat : 22283 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656298 11079880704 10572 33554432000 4194304 4196468 140731797358224 140007015090704 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22284] ppid=22225 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22284/stat : 22284 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656298 11079880704 10572 33554432000 4194304 4196468 140731797358224 140007014037904 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22285] ppid=22225 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22285/stat : 22285 (java) S 22225 22228 15891 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 445656298 11079880704 10572 33554432000 4194304 4196468 140731797358224 140007012985104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22286] ppid=22225 vsize=10820196 memory=140404096513664 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22286/stat : 22286 (java) S 22225 22228 15891 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 445656299 11079880704 10572 33554432000 4194304 4196468 140731797358224 140006570871664 140007111969410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22287] ppid=22225 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22287/stat : 22287 (java) S 22225 22228 15891 0 -1 1077944384 13 13280 0 0 0 0 5 3 20 0 15 0 445656300 11079880704 10572 33554432000 4194304 4196468 140731797358224 140006001731104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22288] ppid=22225 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22288/stat : 22288 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656300 11079880704 10572 33554432000 4194304 4196468 140731797358224 140005867513200 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22289] ppid=22225 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22289/stat : 22289 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11079880704 10572 33554432000 4194304 4196468 140731797358224 140005627222352 140007111976859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22290] ppid=22225 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22290/stat : 22290 (java) R 22225 22228 15891 0 -1 4202560 602 13280 0 0 1 0 5 3 20 0 15 0 445656303 11079880704 10638 33554432000 4194304 4196468 140731797358224 140006569818480 140007097084664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22291] ppid=22225 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22291/stat : 22291 (java) S 22225 22228 15891 0 -1 1077944384 57 13280 0 0 0 0 5 3 20 0 15 0 445656303 11079880704 10638 33554432000 4194304 4196468 140731797358224 140006568765680 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22292] ppid=22225 vsize=10820196 memory=140404096513664 CPUtime=0.11 cores=1,3,5,7
/proc/22228/task/22292/stat : 22292 (java) S 22225 22228 15891 0 -1 1077944384 605 13280 0 0 3 0 5 3 20 0 15 0 445656303 11079880704 10638 33554432000 4194304 4196468 140731797358224 140006567712880 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22293] ppid=22225 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22293/stat : 22293 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11079880704 10638 33554432000 4194304 4196468 140731797358224 140005593663712 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22294] ppid=22225 vsize=10820196 memory=140404096513664 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22294/stat : 22294 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656303 11079880704 10638 33554432000 4194304 4196468 140731797358224 140006566661296 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42288 KiB

[startup+0.310612 s]*
/proc/loadavg: 1.61 1.47 1.45 3/228 22294
/proc/meminfo: memFree=29048348/32770624 swapFree=67002428/67108860
[pid=22228] ppid=22225 vsize=10820196 memory=50592 CPUtime=0.41 cores=1,3,5,7
/proc/22228/stat : 22228 (java) S 22225 22228 15891 0 -1 1077944320 10874 13280 0 0 30 3 5 3 20 0 15 0 445656288 11079880704 12648 33554432000 4194304 4196468 140731797358224 140731797340768 140007111958263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
/proc/22228/statm: 2705049 12648 3314 1 0 2667149 0
[pid=22228/tid=22281] ppid=22225 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22228/task/22281/stat : 22281 (java) R 22225 22228 15891 0 -1 4202560 7367 13280 0 0 19 2 5 3 20 0 15 0 445656297 11079880704 12648 33554432000 4194304 4196468 140731797358224 140007083767216 140007098185972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22282] ppid=22225 vsize=10820196 memory=7228928657774891088 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22282/stat : 22282 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656298 11079880704 12648 33554432000 4194304 4196468 140731797358224 140007116200592 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22283] ppid=22225 vsize=10820196 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22283/stat : 22283 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656298 11079880704 12648 33554432000 4194304 4196468 140731797358224 140007015090704 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22284] ppid=22225 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22284/stat : 22284 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656298 11079880704 12648 33554432000 4194304 4196468 140731797358224 140007014037904 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22285] ppid=22225 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22285/stat : 22285 (java) S 22225 22228 15891 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 445656298 11079880704 12648 33554432000 4194304 4196468 140731797358224 140007012985104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22286] ppid=22225 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22286/stat : 22286 (java) S 22225 22228 15891 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 445656299 11079880704 12648 33554432000 4194304 4196468 140731797358224 140006570871664 140007111969410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22287] ppid=22225 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22287/stat : 22287 (java) S 22225 22228 15891 0 -1 1077944384 13 13280 0 0 0 0 5 3 20 0 15 0 445656300 11079880704 12648 33554432000 4194304 4196468 140731797358224 140006001731104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22288] ppid=22225 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22288/stat : 22288 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656300 11079880704 12648 33554432000 4194304 4196468 140731797358224 140005867513200 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22289] ppid=22225 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22289/stat : 22289 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11079880704 12648 33554432000 4194304 4196468 140731797358224 140005627222352 140007111976859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22290] ppid=22225 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/22228/task/22290/stat : 22290 (java) S 22225 22228 15891 0 -1 1077944384 604 13280 0 0 2 0 5 3 20 0 15 0 445656303 11079880704 12648 33554432000 4194304 4196468 140731797358224 140006569818480 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22291] ppid=22225 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22291/stat : 22291 (java) S 22225 22228 15891 0 -1 1077944384 57 13280 0 0 1 0 5 3 20 0 15 0 445656303 11079880704 12648 33554432000 4194304 4196468 140731797358224 140006568765680 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22292] ppid=22225 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/22228/task/22292/stat : 22292 (java) S 22225 22228 15891 0 -1 1077944384 612 13280 0 0 5 0 5 3 20 0 15 0 445656303 11079880704 12648 33554432000 4194304 4196468 140731797358224 140006567712880 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22293] ppid=22225 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22293/stat : 22293 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11079880704 12648 33554432000 4194304 4196468 140731797358224 140005593663712 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22294] ppid=22225 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22294/stat : 22294 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656303 11079880704 12648 33554432000 4194304 4196468 140731797358224 140006566661296 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50592 KiB

[startup+0.701214 s]
/proc/loadavg: 1.61 1.47 1.45 3/228 22294
/proc/meminfo: memFree=29033676/32770624 swapFree=67002428/67108860
[pid=22228] ppid=22225 vsize=10824364 memory=83556 CPUtime=1.12 cores=1,3,5,7
/proc/22228/stat : 22228 (java) S 22225 22228 15891 0 -1 1077944320 15117 13280 0 0 100 4 5 3 20 0 15 0 445656288 11084148736 20889 33554432000 4194304 4196468 140731797358224 140731797340768 140007111958263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
/proc/22228/statm: 2706091 20889 3510 1 0 2668173 0
[pid=22228/tid=22281] ppid=22225 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/22228/task/22281/stat : 22281 (java) R 22225 22228 15891 0 -1 4202560 10435 13280 0 0 56 3 5 3 20 0 15 0 445656297 11084148736 20889 33554432000 4194304 4196468 140731797358224 140007083776608 140007097650849 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22282] ppid=22225 vsize=10824364 memory=827 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22282/stat : 22282 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656298 11084148736 20889 33554432000 4194304 4196468 140731797358224 140007116200592 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22283] ppid=22225 vsize=10824364 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22283/stat : 22283 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656298 11084148736 20889 33554432000 4194304 4196468 140731797358224 140007015090704 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22284] ppid=22225 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22284/stat : 22284 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656298 11084148736 20889 33554432000 4194304 4196468 140731797358224 140007014037904 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22285] ppid=22225 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22285/stat : 22285 (java) S 22225 22228 15891 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 445656298 11084148736 20889 33554432000 4194304 4196468 140731797358224 140007012985104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22286] ppid=22225 vsize=10824364 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22286/stat : 22286 (java) S 22225 22228 15891 0 -1 1077944384 5 13280 0 0 0 0 5 3 20 0 15 0 445656299 11084148736 20889 33554432000 4194304 4196468 140731797358224 140006570871664 140007111969410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22287] ppid=22225 vsize=10824364 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22287/stat : 22287 (java) S 22225 22228 15891 0 -1 1077944384 13 13280 0 0 0 0 5 3 20 0 15 0 445656300 11084148736 20889 33554432000 4194304 4196468 140731797358224 140006001731104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22288] ppid=22225 vsize=10824364 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22288/stat : 22288 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656300 11084148736 20889 33554432000 4194304 4196468 140731797358224 140005867513200 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22289] ppid=22225 vsize=10824364 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22289/stat : 22289 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11084148736 20889 33554432000 4194304 4196468 140731797358224 140005627222352 140007111976859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22290] ppid=22225 vsize=10824364 memory=13252 CPUtime=0.22 cores=1,3,5,7
/proc/22228/task/22290/stat : 22290 (java) R 22225 22228 15891 0 -1 4202560 1026 13280 0 0 14 0 5 3 20 0 15 0 445656303 11084148736 20889 33554432000 4194304 4196468 140731797358224 140006569805792 140007091291503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22291] ppid=22225 vsize=10824364 memory=15460 CPUtime=0.19 cores=1,3,5,7
/proc/22228/task/22291/stat : 22291 (java) R 22225 22228 15891 0 -1 4202560 575 13280 0 0 11 0 5 3 20 0 15 0 445656303 11084148736 20889 33554432000 4194304 4196468 140731797358224 140006568765680 140007093502848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22292] ppid=22225 vsize=10824364 memory=17668 CPUtime=0.25 cores=1,3,5,7
/proc/22228/task/22292/stat : 22292 (java) S 22225 22228 15891 0 -1 1077944384 844 13280 0 0 17 0 5 3 20 0 15 0 445656303 11084148736 20889 33554432000 4194304 4196468 140731797358224 140006567712880 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22293] ppid=22225 vsize=10824364 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22293/stat : 22293 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11084148736 20889 33554432000 4194304 4196468 140731797358224 140005593663712 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22294] ppid=22225 vsize=10824364 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22294/stat : 22294 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656303 11084148736 20889 33554432000 4194304 4196468 140731797358224 140006566661296 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83556 KiB

[startup+1.50073 s]
/proc/loadavg: 1.61 1.47 1.45 3/228 22294
/proc/meminfo: memFree=28991664/32770624 swapFree=67002428/67108860
[pid=22228] ppid=22225 vsize=10834680 memory=173200 CPUtime=2.47 cores=1,3,5,7
/proc/22228/stat : 22228 (java) S 22225 22228 15891 0 -1 1077944320 21846 13280 0 0 231 8 5 3 20 0 15 0 445656288 11094712320 43300 33554432000 4194304 4196468 140731797358224 140731797340768 140007111958263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
/proc/22228/statm: 2708670 43300 3575 1 0 2670733 0
[pid=22228/tid=22281] ppid=22225 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/22228/task/22281/stat : 22281 (java) R 22225 22228 15891 0 -1 4202560 15426 13280 0 0 130 5 5 3 20 0 15 0 445656297 11094712320 43300 33554432000 4194304 4196468 140731797358224 140007083752208 140007111970198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22282] ppid=22225 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22282/stat : 22282 (java) S 22225 22228 15891 0 -1 1077944384 71 13280 0 0 1 0 5 3 20 0 15 0 445656298 11094712320 43300 33554432000 4194304 4196468 140731797358224 140007116200592 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22283] ppid=22225 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22283/stat : 22283 (java) S 22225 22228 15891 0 -1 1077944384 326 13280 0 0 1 0 5 3 20 0 15 0 445656298 11094712320 43300 33554432000 4194304 4196468 140731797358224 140007015090704 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22284] ppid=22225 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22284/stat : 22284 (java) S 22225 22228 15891 0 -1 1077944384 22 13280 0 0 1 0 5 3 20 0 15 0 445656298 11094712320 43300 33554432000 4194304 4196468 140731797358224 140007014037904 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22285] ppid=22225 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22285/stat : 22285 (java) S 22225 22228 15891 0 -1 1077944384 62 13280 0 0 1 0 5 3 20 0 15 0 445656298 11094712320 43300 33554432000 4194304 4196468 140731797358224 140007012985104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22286] ppid=22225 vsize=10834680 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22286/stat : 22286 (java) S 22225 22228 15891 0 -1 1077944384 139 13280 0 0 1 0 5 3 20 0 15 0 445656299 11094712320 43300 33554432000 4194304 4196468 140731797358224 140006570871664 140007111969410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22287] ppid=22225 vsize=10834680 memory=280807914678528 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22287/stat : 22287 (java) S 22225 22228 15891 0 -1 1077944384 13 13280 0 0 0 0 5 3 20 0 15 0 445656300 11094712320 43300 33554432000 4194304 4196468 140731797358224 140006001731168 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22288] ppid=22225 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22288/stat : 22288 (java) S 22225 22228 15891 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 445656300 11094712320 43300 33554432000 4194304 4196468 140731797358224 140005867513216 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22289] ppid=22225 vsize=10834680 memory=1220 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22289/stat : 22289 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11094712320 43300 33554432000 4194304 4196468 140731797358224 140005627222352 140007111976859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22290] ppid=22225 vsize=10834680 memory=10600 CPUtime=0.33 cores=1,3,5,7
/proc/22228/task/22290/stat : 22290 (java) S 22225 22228 15891 0 -1 1077944384 1138 13280 0 0 25 0 5 3 20 0 15 0 445656303 11094712320 43300 33554432000 4194304 4196468 140731797358224 140006569818480 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22291] ppid=22225 vsize=10834680 memory=1740 CPUtime=0.32 cores=1,3,5,7
/proc/22228/task/22291/stat : 22291 (java) S 22225 22228 15891 0 -1 1077944384 775 13280 0 0 24 0 5 3 20 0 15 0 445656303 11094712320 43300 33554432000 4194304 4196468 140731797358224 140006568765680 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22292] ppid=22225 vsize=10834680 memory=5992 CPUtime=0.5 cores=1,3,5,7
/proc/22228/task/22292/stat : 22292 (java) S 22225 22228 15891 0 -1 1077944384 1662 13280 0 0 42 0 5 3 20 0 15 0 445656303 11094712320 43300 33554432000 4194304 4196468 140731797358224 140006567712880 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22293] ppid=22225 vsize=10834680 memory=636 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22293/stat : 22293 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11094712320 43300 33554432000 4194304 4196468 140731797358224 140005593663712 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22294] ppid=22225 vsize=10834680 memory=2884 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22294/stat : 22294 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656303 11094712320 43300 33554432000 4194304 4196468 140731797358224 140006566661296 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB

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

[startup+3.11071 s]
/proc/loadavg: 1.61 1.47 1.45 5/228 22295
/proc/meminfo: memFree=28805424/32770624 swapFree=67002428/67108860
[pid=22228] ppid=22225 vsize=10842892 memory=276476 CPUtime=7.23 cores=1,3,5,7
/proc/22228/stat : 22228 (java) S 22225 22228 15891 0 -1 1077944320 33134 13280 0 0 702 13 5 3 20 0 15 0 445656288 11103121408 69119 33554432000 4194304 4196468 140731797358224 140731797340768 140007111958263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
/proc/22228/statm: 2710723 69119 3597 1 0 2672781 0
[pid=22228/tid=22281] ppid=22225 vsize=10842892 memory=280807915097408 CPUtime=3.03 cores=1,3,5,7
/proc/22228/task/22281/stat : 22281 (java) R 22225 22228 15891 0 -1 4202560 18179 13280 0 0 288 7 5 3 20 0 15 0 445656297 11103121408 69119 33554432000 4194304 4196468 140731797358224 140007083790752 140007111970198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22282] ppid=22225 vsize=10842892 memory=388 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22282/stat : 22282 (java) S 22225 22228 15891 0 -1 1077944384 71 13280 0 0 1 0 5 3 20 0 15 0 445656298 11103121408 69119 33554432000 4194304 4196468 140731797358224 140007116200592 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22283] ppid=22225 vsize=10842892 memory=6943526294502006880 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22283/stat : 22283 (java) S 22225 22228 15891 0 -1 1077944384 326 13280 0 0 1 0 5 3 20 0 15 0 445656298 11103121408 69119 33554432000 4194304 4196468 140731797358224 140007015090704 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22284] ppid=22225 vsize=10842892 memory=56 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22284/stat : 22284 (java) S 22225 22228 15891 0 -1 1077944384 22 13280 0 0 1 0 5 3 20 0 15 0 445656298 11103121408 69119 33554432000 4194304 4196468 140731797358224 140007014037904 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22285] ppid=22225 vsize=10842892 memory=7886128541282087474 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22285/stat : 22285 (java) S 22225 22228 15891 0 -1 1077944384 62 13280 0 0 1 0 5 3 20 0 15 0 445656298 11103121408 69119 33554432000 4194304 4196468 140731797358224 140007012985104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22286] ppid=22225 vsize=10842892 memory=8389687274684691250 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22286/stat : 22286 (java) S 22225 22228 15891 0 -1 1077944384 146 13280 0 0 1 0 5 3 20 0 15 0 445656299 11103121408 69119 33554432000 4194304 4196468 140731797358224 140006570871664 140007111969410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22287] ppid=22225 vsize=10842892 memory=7093353935913349830 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22287/stat : 22287 (java) S 22225 22228 15891 0 -1 1077944384 13 13280 0 0 0 0 5 3 20 0 15 0 445656300 11103121408 69119 33554432000 4194304 4196468 140731797358224 140006001731168 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22288] ppid=22225 vsize=10842892 memory=280807914931712 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22288/stat : 22288 (java) S 22225 22228 15891 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 445656300 11103121408 69119 33554432000 4194304 4196468 140731797358224 140005867513216 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22289] ppid=22225 vsize=10842892 memory=7956567955459234152 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22289/stat : 22289 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11103121408 69119 33554432000 4194304 4196468 140731797358224 140005627222352 140007111976859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22290] ppid=22225 vsize=10842892 memory=6940161746037793368 CPUtime=1.43 cores=1,3,5,7
/proc/22228/task/22290/stat : 22290 (java) R 22225 22228 15891 0 -1 4202560 3377 13280 0 0 135 0 5 3 20 0 15 0 445656303 11103121408 69119 33554432000 4194304 4196468 140731797358224 140006569797296 140007097982213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22291] ppid=22225 vsize=10842892 memory=7447093755344478545 CPUtime=1.56 cores=1,3,5,7
/proc/22228/task/22291/stat : 22291 (java) R 22225 22228 15891 0 -1 4202560 3770 13280 0 0 147 1 5 3 20 0 15 0 445656303 11103121408 69119 33554432000 4194304 4196468 140731797358224 140006568765808 140007097996832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22292] ppid=22225 vsize=10842892 memory=288230574492221466 CPUtime=1.32 cores=1,3,5,7
/proc/22228/task/22292/stat : 22292 (java) R 22225 22228 15891 0 -1 1077944384 4953 13280 0 0 123 1 5 3 20 0 15 0 445656303 11103121408 69119 33554432000 4194304 4196468 140731797358224 140006567712880 140007111969410 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22293] ppid=22225 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22293/stat : 22293 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11103121408 69119 33554432000 4194304 4196468 140731797358224 140005593663712 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22294] ppid=22225 vsize=10842892 memory=2193 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22294/stat : 22294 (java) S 22225 22228 15891 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 445656303 11103121408 69119 33554432000 4194304 4196468 140731797358224 140006566661296 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
Current children cumulated CPU time: 7.23 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 276476 KiB

[startup+4.24634 s]
# the end of solver process 22228 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.7295 s, system=0.213539 s

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

[startup+3.20101 s]
/proc/loadavg: 1.61 1.47 1.45 5/228 22295
/proc/meminfo: memFree=28805424/32770624 swapFree=67002428/67108860
[pid=22228] ppid=22225 vsize=10842892 memory=281944 CPUtime=7.55 cores=1,3,5,7
/proc/22228/stat : 22228 (java) S 22225 22228 15891 0 -1 1077944320 39148 13280 0 0 734 13 5 3 20 0 15 0 445656288 11103121408 70486 33554432000 4194304 4196468 140731797358224 140731797340768 140007111958263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
/proc/22228/statm: 2710723 70486 3597 1 0 2672781 0
[pid=22228/tid=22281] ppid=22225 vsize=10842892 memory=0 CPUtime=3.13 cores=1,3,5,7
/proc/22228/task/22281/stat : 22281 (java) R 22225 22228 15891 0 -1 4202560 21220 13280 0 0 297 8 5 3 20 0 15 0 445656297 11103121408 70486 33554432000 4194304 4196468 140731797358224 140007083790976 140007111980189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22282] ppid=22225 vsize=10842892 memory=6656426216303648864 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22282/stat : 22282 (java) S 22225 22228 15891 0 -1 1077944384 71 13280 0 0 1 0 5 3 20 0 15 0 445656298 11103121408 70486 33554432000 4194304 4196468 140731797358224 140007116200592 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22283] ppid=22225 vsize=10842892 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22283/stat : 22283 (java) S 22225 22228 15891 0 -1 1077944384 326 13280 0 0 1 0 5 3 20 0 15 0 445656298 11103121408 70486 33554432000 4194304 4196468 140731797358224 140007015090704 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22284] ppid=22225 vsize=10842892 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22284/stat : 22284 (java) S 22225 22228 15891 0 -1 1077944384 22 13280 0 0 1 0 5 3 20 0 15 0 445656298 11103121408 70486 33554432000 4194304 4196468 140731797358224 140007014037904 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22285] ppid=22225 vsize=10842892 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22285/stat : 22285 (java) S 22225 22228 15891 0 -1 1077944384 62 13280 0 0 1 0 5 3 20 0 15 0 445656298 11103121408 70486 33554432000 4194304 4196468 140731797358224 140007012985104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22286] ppid=22225 vsize=10842892 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22228/task/22286/stat : 22286 (java) S 22225 22228 15891 0 -1 1077944384 146 13280 0 0 1 0 5 3 20 0 15 0 445656299 11103121408 70486 33554432000 4194304 4196468 140731797358224 140006570871664 140007111969410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22287] ppid=22225 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22287/stat : 22287 (java) S 22225 22228 15891 0 -1 1077944384 13 13280 0 0 0 0 5 3 20 0 15 0 445656300 11103121408 70486 33554432000 4194304 4196468 140731797358224 140006001731168 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22288] ppid=22225 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22288/stat : 22288 (java) S 22225 22228 15891 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 445656300 11103121408 70486 33554432000 4194304 4196468 140731797358224 140005867513216 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22289] ppid=22225 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22289/stat : 22289 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11103121408 70486 33554432000 4194304 4196468 140731797358224 140005627222352 140007111976859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22290] ppid=22225 vsize=10842892 memory=0 CPUtime=1.52 cores=1,3,5,7
/proc/22228/task/22290/stat : 22290 (java) R 22225 22228 15891 0 -1 4202560 3729 13280 0 0 144 0 5 3 20 0 15 0 445656303 11103121408 70486 33554432000 4194304 4196468 140731797358224 140006569807240 140007091455559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22291] ppid=22225 vsize=10842892 memory=1040 CPUtime=1.65 cores=1,3,5,7
/proc/22228/task/22291/stat : 22291 (java) R 22225 22228 15891 0 -1 4202560 4354 13280 0 0 156 1 5 3 20 0 15 0 445656303 11103121408 70486 33554432000 4194304 4196468 140731797358224 140006568744680 140007089846784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22292] ppid=22225 vsize=10842892 memory=14008 CPUtime=1.37 cores=1,3,5,7
/proc/22228/task/22292/stat : 22292 (java) S 22225 22228 15891 0 -1 1077944384 6987 13280 0 0 128 1 5 3 20 0 15 0 445656303 11103121408 70486 33554432000 4194304 4196468 140731797358224 140006567712880 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22293] ppid=22225 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22293/stat : 22293 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11103121408 70486 33554432000 4194304 4196468 140731797358224 140005593663712 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22294] ppid=22225 vsize=10842892 memory=6788 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22294/stat : 22294 (java) S 22225 22228 15891 0 -1 1077944384 7 13280 0 0 0 0 5 3 20 0 15 0 445656303 11103121408 70486 33554432000 4194304 4196468 140731797358224 140006566661296 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 281944 KiB

[startup+4.0007 s]*
/proc/loadavg: 1.80 1.52 1.47 5/228 22295
/proc/meminfo: memFree=28773732/32770624 swapFree=67002428/67108860
[pid=22228] ppid=22225 vsize=10846988 memory=307772 CPUtime=10.17 cores=1,3,5,7
/proc/22228/stat : 22228 (java) S 22225 22228 15891 0 -1 1077944320 49358 13280 0 0 993 16 5 3 20 0 15 0 445656288 11107315712 76943 33554432000 4194304 4196468 140731797358224 140731797340768 140007111958263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
/proc/22228/statm: 2711747 76943 3615 1 0 2673805 0
[pid=22228/tid=22281] ppid=22225 vsize=10846988 memory=-6517102902069810590 CPUtime=3.87 cores=1,3,5,7
/proc/22228/task/22281/stat : 22281 (java) R 22225 22228 15891 0 -1 4202560 23401 13280 0 0 370 9 5 3 20 0 15 0 445656297 11107315712 76943 33554432000 4194304 4196468 140731797358224 140007083789136 140006700576460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22282] ppid=22225 vsize=10846988 memory=3691042058319900680 CPUtime=0.11 cores=1,3,5,7
/proc/22228/task/22282/stat : 22282 (java) S 22225 22228 15891 0 -1 1077944384 315 13280 0 0 3 0 5 3 20 0 15 0 445656298 11107315712 76943 33554432000 4194304 4196468 140731797358224 140007116200592 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22283] ppid=22225 vsize=10846988 memory=4051464951942900914 CPUtime=0.11 cores=1,3,5,7
/proc/22228/task/22283/stat : 22283 (java) S 22225 22228 15891 0 -1 1077944384 1000 13280 0 0 3 0 5 3 20 0 15 0 445656298 11107315712 76943 33554432000 4194304 4196468 140731797358224 140007015090704 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22284] ppid=22225 vsize=10846988 memory=7007689158020456512 CPUtime=0.11 cores=1,3,5,7
/proc/22228/task/22284/stat : 22284 (java) S 22225 22228 15891 0 -1 1077944384 58 13280 0 0 3 0 5 3 20 0 15 0 445656298 11107315712 76943 33554432000 4194304 4196468 140731797358224 140007014037904 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22285] ppid=22225 vsize=10846988 memory=95468533056488 CPUtime=0.12 cores=1,3,5,7
/proc/22228/task/22285/stat : 22285 (java) S 22225 22228 15891 0 -1 1077944384 88 13280 0 0 4 0 5 3 20 0 15 0 445656298 11107315712 76943 33554432000 4194304 4196468 140731797358224 140007012985104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22286] ppid=22225 vsize=10846988 memory=3612117603334335713 CPUtime=0.12 cores=1,3,5,7
/proc/22228/task/22286/stat : 22286 (java) S 22225 22228 15891 0 -1 1077944384 5328 13280 0 0 4 0 5 3 20 0 15 0 445656299 11107315712 76943 33554432000 4194304 4196468 140731797358224 140006570871664 140007111969410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22287] ppid=22225 vsize=10846988 memory=3690195451613819935 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22287/stat : 22287 (java) S 22225 22228 15891 0 -1 1077944384 20 13280 0 0 0 0 5 3 20 0 15 0 445656300 11107315712 76943 33554432000 4194304 4196468 140731797358224 140006001731168 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22288] ppid=22225 vsize=10846988 memory=7594878090646482792 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22288/stat : 22288 (java) S 22225 22228 15891 0 -1 1077944384 12 13280 0 0 0 0 5 3 20 0 15 0 445656300 11107315712 76943 33554432000 4194304 4196468 140731797358224 140005867513216 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22289] ppid=22225 vsize=10846988 memory=2 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22289/stat : 22289 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11107315712 76943 33554432000 4194304 4196468 140731797358224 140005627222352 140007111976859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22290] ppid=22225 vsize=10846988 memory=0 CPUtime=2.26 cores=1,3,5,7
/proc/22228/task/22290/stat : 22290 (java) R 22225 22228 15891 0 -1 4202560 4491 13280 0 0 217 1 5 3 20 0 15 0 445656303 11107315712 76943 33554432000 4194304 4196468 140731797358224 140006569806032 140007096699376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22291] ppid=22225 vsize=10846988 memory=0 CPUtime=2.34 cores=1,3,5,7
/proc/22228/task/22291/stat : 22291 (java) R 22225 22228 15891 0 -1 4202560 4688 13280 0 0 225 1 5 3 20 0 15 0 445656303 11107315712 76943 33554432000 4194304 4196468 140731797358224 140006568752912 140007095943058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22292] ppid=22225 vsize=10846988 memory=15 CPUtime=1.69 cores=1,3,5,7
/proc/22228/task/22292/stat : 22292 (java) R 22225 22228 15891 0 -1 1077944384 7738 13280 0 0 159 2 5 3 20 0 15 0 445656303 11107315712 76943 33554432000 4194304 4196468 140731797358224 140006567712880 140007111969410 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22293] ppid=22225 vsize=10846988 memory=103 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22293/stat : 22293 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11107315712 76943 33554432000 4194304 4196468 140731797358224 140005593663712 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22294] ppid=22225 vsize=10846988 memory=179 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22294/stat : 22294 (java) S 22225 22228 15891 0 -1 1077944384 7 13280 0 0 0 0 5 3 20 0 15 0 445656303 11107315712 76943 33554432000 4194304 4196468 140731797358224 140006566661296 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
Current children cumulated CPU time: 10.17 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 307772 KiB

[startup+4.20175 s]
/proc/loadavg: 1.80 1.52 1.47 5/228 22295
/proc/meminfo: memFree=28773732/32770624 swapFree=67002428/67108860
[pid=22228] ppid=22225 vsize=10846988 memory=308448 CPUtime=10.82 cores=1,3,5,7
/proc/22228/stat : 22228 (java) S 22225 22228 15891 0 -1 1077944320 49903 13280 0 0 1058 16 5 3 20 0 15 0 445656288 11107315712 77112 33554432000 4194304 4196468 140731797358224 140731797340768 140007111958263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
/proc/22228/statm: 2711747 77112 3615 1 0 2673805 0
[pid=22228/tid=22281] ppid=22225 vsize=10846988 memory=303993220499767607 CPUtime=4.06 cores=1,3,5,7
/proc/22228/task/22281/stat : 22281 (java) R 22225 22228 15891 0 -1 4202560 23434 13280 0 0 389 9 5 3 20 0 15 0 445656297 11107315712 77112 33554432000 4194304 4196468 140731797358224 140007083793200 140006705344388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22282] ppid=22225 vsize=10846988 memory=14689690934577615 CPUtime=0.11 cores=1,3,5,7
/proc/22228/task/22282/stat : 22282 (java) S 22225 22228 15891 0 -1 1077944384 315 13280 0 0 3 0 5 3 20 0 15 0 445656298 11107315712 77112 33554432000 4194304 4196468 140731797358224 140007116200592 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22283] ppid=22225 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/22228/task/22283/stat : 22283 (java) S 22225 22228 15891 0 -1 1077944384 1000 13280 0 0 3 0 5 3 20 0 15 0 445656298 11107315712 77112 33554432000 4194304 4196468 140731797358224 140007015090704 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22284] ppid=22225 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/22228/task/22284/stat : 22284 (java) S 22225 22228 15891 0 -1 1077944384 58 13280 0 0 3 0 5 3 20 0 15 0 445656298 11107315712 77112 33554432000 4194304 4196468 140731797358224 140007014037904 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22285] ppid=22225 vsize=10846988 memory=7016714186490735262 CPUtime=0.12 cores=1,3,5,7
/proc/22228/task/22285/stat : 22285 (java) S 22225 22228 15891 0 -1 1077944384 88 13280 0 0 4 0 5 3 20 0 15 0 445656298 11107315712 77112 33554432000 4194304 4196468 140731797358224 140007012985104 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22286] ppid=22225 vsize=10846988 memory=-7522837583129307271 CPUtime=0.12 cores=1,3,5,7
/proc/22228/task/22286/stat : 22286 (java) S 22225 22228 15891 0 -1 1077944384 5328 13280 0 0 4 0 5 3 20 0 15 0 445656299 11107315712 77112 33554432000 4194304 4196468 140731797358224 140006570871664 140007111969410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22287] ppid=22225 vsize=10846988 memory=6944656592455350634 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22287/stat : 22287 (java) S 22225 22228 15891 0 -1 1077944384 20 13280 0 0 0 0 5 3 20 0 15 0 445656300 11107315712 77112 33554432000 4194304 4196468 140731797358224 140006001731168 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22288] ppid=22225 vsize=10846988 memory=7682744562830902074 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22288/stat : 22288 (java) S 22225 22228 15891 0 -1 1077944384 12 13280 0 0 0 0 5 3 20 0 15 0 445656300 11107315712 77112 33554432000 4194304 4196468 140731797358224 140005867513216 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22289] ppid=22225 vsize=10846988 memory=-7385037615309293161 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22289/stat : 22289 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11107315712 77112 33554432000 4194304 4196468 140731797358224 140005627222352 140007111976859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22290] ppid=22225 vsize=10846988 memory=-7384994778349281184 CPUtime=2.45 cores=1,3,5,7
/proc/22228/task/22290/stat : 22290 (java) R 22225 22228 15891 0 -1 4202560 4604 13280 0 0 236 1 5 3 20 0 15 0 445656303 11107315712 77112 33554432000 4194304 4196468 140731797358224 140006569795248 140007093479489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22291] ppid=22225 vsize=10846988 memory=8761640388318109335 CPUtime=2.53 cores=1,3,5,7
/proc/22228/task/22291/stat : 22291 (java) R 22225 22228 15891 0 -1 4202560 4803 13280 0 0 244 1 5 3 20 0 15 0 445656303 11107315712 77112 33554432000 4194304 4196468 140731797358224 140006568753632 140007095456897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22292] ppid=22225 vsize=10846988 memory=0 CPUtime=1.77 cores=1,3,5,7
/proc/22228/task/22292/stat : 22292 (java) S 22225 22228 15891 0 -1 1077944384 8021 13280 0 0 167 2 5 3 20 0 15 0 445656303 11107315712 77112 33554432000 4194304 4196468 140731797358224 140006567712880 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22293] ppid=22225 vsize=10846988 memory=140403957603121 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22293/stat : 22293 (java) S 22225 22228 15891 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 445656303 11107315712 77112 33554432000 4194304 4196468 140731797358224 140005593663712 140007111968469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
[pid=22228/tid=22294] ppid=22225 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22228/task/22294/stat : 22294 (java) S 22225 22228 15891 0 -1 1077944384 8 13280 0 0 0 0 5 3 20 0 15 0 445656303 11107315712 77112 33554432000 4194304 4196468 140731797358224 140006566661296 140007111969410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140731797363440 140731797365957 140731797365957 140731797368783 0
Current children cumulated CPU time: 10.82 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 308448 KiB

Child status: 0
Real time (s): 4.24639
CPU time (s): 10.943
CPU user time (s): 10.7295
CPU system time (s): 0.213539
CPU usage (%): 257.702
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 308448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7295
system time used= 0.213539
maximum resident set size= 310520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63243
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= 6111
involuntary context switches= 65


# summary of solver processes directly reported to runsolver:
#   pid: 22228
#   total CPU time (s): 10.943
#   total CPU user time (s): 10.7295
#   total CPU system time (s): 0.213539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043577 second user time and 0.092513 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-17 06:20:32
IDJOB=4400960
IDBENCH=139742
IDSOLVER=2857
FILE ID=node136/4400960-1568694076
RUNJOBID= node136-1568673287-15923
PBS_JOBID= 21703781
Free space on /tmp= 61108 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-05-07.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400960-1568694076/watcher-4400960-1568694076 -o /tmp/evaluation-result-4400960-1568694076/solver-4400960-1568694076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568673287-15923 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=928666443 HOME/instance-4400960-1568694076.xml

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

MD5SUM BENCH= 91a6e92a2ae9197e0e5abb82e178125f
RANDOM SEED=928666443

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29088024 kB
MemAvailable:   29336016 kB
Buffers:           60116 kB
Cached:           489492 kB
SwapCached:         3552 kB
Active:          2823724 kB
Inactive:         292644 kB
Active(anon):    2566304 kB
Inactive(anon):    49440 kB
Active(file):     257420 kB
Inactive(file):   243204 kB
Unevictable:      110284 kB
Mlocked:          110284 kB
SwapTotal:      67108860 kB
SwapFree:       67002428 kB
Dirty:             35500 kB
Writeback:             0 kB
AnonPages:       2675296 kB
Mapped:            62016 kB
Shmem:             40352 kB
Slab:             155260 kB
SReclaimable:     126408 kB
SUnreclaim:        28852 kB
KernelStack:        3712 kB
PageTables:        11132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3520700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2422784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61076 MiB
End job on node136 at 2019-09-17 06:20:37