Trace number 4311604

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 with restarts 2018-08-17OPT44 4.39722 2.7085

General information on the benchmark

NameGolombRuler/
GolombRuler-a3v18-09_c18.xml
MD5SUM967738086e80168f9eb4b0337d9e8cf6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark1.8136
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints37
Number of domains2
Minimum domain size81
Maximum domain size82
Distribution of domain sizes[{"size":81,"count":36},{"size":82,"count":9}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":45},{"degree":2,"count":36},{"degree":8,"count":8},{"degree":9,"count":1}]
Minimum constraint arity3
Maximum constraint arity36
Distribution of constraint arities[{"arity":3,"count":36},{"arity":36,"count":1}]
Number of extensional constraints0
Number of intensional constraints36
Distribution of constraint types[{"type":"intension","count":36},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin VAR

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.56	c version: 2018-08-17
0.67/0.57	c seed: 463228116
0.67/0.57	c timeout: 2520
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 1
0.67/0.59	c Parsing instance...
1.51/1.05	c Parsing done, starting search...
1.72/1.13	o 66
1.72/1.16	o 65
1.72/1.16	o 64
1.72/1.16	o 63
2.02/1.27	o 62
2.32/1.37	o 59
2.32/1.37	o 58
2.32/1.37	o 56
2.32/1.37	o 54
2.32/1.37	o 52
2.32/1.38	o 51
2.32/1.38	o 50
2.32/1.38	o 49
2.62/1.42	o 47
3.12/1.60	o 46
3.12/1.61	o 45
3.55/2.04	o 44
4.28/2.70	s OPTIMUM FOUND
4.28/2.70	v <instantiation>
4.28/2.70	v 	<list>
4.28/2.70	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][5] y[4][6] y[4][7] y[4][8] y[5][6] y[5][7] y[5][8] y[6][7] y[6][8] y[7][8]
4.28/2.70	v 	</list>
4.28/2.70	v 	<values>
4.28/2.70	v 		0 3 9 17 19 32 39 43 44 3 9 17 19 32 39 43 44 6 14 16 29 36 40 41 8 10 23 30 34 35 2 15 22 26 27 13 20 24 25 7 11 12 4 5 1 
4.28/2.70	v 	</values>
4.28/2.70	v </instantiation>

Verifier Data 

OK	44

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311604-1534553908/watcher-4311604-1534553908 -o /tmp/evaluation-result-4311604-1534553908/solver-4311604-1534553908 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534541038-25261 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 463228116 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311604-1534553908.xml 

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

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

solver pid=26796, runsolver pid=26793

[startup+0.100081 s]*
/proc/loadavg: 1.29 1.40 1.52 4/215 26811
/proc/meminfo: memFree=23802212/32770624 swapFree=67108196/67108860
[pid=26796] ppid=26793 vsize=14082736 memory=31032 CPUtime=0.11 cores=0,2,4,6
/proc/26796/stat : 26796 (java) S 26793 26796 25230 0 -1 1077944320 6653 0 0 0 10 1 0 0 20 0 15 0 272954028 14420721664 7758 33554432000 4194304 4196468 140720634181696 140720634164240 140352086748919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
/proc/26796/statm: 3520684 7758 3153 1 0 3482761 0
[pid=26796/tid=26798] ppid=26793 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/26796/task/26798/stat : 26798 (java) R 26793 26796 25230 0 -1 4202560 4699 0 0 0 8 1 0 0 20 0 15 0 272954028 14420721664 7758 33554432000 4194304 4196468 140720634181696 140352090940200 140352070829406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26799] ppid=26793 vsize=14082736 memory=5793855810643442105 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26799/stat : 26799 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 7758 33554432000 4194304 4196468 140720634181696 140352016837264 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26800] ppid=26793 vsize=14082736 memory=140559633548928 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26800/stat : 26800 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351681247760 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26801] ppid=26793 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26801/stat : 26801 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351680194960 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26802] ppid=26793 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26802/stat : 26802 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351679142160 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26803] ppid=26793 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26803/stat : 26803 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954030 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351291042672 140352086760066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26804] ppid=26793 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26804/stat : 26804 (java) S 26793 26796 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272954031 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351289988640 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26805] ppid=26793 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26805/stat : 26805 (java) S 26793 26796 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272954031 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351288935792 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26806] ppid=26793 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26806/stat : 26806 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954033 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351287884112 140352086767515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26807] ppid=26793 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26807/stat : 26807 (java) S 26793 26796 25230 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 272954033 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351286831472 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26808] ppid=26793 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26808/stat : 26808 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954033 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351285778672 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26809] ppid=26793 vsize=14082736 memory=140559633548928 CPUtime=0.01 cores=0,2,4,6
/proc/26796/task/26809/stat : 26809 (java) S 26793 26796 25230 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 272954033 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351284725872 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26810] ppid=26793 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26810/stat : 26810 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954034 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351283673312 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26811] ppid=26793 vsize=14082736 memory=140559633548928 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26811/stat : 26811 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954034 14420721664 7758 33554432000 4194304 4196468 140720634181696 140351282621616 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31032 KiB

