Trace number 4305234

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT 9.08748 4.19547

General information on the benchmark

NameSportsScheduling/
SportsScheduling-08_c18.xml
MD5SUMd342e5d3265d7d58fa84b10ce3b2f22d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.019931
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints60
Number of domains2
Minimum domain size8
Maximum domain size28
Distribution of domain sizes[{"size":8,"count":64},{"size":28,"count":28}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":32},{"degree":4,"count":60}]
Minimum constraint arity1
Maximum constraint arity28
Distribution of constraint arities[{"arity":1,"count":4},{"arity":2,"count":4},{"arity":3,"count":28},{"arity":4,"count":7},{"arity":8,"count":8},{"arity":14,"count":4},{"arity":16,"count":4},{"arity":28,"count":1}]
Number of extensional constraints28
Number of intensional constraints8
Distribution of constraint types[{"type":"extension","count":28},{"type":"intension","count":8},{"type":"allDifferent","count":9},{"type":"count","count":7},{"type":"cardinality","count":8}]
Optimization problemNO
Type of objective

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
8.86/4.16	v <instantiation>
8.86/4.16	v       <list>
8.86/4.16	v         h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] hd[0] hd[1] hd[2] hd[3] ad[0] ad[1] ad[2] ad[3]
8.86/4.16	v       </list>
8.86/4.16	v       <values>
8.86/4.16	v         0 3 2 0 3 5 1 2 4 0 1 0 2 5 4 1 1 2 2 0 3 6 0 4 3 1 1 0 1 6 5 4 7 7 2 3 7 3 6 5 4 6 5 5 7 7 6 6 4 7 2 6 5 4 3 7 0 20 15 3 21 26 7 13 24 2 11 4 14 25 22 10 12 17 16 5 18 27 1 23 19 9 8 6 4 1 0 2 6 7 3 5
8.86/4.16	v       </values>
8.86/4.16	v     </instantiation>
8.86/4.16	s SATISFIABLE

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305234-1534143588/watcher-4305234-1534143588 -o /tmp/evaluation-result-4305234-1534143588/solver-4305234-1534143588 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534136138-29340 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=211552549 -superng HOME/instance-4305234-1534143588.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
solver pid=30500, runsolver pid=30497
Current StackSize limit: 8192 KiB


[startup+0.100125 s]*
/proc/loadavg: 1.79 1.53 1.40 4/206 30557
/proc/meminfo: memFree=21703240/32770624 swapFree=67108860/67108860
[pid=30500] ppid=30497 vsize=10005480 memory=16812 CPUtime=0.08 cores=1,3,5,7
/proc/30500/stat : 30500 (java) S 30497 30500 29308 0 -1 1077944320 4360 13020 0 0 1 0 4 3 20 0 6 0 231922042 10245611520 4203 33554432000 4194304 4196468 140728457300864 140728457283408 140013274803959 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
/proc/30500/statm: 2501370 4203 1934 1 0 2489808 0
[pid=30500/tid=30553] ppid=30497 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=1,3,5,7
/proc/30500/task/30553/stat : 30553 (java) R 30497 30500 29308 0 -1 4202560 2165 13020 0 0 1 0 4 3 20 0 6 0 231922051 10245611520 4203 33554432000 4194304 4196468 140728457300864 140013246640720 140013258884476 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30554] ppid=30497 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30554/stat : 30554 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 6 0 231922052 10245611520 4203 33554432000 4194304 4196468 140728457300864 140013279046288 140013274814165 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30555] ppid=30497 vsize=10005480 memory=140377703802496 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30555/stat : 30555 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 6 0 231922052 10245611520 4203 33554432000 4194304 4196468 140728457300864 140013133765136 140013274814165 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30556] ppid=30497 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30556/stat : 30556 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 6 0 231922052 10245611520 4203 33554432000 4194304 4196468 140728457300864 140013132712336 140013274814165 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30557] ppid=30497 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30557/stat : 30557 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 6 0 231922052 10245611520 4203 33554432000 4194304 4196468 140728457300864 140013131659536 140013274814165 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.210272 s]*
/proc/loadavg: 1.79 1.53 1.40 3/215 30566
/proc/meminfo: memFree=21678528/32770624 swapFree=67108860/67108860
[pid=30500] ppid=30497 vsize=10982744 memory=45092 CPUtime=0.25 cores=1,3,5,7
/proc/30500/stat : 30500 (java) S 30497 30500 29308 0 -1 1077944320 7970 13020 0 0 16 2 4 3 20 0 15 0 231922042 11246329856 11273 33554432000 4194304 4196468 140728457300864 140728457283408 140013274803959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
/proc/30500/statm: 2745686 11273 2954 1 0 2708109 0
[pid=30500/tid=30553] ppid=30497 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/30500/task/30553/stat : 30553 (java) R 30497 30500 29308 0 -1 4202560 4552 13020 0 0 10 1 4 3 20 0 15 0 231922051 11246329856 11273 33554432000 4194304 4196468 140728457300864 140013246597848 140013255079719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30554] ppid=30497 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30554/stat : 30554 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246329856 11273 33554432000 4194304 4196468 140728457300864 140013279046288 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30555] ppid=30497 vsize=10982744 memory=140377703802496 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30555/stat : 30555 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246329856 11273 33554432000 4194304 4196468 140728457300864 140013133765136 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30556] ppid=30497 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30556/stat : 30556 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246329856 11273 33554432000 4194304 4196468 140728457300864 140013132712336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30557] ppid=30497 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30557/stat : 30557 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246329856 11273 33554432000 4194304 4196468 140728457300864 140013131659536 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30558] ppid=30497 vsize=10982744 memory=140377703802496 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30558/stat : 30558 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 15 0 231922053 11246329856 11339 33554432000 4194304 4196468 140728457300864 140012699986800 140013274815106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30559] ppid=30497 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30559/stat : 30559 (java) S 30497 30500 29308 0 -1 1077944384 13 13020 0 0 0 0 4 3 20 0 15 0 231922054 11246329856 11339 33554432000 4194304 4196468 140728457300864 140012108637728 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30560] ppid=30497 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30560/stat : 30560 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922054 11246329856 11339 33554432000 4194304 4196468 140728457300864 140011907310960 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30561] ppid=30497 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30561/stat : 30561 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11246329856 11339 33554432000 4194304 4196468 140728457300864 140011599911248 140013274822555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30562] ppid=30497 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30500/task/30562/stat : 30562 (java) S 30497 30500 29308 0 -1 1077944384 424 13020 0 0 1 0 4 3 20 0 15 0 231922057 11246329856 11339 33554432000 4194304 4196468 140728457300864 140012698933616 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30563] ppid=30497 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30500/task/30563/stat : 30563 (java) S 30497 30500 29308 0 -1 1077944384 190 13020 0 0 1 0 4 3 20 0 15 0 231922057 11246329856 11339 33554432000 4194304 4196468 140728457300864 140012697880816 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30564] ppid=30497 vsize=10982744 memory=140377703802496 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30564/stat : 30564 (java) S 30497 30500 29308 0 -1 1077944384 606 13020 0 0 3 0 4 3 20 0 15 0 231922057 11246329856 11339 33554432000 4194304 4196468 140728457300864 140012696828016 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30565] ppid=30497 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30565/stat : 30565 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11246329856 11339 33554432000 4194304 4196468 140728457300864 140011169114336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30566] ppid=30497 vsize=10982744 memory=140377703802496 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30566/stat : 30566 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922057 11246329856 11339 33554432000 4194304 4196468 140728457300864 140012695776432 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45092 KiB

