Trace number 4308785

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
OscaR - Parallel with EPS 2018-08-14SAT (TO)3090 20016.1 2520.29

General information on the benchmark

NameTravelingTournament/
TravelingTournament-a3-galaxy08_c18.xml
MD5SUM999d72664bbc4f113c6ae8b8cae55b16
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2828
Best CPU time to get the best result obtained on this benchmark20093.8
Satisfiable
(Un)Satisfiability was proved
Number of variables456
Number of constraints1111
Number of domains3
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":224},{"size":8,"count":112},{"size":24,"count":120}]
Minimum variable degree2
Maximum variable degree26
Distribution of variable degrees[{"degree":2,"count":232},{"degree":23,"count":96},{"degree":24,"count":112},{"degree":25,"count":14},{"degree":26,"count":2}]
Minimum constraint arity2
Maximum constraint arity14
Distribution of constraint arities[{"arity":2,"count":113},{"arity":3,"count":16},{"arity":4,"count":624},{"arity":5,"count":104},{"arity":8,"count":126},{"arity":10,"count":112},{"arity":14,"count":16}]
Number of extensional constraints120
Number of intensional constraints737
Distribution of constraint types[{"type":"extension","count":120},{"type":"intension","count":737},{"type":"regular","count":8},{"type":"allDifferent","count":14},{"type":"cardinality","count":8},{"type":"element","count":224}]
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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1077717300
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
2.62/1.27	c Parsing done, starting search...
107.18/15.60	o 3647
107.18/15.62	o 3601
107.85/15.70	o 3568
107.85/15.70	o 3555
107.85/15.70	o 3553
108.64/15.81	o 3536
108.64/15.86	o 3530
108.64/15.88	o 3508
109.44/15.91	o 3495
109.44/15.92	o 3491
110.30/16.01	o 3479
110.30/16.01	o 3471
112.63/16.34	o 3469
112.63/16.34	o 3441
112.63/16.36	o 3435
112.63/16.36	o 3407
114.22/16.56	o 3397
115.81/16.74	o 3395
122.96/17.64	o 3387
140.49/19.82	o 3367
148.45/20.89	o 3342
163.57/22.71	o 3316
163.57/22.72	o 3291
163.57/22.78	o 3276
207.34/28.29	o 3261
207.34/28.30	o 3210
222.55/30.16	o 3144
330.01/43.69	o 3132
429.80/56.13	o 3117
526.02/68.28	o 3115
526.02/68.28	o 3090
20014.02/2520.11	s SATISFIABLE
20014.02/2520.11	v <instantiation>
20014.02/2520.11	v 	<list>
20014.02/2520.11	v 		o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14]
20014.02/2520.11	v 	</list>
20014.02/2520.11	v 	<values>
20014.02/2520.11	v 		5 4 7 4 7 2 6 5 2 1 3 1 3 6 7 5 4 5 6 4 3 6 3 0 2 0 2 7 4 6 6 3 4 0 7 7 0 5 1 3 1 5 6 7 5 2 5 6 1 4 1 7 0 2 0 4 2 0 1 0 2 1 5 3 7 6 5 7 6 3 0 1 3 1 3 7 4 0 6 2 4 6 7 2 3 2 2 7 1 3 0 1 5 4 7 5 4 0 1 3 0 6 0 5 2 2 4 3 6 4 5 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 36 36 0 44 56 15 39 39 10 10 0 34 47 44 0 0 0 40 27 18 31 0 32 32 22 15 10 44 44 45 18 56 47 47 0 0 56 44 15 0 0 22 40 50 47 47 41 41 0 0 32 32 0 14 44 15 47 51 51 0 0 31 10 15 45 35 41 14 64 0 0 18 18 0 39 10 40 0 41 14 48 0 27 56 45 35 0 0 0 0 0 56 56 59 47 34 10 39 18 18 27 27 0 0 44 32 34 44 0 0 56 56 0 0 59 18 35 48 0 
20014.02/2520.11	v 	</values>
20014.02/2520.11	v </instantiation>

Verifier Data 