[startup+0.213903 s]*
/proc/loadavg: 1.29 1.40 1.52 6/215 26811
/proc/meminfo: memFree=23786460/32770624 swapFree=67108196/67108860
[pid=26796] ppid=26793 vsize=14082736 memory=47112 CPUtime=0.3 cores=0,2,4,6
/proc/26796/stat : 26796 (java) S 26793 26796 25230 0 -1 1077944320 10377 0 0 0 28 2 0 0 20 0 15 0 272954028 14420721664 11778 33554432000 4194304 4196468 140720634181696 140720634164240 140352086748919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
/proc/26796/statm: 3520684 11778 3405 1 0 3482761 0
[pid=26796/tid=26798] ppid=26793 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/26796/task/26798/stat : 26798 (java) R 26793 26796 25230 0 -1 4202560 8075 0 0 0 18 2 0 0 20 0 15 0 272954028 14420721664 11778 33554432000 4194304 4196468 140720634181696 140352090975920 140352086760854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26799] ppid=26793 vsize=14082736 memory=4211974285838339466 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26799/stat : 26799 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 11778 33554432000 4194304 4196468 140720634181696 140352016837264 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26800] ppid=26793 vsize=14082736 memory=140559633548928 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26800/stat : 26800 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351681247760 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26801] ppid=26793 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26801/stat : 26801 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351680194960 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26802] ppid=26793 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26802/stat : 26802 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351679142160 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26803] ppid=26793 vsize=14082736 memory=140559633548928 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26803/stat : 26803 (java) S 26793 26796 25230 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272954030 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351291042672 140352086760066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26804] ppid=26793 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26804/stat : 26804 (java) S 26793 26796 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272954031 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351289988640 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26805] ppid=26793 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26805/stat : 26805 (java) S 26793 26796 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272954031 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351288935792 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26806] ppid=26793 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26806/stat : 26806 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954033 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351287884112 140352086767515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26807] ppid=26793 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26796/task/26807/stat : 26807 (java) R 26793 26796 25230 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 272954033 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351286831472 140352086760066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26808] ppid=26793 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26796/task/26808/stat : 26808 (java) R 26793 26796 25230 0 -1 4202560 266 0 0 0 2 0 0 0 20 0 15 0 272954033 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351285778672 140352067117381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26809] ppid=26793 vsize=14082736 memory=140559633548928 CPUtime=0.05 cores=0,2,4,6
/proc/26796/task/26809/stat : 26809 (java) R 26793 26796 25230 0 -1 4202560 310 0 0 0 5 0 0 0 20 0 15 0 272954033 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351284725872 140352065370023 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26810] ppid=26793 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26810/stat : 26810 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954034 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351283673312 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26811] ppid=26793 vsize=14082736 memory=140559633548928 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26811/stat : 26811 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954034 14420721664 11778 33554432000 4194304 4196468 140720634181696 140351282621616 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47112 KiB