[startup+0.310168 s]*
/proc/loadavg: 1.79 1.53 1.40 3/215 30566
/proc/meminfo: memFree=21666744/32770624 swapFree=67108860/67108860
[pid=30500] ppid=30497 vsize=10983192 memory=56328 CPUtime=0.37 cores=1,3,5,7
/proc/30500/stat : 30500 (java) S 30497 30500 29308 0 -1 1077944320 10639 13020 0 0 28 2 4 3 20 0 15 0 231922042 11246788608 14082 33554432000 4194304 4196468 140728457300864 140728457283408 140013274803959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
/proc/30500/statm: 2745798 14082 3073 1 0 2708109 0
[pid=30500/tid=30553] ppid=30497 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/30500/task/30553/stat : 30553 (java) R 30497 30500 29308 0 -1 4202560 7185 13020 0 0 19 2 4 3 20 0 15 0 231922051 11246788608 14082 33554432000 4194304 4196468 140728457300864 140013246615968 140013256367488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30554] ppid=30497 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30554/stat : 30554 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246788608 14082 33554432000 4194304 4196468 140728457300864 140013279046288 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30555] ppid=30497 vsize=10983192 memory=2080 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30555/stat : 30555 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246788608 14082 33554432000 4194304 4196468 140728457300864 140013133765136 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30556] ppid=30497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30556/stat : 30556 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246788608 14082 33554432000 4194304 4196468 140728457300864 140013132712336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30557] ppid=30497 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30557/stat : 30557 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246788608 14082 33554432000 4194304 4196468 140728457300864 140013131659536 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30558] ppid=30497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30558/stat : 30558 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 15 0 231922053 11246788608 14082 33554432000 4194304 4196468 140728457300864 140012699986800 140013274815106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30559] ppid=30497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30559/stat : 30559 (java) S 30497 30500 29308 0 -1 1077944384 13 13020 0 0 0 0 4 3 20 0 15 0 231922054 11246788608 14082 33554432000 4194304 4196468 140728457300864 140012108637728 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30560] ppid=30497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30560/stat : 30560 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922054 11246788608 14082 33554432000 4194304 4196468 140728457300864 140011907310960 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30561] ppid=30497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30561/stat : 30561 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11246788608 14082 33554432000 4194304 4196468 140728457300864 140011599911248 140013274822555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30562] ppid=30497 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30500/task/30562/stat : 30562 (java) S 30497 30500 29308 0 -1 1077944384 424 13020 0 0 1 0 4 3 20 0 15 0 231922057 11246788608 14082 33554432000 4194304 4196468 140728457300864 140012698933616 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30563] ppid=30497 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30500/task/30563/stat : 30563 (java) S 30497 30500 29308 0 -1 1077944384 195 13020 0 0 1 0 4 3 20 0 15 0 231922057 11246788608 14082 33554432000 4194304 4196468 140728457300864 140012697880816 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30564] ppid=30497 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30500/task/30564/stat : 30564 (java) S 30497 30500 29308 0 -1 1077944384 612 13020 0 0 5 0 4 3 20 0 15 0 231922057 11246788608 14082 33554432000 4194304 4196468 140728457300864 140012696828016 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30565] ppid=30497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30565/stat : 30565 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11246788608 14082 33554432000 4194304 4196468 140728457300864 140011169114336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30566] ppid=30497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30566/stat : 30566 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922057 11246788608 14082 33554432000 4194304 4196468 140728457300864 140012695776432 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56328 KiB

