PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01384
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 42943

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 18:55:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26155 boxname=wulflinc1 idbench=1455 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 26155
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        739672 kB
Buffers:         11624 kB
Cached:         259296 kB
SwapCached:       1148 kB
Active:          25924 kB
Inactive:       247300 kB
HighTotal:      131008 kB
HighFree:        22708 kB
LowTotal:       903652 kB
LowFree:        716964 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15936 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:16:01 (client local time) WITH STATUS 10 IN 1200.4 SECONDS
stats: 26155 0 1200.4 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 45
c small objective detected
c [startup+0.180019 s]  setting bit 5 to 0

c Decision: 336/1661	Time: 4.5933/86400
c Decision: 336/1661	Time: 5.05023/86400
c Decision: 336/1661	Time: 5.54816/86400
c Decision: 336/1661	Time: 5.99009/86400
c Decision: 336/1661	Time: 6.54501/86400
c Decision: 336/1661	Time: 7.15191/86400
c Decision: 347/1661	Time: 7.85381/86400
c Decision: 347/1661	Time: 8.47371/86400
c Decision: 347/1661	Time: 9.07662/86400
c Decision: 347/1661	Time: 9.67053/86400
c Decision: 347/1661	Time: 10.3054/86400
c Decision: 347/1661	Time: 10.9533/86400
c Decision: 347/1661	Time: 11.6722/86400
c Decision: 347/1661	Time: 12.3591/86400
c Decision: 347/1661	Time: 13.09/86400
c Decision: 347/1661	Time: 13.8929/86400
c Decision: 347/1661	Time: 14.7098/86400
c Decision: 347/1661	Time: 15.5136/86400
c Decision: 347/1661	Time: 16.3475/86400
c Decision: 347/1661	Time: 17.2034/86400
c Decision: 347/1661	Time: 18.1902/86400
c Decision: 347/1661	Time: 19.0511/86400
c Decision: 347/1661	Time: 19.869/86400
c Decision: 347/1661	Time: 20.8528/86400
c Decision: 347/1661	Time: 21.8087/86400
c Decision: 347/1661	Time: 22.8125/86400
c Decision: 347/1661	Time: 23.7804/86400
c Decision: 347/1661	Time: 24.6772/86400
c Decision: 347/1661	Time: 25.6791/86400
c Decision: 347/1661	Time: 26.6589/86400
c Decision: 347/1661	Time: 27.6868/86400
c Decision: 347/1661	Time: 28.6926/86400
c Decision: 347/1661	Time: 29.8395/86400
c Decision: 347/1661	Time: 30.8673/86400
c Decision: 347/1661	Time: 31.9781/86400
c Decision: 347/1661	Time: 33.211/86400
c Decision: 347/1661	Time: 34.4428/86400
c Decision: 347/1661	Time: 35.6026/86400
c Decision: 347/1661	Time: 36.7284/86400
c Decision: 347/1661	Time: 37.8702/86400
c Decision: 347/1661	Time: 39.1251/86400
c Decision: 347/1661	Time: 40.2749/86400
c Decision: 347/1661	Time: 41.3487/86400
c Decision: 347/1661	Time: 42.5545/86400
c Decision: 347/1661	Time: 43.6264/86400
c Decision: 347/1661	Time: 44.8102/86400
c Decision: 347/1661	Time: 46.09/86400
c Decision: 347/1661	Time: 47.3568/86400
c Decision: 347/1661	Time: 48.5596/86400
c Decision: 347/1661	Time: 49.9844/86400
c Decision: 347/1661	Time: 51.3582/86400
c Decision: 347/1661	Time: 52.657/86400
c Decision: 347/1661	Time: 53.9158/86400
c Decision: 347/1661	Time: 55.1446/86400
c Decision: 347/1661	Time: 56.5484/86400
c Decision: 347/1661	Time: 57.9902/86400
c Decision: 347/1661	Time: 59.457/86400
c Decision: 347/1661	Time: 60.9277/86400
c Decision: 347/1661	Time: 62.3415/86400
c Decision: 347/1661	Time: 63.7853/86400
c Decision: 347/1661	Time: 65.3491/86400
c Decision: 347/1661	Time: 66.8808/86400
c Decision: 347/1661	Time: 68.2906/86400
c Decision: 347/1661	Time: 69.9074/86400
c Decision: 347/1661	Time: 71.3951/86400
c Decision: 347/1661	Time: 72.9819/86400
c Decision: 347/1661	Time: 74.5347/86400
c Decision: 347/1661	Time: 75.9944/86400
c Decision: 347/1661	Time: 77.4862/86400
c Decision: 347/1661	Time: 78.962/86400
c Decision: 347/1661	Time: 80.6677/86400
c Decision: 347/1661	Time: 82.2765/86400
c Decision: 347/1661	Time: 83.8103/86400
c Decision: 347/1661	Time: 85.538/86400
c Decision: 347/1661	Time: 87.0018/86400
c Decision: 347/1661	Time: 88.5875/86400
c Decision: 347/1661	Time: 90.2683/86400
c Decision: 347/1661	Time: 92.083/86400
c Decision: 347/1661	Time: 93.7787/86400
c Decision: 347/1661	Time: 95.3355/86400
c Decision: 347/1661	Time: 97.0542/86400
c Decision: 347/1661	Time: 98.844/86400
c Decision: 347/1661	Time: 100.947/86400
c Decision: 347/1661	Time: 102.541/86400
c Decision: 347/1661	Time: 104.176/86400
c Decision: 347/1661	Time: 106.001/86400
c Decision: 347/1661	Time: 107.819/86400
c Decision: 347/1661	Time: 109.62/86400
c Decision: 347/1661	Time: 111.341/86400
c Decision: 347/1661	Time: 112.996/86400
c Decision: 347/1661	Time: 115.069/86400
c Decision: 347/1661	Time: 116.817/86400
c Decision: 347/1661	Time: 118.651/86400
c Decision: 347/1661	Time: 120.446/86400
c Decision: 347/1661	Time: 122.381/86400
c Decision: 347/1661	Time: 124.295/86400
c Decision: 347/1661	Time: 126.09/86400
c Decision: 347/1661	Time: 127.849/86400
c Decision: 347/1661	Time: 129.613/86400
c Decision: 347/1661	Time: 131.398/86400
c Decision: 347/1661	Time: 133.501/86400
c Decision: 347/1661	Time: 135.166/86400
c Decision: 347/1661	Time: 136.931/86400
c Decision: 347/1661	Time: 138.677/86400
c Decision: 347/1661	Time: 140.365/86400
c Decision: 347/1661	Time: 142.014/86400
c Decision: 347/1661	Time: 143.943/86400
c Decision: 347/1661	Time: 146.012/86400
c Decision: 347/1661	Time: 148.151/86400
c Decision: 347/1661	Time: 150.445/86400
c Decision: 347/1661	Time: 152.25/86400
c Decision: 347/1661	Time: 154.066/86400
c Decision: 347/1661	Time: 155.81/86400
c Decision: 347/1661	Time: 157.567/86400
c Decision: 347/1661	Time: 159.427/86400
c Decision: 347/1661	Time: 161.467/86400
c Decision: 347/1661	Time: 163.361/86400
c Decision: 347/1661	Time: 165.377/86400
c Decision: 347/1661	Time: 167.354/86400
c Decision: 347/1661	Time: 169.275/86400
c Decision: 347/1661	Time: 171.411/86400
c Decision: 347/1661	Time: 173.292/86400
c Decision: 347/1661	Time: 175.428/86400
c Decision: 347/1661	Time: 177.334/86400
c Decision: 347/1661	Time: 179.364/86400
c Decision: 347/1661	Time: 181.614/86400
c Decision: 347/1661	Time: 183.555/86400
c Decision: 347/1661	Time: 185.578/86400
c Decision: 347/1661	Time: 187.637/86400
c Decision: 347/1661	Time: 189.463/86400
c Decision: 347/1661	Time: 191.704/86400
c Decision: 347/1661	Time: 193.582/86400
c Decision: 347/1661	Time: 195.945/86400
c Decision: 382/1661	Time: 199.689/86400
c Decision: 382/1661	Time: 201.661/86400
c Decision: 382/1661	Time: 203.365/86400
c Decision: 382/1661	Time: 205.031/86400
c Decision: 382/1661	Time: 206.849/86400
c Decision: 382/1661	Time: 208.746/86400
c Decision: 382/1661	Time: 210.57/86400
c Decision: 382/1661	Time: 212.632/86400
c Decision: 382/1661	Time: 214.383/86400
c Decision: 382/1661	Time: 216.124/86400
c Decision: 382/1661	Time: 217.907/86400
c Decision: 382/1661	Time: 219.678/86400
c Decision: 382/1661	Time: 221.75/86400
c Decision: 382/1661	Time: 223.756/86400
c Decision: 382/1661	Time: 225.603/86400
c Decision: 382/1661	Time: 227.538/86400
c Decision: 388/1661	Time: 230.951/86400
c Decision: 388/1661	Time: 232.983/86400
c Decision: 388/1661	Time: 234.562/86400
c Decision: 388/1661	Time: 236.687/86400
c Decision: 388/1661	Time: 238.376/86400
c Decision: 388/1661	Time: 240.554/86400
c Decision: 388/1661	Time: 243.135/86400
c Decision: 388/1661	Time: 245.255/86400
c Decision: 388/1661	Time: 247.446/86400
c Decision: 439/1661	Time: 252.031/86400
c Decision: 439/1661	Time: 253.651/86400
c Decision: 439/1661	Time: 255.464/86400
c Decision: 439/1661	Time: 257.21/86400
c Decision: 468/1661	Time: 259.131/86400
c Decision: 468/1661	Time: 260.678/86400
c Decision: 600/1661	Time: 262.511/86400
c [startup+265.882 s]  setting bit 4 to 0