OK	3090

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308785-1534389134/watcher-4308785-1534389134 -o /tmp/evaluation-result-4308785-1534389134/solver-4308785-1534389134 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534383027-4024 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1077717300 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308785-1534389134.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100144 s]*
/proc/loadavg: 8.86 8.70 8.70 2/199 4800
/proc/meminfo: memFree=26876240/32770624 swapFree=67108804/67108860
[pid=4780] ppid=4777 vsize=26103420 memory=30880 CPUtime=0.12 cores=0-7
/proc/4780/stat : 4780 (java) S 4777 4780 3997 0 -1 1077944320 7167 0 0 0 11 1 0 0 20 0 20 0 256476609 26729902080 7720 33554432000 4194304 4196468 140732440778288 140732440760832 139632555392759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
/proc/4780/statm: 6525855 7720 3119 1 0 6487932 0
[pid=4780/tid=4782] ppid=4777 vsize=26103420 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/4780/task/4782/stat : 4782 (java) R 4777 4780 3997 0 -1 4202560 5405 0 0 0 8 0 0 0 20 0 20 0 256476610 26729902080 7918 33554432000 4194304 4196468 140732440778288 139632559587568 139632535668519 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4783] ppid=4777 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/4780/task/4783/stat : 4783 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 7918 33554432000 4194304 4196468 140732440778288 139632477973136 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4784] ppid=4777 vsize=26103420 memory=140283389908608 CPUtime=0 cores=0-7
/proc/4780/task/4784/stat : 4784 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 7918 33554432000 4194304 4196468 140732440778288 139632476920336 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4785] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4785/stat : 4785 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 7918 33554432000 4194304 4196468 140732440778288 139632475867536 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4786] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4786/stat : 4786 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 7918 33554432000 4194304 4196468 140732440778288 139632109967632 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4787] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4787/stat : 4787 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 7918 33554432000 4194304 4196468 140732440778288 139632108915856 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4788] ppid=4777 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/4780/task/4788/stat : 4788 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 7918 33554432000 4194304 4196468 140732440778288 139632107863056 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4789] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4789/stat : 4789 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 7918 33554432000 4194304 4196468 140732440778288 139632106810256 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4790] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4790/stat : 4790 (java) S 4777 4780 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 7918 33554432000 4194304 4196468 140732440778288 139632105757456 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4791] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4791/stat : 4791 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476612 26729902080 7918 33554432000 4194304 4196468 140732440778288 139631817390448 139632555403906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4792] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4792/stat : 4792 (java) S 4777 4780 3997 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256476613 26729902080 7918 33554432000 4194304 4196468 140732440778288 139631816336416 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4793] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4793/stat : 4793 (java) S 4777 4780 3997 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256476613 26729902080 7984 33554432000 4194304 4196468 140732440778288 139631815283568 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4794] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4794/stat : 4794 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 7984 33554432000 4194304 4196468 140732440778288 139631814231888 139632555411355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4795] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4795/stat : 4795 (java) S 4777 4780 3997 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 7984 33554432000 4194304 4196468 140732440778288 139631813180272 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4796] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4796/stat : 4796 (java) S 4777 4780 3997 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 7984 33554432000 4194304 4196468 140732440778288 139631812127472 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4797] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4797/stat : 4797 (java) S 4777 4780 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 7984 33554432000 4194304 4196468 140732440778288 139631811074672 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4798] ppid=4777 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/4780/task/4798/stat : 4798 (java) S 4777 4780 3997 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 20 0 256476615 26729902080 7984 33554432000 4194304 4196468 140732440778288 139631810021872 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4799] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4799/stat : 4799 (java) S 4777 4780 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 7984 33554432000 4194304 4196468 140732440778288 139631808969312 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4800] ppid=4777 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/4780/task/4800/stat : 4800 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476616 26729902080 7984 33554432000 4194304 4196468 140732440778288 139631807916592 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 30880 KiB

[startup+0.210303 s]*
/proc/loadavg: 8.86 8.70 8.70 3/199 4800
/proc/meminfo: memFree=26863032/32770624 swapFree=67108804/67108860
[pid=4780] ppid=4777 vsize=26103420 memory=43652 CPUtime=0.3 cores=0-7
/proc/4780/stat : 4780 (java) S 4777 4780 3997 0 -1 1077944320 10522 0 0 0 28 2 0 0 20 0 20 0 256476609 26729902080 10913 33554432000 4194304 4196468 140732440778288 140732440760832 139632555392759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
/proc/4780/statm: 6525855 10913 3391 1 0 6487932 0
[pid=4780/tid=4782] ppid=4777 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/4780/task/4782/stat : 4782 (java) R 4777 4780 3997 0 -1 4202560 8298 0 0 0 18 1 0 0 20 0 20 0 256476610 26729902080 10913 33554432000 4194304 4196468 140732440778288 139632559618912 139632555414685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4783] ppid=4777 vsize=26103420 memory=13939 CPUtime=0 cores=0-7
/proc/4780/task/4783/stat : 4783 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 10913 33554432000 4194304 4196468 140732440778288 139632477973136 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4784] ppid=4777 vsize=26103420 memory=140283389913312 CPUtime=0 cores=0-7
/proc/4780/task/4784/stat : 4784 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 10913 33554432000 4194304 4196468 140732440778288 139632476920336 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4785] ppid=4777 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/4780/task/4785/stat : 4785 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 10913 33554432000 4194304 4196468 140732440778288 139632475867536 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4786] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4786/stat : 4786 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 10913 33554432000 4194304 4196468 140732440778288 139632109967632 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4787] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4787/stat : 4787 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 10913 33554432000 4194304 4196468 140732440778288 139632108915856 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4788] ppid=4777 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/4780/task/4788/stat : 4788 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 10913 33554432000 4194304 4196468 140732440778288 139632107863056 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4789] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4789/stat : 4789 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 10913 33554432000 4194304 4196468 140732440778288 139632106810256 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4790] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4790/stat : 4790 (java) S 4777 4780 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 10913 33554432000 4194304 4196468 140732440778288 139632105757456 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4791] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4791/stat : 4791 (java) S 4777 4780 3997 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 256476612 26729902080 10913 33554432000 4194304 4196468 140732440778288 139631817390448 139632555403906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4792] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4792/stat : 4792 (java) S 4777 4780 3997 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256476613 26729902080 10913 33554432000 4194304 4196468 140732440778288 139631816336416 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4793] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4793/stat : 4793 (java) S 4777 4780 3997 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256476613 26729902080 10913 33554432000 4194304 4196468 140732440778288 139631815283568 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4794] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4794/stat : 4794 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 10913 33554432000 4194304 4196468 140732440778288 139631814231888 139632555411355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4795] ppid=4777 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/4780/task/4795/stat : 4795 (java) S 4777 4780 3997 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 256476615 26729902080 10913 33554432000 4194304 4196468 140732440778288 139631813180272 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4796] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4796/stat : 4796 (java) S 4777 4780 3997 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 10913 33554432000 4194304 4196468 140732440778288 139631812127472 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4797] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4797/stat : 4797 (java) S 4777 4780 3997 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 10913 33554432000 4194304 4196468 140732440778288 139631811074672 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4798] ppid=4777 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/4780/task/4798/stat : 4798 (java) R 4777 4780 3997 0 -1 4202560 284 0 0 0 6 0 0 0 20 0 20 0 256476615 26729902080 10913 33554432000 4194304 4196468 140732440778288 139631810019408 139632555414106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4799] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4799/stat : 4799 (java) S 4777 4780 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 10913 33554432000 4194304 4196468 140732440778288 139631808969312 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4800] ppid=4777 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/4780/task/4800/stat : 4800 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476616 26729902080 10913 33554432000 4194304 4196468 140732440778288 139631807916592 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43652 KiB