[startup+0.700787 s]
/proc/loadavg: 1.79 1.53 1.40 3/215 30566
/proc/meminfo: memFree=21655704/32770624 swapFree=67108860/67108860
[pid=30500] ppid=30497 vsize=10983192 memory=88884 CPUtime=0.98 cores=1,3,5,7
/proc/30500/stat : 30500 (java) S 30497 30500 29308 0 -1 1077944320 16745 13020 0 0 87 4 4 3 20 0 15 0 231922042 11246788608 22221 33554432000 4194304 4196468 140728457300864 140728457283408 140013274803959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
/proc/30500/statm: 2745798 22221 3241 1 0 2708109 0
[pid=30500/tid=30553] ppid=30497 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/30500/task/30553/stat : 30553 (java) R 30497 30500 29308 0 -1 4202560 12251 13020 0 0 56 3 4 3 20 0 15 0 231922051 11246788608 22221 33554432000 4194304 4196468 140728457300864 140013246624784 140013255079843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30554] ppid=30497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30554/stat : 30554 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246788608 22221 33554432000 4194304 4196468 140728457300864 140013279046288 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30555] ppid=30497 vsize=10983192 memory=3712 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30555/stat : 30555 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246788608 22221 33554432000 4194304 4196468 140728457300864 140013133765136 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30556] ppid=30497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30556/stat : 30556 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246788608 22221 33554432000 4194304 4196468 140728457300864 140013132712336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30557] ppid=30497 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30557/stat : 30557 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 15 0 231922052 11246788608 22221 33554432000 4194304 4196468 140728457300864 140013131659536 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30558] ppid=30497 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30558/stat : 30558 (java) S 30497 30500 29308 0 -1 1077944384 5 13020 0 0 0 0 4 3 20 0 15 0 231922053 11246788608 22221 33554432000 4194304 4196468 140728457300864 140012699986800 140013274815106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30559] ppid=30497 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30559/stat : 30559 (java) S 30497 30500 29308 0 -1 1077944384 13 13020 0 0 0 0 4 3 20 0 15 0 231922054 11246788608 22221 33554432000 4194304 4196468 140728457300864 140012108637728 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30560] ppid=30497 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30560/stat : 30560 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922054 11246788608 22221 33554432000 4194304 4196468 140728457300864 140011907310960 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30561] ppid=30497 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30561/stat : 30561 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11246788608 22221 33554432000 4194304 4196468 140728457300864 140011599911248 140013274822555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30562] ppid=30497 vsize=10983192 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/30500/task/30562/stat : 30562 (java) S 30497 30500 29308 0 -1 1077944384 990 13020 0 0 8 0 4 3 20 0 15 0 231922057 11246788608 22221 33554432000 4194304 4196468 140728457300864 140012698933616 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30563] ppid=30497 vsize=10983192 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/30500/task/30563/stat : 30563 (java) S 30497 30500 29308 0 -1 1077944384 613 13020 0 0 8 0 4 3 20 0 15 0 231922057 11246788608 22221 33554432000 4194304 4196468 140728457300864 140012697880816 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30564] ppid=30497 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/30500/task/30564/stat : 30564 (java) S 30497 30500 29308 0 -1 1077944384 665 13020 0 0 13 0 4 3 20 0 15 0 231922057 11246788608 22221 33554432000 4194304 4196468 140728457300864 140012696828016 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30565] ppid=30497 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30565/stat : 30565 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11246788608 22221 33554432000 4194304 4196468 140728457300864 140011169114336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30566] ppid=30497 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30566/stat : 30566 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922057 11246788608 22221 33554432000 4194304 4196468 140728457300864 140012695776432 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88884 KiB

