Trace number 4274276

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
OscaR - Conflict Ordering 2017-07-26SAT 7.4597402 4.8748999

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s20a4/
TravellingSalesman-4-20-727-a4_X2.xml
MD5SUMfeda79726080e93715556435cff6944b
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 benchmark7.4597402
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints228
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":20,"count":20},{"size":216,"count":19},{"size":1001,"count":20}]
Minimum variable degree1
Maximum variable degree208
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}]
Minimum constraint arity2
Maximum constraint arity4
Distribution of constraint arities[{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}]
Number of extensional constraints228
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":228}]
Optimization problemNO
Type of objective

Solver Data 

0.28/0.37	c version: 2017-07-26
0.28/0.38	c seed: 1953360760
0.28/0.38	c timeout: 2520
0.28/0.38	c memlimit: 11000
0.28/0.38	c nbcore: 4
0.28/0.40	c Parsing instance...
3.32/1.77	c Parsing done, starting search...
7.38/4.86	s SATISFIABLE
7.38/4.86	v <instantiation>
7.38/4.86	v 	<list>
7.38/4.86	v 		w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18]
7.38/4.86	v 	</list>
7.38/4.86	v 	<values>
7.38/4.86	v 		215 0 19 13 5 9 10 2 8 1 7 12 18 14 11 6 3 20 15 16 17 4 21 3 6 1 23 4 28 12 27 8 12 13 4 23 5 9 3 5 4 4 24 30 31 54 58 86 98 125 133 145 158 162 185 190 199 202 207 211 215 
7.38/4.86	v 	</values>
7.38/4.86	v </instantiation>

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274276-1502819143/watcher-4274276-1502819143 -o /tmp/evaluation-result-4274276-1502819143/solver-4274276-1502819143 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6258 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1953360760 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274276-1502819143.xml 

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

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

solver pid=1919, runsolver pid=1916

[startup+0.103677 s]*
/proc/loadavg: 1.53 1.36 1.36 3/209 1927
/proc/meminfo: memFree=30976272/32770624 swapFree=67108860/67108860
[pid=1919] ppid=1916 vsize=13573664 memory=18740 CPUtime=0.02 cores=0,2,4,6
/proc/1919/stat : 1919 (java) S 1916 1919 8289 0 -1 1077944320 4067 0 0 0 2 0 0 0 20 0 9 0 129729452 13899431936 4685 18446744073709551615 4194304 4196468 140727998254224 140727998236768 140081692208887 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
/proc/1919/statm: 3393416 4685 2093 1 0 3382913 0
[pid=1919/tid=1921] ppid=1916 vsize=13573664 memory=4209341120841998394 CPUtime=0.02 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (java) R 1916 1919 8289 0 -1 4202560 2710 0 0 0 2 0 0 0 20 0 9 0 129729460 13899431936 4685 18446744073709551615 4194304 4196468 140727998254224 140081696444936 140081677453314 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1922] ppid=1916 vsize=13573664 memory=3677534773662714415 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 129729461 13899431936 4685 18446744073709551615 4194304 4196468 140727998254224 140081292122384 140081692219093 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1923] ppid=1916 vsize=13573664 memory=140162787452544 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1923/stat : 1923 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 129729461 13899431936 4685 18446744073709551615 4194304 4196468 140727998254224 140081291069840 140081692219093 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1924] ppid=1916 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1924/stat : 1924 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 129729461 13899431936 4685 18446744073709551615 4194304 4196468 140727998254224 140081290017296 140081692219093 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1925] ppid=1916 vsize=13573664 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1925/stat : 1925 (java) S 1916 1919 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 129729461 13899431936 4685 18446744073709551615 4194304 4196468 140727998254224 140081288964752 140081692219093 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1926] ppid=1916 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1926/stat : 1926 (java) S 1916 1919 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 129729462 13899431936 4685 18446744073709551615 4194304 4196468 140727998254224 140081238784496 140081692220034 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1927] ppid=1916 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1927/stat : 1927 (java) S 1916 1919 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 129729463 13899431936 4685 18446744073709551615 4194304 4196468 140727998254224 140081237730720 140081692219093 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1928] ppid=1916 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1928/stat : 1928 (java) S 1916 1919 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 129729463 13899431936 4685 18446744073709551615 4194304 4196468 140727998254224 140081236678192 140081692219093 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 18740 KiB