[startup+0.310284 s]*
/proc/loadavg: 8.86 8.70 8.70 2/199 4800
/proc/meminfo: memFree=26859496/32770624 swapFree=67108804/67108860
[pid=4780] ppid=4777 vsize=26103420 memory=46968 CPUtime=0.43 cores=0-7
/proc/4780/stat : 4780 (java) S 4777 4780 3997 0 -1 1077944320 10947 0 0 0 41 2 0 0 20 0 20 0 256476609 26729902080 11742 33554432000 4194304 4196468 140732440778288 140732440760832 139632555392759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
/proc/4780/statm: 6525855 11742 3393 1 0 6487932 0
[pid=4780/tid=4782] ppid=4777 vsize=26103420 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4780/task/4782/stat : 4782 (java) R 4777 4780 3997 0 -1 4202560 8644 0 0 0 28 1 0 0 20 0 20 0 256476610 26729902080 11742 33554432000 4194304 4196468 140732440778288 139632559593264 139632540558398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4783] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4783/stat : 4783 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 11742 33554432000 4194304 4196468 140732440778288 139632477973136 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4784] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4784/stat : 4784 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 11742 33554432000 4194304 4196468 140732440778288 139632476920336 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4785] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4785/stat : 4785 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 11742 33554432000 4194304 4196468 140732440778288 139632475867536 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4786] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4786/stat : 4786 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 11742 33554432000 4194304 4196468 140732440778288 139632109967632 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4787] ppid=4777 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/4780/task/4787/stat : 4787 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 11742 33554432000 4194304 4196468 140732440778288 139632108915856 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4788] ppid=4777 vsize=26103420 memory=140283228550063 CPUtime=0 cores=0-7
/proc/4780/task/4788/stat : 4788 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 11742 33554432000 4194304 4196468 140732440778288 139632107863056 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4789] ppid=4777 vsize=26103420 memory=140283228552368 CPUtime=0 cores=0-7
/proc/4780/task/4789/stat : 4789 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 11742 33554432000 4194304 4196468 140732440778288 139632106810256 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4790] ppid=4777 vsize=26103420 memory=140283228554672 CPUtime=0 cores=0-7
/proc/4780/task/4790/stat : 4790 (java) S 4777 4780 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256476611 26729902080 11742 33554432000 4194304 4196468 140732440778288 139632105757456 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4791] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4791/stat : 4791 (java) S 4777 4780 3997 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 256476612 26729902080 11742 33554432000 4194304 4196468 140732440778288 139631817390448 139632555403906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4792] ppid=4777 vsize=26103420 memory=280566457116304 CPUtime=0 cores=0-7
/proc/4780/task/4792/stat : 4792 (java) S 4777 4780 3997 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256476613 26729902080 11742 33554432000 4194304 4196468 140732440778288 139631816336416 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4793] ppid=4777 vsize=26103420 memory=280566457123216 CPUtime=0 cores=0-7
/proc/4780/task/4793/stat : 4793 (java) S 4777 4780 3997 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256476613 26729902080 11742 33554432000 4194304 4196468 140732440778288 139631815283568 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4794] ppid=4777 vsize=26103420 memory=280566457064496 CPUtime=0 cores=0-7
/proc/4780/task/4794/stat : 4794 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 11742 33554432000 4194304 4196468 140732440778288 139631814231888 139632555411355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4795] ppid=4777 vsize=26103420 memory=280566457137040 CPUtime=0.01 cores=0-7
/proc/4780/task/4795/stat : 4795 (java) S 4777 4780 3997 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 256476615 26729902080 11742 33554432000 4194304 4196468 140732440778288 139631813180272 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4796] ppid=4777 vsize=26103420 memory=280566457143952 CPUtime=0 cores=0-7
/proc/4780/task/4796/stat : 4796 (java) S 4777 4780 3997 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 11742 33554432000 4194304 4196468 140732440778288 139631812127472 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4797] ppid=4777 vsize=26103420 memory=280566457141648 CPUtime=0.01 cores=0-7
/proc/4780/task/4797/stat : 4797 (java) S 4777 4780 3997 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 256476615 26729902080 11742 33554432000 4194304 4196468 140732440778288 139631811074672 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4798] ppid=4777 vsize=26103420 memory=280566457158256 CPUtime=0.08 cores=0-7
/proc/4780/task/4798/stat : 4798 (java) S 4777 4780 3997 0 -1 1077944384 291 0 0 0 8 0 0 0 20 0 20 0 256476615 26729902080 11742 33554432000 4194304 4196468 140732440778288 139631810021872 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4799] ppid=4777 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4799/stat : 4799 (java) S 4777 4780 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256476615 26729902080 11742 33554432000 4194304 4196468 140732440778288 139631808969312 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4800] ppid=4777 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/4780/task/4800/stat : 4800 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476616 26729902080 11742 33554432000 4194304 4196468 140732440778288 139631807916592 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46968 KiB