[startup+1.50077 s]
/proc/loadavg: 1.79 1.53 1.40 3/215 30566
/proc/meminfo: memFree=21609948/32770624 swapFree=67108860/67108860
[pid=30500] ppid=30497 vsize=10998092 memory=178044 CPUtime=2.29 cores=1,3,5,7
/proc/30500/stat : 30500 (java) S 30497 30500 29308 0 -1 1077944320 24018 13020 0 0 213 9 4 3 20 0 15 0 231922042 11262046208 44511 33554432000 4194304 4196468 140728457300864 140728457283408 140013274803959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
/proc/30500/statm: 2749523 44511 3468 1 0 2711181 0
[pid=30500/tid=30553] ppid=30497 vsize=10998092 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/30500/task/30553/stat : 30553 (java) R 30497 30500 29308 0 -1 4202560 17834 13020 0 0 130 5 4 3 20 0 15 0 231922051 11262046208 44511 33554432000 4194304 4196468 140728457300864 140013246612752 140013164292954 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30554] ppid=30497 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30500/task/30554/stat : 30554 (java) S 30497 30500 29308 0 -1 1077944384 187 13020 0 0 1 0 4 3 20 0 15 0 231922052 11262046208 44511 33554432000 4194304 4196468 140728457300864 140013279046288 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30555] ppid=30497 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30500/task/30555/stat : 30555 (java) S 30497 30500 29308 0 -1 1077944384 30 13020 0 0 1 0 4 3 20 0 15 0 231922052 11262046208 44511 33554432000 4194304 4196468 140728457300864 140013133765136 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30556] ppid=30497 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30500/task/30556/stat : 30556 (java) S 30497 30500 29308 0 -1 1077944384 24 13020 0 0 1 0 4 3 20 0 15 0 231922052 11262046208 44511 33554432000 4194304 4196468 140728457300864 140013132712336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30557] ppid=30497 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30557/stat : 30557 (java) S 30497 30500 29308 0 -1 1077944384 59 13020 0 0 0 0 4 3 20 0 15 0 231922052 11262046208 44511 33554432000 4194304 4196468 140728457300864 140013131659536 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30558] ppid=30497 vsize=10998092 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/30500/task/30558/stat : 30558 (java) S 30497 30500 29308 0 -1 1077944384 49 13020 0 0 1 0 4 3 20 0 15 0 231922053 11262046208 44511 33554432000 4194304 4196468 140728457300864 140012699986800 140013274815106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30559] ppid=30497 vsize=10998092 memory=280755167111424 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30559/stat : 30559 (java) S 30497 30500 29308 0 -1 1077944384 13 13020 0 0 0 0 4 3 20 0 15 0 231922054 11262046208 44511 33554432000 4194304 4196468 140728457300864 140012108637792 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30560] ppid=30497 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30560/stat : 30560 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 15 0 231922054 11262046208 44511 33554432000 4194304 4196468 140728457300864 140011907310976 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30561] ppid=30497 vsize=10998092 memory=1828 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30561/stat : 30561 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11262046208 44511 33554432000 4194304 4196468 140728457300864 140011599911248 140013274822555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30562] ppid=30497 vsize=10998092 memory=1120 CPUtime=0.27 cores=1,3,5,7
/proc/30500/task/30562/stat : 30562 (java) S 30497 30500 29308 0 -1 1077944384 1184 13020 0 0 20 0 4 3 20 0 15 0 231922057 11262046208 44511 33554432000 4194304 4196468 140728457300864 140012698933616 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30563] ppid=30497 vsize=10998092 memory=6136 CPUtime=0.28 cores=1,3,5,7
/proc/30500/task/30563/stat : 30563 (java) S 30497 30500 29308 0 -1 1077944384 1126 13020 0 0 21 0 4 3 20 0 15 0 231922057 11262046208 44511 33554432000 4194304 4196468 140728457300864 140012697880816 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30564] ppid=30497 vsize=10998092 memory=1724 CPUtime=0.4 cores=1,3,5,7
/proc/30500/task/30564/stat : 30564 (java) S 30497 30500 29308 0 -1 1077944384 1308 13020 0 0 33 0 4 3 20 0 15 0 231922057 11262046208 44511 33554432000 4194304 4196468 140728457300864 140012696828016 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30565] ppid=30497 vsize=10998092 memory=4004 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30565/stat : 30565 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11262046208 44511 33554432000 4194304 4196468 140728457300864 140011169114336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30566] ppid=30497 vsize=10998092 memory=3516 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30566/stat : 30566 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922057 11262046208 44511 33554432000 4194304 4196468 140728457300864 140012695776432 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10998092 KiB

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

[startup+4.19542 s]
# the end of solver process 30500 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.83427 s, system=0.253212 s

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

