Trace number 4274289

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 - Conflict Ordering 2017-07-26OPT2 5.8733401 2.33389

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-07-09.xml
MD5SUMa3ba3cad77540d9164e30b3f583ccc44
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.92215198
Satisfiable
(Un)Satisfiability was proved
Number of variables63
Number of constraints757
Number of domains1
Minimum domain size63
Maximum domain size63
Distribution of domain sizes[{"size":63,"count":63}]
Minimum variable degree50
Maximum variable degree50
Distribution of variable degrees[{"degree":50,"count":63}]
Minimum constraint arity4
Maximum constraint arity63
Distribution of constraint arities[{"arity":4,"count":756},{"arity":63,"count":1}]
Number of extensional constraints0
Number of intensional constraints756
Distribution of constraint types[{"type":"intension","count":756},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.23/0.41	c version: 2017-07-26
0.23/0.41	c seed: 614318441
0.23/0.41	c timeout: 2520
0.23/0.41	c memlimit: 11000
0.23/0.41	c nbcore: 4
0.40/0.43	c Parsing instance...
2.13/1.15	c Parsing done, starting search...
2.39/1.25	o 62
2.39/1.29	o 61
2.75/1.31	o 60
2.75/1.34	o 59
2.75/1.36	o 58
3.09/1.41	o 57
3.09/1.43	o 56
3.09/1.45	o 55
3.09/1.47	o 54
3.09/1.48	o 53
3.38/1.50	o 52
3.38/1.52	o 51
3.38/1.54	o 50
3.38/1.55	o 49
3.38/1.56	o 48
3.38/1.57	o 47
3.38/1.58	o 46
3.38/1.59	o 45
3.69/1.60	o 44
3.69/1.61	o 43
3.69/1.62	o 42
3.69/1.64	o 41
3.69/1.65	o 40
3.69/1.66	o 39
3.69/1.67	o 38
3.69/1.68	o 37
3.69/1.69	o 36
3.69/1.70	o 35
3.99/1.70	o 34
3.99/1.71	o 33
3.99/1.72	o 32
3.99/1.73	o 31
3.99/1.74	o 30
3.99/1.74	o 29
3.99/1.75	o 28
3.99/1.76	o 27
3.99/1.77	o 26
3.99/1.77	o 25
3.99/1.78	o 24
3.99/1.79	o 23
3.99/1.80	o 22
4.29/1.80	o 21
4.29/1.81	o 20
4.29/1.82	o 19
4.29/1.82	o 18
4.29/1.83	o 17
4.29/1.84	o 16
4.29/1.85	o 15
4.29/1.85	o 14
4.29/1.86	o 13
4.29/1.86	o 12
4.29/1.87	o 11
4.29/1.88	o 10
4.29/1.88	o 9
4.29/1.89	o 8
4.59/1.90	o 7
4.59/1.90	o 6
4.59/1.91	o 5
4.59/1.91	o 4
4.59/1.92	o 3
4.91/2.06	o 2
5.80/2.31	s OPTIMUM FOUND
5.80/2.31	v <instantiation>
5.80/2.31	v 	<list>
5.80/2.31	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8]
5.80/2.31	v 	</list>
5.80/2.31	v 	<values>
5.80/2.31	v 		0 1 1 2 2 2 2 2 2 0 1 2 0 0 0 1 1 2 0 2 0 1 1 2 0 1 0 1 1 2 0 1 2 0 0 1 2 0 0 1 2 0 1 0 1 2 0 2 2 0 1 0 1 1 2 2 1 0 1 1 1 2 0 
5.80/2.31	v 	</values>
5.80/2.31	v </instantiation>

Verifier Data 

