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/miplib/normalized-mps-v2-13-7-stein45.opb
MD5SUM	980dd801f0823d520b47724b99fabded
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.01884
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 42822

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 15:40:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26034 boxname=wulflinc4 idbench=1334 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 26034
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        779632 kB
Buffers:         11556 kB
Cached:         221868 kB
SwapCached:        904 kB
Active:          26944 kB
Inactive:       208612 kB
HighTotal:      131008 kB
HighFree:        17892 kB
LowTotal:       903652 kB
LowFree:        761740 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13872 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 16:00:41 (client local time) WITH STATUS 10 IN 1200.53 SECONDS
stats: 26034 0 1200.53 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.180872 s]  setting bit 5 to 0

c Decision: 336/1661	Time: 4.54031/86400
c Decision: 336/1661	Time: 5.00324/86400
c Decision: 336/1661	Time: 5.50516/86400
c Decision: 336/1661	Time: 5.95109/86400
c Decision: 336/1661	Time: 6.50501/86400
c Decision: 336/1661	Time: 7.10892/86400
c Decision: 347/1661	Time: 7.80781/86400
c Decision: 347/1661	Time: 8.42472/86400
c Decision: 347/1661	Time: 9.02663/86400
c Decision: 347/1661	Time: 9.61554/86400
c Decision: 347/1661	Time: 10.2444/86400
c Decision: 347/1661	Time: 10.8843/86400
c Decision: 347/1661	Time: 11.6072/86400
c Decision: 347/1661	Time: 12.2941/86400
c Decision: 347/1661	Time: 13.021/86400
c Decision: 347/1661	Time: 13.8149/86400
c Decision: 347/1661	Time: 14.6258/86400
c Decision: 347/1661	Time: 15.4227/86400
c Decision: 347/1661	Time: 16.2505/86400
c Decision: 347/1661	Time: 17.1024/86400
c Decision: 347/1661	Time: 18.0803/86400
c Decision: 347/1661	Time: 18.9361/86400
c Decision: 347/1661	Time: 19.75/86400
c Decision: 347/1661	Time: 20.7338/86400
c Decision: 347/1661	Time: 21.6857/86400
c Decision: 347/1661	Time: 22.7015/86400
c Decision: 347/1661	Time: 23.6774/86400
c Decision: 347/1661	Time: 24.5753/86400
c Decision: 347/1661	Time: 25.5711/86400
c Decision: 347/1661	Time: 26.548/86400
c Decision: 347/1661	Time: 27.5688/86400
c Decision: 347/1661	Time: 28.5717/86400
c Decision: 347/1661	Time: 29.7105/86400
c Decision: 347/1661	Time: 30.7343/86400
c Decision: 347/1661	Time: 31.8382/86400
c Decision: 347/1661	Time: 33.064/86400
c Decision: 347/1661	Time: 34.2978/86400
c Decision: 347/1661	Time: 35.4716/86400
c Decision: 347/1661	Time: 36.6104/86400
c Decision: 347/1661	Time: 37.7603/86400
c Decision: 347/1661	Time: 39.0261/86400
c Decision: 347/1661	Time: 40.1839/86400
c Decision: 347/1661	Time: 41.2637/86400
c Decision: 347/1661	Time: 42.4775/86400
c Decision: 347/1661	Time: 43.5574/86400
c Decision: 347/1661	Time: 44.7522/86400
c Decision: 347/1661	Time: 46.041/86400
c Decision: 347/1661	Time: 47.3188/86400
c Decision: 347/1661	Time: 48.5286/86400
c Decision: 347/1661	Time: 49.9614/86400
c Decision: 347/1661	Time: 51.3422/86400
c Decision: 347/1661	Time: 52.65/86400
c Decision: 347/1661	Time: 53.9188/86400
c Decision: 347/1661	Time: 55.1546/86400
c Decision: 347/1661	Time: 56.5664/86400
c Decision: 347/1661	Time: 58.0172/86400
c Decision: 347/1661	Time: 59.512/86400
c Decision: 347/1661	Time: 60.9957/86400
c Decision: 347/1661	Time: 62.3925/86400
c Decision: 347/1661	Time: 63.8203/86400
c Decision: 347/1661	Time: 65.3681/86400
c Decision: 347/1661	Time: 66.8828/86400
c Decision: 347/1661	Time: 68.2786/86400
c Decision: 347/1661	Time: 69.8844/86400
c Decision: 347/1661	Time: 71.3771/86400
c Decision: 347/1661	Time: 72.9719/86400
c Decision: 347/1661	Time: 74.5277/86400
c Decision: 347/1661	Time: 75.9944/86400
c Decision: 347/1661	Time: 77.4852/86400
c Decision: 347/1661	Time: 78.963/86400
c Decision: 347/1661	Time: 80.6757/86400
c Decision: 347/1661	Time: 82.2915/86400
c Decision: 347/1661	Time: 83.8303/86400
c Decision: 347/1661	Time: 85.562/86400
c Decision: 347/1661	Time: 87.0288/86400
c Decision: 347/1661	Time: 88.6155/86400
c Decision: 347/1661	Time: 90.3013/86400
c Decision: 347/1661	Time: 92.122/86400
c Decision: 347/1661	Time: 93.8237/86400
c Decision: 347/1661	Time: 95.3855/86400
c Decision: 347/1661	Time: 97.1062/86400
c Decision: 347/1661	Time: 98.902/86400
c Decision: 347/1661	Time: 101.012/86400
c Decision: 347/1661	Time: 102.611/86400
c Decision: 347/1661	Time: 104.255/86400
c Decision: 347/1661	Time: 106.083/86400
c Decision: 347/1661	Time: 107.902/86400
c Decision: 347/1661	Time: 109.71/86400
c Decision: 347/1661	Time: 111.434/86400
c Decision: 347/1661	Time: 113.097/86400
c Decision: 347/1661	Time: 115.171/86400
c Decision: 347/1661	Time: 116.925/86400
c Decision: 347/1661	Time: 118.764/86400
c Decision: 347/1661	Time: 120.565/86400
c Decision: 347/1661	Time: 122.502/86400
c Decision: 347/1661	Time: 124.419/86400
c Decision: 347/1661	Time: 126.22/86400
c Decision: 347/1661	Time: 127.987/86400
c Decision: 347/1661	Time: 129.757/86400
c Decision: 347/1661	Time: 131.546/86400
c Decision: 347/1661	Time: 133.651/86400
c Decision: 347/1661	Time: 135.317/86400
c Decision: 347/1661	Time: 137.082/86400
c Decision: 347/1661	Time: 138.831/86400
c Decision: 347/1661	Time: 140.526/86400
c Decision: 347/1661	Time: 142.181/86400
c Decision: 347/1661	Time: 144.112/86400
c Decision: 347/1661	Time: 146.19/86400
c Decision: 347/1661	Time: 148.332/86400
c Decision: 347/1661	Time: 150.627/86400
c Decision: 347/1661	Time: 152.433/86400
c Decision: 347/1661	Time: 154.255/86400
c Decision: 347/1661	Time: 156.001/86400
c Decision: 347/1661	Time: 157.767/86400
c Decision: 347/1661	Time: 159.635/86400
c Decision: 347/1661	Time: 161.681/86400
c Decision: 347/1661	Time: 163.579/86400
c Decision: 347/1661	Time: 165.597/86400
c Decision: 347/1661	Time: 167.581/86400
c Decision: 347/1661	Time: 169.509/86400
c Decision: 347/1661	Time: 171.645/86400
c Decision: 347/1661	Time: 173.529/86400
c Decision: 347/1661	Time: 175.665/86400
c Decision: 347/1661	Time: 177.576/86400
c Decision: 347/1661	Time: 179.603/86400
c Decision: 347/1661	Time: 181.857/86400
c Decision: 347/1661	Time: 183.801/86400
c Decision: 347/1661	Time: 185.824/86400
c Decision: 347/1661	Time: 187.89/86400
c Decision: 347/1661	Time: 189.717/86400
c Decision: 347/1661	Time: 191.958/86400
c Decision: 347/1661	Time: 193.838/86400
c Decision: 347/1661	Time: 196.204/86400
c Decision: 382/1661	Time: 199.95/86400
c Decision: 382/1661	Time: 201.922/86400
c Decision: 382/1661	Time: 203.626/86400
c Decision: 382/1661	Time: 205.294/86400
c Decision: 382/1661	Time: 207.113/86400
c Decision: 382/1661	Time: 209.012/86400
c Decision: 382/1661	Time: 210.84/86400
c Decision: 382/1661	Time: 212.903/86400
c Decision: 382/1661	Time: 214.657/86400
c Decision: 382/1661	Time: 216.399/86400
c Decision: 382/1661	Time: 218.184/86400
c Decision: 382/1661	Time: 219.957/86400
c Decision: 382/1661	Time: 222.032/86400
c Decision: 382/1661	Time: 224.038/86400
c Decision: 382/1661	Time: 225.888/86400
c Decision: 382/1661	Time: 227.827/86400
c Decision: 388/1661	Time: 231.242/86400
c Decision: 388/1661	Time: 233.278/86400
c Decision: 388/1661	Time: 234.864/86400
c Decision: 388/1661	Time: 236.994/86400
c Decision: 388/1661	Time: 238.69/86400
c Decision: 388/1661	Time: 240.875/86400
c Decision: 388/1661	Time: 243.463/86400
c Decision: 388/1661	Time: 245.583/86400
c Decision: 388/1661	Time: 247.746/86400
c Decision: 439/1661	Time: 252.341/86400
c Decision: 439/1661	Time: 253.963/86400
c Decision: 439/1661	Time: 255.781/86400
c Decision: 439/1661	Time: 257.537/86400
c Decision: 468/1661	Time: 259.467/86400
c Decision: 468/1661	Time: 261.022/86400
c Decision: 600/1661	Time: 262.87/86400
c [startup+266.254 s]  setting bit 4 to 0

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

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