c got solution with objective value: 33
c [startup+265.912 s]  setting bit 3 to 1

c got solution with objective value: 32
c [startup+265.941 s]  setting bit 2 to 1

c Decision: 304/1661	Time: 6.83096/86400
c Decision: 304/1661	Time: 7.62684/86400
c Decision: 304/1661	Time: 8.36273/86400
c Decision: 304/1661	Time: 9.10962/86400
c Decision: 304/1661	Time: 9.81751/86400
c Decision: 304/1661	Time: 10.6624/86400
c Decision: 304/1661	Time: 11.4433/86400
c Decision: 304/1661	Time: 12.2561/86400
c Decision: 304/1661	Time: 13.145/86400
c Decision: 304/1661	Time: 14.0129/86400
c Decision: 304/1661	Time: 14.8677/86400
c Decision: 304/1661	Time: 15.7526/86400
c Decision: 304/1661	Time: 16.7365/86400
c Decision: 304/1661	Time: 17.6373/86400
c Decision: 304/1661	Time: 18.6382/86400
c Decision: 304/1661	Time: 19.647/86400
c Decision: 304/1661	Time: 20.6749/86400
c got solution with objective value: 30
c [startup+286.992 s]  setting bit 1 to 1

c Decision: 297/1661	Time: 10.4244/86400
c Decision: 297/1661	Time: 11.5852/86400
c Decision: 297/1661	Time: 12.5591/86400
c Decision: 297/1661	Time: 13.6779/86400
c Decision: 297/1661	Time: 15.0767/86400
c Decision: 297/1661	Time: 16.4895/86400
c Decision: 297/1661	Time: 17.6693/86400
c Decision: 297/1661	Time: 19.0631/86400
c Decision: 297/1661	Time: 20.5189/86400
c Decision: 297/1661	Time: 21.7577/86400
c Decision: 297/1661	Time: 23.0925/86400
c Decision: 297/1661	Time: 24.4983/86400
c Decision: 297/1661	Time: 25.8011/86400
c Decision: 297/1661	Time: 27.3288/86400
c Decision: 297/1661	Time: 28.6486/86400
c Decision: 297/1661	Time: 30.1994/86400
c Decision: 297/1661	Time: 31.6292/86400
c Decision: 297/1661	Time: 33.114/86400
c Decision: 297/1661	Time: 34.4808/86400
c Decision: 297/1661	Time: 35.9535/86400
c Decision: 297/1661	Time: 37.6263/86400
c Decision: 297/1661	Time: 39.207/86400
c Decision: 297/1661	Time: 40.6818/86400
c Decision: 297/1661	Time: 42.2376/86400
c Decision: 297/1661	Time: 43.8583/86400
c Decision: 297/1661	Time: 45.5561/86400
c Decision: 297/1661	Time: 47.1778/86400
c Decision: 297/1661	Time: 48.7096/86400
c Decision: 297/1661	Time: 50.2774/86400
c Decision: 297/1661	Time: 51.9481/86400
c Decision: 297/1661	Time: 53.6988/86400
c Decision: 297/1661	Time: 55.4766/86400
c Decision: 297/1661	Time: 56.9833/86400
c Decision: 297/1661	Time: 58.7571/86400
c Decision: 297/1661	Time: 60.3728/86400
c Decision: 297/1661	Time: 62.3055/86400
c Decision: 297/1661	Time: 63.9793/86400
c Decision: 297/1661	Time: 66.1379/86400
c Decision: 297/1661	Time: 67.9797/86400
c Decision: 297/1661	Time: 69.8304/86400
c Decision: 297/1661	Time: 71.7301/86400
c Decision: 297/1661	Time: 73.3558/86400
c Decision: 297/1661	Time: 75.0866/86400
c Decision: 297/1661	Time: 76.7773/86400
c Decision: 297/1661	Time: 78.895/86400
c Decision: 297/1661	Time: 80.8907/86400
c Decision: 297/1661	Time: 82.5574/86400
c Decision: 297/1661	Time: 84.4602/86400
c Decision: 297/1661	Time: 86.4969/86400
c Decision: 297/1661	Time: 88.5675/86400
c Decision: 297/1661	Time: 90.6712/86400
c Decision: 297/1661	Time: 92.6049/86400
c Decision: 297/1661	Time: 94.4666/86400
c Decision: 297/1661	Time: 96.6383/86400
c Decision: 297/1661	Time: 98.736/86400
c Decision: 297/1661	Time: 101.015/86400
c Decision: 297/1661	Time: 103.131/86400
c Decision: 297/1661	Time: 105.035/86400
c Decision: 297/1661	Time: 106.853/86400
c Decision: 297/1661	Time: 108.874/86400
c Decision: 297/1661	Time: 111.334/86400
c Decision: 297/1661	Time: 113.293/86400
c Decision: 297/1661	Time: 115.596/86400
c Decision: 297/1661	Time: 117.941/86400
c Decision: 297/1661	Time: 120.205/86400
c Decision: 297/1661	Time: 122.453/86400
c Decision: 297/1661	Time: 124.332/86400
c Decision: 297/1661	Time: 126.378/86400
c Decision: 297/1661	Time: 128.374/86400
c Decision: 297/1661	Time: 130.604/86400
c Decision: 297/1661	Time: 132.85/86400
c Decision: 297/1661	Time: 134.977/86400
c Decision: 297/1661	Time: 136.754/86400
c Decision: 297/1661	Time: 138.743/86400
c Decision: 297/1661	Time: 141.027/86400
c Decision: 297/1661	Time: 143.55/86400
c Decision: 297/1661	Time: 145.914/86400
c Decision: 297/1661	Time: 148.054/86400
c Decision: 297/1661	Time: 150.463/86400
c Decision: 297/1661	Time: 152.425/86400
c Decision: 297/1661	Time: 154.772/86400
c Decision: 297/1661	Time: 157.105/86400
c Decision: 297/1661	Time: 159.482/86400
c Decision: 297/1661	Time: 161.927/86400
c Decision: 297/1661	Time: 164.323/86400
c Decision: 297/1661	Time: 166.642/86400
c Decision: 297/1661	Time: 169.022/86400
c Decision: 297/1661	Time: 171.328/86400
c Decision: 297/1661	Time: 173.577/86400
c Decision: 297/1661	Time: 175.924/86400
c Decision: 297/1661	Time: 178.621/86400
c Decision: 297/1661	Time: 181.038/86400
c Decision: 297/1661	Time: 183.39/86400
c Decision: 297/1661	Time: 185.783/86400
c Decision: 297/1661	Time: 188.069/86400
c Decision: 297/1661	Time: 190.767/86400
c Decision: 297/1661	Time: 193.123/86400
c Decision: 297/1661	Time: 195.451/86400
c Decision: 297/1661	Time: 197.878/86400
c Decision: 297/1661	Time: 200.284/86400
c Decision: 297/1661	Time: 202.952/86400
c Decision: 297/1661	Time: 205.015/86400
c Decision: 297/1661	Time: 207.441/86400
c Decision: 297/1661	Time: 210.204/86400
c Decision: 297/1661	Time: 212.809/86400
c Decision: 297/1661	Time: 215.864/86400
c Decision: 297/1661	Time: 218.244/86400
c Decision: 297/1661	Time: 220.579/86400
c Decision: 297/1661	Time: 222.916/86400
c Decision: 297/1661	Time: 225.575/86400
c Decision: 297/1661	Time: 228.441/86400
c Decision: 297/1661	Time: 230.673/86400
c Decision: 297/1661	Time: 232.987/86400
c Decision: 297/1661	Time: 235.207/86400
c Decision: 297/1661	Time: 237.628/86400
c Decision: 297/1661	Time: 240.436/86400
c Decision: 297/1661	Time: 242.989/86400
c Decision: 297/1661	Time: 245.268/86400
c Decision: 297/1661	Time: 247.475/86400
c Decision: 297/1661	Time: 250.605/86400
c Decision: 297/1661	Time: 253.193/86400
c Decision: 297/1661	Time: 255.673/86400
c Decision: 297/1661	Time: 258.263/86400
c Decision: 297/1661	Time: 260.458/86400
c Decision: 297/1661	Time: 263.141/86400
c Decision: 297/1661	Time: 265.99/86400
c Decision: 297/1661	Time: 268.446/86400
c Decision: 297/1661	Time: 270.685/86400
c Decision: 297/1661	Time: 273.188/86400
c Decision: 297/1661	Time: 275.78/86400
c Decision: 297/1661	Time: 278.193/86400
c Decision: 297/1661	Time: 280.715/86400
c Decision: 297/1661	Time: 283.024/86400
c Decision: 297/1661	Time: 285.696/86400
c Decision: 297/1661	Time: 288.383/86400
c Decision: 297/1661	Time: 291.156/86400
c Decision: 297/1661	Time: 293.757/86400
c Decision: 297/1661	Time: 296.227/86400
c Decision: 297/1661	Time: 298.954/86400
c Decision: 297/1661	Time: 301.942/86400
c Decision: 297/1661	Time: 304.797/86400
c Decision: 297/1661	Time: 307.323/86400
c Decision: 297/1661	Time: 310.23/86400
c Decision: 297/1661	Time: 313.179/86400
c Decision: 297/1661	Time: 315.666/86400
c Decision: 297/1661	Time: 318.504/86400
c Decision: 297/1661	Time: 321.212/86400
c Decision: 297/1661	Time: 323.66/86400
c Decision: 297/1661	Time: 326.324/86400
c Decision: 297/1661	Time: 329.101/86400
c Decision: 297/1661	Time: 332.031/86400
c Decision: 297/1661	Time: 335.032/86400
c Decision: 297/1661	Time: 337.452/86400
c Decision: 297/1661	Time: 339.888/86400
c Decision: 297/1661	Time: 341.957/86400
c Decision: 297/1661	Time: 345.029/86400
c Decision: 297/1661	Time: 347.752/86400
c Decision: 297/1661	Time: 350.46/86400
c Decision: 297/1661	Time: 353.237/86400
c Decision: 297/1661	Time: 356.021/86400
c Decision: 297/1661	Time: 359.257/86400
c Decision: 297/1661	Time: 361.601/86400
c Decision: 297/1661	Time: 364.281/86400
c Decision: 297/1661	Time: 366.823/86400
c Decision: 297/1661	Time: 369.561/86400
c Decision: 297/1661	Time: 373.121/86400
c Decision: 297/1661	Time: 376.071/86400
c Decision: 297/1661	Time: 379.03/86400
c Decision: 297/1661	Time: 381.878/86400
c Decision: 297/1661	Time: 384.433/86400
c Decision: 297/1661	Time: 387.256/86400
c Decision: 297/1661	Time: 389.999/86400
c Decision: 297/1661	Time: 392.996/86400
c Decision: 297/1661	Time: 395.303/86400
c Decision: 297/1661	Time: 397.866/86400
c Decision: 297/1661	Time: 401.151/86400
c Decision: 297/1661	Time: 403.725/86400
c Decision: 297/1661	Time: 406.557/86400
c Decision: 297/1661	Time: 409.458/86400
c Decision: 297/1661	Time: 411.984/86400
c Decision: 297/1661	Time: 414.776/86400
c Decision: 297/1661	Time: 417.611/86400
c Decision: 297/1661	Time: 420.452/86400
c Decision: 297/1661	Time: 423.438/86400
c Decision: 297/1661	Time: 426.582/86400
c Decision: 297/1661	Time: 429.623/86400
c Decision: 297/1661	Time: 432.442/86400
c Decision: 297/1661	Time: 435.345/86400
c Decision: 297/1661	Time: 437.985/86400
c Decision: 297/1661	Time: 440.776/86400
c Decision: 297/1661	Time: 443.951/86400
c Decision: 297/1661	Time: 446.999/86400
c Decision: 297/1661	Time: 449.793/86400
c Decision: 297/1661	Time: 452.96/86400
c Decision: 297/1661	Time: 455.81/86400
c Decision: 297/1661	Time: 459.516/86400
c Decision: 297/1661	Time: 462.346/86400
c Decision: 297/1661	Time: 464.965/86400
c Decision: 297/1661	Time: 467.743/86400
c Decision: 297/1661	Time: 470.786/86400
c Decision: 297/1661	Time: 474.101/86400
c Decision: 297/1661	Time: 477.046/86400
c Decision: 297/1661	Time: 480.238/86400
c Decision: 297/1661	Time: 482.986/86400
c Decision: 297/1661	Time: 485.651/86400
c Decision: 297/1661	Time: 489.034/86400
c Decision: 297/1661	Time: 491.77/86400
c Decision: 297/1661	Time: 494.599/86400
c Decision: 297/1661	Time: 497.389/86400
c Decision: 297/1661	Time: 500.444/86400
c Decision: 297/1661	Time: 503.634/86400
c Decision: 297/1661	Time: 506.205/86400
c Decision: 297/1661	Time: 509.196/86400
c Decision: 297/1661	Time: 511.865/86400
c Decision: 297/1661	Time: 514.762/86400
c Decision: 297/1661	Time: 517.996/86400
c Decision: 297/1661	Time: 520.821/86400
c Decision: 297/1661	Time: 523.492/86400
c Decision: 297/1661	Time: 526.268/86400
c Decision: 297/1661	Time: 528.862/86400
c Decision: 297/1661	Time: 532.358/86400
c Decision: 297/1661	Time: 534.906/86400
c Decision: 297/1661	Time: 537.809/86400
c Decision: 297/1661	Time: 540.604/86400
c Decision: 297/1661	Time: 543.031/86400
c Decision: 297/1661	Time: 546.518/86400
c Decision: 297/1661	Time: 549.452/86400
c Decision: 297/1661	Time: 552.517/86400
c Decision: 297/1661	Time: 555.379/86400
c Decision: 297/1661	Time: 558.364/86400
c Decision: 297/1661	Time: 561.598/86400
c Decision: 297/1661	Time: 564.423/86400
c Decision: 297/1661	Time: 567.527/86400
c Decision: 297/1661	Time: 570.776/86400
c Decision: 489/1661	Time: 575.205/86400
c Decision: 489/1661	Time: 578.095/86400
c Decision: 489/1661	Time: 580.332/86400
c Decision: 489/1661	Time: 582.199/86400
c Decision: 489/1661	Time: 584.882/86400
c Decision: 489/1661	Time: 588.273/86400
c Decision: 489/1661	Time: 590.737/86400
c Decision: 489/1661	Time: 593.311/86400
c Decision: 489/1661	Time: 596.023/86400
c Decision: 489/1661	Time: 598.826/86400
c Decision: 489/1661	Time: 601.36/86400
c Decision: 489/1661	Time: 604.332/86400
c Decision: 489/1661	Time: 607.132/86400
c Decision: 489/1661	Time: 609.701/86400
c Decision: 489/1661	Time: 612.654/86400
c Decision: 489/1661	Time: 615.352/86400
c Decision: 489/1661	Time: 618.426/86400
c Decision: 489/1661	Time: 620.861/86400
c Decision: 489/1661	Time: 623.695/86400
c Decision: 489/1661	Time: 626.545/86400
c Decision: 489/1661	Time: 629.391/86400
c Decision: 489/1661	Time: 632.088/86400
c Decision: 489/1661	Time: 634.741/86400
c Decision: 489/1661	Time: 637.063/86400
c Decision: 489/1661	Time: 639.74/86400
c Decision: 489/1661	Time: 642.252/86400
c Decision: 489/1661	Time: 645.469/86400
c Decision: 489/1661	Time: 648.254/86400
c Decision: 489/1661	Time: 651.151/86400
c Decision: 489/1661	Time: 653.873/86400
c Decision: 489/1661	Time: 656.68/86400
c Decision: 489/1661	Time: 660.176/86400
c Decision: 489/1661	Time: 663.061/86400
c Decision: 489/1661	Time: 665.9/86400
c Decision: 489/1661	Time: 668.956/86400
c Decision: 489/1661	Time: 671.704/86400
c Decision: 489/1661	Time: 675.28/86400
c Decision: 489/1661	Time: 678.221/86400
c Decision: 489/1661	Time: 680.791/86400
c Decision: 489/1661	Time: 683.108/86400
c Decision: 489/1661	Time: 686.178/86400
c Decision: 489/1661	Time: 689.494/86400
c Decision: 489/1661	Time: 692.781/86400
c Decision: 489/1661	Time: 696.009/86400
c Decision: 489/1661	Time: 699.238/86400
c Decision: 489/1661	Time: 702.044/86400
c Decision: 489/1661	Time: 705.389/86400
c Decision: 489/1661	Time: 708.346/86400
c Decision: 489/1661	Time: 711.202/86400
c Decision: 489/1661	Time: 714.509/86400
c Decision: 489/1661	Time: 717.297/86400
c Decision: 489/1661	Time: 720.579/86400
c Decision: 489/1661	Time: 723.529/86400
c Decision: 489/1661	Time: 726.62/86400
c Decision: 489/1661	Time: 729.563/86400
c Decision: 489/1661	Time: 732.783/86400
c Decision: 489/1661	Time: 736.256/86400
c Decision: 489/1661	Time: 739.263/86400
c Decision: 489/1661	Time: 741.926/86400
c Decision: 489/1661	Time: 744.526/86400
c Decision: 489/1661	Time: 747.275/86400
c Decision: 489/1661	Time: 750.614/86400
c Decision: 489/1661	Time: 753.895/86400
c Decision: 489/1661	Time: 756.953/86400
c Decision: 489/1661	Time: 760.059/86400
c Decision: 489/1661	Time: 763.108/86400
c Decision: 489/1661	Time: 766.499/86400
c Decision: 489/1661	Time: 769.456/86400
c Decision: 489/1661	Time: 772.403/86400
c Decision: 489/1661	Time: 775.692/86400
c Decision: 489/1661	Time: 778.536/86400
c Decision: 489/1661	Time: 781.649/86400
c Decision: 489/1661	Time: 784.793/86400
c Decision: 489/1661	Time: 787.654/86400
c Decision: 489/1661	Time: 790.522/86400
c Decision: 489/1661	Time: 793.783/86400
c Decision: 489/1661	Time: 797.145/86400
c Decision: 512/1661	Time: 802.127/86400
c Decision: 589/1661	Time: 807.674/86400
c Decision: 589/1661	Time: 809.738/86400
c Decision: 589/1661	Time: 811.462/86400
c Decision: 589/1661	Time: 813.574/86400
c Decision: 589/1661	Time: 815.67/86400
c Decision: 589/1661	Time: 817.647/86400
c Decision: 589/1661	Time: 819.638/86400
c Decision: 589/1661	Time: 821.824/86400
c Decision: 589/1661	Time: 823.98/86400
c Decision: 589/1661	Time: 826.203/86400
c Decision: 589/1661	Time: 828.428/86400
c Decision: 589/1661	Time: 830.553/86400
c Decision: 589/1661	Time: 833.143/86400
c Decision: 589/1661	Time: 835.428/86400
c Decision: 589/1661	Time: 837.67/86400
c Decision: 589/1661	Time: 840.062/86400
c Decision: 589/1661	Time: 842.378/86400
c Decision: 589/1661	Time: 844.769/86400
c Decision: 589/1661	Time: 847.188/86400
c Decision: 589/1661	Time: 849.427/86400
c Decision: 589/1661	Time: 851.889/86400
c Decision: 589/1661	Time: 854.954/86400
c Decision: 589/1661	Time: 857.687/86400
c Decision: 589/1661	Time: 860.411/86400
c Decision: 589/1661	Time: 863.442/86400
c Decision: 589/1661	Time: 865.671/86400
c Decision: 589/1661	Time: 868.345/86400
c Decision: 589/1661	Time: 871.22/86400
c Decision: 589/1661	Time: 873.771/86400
c Decision: 589/1661	Time: 876.09/86400
c Decision: 589/1661	Time: 878.396/86400
c Decision: 589/1661	Time: 881.986/86400
c Decision: 589/1661	Time: 885.153/86400
c Decision: 589/1661	Time: 887.994/86400
c Decision: 589/1661	Time: 890.952/86400
c Decision: 589/1661	Time: 893.458/86400
c Decision: 589/1661	Time: 896.188/86400
c Decision: 589/1661	Time: 899.046/86400
c Decision: 589/1661	Time: 902.103/86400
c Decision: 589/1661	Time: 905.476/86400
c Decision: 589/1661	Time: 908.491/86400
c Decision: 589/1661	Time: 911.677/86400s SATISFIABLE
v V0001_bit0 V0002_bit0 V0003_bit0 V0004_bit0 -V0005_bit0 V0006_bit0 V0007_bit0 V0008_bit0 -V0009_bit0 V0010_bit0 V0011_bit0 -V0012_bit0 V0013_bit0 -V0014_bit0 V0015_bit0 V0016_bit0 V0017_bit0 -V0018_bit0 -V0019_bit0 -V0020_bit0 V0021_bit0 V0022_bit0 V0023_bit0 V0024_bit0 V0025_bit0 V0026_bit0 V0027_bit0 -V0028_bit0 -V0029_bit0 V0030_bit0 -V0031_bit0 -V0032_bit0 V0033_bit0 V0034_bit0 V0035_bit0 -V0036_bit0 V0037_bit0 -V0038_bit0 V0039_bit0 -V0040_bit0 V0041_bit0 V0042_bit0 V0043_bit0 V0044_bit0 -V0045_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/55 24535
Raw data (stat): 24535 (runsolver) R 24534 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 916233012 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 1003 0 0 0 994 4 0 0 25 0 1 0 916233012 5349376 832 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1306 832 301 301 0 1005 0
vsize: 5224
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 1344 0 0 0 1991 7 0 0 25 0 1 0 916233012 5902336 1173 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1441 1173 301 301 0 1140 0
vsize: 5764
[startup+30.001 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 1800 0 0 0 2987 10 0 0 25 0 1 0 916233012 9240576 1436 4294967295 134512640 135730672 3221224576 3221222880 134746221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2256 1436 301 301 0 1955 0
vsize: 9024
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 2024 0 0 0 3985 12 0 0 25 0 1 0 916233012 9687040 1660 4294967295 134512640 135730672 3221224576 3221222864 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2365 1660 301 301 0 2064 0
vsize: 9460
[startup+50.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 2240 0 0 0 4983 14 0 0 25 0 1 0 916233012 9879552 1876 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2412 1876 301 301 0 2111 0
vsize: 9648
[startup+60.0013 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 2445 0 0 0 5981 16 0 0 25 0 1 0 916233012 10227712 2081 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2497 2081 301 301 0 2196 0
vsize: 9988
[startup+70.001 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 2660 0 0 0 6979 18 0 0 25 0 1 0 916233012 14925824 2296 4294967295 134512640 135730672 3221224576 3221222880 134746515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3644 2296 301 301 0 3343 0
vsize: 14576
[startup+80.0008 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 2832 0 0 0 7978 19 0 0 25 0 1 0 916233012 15081472 2468 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3682 2468 301 301 0 3381 0
vsize: 14728
[startup+90.0006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 3383 0 0 0 8976 21 0 0 25 0 1 0 916233012 16826368 2634 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4108 2634 301 301 0 3807 0
vsize: 16432
[startup+100 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 3558 0 0 0 9974 23 0 0 25 0 1 0 916233012 17149952 2809 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4187 2809 301 301 0 3886 0
vsize: 16748
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 3741 0 0 0 10973 25 0 0 25 0 1 0 916233012 17657856 2992 4294967295 134512640 135730672 3221224576 3221222912 134740274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4311 2992 301 301 0 4010 0
vsize: 17244
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 3912 0 0 0 11972 26 0 0 25 0 1 0 916233012 17793024 3163 4294967295 134512640 135730672 3221224576 3221222912 134740336 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4344 3163 301 301 0 4043 0
vsize: 17376
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 4014 0 0 0 12971 27 0 0 25 0 1 0 916233012 18038784 3265 4294967295 134512640 135730672 3221224576 3221222864 134747868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4404 3265 301 301 0 4103 0
vsize: 17616
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 4143 0 0 0 13970 28 0 0 25 0 1 0 916233012 18038784 3394 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4404 3394 301 301 0 4103 0
vsize: 17616
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 4283 0 0 0 14969 30 0 0 25 0 1 0 916233012 18382848 3534 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4488 3534 301 301 0 4187 0
vsize: 17952
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 4404 0 0 0 15968 31 0 0 25 0 1 0 916233012 18382848 3655 4294967295 134512640 135730672 3221224576 3221222864 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4488 3655 301 301 0 4187 0
vsize: 17952
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 4521 0 0 0 16967 32 0 0 25 0 1 0 916233012 18382848 3772 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4488 3772 301 301 0 4187 0
vsize: 17952
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 4666 0 0 0 17964 35 0 0 25 0 1 0 916233012 18771968 3917 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4583 3917 301 301 0 4282 0
vsize: 18332
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 4788 0 0 0 18964 35 0 0 25 0 1 0 916233012 18939904 4039 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4624 4039 301 301 0 4323 0
vsize: 18496
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 5019 0 0 0 19962 37 0 0 25 0 1 0 916233012 27869184 4270 4294967295 134512640 135730672 3221224576 3221222864 134747708 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6804 4270 301 301 0 6503 0
vsize: 27216
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 5082 0 0 0 20961 38 0 0 25 0 1 0 916233012 27869184 4333 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6804 4333 301 301 0 6503 0
vsize: 27216
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 5110 0 0 0 21961 39 0 0 25 0 1 0 916233012 27869184 4361 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6804 4361 301 301 0 6503 0
vsize: 27216
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 5131 0 0 0 22960 40 0 0 25 0 1 0 916233012 27869184 4382 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6804 4382 301 301 0 6503 0
vsize: 27216
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24535
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 5276 0 0 0 23958 42 0 0 25 0 1 0 916233012 28409856 4527 4294967295 134512640 135730672 3221224576 3221222924 134740375 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6936 4527 301 301 0 6635 0
vsize: 27744
[startup+250.003 s]
Raw data (loadavg): 1.07 0.98 0.91 2/55 24588
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 5312 0 0 0 24957 42 0 0 25 0 1 0 916233012 28545024 4563 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6969 4563 301 301 0 6668 0
vsize: 27876
[startup+260.004 s]
Raw data (loadavg): 1.06 0.98 0.91 2/55 24588
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 5503 0 0 0 25956 44 0 0 25 0 1 0 916233012 29220864 4754 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7134 4754 301 301 0 6833 0
vsize: 28536
[startup+270.004 s]
Raw data (loadavg): 1.05 0.98 0.91 2/55 24588
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6417 0 0 0 26952 48 0 0 25 0 1 0 916233012 32759808 4899 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7998 4899 301 301 0 7697 0
vsize: 31992
[startup+280.004 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 24588
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6481 0 0 0 27950 50 0 0 25 0 1 0 916233012 32759808 4963 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7998 4963 301 301 0 7697 0
vsize: 31992
[startup+290.004 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 24588
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6527 0 0 0 28949 52 0 0 25 0 1 0 916233012 32886784 5009 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8029 5009 301 301 0 7728 0
vsize: 32116
[startup+300.004 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 24588
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6578 0 0 0 29948 53 0 0 25 0 1 0 916233012 32886784 5060 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8029 5060 301 301 0 7728 0
vsize: 32116
[startup+310.005 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 24590
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6639 0 0 0 30947 54 0 0 25 0 1 0 916233012 33030144 5121 4294967295 134512640 135730672 3221224576 3221222992 134783076 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8064 5121 301 301 0 7763 0
vsize: 32256
[startup+320.005 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 24590
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6700 0 0 0 31946 55 0 0 25 0 1 0 916233012 33173504 5182 4294967295 134512640 135730672 3221224576 3221222880 134746399 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8099 5182 301 301 0 7798 0
vsize: 32396
[startup+330.005 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6759 0 0 0 32945 56 0 0 25 0 1 0 916233012 33329152 5241 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8137 5241 301 301 0 7836 0
vsize: 32548
[startup+340.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6821 0 0 0 33944 58 0 0 25 0 1 0 916233012 33488896 5303 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8176 5303 301 301 0 7875 0
vsize: 32704
[startup+350.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6850 0 0 0 34943 58 0 0 25 0 1 0 916233012 33488896 5332 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8176 5332 301 301 0 7875 0
vsize: 32704
[startup+360.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6890 0 0 0 35942 60 0 0 25 0 1 0 916233012 33669120 5372 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8220 5372 301 301 0 7919 0
vsize: 32880
[startup+370.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6931 0 0 0 36941 60 0 0 25 0 1 0 916233012 33669120 5413 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8220 5413 301 301 0 7919 0
vsize: 32880
[startup+380.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6957 0 0 0 37940 62 0 0 25 0 1 0 916233012 33669120 5439 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8220 5439 301 301 0 7919 0
vsize: 32880
[startup+390.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 6979 0 0 0 38939 63 0 0 25 0 1 0 916233012 33669120 5461 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8220 5461 301 301 0 7919 0
vsize: 32880
[startup+400.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 7031 0 0 0 39938 65 0 0 25 0 1 0 916233012 33959936 5513 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8291 5513 301 301 0 7990 0
vsize: 33164
[startup+410.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 7105 0 0 0 40937 65 0 0 25 0 1 0 916233012 34291712 5587 4294967295 134512640 135730672 3221224576 3221222864 134747662 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8372 5587 301 301 0 8071 0
vsize: 33488
[startup+420.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 7171 0 0 0 41936 66 0 0 25 0 1 0 916233012 34291712 5653 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8372 5653 301 301 0 8071 0
vsize: 33488
[startup+430.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 7328 0 0 0 42935 68 0 0 25 0 1 0 916233012 34484224 5810 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8419 5810 301 301 0 8118 0
vsize: 33676
[startup+440.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 7476 0 0 0 43934 69 0 0 25 0 1 0 916233012 34484224 5958 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8419 5958 301 301 0 8118 0
vsize: 33676
[startup+450.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 7637 0 0 0 44933 70 0 0 25 0 1 0 916233012 35078144 6119 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8564 6119 301 301 0 8263 0
vsize: 34256
[startup+460.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 7731 0 0 0 45932 72 0 0 25 0 1 0 916233012 35078144 6213 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8564 6213 301 301 0 8263 0
vsize: 34256
[startup+470.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 7827 0 0 0 46930 73 0 0 25 0 1 0 916233012 35078144 6309 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8564 6309 301 301 0 8263 0
vsize: 34256
[startup+480.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 7968 0 0 0 47929 75 0 0 25 0 1 0 916233012 35295232 6450 4294967295 134512640 135730672 3221224576 3221222880 134746201 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8617 6450 301 301 0 8316 0
vsize: 34468
[startup+490.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 8097 0 0 0 48928 76 0 0 25 0 1 0 916233012 35463168 6579 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8658 6579 301 301 0 8357 0
vsize: 34632
[startup+500.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 8222 0 0 0 49927 77 0 0 25 0 1 0 916233012 35594240 6671 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8690 6671 301 301 0 8389 0
vsize: 34760
[startup+510.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 8277 0 0 0 50927 78 0 0 25 0 1 0 916233012 35594240 6726 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8690 6726 301 301 0 8389 0
vsize: 34760
[startup+520.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 8376 0 0 0 51926 79 0 0 25 0 1 0 916233012 35762176 6825 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8731 6825 301 301 0 8430 0
vsize: 34924
[startup+530.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 8524 0 0 0 52925 80 0 0 25 0 1 0 916233012 36028416 6940 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8796 6940 301 301 0 8495 0
vsize: 35184
[startup+540.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 8685 0 0 0 53924 81 0 0 25 0 1 0 916233012 36446208 7101 4294967295 134512640 135730672 3221224576 3221222992 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8898 7101 301 301 0 8597 0
vsize: 35592
[startup+550.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 8744 0 0 0 54923 83 0 0 25 0 1 0 916233012 36646912 7160 4294967295 134512640 135730672 3221224576 3221222880 134746195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8947 7160 301 301 0 8646 0
vsize: 35788
[startup+560.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24592
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 8831 0 0 0 55921 84 0 0 25 0 1 0 916233012 36847616 7247 4294967295 134512640 135730672 3221224576 3221222880 134746488 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8996 7247 301 301 0 8695 0
vsize: 35984
[startup+570.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 8950 0 0 0 56920 85 0 0 25 0 1 0 916233012 36978688 7333 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9028 7333 301 301 0 8727 0
vsize: 36112
[startup+580.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 9090 0 0 0 57919 86 0 0 25 0 1 0 916233012 37343232 7440 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9117 7440 301 301 0 8816 0
vsize: 36468
[startup+590.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 9207 0 0 0 58918 87 0 0 25 0 1 0 916233012 37543936 7557 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9166 7557 301 301 0 8865 0
vsize: 36664
[startup+600.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 9321 0 0 0 59917 88 0 0 25 0 1 0 916233012 37928960 7671 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9260 7671 301 301 0 8959 0
vsize: 37040
[startup+610.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 9396 0 0 0 60916 90 0 0 25 0 1 0 916233012 37928960 7746 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9260 7746 301 301 0 8959 0
vsize: 37040
[startup+620.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11026 0 0 0 61913 94 0 0 25 0 1 0 916233012 44220416 7839 4294967295 134512640 135730672 3221224576 3221222864 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10796 7839 301 301 0 10495 0
vsize: 43184
[startup+630.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11126 0 0 0 62912 94 0 0 25 0 1 0 916233012 44371968 7939 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10833 7939 301 301 0 10532 0
vsize: 43332
[startup+640.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11227 0 0 0 63911 96 0 0 25 0 1 0 916233012 44630016 8040 4294967295 134512640 135730672 3221224576 3221222880 134746399 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10896 8040 301 301 0 10595 0
vsize: 43584
[startup+650.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11325 0 0 0 64910 97 0 0 25 0 1 0 916233012 44630016 8138 4294967295 134512640 135730672 3221224576 3221223056 134748464 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10896 8138 301 301 0 10595 0
vsize: 43584
[startup+660.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11438 0 0 0 65909 98 0 0 25 0 1 0 916233012 44773376 8251 4294967295 134512640 135730672 3221224576 3221222992 134783328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10931 8251 301 301 0 10630 0
vsize: 43724
[startup+670.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11578 0 0 0 66908 99 0 0 25 0 1 0 916233012 45297664 8391 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11059 8391 301 301 0 10758 0
vsize: 44236
[startup+680.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11631 0 0 0 67907 100 0 0 25 0 1 0 916233012 45297664 8444 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11059 8444 301 301 0 10758 0
vsize: 44236
[startup+690.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11720 0 0 0 68907 101 0 0 25 0 1 0 916233012 45297664 8533 4294967295 134512640 135730672 3221224576 3221222864 134747840 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11059 8533 301 301 0 10758 0
vsize: 44236
[startup+700.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11793 0 0 0 69906 101 0 0 25 0 1 0 916233012 45494272 8557 4294967295 134512640 135730672 3221224576 3221222960 134763629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11107 8557 301 301 0 10806 0
vsize: 44428
[startup+710.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11812 0 0 0 70906 102 0 0 25 0 1 0 916233012 45494272 8576 4294967295 134512640 135730672 3221224576 3221222880 134746523 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11107 8576 301 301 0 10806 0
vsize: 44428
[startup+720.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11861 0 0 0 71905 103 0 0 25 0 1 0 916233012 45494272 8625 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11107 8625 301 301 0 10806 0
vsize: 44428
[startup+730.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 11947 0 0 0 72905 104 0 0 25 0 1 0 916233012 45494272 8711 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11107 8711 301 301 0 10806 0
vsize: 44428
[startup+740.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12025 0 0 0 73904 104 0 0 25 0 1 0 916233012 45699072 8789 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11157 8789 301 301 0 10856 0
vsize: 44628
[startup+750.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12103 0 0 0 74904 105 0 0 25 0 1 0 916233012 45699072 8867 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11157 8867 301 301 0 10856 0
vsize: 44628
[startup+760.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12203 0 0 0 75903 106 0 0 25 0 1 0 916233012 45699072 8967 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11157 8967 301 301 0 10856 0
vsize: 44628
[startup+770.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12276 0 0 0 76903 106 0 0 25 0 1 0 916233012 45699072 9040 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11157 9040 301 301 0 10856 0
vsize: 44628
[startup+780.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12355 0 0 0 77902 107 0 0 25 0 1 0 916233012 45699072 9119 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11157 9119 301 301 0 10856 0
vsize: 44628
[startup+790.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12447 0 0 0 78901 108 0 0 25 0 1 0 916233012 62476288 9211 4294967295 134512640 135730672 3221224576 3221222880 134746512 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15253 9211 301 301 0 14952 0
vsize: 61012
[startup+800.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12510 0 0 0 79901 109 0 0 25 0 1 0 916233012 62476288 9274 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15253 9274 301 301 0 14952 0
vsize: 61012
[startup+810.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12613 0 0 0 80900 110 0 0 25 0 1 0 916233012 62726144 9377 4294967295 134512640 135730672 3221224576 3221222880 134746168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15314 9377 301 301 0 15013 0
vsize: 61256
[startup+820.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12696 0 0 0 81899 111 0 0 25 0 1 0 916233012 62726144 9460 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15314 9460 301 301 0 15013 0
vsize: 61256
[startup+830.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12776 0 0 0 82898 112 0 0 25 0 1 0 916233012 62726144 9540 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15314 9540 301 301 0 15013 0
vsize: 61256
[startup+840.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12834 0 0 0 83897 113 0 0 25 0 1 0 916233012 62726144 9598 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15314 9598 301 301 0 15013 0
vsize: 61256
[startup+850.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12874 0 0 0 84896 114 0 0 25 0 1 0 916233012 62881792 9638 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15352 9638 301 301 0 15051 0
vsize: 61408
[startup+860.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 12953 0 0 0 85896 115 0 0 25 0 1 0 916233012 63029248 9680 4294967295 134512640 135730672 3221224576 3221222864 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15388 9680 301 301 0 15087 0
vsize: 61552
[startup+870.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13243 0 0 0 86894 116 0 0 25 0 1 0 916233012 63975424 9970 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15619 9970 301 301 0 15318 0
vsize: 62476
[startup+880.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13275 0 0 0 87894 117 0 0 25 0 1 0 916233012 64139264 10002 4294967295 134512640 135730672 3221224576 3221222880 134746175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10002 301 301 0 15358 0
vsize: 62636
[startup+890.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13290 0 0 0 88893 118 0 0 25 0 1 0 916233012 64139264 10017 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10017 301 301 0 15358 0
vsize: 62636
[startup+900.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13304 0 0 0 89893 118 0 0 25 0 1 0 916233012 64139264 10031 4294967295 134512640 135730672 3221224576 3221222864 134747799 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10031 301 301 0 15358 0
vsize: 62636
[startup+910.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13321 0 0 0 90891 120 0 0 25 0 1 0 916233012 64139264 10048 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10048 301 301 0 15358 0
vsize: 62636
[startup+920.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13335 0 0 0 91891 121 0 0 25 0 1 0 916233012 64139264 10062 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10062 301 301 0 15358 0
vsize: 62636
[startup+930.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13352 0 0 0 92890 121 0 0 25 0 1 0 916233012 64139264 10079 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10079 301 301 0 15358 0
vsize: 62636
[startup+940.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13366 0 0 0 93890 122 0 0 25 0 1 0 916233012 64139264 10093 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10093 301 301 0 15358 0
vsize: 62636
[startup+950.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13399 0 0 0 94890 122 0 0 25 0 1 0 916233012 64139264 10126 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10126 301 301 0 15358 0
vsize: 62636
[startup+960.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13435 0 0 0 95889 123 0 0 25 0 1 0 916233012 64286720 10162 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15695 10162 301 301 0 15394 0
vsize: 62780
[startup+970.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13454 0 0 0 96888 124 0 0 25 0 1 0 916233012 64286720 10181 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15695 10181 301 301 0 15394 0
vsize: 62780
[startup+980.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13541 0 0 0 97887 125 0 0 25 0 1 0 916233012 64753664 10268 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15809 10268 301 301 0 15508 0
vsize: 63236
[startup+990.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13582 0 0 0 98886 127 0 0 25 0 1 0 916233012 64888832 10309 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15842 10309 301 301 0 15541 0
vsize: 63368
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13600 0 0 0 99886 127 0 0 25 0 1 0 916233012 64888832 10327 4294967295 134512640 135730672 3221224576 3221222864 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15842 10327 301 301 0 15541 0
vsize: 63368
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13663 0 0 0 100886 128 0 0 25 0 1 0 916233012 65052672 10349 4294967295 134512640 135730672 3221224576 3221222880 134746211 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15882 10349 301 301 0 15581 0
vsize: 63528
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13729 0 0 0 101885 128 0 0 25 0 1 0 916233012 65232896 10370 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15926 10370 301 301 0 15625 0
vsize: 63704
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13746 0 0 0 102884 129 0 0 25 0 1 0 916233012 65232896 10387 4294967295 134512640 135730672 3221224576 3221222864 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15926 10387 301 301 0 15625 0
vsize: 63704
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13763 0 0 0 103884 130 0 0 25 0 1 0 916233012 65232896 10404 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15926 10404 301 301 0 15625 0
vsize: 63704
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13780 0 0 0 104883 131 0 0 25 0 1 0 916233012 65232896 10421 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15926 10421 301 301 0 15625 0
vsize: 63704
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13813 0 0 0 105882 132 0 0 25 0 1 0 916233012 65232896 10454 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15926 10454 301 301 0 15625 0
vsize: 63704
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 13915 0 0 0 106881 133 0 0 25 0 1 0 916233012 65368064 10556 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15959 10556 301 301 0 15658 0
vsize: 63836
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14011 0 0 0 107880 134 0 0 25 0 1 0 916233012 65503232 10652 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15992 10652 301 301 0 15691 0
vsize: 63968
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14261 0 0 0 108880 135 0 0 25 0 1 0 916233012 66310144 10902 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16189 10902 301 301 0 15888 0
vsize: 64756
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14831 0 0 0 109877 138 0 0 25 0 1 0 916233012 68067328 11472 4294967295 134512640 135730672 3221224576 3221222848 134732736 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11472 301 301 0 16317 0
vsize: 66472
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14853 0 0 0 110876 139 0 0 25 0 1 0 916233012 68067328 11494 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11494 301 301 0 16317 0
vsize: 66472
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14870 0 0 0 111875 140 0 0 25 0 1 0 916233012 68067328 11511 4294967295 134512640 135730672 3221224576 3221222976 134744459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11511 301 301 0 16317 0
vsize: 66472
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14888 0 0 0 112875 141 0 0 25 0 1 0 916233012 68067328 11529 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11529 301 301 0 16317 0
vsize: 66472
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14905 0 0 0 113874 141 0 0 25 0 1 0 916233012 68067328 11546 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11546 301 301 0 16317 0
vsize: 66472
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14920 0 0 0 114873 143 0 0 25 0 1 0 916233012 68067328 11561 4294967295 134512640 135730672 3221224576 3221222864 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11561 301 301 0 16317 0
vsize: 66472
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14935 0 0 0 115873 143 0 0 25 0 1 0 916233012 68067328 11576 4294967295 134512640 135730672 3221224576 3221222864 134747851 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11576 301 301 0 16317 0
vsize: 66472
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14950 0 0 0 116873 144 0 0 25 0 1 0 916233012 68067328 11591 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11591 301 301 0 16317 0
vsize: 66472
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14965 0 0 0 117872 144 0 0 25 0 1 0 916233012 68067328 11606 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11606 301 301 0 16317 0
vsize: 66472
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14978 0 0 0 118872 145 0 0 25 0 1 0 916233012 68067328 11619 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11619 301 301 0 16317 0
vsize: 66472
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 24594
Raw data (stat): 24535 (pb2sat-v2) R 24534 8378 8377 0 -1 0 14995 0 0 0 119871 146 0 0 25 0 1 0 916233012 68067328 11636 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11636 301 301 0 16317 0
vsize: 66472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 24594
Raw data (stat): 24535 (pb2sat-v2) Z 24534 8378 8377 0 -1 12 14997 0 0 0 119891 148 0 0 25 0 1 0 916233012 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.25
CPU time (s): 1200.4
CPU user time (s): 1198.91
CPU system time (s): 1.48477
CPU usage (%): 100.012
Max. virtual memory (Kb): 66472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####