[startup+3.2098 s]
/proc/loadavg: 1.79 1.53 1.40 6/215 30566
/proc/meminfo: memFree=21328668/32770624 swapFree=67108860/67108860
[pid=30500] ppid=30497 vsize=11010400 memory=267032 CPUtime=6.31 cores=1,3,5,7
/proc/30500/stat : 30500 (java) S 30497 30500 29308 0 -1 1077944320 41708 13020 0 0 608 16 4 3 20 0 15 0 231922042 11274649600 66758 33554432000 4194304 4196468 140728457300864 140728457283408 140013274803959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
/proc/30500/statm: 2752600 66758 3492 1 0 2714253 0
[pid=30500/tid=30553] ppid=30497 vsize=11010400 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/30500/task/30553/stat : 30553 (java) R 30497 30500 29308 0 -1 4202560 29135 13020 0 0 292 8 4 3 20 0 15 0 231922051 11274649600 66758 33554432000 4194304 4196468 140728457300864 140013246609104 140013274825885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30554] ppid=30497 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30554/stat : 30554 (java) S 30497 30500 29308 0 -1 1077944384 216 13020 0 0 3 0 4 3 20 0 15 0 231922052 11274649600 66758 33554432000 4194304 4196468 140728457300864 140013279046288 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30555] ppid=30497 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30555/stat : 30555 (java) S 30497 30500 29308 0 -1 1077944384 48 13020 0 0 3 0 4 3 20 0 15 0 231922052 11274649600 66758 33554432000 4194304 4196468 140728457300864 140013133765136 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30556] ppid=30497 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30556/stat : 30556 (java) S 30497 30500 29308 0 -1 1077944384 38 13020 0 0 3 0 4 3 20 0 15 0 231922052 11274649600 66758 33554432000 4194304 4196468 140728457300864 140013132712336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30557] ppid=30497 vsize=11010400 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30500/task/30557/stat : 30557 (java) S 30497 30500 29308 0 -1 1077944384 64 13020 0 0 2 0 4 3 20 0 15 0 231922052 11274649600 66758 33554432000 4194304 4196468 140728457300864 140013131659536 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30558] ppid=30497 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30558/stat : 30558 (java) S 30497 30500 29308 0 -1 1077944384 279 13020 0 0 3 0 4 3 20 0 15 0 231922053 11274649600 66758 33554432000 4194304 4196468 140728457300864 140012699986800 140013274815106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30559] ppid=30497 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30559/stat : 30559 (java) S 30497 30500 29308 0 -1 1077944384 13 13020 0 0 0 0 4 3 20 0 15 0 231922054 11274649600 66758 33554432000 4194304 4196468 140728457300864 140012108637792 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30560] ppid=30497 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30560/stat : 30560 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 15 0 231922054 11274649600 66758 33554432000 4194304 4196468 140728457300864 140011907310976 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30561] ppid=30497 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30561/stat : 30561 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11274649600 66758 33554432000 4194304 4196468 140728457300864 140011599911248 140013274822555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30562] ppid=30497 vsize=11010400 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/30500/task/30562/stat : 30562 (java) R 30497 30500 29308 0 -1 4202560 2368 13020 0 0 83 1 4 3 20 0 15 0 231922057 11274649600 66758 33554432000 4194304 4196468 140728457300864 140012698925568 140013259730601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30563] ppid=30497 vsize=11010400 memory=1088 CPUtime=1.09 cores=1,3,5,7
/proc/30500/task/30563/stat : 30563 (java) R 30497 30500 29308 0 -1 4202560 3941 13020 0 0 101 1 4 3 20 0 15 0 231922057 11274649600 66758 33554432000 4194304 4196468 140728457300864 140012697880816 140013260484657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30564] ppid=30497 vsize=11010400 memory=15512 CPUtime=1.21 cores=1,3,5,7
/proc/30500/task/30564/stat : 30564 (java) R 30497 30500 29308 0 -1 1077944384 3423 13020 0 0 113 1 4 3 20 0 15 0 231922057 11274649600 66758 33554432000 4194304 4196468 140728457300864 140012696828016 140013274815106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30565] ppid=30497 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30565/stat : 30565 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11274649600 66758 33554432000 4194304 4196468 140728457300864 140011169114336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30566] ppid=30497 vsize=11010400 memory=6788 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30566/stat : 30566 (java) S 30497 30500 29308 0 -1 1077944384 1 13020 0 0 0 0 4 3 20 0 15 0 231922057 11274649600 66758 33554432000 4194304 4196468 140728457300864 140012695776432 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
Current children cumulated CPU time: 6.31 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 267032 KiB

