Trace number 4304709

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.9.2OPT416 17.6299 8.48182

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
8.52/4.16	o 445
8.82/4.22	o 444
9.56/4.48	o 443
9.87/4.51	o 421
15.21/6.62	o 417
15.88/7.12	o 416
17.52/8.46	v <instantiation cost="416">
17.52/8.46	v       <list>
17.52/8.46	v         o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6]
17.52/8.46	v       </list>
17.52/8.46	v       <values>
17.52/8.46	v         2 3 1 2 1 3 3 2 0 3 0 2 0 1 3 0 3 1 1 0 2 1 2 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 15 15 0 0 10 32 34 32 47 15 10 0 0 0 0 0 0 15 34 32 22 0 34 15 22 32 0 0
17.52/8.46	v       </values>
17.52/8.46	v     </instantiation>
17.52/8.46	s OPTIMUM FOUND

Verifier Data 

OK	416

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11755 MiB free)
  memory of node 1: 16384 MiB (14399 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304709-1534127921/watcher-4304709-1534127921 -o /tmp/evaluation-result-4304709-1534127921/solver-4304709-1534127921 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534099504-1961 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1550104299 HOME/instance-4304709-1534127921.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=7920, runsolver pid=7917

[startup+0.100105 s]*
/proc/loadavg: 1.34 1.39 1.35 3/206 7977
/proc/meminfo: memFree=26776468/32770624 swapFree=67108804/67108860
[pid=7920] ppid=7917 vsize=10005480 memory=15176 CPUtime=0.08 cores=1,3,5,7
/proc/7920/stat : 7920 (java) S 7917 7920 1929 0 -1 1077944320 4424 13167 0 0 1 0 5 2 20 0 6 0 230355302 10245611520 3794 33554432000 4194304 4196468 140725080409808 140725080392352 140141726506743 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
/proc/7920/statm: 2501370 3794 1934 1 0 2489808 0
[pid=7920/tid=7973] ppid=7917 vsize=10005480 memory=-8530227557020516289 CPUtime=0.08 cores=1,3,5,7
/proc/7920/task/7973/stat : 7973 (java) R 7917 7920 1929 0 -1 4202560 2286 13167 0 0 1 0 5 2 20 0 6 0 230355311 10245611520 3794 33554432000 4194304 4196468 140725080409808 140141698343504 140141711629680 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7974] ppid=7917 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7974/stat : 7974 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 6 0 230355311 10245611520 3794 33554432000 4194304 4196468 140725080409808 140141730749584 140141726516949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7975] ppid=7917 vsize=10005480 memory=139947536090752 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7975/stat : 7975 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 6 0 230355311 10245611520 3794 33554432000 4194304 4196468 140725080409808 140141266340880 140141726516949 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7976] ppid=7917 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7976/stat : 7976 (java) S 7917 7920 1929 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 6 0 230355311 10245611520 3794 33554432000 4194304 4196468 140725080409808 140141265288080 140141726516949 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7977] ppid=7917 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7977/stat : 7977 (java) S 7917 7920 1929 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 6 0 230355311 10245611520 3794 33554432000 4194304 4196468 140725080409808 140141264235280 140141726516949 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15176 KiB

[startup+0.2097 s]*
/proc/loadavg: 1.34 1.39 1.35 3/215 7986
/proc/meminfo: memFree=26756484/32770624 swapFree=67108804/67108860
[pid=7920] ppid=7917 vsize=10982696 memory=40672 CPUtime=0.26 cores=1,3,5,7
/proc/7920/stat : 7920 (java) S 7917 7920 1929 0 -1 1077944320 8609 13167 0 0 17 2 5 2 20 0 15 0 230355302 11246280704 10168 33554432000 4194304 4196468 140725080409808 140725080392352 140141726506743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
/proc/7920/statm: 2745674 10168 2944 1 0 2708109 0
[pid=7920/tid=7973] ppid=7917 vsize=10982696 memory=8514701219931451533 CPUtime=0.18 cores=1,3,5,7
/proc/7920/task/7973/stat : 7973 (java) R 7917 7920 1929 0 -1 4202560 5053 13167 0 0 10 1 5 2 20 0 15 0 230355311 11246280704 10168 33554432000 4194304 4196468 140725080409808 140141698304400 140141706782433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7974] ppid=7917 vsize=10982696 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7974/stat : 7974 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246280704 10168 33554432000 4194304 4196468 140725080409808 140141730749584 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7975] ppid=7917 vsize=10982696 memory=139947536090752 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7975/stat : 7975 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246280704 10168 33554432000 4194304 4196468 140725080409808 140141266340880 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7976] ppid=7917 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7976/stat : 7976 (java) S 7917 7920 1929 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246280704 10168 33554432000 4194304 4196468 140725080409808 140141265288080 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7977] ppid=7917 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7977/stat : 7977 (java) S 7917 7920 1929 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246280704 10168 33554432000 4194304 4196468 140725080409808 140141264235280 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7978] ppid=7917 vsize=10982696 memory=139947536090752 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7978/stat : 7978 (java) S 7917 7920 1929 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 230355313 11246280704 10168 33554432000 4194304 4196468 140725080409808 140140964804976 140141726517890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7979] ppid=7917 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7979/stat : 7979 (java) S 7917 7920 1929 0 -1 1077944384 13 13167 0 0 0 0 5 2 20 0 15 0 230355313 11246280704 10168 33554432000 4194304 4196468 140725080409808 140140487894048 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7980] ppid=7917 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7980/stat : 7980 (java) S 7917 7920 1929 0 -1 1077944384 21 13167 0 0 0 0 5 2 20 0 15 0 230355314 11246280704 10168 33554432000 4194304 4196468 140725080409808 140140420780912 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7981] ppid=7917 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7981/stat : 7981 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11246280704 10168 33554432000 4194304 4196468 140725080409808 140140113385296 140141726525339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7982] ppid=7917 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7920/task/7982/stat : 7982 (java) S 7917 7920 1929 0 -1 1077944384 440 13167 0 0 1 0 5 2 20 0 15 0 230355316 11246280704 10168 33554432000 4194304 4196468 140725080409808 140140963752816 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7983] ppid=7917 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7920/task/7983/stat : 7983 (java) S 7917 7920 1929 0 -1 1077944384 191 13167 0 0 1 0 5 2 20 0 15 0 230355316 11246280704 10168 33554432000 4194304 4196468 140725080409808 140140962700016 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7984] ppid=7917 vsize=10982696 memory=139947536090752 CPUtime=0.1 cores=1,3,5,7
/proc/7920/task/7984/stat : 7984 (java) S 7917 7920 1929 0 -1 1077944384 687 13167 0 0 3 0 5 2 20 0 15 0 230355316 11246280704 10168 33554432000 4194304 4196468 140725080409808 140140961647216 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7985] ppid=7917 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7985/stat : 7985 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11246280704 10168 33554432000 4194304 4196468 140725080409808 140139682589408 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7986] ppid=7917 vsize=10982696 memory=139947536090752 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7986/stat : 7986 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 230355317 11246280704 10168 33554432000 4194304 4196468 140725080409808 140140960594608 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 40672 KiB