[startup+0.700897 s]
/proc/loadavg: 8.86 8.70 8.70 2/199 4800
/proc/meminfo: memFree=26835312/32770624 swapFree=67108804/67108860
[pid=4780] ppid=4777 vsize=26105488 memory=87696 CPUtime=0.99 cores=0-7
/proc/4780/stat : 4780 (java) S 4777 4780 3997 0 -1 1077944320 17823 0 0 0 94 5 0 0 20 0 20 0 256476609 26732019712 21924 33554432000 4194304 4196468 140732440778288 140732440760832 139632555392759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
/proc/4780/statm: 6526372 21924 3497 1 0 6488444 0
[pid=4780/tid=4782] ppid=4777 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/4780/task/4782/stat : 4782 (java) R 4777 4780 3997 0 -1 4202560 15080 0 0 0 64 3 0 0 20 0 20 0 256476610 26732019712 21924 33554432000 4194304 4196468 140732440778288 139632559616080 139632538589990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4783] ppid=4777 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4783/stat : 4783 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26732019712 21924 33554432000 4194304 4196468 140732440778288 139632477973136 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4784] ppid=4777 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4784/stat : 4784 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26732019712 21924 33554432000 4194304 4196468 140732440778288 139632476920336 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4785] ppid=4777 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/4780/task/4785/stat : 4785 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26732019712 21924 33554432000 4194304 4196468 140732440778288 139632475867536 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4786] ppid=4777 vsize=26105488 memory=1060 CPUtime=0 cores=0-7
/proc/4780/task/4786/stat : 4786 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26732019712 21924 33554432000 4194304 4196468 140732440778288 139632109967632 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4787] ppid=4777 vsize=26105488 memory=5840 CPUtime=0 cores=0-7
/proc/4780/task/4787/stat : 4787 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26732019712 21924 33554432000 4194304 4196468 140732440778288 139632108915856 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4788] ppid=4777 vsize=26105488 memory=3304 CPUtime=0 cores=0-7
/proc/4780/task/4788/stat : 4788 (java) S 4777 4780 3997 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256476611 26732019712 21924 33554432000 4194304 4196468 140732440778288 139632107863056 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4789] ppid=4777 vsize=26105488 memory=1260 CPUtime=0 cores=0-7
/proc/4780/task/4789/stat : 4789 (java) S 4777 4780 3997 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256476611 26732019712 21924 33554432000 4194304 4196468 140732440778288 139632106810256 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4790] ppid=4777 vsize=26105488 memory=14872 CPUtime=0 cores=0-7
/proc/4780/task/4790/stat : 4790 (java) S 4777 4780 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256476611 26732019712 21924 33554432000 4194304 4196468 140732440778288 139632105757456 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4791] ppid=4777 vsize=26105488 memory=3296 CPUtime=0 cores=0-7

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