[startup+0.310517 s]*
/proc/loadavg: 1.29 1.40 1.52 3/215 26811
/proc/meminfo: memFree=23782552/32770624 swapFree=67108196/67108860
[pid=26796] ppid=26793 vsize=14082736 memory=50756 CPUtime=0.44 cores=0,2,4,6
/proc/26796/stat : 26796 (java) S 26793 26796 25230 0 -1 1077944320 10779 0 0 0 41 3 0 0 20 0 15 0 272954028 14420721664 12689 33554432000 4194304 4196468 140720634181696 140720634164240 140352086748919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
/proc/26796/statm: 3520684 12689 3421 1 0 3482761 0
[pid=26796/tid=26798] ppid=26793 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/26796/task/26798/stat : 26798 (java) R 26793 26796 25230 0 -1 4202560 8434 0 0 0 28 2 0 0 20 0 15 0 272954028 14420721664 12689 33554432000 4194304 4196468 140720634181696 140352090956752 140352068312479 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26799] ppid=26793 vsize=14082736 memory=4211974285838339466 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26799/stat : 26799 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 12689 33554432000 4194304 4196468 140720634181696 140352016837264 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26800] ppid=26793 vsize=14082736 memory=140559633551279 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26800/stat : 26800 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351681247760 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26801] ppid=26793 vsize=14082736 memory=140559515782302 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26801/stat : 26801 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351680194960 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26802] ppid=26793 vsize=14082736 memory=140559515766223 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26802/stat : 26802 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351679142160 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26803] ppid=26793 vsize=14082736 memory=140559633574185 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26803/stat : 26803 (java) S 26793 26796 25230 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272954030 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351291042672 140352086760066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26804] ppid=26793 vsize=14082736 memory=140559515775407 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26804/stat : 26804 (java) S 26793 26796 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272954031 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351289988640 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26805] ppid=26793 vsize=14082736 memory=281119031541648 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26805/stat : 26805 (java) S 26793 26796 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272954031 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351288935792 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26806] ppid=26793 vsize=14082736 memory=281119031539344 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26806/stat : 26806 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954033 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351287884112 140352086767515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26807] ppid=26793 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26796/task/26807/stat : 26807 (java) S 26793 26796 25230 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 272954033 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351286831472 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26808] ppid=26793 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26796/task/26808/stat : 26808 (java) S 26793 26796 25230 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 272954033 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351285778672 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26809] ppid=26793 vsize=14082736 memory=140559633548928 CPUtime=0.07 cores=0,2,4,6
/proc/26796/task/26809/stat : 26809 (java) S 26793 26796 25230 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 15 0 272954033 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351284725872 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26810] ppid=26793 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26810/stat : 26810 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954034 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351283673312 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26811] ppid=26793 vsize=14082736 memory=140559633548928 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26811/stat : 26811 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954034 14420721664 12689 33554432000 4194304 4196468 140720634181696 140351282621616 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50756 KiB