[startup+0.310481 s]*
/proc/loadavg: 1.34 1.39 1.35 3/215 7986
/proc/meminfo: memFree=26745928/32770624 swapFree=67108804/67108860
[pid=7920] ppid=7917 vsize=10983192 memory=52008 CPUtime=0.38 cores=1,3,5,7
/proc/7920/stat : 7920 (java) S 7917 7920 1929 0 -1 1077944320 10656 13167 0 0 28 3 5 2 20 0 15 0 230355302 11246788608 13002 33554432000 4194304 4196468 140725080409808 140725080392352 140141726506743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
/proc/7920/statm: 2745798 13002 3076 1 0 2708109 0
[pid=7920/tid=7973] ppid=7917 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/7920/task/7973/stat : 7973 (java) R 7917 7920 1929 0 -1 4202560 7066 13167 0 0 20 1 5 2 20 0 15 0 230355311 11246788608 13002 33554432000 4194304 4196468 140725080409808 140141698318752 140141708070272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7974] ppid=7917 vsize=10983192 memory=7373342926183747664 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7974/stat : 7974 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246788608 13002 33554432000 4194304 4196468 140725080409808 140141730749584 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7975] ppid=7917 vsize=10983192 memory=2072 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7975/stat : 7975 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246788608 13002 33554432000 4194304 4196468 140725080409808 140141266340880 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7976] ppid=7917 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7976/stat : 7976 (java) S 7917 7920 1929 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246788608 13002 33554432000 4194304 4196468 140725080409808 140141265288080 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7977] ppid=7917 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7977/stat : 7977 (java) S 7917 7920 1929 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246788608 13002 33554432000 4194304 4196468 140725080409808 140141264235280 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7978] ppid=7917 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7978/stat : 7978 (java) S 7917 7920 1929 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 230355313 11246788608 13002 33554432000 4194304 4196468 140725080409808 140140964804976 140141726517890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7979] ppid=7917 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7979/stat : 7979 (java) S 7917 7920 1929 0 -1 1077944384 13 13167 0 0 0 0 5 2 20 0 15 0 230355313 11246788608 13002 33554432000 4194304 4196468 140725080409808 140140487894048 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7980] ppid=7917 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7980/stat : 7980 (java) S 7917 7920 1929 0 -1 1077944384 21 13167 0 0 0 0 5 2 20 0 15 0 230355314 11246788608 13002 33554432000 4194304 4196468 140725080409808 140140420780912 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7981] ppid=7917 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7981/stat : 7981 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11246788608 13002 33554432000 4194304 4196468 140725080409808 140140113385296 140141726525339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7982] ppid=7917 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7920/task/7982/stat : 7982 (java) S 7917 7920 1929 0 -1 1077944384 441 13167 0 0 1 0 5 2 20 0 15 0 230355316 11246788608 13002 33554432000 4194304 4196468 140725080409808 140140963752816 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7983] ppid=7917 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7920/task/7983/stat : 7983 (java) S 7917 7920 1929 0 -1 1077944384 196 13167 0 0 1 0 5 2 20 0 15 0 230355316 11246788608 13002 33554432000 4194304 4196468 140725080409808 140140962700016 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7984] ppid=7917 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7920/task/7984/stat : 7984 (java) S 7917 7920 1929 0 -1 1077944384 715 13167 0 0 5 0 5 2 20 0 15 0 230355316 11246788608 13002 33554432000 4194304 4196468 140725080409808 140140961647216 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7985] ppid=7917 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7985/stat : 7985 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11246788608 13002 33554432000 4194304 4196468 140725080409808 140139682589408 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7986] ppid=7917 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7986/stat : 7986 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 230355317 11246788608 13002 33554432000 4194304 4196468 140725080409808 140140960594608 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52008 KiB