OK	2

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274289-1502851922/watcher-4274289-1502851922 -o /tmp/evaluation-result-4274289-1502851922/solver-4274289-1502851922 -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 614318441 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274289-1502851922.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
solver pid=7365, runsolver pid=7362
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 1.82 1.55 1.53 3/199 7366
/proc/meminfo: memFree=28178784/32770624 swapFree=67108860/67108860
[pid=7365] ppid=7362 vsize=356952 memory=5776 CPUtime=0 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7362 7365 8289 0 -1 1077944320 1746 0 0 0 0 0 0 0 20 0 2 0 133007411 365518848 1379 18446744073709551615 4194304 4196468 140735135480640 140735135463184 140477676240631 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
/proc/7365/statm: 89238 1444 1097 1 0 79208 0
[pid=7365/tid=7367] ppid=7362 vsize=11659680 memory=-7173493468631824323 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) R 7362 7365 8289 0 -1 4202560 951 0 0 0 0 0 0 0 20 0 4 0 133007421 11939512320 1888 18446744073709551615 4194304 4196468 140735135480640 140477680482000 140477668957783 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7368] ppid=7362 vsize=11660708 memory=732370010822335461 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7362 7365 8289 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 133007422 11940564992 1954 18446744073709551615 4194304 4196468 140735135480640 140477275917152 140477676250837 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7369] ppid=7362 vsize=11661736 memory=139872484882048 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7362 7365 8289 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 133007422 11941617664 1954 18446744073709551615 4194304 4196468 140735135480640 140477274864608 140477676250837 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7370] ppid=7362 vsize=11661736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7362 7365 8289 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 133007422 11941617664 1954 18446744073709551615 4194304 4196468 140735135480640 140477273811552 140477676250837 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7371] ppid=7362 vsize=11858344 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) D 7362 7365 8289 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 6 0 133007422 12142944256 1954 18446744073709551615 4194304 4196468 140735135480640 140477272758152 140477668957594 0 4 1 16784584 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 356952 KiB
Current children cumulated memory: 5776 KiB

[startup+0.210035 s]*
/proc/loadavg: 1.82 1.55 1.53 3/213 7380
/proc/meminfo: memFree=28166280/32770624 swapFree=67108860/67108860
[pid=7365] ppid=7362 vsize=13976388 memory=25756 CPUtime=0.06 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7362 7365 8289 0 -1 1077944320 5947 0 0 0 5 1 0 0 20 0 15 0 133007411 14311821312 6439 18446744073709551615 4194304 4196468 140735135480640 140735135463184 140477676240631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
/proc/7365/statm: 3494097 6439 3295 1 0 3482876 0
[pid=7365/tid=7367] ppid=7362 vsize=13973048 memory=279744775979248 CPUtime=0.06 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) R 7362 7365 8289 0 -1 4202560 4043 0 0 0 5 1 0 0 20 0 15 0 133007421 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477680471888 140477661923862 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7368] ppid=7362 vsize=13973048 memory=732370010822335461 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007422 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477275916816 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7369] ppid=7362 vsize=13973048 memory=139872484882048 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007422 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477274864272 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7370] ppid=7362 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7362 7365 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 133007422 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477273811216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7371] ppid=7362 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007422 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477272758672 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7372] ppid=7362 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7362 7365 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 133007423 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477155338992 140477676251778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7373] ppid=7362 vsize=13973048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7362 7365 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 133007424 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477154285216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7374] ppid=7362 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7362 7365 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 133007424 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477153232112 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7375] ppid=7362 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477152180688 140477676259227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7376] ppid=7362 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) S 7362 7365 8289 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 133007426 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477151127792 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7377] ppid=7362 vsize=13973048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477150075248 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7378] ppid=7362 vsize=13973048 memory=139872484882048 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7362 7365 8289 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 133007426 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477149022192 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7379] ppid=7362 vsize=13973048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477147969888 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7380] ppid=7362 vsize=13973048 memory=139872484882048 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7380/stat : 7380 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007432 14308401152 5658 18446744073709551615 4194304 4196468 140735135480640 140477146917936 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13976388 KiB
Current children cumulated memory: 25756 KiB