[startup+3.60075 s]
/proc/loadavg: 1.79 1.53 1.40 6/215 30566
/proc/meminfo: memFree=21328668/32770624 swapFree=67108860/67108860
[pid=30500] ppid=30497 vsize=11012448 memory=278540 CPUtime=7.34 cores=1,3,5,7
/proc/30500/stat : 30500 (java) S 30497 30500 29308 0 -1 1077944320 59138 13020 0 0 709 18 4 3 20 0 15 0 231922042 11276746752 69635 33554432000 4194304 4196468 140728457300864 140728457283408 140013274803959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
/proc/30500/statm: 2753112 69635 3497 1 0 2714765 0
[pid=30500/tid=30553] ppid=30497 vsize=11012448 memory=0 CPUtime=3.47 cores=1,3,5,7
/proc/30500/task/30553/stat : 30553 (java) R 30497 30500 29308 0 -1 4202560 40638 13020 0 0 330 10 4 3 20 0 15 0 231922051 11276746752 69635 33554432000 4194304 4196468 140728457300864 140013246631616 140013255079680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30554] ppid=30497 vsize=11012448 memory=280755167903392 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30554/stat : 30554 (java) S 30497 30500 29308 0 -1 1077944384 216 13020 0 0 3 0 4 3 20 0 15 0 231922052 11276746752 69635 33554432000 4194304 4196468 140728457300864 140013279046288 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30555] ppid=30497 vsize=11012448 memory=140377583953968 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30555/stat : 30555 (java) S 30497 30500 29308 0 -1 1077944384 48 13020 0 0 3 0 4 3 20 0 15 0 231922052 11276746752 69635 33554432000 4194304 4196468 140728457300864 140013133765136 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30556] ppid=30497 vsize=11012448 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30556/stat : 30556 (java) S 30497 30500 29308 0 -1 1077944384 38 13020 0 0 3 0 4 3 20 0 15 0 231922052 11276746752 69635 33554432000 4194304 4196468 140728457300864 140013132712336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30557] ppid=30497 vsize=11012448 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30500/task/30557/stat : 30557 (java) S 30497 30500 29308 0 -1 1077944384 64 13020 0 0 2 0 4 3 20 0 15 0 231922052 11276746752 69635 33554432000 4194304 4196468 140728457300864 140013131659536 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30558] ppid=30497 vsize=11012448 memory=-9174445032661854264 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30558/stat : 30558 (java) S 30497 30500 29308 0 -1 1077944384 403 13020 0 0 3 0 4 3 20 0 15 0 231922053 11276746752 69635 33554432000 4194304 4196468 140728457300864 140012699986800 140013274815106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30559] ppid=30497 vsize=11012448 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30559/stat : 30559 (java) S 30497 30500 29308 0 -1 1077944384 13 13020 0 0 0 0 4 3 20 0 15 0 231922054 11276746752 69635 33554432000 4194304 4196468 140728457300864 140012108637792 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30560] ppid=30497 vsize=11012448 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30560/stat : 30560 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 15 0 231922054 11276746752 69635 33554432000 4194304 4196468 140728457300864 140011907310976 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30561] ppid=30497 vsize=11012448 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30561/stat : 30561 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11276746752 69635 33554432000 4194304 4196468 140728457300864 140011599911248 140013274822555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30562] ppid=30497 vsize=11012448 memory=-2605811476043407915 CPUtime=1.24 cores=1,3,5,7
/proc/30500/task/30562/stat : 30562 (java) R 30497 30500 29308 0 -1 4202560 5482 13020 0 0 116 1 4 3 20 0 15 0 231922057 11276746752 69635 33554432000 4194304 4196468 140728457300864 140012698919640 140013254497059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30563] ppid=30497 vsize=11012448 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/30500/task/30563/stat : 30563 (java) S 30497 30500 29308 0 -1 1077944384 4677 13020 0 0 119 1 4 3 20 0 15 0 231922057 11276746752 69635 33554432000 4194304 4196468 140728457300864 140012697880816 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30564] ppid=30497 vsize=11012448 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/30500/task/30564/stat : 30564 (java) S 30497 30500 29308 0 -1 1077944384 5371 13020 0 0 126 1 4 3 20 0 15 0 231922057 11276746752 69635 33554432000 4194304 4196468 140728457300864 140012696828016 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30565] ppid=30497 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30565/stat : 30565 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11276746752 69635 33554432000 4194304 4196468 140728457300864 140011169114336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30566] ppid=30497 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30566/stat : 30566 (java) S 30497 30500 29308 0 -1 1077944384 5 13020 0 0 0 0 4 3 20 0 15 0 231922057 11276746752 69635 33554432000 4194304 4196468 140728457300864 140012695776432 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
Current children cumulated CPU time: 7.34 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 278540 KiB