/proc/4780/task/4804/stat : 4804 (java) S 4777 4780 3997 0 -1 1077944384 110 0 0 0 13 0 0 0 20 0 46 0 256476921 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631652746784 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4805] ppid=4777 vsize=27852572 memory=1572 CPUtime=2485.3 cores=0-7
/proc/4780/task/4805/stat : 4805 (java) R 4777 4780 3997 0 -1 4202560 134918 0 0 0 248351 179 0 0 20 0 46 0 256476921 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631651685584 139632164844864 0 4 0 16800975 0 0 0 -1 4 0 0 33 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4806] ppid=4777 vsize=27852572 memory=2176 CPUtime=2486.66 cores=0-7
/proc/4780/task/4806/stat : 4806 (java) R 4777 4780 3997 0 -1 4202560 131178 0 0 0 248499 167 0 0 20 0 46 0 256476928 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631648535712 139632172486306 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4807] ppid=4777 vsize=27852572 memory=3984 CPUtime=0.11 cores=0-7
/proc/4780/task/4807/stat : 4807 (java) S 4777 4780 3997 0 -1 1077944384 75 0 0 0 11 0 0 0 20 0 46 0 256476928 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631647491232 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4808] ppid=4777 vsize=27852572 memory=1916 CPUtime=2483.7 cores=0-7
/proc/4780/task/4808/stat : 4808 (java) R 4777 4780 3997 0 -1 4202560 115084 0 0 0 248238 132 0 0 20 0 46 0 256476928 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631646430072 139632172475578 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4809] ppid=4777 vsize=27852572 memory=7528 CPUtime=2486.29 cores=0-7
/proc/4780/task/4809/stat : 4809 (java) R 4777 4780 3997 0 -1 4202560 141848 0 0 0 248443 186 0 0 20 0 46 0 256476928 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631645377824 139632166380714 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4810] ppid=4777 vsize=27852572 memory=808 CPUtime=0.12 cores=0-7
/proc/4780/task/4810/stat : 4810 (java) S 4777 4780 3997 0 -1 1077944384 128 0 0 0 12 0 0 0 20 0 46 0 256476928 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631644332832 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4811] ppid=4777 vsize=27852572 memory=1796 CPUtime=0 cores=0-7
/proc/4780/task/4811/stat : 4811 (java) S 4777 4780 3997 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 46 0 256476928 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631643281056 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4812] ppid=4777 vsize=27852572 memory=916 CPUtime=2482.96 cores=0-7
/proc/4780/task/4812/stat : 4812 (java) R 4777 4780 3997 0 -1 4202560 120665 0 0 0 248157 139 0 0 20 0 46 0 256476928 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631642220264 139632170719873 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4813] ppid=4777 vsize=27852572 memory=2627548 CPUtime=2485.97 cores=0-7
/proc/4780/task/4813/stat : 4813 (java) R 4777 4780 3997 0 -1 4202560 117179 0 0 0 248455 142 0 0 20 0 46 0 256476929 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631641167096 139632165045120 0 4 0 16800975 0 0 0 -1 1 0 0 36 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4814] ppid=4777 vsize=27852572 memory=4104 CPUtime=2486.49 cores=0-7
/proc/4780/task/4814/stat : 4814 (java) R 4777 4780 3997 0 -1 4202560 140861 0 0 0 248470 179 0 0 20 0 46 0 256476929 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631640117376 139632156163925 0 4 0 16800975 0 0 0 -1 7 0 0 29 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4815] ppid=4777 vsize=27852572 memory=2626008 CPUtime=0 cores=0-7
/proc/4780/task/4815/stat : 4815 (java) S 4777 4780 3997 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 256476945 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631639069856 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4816] ppid=4777 vsize=27852572 memory=4564 CPUtime=0 cores=0-7
/proc/4780/task/4816/stat : 4816 (java) S 4777 4780 3997 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 256476945 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631638017056 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4817] ppid=4777 vsize=27852572 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/4780/task/4817/stat : 4817 (java) S 4777 4780 3997 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 46 0 256476945 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631636964256 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4818] ppid=4777 vsize=27852572 memory=38700 CPUtime=0 cores=0-7
/proc/4780/task/4818/stat : 4818 (java) S 4777 4780 3997 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 46 0 256476945 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631635911312 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4819] ppid=4777 vsize=27852572 memory=496 CPUtime=0 cores=0-7
/proc/4780/task/4819/stat : 4819 (java) S 4777 4780 3997 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 256478171 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631632725664 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4820] ppid=4777 vsize=27852572 memory=1616 CPUtime=0 cores=0-7
/proc/4780/task/4820/stat : 4820 (java) S 4777 4780 3997 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 46 0 256478173 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631631672864 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4821] ppid=4777 vsize=27852572 memory=932 CPUtime=0 cores=0-7
/proc/4780/task/4821/stat : 4821 (java) S 4777 4780 3997 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 256478173 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631630620064 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4822] ppid=4777 vsize=27852572 memory=1168 CPUtime=0 cores=0-7
/proc/4780/task/4822/stat : 4822 (java) S 4777 4780 3997 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 256478173 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631629567264 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4823] ppid=4777 vsize=27852572 memory=1984 CPUtime=0 cores=0-7
/proc/4780/task/4823/stat : 4823 (java) S 4777 4780 3997 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 46 0 256478173 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631628514464 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4824] ppid=4777 vsize=27852572 memory=920 CPUtime=0 cores=0-7
/proc/4780/task/4824/stat : 4824 (java) S 4777 4780 3997 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 256478245 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631627461664 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4825] ppid=4777 vsize=27852572 memory=1572 CPUtime=0 cores=0-7
/proc/4780/task/4825/stat : 4825 (java) S 4777 4780 3997 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 256478247 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631626408864 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4826] ppid=4777 vsize=27852572 memory=2176 CPUtime=0 cores=0-7
/proc/4780/task/4826/stat : 4826 (java) S 4777 4780 3997 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 46 0 256478249 28521033728 655989 33554432000 4194304 4196468 140732440778288 139631625356064 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
Current children cumulated CPU time: 20014 s
Current children cumulated vsize: 27852572 KiB
Current children cumulated memory: 2623956 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.29 s]
# the end of solver process 4780 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19998.3 s, system=17.7493 s

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