[startup+0.213932 s]*
/proc/loadavg: 1.53 1.36 1.36 4/216 1934
/proc/meminfo: memFree=30965032/32770624 swapFree=67108860/67108860
[pid=1919] ppid=1916 vsize=13976944 memory=36364 CPUtime=0.12 cores=0,2,4,6
/proc/1919/stat : 1919 (java) S 1916 1919 8289 0 -1 1077944320 9062 0 0 0 10 2 0 0 20 0 15 0 129729452 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140727998236768 140081692208887 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
/proc/1919/statm: 3494236 9091 3386 1 0 3483015 0
[pid=1919/tid=1921] ppid=1916 vsize=13976944 memory=8318255677412212789 CPUtime=0.09 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (java) R 1916 1919 8289 0 -1 4202560 7282 0 0 0 8 1 0 0 20 0 15 0 129729460 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081696398336 140081684888605 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1922] ppid=1916 vsize=13976944 memory=330 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729461 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081292122384 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1923] ppid=1916 vsize=13976944 memory=140162787459060 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1923/stat : 1923 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729461 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081291069840 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1924] ppid=1916 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1924/stat : 1924 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729461 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081290017296 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1925] ppid=1916 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1925/stat : 1925 (java) S 1916 1919 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129729461 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081288964752 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1926] ppid=1916 vsize=13976944 memory=140162787452544 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1926/stat : 1926 (java) S 1916 1919 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129729462 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081238784496 140081692220034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1927] ppid=1916 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1927/stat : 1927 (java) S 1916 1919 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129729463 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081237730720 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1928] ppid=1916 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1928/stat : 1928 (java) S 1916 1919 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129729463 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081236678128 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1929] ppid=1916 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1929/stat : 1929 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729465 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081235626704 140081692227483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1930] ppid=1916 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1930/stat : 1930 (java) S 1916 1919 8289 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 129729465 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081234573296 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1931] ppid=1916 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1931/stat : 1931 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729465 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081233520752 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1932] ppid=1916 vsize=13976944 memory=140162787452544 CPUtime=0.01 cores=0,2,4,6
/proc/1919/task/1932/stat : 1932 (java) S 1916 1919 8289 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 129729465 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140081232468208 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1933] ppid=1916 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1933/stat : 1933 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729466 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140080601885280 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1934] ppid=1916 vsize=13976944 memory=140162787452544 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1934/stat : 1934 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729470 14312390656 9091 18446744073709551615 4194304 4196468 140727998254224 140080600832816 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 36364 KiB

[startup+0.310723 s]*
/proc/loadavg: 1.53 1.36 1.36 4/216 1934
/proc/meminfo: memFree=30954956/32770624 swapFree=67108860/67108860
[pid=1919] ppid=1916 vsize=13975920 memory=42376 CPUtime=0.28 cores=0,2,4,6
/proc/1919/stat : 1919 (java) S 1916 1919 8289 0 -1 1077944320 10782 0 0 0 25 3 0 0 20 0 15 0 129729452 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140727998236768 140081692208887 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
/proc/1919/statm: 3493980 10594 3590 1 0 3482759 0
[pid=1919/tid=1921] ppid=1916 vsize=13975920 memory=4209341120841998394 CPUtime=0.18 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (java) R 1916 1919 8289 0 -1 4202560 8395 0 0 0 16 2 0 0 20 0 15 0 129729460 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081696408672 140081676289374 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1922] ppid=1916 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729461 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081292122384 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1923] ppid=1916 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1923/stat : 1923 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729461 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081291069840 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1924] ppid=1916 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1924/stat : 1924 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729461 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081290017296 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1925] ppid=1916 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1925/stat : 1925 (java) S 1916 1919 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129729461 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081288964752 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1926] ppid=1916 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1926/stat : 1926 (java) S 1916 1919 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 129729462 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081238784496 140081692220034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1927] ppid=1916 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1927/stat : 1927 (java) S 1916 1919 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129729463 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081237730720 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1928] ppid=1916 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1928/stat : 1928 (java) S 1916 1919 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129729463 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081236678128 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1929] ppid=1916 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1929/stat : 1929 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729465 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081235626704 140081692227483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1930] ppid=1916 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1919/task/1930/stat : 1930 (java) S 1916 1919 8289 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 15 0 129729465 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081234573296 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1931] ppid=1916 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1919/task/1931/stat : 1931 (java) R 1916 1919 8289 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 15 0 129729465 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081233520752 140081677039648 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1932] ppid=1916 vsize=13975920 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/1919/task/1932/stat : 1932 (java) S 1916 1919 8289 0 -1 1077944384 437 0 0 0 5 0 0 0 20 0 15 0 129729465 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140081232468208 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1933] ppid=1916 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1933/stat : 1933 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729466 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140080601885280 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1934] ppid=1916 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1934/stat : 1934 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729470 14311342080 10594 18446744073709551615 4194304 4196468 140727998254224 140080600832816 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 42376 KiB