[startup+0.700672 s]
/proc/loadavg: 1.29 1.40 1.52 3/215 26811
/proc/meminfo: memFree=23759868/32770624 swapFree=67108196/67108860
[pid=26796] ppid=26793 vsize=14084804 memory=88832 CPUtime=0.98 cores=0,2,4,6
/proc/26796/stat : 26796 (java) S 26793 26796 25230 0 -1 1077944320 17601 0 0 0 94 4 0 0 20 0 15 0 272954028 14422839296 22208 33554432000 4194304 4196468 140720634181696 140720634164240 140352086748919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
/proc/26796/statm: 3521201 22208 3502 1 0 3483273 0
[pid=26796/tid=26798] ppid=26793 vsize=14084804 memory=752 CPUtime=0.68 cores=0,2,4,6
/proc/26796/task/26798/stat : 26798 (java) R 26793 26796 25230 0 -1 4202560 14852 0 0 0 64 4 0 0 20 0 15 0 272954028 14422839296 22208 33554432000 4194304 4196468 140720634181696 140352090971520 140352054334635 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26799] ppid=26793 vsize=14084804 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26799/stat : 26799 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14422839296 22208 33554432000 4194304 4196468 140720634181696 140352016837264 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26800] ppid=26793 vsize=14084804 memory=1824 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26800/stat : 26800 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351681247760 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26801] ppid=26793 vsize=14084804 memory=7302135314614015845 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26801/stat : 26801 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351680194960 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26802] ppid=26793 vsize=14084804 memory=7378396380443208548 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26802/stat : 26802 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351679142160 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26803] ppid=26793 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26803/stat : 26803 (java) S 26793 26796 25230 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272954030 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351291042672 140352086760066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26804] ppid=26793 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26804/stat : 26804 (java) S 26793 26796 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272954031 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351289988640 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26805] ppid=26793 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26805/stat : 26805 (java) S 26793 26796 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272954031 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351288935792 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26806] ppid=26793 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26806/stat : 26806 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954033 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351287884112 140352086767515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26807] ppid=26793 vsize=14084804 memory=233 CPUtime=0.07 cores=0,2,4,6
/proc/26796/task/26807/stat : 26807 (java) S 26793 26796 25230 0 -1 1077944384 525 0 0 0 7 0 0 0 20 0 15 0 272954033 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351286831472 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26808] ppid=26793 vsize=14084804 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/26796/task/26808/stat : 26808 (java) S 26793 26796 25230 0 -1 1077944384 416 0 0 0 7 0 0 0 20 0 15 0 272954033 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351285778672 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26809] ppid=26793 vsize=14084804 memory=715 CPUtime=0.15 cores=0,2,4,6
/proc/26796/task/26809/stat : 26809 (java) S 26793 26796 25230 0 -1 1077944384 425 0 0 0 15 0 0 0 20 0 15 0 272954033 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351284725872 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26810] ppid=26793 vsize=14084804 memory=281119031725552 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26810/stat : 26810 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954034 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351283673312 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26811] ppid=26793 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26811/stat : 26811 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954034 14422839296 22208 33554432000 4194304 4196468 140720634181696 140351282621616 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88832 KiB

[startup+1.5109 s]
/proc/loadavg: 1.43 1.42 1.53 3/215 26811
/proc/meminfo: memFree=23725872/32770624 swapFree=67108196/67108860
[pid=26796] ppid=26793 vsize=14090948 memory=137248 CPUtime=2.95 cores=0,2,4,6
/proc/26796/stat : 26796 (java) S 26793 26796 25230 0 -1 1077944320 24699 0 0 0 288 7 0 0 20 0 15 0 272954028 14429130752 34312 33554432000 4194304 4196468 140720634181696 140720634164240 140352086748919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
/proc/26796/statm: 3522737 34312 3536 1 0 3484809 0
[pid=26796/tid=26798] ppid=26793 vsize=14090948 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/26796/task/26798/stat : 26798 (java) R 26793 26796 25230 0 -1 4202560 18771 0 0 0 143 5 0 0 20 0 15 0 272954028 14429130752 34312 33554432000 4194304 4196468 140720634181696 140352090984600 140351701002657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26799] ppid=26793 vsize=14090948 memory=-3535359994705172579 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26799/stat : 26799 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 34312 33554432000 4194304 4196468 140720634181696 140352016837264 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26800] ppid=26793 vsize=14090948 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26800/stat : 26800 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 34312 33554432000 4194304 4196468 140720634181696 140351681247760 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26801] ppid=26793 vsize=14090948 memory=-6294447370555450719 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26801/stat : 26801 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 34312 33554432000 4194304 4196468 140720634181696 140351680194960 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26802] ppid=26793 vsize=14090948 memory=-6441413357968170793 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26802/stat : 26802 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 34312 33554432000 4194304 4196468 140720634181696 140351679142160 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26803] ppid=26793 vsize=14090948 memory=9051004470768599213 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26803/stat : 26803 (java) S 26793 26796 25230 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 272954030 14429130752 34312 33554432000 4194304 4196468 140720634181696 140351291042672 140352086760066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0

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

[startup+2.70846 s]
# the end of solver process 26796 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.29561 s, system=0.101612 s

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