[startup+0.310214 s]*
/proc/loadavg: 1.82 1.55 1.53 4/213 7380
/proc/meminfo: memFree=28152568/32770624 swapFree=67108860/67108860
[pid=7365] ppid=7362 vsize=13975920 memory=39892 CPUtime=0.23 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7362 7365 8289 0 -1 1077944320 10185 0 0 0 20 3 0 0 20 0 15 0 133007411 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140735135463184 140477676240631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
/proc/7365/statm: 3493980 9973 3531 1 0 3482759 0
[pid=7365/tid=7367] ppid=7362 vsize=13975920 memory=4209341120841998394 CPUtime=0.15 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) R 7362 7365 8289 0 -1 4202560 7935 0 0 0 13 2 0 0 20 0 15 0 133007421 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477680448784 140477660321118 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7368] ppid=7362 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007422 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477275916816 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7369] ppid=7362 vsize=13975920 memory=-6517102902069810590 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007422 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477274864272 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7370] ppid=7362 vsize=13975920 memory=7078086954470226784 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7362 7365 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 133007422 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477273811216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7371] ppid=7362 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007422 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477272758672 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7372] ppid=7362 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7362 7365 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 133007423 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477155338992 140477676251778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7373] ppid=7362 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7362 7365 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 133007424 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477154285216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7374] ppid=7362 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7362 7365 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 133007424 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477153232112 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7375] ppid=7362 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477152180688 140477676259227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7376] ppid=7362 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) S 7362 7365 8289 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 133007426 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477151127792 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7377] ppid=7362 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) S 7362 7365 8289 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 15 0 133007426 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477150075248 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7378] ppid=7362 vsize=13975920 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7362 7365 8289 0 -1 1077944384 357 0 0 0 4 0 0 0 20 0 15 0 133007426 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477149022192 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7379] ppid=7362 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477147969888 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7380] ppid=7362 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7380/stat : 7380 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007432 14311342080 9973 18446744073709551615 4194304 4196468 140735135480640 140477146917936 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39892 KiB

[startup+0.706317 s]
/proc/loadavg: 1.82 1.55 1.53 4/213 7380
/proc/meminfo: memFree=28139216/32770624 swapFree=67108860/67108860
[pid=7365] ppid=7362 vsize=13977988 memory=66772 CPUtime=1.03 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7362 7365 8289 0 -1 1077944320 13867 0 0 0 98 5 0 0 20 0 15 0 133007411 14313459712 16693 18446744073709551615 4194304 4196468 140735135480640 140735135463184 140477676240631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
/proc/7365/statm: 3494497 16693 3724 1 0 3483271 0
[pid=7365/tid=7367] ppid=7362 vsize=13977988 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) R 7362 7365 8289 0 -1 4202560 10363 0 0 0 50 4 0 0 20 0 15 0 133007421 14313459712 16693 18446744073709551615 4194304 4196468 140735135480640 140477680473200 140477320046023 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7368] ppid=7362 vsize=13977988 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007422 14313459712 16693 18446744073709551615 4194304 4196468 140735135480640 140477275916816 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7369] ppid=7362 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007422 14313459712 16693 18446744073709551615 4194304 4196468 140735135480640 140477274864272 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7370] ppid=7362 vsize=13977988 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7362 7365 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 133007422 14313459712 16693 18446744073709551615 4194304 4196468 140735135480640 140477273811216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7371] ppid=7362 vsize=13977988 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007422 14313459712 16693 18446744073709551615 4194304 4196468 140735135480640 140477272758672 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7372] ppid=7362 vsize=13977988 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7362 7365 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 133007423 14313459712 16693 18446744073709551615 4194304 4196468 140735135480640 140477155338992 140477676251778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7373] ppid=7362 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7362 7365 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 133007424 14313459712 16709 18446744073709551615 4194304 4196468 140735135480640 140477154285216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7374] ppid=7362 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7362 7365 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 133007424 14313459712 16709 18446744073709551615 4194304 4196468 140735135480640 140477153232112 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7375] ppid=7362 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14313459712 16709 18446744073709551615 4194304 4196468 140735135480640 140477152180688 140477676259227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7376] ppid=7362 vsize=13977988 memory=19265 CPUtime=0.1 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) R 7362 7365 8289 0 -1 1077944384 738 0 0 0 10 0 0 0 20 0 15 0 133007426 14313459712 16709 18446744073709551615 4194304 4196468 140735135480640 140477151114640 140477676250837 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7377] ppid=7362 vsize=13977988 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) R 7362 7365 8289 0 -1 4202560 639 0 0 0 14 0 0 0 20 0 15 0 133007426 14313459712 16709 18446744073709551615 4194304 4196468 140735135480640 140477150075248 140477661364192 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7378] ppid=7362 vsize=13977988 memory=7524860340579717849 CPUtime=0.22 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) R 7362 7365 8289 0 -1 4202560 747 0 0 0 22 0 0 0 20 0 15 0 133007426 14313459712 16709 18446744073709551615 4194304 4196468 140735135480640 140477149022320 140477668262555 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7379] ppid=7362 vsize=13977988 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14313459712 16709 18446744073709551615 4194304 4196468 140735135480640 140477147969888 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7380] ppid=7362 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7380/stat : 7380 (java) S 7362 7365 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 133007432 14313459712 16709 18446744073709551615 4194304 4196468 140735135480640 140477146917936 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66772 KiB