[startup+0.700761 s]
/proc/loadavg: 1.34 1.39 1.35 3/215 7986
/proc/meminfo: memFree=26734144/32770624 swapFree=67108804/67108860
[pid=7920] ppid=7917 vsize=10983192 memory=85788 CPUtime=0.98 cores=1,3,5,7
/proc/7920/stat : 7920 (java) S 7917 7920 1929 0 -1 1077944320 17191 13167 0 0 87 4 5 2 20 0 15 0 230355302 11246788608 21447 33554432000 4194304 4196468 140725080409808 140725080392352 140141726506743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
/proc/7920/statm: 2745798 21447 3244 1 0 2708109 0
[pid=7920/tid=7973] ppid=7917 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/7920/task/7973/stat : 7973 (java) R 7917 7920 1929 0 -1 4202560 12473 13167 0 0 56 2 5 2 20 0 15 0 230355311 11246788608 21447 33554432000 4194304 4196468 140725080409808 140141698313248 140141726528669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7974] ppid=7917 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7974/stat : 7974 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246788608 21447 33554432000 4194304 4196468 140725080409808 140141730749584 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7975] ppid=7917 vsize=10983192 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7975/stat : 7975 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246788608 21447 33554432000 4194304 4196468 140725080409808 140141266340880 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7976] ppid=7917 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7976/stat : 7976 (java) S 7917 7920 1929 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246788608 21447 33554432000 4194304 4196468 140725080409808 140141265288080 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7977] ppid=7917 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7977/stat : 7977 (java) S 7917 7920 1929 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 230355311 11246788608 21447 33554432000 4194304 4196468 140725080409808 140141264235280 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7978] ppid=7917 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7978/stat : 7978 (java) S 7917 7920 1929 0 -1 1077944384 5 13167 0 0 0 0 5 2 20 0 15 0 230355313 11246788608 21447 33554432000 4194304 4196468 140725080409808 140140964804976 140141726517890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7979] ppid=7917 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7979/stat : 7979 (java) S 7917 7920 1929 0 -1 1077944384 13 13167 0 0 0 0 5 2 20 0 15 0 230355313 11246788608 21447 33554432000 4194304 4196468 140725080409808 140140487894048 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7980] ppid=7917 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7980/stat : 7980 (java) S 7917 7920 1929 0 -1 1077944384 21 13167 0 0 0 0 5 2 20 0 15 0 230355314 11246788608 21447 33554432000 4194304 4196468 140725080409808 140140420780912 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7981] ppid=7917 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7981/stat : 7981 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11246788608 21447 33554432000 4194304 4196468 140725080409808 140140113385296 140141726525339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7982] ppid=7917 vsize=10983192 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/7920/task/7982/stat : 7982 (java) S 7917 7920 1929 0 -1 1077944384 1094 13167 0 0 9 0 5 2 20 0 15 0 230355316 11246788608 21447 33554432000 4194304 4196468 140725080409808 140140963752816 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7983] ppid=7917 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/7920/task/7983/stat : 7983 (java) S 7917 7920 1929 0 -1 1077944384 471 13167 0 0 7 0 5 2 20 0 15 0 230355316 11246788608 21447 33554432000 4194304 4196468 140725080409808 140140962700016 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7984] ppid=7917 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/7920/task/7984/stat : 7984 (java) S 7917 7920 1929 0 -1 1077944384 912 13167 0 0 13 0 5 2 20 0 15 0 230355316 11246788608 21447 33554432000 4194304 4196468 140725080409808 140140961647216 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7985] ppid=7917 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7985/stat : 7985 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11246788608 21447 33554432000 4194304 4196468 140725080409808 140139682589408 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7986] ppid=7917 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7986/stat : 7986 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 230355317 11246788608 21447 33554432000 4194304 4196468 140725080409808 140140960594608 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 85788 KiB