[startup+0.700821 s]
/proc/loadavg: 1.53 1.36 1.36 4/216 1934
/proc/meminfo: memFree=30940848/32770624 swapFree=67108860/67108860
[pid=1919] ppid=1916 vsize=13977988 memory=81608 CPUtime=1.09 cores=0,2,4,6
/proc/1919/stat : 1919 (java) S 1916 1919 8289 0 -1 1077944320 14089 0 0 0 104 5 0 0 20 0 15 0 129729452 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140727998236768 140081692208887 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
/proc/1919/statm: 3494497 20402 3726 1 0 3483271 0
[pid=1919/tid=1921] ppid=1916 vsize=13977988 memory=14356 CPUtime=0.56 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (java) R 1916 1919 8289 0 -1 4202560 10317 0 0 0 52 4 0 0 20 0 15 0 129729460 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081696445152 140081317335670 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1922] ppid=1916 vsize=13977988 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729461 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081292122384 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1923] ppid=1916 vsize=13977988 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1923/stat : 1923 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729461 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081291069840 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1924] ppid=1916 vsize=13977988 memory=11164 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1924/stat : 1924 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729461 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081290017296 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1925] ppid=1916 vsize=13977988 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1925/stat : 1925 (java) S 1916 1919 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129729461 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081288964752 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1926] ppid=1916 vsize=13977988 memory=1 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1926/stat : 1926 (java) S 1916 1919 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 129729462 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081238784496 140081692220034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1927] ppid=1916 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1927/stat : 1927 (java) S 1916 1919 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129729463 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081237730720 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1928] ppid=1916 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1928/stat : 1928 (java) S 1916 1919 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129729463 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081236678128 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1929] ppid=1916 vsize=13977988 memory=29 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1929/stat : 1929 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729465 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081235626704 140081692227483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1930] ppid=1916 vsize=13977988 memory=180 CPUtime=0.13 cores=0,2,4,6
/proc/1919/task/1930/stat : 1930 (java) R 1916 1919 8289 0 -1 4202560 803 0 0 0 13 0 0 0 20 0 15 0 129729465 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081234553464 140081684926039 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1931] ppid=1916 vsize=13977988 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/1919/task/1931/stat : 1931 (java) R 1916 1919 8289 0 -1 4202560 737 0 0 0 15 0 0 0 20 0 15 0 129729465 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081233505320 140081671510591 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1932] ppid=1916 vsize=13977988 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/1919/task/1932/stat : 1932 (java) D 1916 1919 8289 0 -1 4202560 850 0 0 0 22 0 0 0 20 0 15 0 129729465 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140081232465208 140081684446014 0 4 1 16800974 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1933] ppid=1916 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1933/stat : 1933 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729466 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140080601885280 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1934] ppid=1916 vsize=13977988 memory=3912 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1934/stat : 1934 (java) S 1916 1919 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129729470 14313459712 20402 18446744073709551615 4194304 4196468 140727998254224 140080600832816 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 81608 KiB