[startup+1.50073 s]
/proc/loadavg: 1.82 1.55 1.53 3/213 7380
/proc/meminfo: memFree=28074528/32770624 swapFree=67108860/67108860
[pid=7365] ppid=7362 vsize=13982084 memory=222316 CPUtime=3.38 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7362 7365 8289 0 -1 1077944320 32173 0 0 0 327 11 0 0 20 0 15 0 133007411 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140735135463184 140477676240631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
/proc/7365/statm: 3495521 55579 3789 1 0 3484295 0
[pid=7365/tid=7367] ppid=7362 vsize=13982084 memory=7668882958917724770 CPUtime=1.3 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) R 7362 7365 8289 0 -1 4202560 14210 0 0 0 123 7 0 0 20 0 15 0 133007421 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477680478944 140477317696992 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7368] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7362 7365 8289 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477275916816 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7369] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7362 7365 8289 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477274864272 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7370] ppid=7362 vsize=13982084 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7362 7365 8289 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477273811216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7371] ppid=7362 vsize=13982084 memory=6720696446780543624 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7362 7365 8289 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477272758672 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7372] ppid=7362 vsize=13982084 memory=3053811428040725072 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7362 7365 8289 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 133007423 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477155338992 140477676251778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7373] ppid=7362 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7362 7365 8289 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 133007424 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477154285216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7374] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7362 7365 8289 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 133007424 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477153232112 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7375] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477152180688 140477676259227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7376] ppid=7362 vsize=13982084 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) R 7362 7365 8289 0 -1 4202560 3662 0 0 0 70 1 0 0 20 0 15 0 133007426 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477151108808 140477661355807 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7377] ppid=7362 vsize=13982084 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) R 7362 7365 8289 0 -1 4202560 3181 0 0 0 68 1 0 0 20 0 15 0 133007426 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477150065168 140477655479115 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7378] ppid=7362 vsize=13982084 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7362 7365 8289 0 -1 1077944384 9165 0 0 0 61 1 0 0 20 0 15 0 133007426 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477149022192 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7379] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477147969888 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7380] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7380/stat : 7380 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007432 14317654016 55579 18446744073709551615 4194304 4196468 140735135480640 140477146917936 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
Current children cumulated CPU time: 3.38 s
Current children cumulated vsize: 13982084 KiB

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

[startup+2.33384 s]
# the end of solver process 7365 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.71129 s, system=0.162051 s

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