[startup+1.50069 s]
/proc/loadavg: 1.34 1.39 1.35 3/215 7986
/proc/meminfo: memFree=26689972/32770624 swapFree=67108804/67108860
[pid=7920] ppid=7917 vsize=10998092 memory=176776 CPUtime=2.36 cores=1,3,5,7
/proc/7920/stat : 7920 (java) S 7917 7920 1929 0 -1 1077944320 24274 13167 0 0 218 11 5 2 20 0 15 0 230355302 11262046208 44194 33554432000 4194304 4196468 140725080409808 140725080392352 140141726506743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
/proc/7920/statm: 2749523 44194 3466 1 0 2711181 0
[pid=7920/tid=7973] ppid=7917 vsize=10998092 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/7920/task/7973/stat : 7973 (java) R 7917 7920 1929 0 -1 4202560 17818 13167 0 0 129 6 5 2 20 0 15 0 230355311 11262046208 44194 33554432000 4194304 4196468 140725080409808 140141698338048 140141706443194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7974] ppid=7917 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7920/task/7974/stat : 7974 (java) S 7917 7920 1929 0 -1 1077944384 178 13167 0 0 1 0 5 2 20 0 15 0 230355311 11262046208 44194 33554432000 4194304 4196468 140725080409808 140141730749584 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7975] ppid=7917 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7920/task/7975/stat : 7975 (java) S 7917 7920 1929 0 -1 1077944384 12 13167 0 0 1 0 5 2 20 0 15 0 230355311 11262046208 44194 33554432000 4194304 4196468 140725080409808 140141266340880 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7976] ppid=7917 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7920/task/7976/stat : 7976 (java) S 7917 7920 1929 0 -1 1077944384 34 13167 0 0 1 0 5 2 20 0 15 0 230355311 11262046208 44194 33554432000 4194304 4196468 140725080409808 140141265288080 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7977] ppid=7917 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7920/task/7977/stat : 7977 (java) S 7917 7920 1929 0 -1 1077944384 59 13167 0 0 1 0 5 2 20 0 15 0 230355311 11262046208 44194 33554432000 4194304 4196468 140725080409808 140141264235280 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7978] ppid=7917 vsize=10998092 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/7920/task/7978/stat : 7978 (java) S 7917 7920 1929 0 -1 1077944384 47 13167 0 0 1 0 5 2 20 0 15 0 230355313 11262046208 44194 33554432000 4194304 4196468 140725080409808 140140964804976 140141726517890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7979] ppid=7917 vsize=10998092 memory=279894831474944 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7979/stat : 7979 (java) S 7917 7920 1929 0 -1 1077944384 13 13167 0 0 0 0 5 2 20 0 15 0 230355313 11262046208 44194 33554432000 4194304 4196468 140725080409808 140140487894112 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7980] ppid=7917 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7980/stat : 7980 (java) S 7917 7920 1929 0 -1 1077944384 43 13167 0 0 0 0 5 2 20 0 15 0 230355314 11262046208 44194 33554432000 4194304 4196468 140725080409808 140140420780928 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7981] ppid=7917 vsize=10998092 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7981/stat : 7981 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11262046208 44194 33554432000 4194304 4196468 140725080409808 140140113385296 140141726525339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7982] ppid=7917 vsize=10998092 memory=1600 CPUtime=0.31 cores=1,3,5,7
/proc/7920/task/7982/stat : 7982 (java) S 7917 7920 1929 0 -1 1077944384 1350 13167 0 0 23 1 5 2 20 0 15 0 230355316 11262046208 44194 33554432000 4194304 4196468 140725080409808 140140963752816 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7983] ppid=7917 vsize=10998092 memory=7952 CPUtime=0.28 cores=1,3,5,7
/proc/7920/task/7983/stat : 7983 (java) S 7917 7920 1929 0 -1 1077944384 928 13167 0 0 21 0 5 2 20 0 15 0 230355316 11262046208 44194 33554432000 4194304 4196468 140725080409808 140140962700016 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7984] ppid=7917 vsize=10998092 memory=4088 CPUtime=0.43 cores=1,3,5,7
/proc/7920/task/7984/stat : 7984 (java) S 7917 7920 1929 0 -1 1077944384 1596 13167 0 0 36 0 5 2 20 0 15 0 230355316 11262046208 44194 33554432000 4194304 4196468 140725080409808 140140961647216 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7985] ppid=7917 vsize=10998092 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7985/stat : 7985 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11262046208 44194 33554432000 4194304 4196468 140725080409808 140139682589408 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7986] ppid=7917 vsize=10998092 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7986/stat : 7986 (java) S 7917 7920 1929 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 230355317 11262046208 44194 33554432000 4194304 4196468 140725080409808 140140960594608 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 10998092 KiB

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

[startup+8.48178 s]
# the end of solver process 7920 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=17.2866 s, system=0.343286 s

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