[startup+1.60084 s]
/proc/loadavg: 1.43 1.42 1.53 3/215 26811
/proc/meminfo: memFree=23725872/32770624 swapFree=67108196/67108860
[pid=26796] ppid=26793 vsize=14090948 memory=145488 CPUtime=3.12 cores=0,2,4,6
/proc/26796/stat : 26796 (java) S 26793 26796 25230 0 -1 1077944320 24720 0 0 0 305 7 0 0 20 0 15 0 272954028 14429130752 36372 33554432000 4194304 4196468 140720634181696 140720634164240 140352086748919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
/proc/26796/statm: 3522737 36372 3536 1 0 3484809 0
[pid=26796/tid=26798] ppid=26793 vsize=14090948 memory=7957689449132282197 CPUtime=1.57 cores=0,2,4,6
/proc/26796/task/26798/stat : 26798 (java) R 26793 26796 25230 0 -1 4202560 18777 0 0 0 152 5 0 0 20 0 15 0 272954028 14429130752 36372 33554432000 4194304 4196468 140720634181696 140352090984600 140351700804533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26799] ppid=26793 vsize=14090948 memory=7380671248541445222 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26799/stat : 26799 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 36372 33554432000 4194304 4196468 140720634181696 140352016837264 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26800] ppid=26793 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26800/stat : 26800 (java) S 26793 26796 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351681247760 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26801] ppid=26793 vsize=14090948 memory=255677524283874 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26801/stat : 26801 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351680194960 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26802] ppid=26793 vsize=14090948 memory=288230376153165245 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26802/stat : 26802 (java) S 26793 26796 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351679142160 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26803] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26803/stat : 26803 (java) S 26793 26796 25230 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 272954030 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351291042672 140352086760066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26804] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26804/stat : 26804 (java) S 26793 26796 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272954031 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351289988640 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26805] ppid=26793 vsize=14090948 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26805/stat : 26805 (java) S 26793 26796 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272954031 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351288935792 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26806] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26806/stat : 26806 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954033 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351287884112 140352086767515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26807] ppid=26793 vsize=14090948 memory=-1088251628401078322 CPUtime=0.57 cores=0,2,4,6
/proc/26796/task/26807/stat : 26807 (java) S 26793 26796 25230 0 -1 1077944384 1116 0 0 0 57 0 0 0 20 0 15 0 272954033 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351286831472 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26808] ppid=26793 vsize=14090948 memory=6944656592387989600 CPUtime=0.56 cores=0,2,4,6
/proc/26796/task/26808/stat : 26808 (java) S 26793 26796 25230 0 -1 1077944384 2072 0 0 0 56 0 0 0 20 0 15 0 272954033 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351285778672 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26809] ppid=26793 vsize=14090948 memory=6944656592455359580 CPUtime=0.39 cores=0,2,4,6
/proc/26796/task/26809/stat : 26809 (java) S 26793 26796 25230 0 -1 1077944384 1360 0 0 0 39 0 0 0 20 0 15 0 272954033 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351284725872 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26810] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26810/stat : 26810 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954034 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351283673312 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26811] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26811/stat : 26811 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954034 14429130752 36372 33554432000 4194304 4196468 140720634181696 140351282621616 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 145488 KiB