[startup+2520.2 s]
/proc/loadavg: 8.76 8.84 8.87 10/225 4861
/proc/meminfo: memFree=24270676/32770624 swapFree=67108804/67108860
[pid=4780] ppid=4777 vsize=27986728 memory=2624768 CPUtime=20015.5 cores=0-7
/proc/4780/stat : 4780 (java) S 4777 4780 3997 0 -1 1077944320 2334962 0 0 0 1999777 1773 0 0 20 0 48 0 256476609 28658409472 656192 33554432000 4194304 4196468 140732440778288 140732440760832 139632555392759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
/proc/4780/statm: 6996682 656192 3629 1 0 6958233 0
[pid=4780/tid=4782] ppid=4777 vsize=27986728 memory=752 CPUtime=3.07 cores=0-7
/proc/4780/task/4782/stat : 4782 (java) S 4777 4780 3997 0 -1 1077944384 22365 0 0 0 299 8 0 0 20 0 48 0 256476610 28658409472 656192 33554432000 4194304 4196468 140732440778288 139632559630224 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4783] ppid=4777 vsize=27986728 memory=3708 CPUtime=12.65 cores=0-7
/proc/4780/task/4783/stat : 4783 (java) S 4777 4780 3997 0 -1 1077944384 109575 0 0 0 1218 47 0 0 20 0 48 0 256476611 28658409472 656192 33554432000 4194304 4196468 140732440778288 139632477973136 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4784] ppid=4777 vsize=27986728 memory=6791534058613427641 CPUtime=12.73 cores=0-7
/proc/4780/task/4784/stat : 4784 (java) S 4777 4780 3997 0 -1 1077944384 123261 0 0 0 1225 48 0 0 20 0 48 0 256476611 28658409472 656192 33554432000 4194304 4196468 140732440778288 139632476920336 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4785] ppid=4777 vsize=27986728 memory=932 CPUtime=12.68 cores=0-7
/proc/4780/task/4785/stat : 4785 (java) S 4777 4780 3997 0 -1 1077944384 129068 0 0 0 1217 51 0 0 20 0 48 0 256476611 28658409472 656192 33554432000 4194304 4196468 140732440778288 139632475867536 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4786] ppid=4777 vsize=27986728 memory=1168 CPUtime=12.57 cores=0-7
/proc/4780/task/4786/stat : 4786 (java) S 4777 4780 3997 0 -1 1077944384 112732 0 0 0 1209 48 0 0 20 0 48 0 256476611 28658409472 656192 33554432000 4194304 4196468 140732440778288 139632109967632 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4787] ppid=4777 vsize=27986728 memory=1984 CPUtime=12.66 cores=0-7
/proc/4780/task/4787/stat : 4787 (java) S 4777 4780 3997 0 -1 1077944384 110062 0 0 0 1220 46 0 0 20 0 48 0 256476611 28658409472 656192 33554432000 4194304 4196468 140732440778288 139632108915856 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4788] ppid=4777 vsize=27986728 memory=920 CPUtime=12.74 cores=0-7
/proc/4780/task/4788/stat : 4788 (java) S 4777 4780 3997 0 -1 1077944384 123101 0 0 0 1222 52 0 0 20 0 48 0 256476611 28658409472 656192 33554432000 4194304 4196468 140732440778288 139632107863056 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4789] ppid=4777 vsize=27986728 memory=1572 CPUtime=12.67 cores=0-7
/proc/4780/task/4789/stat : 4789 (java) S 4777 4780 3997 0 -1 1077944384 117841 0 0 0 1218 49 0 0 20 0 48 0 256476611 28658409472 656192 33554432000 4194304 4196468 140732440778288 139632106810256 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4790] ppid=4777 vsize=27986728 memory=2176 CPUtime=12.62 cores=0-7
/proc/4780/task/4790/stat : 4790 (java) S 4777 4780 3997 0 -1 1077944384 117395 0 0 0 1213 49 0 0 20 0 48 0 256476611 28658409472 656192 33554432000 4194304 4196468 140732440778288 139632105757456 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4791] ppid=4777 vsize=27986728 memory=3984 CPUtime=4.02 cores=0-7
/proc/4780/task/4791/stat : 4791 (java) S 4777 4780 3997 0 -1 1077944384 231514 0 0 0 317 85 0 0 20 0 48 0 256476612 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631817390448 139632555403906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4792] ppid=4777 vsize=27986728 memory=1916 CPUtime=0 cores=0-7
/proc/4780/task/4792/stat : 4792 (java) S 4777 4780 3997 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 48 0 256476613 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631816336480 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4793] ppid=4777 vsize=27986728 memory=7528 CPUtime=0 cores=0-7
/proc/4780/task/4793/stat : 4793 (java) S 4777 4780 3997 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 48 0 256476613 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631815283584 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4794] ppid=4777 vsize=27986728 memory=808 CPUtime=0 cores=0-7
/proc/4780/task/4794/stat : 4794 (java) S 4777 4780 3997 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 48 0 256476615 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631814231888 139632555411355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4795] ppid=4777 vsize=27986728 memory=1796 CPUtime=3.97 cores=0-7
/proc/4780/task/4795/stat : 4795 (java) S 4777 4780 3997 0 -1 1077944384 15438 0 0 0 393 4 0 0 20 0 48 0 256476615 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631813180272 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4796] ppid=4777 vsize=27986728 memory=916 CPUtime=3.64 cores=0-7
/proc/4780/task/4796/stat : 4796 (java) S 4777 4780 3997 0 -1 1077944384 16642 0 0 0 362 2 0 0 20 0 48 0 256476615 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631812127472 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4797] ppid=4777 vsize=27986728 memory=4904 CPUtime=4.15 cores=0-7
/proc/4780/task/4797/stat : 4797 (java) S 4777 4780 3997 0 -1 1077944384 16235 0 0 0 412 3 0 0 20 0 48 0 256476615 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631811074672 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4798] ppid=4777 vsize=27986728 memory=808 CPUtime=1.51 cores=0-7
/proc/4780/task/4798/stat : 4798 (java) S 4777 4780 3997 0 -1 1077944384 22658 0 0 0 147 4 0 0 20 0 48 0 256476615 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631810021872 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4799] ppid=4777 vsize=27986728 memory=1796 CPUtime=0 cores=0-7
/proc/4780/task/4799/stat : 4799 (java) S 4777 4780 3997 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 256476615 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631808969312 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4800] ppid=4777 vsize=27986728 memory=916 CPUtime=1.06 cores=0-7
/proc/4780/task/4800/stat : 4800 (java) S 4777 4780 3997 0 -1 1077944384 8534 0 0 0 60 46 0 0 20 0 48 0 256476616 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631807916592 139632555403906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4801] ppid=4777 vsize=27986728 memory=4904 CPUtime=0 cores=0-7
/proc/4780/task/4801/stat : 4801 (java) S 4777 4780 3997 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 48 0 256476885 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631660098176 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4802] ppid=4777 vsize=27986728 memory=4104 CPUtime=5.56 cores=0-7
/proc/4780/task/4802/stat : 4802 (java) R 4777 4780 3997 0 -1 1077944384 19025 0 0 0 253 303 0 0 20 0 48 0 256476905 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631656948400 139632555403906 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4803] ppid=4777 vsize=27986728 memory=1408 CPUtime=2487.98 cores=0-7
/proc/4780/task/4803/stat : 4803 (java) R 4777 4780 3997 0 -1 4202560 132853 0 0 0 248637 161 0 0 20 0 48 0 256476920 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631653791368 139632171412210 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4804] ppid=4777 vsize=27986728 memory=4564 CPUtime=0.14 cores=0-7
/proc/4780/task/4804/stat : 4804 (java) S 4777 4780 3997 0 -1 1077944384 316 0 0 0 14 0 0 0 20 0 48 0 256476921 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631652746784 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4805] ppid=4777 vsize=27986728 memory=2633192 CPUtime=2485.46 cores=0-7
/proc/4780/task/4805/stat : 4805 (java) R 4777 4780 3997 0 -1 4202560 134918 0 0 0 248367 179 0 0 20 0 48 0 256476921 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631651686584 139632171770062 0 4 0 16800975 0 0 0 -1 1 0 0 33 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4806] ppid=4777 vsize=27986728 memory=8112282956445269571 CPUtime=2486.82 cores=0-7
/proc/4780/task/4806/stat : 4806 (java) R 4777 4780 3997 0 -1 4202560 131178 0 0 0 248515 167 0 0 20 0 48 0 256476928 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631648535864 139632170720416 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4807] ppid=4777 vsize=27986728 memory=4872558044660077418 CPUtime=0.11 cores=0-7
/proc/4780/task/4807/stat : 4807 (java) S 4777 4780 3997 0 -1 1077944384 104 0 0 0 11 0 0 0 20 0 48 0 256476928 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631647481136 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4808] ppid=4777 vsize=27986728 memory=836 CPUtime=2483.86 cores=0-7
/proc/4780/task/4808/stat : 4808 (java) R 4777 4780 3997 0 -1 4202560 115084 0 0 0 248254 132 0 0 20 0 48 0 256476928 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631646430072 139632171132174 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4809] ppid=4777 vsize=27986728 memory=1084 CPUtime=2486.43 cores=0-7
/proc/4780/task/4809/stat : 4809 (java) R 4777 4780 3997 0 -1 4202560 141848 0 0 0 248457 186 0 0 20 0 48 0 256476928 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631645377272 139632169605375 0 4 0 16800975 0 0 0 -1 4 0 0 33 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4810] ppid=4777 vsize=27986728 memory=2647040 CPUtime=0.12 cores=0-7
/proc/4780/task/4810/stat : 4810 (java) S 4777 4780 3997 0 -1 1077944384 174 0 0 0 12 0 0 0 20 0 48 0 256476928 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631644332832 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4811] ppid=4777 vsize=27986728 memory=7952 CPUtime=0 cores=0-7
/proc/4780/task/4811/stat : 4811 (java) S 4777 4780 3997 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 48 0 256476928 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631643281056 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4812] ppid=4777 vsize=27986728 memory=301741373374332954 CPUtime=2483.13 cores=0-7
/proc/4780/task/4812/stat : 4812 (java) R 4777 4780 3997 0 -1 4202560 120665 0 0 0 248174 139 0 0 20 0 48 0 256476928 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631642219872 139632170664508 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4813] ppid=4777 vsize=27986728 memory=304556131815260473 CPUtime=2486.15 cores=0-7
/proc/4780/task/4813/stat : 4813 (java) R 4777 4780 3997 0 -1 4202560 117179 0 0 0 248473 142 0 0 20 0 48 0 256476929 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631641168104 139632159156475 0 4 0 16800975 0 0 0 -1 7 0 0 36 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4814] ppid=4777 vsize=27986728 memory=16102554786335041 CPUtime=2486.66 cores=0-7
/proc/4780/task/4814/stat : 4814 (java) R 4777 4780 3997 0 -1 4202560 140861 0 0 0 248487 179 0 0 20 0 48 0 256476929 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631640115480 139632170923616 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4815] ppid=4777 vsize=27986728 memory=1572 CPUtime=0 cores=0-7
/proc/4780/task/4815/stat : 4815 (java) S 4777 4780 3997 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 48 0 256476945 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631639069856 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4816] ppid=4777 vsize=27986728 memory=2176 CPUtime=0 cores=0-7
/proc/4780/task/4816/stat : 4816 (java) S 4777 4780 3997 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 48 0 256476945 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631638017056 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4817] ppid=4777 vsize=27986728 memory=3984 CPUtime=0 cores=0-7
/proc/4780/task/4817/stat : 4817 (java) S 4777 4780 3997 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 48 0 256476945 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631636964256 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4818] ppid=4777 vsize=27986728 memory=1916 CPUtime=0 cores=0-7
/proc/4780/task/4818/stat : 4818 (java) S 4777 4780 3997 0 -1 1077944384 592 0 0 0 0 0 0 0 20 0 48 0 256476945 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631635900496 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4819] ppid=4777 vsize=27986728 memory=752 CPUtime=0 cores=0-7
/proc/4780/task/4819/stat : 4819 (java) S 4777 4780 3997 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 48 0 256478171 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631632725664 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4820] ppid=4777 vsize=27986728 memory=836 CPUtime=0 cores=0-7
/proc/4780/task/4820/stat : 4820 (java) S 4777 4780 3997 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 48 0 256478173 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631631672864 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4821] ppid=4777 vsize=27986728 memory=1084 CPUtime=0 cores=0-7
/proc/4780/task/4821/stat : 4821 (java) S 4777 4780 3997 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 48 0 256478173 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631630620064 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4822] ppid=4777 vsize=27986728 memory=1600 CPUtime=0 cores=0-7
/proc/4780/task/4822/stat : 4822 (java) S 4777 4780 3997 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 48 0 256478173 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631629567264 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4823] ppid=4777 vsize=27986728 memory=7952 CPUtime=0 cores=0-7
/proc/4780/task/4823/stat : 4823 (java) S 4777 4780 3997 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 48 0 256478173 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631628514464 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4824] ppid=4777 vsize=27986728 memory=4088 CPUtime=0 cores=0-7
/proc/4780/task/4824/stat : 4824 (java) R 4777 4780 3997 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 48 0 256478245 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631627457120 139632555402965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4825] ppid=4777 vsize=27986728 memory=1736 CPUtime=0 cores=0-7
/proc/4780/task/4825/stat : 4825 (java) S 4777 4780 3997 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 48 0 256478247 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631626408864 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
[pid=4780/tid=4826] ppid=4777 vsize=27986728 memory=8112282956445269571 CPUtime=0.01 cores=0-7
/proc/4780/task/4826/stat : 4826 (java) S 4777 4780 3997 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 48 0 256478249 28658409472 656192 33554432000 4194304 4196468 140732440778288 139631625356064 139632555402965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13852672 140732440785997 140732440786181 140732440786181 140732440788943 0
Current children cumulated CPU time: 20015.5 s
Current children cumulated vsize: 27986728 KiB
Current children cumulated memory: 2624768 KiB