[startup+6.4009 s]
/proc/loadavg: 1.40 1.40 1.35 5/215 7986
/proc/meminfo: memFree=26398904/32770624 swapFree=67108804/67108860
[pid=7920] ppid=7917 vsize=11082080 memory=400704 CPUtime=14.85 cores=1,3,5,7
/proc/7920/stat : 7920 (java) S 7917 7920 1929 0 -1 1077944320 78948 13167 0 0 1452 26 5 2 20 0 15 0 230355302 11348049920 100176 33554432000 4194304 4196468 140725080409808 140725080392352 140141726506743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
/proc/7920/statm: 2770520 100176 3512 1 0 2732173 0
[pid=7920/tid=7973] ppid=7917 vsize=11082080 memory=7 CPUtime=6.24 cores=1,3,5,7
/proc/7920/task/7973/stat : 7973 (java) R 7917 7920 1929 0 -1 4202560 50597 13167 0 0 603 14 5 2 20 0 15 0 230355311 11348049920 100176 33554432000 4194304 4196468 140725080409808 140141698339552 140141312526673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7974] ppid=7917 vsize=11082080 memory=7 CPUtime=0.1 cores=1,3,5,7
/proc/7920/task/7974/stat : 7974 (java) S 7917 7920 1929 0 -1 1077944384 274 13167 0 0 3 0 5 2 20 0 15 0 230355311 11348049920 100176 33554432000 4194304 4196468 140725080409808 140141730749584 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7975] ppid=7917 vsize=11082080 memory=8112282956445269571 CPUtime=0.1 cores=1,3,5,7
/proc/7920/task/7975/stat : 7975 (java) S 7917 7920 1929 0 -1 1077944384 83 13167 0 0 3 0 5 2 20 0 15 0 230355311 11348049920 100176 33554432000 4194304 4196468 140725080409808 140141266340880 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7976] ppid=7917 vsize=11082080 memory=7380385388137112419 CPUtime=0.1 cores=1,3,5,7
/proc/7920/task/7976/stat : 7976 (java) S 7917 7920 1929 0 -1 1077944384 59 13167 0 0 3 0 5 2 20 0 15 0 230355311 11348049920 100176 33554432000 4194304 4196468 140725080409808 140141265288080 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7977] ppid=7917 vsize=11082080 memory=7380385388137112419 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7977/stat : 7977 (java) S 7917 7920 1929 0 -1 1077944384 87 13167 0 0 3 1 5 2 20 0 15 0 230355311 11348049920 100176 33554432000 4194304 4196468 140725080409808 140141264235280 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7978] ppid=7917 vsize=11082080 memory=4640770675452765797 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7978/stat : 7978 (java) S 7917 7920 1929 0 -1 1077944384 2193 13167 0 0 4 0 5 2 20 0 15 0 230355313 11348049920 100176 33554432000 4194304 4196468 140725080409808 140140964804976 140141726517890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7979] ppid=7917 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7979/stat : 7979 (java) S 7917 7920 1929 0 -1 1077944384 14 13167 0 0 0 0 5 2 20 0 15 0 230355313 11348049920 100176 33554432000 4194304 4196468 140725080409808 140140487894176 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7980] ppid=7917 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7980/stat : 7980 (java) S 7917 7920 1929 0 -1 1077944384 43 13167 0 0 0 0 5 2 20 0 15 0 230355314 11348049920 100176 33554432000 4194304 4196468 140725080409808 140140420780928 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7981] ppid=7917 vsize=11082080 memory=3472468242835125084 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7981/stat : 7981 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11348049920 100176 33554432000 4194304 4196468 140725080409808 140140113385296 140141726525339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7982] ppid=7917 vsize=11082080 memory=279894831834736 CPUtime=3.02 cores=1,3,5,7
/proc/7920/task/7982/stat : 7982 (java) S 7917 7920 1929 0 -1 1077944384 4698 13167 0 0 293 2 5 2 20 0 15 0 230355316 11348049920 100176 33554432000 4194304 4196468 140725080409808 140140963752816 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7983] ppid=7917 vsize=11082080 memory=0 CPUtime=3.6 cores=1,3,5,7
/proc/7920/task/7983/stat : 7983 (java) S 7917 7920 1929 0 -1 1077944384 10948 13167 0 0 351 2 5 2 20 0 15 0 230355316 11348049920 100176 33554432000 4194304 4196468 140725080409808 140140962700016 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7984] ppid=7917 vsize=11082080 memory=7521995004687799001 CPUtime=1.92 cores=1,3,5,7
/proc/7920/task/7984/stat : 7984 (java) S 7917 7920 1929 0 -1 1077944384 7746 13167 0 0 182 3 5 2 20 0 15 0 230355316 11348049920 100176 33554432000 4194304 4196468 140725080409808 140140961647216 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7985] ppid=7917 vsize=11082080 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7985/stat : 7985 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11348049920 100176 33554432000 4194304 4196468 140725080409808 140139682589408 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7986] ppid=7917 vsize=11082080 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7986/stat : 7986 (java) S 7917 7920 1929 0 -1 1077944384 11 13167 0 0 0 0 5 2 20 0 15 0 230355317 11348049920 100176 33554432000 4194304 4196468 140725080409808 140140960594608 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
Current children cumulated CPU time: 14.85 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 400704 KiB