[startup+1.60169 s]
/proc/loadavg: 1.82 1.55 1.53 3/213 7380
/proc/meminfo: memFree=28074528/32770624 swapFree=67108860/67108860
[pid=7365] ppid=7362 vsize=13982084 memory=221280 CPUtime=3.69 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7362 7365 8289 0 -1 1077944320 32416 0 0 0 358 11 0 0 20 0 15 0 133007411 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140735135463184 140477676240631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
/proc/7365/statm: 3495521 55320 3789 1 0 3484295 0
[pid=7365/tid=7367] ppid=7362 vsize=13982084 memory=6368442134514712677 CPUtime=1.4 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) R 7362 7365 8289 0 -1 4202560 14217 0 0 0 133 7 0 0 20 0 15 0 133007421 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477680477208 140477318545738 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7368] ppid=7362 vsize=13982084 memory=279744776258240 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7362 7365 8289 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477275916816 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7369] ppid=7362 vsize=13982084 memory=5789488802655656041 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7362 7365 8289 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477274864272 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7370] ppid=7362 vsize=13982084 memory=7883665936407488102 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7362 7365 8289 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477273811216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7371] ppid=7362 vsize=13982084 memory=13571479103085816 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7362 7365 8289 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477272758672 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7372] ppid=7362 vsize=13982084 memory=4134606225630022328 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7362 7365 8289 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 133007423 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477155338992 140477676251778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7373] ppid=7362 vsize=13982084 memory=1399101730491701635 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7362 7365 8289 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 133007424 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477154285216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7374] ppid=7362 vsize=13982084 memory=279744776168736 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7362 7365 8289 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 133007424 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477153232112 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7375] ppid=7362 vsize=13982084 memory=5933041084030282597 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477152180688 140477676259227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7376] ppid=7362 vsize=13982084 memory=5933041084030282597 CPUtime=0.81 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) R 7362 7365 8289 0 -1 4202560 3871 0 0 0 80 1 0 0 20 0 15 0 133007426 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477151109360 140477660486340 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7377] ppid=7362 vsize=13982084 memory=5933041084030282597 CPUtime=0.8 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) R 7362 7365 8289 0 -1 4202560 3205 0 0 0 79 1 0 0 20 0 15 0 133007426 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477150074384 140477661348239 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7378] ppid=7362 vsize=13982084 memory=5933041084030282597 CPUtime=0.62 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7362 7365 8289 0 -1 1077944384 9168 0 0 0 61 1 0 0 20 0 15 0 133007426 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477149022192 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7379] ppid=7362 vsize=13982084 memory=6225503467569112424 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477147969888 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7380] ppid=7362 vsize=13982084 memory=6225503467569112424 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7380/stat : 7380 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007432 14317654016 55320 18446744073709551615 4194304 4196468 140735135480640 140477146917936 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
Current children cumulated CPU time: 3.69 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 221280 KiB

[startup+2.00071 s]*
/proc/loadavg: 1.91 1.57 1.53 5/213 7380
/proc/meminfo: memFree=27912572/32770624 swapFree=67108860/67108860
[pid=7365] ppid=7362 vsize=13982084 memory=285332 CPUtime=4.91 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7362 7365 8289 0 -1 1077944320 34325 0 0 0 478 13 0 0 20 0 15 0 133007411 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140735135463184 140477676240631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
/proc/7365/statm: 3495521 71333 3789 1 0 3484295 0
[pid=7365/tid=7367] ppid=7362 vsize=13982084 memory=17668 CPUtime=1.8 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) R 7362 7365 8289 0 -1 4202560 14256 0 0 0 172 8 0 0 20 0 15 0 133007421 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477680476296 140477324564386 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7368] ppid=7362 vsize=13982084 memory=139872484882048 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7362 7365 8289 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477275916816 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7369] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7362 7365 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477274864272 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7370] ppid=7362 vsize=13982084 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7362 7365 8289 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 133007422 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477273811216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7371] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7362 7365 8289 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477272758672 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7372] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7362 7365 8289 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 133007423 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477155338992 140477676251778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7373] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7362 7365 8289 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 133007424 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477154285280 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7374] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7362 7365 8289 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 133007424 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477153232128 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7375] ppid=7362 vsize=13982084 memory=6944656592452807314 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477152180688 140477676259227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7376] ppid=7362 vsize=13982084 memory=-7812193691855986592 CPUtime=1.22 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) R 7362 7365 8289 0 -1 4202560 4784 0 0 0 121 1 0 0 20 0 15 0 133007426 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477151114336 140477657762069 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7377] ppid=7362 vsize=13982084 memory=-8990767739041718176 CPUtime=1.19 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) R 7362 7365 8289 0 -1 4202560 4098 0 0 0 118 1 0 0 20 0 15 0 133007426 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477150067736 140477654068016 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7378] ppid=7362 vsize=13982084 memory=-6873162000112450758 CPUtime=0.63 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) R 7362 7365 8289 0 -1 1077944384 9211 0 0 0 62 1 0 0 20 0 15 0 133007426 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477149022192 140477676251778 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7379] ppid=7362 vsize=13982084 memory=-7812193691855986592 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477147969888 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7380] ppid=7362 vsize=13982084 memory=-7673225154500992928 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7380/stat : 7380 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007432 14317654016 71333 18446744073709551615 4194304 4196468 140735135480640 140477146917936 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 285332 KiB