[startup+2.40072 s]
/proc/loadavg: 1.43 1.42 1.53 3/215 26811
/proc/meminfo: memFree=23652464/32770624 swapFree=67108196/67108860
[pid=26796] ppid=26793 vsize=14090948 memory=223768 CPUtime=4.08 cores=0,2,4,6
/proc/26796/stat : 26796 (java) S 26793 26796 25230 0 -1 1077944320 28586 0 0 0 399 9 0 0 20 0 15 0 272954028 14429130752 55942 33554432000 4194304 4196468 140720634181696 140720634164240 140352086748919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
/proc/26796/statm: 3522737 55942 3550 1 0 3484809 0
[pid=26796/tid=26798] ppid=26793 vsize=14090948 memory=0 CPUtime=2.36 cores=0,2,4,6
/proc/26796/task/26798/stat : 26798 (java) R 26793 26796 25230 0 -1 4202560 19464 0 0 0 230 6 0 0 20 0 15 0 272954028 14429130752 55942 33554432000 4194304 4196468 140720634181696 140352090987104 140351700692366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26799] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26799/stat : 26799 (java) S 26793 26796 25230 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55942 33554432000 4194304 4196468 140720634181696 140352016837264 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26800] ppid=26793 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26800/stat : 26800 (java) S 26793 26796 25230 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351681247760 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26801] ppid=26793 vsize=14090948 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26801/stat : 26801 (java) S 26793 26796 25230 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351680194960 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26802] ppid=26793 vsize=14090948 memory=-6294447370555450719 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26802/stat : 26802 (java) S 26793 26796 25230 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351679142160 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26803] ppid=26793 vsize=14090948 memory=-6441413357968170793 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26803/stat : 26803 (java) S 26793 26796 25230 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 272954030 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351291042672 140352086760066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26804] ppid=26793 vsize=14090948 memory=9051004470768599213 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26804/stat : 26804 (java) S 26793 26796 25230 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 272954031 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351289988704 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26805] ppid=26793 vsize=14090948 memory=-6305713892996965504 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26805/stat : 26805 (java) S 26793 26796 25230 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 272954031 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351288935808 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26806] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26806/stat : 26806 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954033 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351287884112 140352086767515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26807] ppid=26793 vsize=14090948 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/26796/task/26807/stat : 26807 (java) S 26793 26796 25230 0 -1 1077944384 2199 0 0 0 62 0 0 0 20 0 15 0 272954033 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351286831472 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26808] ppid=26793 vsize=14090948 memory=6935652554513666128 CPUtime=0.63 cores=0,2,4,6
/proc/26796/task/26808/stat : 26808 (java) S 26793 26796 25230 0 -1 1077944384 2265 0 0 0 63 0 0 0 20 0 15 0 272954033 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351285778672 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26809] ppid=26793 vsize=14090948 memory=8099561564667007843 CPUtime=0.4 cores=0,2,4,6
/proc/26796/task/26809/stat : 26809 (java) S 26793 26796 25230 0 -1 1077944384 2286 0 0 0 40 0 0 0 20 0 15 0 272954033 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351284725872 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26810] ppid=26793 vsize=14090948 memory=4641047807512697188 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26810/stat : 26810 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954034 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351283673312 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26811] ppid=26793 vsize=14090948 memory=383037712 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26811/stat : 26811 (java) S 26793 26796 25230 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 272954034 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351282621616 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 223768 KiB