[startup+7.20188 s]
/proc/loadavg: 1.40 1.40 1.35 3/215 7986
/proc/meminfo: memFree=26365652/32770624 swapFree=67108804/67108860
[pid=7920] ppid=7917 vsize=11082080 memory=431840 CPUtime=16.05 cores=1,3,5,7
/proc/7920/stat : 7920 (java) S 7917 7920 1929 0 -1 1077944320 79129 13167 0 0 1570 28 5 2 20 0 15 0 230355302 11348049920 107960 33554432000 4194304 4196468 140725080409808 140725080392352 140141726506743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
/proc/7920/statm: 2770520 107960 3512 1 0 2732173 0
[pid=7920/tid=7973] ppid=7917 vsize=11082080 memory=384760 CPUtime=7.03 cores=1,3,5,7
/proc/7920/task/7973/stat : 7973 (java) R 7917 7920 1929 0 -1 4202560 50642 13167 0 0 682 14 5 2 20 0 15 0 230355311 11348049920 107960 33554432000 4194304 4196468 140725080409808 140141698339560 140141313782629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7974] ppid=7917 vsize=11082080 memory=13851893122205948 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7974/stat : 7974 (java) S 7917 7920 1929 0 -1 1077944384 275 13167 0 0 4 0 5 2 20 0 15 0 230355311 11348049920 107960 33554432000 4194304 4196468 140725080409808 140141730749584 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7975] ppid=7917 vsize=11082080 memory=6655300316396806240 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7975/stat : 7975 (java) S 7917 7920 1929 0 -1 1077944384 85 13167 0 0 4 0 5 2 20 0 15 0 230355311 11348049920 107960 33554432000 4194304 4196468 140725080409808 140141266340880 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7976] ppid=7917 vsize=11082080 memory=6944656592387989600 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7976/stat : 7976 (java) S 7917 7920 1929 0 -1 1077944384 60 13167 0 0 4 0 5 2 20 0 15 0 230355311 11348049920 107960 33554432000 4194304 4196468 140725080409808 140141265288080 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7977] ppid=7917 vsize=11082080 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7977/stat : 7977 (java) S 7917 7920 1929 0 -1 1077944384 87 13167 0 0 3 1 5 2 20 0 15 0 230355311 11348049920 107960 33554432000 4194304 4196468 140725080409808 140141264235280 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7978] ppid=7917 vsize=11082080 memory=-7022074515825631275 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7978/stat : 7978 (java) S 7917 7920 1929 0 -1 1077944384 2221 13167 0 0 4 0 5 2 20 0 15 0 230355313 11348049920 107960 33554432000 4194304 4196468 140725080409808 140140964804976 140141726517890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7979] ppid=7917 vsize=11082080 memory=-6876588461455810464 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7979/stat : 7979 (java) S 7917 7920 1929 0 -1 1077944384 14 13167 0 0 0 0 5 2 20 0 15 0 230355313 11348049920 107960 33554432000 4194304 4196468 140725080409808 140140487894176 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7980] ppid=7917 vsize=11082080 memory=-7522837415730323359 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7980/stat : 7980 (java) S 7917 7920 1929 0 -1 1077944384 43 13167 0 0 0 0 5 2 20 0 15 0 230355314 11348049920 107960 33554432000 4194304 4196468 140725080409808 140140420780928 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7981] ppid=7917 vsize=11082080 memory=7355069530030913660 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7981/stat : 7981 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11348049920 107960 33554432000 4194304 4196468 140725080409808 140140113385296 140141726525339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7982] ppid=7917 vsize=11082080 memory=0 CPUtime=3.2 cores=1,3,5,7
/proc/7920/task/7982/stat : 7982 (java) R 7917 7920 1929 0 -1 4202560 4733 13167 0 0 311 2 5 2 20 0 15 0 230355316 11348049920 107960 33554432000 4194304 4196468 140725080409808 140140963752816 140141710894656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7983] ppid=7917 vsize=11082080 memory=8112282956445269571 CPUtime=3.77 cores=1,3,5,7
/proc/7920/task/7983/stat : 7983 (java) R 7917 7920 1929 0 -1 4202560 10987 13167 0 0 368 2 5 2 20 0 15 0 230355316 11348049920 107960 33554432000 4194304 4196468 140725080409808 140140962686560 140141708029195 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7984] ppid=7917 vsize=11082080 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/7920/task/7984/stat : 7984 (java) S 7917 7920 1929 0 -1 1077944384 7776 13167 0 0 185 3 5 2 20 0 15 0 230355316 11348049920 107960 33554432000 4194304 4196468 140725080409808 140140961647216 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7985] ppid=7917 vsize=11082080 memory=7156609311636088658 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7985/stat : 7985 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11348049920 107960 33554432000 4194304 4196468 140725080409808 140139682589408 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7986] ppid=7917 vsize=11082080 memory=139947415737265 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7986/stat : 7986 (java) S 7917 7920 1929 0 -1 1077944384 11 13167 0 0 0 0 5 2 20 0 15 0 230355317 11348049920 107960 33554432000 4194304 4196468 140725080409808 140140960594608 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
Current children cumulated CPU time: 16.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 431840 KiB