[startup+1.50071 s]
/proc/loadavg: 1.53 1.36 1.36 3/216 1934
/proc/meminfo: memFree=30843976/32770624 swapFree=67108860/67108860
[pid=1919] ppid=1916 vsize=13980036 memory=313384 CPUtime=2.96 cores=0,2,4,6
/proc/1919/stat : 1919 (java) S 1916 1919 8289 0 -1 1077944320 22144 0 0 0 281 15 0 0 20 0 15 0 129729452 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140727998236768 140081692208887 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
/proc/1919/statm: 3495009 78346 3786 1 0 3483783 0
[pid=1919/tid=1921] ppid=1916 vsize=13980036 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (java) R 1916 1919 8289 0 -1 4202560 13372 0 0 0 125 7 0 0 20 0 15 0 129729460 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081696432384 140081319382989 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1922] ppid=1916 vsize=13980036 memory=1414298054980309879 CPUtime=0.02 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (java) S 1916 1919 8289 0 -1 1077944384 127 0 0 0 1 1 0 0 20 0 15 0 129729461 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081292122384 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1923] ppid=1916 vsize=13980036 memory=8475934422144292502 CPUtime=0.03 cores=0,2,4,6
/proc/1919/task/1923/stat : 1923 (java) S 1916 1919 8289 0 -1 1077944384 136 0 0 0 2 1 0 0 20 0 15 0 129729461 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081291069840 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1924] ppid=1916 vsize=13980036 memory=6944613755479294112 CPUtime=0.01 cores=0,2,4,6
/proc/1919/task/1924/stat : 1924 (java) S 1916 1919 8289 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 129729461 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081290017296 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1925] ppid=1916 vsize=13980036 memory=-6299271850370040628 CPUtime=0.02 cores=0,2,4,6
/proc/1919/task/1925/stat : 1925 (java) S 1916 1919 8289 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 15 0 129729461 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081288964752 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1926] ppid=1916 vsize=13980036 memory=-3839181684196723249 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1926/stat : 1926 (java) S 1916 1919 8289 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 129729462 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081238784496 140081692220034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1927] ppid=1916 vsize=13980036 memory=193 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1927/stat : 1927 (java) S 1916 1919 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 129729463 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081237730784 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1928] ppid=1916 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1928/stat : 1928 (java) S 1916 1919 8289 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 129729463 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081236678144 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1929] ppid=1916 vsize=13980036 memory=8740 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1929/stat : 1929 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729465 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081235626704 140081692227483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1930] ppid=1916 vsize=13980036 memory=-3967418655009478193 CPUtime=0.52 cores=0,2,4,6
/proc/1919/task/1930/stat : 1930 (java) S 1916 1919 8289 0 -1 1077944384 2427 0 0 0 51 1 0 0 20 0 15 0 129729465 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081234573296 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1931] ppid=1916 vsize=13980036 memory=6944656592455097440 CPUtime=0.52 cores=0,2,4,6
/proc/1919/task/1931/stat : 1931 (java) S 1916 1919 8289 0 -1 1077944384 2059 0 0 0 52 0 0 0 20 0 15 0 129729465 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081233520752 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1932] ppid=1916 vsize=13980036 memory=6944656592387989600 CPUtime=0.43 cores=0,2,4,6
/proc/1919/task/1932/stat : 1932 (java) S 1916 1919 8289 0 -1 1077944384 2035 0 0 0 43 0 0 0 20 0 15 0 129729465 14315556864 78346 18446744073709551615 4194304 4196468 140727998254224 140081232468208 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0

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

[startup+4.87484 s]
# the end of solver process 1919 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.15355 s, system=0.306191 s

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