[startup+2.60072 s]
/proc/loadavg: 1.43 1.42 1.53 3/215 26811
/proc/meminfo: memFree=23652464/32770624 swapFree=67108196/67108860
[pid=26796] ppid=26793 vsize=14090948 memory=223768 CPUtime=4.28 cores=0,2,4,6
/proc/26796/stat : 26796 (java) S 26793 26796 25230 0 -1 1077944320 28595 0 0 0 419 9 0 0 20 0 15 0 272954028 14429130752 55942 33554432000 4194304 4196468 140720634181696 140720634164240 140352086748919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
/proc/26796/statm: 3522737 55942 3550 1 0 3484809 0
[pid=26796/tid=26798] ppid=26793 vsize=14090948 memory=6943526294502006880 CPUtime=2.56 cores=0,2,4,6
/proc/26796/task/26798/stat : 26798 (java) R 26793 26796 25230 0 -1 4202560 19473 0 0 0 250 6 0 0 20 0 15 0 272954028 14429130752 55942 33554432000 4194304 4196468 140720634181696 140352090987112 140351697318072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26799] ppid=26793 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26799/stat : 26799 (java) S 26793 26796 25230 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55942 33554432000 4194304 4196468 140720634181696 140352016837264 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26800] ppid=26793 vsize=14090948 memory=3979265854578901095 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26800/stat : 26800 (java) S 26793 26796 25230 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351681247760 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26801] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26801/stat : 26801 (java) S 26793 26796 25230 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351680194960 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26802] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26802/stat : 26802 (java) S 26793 26796 25230 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351679142160 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26803] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26803/stat : 26803 (java) S 26793 26796 25230 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 272954030 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351291042672 140352086760066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26804] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26804/stat : 26804 (java) S 26793 26796 25230 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 272954031 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351289988704 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26805] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26805/stat : 26805 (java) S 26793 26796 25230 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 272954031 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351288935808 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26806] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26806/stat : 26806 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954033 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351287884112 140352086767515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26807] ppid=26793 vsize=14090948 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/26796/task/26807/stat : 26807 (java) S 26793 26796 25230 0 -1 1077944384 2199 0 0 0 62 0 0 0 20 0 15 0 272954033 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351286831472 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26808] ppid=26793 vsize=14090948 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/26796/task/26808/stat : 26808 (java) S 26793 26796 25230 0 -1 1077944384 2265 0 0 0 63 0 0 0 20 0 15 0 272954033 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351285778672 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26809] ppid=26793 vsize=14090948 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/26796/task/26809/stat : 26809 (java) S 26793 26796 25230 0 -1 1077944384 2286 0 0 0 40 0 0 0 20 0 15 0 272954033 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351284725872 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26810] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26810/stat : 26810 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954034 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351283673312 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26811] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26811/stat : 26811 (java) S 26793 26796 25230 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 272954034 14429130752 55942 33554432000 4194304 4196468 140720634181696 140351282621616 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 223768 KiB

[startup+2.70067 s]
/proc/loadavg: 1.43 1.42 1.53 3/215 26811
/proc/meminfo: memFree=23652464/32770624 swapFree=67108196/67108860
[pid=26796] ppid=26793 vsize=14090948 memory=223784 CPUtime=4.38 cores=0,2,4,6
/proc/26796/stat : 26796 (java) S 26793 26796 25230 0 -1 1077944320 28627 0 0 0 429 9 0 0 20 0 15 0 272954028 14429130752 55946 33554432000 4194304 4196468 140720634181696 140720634164240 140352086748919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
/proc/26796/statm: 3522737 55946 3553 1 0 3484809 0
[pid=26796/tid=26798] ppid=26793 vsize=14090948 memory=7380671248541445222 CPUtime=2.66 cores=0,2,4,6
/proc/26796/task/26798/stat : 26798 (java) R 26793 26796 25230 0 -1 4202560 19513 0 0 0 260 6 0 0 20 0 15 0 272954028 14429130752 55946 33554432000 4194304 4196468 140720634181696 140352090987112 140352086770845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26799] ppid=26793 vsize=14090948 memory=281119031298520 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26799/stat : 26799 (java) S 26793 26796 25230 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55946 33554432000 4194304 4196468 140720634181696 140352016837264 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26800] ppid=26793 vsize=14090948 memory=7093284197809482598 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26800/stat : 26800 (java) S 26793 26796 25230 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55946 33554432000 4194304 4196468 140720634181696 140351681247760 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26801] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26801/stat : 26801 (java) S 26793 26796 25230 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55946 33554432000 4194304 4196468 140720634181696 140351680194960 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26802] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26802/stat : 26802 (java) S 26793 26796 25230 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 272954029 14429130752 55946 33554432000 4194304 4196468 140720634181696 140351679142160 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26803] ppid=26793 vsize=14090948 memory=365 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26803/stat : 26803 (java) S 26793 26796 25230 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 272954030 14429130752 55946 33554432000 4194304 4196468 140720634181696 140351291042672 140352086760066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26804] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26804/stat : 26804 (java) S 26793 26796 25230 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 272954031 14429130752 55946 33554432000 4194304 4196468 140720634181696 140351289988704 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26805] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26805/stat : 26805 (java) S 26793 26796 25230 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 272954031 14429130752 55946 33554432000 4194304 4196468 140720634181696 140351288935808 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26806] ppid=26793 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26806/stat : 26806 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954033 14429130752 55946 33554432000 4194304 4196468 140720634181696 140351287884112 140352086767515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26807] ppid=26793 vsize=14090948 memory=3054156605402423695 CPUtime=0.63 cores=0,2,4,6
/proc/26796/task/26807/stat : 26807 (java) S 26793 26796 25230 0 -1 1077944384 2199 0 0 0 63 0 0 0 20 0 15 0 272954033 14429130752 55946 33554432000 4194304 4196468 140720634181696 140351286831472 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26808] ppid=26793 vsize=14090948 memory=56 CPUtime=0.63 cores=0,2,4,6
/proc/26796/task/26808/stat : 26808 (java) S 26793 26796 25230 0 -1 1077944384 2265 0 0 0 63 0 0 0 20 0 15 0 272954033 14429130752 55946 33554432000 4194304 4196468 140720634181696 140351285778672 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26809] ppid=26793 vsize=14090948 memory=-7395679465411340910 CPUtime=0.4 cores=0,2,4,6
/proc/26796/task/26809/stat : 26809 (java) R 26793 26796 25230 0 -1 4202560 2291 0 0 0 40 0 0 0 20 0 15 0 272954033 14429130752 55946 33554432000 4194304 4196468 140720634181696 140351284725872 140352066043005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26810] ppid=26793 vsize=14090948 memory=-5153075247754915967 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26810/stat : 26810 (java) S 26793 26796 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272954034 14429130752 55948 33554432000 4194304 4196468 140720634181696 140351283673312 140352086759125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
[pid=26796/tid=26811] ppid=26793 vsize=14090948 memory=-9109213556524817781 CPUtime=0 cores=0,2,4,6
/proc/26796/task/26811/stat : 26811 (java) S 26793 26796 25230 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 272954034 14429130752 55948 33554432000 4194304 4196468 140720634181696 140351282621616 140352086760066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140720634188873 140720634189065 140720634189065 140720634191823 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 223784 KiB

