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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.01984
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 42437

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 07:25:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25650 boxname=wulflinc2 idbench=950 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 25650
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        707524 kB
Buffers:         34960 kB
Cached:         266864 kB
SwapCached:       4448 kB
Active:          61276 kB
Inactive:       245644 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707272 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14568 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:45:56 (client local time) WITH STATUS 10 IN 1200.4 SECONDS
stats: 25650 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.175149 s]  setting bit 5 to 0

c Decision: 336/1661	Time: 4.54831/86400
c Decision: 336/1661	Time: 4.99624/86400
c Decision: 336/1661	Time: 5.48817/86400
c Decision: 336/1661	Time: 5.9241/86400
c Decision: 336/1661	Time: 6.47002/86400
c Decision: 336/1661	Time: 7.06793/86400
c Decision: 347/1661	Time: 7.76282/86400
c Decision: 347/1661	Time: 8.37573/86400
c Decision: 347/1661	Time: 8.97264/86400
c Decision: 347/1661	Time: 9.55855/86400
c Decision: 347/1661	Time: 10.1845/86400
c Decision: 347/1661	Time: 10.8244/86400
c Decision: 347/1661	Time: 11.5322/86400
c Decision: 347/1661	Time: 12.2081/86400
c Decision: 347/1661	Time: 12.931/86400
c Decision: 347/1661	Time: 13.7209/86400
c Decision: 347/1661	Time: 14.5258/86400
c Decision: 347/1661	Time: 15.3177/86400
c Decision: 347/1661	Time: 16.1385/86400
c Decision: 347/1661	Time: 16.9854/86400
c Decision: 347/1661	Time: 17.9583/86400
c Decision: 347/1661	Time: 18.8081/86400
c Decision: 347/1661	Time: 19.615/86400
c Decision: 347/1661	Time: 20.5849/86400
c Decision: 347/1661	Time: 21.5287/86400
c Decision: 347/1661	Time: 22.5256/86400
c Decision: 347/1661	Time: 23.4934/86400
c Decision: 347/1661	Time: 24.3733/86400
c Decision: 347/1661	Time: 25.3591/86400
c Decision: 347/1661	Time: 26.321/86400
c Decision: 347/1661	Time: 27.3318/86400
c Decision: 347/1661	Time: 28.3217/86400
c Decision: 347/1661	Time: 29.4495/86400
c Decision: 347/1661	Time: 30.4644/86400
c Decision: 347/1661	Time: 31.5602/86400
c Decision: 347/1661	Time: 32.772/86400
c Decision: 347/1661	Time: 33.9928/86400
c Decision: 347/1661	Time: 35.1517/86400
c Decision: 347/1661	Time: 36.2765/86400
c Decision: 347/1661	Time: 37.4183/86400
c Decision: 347/1661	Time: 38.6691/86400
c Decision: 347/1661	Time: 39.8239/86400
c Decision: 347/1661	Time: 40.8968/86400
c Decision: 347/1661	Time: 42.1026/86400
c Decision: 347/1661	Time: 43.1734/86400
c Decision: 347/1661	Time: 44.3513/86400
c Decision: 347/1661	Time: 45.6291/86400
c Decision: 347/1661	Time: 46.8919/86400
c Decision: 347/1661	Time: 48.0907/86400
c Decision: 347/1661	Time: 49.5055/86400
c Decision: 347/1661	Time: 50.8703/86400
c Decision: 347/1661	Time: 52.1691/86400
c Decision: 347/1661	Time: 53.4249/86400
c Decision: 347/1661	Time: 54.6497/86400
c Decision: 347/1661	Time: 56.0495/86400
c Decision: 347/1661	Time: 57.4803/86400
c Decision: 347/1661	Time: 58.942/86400
c Decision: 347/1661	Time: 60.4088/86400
c Decision: 347/1661	Time: 61.7946/86400
c Decision: 347/1661	Time: 63.2134/86400
c Decision: 347/1661	Time: 64.7452/86400
c Decision: 347/1661	Time: 66.2489/86400
c Decision: 347/1661	Time: 67.6347/86400
c Decision: 347/1661	Time: 69.2245/86400
c Decision: 347/1661	Time: 70.7053/86400
c Decision: 347/1661	Time: 72.275/86400
c Decision: 347/1661	Time: 73.8158/86400
c Decision: 347/1661	Time: 75.2676/86400
c Decision: 347/1661	Time: 76.7503/86400
c Decision: 347/1661	Time: 78.2171/86400
c Decision: 347/1661	Time: 79.9019/86400
c Decision: 347/1661	Time: 81.5056/86400
c Decision: 347/1661	Time: 83.0324/86400
c Decision: 347/1661	Time: 84.7481/86400
c Decision: 347/1661	Time: 86.2029/86400
c Decision: 347/1661	Time: 87.7707/86400
c Decision: 347/1661	Time: 89.4364/86400
c Decision: 347/1661	Time: 91.2361/86400
c Decision: 347/1661	Time: 92.9219/86400
c Decision: 347/1661	Time: 94.4696/86400
c Decision: 347/1661	Time: 96.1674/86400
c Decision: 347/1661	Time: 97.9481/86400
c Decision: 347/1661	Time: 100.036/86400
c Decision: 347/1661	Time: 101.623/86400
c Decision: 347/1661	Time: 103.249/86400
c Decision: 347/1661	Time: 105.054/86400
c Decision: 347/1661	Time: 106.855/86400
c Decision: 347/1661	Time: 108.644/86400
c Decision: 347/1661	Time: 110.355/86400
c Decision: 347/1661	Time: 112.002/86400
c Decision: 347/1661	Time: 114.05/86400
c Decision: 347/1661	Time: 115.789/86400
c Decision: 347/1661	Time: 117.63/86400
c Decision: 347/1661	Time: 119.443/86400
c Decision: 347/1661	Time: 121.384/86400
c Decision: 347/1661	Time: 123.3/86400
c Decision: 347/1661	Time: 125.109/86400
c Decision: 347/1661	Time: 126.883/86400
c Decision: 347/1661	Time: 128.664/86400
c Decision: 347/1661	Time: 130.461/86400
c Decision: 347/1661	Time: 132.568/86400
c Decision: 347/1661	Time: 134.248/86400
c Decision: 347/1661	Time: 136.024/86400
c Decision: 347/1661	Time: 137.783/86400
c Decision: 347/1661	Time: 139.487/86400
c Decision: 347/1661	Time: 141.142/86400
c Decision: 347/1661	Time: 143.081/86400
c Decision: 347/1661	Time: 145.164/86400
c Decision: 347/1661	Time: 147.315/86400
c Decision: 347/1661	Time: 149.617/86400
c Decision: 347/1661	Time: 151.422/86400
c Decision: 347/1661	Time: 153.252/86400
c Decision: 347/1661	Time: 155.01/86400
c Decision: 347/1661	Time: 156.782/86400
c Decision: 347/1661	Time: 158.657/86400
c Decision: 347/1661	Time: 160.697/86400
c Decision: 347/1661	Time: 162.602/86400
c Decision: 347/1661	Time: 164.629/86400
c Decision: 347/1661	Time: 166.619/86400
c Decision: 347/1661	Time: 168.553/86400
c Decision: 347/1661	Time: 170.692/86400
c Decision: 347/1661	Time: 172.584/86400
c Decision: 347/1661	Time: 174.733/86400
c Decision: 347/1661	Time: 176.655/86400
c Decision: 347/1661	Time: 178.694/86400
c Decision: 347/1661	Time: 180.947/86400
c Decision: 347/1661	Time: 182.898/86400
c Decision: 347/1661	Time: 184.931/86400
c Decision: 347/1661	Time: 187.005/86400
c Decision: 347/1661	Time: 188.84/86400
c Decision: 347/1661	Time: 191.076/86400
c Decision: 347/1661	Time: 192.968/86400
c Decision: 347/1661	Time: 195.34/86400
c Decision: 382/1661	Time: 199.104/86400
c Decision: 382/1661	Time: 201.087/86400
c Decision: 382/1661	Time: 202.796/86400
c Decision: 382/1661	Time: 204.475/86400
c Decision: 382/1661	Time: 206.306/86400
c Decision: 382/1661	Time: 208.215/86400
c Decision: 382/1661	Time: 210.055/86400
c Decision: 382/1661	Time: 212.12/86400
c Decision: 382/1661	Time: 213.883/86400
c Decision: 382/1661	Time: 215.637/86400
c Decision: 382/1661	Time: 217.431/86400
c Decision: 382/1661	Time: 219.206/86400
c Decision: 382/1661	Time: 221.277/86400
c Decision: 382/1661	Time: 223.294/86400
c Decision: 382/1661	Time: 225.158/86400
c Decision: 382/1661	Time: 227.108/86400
c Decision: 388/1661	Time: 230.545/86400
c Decision: 388/1661	Time: 232.588/86400
c Decision: 388/1661	Time: 234.181/86400
c Decision: 388/1661	Time: 236.318/86400
c Decision: 388/1661	Time: 238.025/86400
c Decision: 388/1661	Time: 240.217/86400
c Decision: 388/1661	Time: 242.805/86400
c Decision: 388/1661	Time: 244.936/86400
c Decision: 388/1661	Time: 247.107/86400
c Decision: 439/1661	Time: 251.731/86400
c Decision: 439/1661	Time: 253.364/86400
c Decision: 439/1661	Time: 255.187/86400
c Decision: 439/1661	Time: 256.951/86400
c Decision: 468/1661	Time: 258.891/86400
c Decision: 468/1661	Time: 260.456/86400
c Decision: 600/1661	Time: 262.309/86400
c [startup+265.708 s]  setting bit 4 to 0

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

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