[startup+3.22138 s]
/proc/loadavg: 1.53 1.36 1.36 3/216 1934
/proc/meminfo: memFree=30594972/32770624 swapFree=67108860/67108860
[pid=1919] ppid=1916 vsize=13980036 memory=429464 CPUtime=5.64 cores=0,2,4,6
/proc/1919/stat : 1919 (java) S 1916 1919 8289 0 -1 1077944320 25319 0 0 0 537 27 0 0 20 0 15 0 129729452 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140727998236768 140081692208887 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
/proc/1919/statm: 3495009 107366 3794 1 0 3483783 0
[pid=1919/tid=1921] ppid=1916 vsize=13980036 memory=2440 CPUtime=2.97 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (java) S 1916 1919 8289 0 -1 1077944384 13771 0 0 0 289 8 0 0 20 0 15 0 129729460 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081696447040 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1922] ppid=1916 vsize=13980036 memory=1840 CPUtime=0.1 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (java) R 1916 1919 8289 0 -1 4202560 199 0 0 0 6 4 0 0 20 0 15 0 129729461 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081292122384 140081677236761 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1923] ppid=1916 vsize=13980036 memory=792 CPUtime=0.09 cores=0,2,4,6
/proc/1919/task/1923/stat : 1923 (java) R 1916 1919 8289 0 -1 4202560 197 0 0 0 6 3 0 0 20 0 15 0 129729461 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081291069840 140081677236761 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1924] ppid=1916 vsize=13980036 memory=1716 CPUtime=0.09 cores=0,2,4,6
/proc/1919/task/1924/stat : 1924 (java) R 1916 1919 8289 0 -1 4202560 181 0 0 0 6 3 0 0 20 0 15 0 129729461 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081290017296 140081677236761 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1925] ppid=1916 vsize=13980036 memory=1228 CPUtime=0.1 cores=0,2,4,6
/proc/1919/task/1925/stat : 1925 (java) R 1916 1919 8289 0 -1 4202560 578 0 0 0 7 3 0 0 20 0 15 0 129729461 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081288964952 140081685308587 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1926] ppid=1916 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1926/stat : 1926 (java) S 1916 1919 8289 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 129729462 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081238783008 140081692219093 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1927] ppid=1916 vsize=13980036 memory=5792588321804271203 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1927/stat : 1927 (java) S 1916 1919 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 129729463 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081237730784 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1928] ppid=1916 vsize=13980036 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1928/stat : 1928 (java) S 1916 1919 8289 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 129729463 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081236678144 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1929] ppid=1916 vsize=13980036 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1929/stat : 1929 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729465 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081235626704 140081692227483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1930] ppid=1916 vsize=13980036 memory=6655300316396806240 CPUtime=0.84 cores=0,2,4,6
/proc/1919/task/1930/stat : 1930 (java) S 1916 1919 8289 0 -1 1077944384 3636 0 0 0 83 1 0 0 20 0 15 0 129729465 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081234573296 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1931] ppid=1916 vsize=13980036 memory=6944656592455360604 CPUtime=0.85 cores=0,2,4,6
/proc/1919/task/1931/stat : 1931 (java) S 1916 1919 8289 0 -1 1077944384 2815 0 0 0 85 0 0 0 20 0 15 0 129729465 14315556864 107366 18446744073709551615 4194304 4196468 140727998254224 140081233520752 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1932] ppid=1916 vsize=13980036 memory=6944656592387989600 CPUtime=0.5 cores=0,2,4,6
/proc/1919/task/1932/stat : 1932 (java) S 1916 1919 8289 0 -1 1077944384 2238 0 0 0 50 0 0 0 20 0 15 0 129729465 14315556864 107878 18446744073709551615 4194304 4196468 140727998254224 140081232468208 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1933] ppid=1916 vsize=13980036 memory=2320260042759618147 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1933/stat : 1933 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729466 14315556864 107878 18446744073709551615 4194304 4196468 140727998254224 140080601885280 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1934] ppid=1916 vsize=13980036 memory=9878424783013 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1934/stat : 1934 (java) S 1916 1919 8289 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 129729470 14315556864 107878 18446744073709551615 4194304 4196468 140727998254224 140080600832816 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 429464 KiB