[startup+8.00072 s]*
/proc/loadavg: 1.44 1.41 1.36 3/215 7986
/proc/meminfo: memFree=26304708/32770624 swapFree=67108804/67108860
[pid=7920] ppid=7917 vsize=11082080 memory=497812 CPUtime=17.08 cores=1,3,5,7
/proc/7920/stat : 7920 (java) S 7917 7920 1929 0 -1 1077944320 83378 13167 0 0 1672 29 5 2 20 0 15 0 230355302 11348049920 124453 33554432000 4194304 4196468 140725080409808 140725080392352 140141726506743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
/proc/7920/statm: 2770520 124453 3527 1 0 2732173 0
[pid=7920/tid=7973] ppid=7917 vsize=11082080 memory=8112282956445269571 CPUtime=7.83 cores=1,3,5,7
/proc/7920/task/7973/stat : 7973 (java) R 7917 7920 1929 0 -1 4202560 51284 13167 0 0 761 15 5 2 20 0 15 0 230355311 11348049920 124453 33554432000 4194304 4196468 140725080409808 140141698340640 140141314568150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7974] ppid=7917 vsize=11082080 memory=4126316290023845779 CPUtime=0.12 cores=1,3,5,7
/proc/7920/task/7974/stat : 7974 (java) S 7917 7920 1929 0 -1 1077944384 411 13167 0 0 4 1 5 2 20 0 15 0 230355311 11348049920 124453 33554432000 4194304 4196468 140725080409808 140141730749584 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7975] ppid=7917 vsize=11082080 memory=2080 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7975/stat : 7975 (java) S 7917 7920 1929 0 -1 1077944384 92 13167 0 0 4 0 5 2 20 0 15 0 230355311 11348049920 124453 33554432000 4194304 4196468 140725080409808 140141266340880 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7976] ppid=7917 vsize=11082080 memory=1036 CPUtime=0.12 cores=1,3,5,7
/proc/7920/task/7976/stat : 7976 (java) S 7917 7920 1929 0 -1 1077944384 162 13167 0 0 4 1 5 2 20 0 15 0 230355311 11348049920 124453 33554432000 4194304 4196468 140725080409808 140141265288080 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7977] ppid=7917 vsize=11082080 memory=1736 CPUtime=0.12 cores=1,3,5,7
/proc/7920/task/7977/stat : 7977 (java) S 7917 7920 1929 0 -1 1077944384 1048 13167 0 0 4 1 5 2 20 0 15 0 230355311 11348049920 124453 33554432000 4194304 4196468 140725080409808 140141264235280 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7978] ppid=7917 vsize=11082080 memory=752 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7978/stat : 7978 (java) S 7917 7920 1929 0 -1 1077944384 2265 13167 0 0 4 0 5 2 20 0 15 0 230355313 11348049920 124453 33554432000 4194304 4196468 140725080409808 140140964804976 140141726517890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7979] ppid=7917 vsize=11082080 memory=836 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7979/stat : 7979 (java) S 7917 7920 1929 0 -1 1077944384 14 13167 0 0 0 0 5 2 20 0 15 0 230355313 11348049920 124453 33554432000 4194304 4196468 140725080409808 140140487894176 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7980] ppid=7917 vsize=11082080 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7980/stat : 7980 (java) S 7917 7920 1929 0 -1 1077944384 43 13167 0 0 0 0 5 2 20 0 15 0 230355314 11348049920 124453 33554432000 4194304 4196468 140725080409808 140140420780928 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7981] ppid=7917 vsize=11082080 memory=1600 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7981/stat : 7981 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11348049920 124453 33554432000 4194304 4196468 140725080409808 140140113385296 140141726525339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7982] ppid=7917 vsize=11082080 memory=7952 CPUtime=3.3 cores=1,3,5,7
/proc/7920/task/7982/stat : 7982 (java) S 7917 7920 1929 0 -1 1077944384 5915 13167 0 0 320 3 5 2 20 0 15 0 230355316 11348049920 124453 33554432000 4194304 4196468 140725080409808 140140963752816 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7983] ppid=7917 vsize=11082080 memory=4088 CPUtime=3.88 cores=1,3,5,7
/proc/7920/task/7983/stat : 7983 (java) S 7917 7920 1929 0 -1 1077944384 12129 13167 0 0 379 2 5 2 20 0 15 0 230355316 11348049920 124453 33554432000 4194304 4196468 140725080409808 140140962700016 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7984] ppid=7917 vsize=11082080 memory=1784 CPUtime=1.96 cores=1,3,5,7
/proc/7920/task/7984/stat : 7984 (java) S 7917 7920 1929 0 -1 1077944384 7807 13167 0 0 186 3 5 2 20 0 15 0 230355316 11348049920 124453 33554432000 4194304 4196468 140725080409808 140140961647216 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7985] ppid=7917 vsize=11082080 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7985/stat : 7985 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11348049920 124453 33554432000 4194304 4196468 140725080409808 140139682589408 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7986] ppid=7917 vsize=11082080 memory=5808 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7986/stat : 7986 (java) S 7917 7920 1929 0 -1 1077944384 13 13167 0 0 0 0 5 2 20 0 15 0 230355317 11348049920 124453 33554432000 4194304 4196468 140725080409808 140140960594608 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
Current children cumulated CPU time: 17.08 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 497812 KiB

