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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 10:32:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25771 boxname=wulflinc5 idbench=1071 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 25771
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        771004 kB
Buffers:         27848 kB
Cached:         213068 kB
SwapCached:        688 kB
Active:          30720 kB
Inactive:       212288 kB
HighTotal:      131008 kB
HighFree:        41160 kB
LowTotal:       903652 kB
LowFree:        729844 kB
SwapTotal:     2097136 kB
SwapFree:      2095520 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15088 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 10:52:26 (client local time) WITH STATUS 10 IN 1200.38 SECONDS
stats: 25771 0 1200.38 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.178017 s]  setting bit 5 to 0

c Decision: 336/1661	Time: 4.5953/86400
c Decision: 336/1661	Time: 5.05123/86400
c Decision: 336/1661	Time: 5.55016/86400
c Decision: 336/1661	Time: 5.99209/86400
c Decision: 336/1661	Time: 6.549/86400
c Decision: 336/1661	Time: 7.15691/86400
c Decision: 347/1661	Time: 7.86381/86400
c Decision: 347/1661	Time: 8.48671/86400
c Decision: 347/1661	Time: 9.08762/86400
c Decision: 347/1661	Time: 9.67253/86400
c Decision: 347/1661	Time: 10.2944/86400
c Decision: 347/1661	Time: 10.9303/86400
c Decision: 347/1661	Time: 11.6512/86400
c Decision: 347/1661	Time: 12.3371/86400
c Decision: 347/1661	Time: 13.068/86400
c Decision: 347/1661	Time: 13.8729/86400
c Decision: 347/1661	Time: 14.6898/86400
c Decision: 347/1661	Time: 15.4836/86400
c Decision: 347/1661	Time: 16.3045/86400
c Decision: 347/1661	Time: 17.1504/86400
c Decision: 347/1661	Time: 18.1212/86400
c Decision: 347/1661	Time: 18.9741/86400
c Decision: 347/1661	Time: 19.779/86400
c Decision: 347/1661	Time: 20.7558/86400
c Decision: 347/1661	Time: 21.7007/86400
c Decision: 347/1661	Time: 22.7075/86400
c Decision: 347/1661	Time: 23.6774/86400
c Decision: 347/1661	Time: 24.5753/86400
c Decision: 347/1661	Time: 25.5811/86400
c Decision: 347/1661	Time: 26.561/86400
c Decision: 347/1661	Time: 27.5908/86400
c Decision: 347/1661	Time: 28.5997/86400
c Decision: 347/1661	Time: 29.7495/86400
c Decision: 347/1661	Time: 30.7843/86400
c Decision: 347/1661	Time: 31.9012/86400
c Decision: 347/1661	Time: 33.138/86400
c Decision: 347/1661	Time: 34.3828/86400
c Decision: 347/1661	Time: 35.5616/86400
c Decision: 347/1661	Time: 36.7084/86400
c Decision: 347/1661	Time: 37.8712/86400
c Decision: 347/1661	Time: 39.15/86400
c Decision: 347/1661	Time: 40.3229/86400
c Decision: 347/1661	Time: 41.4137/86400
c Decision: 347/1661	Time: 42.6415/86400
c Decision: 347/1661	Time: 43.7294/86400
c Decision: 347/1661	Time: 44.9322/86400
c Decision: 347/1661	Time: 46.237/86400
c Decision: 347/1661	Time: 47.5228/86400
c Decision: 347/1661	Time: 48.7436/86400
c Decision: 347/1661	Time: 50.1884/86400
c Decision: 347/1661	Time: 51.5822/86400
c Decision: 347/1661	Time: 52.902/86400
c Decision: 347/1661	Time: 54.1788/86400
c Decision: 347/1661	Time: 55.4226/86400
c Decision: 347/1661	Time: 56.8514/86400
c Decision: 347/1661	Time: 58.3181/86400
c Decision: 347/1661	Time: 59.8049/86400
c Decision: 347/1661	Time: 61.2957/86400
c Decision: 347/1661	Time: 62.7115/86400
c Decision: 347/1661	Time: 64.1522/86400
c Decision: 347/1661	Time: 65.721/86400
c Decision: 347/1661	Time: 67.2528/86400
c Decision: 347/1661	Time: 68.6676/86400
c Decision: 347/1661	Time: 70.2923/86400
c Decision: 347/1661	Time: 71.8001/86400
c Decision: 347/1661	Time: 73.4108/86400
c Decision: 347/1661	Time: 74.9856/86400
c Decision: 347/1661	Time: 76.4674/86400
c Decision: 347/1661	Time: 77.9781/86400
c Decision: 347/1661	Time: 79.4719/86400
c Decision: 347/1661	Time: 81.2027/86400
c Decision: 347/1661	Time: 82.8374/86400
c Decision: 347/1661	Time: 84.3932/86400
c Decision: 347/1661	Time: 86.1459/86400
c Decision: 347/1661	Time: 87.6327/86400
c Decision: 347/1661	Time: 89.2394/86400
c Decision: 347/1661	Time: 90.9432/86400
c Decision: 347/1661	Time: 92.7859/86400
c Decision: 347/1661	Time: 94.5056/86400
c Decision: 347/1661	Time: 96.0854/86400
c Decision: 347/1661	Time: 97.8291/86400
c Decision: 347/1661	Time: 99.6488/86400
c Decision: 347/1661	Time: 101.786/86400
c Decision: 347/1661	Time: 103.402/86400
c Decision: 347/1661	Time: 105.064/86400
c Decision: 347/1661	Time: 106.913/86400
c Decision: 347/1661	Time: 108.758/86400
c Decision: 347/1661	Time: 110.591/86400
c Decision: 347/1661	Time: 112.337/86400
c Decision: 347/1661	Time: 114.019/86400
c Decision: 347/1661	Time: 116.117/86400
c Decision: 347/1661	Time: 117.897/86400
c Decision: 347/1661	Time: 119.755/86400
c Decision: 347/1661	Time: 121.577/86400
c Decision: 347/1661	Time: 123.538/86400
c Decision: 347/1661	Time: 125.478/86400
c Decision: 347/1661	Time: 127.299/86400
c Decision: 347/1661	Time: 129.085/86400
c Decision: 347/1661	Time: 130.88/86400
c Decision: 347/1661	Time: 132.69/86400
c Decision: 347/1661	Time: 134.825/86400
c Decision: 347/1661	Time: 136.517/86400
c Decision: 347/1661	Time: 138.308/86400
c Decision: 347/1661	Time: 140.079/86400
c Decision: 347/1661	Time: 141.791/86400
c Decision: 347/1661	Time: 143.464/86400
c Decision: 347/1661	Time: 145.423/86400
c Decision: 347/1661	Time: 147.527/86400
c Decision: 347/1661	Time: 149.694/86400
c Decision: 347/1661	Time: 152.024/86400
c Decision: 347/1661	Time: 153.854/86400
c Decision: 347/1661	Time: 155.693/86400
c Decision: 347/1661	Time: 157.462/86400
c Decision: 347/1661	Time: 159.244/86400
c Decision: 347/1661	Time: 161.133/86400
c Decision: 347/1661	Time: 163.205/86400
c Decision: 347/1661	Time: 165.125/86400
c Decision: 347/1661	Time: 167.169/86400
c Decision: 347/1661	Time: 169.176/86400
c Decision: 347/1661	Time: 171.129/86400
c Decision: 347/1661	Time: 173.298/86400
c Decision: 347/1661	Time: 175.204/86400
c Decision: 347/1661	Time: 177.37/86400
c Decision: 347/1661	Time: 179.306/86400
c Decision: 347/1661	Time: 181.359/86400
c Decision: 347/1661	Time: 183.645/86400
c Decision: 347/1661	Time: 185.614/86400
c Decision: 347/1661	Time: 187.665/86400
c Decision: 347/1661	Time: 189.756/86400
c Decision: 347/1661	Time: 191.606/86400
c Decision: 347/1661	Time: 193.877/86400
c Decision: 347/1661	Time: 195.78/86400
c Decision: 347/1661	Time: 198.174/86400
c Decision: 382/1661	Time: 201.971/86400
c Decision: 382/1661	Time: 203.973/86400
c Decision: 382/1661	Time: 205.702/86400
c Decision: 382/1661	Time: 207.391/86400
c Decision: 382/1661	Time: 209.233/86400
c Decision: 382/1661	Time: 211.165/86400
c Decision: 382/1661	Time: 213.019/86400
c Decision: 382/1661	Time: 215.111/86400
c Decision: 382/1661	Time: 216.884/86400
c Decision: 382/1661	Time: 218.651/86400
c Decision: 382/1661	Time: 220.454/86400
c Decision: 382/1661	Time: 222.245/86400
c Decision: 382/1661	Time: 224.343/86400
c Decision: 382/1661	Time: 226.377/86400
c Decision: 382/1661	Time: 228.253/86400
c Decision: 382/1661	Time: 230.216/86400
c Decision: 388/1661	Time: 233.68/86400
c Decision: 388/1661	Time: 235.74/86400
c Decision: 388/1661	Time: 237.344/86400
c Decision: 388/1661	Time: 239.498/86400
c Decision: 388/1661	Time: 241.212/86400
c Decision: 388/1661	Time: 243.42/86400
c Decision: 388/1661	Time: 246.038/86400
c Decision: 388/1661	Time: 248.182/86400
c Decision: 388/1661	Time: 250.377/86400
c Decision: 439/1661	Time: 255.029/86400
c Decision: 439/1661	Time: 256.672/86400
c Decision: 439/1661	Time: 258.508/86400
c Decision: 439/1661	Time: 260.292/86400
c Decision: 468/1661	Time: 262.253/86400
c Decision: 468/1661	Time: 263.831/86400
c Decision: 600/1661	Time: 265.7/86400
c [startup+269.154 s]  setting bit 4 to 0

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

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