Child status: 143
Real time (s): 2520.29
CPU time (s): 20016.1
CPU user time (s): 19998.3
CPU system time (s): 17.7493
CPU usage (%): 794.198
Max. virtual memory (cumulated for all children) (KiB): 27986728
Max. memory (cumulated for all children) (KiB): 4906900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19998.3
system time used= 17.7493
maximum resident set size= 4907948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2335154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 458447
involuntary context switches= 420947


# summary of solver processes directly reported to runsolver:
#   pid: 4780
#   total CPU time (s): 20016.1
#   total CPU user time (s): 19998.3
#   total CPU system time (s): 17.7493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.8627 second user time and 40.0201 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-16 05:12:14
IDJOB=4308785
IDBENCH=141546
IDSOLVER=2793
FILE ID=node105/4308785-1534389134
RUNJOBID= node105-1534383027-4024
PBS_JOBID= 21038306
Free space on /tmp= 49280 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy08_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308785-1534389134/watcher-4308785-1534389134 -o /tmp/evaluation-result-4308785-1534389134/solver-4308785-1534389134 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534383027-4024 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1077717300 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308785-1534389134.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 999d72664bbc4f113c6ae8b8cae55b16
RANDOM SEED=1077717300

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:        26893532 kB
MemAvailable:   31893624 kB
Buffers:          233836 kB
Cached:          5018220 kB
SwapCached:           16 kB
Active:          2290824 kB
Inactive:        3013780 kB
Active(anon):       4388 kB
Inactive(anon):   108668 kB
Active(file):    2286436 kB
Inactive(file):  2905112 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             35728 kB
Writeback:             4 kB
AnonPages:         60064 kB
Mapped:            54888 kB
Shmem:             57940 kB
Slab:             265784 kB
SReclaimable:     237004 kB
SUnreclaim:        28780 kB
KernelStack:        3232 kB
PageTables:         5264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 49244 MiB
End job on node105 at 2018-08-16 05:54:15