[startup+8.40068 s]
/proc/loadavg: 1.44 1.41 1.36 3/215 7986
/proc/meminfo: memFree=26304708/32770624 swapFree=67108804/67108860
[pid=7920] ppid=7917 vsize=11082080 memory=497996 CPUtime=17.52 cores=1,3,5,7
/proc/7920/stat : 7920 (java) S 7917 7920 1929 0 -1 1077944320 83949 13167 0 0 1716 29 5 2 20 0 15 0 230355302 11348049920 124499 33554432000 4194304 4196468 140725080409808 140725080392352 140141726506743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
/proc/7920/statm: 2770520 124499 3527 1 0 2732173 0
[pid=7920/tid=7973] ppid=7917 vsize=11082080 memory=2273 CPUtime=8.22 cores=1,3,5,7
/proc/7920/task/7973/stat : 7973 (java) R 7917 7920 1929 0 -1 4202560 51486 13167 0 0 800 15 5 2 20 0 15 0 230355311 11348049920 124499 33554432000 4194304 4196468 140725080409808 140141698340640 140141311755768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7974] ppid=7917 vsize=11082080 memory=288230583166042425 CPUtime=0.12 cores=1,3,5,7
/proc/7920/task/7974/stat : 7974 (java) S 7917 7920 1929 0 -1 1077944384 411 13167 0 0 4 1 5 2 20 0 15 0 230355311 11348049920 124499 33554432000 4194304 4196468 140725080409808 140141730749584 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7975] ppid=7917 vsize=11082080 memory=13851893122205948 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7975/stat : 7975 (java) S 7917 7920 1929 0 -1 1077944384 92 13167 0 0 4 0 5 2 20 0 15 0 230355311 11348049920 124499 33554432000 4194304 4196468 140725080409808 140141266340880 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7976] ppid=7917 vsize=11082080 memory=3296 CPUtime=0.12 cores=1,3,5,7
/proc/7920/task/7976/stat : 7976 (java) S 7917 7920 1929 0 -1 1077944384 162 13167 0 0 4 1 5 2 20 0 15 0 230355311 11348049920 124499 33554432000 4194304 4196468 140725080409808 140141265288080 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7977] ppid=7917 vsize=11082080 memory=15292 CPUtime=0.12 cores=1,3,5,7
/proc/7920/task/7977/stat : 7977 (java) S 7917 7920 1929 0 -1 1077944384 1048 13167 0 0 4 1 5 2 20 0 15 0 230355311 11348049920 124499 33554432000 4194304 4196468 140725080409808 140141264235280 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7978] ppid=7917 vsize=11082080 memory=34588 CPUtime=0.11 cores=1,3,5,7
/proc/7920/task/7978/stat : 7978 (java) S 7917 7920 1929 0 -1 1077944384 2265 13167 0 0 4 0 5 2 20 0 15 0 230355313 11348049920 124499 33554432000 4194304 4196468 140725080409808 140140964804976 140141726517890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7979] ppid=7917 vsize=11082080 memory=496 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7979/stat : 7979 (java) S 7917 7920 1929 0 -1 1077944384 14 13167 0 0 0 0 5 2 20 0 15 0 230355313 11348049920 124499 33554432000 4194304 4196468 140725080409808 140140487894176 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7980] ppid=7917 vsize=11082080 memory=1616 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7980/stat : 7980 (java) S 7917 7920 1929 0 -1 1077944384 43 13167 0 0 0 0 5 2 20 0 15 0 230355314 11348049920 124499 33554432000 4194304 4196468 140725080409808 140140420780928 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7981] ppid=7917 vsize=11082080 memory=932 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7981/stat : 7981 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11348049920 124499 33554432000 4194304 4196468 140725080409808 140140113385296 140141726525339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7982] ppid=7917 vsize=11082080 memory=1168 CPUtime=3.32 cores=1,3,5,7
/proc/7920/task/7982/stat : 7982 (java) S 7917 7920 1929 0 -1 1077944384 5988 13167 0 0 322 3 5 2 20 0 15 0 230355316 11348049920 124499 33554432000 4194304 4196468 140725080409808 140140963752816 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7983] ppid=7917 vsize=11082080 memory=1984 CPUtime=3.91 cores=1,3,5,7
/proc/7920/task/7983/stat : 7983 (java) S 7917 7920 1929 0 -1 1077944384 12412 13167 0 0 382 2 5 2 20 0 15 0 230355316 11348049920 124499 33554432000 4194304 4196468 140725080409808 140140962700016 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7984] ppid=7917 vsize=11082080 memory=1692 CPUtime=1.96 cores=1,3,5,7
/proc/7920/task/7984/stat : 7984 (java) S 7917 7920 1929 0 -1 1077944384 7820 13167 0 0 186 3 5 2 20 0 15 0 230355316 11348049920 124499 33554432000 4194304 4196468 140725080409808 140140961647216 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7985] ppid=7917 vsize=11082080 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7985/stat : 7985 (java) S 7917 7920 1929 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 230355316 11348049920 124499 33554432000 4194304 4196468 140725080409808 140139682589408 140141726516949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
[pid=7920/tid=7986] ppid=7917 vsize=11082080 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/7920/task/7986/stat : 7986 (java) S 7917 7920 1929 0 -1 1077944384 13 13167 0 0 0 0 5 2 20 0 15 0 230355317 11348049920 124499 33554432000 4194304 4196468 140725080409808 140140960594608 140141726517890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140725080418924 140725080421724 140725080421724 140725080424399 0
Current children cumulated CPU time: 17.52 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 497996 KiB

Child status: 0
Real time (s): 8.48182
CPU time (s): 17.6299
CPU user time (s): 17.2866
CPU system time (s): 0.343286
CPU usage (%): 207.855
Max. virtual memory (cumulated for all children) (KiB): 11084936
Max. memory (cumulated for all children) (KiB): 497996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2866
system time used= 0.343286
maximum resident set size= 500120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97907
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= 8300
involuntary context switches= 75


# summary of solver processes directly reported to runsolver:
#   pid: 7920
#   total CPU time (s): 17.6299
#   total CPU user time (s): 17.2866
#   total CPU system time (s): 0.343286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079698 second user time and 0.116104 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-13 04:38:41
IDJOB=4304709
IDBENCH=141550
IDSOLVER=2780
FILE ID=node105/4304709-1534127921
RUNJOBID= node105-1534099504-1961
PBS_JOBID= 21037006
Free space on /tmp= 40896 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy04_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304709-1534127921/watcher-4304709-1534127921 -o /tmp/evaluation-result-4304709-1534127921/solver-4304709-1534127921 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534099504-1961 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1550104299 HOME/instance-4304709-1534127921.xml

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

MD5SUM BENCH= 2910b6ca557b5fda778b46d150d1cbb4
RANDOM SEED=1550104299

node105.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.32
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.32
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.32
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.32
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:        26783240 kB
MemAvailable:   30251864 kB
Buffers:          164180 kB
Cached:          3561388 kB
SwapCached:           16 kB
Active:          3540952 kB
Inactive:        1888136 kB
Active(anon):    1655680 kB
Inactive(anon):   100520 kB
Active(file):    1885272 kB
Inactive(file):  1787616 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             26660 kB
Writeback:             0 kB
AnonPages:       1711072 kB
Mapped:            64520 kB
Shmem:             49748 kB
Slab:             251104 kB
SReclaimable:     223144 kB
SUnreclaim:        27960 kB
KernelStack:        3504 kB
PageTables:         9076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2649356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1472512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 40868 MiB
End job on node105 at 2018-08-13 04:38:50