c Decision: 304/1661	Time: 6.94194/86400
c Decision: 304/1661	Time: 7.74582/86400
c Decision: 304/1661	Time: 8.49471/86400
c Decision: 304/1661	Time: 9.25359/86400
c Decision: 304/1661	Time: 9.96948/86400
c Decision: 304/1661	Time: 10.8254/86400
c Decision: 304/1661	Time: 11.6162/86400
c Decision: 304/1661	Time: 12.4361/86400
c Decision: 304/1661	Time: 13.339/86400
c Decision: 304/1661	Time: 14.2198/86400
c Decision: 304/1661	Time: 15.0827/86400
c Decision: 304/1661	Time: 15.9756/86400
c Decision: 304/1661	Time: 16.9684/86400
c Decision: 304/1661	Time: 17.8783/86400
c Decision: 304/1661	Time: 18.8981/86400
c Decision: 304/1661	Time: 19.913/86400
c Decision: 304/1661	Time: 20.9508/86400
c got solution with objective value: 30
c [startup+287.096 s]  setting bit 1 to 1

c Decision: 297/1661	Time: 10.5184/86400
c Decision: 297/1661	Time: 11.6912/86400
c Decision: 297/1661	Time: 12.6771/86400
c Decision: 297/1661	Time: 13.8069/86400
c Decision: 297/1661	Time: 15.2147/86400
c Decision: 297/1661	Time: 16.6335/86400
c Decision: 297/1661	Time: 17.8233/86400
c Decision: 297/1661	Time: 19.2291/86400
c Decision: 297/1661	Time: 20.6959/86400
c Decision: 297/1661	Time: 21.9477/86400
c Decision: 297/1661	Time: 23.2885/86400
c Decision: 297/1661	Time: 24.7042/86400
c Decision: 297/1661	Time: 26.019/86400
c Decision: 297/1661	Time: 27.5578/86400
c Decision: 297/1661	Time: 28.8906/86400
c Decision: 297/1661	Time: 30.4434/86400
c Decision: 297/1661	Time: 31.8842/86400
c Decision: 297/1661	Time: 33.3799/86400
c Decision: 297/1661	Time: 34.7587/86400
c Decision: 297/1661	Time: 36.2445/86400
c Decision: 297/1661	Time: 37.9222/86400
c Decision: 297/1661	Time: 39.515/86400
c Decision: 297/1661	Time: 40.9998/86400
c Decision: 297/1661	Time: 42.5655/86400
c Decision: 297/1661	Time: 44.1983/86400
c Decision: 297/1661	Time: 45.906/86400
c Decision: 297/1661	Time: 47.5398/86400
c Decision: 297/1661	Time: 49.0805/86400
c Decision: 297/1661	Time: 50.6583/86400
c Decision: 297/1661	Time: 52.336/86400
c Decision: 297/1661	Time: 54.0868/86400
c Decision: 297/1661	Time: 55.8745/86400
c Decision: 297/1661	Time: 57.3903/86400
c Decision: 297/1661	Time: 59.175/86400
c Decision: 297/1661	Time: 60.8008/86400
c Decision: 297/1661	Time: 62.7345/86400
c Decision: 297/1661	Time: 64.4222/86400
c Decision: 297/1661	Time: 66.5859/86400
c Decision: 297/1661	Time: 68.4386/86400
c Decision: 297/1661	Time: 70.3053/86400
c Decision: 297/1661	Time: 72.205/86400
c Decision: 297/1661	Time: 73.8448/86400
c Decision: 297/1661	Time: 75.5875/86400
c Decision: 297/1661	Time: 77.2903/86400
c Decision: 297/1661	Time: 79.4189/86400
c Decision: 297/1661	Time: 81.4126/86400
c Decision: 297/1661	Time: 83.0954/86400
c Decision: 297/1661	Time: 85.0091/86400
c Decision: 297/1661	Time: 87.0568/86400
c Decision: 297/1661	Time: 89.1394/86400
c Decision: 297/1661	Time: 91.2431/86400
c Decision: 297/1661	Time: 93.1888/86400
c Decision: 297/1661	Time: 95.0555/86400
c Decision: 297/1661	Time: 97.2352/86400
c Decision: 297/1661	Time: 99.3439/86400
c Decision: 297/1661	Time: 101.626/86400
c Decision: 297/1661	Time: 103.752/86400
c Decision: 297/1661	Time: 105.667/86400
c Decision: 297/1661	Time: 107.497/86400
c Decision: 297/1661	Time: 109.527/86400
c Decision: 297/1661	Time: 111.979/86400
c Decision: 297/1661	Time: 113.948/86400
c Decision: 297/1661	Time: 116.261/86400
c Decision: 297/1661	Time: 118.614/86400
c Decision: 297/1661	Time: 120.882/86400
c Decision: 297/1661	Time: 123.125/86400
c Decision: 297/1661	Time: 125.018/86400
c Decision: 297/1661	Time: 127.078/86400
c Decision: 297/1661	Time: 129.092/86400
c Decision: 297/1661	Time: 131.332/86400
c Decision: 297/1661	Time: 133.575/86400
c Decision: 297/1661	Time: 135.711/86400
c Decision: 297/1661	Time: 137.5/86400
c Decision: 297/1661	Time: 139.502/86400
c Decision: 297/1661	Time: 141.797/86400
c Decision: 297/1661	Time: 144.319/86400
c Decision: 297/1661	Time: 146.695/86400
c Decision: 297/1661	Time: 148.848/86400
c Decision: 297/1661	Time: 151.269/86400
c Decision: 297/1661	Time: 153.242/86400
c Decision: 297/1661	Time: 155.587/86400
c Decision: 297/1661	Time: 157.934/86400
c Decision: 297/1661	Time: 160.322/86400
c Decision: 297/1661	Time: 162.781/86400
c Decision: 297/1661	Time: 165.19/86400
c Decision: 297/1661	Time: 167.519/86400
c Decision: 297/1661	Time: 169.908/86400
c Decision: 297/1661	Time: 172.229/86400
c Decision: 297/1661	Time: 174.492/86400
c Decision: 297/1661	Time: 176.853/86400
c Decision: 297/1661	Time: 179.548/86400
c Decision: 297/1661	Time: 181.979/86400
c Decision: 297/1661	Time: 184.349/86400
c Decision: 297/1661	Time: 186.757/86400
c Decision: 297/1661	Time: 189.061/86400
c Decision: 297/1661	Time: 191.765/86400
c Decision: 297/1661	Time: 194.137/86400
c Decision: 297/1661	Time: 196.481/86400
c Decision: 297/1661	Time: 198.925/86400
c Decision: 297/1661	Time: 201.349/86400
c Decision: 297/1661	Time: 204.025/86400
c Decision: 297/1661	Time: 206.102/86400
c Decision: 297/1661	Time: 208.543/86400
c Decision: 297/1661	Time: 211.318/86400
c Decision: 297/1661	Time: 213.941/86400
c Decision: 297/1661	Time: 217.002/86400
c Decision: 297/1661	Time: 219.399/86400
c Decision: 297/1661	Time: 221.752/86400
c Decision: 297/1661	Time: 224.11/86400
c Decision: 297/1661	Time: 226.784/86400
c Decision: 297/1661	Time: 229.655/86400
c Decision: 297/1661	Time: 231.905/86400
c Decision: 297/1661	Time: 234.235/86400
c Decision: 297/1661	Time: 236.471/86400
c Decision: 297/1661	Time: 238.908/86400
c Decision: 297/1661	Time: 241.722/86400
c Decision: 297/1661	Time: 244.292/86400
c Decision: 297/1661	Time: 246.587/86400
c Decision: 297/1661	Time: 248.812/86400
c Decision: 297/1661	Time: 251.96/86400
c Decision: 297/1661	Time: 254.558/86400
c Decision: 297/1661	Time: 257.058/86400
c Decision: 297/1661	Time: 259.667/86400
c Decision: 297/1661	Time: 261.88/86400
c Decision: 297/1661	Time: 264.585/86400
c Decision: 297/1661	Time: 267.439/86400
c Decision: 297/1661	Time: 269.918/86400
c Decision: 297/1661	Time: 272.179/86400
c Decision: 297/1661	Time: 274.704/86400
c Decision: 297/1661	Time: 277.313/86400
c Decision: 297/1661	Time: 279.731/86400
c Decision: 297/1661	Time: 282.271/86400
c Decision: 297/1661	Time: 284.604/86400
c Decision: 297/1661	Time: 287.29/86400
c Decision: 297/1661	Time: 289.998/86400
c Decision: 297/1661	Time: 292.78/86400
c Decision: 297/1661	Time: 295.404/86400
c Decision: 297/1661	Time: 297.89/86400
c Decision: 297/1661	Time: 300.639/86400
c Decision: 297/1661	Time: 303.648/86400
c Decision: 297/1661	Time: 306.512/86400
c Decision: 297/1661	Time: 309.059/86400
c Decision: 297/1661	Time: 311.984/86400
c Decision: 297/1661	Time: 314.952/86400
c Decision: 297/1661	Time: 317.462/86400
c Decision: 297/1661	Time: 320.313/86400
c Decision: 297/1661	Time: 323.046/86400
c Decision: 297/1661	Time: 325.512/86400
c Decision: 297/1661	Time: 328.195/86400
c Decision: 297/1661	Time: 330.995/86400
c Decision: 297/1661	Time: 333.933/86400
c Decision: 297/1661	Time: 336.957/86400
c Decision: 297/1661	Time: 339.398/86400
c Decision: 297/1661	Time: 341.854/86400
c Decision: 297/1661	Time: 343.943/86400
c Decision: 297/1661	Time: 347.026/86400
c Decision: 297/1661	Time: 349.767/86400
c Decision: 297/1661	Time: 352.495/86400
c Decision: 297/1661	Time: 355.293/86400
c Decision: 297/1661	Time: 358.095/86400
c Decision: 297/1661	Time: 361.335/86400
c Decision: 297/1661	Time: 363.695/86400
c Decision: 297/1661	Time: 366.395/86400
c Decision: 297/1661	Time: 368.958/86400
c Decision: 297/1661	Time: 371.717/86400
c Decision: 297/1661	Time: 375.285/86400
c Decision: 297/1661	Time: 378.252/86400
c Decision: 297/1661	Time: 381.23/86400
c Decision: 297/1661	Time: 384.099/86400
c Decision: 297/1661	Time: 386.673/86400
c Decision: 297/1661	Time: 389.507/86400
c Decision: 297/1661	Time: 392.266/86400
c Decision: 297/1661	Time: 395.287/86400
c Decision: 297/1661	Time: 397.612/86400
c Decision: 297/1661	Time: 400.191/86400
c Decision: 297/1661	Time: 403.493/86400
c Decision: 297/1661	Time: 406.088/86400
c Decision: 297/1661	Time: 408.944/86400
c Decision: 297/1661	Time: 411.869/86400
c Decision: 297/1661	Time: 414.418/86400
c Decision: 297/1661	Time: 417.219/86400
c Decision: 297/1661	Time: 420.074/86400
c Decision: 297/1661	Time: 422.933/86400
c Decision: 297/1661	Time: 425.937/86400
c Decision: 297/1661	Time: 429.099/86400
c Decision: 297/1661	Time: 432.148/86400
c Decision: 297/1661	Time: 434.986/86400
c Decision: 297/1661	Time: 437.91/86400
c Decision: 297/1661	Time: 440.573/86400
c Decision: 297/1661	Time: 443.384/86400
c Decision: 297/1661	Time: 446.564/86400
c Decision: 297/1661	Time: 449.631/86400
c Decision: 297/1661	Time: 452.443/86400
c Decision: 297/1661	Time: 455.631/86400
c Decision: 297/1661	Time: 458.5/86400
c Decision: 297/1661	Time: 462.214/86400
c Decision: 297/1661	Time: 465.064/86400
c Decision: 297/1661	Time: 467.704/86400
c Decision: 297/1661	Time: 470.501/86400
c Decision: 297/1661	Time: 473.568/86400
c Decision: 297/1661	Time: 476.886/86400
c Decision: 297/1661	Time: 479.848/86400
c Decision: 297/1661	Time: 483.059/86400
c Decision: 297/1661	Time: 485.826/86400
c Decision: 297/1661	Time: 488.511/86400
c Decision: 297/1661	Time: 491.9/86400
c Decision: 297/1661	Time: 494.66/86400
c Decision: 297/1661	Time: 497.513/86400
c Decision: 297/1661	Time: 500.326/86400
c Decision: 297/1661	Time: 503.406/86400
c Decision: 297/1661	Time: 506.608/86400
c Decision: 297/1661	Time: 509.207/86400
c Decision: 297/1661	Time: 512.222/86400
c Decision: 297/1661	Time: 514.917/86400
c Decision: 297/1661	Time: 517.836/86400
c Decision: 297/1661	Time: 521.085/86400
c Decision: 297/1661	Time: 523.934/86400
c Decision: 297/1661	Time: 526.629/86400
c Decision: 297/1661	Time: 529.434/86400
c Decision: 297/1661	Time: 532.053/86400
c Decision: 297/1661	Time: 535.563/86400
c Decision: 297/1661	Time: 538.137/86400
c Decision: 297/1661	Time: 541.065/86400
c Decision: 297/1661	Time: 543.887/86400
c Decision: 297/1661	Time: 546.342/86400
c Decision: 297/1661	Time: 549.85/86400
c Decision: 297/1661	Time: 552.812/86400
c Decision: 297/1661	Time: 555.907/86400
c Decision: 297/1661	Time: 558.796/86400
c Decision: 297/1661	Time: 561.811/86400
c Decision: 297/1661	Time: 565.063/86400
c Decision: 297/1661	Time: 567.917/86400
c Decision: 297/1661	Time: 571.048/86400
c Decision: 297/1661	Time: 574.329/86400
c Decision: 489/1661	Time: 578.805/86400
c Decision: 489/1661	Time: 581.717/86400
c Decision: 489/1661	Time: 583.981/86400
c Decision: 489/1661	Time: 585.875/86400
c Decision: 489/1661	Time: 588.584/86400
c Decision: 489/1661	Time: 592.004/86400
c Decision: 489/1661	Time: 594.491/86400
c Decision: 489/1661	Time: 597.088/86400
c Decision: 489/1661	Time: 599.831/86400
c Decision: 489/1661	Time: 602.659/86400
c Decision: 489/1661	Time: 605.216/86400
c Decision: 489/1661	Time: 608.209/86400
c Decision: 489/1661	Time: 611.034/86400
c Decision: 489/1661	Time: 613.633/86400
c Decision: 489/1661	Time: 616.61/86400
c Decision: 489/1661	Time: 619.337/86400
c Decision: 489/1661	Time: 622.433/86400
c Decision: 489/1661	Time: 624.893/86400
c Decision: 489/1661	Time: 627.752/86400
c Decision: 489/1661	Time: 630.627/86400
c Decision: 489/1661	Time: 633.502/86400
c Decision: 489/1661	Time: 636.215/86400
c Decision: 489/1661	Time: 638.895/86400
c Decision: 489/1661	Time: 641.247/86400
c Decision: 489/1661	Time: 643.952/86400
c Decision: 489/1661	Time: 646.492/86400
c Decision: 489/1661	Time: 649.73/86400
c Decision: 489/1661	Time: 652.546/86400
c Decision: 489/1661	Time: 655.473/86400
c Decision: 489/1661	Time: 658.221/86400
c Decision: 489/1661	Time: 661.057/86400
c Decision: 489/1661	Time: 664.567/86400
c Decision: 489/1661	Time: 667.477/86400
c Decision: 489/1661	Time: 670.336/86400
c Decision: 489/1661	Time: 673.418/86400
c Decision: 489/1661	Time: 676.189/86400
c Decision: 489/1661	Time: 679.777/86400
c Decision: 489/1661	Time: 682.738/86400
c Decision: 489/1661	Time: 685.333/86400
c Decision: 489/1661	Time: 687.671/86400
c Decision: 489/1661	Time: 690.765/86400
c Decision: 489/1661	Time: 694.095/86400
c Decision: 489/1661	Time: 697.407/86400
c Decision: 489/1661	Time: 700.659/86400
c Decision: 489/1661	Time: 703.916/86400
c Decision: 489/1661	Time: 706.752/86400
c Decision: 489/1661	Time: 710.109/86400
c Decision: 489/1661	Time: 713.09/86400
c Decision: 489/1661	Time: 715.973/86400
c Decision: 489/1661	Time: 719.312/86400
c Decision: 489/1661	Time: 722.127/86400
c Decision: 489/1661	Time: 725.423/86400
c Decision: 489/1661	Time: 728.397/86400
c Decision: 489/1661	Time: 731.513/86400
c Decision: 489/1661	Time: 734.482/86400
c Decision: 489/1661	Time: 737.729/86400
c Decision: 489/1661	Time: 741.213/86400
c Decision: 489/1661	Time: 744.251/86400
c Decision: 489/1661	Time: 746.939/86400
c Decision: 489/1661	Time: 749.566/86400
c Decision: 489/1661	Time: 752.346/86400
c Decision: 489/1661	Time: 755.702/86400
c Decision: 489/1661	Time: 759.016/86400
c Decision: 489/1661	Time: 762.103/86400
c Decision: 489/1661	Time: 765.24/86400
c Decision: 489/1661	Time: 768.317/86400
c Decision: 489/1661	Time: 771.727/86400
c Decision: 489/1661	Time: 774.712/86400
c Decision: 489/1661	Time: 777.69/86400
c Decision: 489/1661	Time: 781.009/86400
c Decision: 489/1661	Time: 783.884/86400
c Decision: 489/1661	Time: 787.012/86400
c Decision: 489/1661	Time: 790.182/86400
c Decision: 489/1661	Time: 793.068/86400
c Decision: 489/1661	Time: 795.96/86400
c Decision: 489/1661	Time: 799.251/86400
c Decision: 489/1661	Time: 802.63/86400
c Decision: 512/1661	Time: 807.658/86400
c Decision: 589/1661	Time: 813.266/86400
c Decision: 589/1661	Time: 815.354/86400
c Decision: 589/1661	Time: 817.103/86400
c Decision: 589/1661	Time: 819.235/86400
c Decision: 589/1661	Time: 821.348/86400
c Decision: 589/1661	Time: 823.344/86400
c Decision: 589/1661	Time: 825.355/86400
c Decision: 589/1661	Time: 827.555/86400
c Decision: 589/1661	Time: 829.725/86400
c Decision: 589/1661	Time: 831.963/86400
c Decision: 589/1661	Time: 834.203/86400
c Decision: 589/1661	Time: 836.345/86400
c Decision: 589/1661	Time: 838.947/86400
c Decision: 589/1661	Time: 841.25/86400
c Decision: 589/1661	Time: 843.506/86400
c Decision: 589/1661	Time: 845.913/86400
c Decision: 589/1661	Time: 848.244/86400
c Decision: 589/1661	Time: 850.652/86400
c Decision: 589/1661	Time: 853.082/86400
c Decision: 589/1661	Time: 855.335/86400
c Decision: 589/1661	Time: 857.812/86400
c Decision: 589/1661	Time: 860.888/86400
c Decision: 589/1661	Time: 863.632/86400
c Decision: 589/1661	Time: 866.367/86400
c Decision: 589/1661	Time: 869.408/86400
c Decision: 589/1661	Time: 871.653/86400
c Decision: 589/1661	Time: 874.342/86400
c Decision: 589/1661	Time: 877.232/86400
c Decision: 589/1661	Time: 879.792/86400
c Decision: 589/1661	Time: 882.123/86400
c Decision: 589/1661	Time: 884.446/86400
c Decision: 589/1661	Time: 888.043/86400
c Decision: 589/1661	Time: 891.225/86400
c Decision: 589/1661	Time: 894.079/86400
c Decision: 589/1661	Time: 897.052/86400
c Decision: 589/1661	Time: 899.579/86400
c Decision: 589/1661	Time: 902.326/86400
c Decision: 589/1661	Time: 905.2/86400
c Decision: 589/1661	Time: 908.267/86400
c Decision: 589/1661	Time: 911.652/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.80 0.92 0.92 2/54 7142
Raw data (stat): 7142 (runsolver) R 7141 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968953144 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.0003 s]
Raw data (loadavg): 0.83 0.93 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 1008 0 0 0 993 5 0 0 25 0 1 0 968953144 5349376 837 4294967295 134512640 135730672 3221224576 3221222912 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1306 837 301 301 0 1005 0
vsize: 5224
[startup+20.0005 s]
Raw data (loadavg): 0.85 0.93 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 1349 0 0 0 1990 8 0 0 25 0 1 0 968953144 5902336 1178 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1441 1178 301 301 0 1140 0
vsize: 5764
[startup+30.0007 s]
Raw data (loadavg): 0.88 0.93 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 1813 0 0 0 2988 10 0 0 25 0 1 0 968953144 9240576 1449 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2256 1449 301 301 0 1955 0
vsize: 9024
[startup+40.0003 s]
Raw data (loadavg): 0.89 0.93 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 2025 0 0 0 3985 13 0 0 25 0 1 0 968953144 9687040 1661 4294967295 134512640 135730672 3221224576 3221222880 134746190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2365 1661 301 301 0 2064 0
vsize: 9460
[startup+50.0016 s]
Raw data (loadavg): 0.91 0.93 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 2248 0 0 0 4984 15 0 0 25 0 1 0 968953144 9879552 1884 4294967295 134512640 135730672 3221224576 3221222864 134747834 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2412 1884 301 301 0 2111 0
vsize: 9648
[startup+60.0018 s]
Raw data (loadavg): 0.92 0.94 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 2456 0 0 0 5982 16 0 0 25 0 1 0 968953144 10227712 2092 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2497 2092 301 301 0 2196 0
vsize: 9988
[startup+70.0016 s]
Raw data (loadavg): 0.93 0.94 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 2674 0 0 0 6980 18 0 0 25 0 1 0 968953144 14925824 2310 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3644 2310 301 301 0 3343 0
vsize: 14576
[startup+80.0028 s]
Raw data (loadavg): 0.94 0.94 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 2845 0 0 0 7979 19 0 0 25 0 1 0 968953144 15081472 2481 4294967295 134512640 135730672 3221224576 3221222992 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3682 2481 301 301 0 3381 0
vsize: 14728
[startup+90.003 s]
Raw data (loadavg): 0.95 0.94 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 3399 0 0 0 8978 21 0 0 25 0 1 0 968953144 16826368 2650 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4108 2650 301 301 0 3807 0
vsize: 16432
[startup+100.004 s]
Raw data (loadavg): 0.96 0.94 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 3571 0 0 0 9977 22 0 0 25 0 1 0 968953144 17149952 2822 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4187 2822 301 301 0 3886 0
vsize: 16748
[startup+110.005 s]
Raw data (loadavg): 0.96 0.94 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 3777 0 0 0 10975 24 0 0 25 0 1 0 968953144 17657856 3028 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4311 3028 301 301 0 4010 0
vsize: 17244
[startup+120.005 s]
Raw data (loadavg): 0.97 0.94 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 3924 0 0 0 11974 25 0 0 25 0 1 0 968953144 17793024 3175 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4344 3175 301 301 0 4043 0
vsize: 17376
[startup+130.005 s]
Raw data (loadavg): 0.97 0.95 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 4031 0 0 0 12973 26 0 0 25 0 1 0 968953144 18038784 3282 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4404 3282 301 301 0 4103 0
vsize: 17616
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 4155 0 0 0 13972 27 0 0 25 0 1 0 968953144 18038784 3406 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4404 3406 301 301 0 4103 0
vsize: 17616
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 4296 0 0 0 14971 29 0 0 25 0 1 0 968953144 18382848 3547 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4488 3547 301 301 0 4187 0
vsize: 17952
[startup+160.005 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 4415 0 0 0 15969 31 0 0 25 0 1 0 968953144 18382848 3666 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4488 3666 301 301 0 4187 0
vsize: 17952
[startup+170.005 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 4534 0 0 0 16968 32 0 0 25 0 1 0 968953144 18382848 3785 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4488 3785 301 301 0 4187 0
vsize: 17952
[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 4677 0 0 0 17967 33 0 0 25 0 1 0 968953144 18771968 3928 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4583 3928 301 301 0 4282 0
vsize: 18332
[startup+190.005 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 4796 0 0 0 18966 34 0 0 25 0 1 0 968953144 18939904 4047 4294967295 134512640 135730672 3221224576 3221222864 134747817 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4624 4047 301 301 0 4323 0
vsize: 18496
[startup+200.005 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 5028 0 0 0 19965 36 0 0 25 0 1 0 968953144 27869184 4279 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6804 4279 301 301 0 6503 0
vsize: 27216
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 5083 0 0 0 20964 37 0 0 25 0 1 0 968953144 27869184 4334 4294967295 134512640 135730672 3221224576 3221222912 134740282 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6804 4334 301 301 0 6503 0
vsize: 27216
[startup+220.004 s]
Raw data (loadavg): 0.99 0.95 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 5111 0 0 0 21962 38 0 0 25 0 1 0 968953144 27869184 4362 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6804 4362 301 301 0 6503 0
vsize: 27216
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 5132 0 0 0 22962 39 0 0 25 0 1 0 968953144 27869184 4383 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6804 4383 301 301 0 6503 0
vsize: 27216
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 5277 0 0 0 23961 40 0 0 25 0 1 0 968953144 28409856 4528 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6936 4528 301 301 0 6635 0
vsize: 27744
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 5312 0 0 0 24960 41 0 0 25 0 1 0 968953144 28545024 4563 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6969 4563 301 301 0 6668 0
vsize: 27876
[startup+260.005 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 5504 0 0 0 25959 42 0 0 25 0 1 0 968953144 29220864 4755 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7134 4755 301 301 0 6833 0
vsize: 28536
[startup+270.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6418 0 0 0 26955 46 0 0 25 0 1 0 968953144 32759808 4900 4294967295 134512640 135730672 3221224576 3221222956 134763658 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7998 4900 301 301 0 7697 0
vsize: 31992
[startup+280.005 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6481 0 0 0 27953 48 0 0 25 0 1 0 968953144 32759808 4963 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7998 4963 301 301 0 7697 0
vsize: 31992
[startup+290.005 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6527 0 0 0 28952 50 0 0 25 0 1 0 968953144 32886784 5009 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8029 5009 301 301 0 7728 0
vsize: 32116
[startup+300.006 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6577 0 0 0 29951 51 0 0 25 0 1 0 968953144 32886784 5059 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8029 5059 301 301 0 7728 0
vsize: 32116
[startup+310.005 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6638 0 0 0 30950 52 0 0 25 0 1 0 968953144 33030144 5120 4294967295 134512640 135730672 3221224576 3221222864 134747802 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8064 5120 301 301 0 7763 0
vsize: 32256
[startup+320.005 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6698 0 0 0 31949 53 0 0 25 0 1 0 968953144 33173504 5180 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8099 5180 301 301 0 7798 0
vsize: 32396
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6747 0 0 0 32948 54 0 0 25 0 1 0 968953144 33329152 5229 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8137 5229 301 301 0 7836 0
vsize: 32548
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6818 0 0 0 33948 55 0 0 25 0 1 0 968953144 33488896 5300 4294967295 134512640 135730672 3221224576 3221222864 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8176 5300 301 301 0 7875 0
vsize: 32704
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6849 0 0 0 34947 56 0 0 25 0 1 0 968953144 33488896 5331 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8176 5331 301 301 0 7875 0
vsize: 32704
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6888 0 0 0 35946 57 0 0 25 0 1 0 968953144 33669120 5370 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8220 5370 301 301 0 7919 0
vsize: 32880
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6931 0 0 0 36945 58 0 0 25 0 1 0 968953144 33669120 5413 4294967295 134512640 135730672 3221224576 3221222864 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8220 5413 301 301 0 7919 0
vsize: 32880
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6955 0 0 0 37945 59 0 0 25 0 1 0 968953144 33669120 5437 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8220 5437 301 301 0 7919 0
vsize: 32880
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 6977 0 0 0 38944 60 0 0 25 0 1 0 968953144 33669120 5459 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8220 5459 301 301 0 7919 0
vsize: 32880
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 7027 0 0 0 39943 61 0 0 25 0 1 0 968953144 33959936 5509 4294967295 134512640 135730672 3221224576 3221222992 134748200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8291 5509 301 301 0 7990 0
vsize: 33164
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 7101 0 0 0 40943 61 0 0 25 0 1 0 968953144 34291712 5583 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8372 5583 301 301 0 8071 0
vsize: 33488
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 7167 0 0 0 41942 62 0 0 25 0 1 0 968953144 34291712 5649 4294967295 134512640 135730672 3221224576 3221222752 134761641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8372 5649 301 301 0 8071 0
vsize: 33488
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 7317 0 0 0 42941 63 0 0 25 0 1 0 968953144 34484224 5799 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8419 5799 301 301 0 8118 0
vsize: 33676
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 7466 0 0 0 43940 65 0 0 25 0 1 0 968953144 34484224 5948 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8419 5948 301 301 0 8118 0
vsize: 33676
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 7624 0 0 0 44939 66 0 0 25 0 1 0 968953144 35078144 6106 4294967295 134512640 135730672 3221224576 3221222864 134747834 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8564 6106 301 301 0 8263 0
vsize: 34256
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 7716 0 0 0 45938 67 0 0 25 0 1 0 968953144 35078144 6198 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8564 6198 301 301 0 8263 0
vsize: 34256
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 7812 0 0 0 46937 68 0 0 25 0 1 0 968953144 35078144 6294 4294967295 134512640 135730672 3221224576 3221222864 134747834 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8564 6294 301 301 0 8263 0
vsize: 34256
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 7932 0 0 0 47937 69 0 0 25 0 1 0 968953144 35078144 6414 4294967295 134512640 135730672 3221224576 3221222864 134747967 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 8088 0 0 0 48936 70 0 0 25 0 1 0 968953144 35463168 6570 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8658 6570 301 301 0 8357 0
vsize: 34632
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 8209 0 0 0 49935 71 0 0 25 0 1 0 968953144 35594240 6658 4294967295 134512640 135730672 3221224576 3221222912 134740321 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 8272 0 0 0 50934 72 0 0 25 0 1 0 968953144 35594240 6721 4294967295 134512640 135730672 3221224576 3221223024 134734847 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 8367 0 0 0 51932 74 0 0 25 0 1 0 968953144 35762176 6816 4294967295 134512640 135730672 3221224576 3221222864 134747823 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.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 8510 0 0 0 52931 75 0 0 25 0 1 0 968953144 36028416 6926 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8796 6926 301 301 0 8495 0
vsize: 35184
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 8671 0 0 0 53930 76 0 0 25 0 1 0 968953144 36446208 7087 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8898 7087 301 301 0 8597 0
vsize: 35592
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 8741 0 0 0 54929 77 0 0 25 0 1 0 968953144 36646912 7157 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8947 7157 301 301 0 8646 0
vsize: 35788
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 8809 0 0 0 55928 78 0 0 25 0 1 0 968953144 36847616 7225 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8996 7225 301 301 0 8695 0
vsize: 35984
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 8946 0 0 0 56927 80 0 0 25 0 1 0 968953144 36978688 7329 4294967295 134512640 135730672 3221224576 3221222864 134747714 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.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 9086 0 0 0 57925 82 0 0 25 0 1 0 968953144 37343232 7436 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9117 7436 301 301 0 8816 0
vsize: 36468
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 9187 0 0 0 58924 83 0 0 25 0 1 0 968953144 37543936 7537 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9166 7537 301 301 0 8865 0
vsize: 36664
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 9298 0 0 0 59923 84 0 0 25 0 1 0 968953144 37928960 7648 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9260 7648 301 301 0 8959 0
vsize: 37040
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 9388 0 0 0 60922 85 0 0 25 0 1 0 968953144 37928960 7738 4294967295 134512640 135730672 3221224576 3221222880 134746515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9260 7738 301 301 0 8959 0
vsize: 37040
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11012 0 0 0 61918 89 0 0 25 0 1 0 968953144 44220416 7825 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10796 7825 301 301 0 10495 0
vsize: 43184
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11103 0 0 0 62918 90 0 0 25 0 1 0 968953144 44371968 7916 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10833 7916 301 301 0 10532 0
vsize: 43332
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11196 0 0 0 63917 91 0 0 25 0 1 0 968953144 44630016 8009 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10896 8009 301 301 0 10595 0
vsize: 43584
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11315 0 0 0 64916 92 0 0 25 0 1 0 968953144 44630016 8128 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10896 8128 301 301 0 10595 0
vsize: 43584
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11419 0 0 0 65915 93 0 0 25 0 1 0 968953144 44773376 8232 4294967295 134512640 135730672 3221224576 3221222960 134763635 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10931 8232 301 301 0 10630 0
vsize: 43724
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11517 0 0 0 66915 93 0 0 25 0 1 0 968953144 45039616 8330 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10996 8330 301 301 0 10695 0
vsize: 43984
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11623 0 0 0 67914 94 0 0 25 0 1 0 968953144 45297664 8436 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11059 8436 301 301 0 10758 0
vsize: 44236
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11710 0 0 0 68913 95 0 0 25 0 1 0 968953144 45297664 8523 4294967295 134512640 135730672 3221224576 3221222880 134746190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11059 8523 301 301 0 10758 0
vsize: 44236
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11789 0 0 0 69913 96 0 0 25 0 1 0 968953144 45494272 8553 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11107 8553 301 301 0 10806 0
vsize: 44428
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11805 0 0 0 70913 96 0 0 25 0 1 0 968953144 45494272 8569 4294967295 134512640 135730672 3221224576 3221222864 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11107 8569 301 301 0 10806 0
vsize: 44428
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11856 0 0 0 71912 97 0 0 25 0 1 0 968953144 45494272 8620 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11107 8620 301 301 0 10806 0
vsize: 44428
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11923 0 0 0 72911 98 0 0 25 0 1 0 968953144 45494272 8687 4294967295 134512640 135730672 3221224576 3221222880 134745785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11107 8687 301 301 0 10806 0
vsize: 44428
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 11997 0 0 0 73911 99 0 0 25 0 1 0 968953144 45699072 8761 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11157 8761 301 301 0 10856 0
vsize: 44628
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12089 0 0 0 74910 99 0 0 25 0 1 0 968953144 45699072 8853 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11157 8853 301 301 0 10856 0
vsize: 44628
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12177 0 0 0 75909 101 0 0 25 0 1 0 968953144 45699072 8941 4294967295 134512640 135730672 3221224576 3221222880 135282272 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11157 8941 301 301 0 10856 0
vsize: 44628
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12243 0 0 0 76908 101 0 0 25 0 1 0 968953144 45699072 9007 4294967295 134512640 135730672 3221224576 3221222880 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11157 9007 301 301 0 10856 0
vsize: 44628
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12333 0 0 0 77908 102 0 0 25 0 1 0 968953144 45699072 9097 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11157 9097 301 301 0 10856 0
vsize: 44628
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12420 0 0 0 78907 103 0 0 25 0 1 0 968953144 62476288 9184 4294967295 134512640 135730672 3221224576 3221222880 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15253 9184 301 301 0 14952 0
vsize: 61012
[startup+800.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12481 0 0 0 79906 104 0 0 25 0 1 0 968953144 62476288 9245 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15253 9245 301 301 0 14952 0
vsize: 61012
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12593 0 0 0 80906 105 0 0 25 0 1 0 968953144 62726144 9357 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15314 9357 301 301 0 15013 0
vsize: 61256
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12677 0 0 0 81905 106 0 0 25 0 1 0 968953144 62726144 9441 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15314 9441 301 301 0 15013 0
vsize: 61256
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12744 0 0 0 82905 106 0 0 25 0 1 0 968953144 62726144 9508 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15314 9508 301 301 0 15013 0
vsize: 61256
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12827 0 0 0 83904 107 0 0 25 0 1 0 968953144 62726144 9591 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15314 9591 301 301 0 15013 0
vsize: 61256
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12857 0 0 0 84903 108 0 0 25 0 1 0 968953144 62881792 9621 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15352 9621 301 301 0 15051 0
vsize: 61408
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 12928 0 0 0 85903 109 0 0 25 0 1 0 968953144 63029248 9655 4294967295 134512640 135730672 3221224576 3221222864 134747794 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15388 9655 301 301 0 15087 0
vsize: 61552
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13237 0 0 0 86901 110 0 0 25 0 1 0 968953144 63975424 9964 4294967295 134512640 135730672 3221224576 3221222688 134732831 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15619 9964 301 301 0 15318 0
vsize: 62476
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13269 0 0 0 87901 111 0 0 25 0 1 0 968953144 64139264 9996 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 9996 301 301 0 15358 0
vsize: 62636
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13283 0 0 0 88901 111 0 0 25 0 1 0 968953144 64139264 10010 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10010 301 301 0 15358 0
vsize: 62636
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13299 0 0 0 89900 112 0 0 25 0 1 0 968953144 64139264 10026 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10026 301 301 0 15358 0
vsize: 62636
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13313 0 0 0 90899 113 0 0 25 0 1 0 968953144 64139264 10040 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10040 301 301 0 15358 0
vsize: 62636
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13329 0 0 0 91899 113 0 0 25 0 1 0 968953144 64139264 10056 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10056 301 301 0 15358 0
vsize: 62636
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13344 0 0 0 92899 114 0 0 25 0 1 0 968953144 64139264 10071 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10071 301 301 0 15358 0
vsize: 62636
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13359 0 0 0 93898 115 0 0 25 0 1 0 968953144 64139264 10086 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10086 301 301 0 15358 0
vsize: 62636
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13383 0 0 0 94898 115 0 0 25 0 1 0 968953144 64139264 10110 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10110 301 301 0 15358 0
vsize: 62636
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13408 0 0 0 95898 116 0 0 25 0 1 0 968953144 64139264 10135 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15659 10135 301 301 0 15358 0
vsize: 62636
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13446 0 0 0 96897 116 0 0 25 0 1 0 968953144 64286720 10173 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15695 10173 301 301 0 15394 0
vsize: 62780
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13493 0 0 0 97896 117 0 0 25 0 1 0 968953144 64520192 10220 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15752 10220 301 301 0 15451 0
vsize: 63008
[startup+990.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13573 0 0 0 98896 118 0 0 25 0 1 0 968953144 64888832 10300 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15842 10300 301 301 0 15541 0
vsize: 63368
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13589 0 0 0 99895 119 0 0 25 0 1 0 968953144 64888832 10316 4294967295 134512640 135730672 3221224576 3221222880 134746168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15842 10316 301 301 0 15541 0
vsize: 63368
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13655 0 0 0 100894 120 0 0 25 0 1 0 968953144 65052672 10341 4294967295 134512640 135730672 3221224576 3221222880 135282493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15882 10341 301 301 0 15581 0
vsize: 63528
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13670 0 0 0 101894 121 0 0 25 0 1 0 968953144 65052672 10356 4294967295 134512640 135730672 3221224576 3221222864 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15882 10356 301 301 0 15581 0
vsize: 63528
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13739 0 0 0 102893 121 0 0 25 0 1 0 968953144 65232896 10380 4294967295 134512640 135730672 3221224576 3221222912 134740440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15926 10380 301 301 0 15625 0
vsize: 63704
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13753 0 0 0 103893 122 0 0 25 0 1 0 968953144 65232896 10394 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15926 10394 301 301 0 15625 0
vsize: 63704
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13770 0 0 0 104893 122 0 0 25 0 1 0 968953144 65232896 10411 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15926 10411 301 301 0 15625 0
vsize: 63704
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13790 0 0 0 105892 123 0 0 25 0 1 0 968953144 65232896 10431 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15926 10431 301 301 0 15625 0
vsize: 63704
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13880 0 0 0 106892 123 0 0 25 0 1 0 968953144 65368064 10521 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15959 10521 301 301 0 15658 0
vsize: 63836
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 13933 0 0 0 107891 124 0 0 25 0 1 0 968953144 65368064 10574 4294967295 134512640 135730672 3221224576 3221222880 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15959 10574 301 301 0 15658 0
vsize: 63836
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14041 0 0 0 108891 125 0 0 25 0 1 0 968953144 65503232 10682 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15992 10682 301 301 0 15691 0
vsize: 63968
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14587 0 0 0 109888 128 0 0 25 0 1 0 968953144 67391488 11228 4294967295 134512640 135730672 3221224576 3221222472 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16453 11228 301 301 0 16152 0
vsize: 65812
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14841 0 0 0 110886 130 0 0 25 0 1 0 968953144 68067328 11482 4294967295 134512640 135730672 3221224576 3221222944 134763668 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11482 301 301 0 16317 0
vsize: 66472
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14860 0 0 0 111885 131 0 0 25 0 1 0 968953144 68067328 11501 4294967295 134512640 135730672 3221224576 3221222864 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11501 301 301 0 16317 0
vsize: 66472
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14878 0 0 0 112884 133 0 0 25 0 1 0 968953144 68067328 11519 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11519 301 301 0 16317 0
vsize: 66472
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14895 0 0 0 113883 133 0 0 25 0 1 0 968953144 68067328 11536 4294967295 134512640 135730672 3221224576 3221222992 134783330 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11536 301 301 0 16317 0
vsize: 66472
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14911 0 0 0 114882 134 0 0 25 0 1 0 968953144 68067328 11552 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11552 301 301 0 16317 0
vsize: 66472
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14926 0 0 0 115882 135 0 0 25 0 1 0 968953144 68067328 11567 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11567 301 301 0 16317 0
vsize: 66472
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14942 0 0 0 116881 136 0 0 25 0 1 0 968953144 68067328 11583 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11583 301 301 0 16317 0
vsize: 66472
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14955 0 0 0 117881 136 0 0 25 0 1 0 968953144 68067328 11596 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11596 301 301 0 16317 0
vsize: 66472
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14970 0 0 0 118880 137 0 0 25 0 1 0 968953144 68067328 11611 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11611 301 301 0 16317 0
vsize: 66472
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7142
Raw data (stat): 7142 (pb2sat-v2) R 7141 31399 31398 0 -1 0 14983 0 0 0 119879 138 0 0 25 0 1 0 968953144 68067328 11624 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16618 11624 301 301 0 16317 0
vsize: 66472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 7142
Raw data (stat): 7142 (pb2sat-v2) Z 7141 31399 31398 0 -1 12 14985 0 0 0 119899 140 0 0 25 0 1 0 968953144 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.24
CPU time (s): 1200.4
CPU user time (s): 1198.99
CPU system time (s): 1.40879
CPU usage (%): 100.014
Max. virtual memory (Kb): 66472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####