[startup+4.00065 s]*
/proc/loadavg: 1.88 1.55 1.41 5/215 30566
/proc/meminfo: memFree=21134968/32770624 swapFree=67108860/67108860
[pid=30500] ppid=30497 vsize=11082740 memory=319564 CPUtime=8.53 cores=1,3,5,7
/proc/30500/stat : 30500 (java) S 30497 30500 29308 0 -1 1077944320 72748 13020 0 0 826 20 4 3 20 0 15 0 231922042 11348725760 79891 33554432000 4194304 4196468 140728457300864 140728457283408 140013274803959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
/proc/30500/statm: 2770685 79891 3498 1 0 2732338 0
[pid=30500/tid=30553] ppid=30497 vsize=11082740 memory=-6517102902069810590 CPUtime=3.88 cores=1,3,5,7
/proc/30500/task/30553/stat : 30553 (java) R 30497 30500 29308 0 -1 4202560 51141 13020 0 0 370 11 4 3 20 0 15 0 231922051 11348725760 79891 33554432000 4194304 4196468 140728457300864 140013246623840 140012809714240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30554] ppid=30497 vsize=11082740 memory=7526486018442672183 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30554/stat : 30554 (java) S 30497 30500 29308 0 -1 1077944384 216 13020 0 0 3 0 4 3 20 0 15 0 231922052 11348725760 79891 33554432000 4194304 4196468 140728457300864 140013279046288 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30555] ppid=30497 vsize=11082740 memory=2319529576870217393 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30555/stat : 30555 (java) S 30497 30500 29308 0 -1 1077944384 48 13020 0 0 3 0 4 3 20 0 15 0 231922052 11348725760 79891 33554432000 4194304 4196468 140728457300864 140013133765136 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30556] ppid=30497 vsize=11082740 memory=5450909908396308010 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30556/stat : 30556 (java) S 30497 30500 29308 0 -1 1077944384 38 13020 0 0 3 0 4 3 20 0 15 0 231922052 11348725760 79891 33554432000 4194304 4196468 140728457300864 140013132712336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30557] ppid=30497 vsize=11082740 memory=130996502529000 CPUtime=0.09 cores=1,3,5,7
/proc/30500/task/30557/stat : 30557 (java) S 30497 30500 29308 0 -1 1077944384 64 13020 0 0 2 0 4 3 20 0 15 0 231922052 11348725760 79891 33554432000 4194304 4196468 140728457300864 140013131659536 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30558] ppid=30497 vsize=11082740 memory=3684175170979552481 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30558/stat : 30558 (java) S 30497 30500 29308 0 -1 1077944384 403 13020 0 0 3 0 4 3 20 0 15 0 231922053 11348725760 79891 33554432000 4194304 4196468 140728457300864 140012699986800 140013274815106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30559] ppid=30497 vsize=11082740 memory=3618977871522967583 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30559/stat : 30559 (java) S 30497 30500 29308 0 -1 1077944384 13 13020 0 0 0 0 4 3 20 0 15 0 231922054 11348725760 79891 33554432000 4194304 4196468 140728457300864 140012108637792 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30560] ppid=30497 vsize=11082740 memory=6154847712117287524 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30560/stat : 30560 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 15 0 231922054 11348725760 79891 33554432000 4194304 4196468 140728457300864 140011907310976 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30561] ppid=30497 vsize=11082740 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30561/stat : 30561 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11348725760 79891 33554432000 4194304 4196468 140728457300864 140011599911248 140013274822555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30562] ppid=30497 vsize=11082740 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/30500/task/30562/stat : 30562 (java) R 30497 30500 29308 0 -1 4202560 8075 13020 0 0 157 1 4 3 20 0 15 0 231922057 11348725760 79891 33554432000 4194304 4196468 140728457300864 140012698919112 140013256348619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30563] ppid=30497 vsize=11082740 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/30500/task/30563/stat : 30563 (java) R 30497 30500 29308 0 -1 4202560 4762 13020 0 0 139 1 4 3 20 0 15 0 231922057 11348725760 79891 33554432000 4194304 4196468 140728457300864 140012697880944 140013259930269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30564] ppid=30497 vsize=11082740 memory=4 CPUtime=1.5 cores=1,3,5,7
/proc/30500/task/30564/stat : 30564 (java) R 30497 30500 29308 0 -1 1077944384 5780 13020 0 0 142 1 4 3 20 0 15 0 231922057 11348725760 79891 33554432000 4194304 4196468 140728457300864 140012696828016 140013274815106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30565] ppid=30497 vsize=11082740 memory=26 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30565/stat : 30565 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11348725760 79891 33554432000 4194304 4196468 140728457300864 140011169114336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30566] ppid=30497 vsize=11082740 memory=25 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30566/stat : 30566 (java) S 30497 30500 29308 0 -1 1077944384 5 13020 0 0 0 0 4 3 20 0 15 0 231922057 11348725760 79891 33554432000 4194304 4196468 140728457300864 140012695776432 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
Current children cumulated CPU time: 8.53 s
Current children cumulated vsize: 11082740 KiB
Current children cumulated memory: 319564 KiB