c Decision: 304/1661	Time: 6.92195/86400
c Decision: 304/1661	Time: 7.72583/86400
c Decision: 304/1661	Time: 8.47571/86400
c Decision: 304/1661	Time: 9.2366/86400
c Decision: 304/1661	Time: 9.95149/86400
c Decision: 304/1661	Time: 10.8084/86400
c Decision: 304/1661	Time: 11.5982/86400
c Decision: 304/1661	Time: 12.4201/86400
c Decision: 304/1661	Time: 13.321/86400
c Decision: 304/1661	Time: 14.1978/86400
c Decision: 304/1661	Time: 15.0577/86400
c Decision: 304/1661	Time: 15.9536/86400
c Decision: 304/1661	Time: 16.9474/86400
c Decision: 304/1661	Time: 17.8573/86400
c Decision: 304/1661	Time: 18.8691/86400
c Decision: 304/1661	Time: 19.886/86400
c Decision: 304/1661	Time: 20.9228/86400
c got solution with objective value: 30
c [startup+287.617 s]  setting bit 1 to 1

c Decision: 297/1661	Time: 10.5314/86400
c Decision: 297/1661	Time: 11.7062/86400
c Decision: 297/1661	Time: 12.6911/86400
c Decision: 297/1661	Time: 13.8219/86400
c Decision: 297/1661	Time: 15.2317/86400
c Decision: 297/1661	Time: 16.6585/86400
c Decision: 297/1661	Time: 17.8443/86400
c Decision: 297/1661	Time: 19.2471/86400
c Decision: 297/1661	Time: 20.7129/86400
c Decision: 297/1661	Time: 21.9607/86400
c Decision: 297/1661	Time: 23.3055/86400
c Decision: 297/1661	Time: 24.7192/86400
c Decision: 297/1661	Time: 26.034/86400
c Decision: 297/1661	Time: 27.5748/86400
c Decision: 297/1661	Time: 28.9036/86400
c Decision: 297/1661	Time: 30.4584/86400
c Decision: 297/1661	Time: 31.9002/86400
c Decision: 297/1661	Time: 33.3929/86400
c Decision: 297/1661	Time: 34.7677/86400
c Decision: 297/1661	Time: 36.2515/86400
c Decision: 297/1661	Time: 37.9322/86400
c Decision: 297/1661	Time: 39.521/86400
c Decision: 297/1661	Time: 41.0038/86400
c Decision: 297/1661	Time: 42.5665/86400
c Decision: 297/1661	Time: 44.1963/86400
c Decision: 297/1661	Time: 45.903/86400
c Decision: 297/1661	Time: 47.5318/86400
c Decision: 297/1661	Time: 49.0705/86400
c Decision: 297/1661	Time: 50.6433/86400
c Decision: 297/1661	Time: 52.317/86400
c Decision: 297/1661	Time: 54.0708/86400
c Decision: 297/1661	Time: 55.8575/86400
c Decision: 297/1661	Time: 57.3703/86400
c Decision: 297/1661	Time: 59.15/86400
c Decision: 297/1661	Time: 60.7808/86400
c Decision: 297/1661	Time: 62.7225/86400
c Decision: 297/1661	Time: 64.4022/86400
c Decision: 297/1661	Time: 66.5649/86400
c Decision: 297/1661	Time: 68.4136/86400
c Decision: 297/1661	Time: 70.2723/86400
c Decision: 297/1661	Time: 72.179/86400
c Decision: 297/1661	Time: 73.8098/86400
c Decision: 297/1661	Time: 75.5455/86400
c Decision: 297/1661	Time: 77.2403/86400
c Decision: 297/1661	Time: 79.3649/86400
c Decision: 297/1661	Time: 81.3646/86400
c Decision: 297/1661	Time: 83.0384/86400
c Decision: 297/1661	Time: 84.9461/86400
c Decision: 297/1661	Time: 86.9888/86400
c Decision: 297/1661	Time: 89.0655/86400
c Decision: 297/1661	Time: 91.1741/86400
c Decision: 297/1661	Time: 93.1098/86400
c Decision: 297/1661	Time: 94.9686/86400
c Decision: 297/1661	Time: 97.1432/86400
c Decision: 297/1661	Time: 99.2439/86400
c Decision: 297/1661	Time: 101.528/86400
c Decision: 297/1661	Time: 103.65/86400
c Decision: 297/1661	Time: 105.559/86400
c Decision: 297/1661	Time: 107.385/86400
c Decision: 297/1661	Time: 109.413/86400
c Decision: 297/1661	Time: 111.876/86400
c Decision: 297/1661	Time: 113.841/86400
c Decision: 297/1661	Time: 116.149/86400
c Decision: 297/1661	Time: 118.497/86400
c Decision: 297/1661	Time: 120.765/86400
c Decision: 297/1661	Time: 123.018/86400
c Decision: 297/1661	Time: 124.903/86400
c Decision: 297/1661	Time: 126.951/86400
c Decision: 297/1661	Time: 128.951/86400
c Decision: 297/1661	Time: 131.182/86400
c Decision: 297/1661	Time: 133.429/86400
c Decision: 297/1661	Time: 135.561/86400
c Decision: 297/1661	Time: 137.341/86400
c Decision: 297/1661	Time: 139.331/86400
c Decision: 297/1661	Time: 141.616/86400
c Decision: 297/1661	Time: 144.144/86400
c Decision: 297/1661	Time: 146.512/86400
c Decision: 297/1661	Time: 148.656/86400
c Decision: 297/1661	Time: 151.067/86400
c Decision: 297/1661	Time: 153.033/86400
c Decision: 297/1661	Time: 155.38/86400
c Decision: 297/1661	Time: 157.714/86400
c Decision: 297/1661	Time: 160.091/86400
c Decision: 297/1661	Time: 162.54/86400
c Decision: 297/1661	Time: 164.936/86400
c Decision: 297/1661	Time: 167.26/86400
c Decision: 297/1661	Time: 169.64/86400
c Decision: 297/1661	Time: 171.95/86400
c Decision: 297/1661	Time: 174.203/86400
c Decision: 297/1661	Time: 176.55/86400
c Decision: 297/1661	Time: 179.246/86400
c Decision: 297/1661	Time: 181.665/86400
c Decision: 297/1661	Time: 184.021/86400
c Decision: 297/1661	Time: 186.417/86400
c Decision: 297/1661	Time: 188.707/86400
c Decision: 297/1661	Time: 191.408/86400
c Decision: 297/1661	Time: 193.768/86400
c Decision: 297/1661	Time: 196.099/86400
c Decision: 297/1661	Time: 198.529/86400
c Decision: 297/1661	Time: 200.94/86400
c Decision: 297/1661	Time: 203.615/86400
c Decision: 297/1661	Time: 205.678/86400
c Decision: 297/1661	Time: 208.105/86400
c Decision: 297/1661	Time: 210.867/86400
c Decision: 297/1661	Time: 213.474/86400
c Decision: 297/1661	Time: 216.529/86400
c Decision: 297/1661	Time: 218.913/86400
c Decision: 297/1661	Time: 221.249/86400
c Decision: 297/1661	Time: 223.59/86400
c Decision: 297/1661	Time: 226.249/86400
c Decision: 297/1661	Time: 229.115/86400
c Decision: 297/1661	Time: 231.349/86400
c Decision: 297/1661	Time: 233.664/86400
c Decision: 297/1661	Time: 235.889/86400
c Decision: 297/1661	Time: 238.312/86400
c Decision: 297/1661	Time: 241.12/86400
c Decision: 297/1661	Time: 243.676/86400
c Decision: 297/1661	Time: 245.958/86400
c Decision: 297/1661	Time: 248.17/86400
c Decision: 297/1661	Time: 251.299/86400
c Decision: 297/1661	Time: 253.889/86400
c Decision: 297/1661	Time: 256.375/86400
c Decision: 297/1661	Time: 258.97/86400
c Decision: 297/1661	Time: 261.168/86400
c Decision: 297/1661	Time: 263.856/86400
c Decision: 297/1661	Time: 266.704/86400
c Decision: 297/1661	Time: 269.165/86400
c Decision: 297/1661	Time: 271.408/86400
c Decision: 297/1661	Time: 273.915/86400
c Decision: 297/1661	Time: 276.509/86400
c Decision: 297/1661	Time: 278.922/86400
c Decision: 297/1661	Time: 281.445/86400
c Decision: 297/1661	Time: 283.759/86400
c Decision: 297/1661	Time: 286.431/86400
c Decision: 297/1661	Time: 289.125/86400
c Decision: 297/1661	Time: 291.9/86400
c Decision: 297/1661	Time: 294.505/86400
c Decision: 297/1661	Time: 296.974/86400
c Decision: 297/1661	Time: 299.703/86400
c Decision: 297/1661	Time: 302.692/86400
c Decision: 297/1661	Time: 305.55/86400
c Decision: 297/1661	Time: 308.079/86400
c Decision: 297/1661	Time: 310.985/86400
c Decision: 297/1661	Time: 313.935/86400
c Decision: 297/1661	Time: 316.427/86400
c Decision: 297/1661	Time: 319.263/86400
c Decision: 297/1661	Time: 321.975/86400
c Decision: 297/1661	Time: 324.42/86400
c Decision: 297/1661	Time: 327.082/86400
c Decision: 297/1661	Time: 329.857/86400
c Decision: 297/1661	Time: 332.785/86400
c Decision: 297/1661	Time: 335.785/86400
c Decision: 297/1661	Time: 338.207/86400
c Decision: 297/1661	Time: 340.646/86400
c Decision: 297/1661	Time: 342.721/86400
c Decision: 297/1661	Time: 345.794/86400
c Decision: 297/1661	Time: 348.515/86400
c Decision: 297/1661	Time: 351.223/86400
c Decision: 297/1661	Time: 354.001/86400
c Decision: 297/1661	Time: 356.78/86400
c Decision: 297/1661	Time: 360.013/86400
c Decision: 297/1661	Time: 362.357/86400
c Decision: 297/1661	Time: 365.041/86400
c Decision: 297/1661	Time: 367.582/86400
c Decision: 297/1661	Time: 370.321/86400
c Decision: 297/1661	Time: 373.879/86400
c Decision: 297/1661	Time: 376.829/86400
c Decision: 297/1661	Time: 379.789/86400
c Decision: 297/1661	Time: 382.639/86400
c Decision: 297/1661	Time: 385.194/86400
c Decision: 297/1661	Time: 388.016/86400
c Decision: 297/1661	Time: 390.758/86400
c Decision: 297/1661	Time: 393.752/86400
c Decision: 297/1661	Time: 396.056/86400
c Decision: 297/1661	Time: 398.617/86400
c Decision: 297/1661	Time: 401.906/86400
c Decision: 297/1661	Time: 404.48/86400
c Decision: 297/1661	Time: 407.313/86400
c Decision: 297/1661	Time: 410.216/86400
c Decision: 297/1661	Time: 412.743/86400
c Decision: 297/1661	Time: 415.532/86400
c Decision: 297/1661	Time: 418.367/86400
c Decision: 297/1661	Time: 421.205/86400
c Decision: 297/1661	Time: 424.19/86400
c Decision: 297/1661	Time: 427.329/86400
c Decision: 297/1661	Time: 430.367/86400
c Decision: 297/1661	Time: 433.18/86400
c Decision: 297/1661	Time: 436.083/86400
c Decision: 297/1661	Time: 438.72/86400
c Decision: 297/1661	Time: 441.509/86400
c Decision: 297/1661	Time: 444.677/86400
c Decision: 297/1661	Time: 447.72/86400
c Decision: 297/1661	Time: 450.509/86400
c Decision: 297/1661	Time: 453.672/86400
c Decision: 297/1661	Time: 456.518/86400
c Decision: 297/1661	Time: 460.216/86400
c Decision: 297/1661	Time: 463.042/86400
c Decision: 297/1661	Time: 465.657/86400
c Decision: 297/1661	Time: 468.432/86400
c Decision: 297/1661	Time: 471.474/86400
c Decision: 297/1661	Time: 474.779/86400
c Decision: 297/1661	Time: 477.719/86400
c Decision: 297/1661	Time: 480.906/86400
c Decision: 297/1661	Time: 483.653/86400
c Decision: 297/1661	Time: 486.317/86400
c Decision: 297/1661	Time: 489.694/86400
c Decision: 297/1661	Time: 492.428/86400
c Decision: 297/1661	Time: 495.257/86400
c Decision: 297/1661	Time: 498.044/86400
c Decision: 297/1661	Time: 501.102/86400
c Decision: 297/1661	Time: 504.288/86400
c Decision: 297/1661	Time: 506.861/86400
c Decision: 297/1661	Time: 509.852/86400
c Decision: 297/1661	Time: 512.526/86400
c Decision: 297/1661	Time: 515.425/86400
c Decision: 297/1661	Time: 518.661/86400
c Decision: 297/1661	Time: 521.489/86400
c Decision: 297/1661	Time: 524.163/86400
c Decision: 297/1661	Time: 526.942/86400
c Decision: 297/1661	Time: 529.542/86400
c Decision: 297/1661	Time: 533.041/86400
c Decision: 297/1661	Time: 535.592/86400
c Decision: 297/1661	Time: 538.497/86400
c Decision: 297/1661	Time: 541.293/86400
c Decision: 297/1661	Time: 543.722/86400
c Decision: 297/1661	Time: 547.21/86400
c Decision: 297/1661	Time: 550.146/86400
c Decision: 297/1661	Time: 553.215/86400
c Decision: 297/1661	Time: 556.079/86400
c Decision: 297/1661	Time: 559.068/86400
c Decision: 297/1661	Time: 562.302/86400
c Decision: 297/1661	Time: 565.131/86400
c Decision: 297/1661	Time: 568.238/86400
c Decision: 297/1661	Time: 571.491/86400
c Decision: 489/1661	Time: 575.925/86400
c Decision: 489/1661	Time: 578.817/86400
c Decision: 489/1661	Time: 581.059/86400
c Decision: 489/1661	Time: 582.932/86400
c Decision: 489/1661	Time: 585.618/86400
c Decision: 489/1661	Time: 589.015/86400
c Decision: 489/1661	Time: 591.485/86400
c Decision: 489/1661	Time: 594.062/86400
c Decision: 489/1661	Time: 596.782/86400
c Decision: 489/1661	Time: 599.585/86400
c Decision: 489/1661	Time: 602.122/86400
c Decision: 489/1661	Time: 605.099/86400
c Decision: 489/1661	Time: 607.905/86400
c Decision: 489/1661	Time: 610.478/86400
c Decision: 489/1661	Time: 613.432/86400
c Decision: 489/1661	Time: 616.135/86400
c Decision: 489/1661	Time: 619.215/86400
c Decision: 489/1661	Time: 621.651/86400
c Decision: 489/1661	Time: 624.489/86400
c Decision: 489/1661	Time: 627.343/86400
c Decision: 489/1661	Time: 630.191/86400
c Decision: 489/1661	Time: 632.893/86400
c Decision: 489/1661	Time: 635.551/86400
c Decision: 489/1661	Time: 637.877/86400
c Decision: 489/1661	Time: 640.558/86400
c Decision: 489/1661	Time: 643.074/86400
c Decision: 489/1661	Time: 646.291/86400
c Decision: 489/1661	Time: 649.078/86400
c Decision: 489/1661	Time: 651.975/86400
c Decision: 489/1661	Time: 654.695/86400
c Decision: 489/1661	Time: 657.508/86400
c Decision: 489/1661	Time: 661.007/86400
c Decision: 489/1661	Time: 663.893/86400
c Decision: 489/1661	Time: 666.73/86400
c Decision: 489/1661	Time: 669.787/86400
c Decision: 489/1661	Time: 672.534/86400
c Decision: 489/1661	Time: 676.107/86400
c Decision: 489/1661	Time: 679.047/86400
c Decision: 489/1661	Time: 681.615/86400
c Decision: 489/1661	Time: 683.934/86400
c Decision: 489/1661	Time: 687/86400
c Decision: 489/1661	Time: 690.312/86400
c Decision: 489/1661	Time: 693.602/86400
c Decision: 489/1661	Time: 696.827/86400
c Decision: 489/1661	Time: 700.058/86400
c Decision: 489/1661	Time: 702.868/86400
c Decision: 489/1661	Time: 706.211/86400
c Decision: 489/1661	Time: 709.167/86400
c Decision: 489/1661	Time: 712.023/86400
c Decision: 489/1661	Time: 715.332/86400
c Decision: 489/1661	Time: 718.121/86400
c Decision: 489/1661	Time: 721.403/86400
c Decision: 489/1661	Time: 724.351/86400
c Decision: 489/1661	Time: 727.442/86400
c Decision: 489/1661	Time: 730.386/86400
c Decision: 489/1661	Time: 733.606/86400
c Decision: 489/1661	Time: 737.079/86400
c Decision: 489/1661	Time: 740.089/86400
c Decision: 489/1661	Time: 742.757/86400
c Decision: 489/1661	Time: 745.36/86400
c Decision: 489/1661	Time: 748.109/86400
c Decision: 489/1661	Time: 751.449/86400
c Decision: 489/1661	Time: 754.73/86400
c Decision: 489/1661	Time: 757.79/86400
c Decision: 489/1661	Time: 760.901/86400
c Decision: 489/1661	Time: 763.955/86400
c Decision: 489/1661	Time: 767.347/86400
c Decision: 489/1661	Time: 770.303/86400
c Decision: 489/1661	Time: 773.253/86400
c Decision: 489/1661	Time: 776.545/86400
c Decision: 489/1661	Time: 779.39/86400
c Decision: 489/1661	Time: 782.505/86400
c Decision: 489/1661	Time: 785.652/86400
c Decision: 489/1661	Time: 788.517/86400
c Decision: 489/1661	Time: 791.388/86400
c Decision: 489/1661	Time: 794.654/86400
c Decision: 489/1661	Time: 798.016/86400
c Decision: 512/1661	Time: 803/86400
c Decision: 589/1661	Time: 808.555/86400
c Decision: 589/1661	Time: 810.622/86400
c Decision: 589/1661	Time: 812.35/86400
c Decision: 589/1661	Time: 814.463/86400
c Decision: 589/1661	Time: 816.567/86400
c Decision: 589/1661	Time: 818.551/86400
c Decision: 589/1661	Time: 820.55/86400
c Decision: 589/1661	Time: 822.743/86400
c Decision: 589/1661	Time: 824.905/86400
c Decision: 589/1661	Time: 827.133/86400
c Decision: 589/1661	Time: 829.364/86400
c Decision: 589/1661	Time: 831.495/86400
c Decision: 589/1661	Time: 834.091/86400
c Decision: 589/1661	Time: 836.386/86400
c Decision: 589/1661	Time: 838.632/86400
c Decision: 589/1661	Time: 841.029/86400
c Decision: 589/1661	Time: 843.356/86400
c Decision: 589/1661	Time: 845.752/86400
c Decision: 589/1661	Time: 848.178/86400
c Decision: 589/1661	Time: 850.419/86400
c Decision: 589/1661	Time: 852.884/86400
c Decision: 589/1661	Time: 855.952/86400
c Decision: 589/1661	Time: 858.687/86400
c Decision: 589/1661	Time: 861.417/86400
c Decision: 589/1661	Time: 864.452/86400
c Decision: 589/1661	Time: 866.686/86400
c Decision: 589/1661	Time: 869.362/86400
c Decision: 589/1661	Time: 872.242/86400
c Decision: 589/1661	Time: 874.799/86400
c Decision: 589/1661	Time: 877.124/86400
c Decision: 589/1661	Time: 879.434/86400
c Decision: 589/1661	Time: 883.06/86400
c Decision: 589/1661	Time: 886.236/86400
c Decision: 589/1661	Time: 889.086/86400
c Decision: 589/1661	Time: 892.047/86400
c Decision: 589/1661	Time: 894.557/86400
c Decision: 589/1661	Time: 897.292/86400
c Decision: 589/1661	Time: 900.156/86400
c Decision: 589/1661	Time: 903.218/86400
c Decision: 589/1661	Time: 906.595/86400
c Decision: 589/1661	Time: 909.614/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.67 0.89 0.88 2/54 29347
Raw data (stat): 29347 (runsolver) R 29346 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971907845 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0014 s]
Raw data (loadavg): 0.72 0.90 0.89 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 1005 0 0 0 994 5 0 0 25 0 1 0 971907845 5349376 834 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1306 834 301 301 0 1005 0
vsize: 5224
[startup+20.0019 s]
Raw data (loadavg): 0.76 0.90 0.89 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 1346 0 0 0 1992 7 0 0 25 0 1 0 971907845 5902336 1175 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1441 1175 301 301 0 1140 0
vsize: 5764
[startup+30.0025 s]
Raw data (loadavg): 0.80 0.90 0.89 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 1803 0 0 0 2988 10 0 0 25 0 1 0 971907845 9240576 1439 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2256 1439 301 301 0 1955 0
vsize: 9024
[startup+40.0029 s]
Raw data (loadavg): 0.83 0.90 0.89 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 2024 0 0 0 3987 12 0 0 25 0 1 0 971907845 9687040 1660 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2365 1660 301 301 0 2064 0
vsize: 9460
[startup+50.0025 s]
Raw data (loadavg): 0.85 0.91 0.89 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 2242 0 0 0 4984 14 0 0 25 0 1 0 971907845 9879552 1878 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2412 1878 301 301 0 2111 0
vsize: 9648
[startup+60.0031 s]
Raw data (loadavg): 0.88 0.91 0.89 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 2443 0 0 0 5982 16 0 0 25 0 1 0 971907845 10227712 2079 4294967295 134512640 135730672 3221224576 3221222912 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2497 2079 301 301 0 2196 0
vsize: 9988
[startup+70.0036 s]
Raw data (loadavg): 0.89 0.91 0.89 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 2660 0 0 0 6980 19 0 0 25 0 1 0 971907845 14925824 2296 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3644 2296 301 301 0 3343 0
vsize: 14576
[startup+80.0031 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 2832 0 0 0 7979 20 0 0 25 0 1 0 971907845 15081472 2468 4294967295 134512640 135730672 3221224576 3221222864 134747868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3682 2468 301 301 0 3381 0
vsize: 14728
[startup+90.0036 s]
Raw data (loadavg): 0.92 0.92 0.89 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 3383 0 0 0 8976 23 0 0 25 0 1 0 971907845 16826368 2634 4294967295 134512640 135730672 3221224576 3221222864 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4108 2634 301 301 0 3807 0
vsize: 16432
[startup+100.003 s]
Raw data (loadavg): 0.93 0.92 0.89 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 3540 0 0 0 9975 24 0 0 25 0 1 0 971907845 17014784 2791 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4154 2791 301 301 0 3853 0
vsize: 16616
[startup+110.004 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 3738 0 0 0 10974 25 0 0 25 0 1 0 971907845 17657856 2989 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4311 2989 301 301 0 4010 0
vsize: 17244
[startup+120.005 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 3911 0 0 0 11973 27 0 0 25 0 1 0 971907845 17793024 3162 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4344 3162 301 301 0 4043 0
vsize: 17376
[startup+130.005 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 4012 0 0 0 12972 28 0 0 25 0 1 0 971907845 18038784 3263 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4404 3263 301 301 0 4103 0
vsize: 17616
[startup+140.005 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 4140 0 0 0 13970 30 0 0 25 0 1 0 971907845 18038784 3391 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4404 3391 301 301 0 4103 0
vsize: 17616
[startup+150.006 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 4280 0 0 0 14968 32 0 0 25 0 1 0 971907845 18382848 3531 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4488 3531 301 301 0 4187 0
vsize: 17952
[startup+160.006 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 4400 0 0 0 15967 33 0 0 25 0 1 0 971907845 18382848 3651 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4488 3651 301 301 0 4187 0
vsize: 17952
[startup+170.006 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 4518 0 0 0 16966 34 0 0 25 0 1 0 971907845 18382848 3769 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4488 3769 301 301 0 4187 0
vsize: 17952
[startup+180.006 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 4663 0 0 0 17965 35 0 0 25 0 1 0 971907845 18771968 3914 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4583 3914 301 301 0 4282 0
vsize: 18332
[startup+190.007 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 4785 0 0 0 18964 37 0 0 25 0 1 0 971907845 18939904 4036 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4624 4036 301 301 0 4323 0
vsize: 18496
[startup+200.007 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 4975 0 0 0 19963 37 0 0 25 0 1 0 971907845 27734016 4226 4294967295 134512640 135730672 3221224576 3221222800 134782888 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6771 4227 301 301 0 6470 0
vsize: 27084
[startup+210.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 5081 0 0 0 20963 38 0 0 25 0 1 0 971907845 27869184 4332 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6804 4332 301 301 0 6503 0
vsize: 27216
[startup+220.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 5110 0 0 0 21962 39 0 0 25 0 1 0 971907845 27869184 4361 4294967295 134512640 135730672 3221224576 3221222880 134746175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6804 4361 301 301 0 6503 0
vsize: 27216
[startup+230.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 5130 0 0 0 22961 40 0 0 25 0 1 0 971907845 27869184 4381 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6804 4381 301 301 0 6503 0
vsize: 27216
[startup+240.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 5276 0 0 0 23960 41 0 0 25 0 1 0 971907845 28409856 4527 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6936 4527 301 301 0 6635 0
vsize: 27744
[startup+250.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 5311 0 0 0 24959 42 0 0 25 0 1 0 971907845 28545024 4562 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6969 4562 301 301 0 6668 0
vsize: 27876
[startup+260.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 5503 0 0 0 25958 44 0 0 25 0 1 0 971907845 29220864 4754 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7134 4754 301 301 0 6833 0
vsize: 28536
[startup+270.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6414 0 0 0 26955 47 0 0 25 0 1 0 971907845 32759808 4896 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7998 4896 301 301 0 7697 0
vsize: 31992
[startup+280.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6478 0 0 0 27952 50 0 0 25 0 1 0 971907845 32759808 4960 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7998 4960 301 301 0 7697 0
vsize: 31992
[startup+290.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6525 0 0 0 28951 51 0 0 25 0 1 0 971907845 32886784 5007 4294967295 134512640 135730672 3221224576 3221222864 134747768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8029 5007 301 301 0 7728 0
vsize: 32116
[startup+300.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6575 0 0 0 29950 52 0 0 25 0 1 0 971907845 32886784 5057 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8029 5057 301 301 0 7728 0
vsize: 32116
[startup+310.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6635 0 0 0 30949 54 0 0 25 0 1 0 971907845 33030144 5117 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8064 5117 301 301 0 7763 0
vsize: 32256
[startup+320.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6697 0 0 0 31948 54 0 0 25 0 1 0 971907845 33173504 5179 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8099 5179 301 301 0 7798 0
vsize: 32396
[startup+330.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6746 0 0 0 32947 56 0 0 25 0 1 0 971907845 33329152 5228 4294967295 134512640 135730672 3221224576 3221222864 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8137 5228 301 301 0 7836 0
vsize: 32548
[startup+340.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6817 0 0 0 33946 57 0 0 25 0 1 0 971907845 33488896 5299 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8176 5299 301 301 0 7875 0
vsize: 32704
[startup+350.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6848 0 0 0 34944 59 0 0 25 0 1 0 971907845 33488896 5330 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8176 5330 301 301 0 7875 0
vsize: 32704
[startup+360.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6886 0 0 0 35944 60 0 0 25 0 1 0 971907845 33669120 5368 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8220 5368 301 301 0 7919 0
vsize: 32880
[startup+370.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6929 0 0 0 36943 60 0 0 25 0 1 0 971907845 33669120 5411 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8220 5411 301 301 0 7919 0
vsize: 32880
[startup+380.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6954 0 0 0 37943 61 0 0 25 0 1 0 971907845 33669120 5436 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8220 5436 301 301 0 7919 0
vsize: 32880
[startup+390.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 6976 0 0 0 38942 62 0 0 25 0 1 0 971907845 33669120 5458 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8220 5458 301 301 0 7919 0
vsize: 32880
[startup+400.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 7026 0 0 0 39941 63 0 0 25 0 1 0 971907845 33959936 5508 4294967295 134512640 135730672 3221224576 3221222864 134747916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8291 5508 301 301 0 7990 0
vsize: 33164
[startup+410.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 7100 0 0 0 40941 63 0 0 25 0 1 0 971907845 34291712 5582 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8372 5582 301 301 0 8071 0
vsize: 33488
[startup+420.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 7163 0 0 0 41940 64 0 0 25 0 1 0 971907845 34291712 5645 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8372 5645 301 301 0 8071 0
vsize: 33488
[startup+430.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 7310 0 0 0 42939 65 0 0 25 0 1 0 971907845 34484224 5792 4294967295 134512640 135730672 3221224576 3221222864 134747772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8419 5792 301 301 0 8118 0
vsize: 33676
[startup+440.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 7460 0 0 0 43939 66 0 0 25 0 1 0 971907845 34484224 5942 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8419 5942 301 301 0 8118 0
vsize: 33676
[startup+450.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 7622 0 0 0 44939 66 0 0 25 0 1 0 971907845 35078144 6104 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8564 6104 301 301 0 8263 0
vsize: 34256
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 7711 0 0 0 45938 68 0 0 25 0 1 0 971907845 35078144 6193 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8564 6193 301 301 0 8263 0
vsize: 34256
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 7810 0 0 0 46937 69 0 0 25 0 1 0 971907845 35078144 6292 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8564 6292 301 301 0 8263 0
vsize: 34256
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 7932 0 0 0 47936 70 0 0 25 0 1 0 971907845 35078144 6414 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8564 6414 301 301 0 8263 0
vsize: 34256
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 8086 0 0 0 48935 71 0 0 25 0 1 0 971907845 35463168 6568 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8658 6568 301 301 0 8357 0
vsize: 34632
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 8209 0 0 0 49934 72 0 0 25 0 1 0 971907845 35594240 6658 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8690 6658 301 301 0 8389 0
vsize: 34760
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 8272 0 0 0 50933 73 0 0 25 0 1 0 971907845 35594240 6721 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8690 6721 301 301 0 8389 0
vsize: 34760
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 8367 0 0 0 51932 74 0 0 25 0 1 0 971907845 35762176 6816 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8731 6816 301 301 0 8430 0
vsize: 34924
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 8512 0 0 0 52931 75 0 0 25 0 1 0 971907845 36028416 6928 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8796 6928 301 301 0 8495 0
vsize: 35184
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 8673 0 0 0 53930 76 0 0 25 0 1 0 971907845 36446208 7089 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8898 7089 301 301 0 8597 0
vsize: 35592
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 8742 0 0 0 54929 78 0 0 25 0 1 0 971907845 36646912 7158 4294967295 134512640 135730672 3221224576 3221222864 134747552 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8947 7158 301 301 0 8646 0
vsize: 35788
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 8812 0 0 0 55929 78 0 0 25 0 1 0 971907845 36847616 7228 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8996 7228 301 301 0 8695 0
vsize: 35984
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 8946 0 0 0 56928 79 0 0 25 0 1 0 971907845 36978688 7329 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9028 7329 301 301 0 8727 0
vsize: 36112
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 9087 0 0 0 57927 80 0 0 25 0 1 0 971907845 37343232 7437 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9117 7437 301 301 0 8816 0
vsize: 36468
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 9191 0 0 0 58927 81 0 0 25 0 1 0 971907845 37543936 7541 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9166 7541 301 301 0 8865 0
vsize: 36664
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 9304 0 0 0 59926 82 0 0 25 0 1 0 971907845 37928960 7654 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9260 7654 301 301 0 8959 0
vsize: 37040
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 9390 0 0 0 60926 83 0 0 25 0 1 0 971907845 37928960 7740 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9260 7740 301 301 0 8959 0
vsize: 37040
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11016 0 0 0 61922 87 0 0 25 0 1 0 971907845 44220416 7829 4294967295 134512640 135730672 3221224576 3221222880 134746198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10796 7829 301 301 0 10495 0
vsize: 43184
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11113 0 0 0 62920 88 0 0 25 0 1 0 971907845 44371968 7926 4294967295 134512640 135730672 3221224576 3221222880 134746523 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10833 7926 301 301 0 10532 0
vsize: 43332
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11207 0 0 0 63920 89 0 0 25 0 1 0 971907845 44630016 8020 4294967295 134512640 135730672 3221224576 3221222864 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10896 8020 301 301 0 10595 0
vsize: 43584
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11317 0 0 0 64920 89 0 0 25 0 1 0 971907845 44630016 8130 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10896 8130 301 301 0 10595 0
vsize: 43584
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11427 0 0 0 65919 90 0 0 25 0 1 0 971907845 44773376 8240 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10931 8240 301 301 0 10630 0
vsize: 43724
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11527 0 0 0 66918 91 0 0 25 0 1 0 971907845 45039616 8340 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10996 8340 301 301 0 10695 0
vsize: 43984
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11625 0 0 0 67917 92 0 0 25 0 1 0 971907845 45297664 8438 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11059 8438 301 301 0 10758 0
vsize: 44236
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11714 0 0 0 68916 94 0 0 25 0 1 0 971907845 45297664 8527 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11059 8527 301 301 0 10758 0
vsize: 44236
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11792 0 0 0 69915 95 0 0 25 0 1 0 971907845 45494272 8556 4294967295 134512640 135730672 3221224576 3221222880 134746237 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11107 8556 301 301 0 10806 0
vsize: 44428
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11807 0 0 0 70914 96 0 0 25 0 1 0 971907845 45494272 8571 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11107 8571 301 301 0 10806 0
vsize: 44428
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11859 0 0 0 71913 97 0 0 25 0 1 0 971907845 45494272 8623 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11107 8623 301 301 0 10806 0
vsize: 44428
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 11931 0 0 0 72913 98 0 0 25 0 1 0 971907845 45494272 8695 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11107 8695 301 301 0 10806 0
vsize: 44428
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12014 0 0 0 73912 99 0 0 25 0 1 0 971907845 45699072 8778 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11157 8778 301 301 0 10856 0
vsize: 44628
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12094 0 0 0 74911 100 0 0 25 0 1 0 971907845 45699072 8858 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11157 8858 301 301 0 10856 0
vsize: 44628
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12184 0 0 0 75910 100 0 0 25 0 1 0 971907845 45699072 8948 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11157 8948 301 301 0 10856 0
vsize: 44628
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12264 0 0 0 76909 102 0 0 25 0 1 0 971907845 45699072 9028 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11157 9028 301 301 0 10856 0
vsize: 44628
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12353 0 0 0 77908 103 0 0 25 0 1 0 971907845 45699072 9117 4294967295 134512640 135730672 3221224576 3221222864 134747834 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11157 9117 301 301 0 10856 0
vsize: 44628
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12436 0 0 0 78907 104 0 0 25 0 1 0 971907845 62476288 9200 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15253 9200 301 301 0 14952 0
vsize: 61012
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12499 0 0 0 79907 105 0 0 25 0 1 0 971907845 62476288 9263 4294967295 134512640 135730672 3221224576 3221222880 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15253 9263 301 301 0 14952 0
vsize: 61012
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12600 0 0 0 80906 106 0 0 25 0 1 0 971907845 62726144 9364 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15314 9364 301 301 0 15013 0
vsize: 61256
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12694 0 0 0 81905 107 0 0 25 0 1 0 971907845 62726144 9458 4294967295 134512640 135730672 3221224576 3221222880 134746515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15314 9458 301 301 0 15013 0
vsize: 61256
[startup+830.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12767 0 0 0 82915 108 0 0 25 0 1 0 971907845 62726144 9531 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15314 9531 301 301 0 15013 0
vsize: 61256
[startup+840.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12833 0 0 0 83914 108 0 0 25 0 1 0 971907845 62726144 9597 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15314 9597 301 301 0 15013 0
vsize: 61256
[startup+850.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12872 0 0 0 84914 109 0 0 25 0 1 0 971907845 62881792 9636 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15352 9636 301 301 0 15051 0
vsize: 61408
[startup+860.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 12939 0 0 0 85913 110 0 0 25 0 1 0 971907845 63029248 9666 4294967295 134512640 135730672 3221224576 3221222864 134747788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15388 9666 301 301 0 15087 0
vsize: 61552
[startup+870.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13242 0 0 0 86912 111 0 0 25 0 1 0 971907845 63975424 9969 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15619 9969 301 301 0 15318 0
vsize: 62476
[startup+880.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13272 0 0 0 87912 112 0 0 25 0 1 0 971907845 64139264 9999 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 9999 301 301 0 15358 0
vsize: 62636
[startup+890.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13287 0 0 0 88911 112 0 0 25 0 1 0 971907845 64139264 10014 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10014 301 301 0 15358 0
vsize: 62636
[startup+900.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13303 0 0 0 89911 113 0 0 25 0 1 0 971907845 64139264 10030 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10030 301 301 0 15358 0
vsize: 62636
[startup+910.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13318 0 0 0 90910 114 0 0 25 0 1 0 971907845 64139264 10045 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10045 301 301 0 15358 0
vsize: 62636
[startup+920.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13333 0 0 0 91910 115 0 0 25 0 1 0 971907845 64139264 10060 4294967295 134512640 135730672 3221224576 3221222992 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10060 301 301 0 15358 0
vsize: 62636
[startup+930.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13351 0 0 0 92909 115 0 0 25 0 1 0 971907845 64139264 10078 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10078 301 301 0 15358 0
vsize: 62636
[startup+940.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13364 0 0 0 93909 116 0 0 25 0 1 0 971907845 64139264 10091 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10091 301 301 0 15358 0
vsize: 62636
[startup+950.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13398 0 0 0 94908 117 0 0 25 0 1 0 971907845 64139264 10125 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10125 301 301 0 15358 0
vsize: 62636
[startup+960.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13412 0 0 0 95906 119 0 0 25 0 1 0 971907845 64139264 10139 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10139 301 301 0 15358 0
vsize: 62636
[startup+970.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13452 0 0 0 96906 120 0 0 25 0 1 0 971907845 64286720 10179 4294967295 134512640 135730672 3221224576 3221222912 134740195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15695 10179 301 301 0 15394 0
vsize: 62780
[startup+980.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13505 0 0 0 97905 121 0 0 25 0 1 0 971907845 64520192 10232 4294967295 134512640 135730672 3221224576 3221222864 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15752 10232 301 301 0 15451 0
vsize: 63008
[startup+990.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13580 0 0 0 98904 121 0 0 25 0 1 0 971907845 64888832 10307 4294967295 134512640 135730672 3221224576 3221222880 134746488 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15842 10307 301 301 0 15541 0
vsize: 63368
[startup+1000.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13597 0 0 0 99904 122 0 0 25 0 1 0 971907845 64888832 10324 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15842 10324 301 301 0 15541 0
vsize: 63368
[startup+1010.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13660 0 0 0 100904 122 0 0 25 0 1 0 971907845 65052672 10346 4294967295 134512640 135730672 3221224576 3221222864 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15882 10346 301 301 0 15581 0
vsize: 63528
[startup+1020.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13728 0 0 0 101903 123 0 0 25 0 1 0 971907845 65232896 10369 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15926 10369 301 301 0 15625 0
vsize: 63704
[startup+1030.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13744 0 0 0 102903 123 0 0 25 0 1 0 971907845 65232896 10385 4294967295 134512640 135730672 3221224576 3221222880 134746214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15926 10385 301 301 0 15625 0
vsize: 63704
[startup+1040.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13761 0 0 0 103903 124 0 0 25 0 1 0 971907845 65232896 10402 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15926 10402 301 301 0 15625 0
vsize: 63704
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13777 0 0 0 104902 124 0 0 25 0 1 0 971907845 65232896 10418 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15926 10418 301 301 0 15625 0
vsize: 63704
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13806 0 0 0 105902 125 0 0 25 0 1 0 971907845 65232896 10447 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15926 10447 301 301 0 15625 0
vsize: 63704
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13913 0 0 0 106902 126 0 0 25 0 1 0 971907845 65368064 10554 4294967295 134512640 135730672 3221224576 3221222864 134747817 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15959 10554 301 301 0 15658 0
vsize: 63836
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 13995 0 0 0 107901 126 0 0 25 0 1 0 971907845 65503232 10636 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15992 10636 301 301 0 15691 0
vsize: 63968
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14134 0 0 0 108900 127 0 0 25 0 1 0 971907845 65773568 10775 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16058 10775 301 301 0 15757 0
vsize: 64232
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14811 0 0 0 109898 130 0 0 25 0 1 0 971907845 68067328 11452 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11452 301 301 0 16317 0
vsize: 66472
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14850 0 0 0 110898 130 0 0 25 0 1 0 971907845 68067328 11491 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11491 301 301 0 16317 0
vsize: 66472
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14868 0 0 0 111897 131 0 0 25 0 1 0 971907845 68067328 11509 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11509 301 301 0 16317 0
vsize: 66472
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14886 0 0 0 112897 131 0 0 25 0 1 0 971907845 68067328 11527 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11527 301 301 0 16317 0
vsize: 66472
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14903 0 0 0 113896 132 0 0 25 0 1 0 971907845 68067328 11544 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11544 301 301 0 16317 0
vsize: 66472
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14917 0 0 0 114895 133 0 0 25 0 1 0 971907845 68067328 11558 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11558 301 301 0 16317 0
vsize: 66472
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29347
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14932 0 0 0 115895 134 0 0 25 0 1 0 971907845 68067328 11573 4294967295 134512640 135730672 3221224576 3221222864 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11573 301 301 0 16317 0
vsize: 66472
[startup+1170.14 s]
Raw data (loadavg): 1.07 0.99 0.91 4/58 29393
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14948 0 0 0 116894 135 0 0 25 0 1 0 971907845 68067328 11589 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11589 301 301 0 16317 0
vsize: 66472
[startup+1180.14 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 29400
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14962 0 0 0 117892 137 0 0 25 0 1 0 971907845 68067328 11603 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11603 301 301 0 16317 0
vsize: 66472
[startup+1190.14 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 29400
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14977 0 0 0 118892 137 0 0 25 0 1 0 971907845 68067328 11618 4294967295 134512640 135730672 3221224576 3221222912 134740298 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11618 301 301 0 16317 0
vsize: 66472
[startup+1200.14 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29400
Raw data (stat): 29347 (pb2sat-v2) R 29346 21152 21151 0 -1 0 14990 0 0 0 119892 138 0 0 25 0 1 0 971907845 68067328 11631 4294967295 134512640 135730672 3221224576 3221222880 134746388 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11631 301 301 0 16317 0
vsize: 66472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.37 s]
Raw data (loadavg): 1.04 0.99 0.91 1/54 29400
Raw data (stat): 29347 (pb2sat-v2) Z 29346 21152 21151 0 -1 12 14992 0 0 0 119911 140 0 0 25 0 1 0 971907845 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.37
CPU time (s): 1200.53
CPU user time (s): 1199.12
CPU system time (s): 1.40979
CPU usage (%): 100.013
Max. virtual memory (Kb): 66472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####