[startup+2.20072 s]
/proc/loadavg: 1.91 1.57 1.53 5/213 7380
/proc/meminfo: memFree=27912572/32770624 swapFree=67108860/67108860
[pid=7365] ppid=7362 vsize=13982084 memory=355380 CPUtime=5.5 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7362 7365 8289 0 -1 1077944320 34542 0 0 0 535 15 0 0 20 0 15 0 133007411 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140735135463184 140477676240631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
/proc/7365/statm: 3495521 88845 3790 1 0 3484295 0
[pid=7365/tid=7367] ppid=7362 vsize=13982084 memory=290763892299399478 CPUtime=1.98 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) R 7362 7365 8289 0 -1 4202560 14289 0 0 0 189 9 0 0 20 0 15 0 133007421 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477680478784 140477324042695 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7368] ppid=7362 vsize=13982084 memory=14417007739143623 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7362 7365 8289 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477275916816 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7369] ppid=7362 vsize=13982084 memory=-8458152057954430348 CPUtime=0.01 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7362 7365 8289 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 133007422 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477274864272 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7370] ppid=7362 vsize=13982084 memory=4629546024076873078 CPUtime=0.01 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7362 7365 8289 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 133007422 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477273811216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7371] ppid=7362 vsize=13982084 memory=4627851697866761875 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7362 7365 8289 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477272758672 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7372] ppid=7362 vsize=13982084 memory=-8976644418600983157 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7362 7365 8289 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 133007423 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477155338992 140477676251778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7373] ppid=7362 vsize=13982084 memory=6789802306324843961 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7362 7365 8289 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 133007424 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477154285280 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7374] ppid=7362 vsize=13982084 memory=139872484890081 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7362 7365 8289 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 133007424 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477153232128 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7375] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477152180688 140477676259227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7376] ppid=7362 vsize=13982084 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) R 7362 7365 8289 0 -1 4202560 4813 0 0 0 140 1 0 0 20 0 15 0 133007426 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477151114336 140477661355709 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7377] ppid=7362 vsize=13982084 memory=84433 CPUtime=1.38 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) R 7362 7365 8289 0 -1 4202560 4112 0 0 0 137 1 0 0 20 0 15 0 133007426 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477150054688 140477657431872 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7378] ppid=7362 vsize=13982084 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7362 7365 8289 0 -1 1077944384 9211 0 0 0 62 1 0 0 20 0 15 0 133007426 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477149022192 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7379] ppid=7362 vsize=13982084 memory=4638778402627666016 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477147969888 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7380] ppid=7362 vsize=13982084 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7380/stat : 7380 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007432 14317654016 88845 18446744073709551615 4194304 4196468 140735135480640 140477146917936 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 355380 KiB