Child status: 0
Real time (s): 2.7085
CPU time (s): 4.39722
CPU user time (s): 4.29561
CPU system time (s): 0.101612
CPU usage (%): 162.349
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 223784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.29561
system time used= 0.101612
maximum resident set size= 224192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28759
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= 2431
involuntary context switches= 22


# summary of solver processes directly reported to runsolver:
#   pid: 26796
#   total CPU time (s): 4.39722
#   total CPU user time (s): 4.29561
#   total CPU system time (s): 0.101612

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035847 second user time and 0.069704 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-18 02:58:28
IDJOB=4311604
IDBENCH=141376
IDSOLVER=2799
FILE ID=node151/4311604-1534553908
RUNJOBID= node151-1534541038-25261
PBS_JOBID= 21038628
Free space on /tmp= 51372 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-09_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311604-1534553908/watcher-4311604-1534553908 -o /tmp/evaluation-result-4311604-1534553908/solver-4311604-1534553908 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534541038-25261 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 463228116 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311604-1534553908.xml

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

MD5SUM BENCH= 967738086e80168f9eb4b0337d9e8cf6
RANDOM SEED=463228116

node151.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.87
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.87
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.87
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.87
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:        23820044 kB
MemAvailable:   31389024 kB
Buffers:          214856 kB
Cached:          7628396 kB
SwapCached:           12 kB
Active:          4620120 kB
Inactive:        3777348 kB
Active(anon):     524968 kB
Inactive(anon):    98628 kB
Active(file):    4095152 kB
Inactive(file):  3678720 kB
Unevictable:        7820 kB
Mlocked:            7820 kB
SwapTotal:      67108860 kB
SwapFree:       67108196 kB
Dirty:             36116 kB
Writeback:             0 kB
AnonPages:        579268 kB
Mapped:            34024 kB
Shmem:             65908 kB
Slab:             250548 kB
SReclaimable:     221888 kB
SUnreclaim:        28660 kB
KernelStack:        3792 kB
PageTables:         6312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1332552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    505856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51336 MiB
End job on node151 at 2018-08-18 02:58:31