[startup+4.11053 s]
/proc/loadavg: 1.88 1.55 1.41 5/215 30566
/proc/meminfo: memFree=21134968/32770624 swapFree=67108860/67108860
[pid=30500] ppid=30497 vsize=11082744 memory=319836 CPUtime=8.86 cores=1,3,5,7
/proc/30500/stat : 30500 (java) S 30497 30500 29308 0 -1 1077944320 73004 13020 0 0 859 20 4 3 20 0 15 0 231922042 11348729856 79959 33554432000 4194304 4196468 140728457300864 140728457283408 140013274803959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
/proc/30500/statm: 2770686 79959 3498 1 0 2732339 0
[pid=30500/tid=30553] ppid=30497 vsize=11082744 memory=0 CPUtime=3.98 cores=1,3,5,7
/proc/30500/task/30553/stat : 30553 (java) R 30497 30500 29308 0 -1 4202560 51148 13020 0 0 380 11 4 3 20 0 15 0 231922051 11348729856 79959 33554432000 4194304 4196468 140728457300864 140013246631392 140012809548885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30554] ppid=30497 vsize=11082744 memory=10881 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30554/stat : 30554 (java) S 30497 30500 29308 0 -1 1077944384 216 13020 0 0 3 0 4 3 20 0 15 0 231922052 11348729856 79959 33554432000 4194304 4196468 140728457300864 140013279046288 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30555] ppid=30497 vsize=11082744 memory=280755167377120 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30555/stat : 30555 (java) S 30497 30500 29308 0 -1 1077944384 48 13020 0 0 3 0 4 3 20 0 15 0 231922052 11348729856 79959 33554432000 4194304 4196468 140728457300864 140013133765136 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30556] ppid=30497 vsize=11082744 memory=6154292476042569576 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30556/stat : 30556 (java) S 30497 30500 29308 0 -1 1077944384 38 13020 0 0 3 0 4 3 20 0 15 0 231922052 11348729856 79959 33554432000 4194304 4196468 140728457300864 140013132712336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30557] ppid=30497 vsize=11082744 memory=6154292476042569576 CPUtime=0.09 cores=1,3,5,7
/proc/30500/task/30557/stat : 30557 (java) S 30497 30500 29308 0 -1 1077944384 64 13020 0 0 2 0 4 3 20 0 15 0 231922052 11348729856 79959 33554432000 4194304 4196468 140728457300864 140013131659536 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30558] ppid=30497 vsize=11082744 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/30500/task/30558/stat : 30558 (java) S 30497 30500 29308 0 -1 1077944384 403 13020 0 0 3 0 4 3 20 0 15 0 231922053 11348729856 79959 33554432000 4194304 4196468 140728457300864 140012699986800 140013274815106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30559] ppid=30497 vsize=11082744 memory=7734740316224251218 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30559/stat : 30559 (java) S 30497 30500 29308 0 -1 1077944384 13 13020 0 0 0 0 4 3 20 0 15 0 231922054 11348729856 79959 33554432000 4194304 4196468 140728457300864 140012108637792 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30560] ppid=30497 vsize=11082744 memory=5787214926557761634 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30560/stat : 30560 (java) S 30497 30500 29308 0 -1 1077944384 2 13020 0 0 0 0 4 3 20 0 15 0 231922054 11348729856 79959 33554432000 4194304 4196468 140728457300864 140011907310976 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30561] ppid=30497 vsize=11082744 memory=7084813469699035216 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30561/stat : 30561 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11348729856 79959 33554432000 4194304 4196468 140728457300864 140011599911248 140013274822555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30562] ppid=30497 vsize=11082744 memory=6791534058613427641 CPUtime=1.75 cores=1,3,5,7
/proc/30500/task/30562/stat : 30562 (java) R 30497 30500 29308 0 -1 4202560 8241 13020 0 0 167 1 4 3 20 0 15 0 231922057 11348729856 79959 33554432000 4194304 4196468 140728457300864 140012698919112 140013259725896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30563] ppid=30497 vsize=11082744 memory=0 CPUtime=1.57 cores=1,3,5,7
/proc/30500/task/30563/stat : 30563 (java) R 30497 30500 29308 0 -1 4202560 4794 13020 0 0 149 1 4 3 20 0 15 0 231922057 11348729856 79959 33554432000 4194304 4196468 140728457300864 140012697870224 140013258764864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30564] ppid=30497 vsize=11082744 memory=7444839687804577618 CPUtime=1.54 cores=1,3,5,7
/proc/30500/task/30564/stat : 30564 (java) R 30497 30500 29308 0 -1 1077944384 5831 13020 0 0 146 1 4 3 20 0 15 0 231922057 11348729856 79959 33554432000 4194304 4196468 140728457300864 140012696828016 140013274815106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30565] ppid=30497 vsize=11082744 memory=7301859388901452112 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30565/stat : 30565 (java) S 30497 30500 29308 0 -1 1077944384 3 13020 0 0 0 0 4 3 20 0 15 0 231922057 11348729856 79959 33554432000 4194304 4196468 140728457300864 140011169114336 140013274814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
[pid=30500/tid=30566] ppid=30497 vsize=11082744 memory=7295947229063434323 CPUtime=0.07 cores=1,3,5,7
/proc/30500/task/30566/stat : 30566 (java) S 30497 30500 29308 0 -1 1077944384 5 13020 0 0 0 0 4 3 20 0 15 0 231922057 11348729856 79959 33554432000 4194304 4196468 140728457300864 140012695776432 140013274815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22659072 140728457304676 140728457307484 140728457307484 140728457310159 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 11082744 KiB
Current children cumulated memory: 319836 KiB

Child status: 0
Real time (s): 4.19547
CPU time (s): 9.08748
CPU user time (s): 8.83427
CPU system time (s): 0.253212
CPU usage (%): 216.602
Max. virtual memory (cumulated for all children) (KiB): 11082744
Max. memory (cumulated for all children) (KiB): 319836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.83427
system time used= 0.253212
maximum resident set size= 319984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86729
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6819
involuntary context switches= 41


# summary of solver processes directly reported to runsolver:
#   pid: 30500
#   total CPU time (s): 9.08748
#   total CPU user time (s): 8.83427
#   total CPU system time (s): 0.253212

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049528 second user time and 0.082695 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-13 08:59:48
IDJOB=4305234
IDBENCH=141601
IDSOLVER=2781
FILE ID=node107/4305234-1534143588
RUNJOBID= node107-1534136138-29340
PBS_JOBID= 21037027
Free space on /tmp= 39428 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-08_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305234-1534143588/watcher-4305234-1534143588 -o /tmp/evaluation-result-4305234-1534143588/solver-4305234-1534143588 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534136138-29340 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=211552549 -superng HOME/instance-4305234-1534143588.xml

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

MD5SUM BENCH= d342e5d3265d7d58fa84b10ce3b2f22d
RANDOM SEED=211552549

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21708924 kB
MemAvailable:   28819276 kB
Buffers:          224744 kB
Cached:          7081392 kB
SwapCached:            0 kB
Active:          6816956 kB
Inactive:        3627056 kB
Active(anon):    3086660 kB
Inactive(anon):   103596 kB
Active(file):    3730296 kB
Inactive(file):  3523460 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26476 kB
Writeback:            16 kB
AnonPages:       3144352 kB
Mapped:            66188 kB
Shmem:             49804 kB
Slab:             313216 kB
SReclaimable:     285056 kB
SUnreclaim:        28160 kB
KernelStack:        3520 kB
PageTables:        11520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4682112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2910208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39400 MiB
End job on node107 at 2018-08-13 08:59:53