[startup+2.30073 s]
/proc/loadavg: 1.91 1.57 1.53 5/213 7380
/proc/meminfo: memFree=27912572/32770624 swapFree=67108860/67108860
[pid=7365] ppid=7362 vsize=13982084 memory=356444 CPUtime=5.8 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7362 7365 8289 0 -1 1077944320 35558 0 0 0 565 15 0 0 20 0 15 0 133007411 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140735135463184 140477676240631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
/proc/7365/statm: 3495521 89111 3790 1 0 3484295 0
[pid=7365/tid=7367] ppid=7362 vsize=13982084 memory=279744775983000 CPUtime=2.07 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) R 7362 7365 8289 0 -1 4202560 14484 0 0 0 198 9 0 0 20 0 15 0 133007421 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477680478784 140477324658370 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7368] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7362 7365 8289 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477275916816 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7369] ppid=7362 vsize=13982084 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7362 7365 8289 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 133007422 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477274864272 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7370] ppid=7362 vsize=13982084 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7362 7365 8289 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 133007422 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477273811216 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7371] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7362 7365 8289 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 133007422 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477272758672 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7372] ppid=7362 vsize=13982084 memory=239672 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7362 7365 8289 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 133007423 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477155338992 140477676251778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7373] ppid=7362 vsize=13982084 memory=143488 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7362 7365 8289 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 133007424 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477154285280 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7374] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7362 7365 8289 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 133007424 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477153232128 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7375] ppid=7362 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477152180688 140477676259227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7376] ppid=7362 vsize=13982084 memory=0 CPUtime=1.51 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) R 7362 7365 8289 0 -1 4202560 5143 0 0 0 150 1 0 0 20 0 15 0 133007426 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477151115472 140477661141137 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7377] ppid=7362 vsize=13982084 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) R 7362 7365 8289 0 -1 4202560 4555 0 0 0 147 1 0 0 20 0 15 0 133007426 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477150054688 140477653835792 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7378] ppid=7362 vsize=13982084 memory=23 CPUtime=0.63 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7362 7365 8289 0 -1 1077944384 9247 0 0 0 62 1 0 0 20 0 15 0 133007426 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477149022192 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7379] ppid=7362 vsize=13982084 memory=25 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7362 7365 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 133007426 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477147969888 140477676250837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
[pid=7365/tid=7380] ppid=7362 vsize=13982084 memory=37 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7380/stat : 7380 (java) S 7362 7365 8289 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 133007432 14317654016 89111 18446744073709551615 4194304 4196468 140735135480640 140477146917936 140477676251778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140735135486319 140735135486505 140735135486505 140735135489999 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 356444 KiB

Child status: 0
Real time (s): 2.33389
CPU time (s): 5.87334
CPU user time (s): 5.71129
CPU system time (s): 0.162051
CPU usage (%): 251.655
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 356444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.71129
system time used= 0.162051
maximum resident set size= 357168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2348
involuntary context switches= 42


# summary of solver processes directly reported to runsolver:
#   pid: 7365
#   total CPU time (s): 5.87334
#   total CPU user time (s): 5.71129
#   total CPU system time (s): 0.162051

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032388 second user time and 0.075946 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-16 04:37:54
IDJOB=4274289
IDBENCH=139744
IDSOLVER=2666
FILE ID=node133/4274289-1502851922
RUNJOBID= node133-1502652501-6258
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-07-09.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-4274289-1502851922/watcher-4274289-1502851922 -o /tmp/evaluation-result-4274289-1502851922/solver-4274289-1502851922 -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 614318441 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274289-1502851922.xml

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

MD5SUM BENCH= a3ba3cad77540d9164e30b3f583ccc44
RANDOM SEED=614318441

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:        28179056 kB
MemAvailable:   28983836 kB
Buffers:          281436 kB
Cached:           823724 kB
SwapCached:            0 kB
Active:          3844620 kB
Inactive:         287192 kB
Active(anon):    2967456 kB
Inactive(anon):   108948 kB
Active(file):     877164 kB
Inactive(file):   178244 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41996 kB
Writeback:             0 kB
AnonPages:       3026228 kB
Mapped:            76912 kB
Shmem:             49852 kB
Slab:             157872 kB
SReclaimable:     130416 kB
SUnreclaim:        27456 kB
KernelStack:        3488 kB
PageTables:        11152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3807104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2891776 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-16 04:37:57