[startup+4.00067 s]*
/proc/loadavg: 1.53 1.36 1.36 3/216 1934
/proc/meminfo: memFree=30549544/32770624 swapFree=67108860/67108860
[pid=1919] ppid=1916 vsize=13980036 memory=450224 CPUtime=6.58 cores=0,2,4,6
/proc/1919/stat : 1919 (java) S 1916 1919 8289 0 -1 1077944320 26243 0 0 0 628 30 0 0 20 0 15 0 129729452 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140727998236768 140081692208887 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
/proc/1919/statm: 3495009 112556 3794 1 0 3483783 0
[pid=1919/tid=1921] ppid=1916 vsize=13980036 memory=579058251321639029 CPUtime=3.74 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (java) R 1916 1919 8289 0 -1 4202560 13823 0 0 0 366 8 0 0 20 0 15 0 129729460 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081696445288 140081319981057 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1922] ppid=1916 vsize=13980036 memory=339 CPUtime=0.11 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (java) S 1916 1919 8289 0 -1 1077944384 214 0 0 0 7 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081292122384 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1923] ppid=1916 vsize=13980036 memory=140162787462410 CPUtime=0.12 cores=0,2,4,6
/proc/1919/task/1923/stat : 1923 (java) S 1916 1919 8289 0 -1 1077944384 217 0 0 0 8 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081291069840 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1924] ppid=1916 vsize=13980036 memory=6944656575208382560 CPUtime=0.11 cores=0,2,4,6
/proc/1919/task/1924/stat : 1924 (java) S 1916 1919 8289 0 -1 1077944384 200 0 0 0 7 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081290017296 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1925] ppid=1916 vsize=13980036 memory=3472328279047811119 CPUtime=0.12 cores=0,2,4,6
/proc/1919/task/1925/stat : 1925 (java) S 1916 1919 8289 0 -1 1077944384 1094 0 0 0 8 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081288964752 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1926] ppid=1916 vsize=13980036 memory=3472468459015131824 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1926/stat : 1926 (java) S 1916 1919 8289 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 15 0 129729462 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081238784496 140081692220034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1927] ppid=1916 vsize=13980036 memory=8388367118360672371 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1927/stat : 1927 (java) S 1916 1919 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 129729463 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081237730784 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1928] ppid=1916 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1928/stat : 1928 (java) S 1916 1919 8289 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 129729463 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081236678144 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1929] ppid=1916 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1929/stat : 1929 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081235626704 140081692227483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1930] ppid=1916 vsize=13980036 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/1919/task/1930/stat : 1930 (java) S 1916 1919 8289 0 -1 1077944384 3790 0 0 0 92 1 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081234573296 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1931] ppid=1916 vsize=13980036 memory=110297087 CPUtime=0.86 cores=0,2,4,6
/proc/1919/task/1931/stat : 1931 (java) S 1916 1919 8289 0 -1 1077944384 2824 0 0 0 86 0 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081233520752 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1932] ppid=1916 vsize=13980036 memory=4121250838202124278 CPUtime=0.5 cores=0,2,4,6
/proc/1919/task/1932/stat : 1932 (java) S 1916 1919 8289 0 -1 1077944384 2238 0 0 0 50 0 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081232468208 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1933] ppid=1916 vsize=13980036 memory=566435839 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1933/stat : 1933 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729466 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140080601885280 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1934] ppid=1916 vsize=13980036 memory=280325421515856 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1934/stat : 1934 (java) S 1916 1919 8289 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 129729470 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140080600832816 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
Current children cumulated CPU time: 6.58 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 450224 KiB