c Decision: 304/1661	Time: 6.94994/86400
c Decision: 304/1661	Time: 7.75682/86400
c Decision: 304/1661	Time: 8.50971/86400
c Decision: 304/1661	Time: 9.26859/86400
c Decision: 304/1661	Time: 9.99348/86400
c Decision: 304/1661	Time: 10.8573/86400
c Decision: 304/1661	Time: 11.6532/86400
c Decision: 304/1661	Time: 12.4791/86400
c Decision: 304/1661	Time: 13.387/86400
c Decision: 304/1661	Time: 14.2758/86400
c Decision: 304/1661	Time: 15.1457/86400
c Decision: 304/1661	Time: 16.0476/86400
c Decision: 304/1661	Time: 17.0464/86400
c Decision: 304/1661	Time: 17.9603/86400
c Decision: 304/1661	Time: 18.9851/86400
c Decision: 304/1661	Time: 20.012/86400
c Decision: 304/1661	Time: 21.0618/86400
c got solution with objective value: 30
c [startup+290.664 s]  setting bit 1 to 1

c Decision: 297/1661	Time: 10.6024/86400
c Decision: 297/1661	Time: 11.7842/86400
c Decision: 297/1661	Time: 12.7771/86400
c Decision: 297/1661	Time: 13.9159/86400
c Decision: 297/1661	Time: 15.3357/86400
c Decision: 297/1661	Time: 16.7714/86400
c Decision: 297/1661	Time: 17.9713/86400
c Decision: 297/1661	Time: 19.3881/86400
c Decision: 297/1661	Time: 20.8448/86400
c Decision: 297/1661	Time: 22.0866/86400
c Decision: 297/1661	Time: 23.4214/86400
c Decision: 297/1661	Time: 24.8322/86400
c Decision: 297/1661	Time: 26.138/86400
c Decision: 297/1661	Time: 27.6698/86400
c Decision: 297/1661	Time: 28.9906/86400
c Decision: 297/1661	Time: 30.5404/86400
c Decision: 297/1661	Time: 31.9731/86400
c Decision: 297/1661	Time: 33.4599/86400
c Decision: 297/1661	Time: 34.8277/86400
c Decision: 297/1661	Time: 36.3025/86400
c Decision: 297/1661	Time: 37.9752/86400
c Decision: 297/1661	Time: 39.557/86400
c Decision: 297/1661	Time: 41.0308/86400
c Decision: 297/1661	Time: 42.5855/86400
c Decision: 297/1661	Time: 44.2083/86400
c Decision: 297/1661	Time: 45.907/86400
c Decision: 297/1661	Time: 47.5268/86400
c Decision: 297/1661	Time: 49.0595/86400
c Decision: 297/1661	Time: 50.6243/86400
c Decision: 297/1661	Time: 52.291/86400
c Decision: 297/1661	Time: 54.0378/86400
c Decision: 297/1661	Time: 55.8185/86400
c Decision: 297/1661	Time: 57.3243/86400
c Decision: 297/1661	Time: 59.1/86400
c Decision: 297/1661	Time: 60.7148/86400
c Decision: 297/1661	Time: 62.6475/86400
c Decision: 297/1661	Time: 64.3232/86400
c Decision: 297/1661	Time: 66.4799/86400
c Decision: 297/1661	Time: 68.3216/86400
c Decision: 297/1661	Time: 70.1713/86400
c Decision: 297/1661	Time: 72.071/86400
c Decision: 297/1661	Time: 73.6978/86400
c Decision: 297/1661	Time: 75.4255/86400
c Decision: 297/1661	Time: 77.1143/86400
c Decision: 297/1661	Time: 79.23/86400
c Decision: 297/1661	Time: 81.2227/86400
c Decision: 297/1661	Time: 82.8904/86400
c Decision: 297/1661	Time: 84.7941/86400
c Decision: 297/1661	Time: 86.8298/86400
c Decision: 297/1661	Time: 88.9035/86400
c Decision: 297/1661	Time: 91.0032/86400
c Decision: 297/1661	Time: 92.9369/86400
c Decision: 297/1661	Time: 94.7936/86400
c Decision: 297/1661	Time: 96.9653/86400
c Decision: 297/1661	Time: 99.0619/86400
c Decision: 297/1661	Time: 101.344/86400
c Decision: 297/1661	Time: 103.458/86400
c Decision: 297/1661	Time: 105.359/86400
c Decision: 297/1661	Time: 107.176/86400
c Decision: 297/1661	Time: 109.195/86400
c Decision: 297/1661	Time: 111.652/86400
c Decision: 297/1661	Time: 113.613/86400
c Decision: 297/1661	Time: 115.918/86400
c Decision: 297/1661	Time: 118.262/86400
c Decision: 297/1661	Time: 120.526/86400
c Decision: 297/1661	Time: 122.774/86400
c Decision: 297/1661	Time: 124.655/86400
c Decision: 297/1661	Time: 126.701/86400
c Decision: 297/1661	Time: 128.698/86400
c Decision: 297/1661	Time: 130.926/86400
c Decision: 297/1661	Time: 133.17/86400
c Decision: 297/1661	Time: 135.297/86400
c Decision: 297/1661	Time: 137.071/86400
c Decision: 297/1661	Time: 139.06/86400
c Decision: 297/1661	Time: 141.346/86400
c Decision: 297/1661	Time: 143.874/86400
c Decision: 297/1661	Time: 146.24/86400
c Decision: 297/1661	Time: 148.383/86400
c Decision: 297/1661	Time: 150.798/86400
c Decision: 297/1661	Time: 152.763/86400
c Decision: 297/1661	Time: 155.114/86400
c Decision: 297/1661	Time: 157.448/86400
c Decision: 297/1661	Time: 159.827/86400
c Decision: 297/1661	Time: 162.277/86400
c Decision: 297/1661	Time: 164.677/86400
c Decision: 297/1661	Time: 167.004/86400
c Decision: 297/1661	Time: 169.388/86400
c Decision: 297/1661	Time: 171.7/86400
c Decision: 297/1661	Time: 173.956/86400
c Decision: 297/1661	Time: 176.306/86400
c Decision: 297/1661	Time: 179.007/86400
c Decision: 297/1661	Time: 181.431/86400
c Decision: 297/1661	Time: 183.787/86400
c Decision: 297/1661	Time: 186.185/86400
c Decision: 297/1661	Time: 188.477/86400
c Decision: 297/1661	Time: 191.184/86400
c Decision: 297/1661	Time: 193.545/86400
c Decision: 297/1661	Time: 195.877/86400
c Decision: 297/1661	Time: 198.311/86400
c Decision: 297/1661	Time: 200.726/86400
c Decision: 297/1661	Time: 203.405/86400
c Decision: 297/1661	Time: 205.471/86400
c Decision: 297/1661	Time: 207.903/86400
c Decision: 297/1661	Time: 210.671/86400
c Decision: 297/1661	Time: 213.279/86400
c Decision: 297/1661	Time: 216.345/86400
c Decision: 297/1661	Time: 218.73/86400
c Decision: 297/1661	Time: 221.072/86400
c Decision: 297/1661	Time: 223.416/86400
c Decision: 297/1661	Time: 226.082/86400
c Decision: 297/1661	Time: 228.96/86400
c Decision: 297/1661	Time: 231.196/86400
c Decision: 297/1661	Time: 233.515/86400
c Decision: 297/1661	Time: 235.741/86400
c Decision: 297/1661	Time: 238.165/86400
c Decision: 297/1661	Time: 240.984/86400
c Decision: 297/1661	Time: 243.546/86400
c Decision: 297/1661	Time: 245.831/86400
c Decision: 297/1661	Time: 248.047/86400
c Decision: 297/1661	Time: 251.191/86400
c Decision: 297/1661	Time: 253.789/86400
c Decision: 297/1661	Time: 256.282/86400
c Decision: 297/1661	Time: 258.884/86400
c Decision: 297/1661	Time: 261.086/86400
c Decision: 297/1661	Time: 263.782/86400
c Decision: 297/1661	Time: 266.645/86400
c Decision: 297/1661	Time: 269.114/86400
c Decision: 297/1661	Time: 271.363/86400
c Decision: 297/1661	Time: 273.879/86400
c Decision: 297/1661	Time: 276.477/86400
c Decision: 297/1661	Time: 278.897/86400
c Decision: 297/1661	Time: 281.43/86400
c Decision: 297/1661	Time: 283.747/86400
c Decision: 297/1661	Time: 286.428/86400
c Decision: 297/1661	Time: 289.128/86400
c Decision: 297/1661	Time: 291.916/86400
c Decision: 297/1661	Time: 294.527/86400
c Decision: 297/1661	Time: 297.008/86400
c Decision: 297/1661	Time: 299.749/86400
c Decision: 297/1661	Time: 302.752/86400
c Decision: 297/1661	Time: 305.63/86400
c Decision: 297/1661	Time: 308.169/86400
c Decision: 297/1661	Time: 311.09/86400
c Decision: 297/1661	Time: 314.055/86400
c Decision: 297/1661	Time: 316.554/86400
c Decision: 297/1661	Time: 319.403/86400
c Decision: 297/1661	Time: 322.126/86400
c Decision: 297/1661	Time: 324.583/86400
c Decision: 297/1661	Time: 327.254/86400
c Decision: 297/1661	Time: 330.049/86400
c Decision: 297/1661	Time: 333/86400
c Decision: 297/1661	Time: 336.019/86400
c Decision: 297/1661	Time: 338.448/86400
c Decision: 297/1661	Time: 340.894/86400
c Decision: 297/1661	Time: 342.966/86400
c Decision: 297/1661	Time: 346.058/86400
c Decision: 297/1661	Time: 348.792/86400
c Decision: 297/1661	Time: 351.51/86400
c Decision: 297/1661	Time: 354.299/86400
c Decision: 297/1661	Time: 357.09/86400
c Decision: 297/1661	Time: 360.349/86400
c Decision: 297/1661	Time: 362.701/86400
c Decision: 297/1661	Time: 365.391/86400
c Decision: 297/1661	Time: 367.941/86400
c Decision: 297/1661	Time: 370.687/86400
c Decision: 297/1661	Time: 374.273/86400
c Decision: 297/1661	Time: 377.237/86400
c Decision: 297/1661	Time: 380.21/86400
c Decision: 297/1661	Time: 383.068/86400
c Decision: 297/1661	Time: 385.636/86400
c Decision: 297/1661	Time: 388.481/86400
c Decision: 297/1661	Time: 391.236/86400
c Decision: 297/1661	Time: 394.246/86400
c Decision: 297/1661	Time: 396.559/86400
c Decision: 297/1661	Time: 399.128/86400
c Decision: 297/1661	Time: 402.434/86400
c Decision: 297/1661	Time: 405.019/86400
c Decision: 297/1661	Time: 407.866/86400
c Decision: 297/1661	Time: 410.784/86400
c Decision: 297/1661	Time: 413.319/86400
c Decision: 297/1661	Time: 416.133/86400
c Decision: 297/1661	Time: 418.979/86400
c Decision: 297/1661	Time: 421.834/86400
c Decision: 297/1661	Time: 424.832/86400
c Decision: 297/1661	Time: 427.989/86400
c Decision: 297/1661	Time: 431.052/86400
c Decision: 297/1661	Time: 433.883/86400
c Decision: 297/1661	Time: 436.799/86400
c Decision: 297/1661	Time: 439.45/86400
c Decision: 297/1661	Time: 442.255/86400
c Decision: 297/1661	Time: 445.454/86400
c Decision: 297/1661	Time: 448.516/86400
c Decision: 297/1661	Time: 451.321/86400
c Decision: 297/1661	Time: 454.503/86400
c Decision: 297/1661	Time: 457.364/86400
c Decision: 297/1661	Time: 461.103/86400
c Decision: 297/1661	Time: 463.942/86400
c Decision: 297/1661	Time: 466.572/86400
c Decision: 297/1661	Time: 469.361/86400
c Decision: 297/1661	Time: 472.417/86400
c Decision: 297/1661	Time: 475.758/86400
c Decision: 297/1661	Time: 478.717/86400
c Decision: 297/1661	Time: 481.925/86400
c Decision: 297/1661	Time: 484.683/86400
c Decision: 297/1661	Time: 487.357/86400
c Decision: 297/1661	Time: 490.766/86400
c Decision: 297/1661	Time: 493.519/86400
c Decision: 297/1661	Time: 496.361/86400
c Decision: 297/1661	Time: 499.169/86400
c Decision: 297/1661	Time: 502.246/86400
c Decision: 297/1661	Time: 505.466/86400
c Decision: 297/1661	Time: 508.056/86400
c Decision: 297/1661	Time: 511.071/86400
c Decision: 297/1661	Time: 513.757/86400
c Decision: 297/1661	Time: 516.677/86400
c Decision: 297/1661	Time: 519.949/86400
c Decision: 297/1661	Time: 522.8/86400
c Decision: 297/1661	Time: 525.489/86400
c Decision: 297/1661	Time: 528.285/86400
c Decision: 297/1661	Time: 530.897/86400
c Decision: 297/1661	Time: 534.434/86400
c Decision: 297/1661	Time: 536.997/86400
c Decision: 297/1661	Time: 539.922/86400
c Decision: 297/1661	Time: 542.738/86400
c Decision: 297/1661	Time: 545.182/86400
c Decision: 297/1661	Time: 548.707/86400
c Decision: 297/1661	Time: 551.66/86400
c Decision: 297/1661	Time: 554.751/86400
c Decision: 297/1661	Time: 557.631/86400
c Decision: 297/1661	Time: 560.638/86400
c Decision: 297/1661	Time: 563.905/86400
c Decision: 297/1661	Time: 566.75/86400
c Decision: 297/1661	Time: 569.878/86400
c Decision: 297/1661	Time: 573.155/86400
c Decision: 489/1661	Time: 577.618/86400
c Decision: 489/1661	Time: 580.54/86400
c Decision: 489/1661	Time: 582.791/86400
c Decision: 489/1661	Time: 584.672/86400
c Decision: 489/1661	Time: 587.379/86400
c Decision: 489/1661	Time: 590.795/86400
c Decision: 489/1661	Time: 593.284/86400
c Decision: 489/1661	Time: 595.88/86400
c Decision: 489/1661	Time: 598.613/86400
c Decision: 489/1661	Time: 601.439/86400
c Decision: 489/1661	Time: 603.989/86400
c Decision: 489/1661	Time: 606.991/86400
c Decision: 489/1661	Time: 609.813/86400
c Decision: 489/1661	Time: 612.403/86400
c Decision: 489/1661	Time: 615.376/86400
c Decision: 489/1661	Time: 618.099/86400
c Decision: 489/1661	Time: 621.204/86400
c Decision: 489/1661	Time: 623.655/86400
c Decision: 489/1661	Time: 626.509/86400
c Decision: 489/1661	Time: 629.379/86400
c Decision: 489/1661	Time: 632.244/86400
c Decision: 489/1661	Time: 634.965/86400
c Decision: 489/1661	Time: 637.639/86400
c Decision: 489/1661	Time: 639.979/86400
c Decision: 489/1661	Time: 642.677/86400
c Decision: 489/1661	Time: 645.208/86400
c Decision: 489/1661	Time: 648.454/86400
c Decision: 489/1661	Time: 651.262/86400
c Decision: 489/1661	Time: 654.181/86400
c Decision: 489/1661	Time: 656.917/86400
c Decision: 489/1661	Time: 659.749/86400
c Decision: 489/1661	Time: 663.283/86400
c Decision: 489/1661	Time: 666.193/86400
c Decision: 489/1661	Time: 669.046/86400
c Decision: 489/1661	Time: 672.129/86400
c Decision: 489/1661	Time: 674.896/86400
c Decision: 489/1661	Time: 678.511/86400
c Decision: 489/1661	Time: 681.467/86400
c Decision: 489/1661	Time: 684.054/86400
c Decision: 489/1661	Time: 686.387/86400
c Decision: 489/1661	Time: 689.476/86400
c Decision: 489/1661	Time: 692.825/86400
c Decision: 489/1661	Time: 696.139/86400
c Decision: 489/1661	Time: 699.389/86400
c Decision: 489/1661	Time: 702.64/86400
c Decision: 489/1661	Time: 705.489/86400
c Decision: 489/1661	Time: 708.917/86400
c Decision: 489/1661	Time: 711.94/86400
c Decision: 489/1661	Time: 714.85/86400
c Decision: 489/1661	Time: 718.186/86400
c Decision: 489/1661	Time: 720.992/86400
c Decision: 489/1661	Time: 724.31/86400
c Decision: 489/1661	Time: 727.277/86400
c Decision: 489/1661	Time: 730.391/86400
c Decision: 489/1661	Time: 733.356/86400
c Decision: 489/1661	Time: 736.597/86400
c Decision: 489/1661	Time: 740.108/86400
c Decision: 489/1661	Time: 743.14/86400
c Decision: 489/1661	Time: 745.825/86400
c Decision: 489/1661	Time: 748.44/86400
c Decision: 489/1661	Time: 751.212/86400
c Decision: 489/1661	Time: 754.584/86400
c Decision: 489/1661	Time: 757.89/86400
c Decision: 489/1661	Time: 760.973/86400
c Decision: 489/1661	Time: 764.108/86400
c Decision: 489/1661	Time: 767.18/86400
c Decision: 489/1661	Time: 770.609/86400
c Decision: 489/1661	Time: 773.587/86400
c Decision: 489/1661	Time: 776.557/86400
c Decision: 489/1661	Time: 779.869/86400
c Decision: 489/1661	Time: 782.727/86400
c Decision: 489/1661	Time: 785.874/86400
c Decision: 489/1661	Time: 789.039/86400
c Decision: 489/1661	Time: 791.918/86400
c Decision: 489/1661	Time: 794.801/86400
c Decision: 489/1661	Time: 798.083/86400
c Decision: 489/1661	Time: 801.48/86400
c Decision: 512/1661	Time: 806.489/86400
c Decision: 589/1661	Time: 812.068/86400
c Decision: 589/1661	Time: 814.141/86400
c Decision: 589/1661	Time: 815.871/86400
c Decision: 589/1661	Time: 817.995/86400
c Decision: 589/1661	Time: 820.099/86400
c Decision: 589/1661	Time: 822.077/86400
c Decision: 589/1661	Time: 824.079/86400
c Decision: 589/1661	Time: 826.265/86400
c Decision: 589/1661	Time: 828.43/86400
c Decision: 589/1661	Time: 830.656/86400
c Decision: 589/1661	Time: 832.884/86400
c Decision: 589/1661	Time: 835.015/86400
c Decision: 589/1661	Time: 837.611/86400
c Decision: 589/1661	Time: 839.902/86400
c Decision: 589/1661	Time: 842.149/86400
c Decision: 589/1661	Time: 844.544/86400
c Decision: 589/1661	Time: 846.864/86400
c Decision: 589/1661	Time: 849.261/86400
c Decision: 589/1661	Time: 851.687/86400
c Decision: 589/1661	Time: 853.928/86400
c Decision: 589/1661	Time: 856.392/86400
c Decision: 589/1661	Time: 859.463/86400
c Decision: 589/1661	Time: 862.196/86400
c Decision: 589/1661	Time: 864.929/86400
c Decision: 589/1661	Time: 867.965/86400
c Decision: 589/1661	Time: 870.201/86400
c Decision: 589/1661	Time: 872.878/86400
c Decision: 589/1661	Time: 875.76/86400
c Decision: 589/1661	Time: 878.317/86400
c Decision: 589/1661	Time: 880.637/86400
c Decision: 589/1661	Time: 882.946/86400
c Decision: 589/1661	Time: 886.544/86400
c Decision: 589/1661	Time: 889.719/86400
c Decision: 589/1661	Time: 892.565/86400
c Decision: 589/1661	Time: 895.53/86400
c Decision: 589/1661	Time: 898.042/86400
c Decision: 589/1661	Time: 900.778/86400
c Decision: 589/1661	Time: 903.645/86400
c Decision: 589/1661	Time: 906.709/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.86 0.97 0.91 2/54 12940
Raw data (stat): 12940 (runsolver) R 12939 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970068364 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99993 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 1004 0 0 0 994 4 0 0 25 0 1 0 970068364 5349376 833 4294967295 134512640 135730672 3221224576 3221223012 134748064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1306 833 301 301 0 1005 0
vsize: 5224
[startup+20.001 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 1345 0 0 0 1990 8 0 0 25 0 1 0 970068364 5902336 1174 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1441 1174 301 301 0 1140 0
vsize: 5764
[startup+30.0021 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 1801 0 0 0 2987 10 0 0 25 0 1 0 970068364 9240576 1437 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2256 1437 301 301 0 1955 0
vsize: 9024
[startup+40.0014 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 2023 0 0 0 3984 13 0 0 25 0 1 0 970068364 9687040 1659 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2365 1659 301 301 0 2064 0
vsize: 9460
[startup+50.0026 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 2233 0 0 0 4983 15 0 0 25 0 1 0 970068364 9879552 1869 4294967295 134512640 135730672 3221224576 3221222864 134747871 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2412 1869 301 301 0 2111 0
vsize: 9648
[startup+60.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 2432 0 0 0 5981 17 0 0 25 0 1 0 970068364 10227712 2068 4294967295 134512640 135730672 3221224576 3221222536 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2497 2068 301 301 0 2196 0
vsize: 9988
[startup+70.0026 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 2654 0 0 0 6978 20 0 0 25 0 1 0 970068364 14925824 2290 4294967295 134512640 135730672 3221224576 3221222864 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3644 2290 301 301 0 3343 0
vsize: 14576
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 2822 0 0 0 7976 22 0 0 25 0 1 0 970068364 15081472 2458 4294967295 134512640 135730672 3221224576 3221222848 134732711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3682 2458 301 301 0 3381 0
vsize: 14728
[startup+90.0036 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 3374 0 0 0 8973 24 0 0 25 0 1 0 970068364 16826368 2625 4294967295 134512640 135730672 3221224576 3221222864 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4108 2625 301 301 0 3807 0
vsize: 16432
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 3537 0 0 0 9972 26 0 0 25 0 1 0 970068364 17014784 2788 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4154 2788 301 301 0 3853 0
vsize: 16616
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 3726 0 0 0 10970 28 0 0 25 0 1 0 970068364 17657856 2977 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4311 2977 301 301 0 4010 0
vsize: 17244
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 3891 0 0 0 11969 29 0 0 25 0 1 0 970068364 17793024 3142 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4344 3142 301 301 0 4043 0
vsize: 17376
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 4001 0 0 0 12968 30 0 0 25 0 1 0 970068364 18038784 3252 4294967295 134512640 135730672 3221224576 3221222864 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4404 3252 301 301 0 4103 0
vsize: 17616
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 4124 0 0 0 13966 32 0 0 25 0 1 0 970068364 18038784 3375 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4404 3375 301 301 0 4103 0
vsize: 17616
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 4263 0 0 0 14964 34 0 0 25 0 1 0 970068364 18382848 3514 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4488 3514 301 301 0 4187 0
vsize: 17952
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 4380 0 0 0 15962 36 0 0 25 0 1 0 970068364 18382848 3631 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4488 3631 301 301 0 4187 0
vsize: 17952
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 4497 0 0 0 16960 38 0 0 25 0 1 0 970068364 18382848 3748 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4488 3748 301 301 0 4187 0
vsize: 17952
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 4618 0 0 0 17959 39 0 0 25 0 1 0 970068364 18604032 3869 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4542 3869 301 301 0 4241 0
vsize: 18168
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 4761 0 0 0 18956 42 0 0 25 0 1 0 970068364 18939904 4012 4294967295 134512640 135730672 3221224576 3221222864 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4624 4012 301 301 0 4323 0
vsize: 18496
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 4877 0 0 0 19955 43 0 0 25 0 1 0 970068364 27328512 4128 4294967295 134512640 135730672 3221224576 3221222864 134747794 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6672 4128 301 301 0 6371 0
vsize: 26688
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 5075 0 0 0 20953 45 0 0 25 0 1 0 970068364 27869184 4326 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6804 4326 301 301 0 6503 0
vsize: 27216
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 5104 0 0 0 21952 46 0 0 25 0 1 0 970068364 27869184 4355 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6804 4355 301 301 0 6503 0
vsize: 27216
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 5126 0 0 0 22951 47 0 0 25 0 1 0 970068364 27869184 4377 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6804 4377 301 301 0 6503 0
vsize: 27216
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 5270 0 0 0 23950 49 0 0 25 0 1 0 970068364 28409856 4521 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6936 4521 301 301 0 6635 0
vsize: 27744
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 5302 0 0 0 24949 50 0 0 25 0 1 0 970068364 28545024 4553 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6969 4553 301 301 0 6668 0
vsize: 27876
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 5460 0 0 0 25948 51 0 0 25 0 1 0 970068364 29085696 4711 4294967295 134512640 135730672 3221224576 3221222864 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7101 4711 301 301 0 6800 0
vsize: 28404
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6394 0 0 0 26945 54 0 0 25 0 1 0 970068364 32759808 4876 4294967295 134512640 135730672 3221224576 3221222992 134748191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7998 4876 301 301 0 7697 0
vsize: 31992
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6461 0 0 0 27942 56 0 0 25 0 1 0 970068364 32759808 4943 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7998 4943 301 301 0 7697 0
vsize: 31992
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6513 0 0 0 28941 58 0 0 25 0 1 0 970068364 32886784 4995 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8029 4995 301 301 0 7728 0
vsize: 32116
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6552 0 0 0 29939 60 0 0 25 0 1 0 970068364 32886784 5034 4294967295 134512640 135730672 3221224576 3221222912 134740420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8029 5034 301 301 0 7728 0
vsize: 32116
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6625 0 0 0 30938 61 0 0 25 0 1 0 970068364 33030144 5107 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8064 5107 301 301 0 7763 0
vsize: 32256
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6670 0 0 0 31937 63 0 0 25 0 1 0 970068364 33173504 5152 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8099 5152 301 301 0 7798 0
vsize: 32396
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6719 0 0 0 32936 63 0 0 25 0 1 0 970068364 33173504 5201 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8099 5201 301 301 0 7798 0
vsize: 32396
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6784 0 0 0 33935 65 0 0 25 0 1 0 970068364 33488896 5266 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8176 5266 301 301 0 7875 0
vsize: 32704
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6840 0 0 0 34934 66 0 0 25 0 1 0 970068364 33488896 5322 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8176 5322 301 301 0 7875 0
vsize: 32704
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6877 0 0 0 35933 66 0 0 25 0 1 0 970068364 33669120 5359 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8220 5359 301 301 0 7919 0
vsize: 32880
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6923 0 0 0 36932 68 0 0 25 0 1 0 970068364 33669120 5405 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8220 5405 301 301 0 7919 0
vsize: 32880
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6948 0 0 0 37931 69 0 0 25 0 1 0 970068364 33669120 5430 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8220 5430 301 301 0 7919 0
vsize: 32880
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 6971 0 0 0 38930 70 0 0 25 0 1 0 970068364 33669120 5453 4294967295 134512640 135730672 3221224576 3221222988 134730931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8220 5453 301 301 0 7919 0
vsize: 32880
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 7011 0 0 0 39930 70 0 0 25 0 1 0 970068364 33800192 5493 4294967295 134512640 135730672 3221224576 3221222960 134763774 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8252 5493 301 301 0 7951 0
vsize: 33008
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 7092 0 0 0 40929 71 0 0 25 0 1 0 970068364 34291712 5574 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8372 5574 301 301 0 8071 0
vsize: 33488
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 7125 0 0 0 41929 72 0 0 25 0 1 0 970068364 34291712 5607 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8372 5607 301 301 0 8071 0
vsize: 33488
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 7258 0 0 0 42928 73 0 0 25 0 1 0 970068364 34291712 5740 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8372 5740 301 301 0 8071 0
vsize: 33488
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 7415 0 0 0 43926 75 0 0 25 0 1 0 970068364 34484224 5897 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8419 5897 301 301 0 8118 0
vsize: 33676
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 7546 0 0 0 44925 76 0 0 25 0 1 0 970068364 34693120 6028 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8470 6028 301 301 0 8169 0
vsize: 33880
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 7689 0 0 0 45924 78 0 0 25 0 1 0 970068364 35078144 6171 4294967295 134512640 135730672 3221224576 3221222880 134745856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8564 6171 301 301 0 8263 0
vsize: 34256
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 7789 0 0 0 46923 79 0 0 25 0 1 0 970068364 35078144 6271 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8564 6271 301 301 0 8263 0
vsize: 34256
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 7908 0 0 0 47922 80 0 0 25 0 1 0 970068364 35078144 6390 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8564 6390 301 301 0 8263 0
vsize: 34256
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 8035 0 0 0 48920 82 0 0 25 0 1 0 970068364 35295232 6517 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8617 6517 301 301 0 8316 0
vsize: 34468
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 8138 0 0 0 49919 83 0 0 25 0 1 0 970068364 35463168 6620 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8658 6620 301 301 0 8357 0
vsize: 34632
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 8265 0 0 0 50918 85 0 0 25 0 1 0 970068364 35594240 6714 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8690 6714 301 301 0 8389 0
vsize: 34760
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 8355 0 0 0 51917 85 0 0 25 0 1 0 970068364 35762176 6804 4294967295 134512640 135730672 3221224576 3221222864 134747821 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8731 6804 301 301 0 8430 0
vsize: 34924
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 8495 0 0 0 52916 87 0 0 25 0 1 0 970068364 36028416 6911 4294967295 134512640 135730672 3221224576 3221222976 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8796 6911 301 301 0 8495 0
vsize: 35184
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 8607 0 0 0 53915 88 0 0 25 0 1 0 970068364 36179968 7023 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8833 7023 301 301 0 8532 0
vsize: 35332
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 8731 0 0 0 54913 90 0 0 25 0 1 0 970068364 36646912 7147 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8947 7147 301 301 0 8646 0
vsize: 35788
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 8774 0 0 0 55913 91 0 0 25 0 1 0 970068364 36646912 7190 4294967295 134512640 135730672 3221224576 3221222864 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8947 7190 301 301 0 8646 0
vsize: 35788
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 8937 0 0 0 56911 92 0 0 25 0 1 0 970068364 36978688 7320 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9028 7320 301 301 0 8727 0
vsize: 36112
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 9063 0 0 0 57911 93 0 0 25 0 1 0 970068364 37343232 7413 4294967295 134512640 135730672 3221224576 3221222864 134747802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9117 7413 301 301 0 8816 0
vsize: 36468
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 9138 0 0 0 58910 94 0 0 25 0 1 0 970068364 37343232 7488 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9117 7488 301 301 0 8816 0
vsize: 36468
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 9256 0 0 0 59909 95 0 0 25 0 1 0 970068364 37728256 7606 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9211 7606 301 301 0 8910 0
vsize: 36844
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 9379 0 0 0 60909 96 0 0 25 0 1 0 970068364 37928960 7729 4294967295 134512640 135730672 3221224576 3221222992 134783328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9260 7729 301 301 0 8959 0
vsize: 37040
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 10985 0 0 0 61904 101 0 0 25 0 1 0 970068364 44220416 7798 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10796 7798 301 301 0 10495 0
vsize: 43184
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11071 0 0 0 62903 102 0 0 25 0 1 0 970068364 44371968 7884 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10833 7884 301 301 0 10532 0
vsize: 43332
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11187 0 0 0 63902 103 0 0 25 0 1 0 970068364 44630016 8000 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10896 8000 301 301 0 10595 0
vsize: 43584
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11304 0 0 0 64900 105 0 0 25 0 1 0 970068364 44630016 8117 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10896 8117 301 301 0 10595 0
vsize: 43584
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11395 0 0 0 65899 106 0 0 25 0 1 0 970068364 44773376 8208 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10931 8208 301 301 0 10630 0
vsize: 43724
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11453 0 0 0 66898 107 0 0 25 0 1 0 970068364 44773376 8266 4294967295 134512640 135730672 3221224576 3221222960 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10931 8266 301 301 0 10630 0
vsize: 43724
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11618 0 0 0 67897 108 0 0 25 0 1 0 970068364 45297664 8431 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11059 8431 301 301 0 10758 0
vsize: 44236
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11684 0 0 0 68897 109 0 0 25 0 1 0 970068364 45297664 8497 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11059 8497 301 301 0 10758 0
vsize: 44236
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11786 0 0 0 69896 110 0 0 25 0 1 0 970068364 45494272 8550 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11107 8550 301 301 0 10806 0
vsize: 44428
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11801 0 0 0 70895 111 0 0 25 0 1 0 970068364 45494272 8565 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11107 8565 301 301 0 10806 0
vsize: 44428
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11841 0 0 0 71894 112 0 0 25 0 1 0 970068364 45494272 8605 4294967295 134512640 135730672 3221224576 3221222864 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11107 8605 301 301 0 10806 0
vsize: 44428
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11897 0 0 0 72894 113 0 0 25 0 1 0 970068364 45494272 8661 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11107 8661 301 301 0 10806 0
vsize: 44428
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 11976 0 0 0 73893 114 0 0 25 0 1 0 970068364 45699072 8740 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11157 8740 301 301 0 10856 0
vsize: 44628
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12074 0 0 0 74892 115 0 0 25 0 1 0 970068364 45699072 8838 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11157 8838 301 301 0 10856 0
vsize: 44628
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12151 0 0 0 75892 115 0 0 25 0 1 0 970068364 45699072 8915 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11157 8915 301 301 0 10856 0
vsize: 44628
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12222 0 0 0 76891 116 0 0 25 0 1 0 970068364 45699072 8986 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11157 8986 301 301 0 10856 0
vsize: 44628
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12328 0 0 0 77890 117 0 0 25 0 1 0 970068364 45699072 9092 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11157 9092 301 301 0 10856 0
vsize: 44628
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12394 0 0 0 78889 118 0 0 25 0 1 0 970068364 62476288 9158 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15253 9158 301 301 0 14952 0
vsize: 61012
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12460 0 0 0 79888 119 0 0 25 0 1 0 970068364 62476288 9224 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15253 9224 301 301 0 14952 0
vsize: 61012
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12556 0 0 0 80888 120 0 0 25 0 1 0 970068364 62476288 9320 4294967295 134512640 135730672 3221224576 3221222880 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15253 9320 301 301 0 14952 0
vsize: 61012
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12654 0 0 0 81887 121 0 0 25 0 1 0 970068364 62726144 9418 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15314 9418 301 301 0 15013 0
vsize: 61256
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12722 0 0 0 82886 123 0 0 25 0 1 0 970068364 62726144 9486 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15314 9486 301 301 0 15013 0
vsize: 61256
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12821 0 0 0 83884 124 0 0 25 0 1 0 970068364 62726144 9585 4294967295 134512640 135730672 3221224576 3221222976 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15314 9585 301 301 0 15013 0
vsize: 61256
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12850 0 0 0 84884 125 0 0 25 0 1 0 970068364 62881792 9614 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15352 9614 301 301 0 15051 0
vsize: 61408
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 12882 0 0 0 85883 126 0 0 25 0 1 0 970068364 62881792 9646 4294967295 134512640 135730672 3221224576 3221222880 134746481 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15352 9646 301 301 0 15051 0
vsize: 61408
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13229 0 0 0 86882 127 0 0 25 0 1 0 970068364 63975424 9956 4294967295 134512640 135730672 3221224576 3221222924 134740375 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15619 9956 301 301 0 15318 0
vsize: 62476
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13252 0 0 0 87881 128 0 0 25 0 1 0 970068364 63975424 9979 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15619 9979 301 301 0 15318 0
vsize: 62476
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13280 0 0 0 88880 130 0 0 25 0 1 0 970068364 64139264 10007 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10007 301 301 0 15358 0
vsize: 62636
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13295 0 0 0 89879 131 0 0 25 0 1 0 970068364 64139264 10022 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10022 301 301 0 15358 0
vsize: 62636
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13310 0 0 0 90878 131 0 0 25 0 1 0 970068364 64139264 10037 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10037 301 301 0 15358 0
vsize: 62636
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13325 0 0 0 91878 132 0 0 25 0 1 0 970068364 64139264 10052 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10052 301 301 0 15358 0
vsize: 62636
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13341 0 0 0 92878 132 0 0 25 0 1 0 970068364 64139264 10068 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10068 301 301 0 15358 0
vsize: 62636
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13356 0 0 0 93877 133 0 0 25 0 1 0 970068364 64139264 10083 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10083 301 301 0 15358 0
vsize: 62636
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13371 0 0 0 94877 133 0 0 25 0 1 0 970068364 64139264 10098 4294967295 134512640 135730672 3221224576 3221222880 134746474 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10098 301 301 0 15358 0
vsize: 62636
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13404 0 0 0 95876 134 0 0 25 0 1 0 970068364 64139264 10131 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15659 10131 301 301 0 15358 0
vsize: 62636
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13443 0 0 0 96875 135 0 0 25 0 1 0 970068364 64286720 10170 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15695 10170 301 301 0 15394 0
vsize: 62780
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13488 0 0 0 97875 136 0 0 25 0 1 0 970068364 64520192 10215 4294967295 134512640 135730672 3221224576 3221222880 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15752 10215 301 301 0 15451 0
vsize: 63008
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13549 0 0 0 98875 136 0 0 25 0 1 0 970068364 64753664 10276 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15809 10276 301 301 0 15508 0
vsize: 63236
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13586 0 0 0 99874 137 0 0 25 0 1 0 970068364 64888832 10313 4294967295 134512640 135730672 3221224576 3221222912 134740236 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15842 10313 301 301 0 15541 0
vsize: 63368
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13651 0 0 0 100873 138 0 0 25 0 1 0 970068364 65052672 10337 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15882 10337 301 301 0 15581 0
vsize: 63528
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13666 0 0 0 101872 139 0 0 25 0 1 0 970068364 65052672 10352 4294967295 134512640 135730672 3221224576 3221222864 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15882 10352 301 301 0 15581 0
vsize: 63528
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13734 0 0 0 102872 139 0 0 25 0 1 0 970068364 65232896 10375 4294967295 134512640 135730672 3221224576 3221222880 134746169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15926 10375 301 301 0 15625 0
vsize: 63704
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13750 0 0 0 103872 140 0 0 25 0 1 0 970068364 65232896 10391 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15926 10391 301 301 0 15625 0
vsize: 63704
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13767 0 0 0 104871 140 0 0 25 0 1 0 970068364 65232896 10408 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15926 10408 301 301 0 15625 0
vsize: 63704
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13784 0 0 0 105871 141 0 0 25 0 1 0 970068364 65232896 10425 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15926 10425 301 301 0 15625 0
vsize: 63704
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13837 0 0 0 106871 142 0 0 25 0 1 0 970068364 65232896 10478 4294967295 134512640 135730672 3221224576 3221222880 134746214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15926 10478 301 301 0 15625 0
vsize: 63704
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 13918 0 0 0 107870 143 0 0 25 0 1 0 970068364 65368064 10559 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15959 10559 301 301 0 15658 0
vsize: 63836
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14027 0 0 0 108869 144 0 0 25 0 1 0 970068364 65503232 10668 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15992 10668 301 301 0 15691 0
vsize: 63968
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14285 0 0 0 109867 145 0 0 25 0 1 0 970068364 66310144 10926 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16189 10926 301 301 0 15888 0
vsize: 64756
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14836 0 0 0 110866 147 0 0 25 0 1 0 970068364 68067328 11477 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11477 301 301 0 16317 0
vsize: 66472
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14856 0 0 0 111865 148 0 0 25 0 1 0 970068364 68067328 11497 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11497 301 301 0 16317 0
vsize: 66472
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14874 0 0 0 112865 149 0 0 25 0 1 0 970068364 68067328 11515 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11515 301 301 0 16317 0
vsize: 66472
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14891 0 0 0 113863 150 0 0 25 0 1 0 970068364 68067328 11532 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11532 301 301 0 16317 0
vsize: 66472
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14907 0 0 0 114863 151 0 0 25 0 1 0 970068364 68067328 11548 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11548 301 301 0 16317 0
vsize: 66472
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14923 0 0 0 115862 152 0 0 25 0 1 0 970068364 68067328 11564 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11564 301 301 0 16317 0
vsize: 66472
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14938 0 0 0 116862 152 0 0 25 0 1 0 970068364 68067328 11579 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11579 301 301 0 16317 0
vsize: 66472
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14952 0 0 0 117862 152 0 0 25 0 1 0 970068364 68067328 11593 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11593 301 301 0 16317 0
vsize: 66472
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14967 0 0 0 118861 153 0 0 25 0 1 0 970068364 68067328 11608 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11608 301 301 0 16317 0
vsize: 66472
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (pb2sat-v2) R 12939 7266 7265 0 -1 0 14981 0 0 0 119861 154 0 0 25 0 1 0 970068364 68067328 11622 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16618 11622 301 301 0 16317 0
vsize: 66472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.26 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12940
Raw data (stat): 12940 (pb2sat-v2) Z 12939 7266 7265 0 -1 12 14983 0 0 0 119881 156 0 0 25 0 1 0 970068364 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.26
CPU time (s): 1200.38
CPU user time (s): 1198.81
CPU system time (s): 1.56376
CPU usage (%): 100.01
Max. virtual memory (Kb): 66472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####