[startup+4.40069 s]
/proc/loadavg: 1.53 1.36 1.36 3/216 1934
/proc/meminfo: memFree=30549544/32770624 swapFree=67108860/67108860
[pid=1919] ppid=1916 vsize=13980036 memory=450224 CPUtime=6.98 cores=0,2,4,6
/proc/1919/stat : 1919 (java) S 1916 1919 8289 0 -1 1077944320 26252 0 0 0 668 30 0 0 20 0 15 0 129729452 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140727998236768 140081692208887 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
/proc/1919/statm: 3495009 112556 3794 1 0 3483783 0
[pid=1919/tid=1921] ppid=1916 vsize=13980036 memory=63256 CPUtime=4.13 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (java) R 1916 1919 8289 0 -1 4202560 13831 0 0 0 405 8 0 0 20 0 15 0 129729460 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081696445160 140081320048482 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1922] ppid=1916 vsize=13980036 memory=403568 CPUtime=0.11 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (java) S 1916 1919 8289 0 -1 1077944384 214 0 0 0 7 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081292122384 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1923] ppid=1916 vsize=13980036 memory=2440 CPUtime=0.12 cores=0,2,4,6
/proc/1919/task/1923/stat : 1923 (java) S 1916 1919 8289 0 -1 1077944384 217 0 0 0 8 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081291069840 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1924] ppid=1916 vsize=13980036 memory=1840 CPUtime=0.11 cores=0,2,4,6
/proc/1919/task/1924/stat : 1924 (java) S 1916 1919 8289 0 -1 1077944384 200 0 0 0 7 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081290017296 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1925] ppid=1916 vsize=13980036 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/1919/task/1925/stat : 1925 (java) S 1916 1919 8289 0 -1 1077944384 1094 0 0 0 8 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081288964752 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1926] ppid=1916 vsize=13980036 memory=7714 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1926/stat : 1926 (java) D 1916 1919 8289 0 -1 4202560 451 0 0 0 0 0 0 0 20 0 15 0 129729462 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081238784416 140081677421165 0 0 1 16800974 18446744072101043333 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1927] ppid=1916 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1927/stat : 1927 (java) S 1916 1919 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 129729463 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081237730784 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1928] ppid=1916 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1928/stat : 1928 (java) S 1916 1919 8289 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 129729463 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081236678144 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1929] ppid=1916 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1929/stat : 1929 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081235626704 140081692227483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1930] ppid=1916 vsize=13980036 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/1919/task/1930/stat : 1930 (java) S 1916 1919 8289 0 -1 1077944384 3790 0 0 0 92 1 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081234573296 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1931] ppid=1916 vsize=13980036 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/1919/task/1931/stat : 1931 (java) S 1916 1919 8289 0 -1 1077944384 2824 0 0 0 86 0 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081233520752 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1932] ppid=1916 vsize=13980036 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/1919/task/1932/stat : 1932 (java) D 1916 1919 8289 0 -1 4202560 2238 0 0 0 50 0 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081232468128 140081672133023 0 4 1 16800974 18446744072101043333 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1933] ppid=1916 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1933/stat : 1933 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729466 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140080601885280 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1934] ppid=1916 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1934/stat : 1934 (java) D 1916 1919 8289 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 129729470 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140080600832736 140081677064974 0 4 1 16800974 18446744072101043333 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
Current children cumulated CPU time: 6.98 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 450224 KiB

[startup+4.80069 s]
/proc/loadavg: 1.53 1.36 1.36 3/216 1934
/proc/meminfo: memFree=30549544/32770624 swapFree=67108860/67108860
[pid=1919] ppid=1916 vsize=13980036 memory=450224 CPUtime=7.38 cores=0,2,4,6
/proc/1919/stat : 1919 (java) S 1916 1919 8289 0 -1 1077944320 26268 0 0 0 708 30 0 0 20 0 15 0 129729452 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140727998236768 140081692208887 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
/proc/1919/statm: 3495009 112556 3794 1 0 3483783 0
[pid=1919/tid=1921] ppid=1916 vsize=13980036 memory=7380108320065677906 CPUtime=4.53 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (java) R 1916 1919 8289 0 -1 4202560 13839 0 0 0 445 8 0 0 20 0 15 0 129729460 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081696444048 140081319980596 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1922] ppid=1916 vsize=13980036 memory=7452165914103605842 CPUtime=0.11 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (java) S 1916 1919 8289 0 -1 1077944384 214 0 0 0 7 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081292122384 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1923] ppid=1916 vsize=13980036 memory=7739834418439279204 CPUtime=0.12 cores=0,2,4,6
/proc/1919/task/1923/stat : 1923 (java) S 1916 1919 8289 0 -1 1077944384 217 0 0 0 8 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081291069840 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1924] ppid=1916 vsize=13980036 memory=7739834418439279204 CPUtime=0.11 cores=0,2,4,6
/proc/1919/task/1924/stat : 1924 (java) S 1916 1919 8289 0 -1 1077944384 200 0 0 0 7 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081290017296 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1925] ppid=1916 vsize=13980036 memory=7668338696217389650 CPUtime=0.12 cores=0,2,4,6
/proc/1919/task/1925/stat : 1925 (java) S 1916 1919 8289 0 -1 1077944384 1094 0 0 0 8 4 0 0 20 0 15 0 129729461 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081288964752 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1926] ppid=1916 vsize=13980036 memory=7308051722475562073 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1926/stat : 1926 (java) S 1916 1919 8289 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 129729462 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081238784496 140081692220034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1927] ppid=1916 vsize=13980036 memory=7308051722475562073 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1927/stat : 1927 (java) S 1916 1919 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 129729463 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081237730784 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1928] ppid=1916 vsize=13980036 memory=450224 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1928/stat : 1928 (java) S 1916 1919 8289 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 129729463 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081236678144 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1929] ppid=1916 vsize=13980036 memory=7740396290255317586 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1929/stat : 1929 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081235626704 140081692227483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1930] ppid=1916 vsize=13980036 memory=55 CPUtime=0.93 cores=0,2,4,6
/proc/1919/task/1930/stat : 1930 (java) S 1916 1919 8289 0 -1 1077944384 3790 0 0 0 92 1 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081234573296 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1931] ppid=1916 vsize=13980036 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/1919/task/1931/stat : 1931 (java) S 1916 1919 8289 0 -1 1077944384 2824 0 0 0 86 0 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081233520752 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1932] ppid=1916 vsize=13980036 memory=288230583199596876 CPUtime=0.5 cores=0,2,4,6
/proc/1919/task/1932/stat : 1932 (java) S 1916 1919 8289 0 -1 1077944384 2240 0 0 0 50 0 0 0 20 0 15 0 129729465 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140081232468208 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1933] ppid=1916 vsize=13980036 memory=13572608578816031 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1933/stat : 1933 (java) S 1916 1919 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129729466 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140080601885280 140081692219093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
[pid=1919/tid=1934] ppid=1916 vsize=13980036 memory=7020451675520458129 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1934/stat : 1934 (java) S 1916 1919 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129729470 14315556864 112556 18446744073709551615 4194304 4196468 140727998254224 140080600832816 140081692220034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 55 0 0 6293624 6294260 13357056 140727998259566 140727998259753 140727998259753 140727998263247 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 450224 KiB

Child status: 0
Real time (s): 4.8749
CPU time (s): 7.45974
CPU user time (s): 7.15355
CPU system time (s): 0.306191
CPU usage (%): 153.023
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 450224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.15355
system time used= 0.306191
maximum resident set size= 450704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2418
involuntary context switches= 20


# summary of solver processes directly reported to runsolver:
#   pid: 1919
#   total CPU time (s): 7.45974
#   total CPU user time (s): 7.15355
#   total CPU system time (s): 0.306191

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050025 second user time and 0.08958 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-15 19:31:35
IDJOB=4274276
IDBENCH=135913
IDSOLVER=2666
FILE ID=node133/4274276-1502819143
RUNJOBID= node133-1502652501-6258
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-727-a4_X2.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274276-1502819143/watcher-4274276-1502819143 -o /tmp/evaluation-result-4274276-1502819143/solver-4274276-1502819143 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6258 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1953360760 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274276-1502819143.xml

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

MD5SUM BENCH= feda79726080e93715556435cff6944b
RANDOM SEED=1953360760

node133.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.17
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.17
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.17
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.17
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:        30983732 kB
MemAvailable:   31771636 kB
Buffers:          276676 kB
Cached:           811372 kB
SwapCached:            0 kB
Active:          1056084 kB
Inactive:         275092 kB
Active(anon):     184160 kB
Inactive(anon):   108952 kB
Active(file):     871924 kB
Inactive(file):   166140 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42396 kB
Writeback:             0 kB
AnonPages:        242032 kB
Mapped:            76996 kB
Shmem:             49852 kB
Slab:             158452 kB
SReclaimable:     131352 kB
SUnreclaim:        27100 kB
KernelStack:        3552 kB
PageTables:         6152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1193812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61948 MiB
End job on node133 at 2017-08-15 19:31:40