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/submitted/een/normalized-stein45.opb
MD5SUM	34647f6a75058de4a92f0ff94f3c9005
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.01484
Number of variables	45
Total number of constraints	331
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	45
Trace number 42304

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        735808 kB
Buffers:         34080 kB
Cached:         242960 kB
SwapCached:        944 kB
Active:          47916 kB
Inactive:       231192 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        735556 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13884 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:25:26 (client local time) WITH STATUS 10 IN 1200.34 SECONDS
stats: 25499 0 1200.34 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.162623 s]  setting bit 5 to 0

c Decision: 336/1661	Time: 4.52731/86400
c Decision: 336/1661	Time: 4.96824/86400
c Decision: 336/1661	Time: 5.43617/86400
c Decision: 336/1661	Time: 5.95909/86400
c Decision: 336/1661	Time: 6.52801/86400
c Decision: 336/1661	Time: 7.06693/86400
c Decision: 336/1661	Time: 7.64484/86400
c Decision: 336/1661	Time: 8.22175/86400
c Decision: 336/1661	Time: 8.77167/86400
c Decision: 336/1661	Time: 9.35258/86400
c Decision: 336/1661	Time: 10.0305/86400
c Decision: 336/1661	Time: 10.7284/86400
c Decision: 336/1661	Time: 11.3443/86400
c Decision: 336/1661	Time: 12.1012/86400
c Decision: 336/1661	Time: 12.833/86400
c Decision: 336/1661	Time: 13.6009/86400
c Decision: 336/1661	Time: 14.3618/86400
c Decision: 336/1661	Time: 15.1497/86400
c Decision: 336/1661	Time: 16.0436/86400
c Decision: 336/1661	Time: 16.9394/86400
c Decision: 336/1661	Time: 17.8233/86400
c Decision: 336/1661	Time: 18.6702/86400
c Decision: 336/1661	Time: 19.596/86400
c Decision: 336/1661	Time: 20.4159/86400
c Decision: 336/1661	Time: 21.4607/86400
c Decision: 336/1661	Time: 22.3776/86400
c Decision: 336/1661	Time: 23.3215/86400
c Decision: 336/1661	Time: 24.3273/86400
c Decision: 336/1661	Time: 25.4081/86400
c Decision: 336/1661	Time: 26.361/86400
c Decision: 336/1661	Time: 27.3528/86400
c Decision: 336/1661	Time: 28.4337/86400
c Decision: 336/1661	Time: 29.5925/86400
c Decision: 336/1661	Time: 30.5644/86400
c Decision: 336/1661	Time: 31.6652/86400
c Decision: 336/1661	Time: 32.738/86400
c Decision: 336/1661	Time: 33.7689/86400
c Decision: 336/1661	Time: 35.0307/86400
c Decision: 336/1661	Time: 36.2625/86400
c Decision: 336/1661	Time: 37.4743/86400
c Decision: 336/1661	Time: 38.8131/86400
c Decision: 336/1661	Time: 39.8639/86400
c Decision: 336/1661	Time: 41.0228/86400
c Decision: 336/1661	Time: 42.1476/86400
c Decision: 336/1661	Time: 43.6094/86400
c Decision: 336/1661	Time: 45.0701/86400
c Decision: 336/1661	Time: 46.4109/86400
c Decision: 336/1661	Time: 47.6518/86400
c Decision: 336/1661	Time: 48.8856/86400
c Decision: 336/1661	Time: 50.1044/86400
c Decision: 336/1661	Time: 51.6501/86400
c Decision: 336/1661	Time: 52.9749/86400
c Decision: 336/1661	Time: 54.3147/86400
c Decision: 336/1661	Time: 55.7075/86400
c Decision: 336/1661	Time: 57.0323/86400
c Decision: 336/1661	Time: 58.3931/86400
c Decision: 336/1661	Time: 59.8419/86400
c Decision: 336/1661	Time: 61.4937/86400
c Decision: 336/1661	Time: 62.8444/86400
c Decision: 336/1661	Time: 64.2132/86400
c Decision: 336/1661	Time: 65.617/86400
c Decision: 336/1661	Time: 66.9268/86400
c Decision: 336/1661	Time: 68.4966/86400
c Decision: 336/1661	Time: 70.0484/86400
c Decision: 336/1661	Time: 71.4301/86400
c Decision: 336/1661	Time: 72.9459/86400
c Decision: 336/1661	Time: 74.4277/86400
c Decision: 336/1661	Time: 75.8255/86400
c Decision: 336/1661	Time: 77.4272/86400
c Decision: 336/1661	Time: 79.005/86400
c Decision: 336/1661	Time: 80.6337/86400
c Decision: 336/1661	Time: 82.1655/86400
c Decision: 336/1661	Time: 83.6143/86400
c Decision: 336/1661	Time: 85.1241/86400
c Decision: 336/1661	Time: 87.0168/86400
c Decision: 336/1661	Time: 88.4346/86400
c Decision: 336/1661	Time: 90.0253/86400
c Decision: 336/1661	Time: 91.6641/86400
c Decision: 336/1661	Time: 93.0739/86400
c Decision: 336/1661	Time: 94.5826/86400
c Decision: 336/1661	Time: 96.2904/86400
c Decision: 336/1661	Time: 97.9091/86400
c Decision: 336/1661	Time: 99.5319/86400
c Decision: 336/1661	Time: 101.176/86400
c Decision: 336/1661	Time: 102.699/86400
c Decision: 336/1661	Time: 104.524/86400
c Decision: 336/1661	Time: 106.111/86400
c Decision: 336/1661	Time: 107.643/86400
c Decision: 336/1661	Time: 109.444/86400
c Decision: 336/1661	Time: 110.985/86400
c Decision: 336/1661	Time: 112.644/86400
c Decision: 336/1661	Time: 114.265/86400
c Decision: 336/1661	Time: 115.945/86400
c Decision: 336/1661	Time: 117.594/86400
c Decision: 336/1661	Time: 119.354/86400
c Decision: 336/1661	Time: 121.023/86400
c Decision: 336/1661	Time: 122.849/86400
c Decision: 336/1661	Time: 124.647/86400
c Decision: 336/1661	Time: 126.631/86400
c Decision: 336/1661	Time: 128.579/86400
c Decision: 336/1661	Time: 130.448/86400
c Decision: 336/1661	Time: 132.202/86400
c Decision: 336/1661	Time: 133.846/86400
c Decision: 336/1661	Time: 135.561/86400
c Decision: 336/1661	Time: 137.515/86400
c Decision: 336/1661	Time: 139.376/86400
c Decision: 336/1661	Time: 141.085/86400
c Decision: 336/1661	Time: 142.905/86400
c Decision: 336/1661	Time: 144.541/86400
c Decision: 336/1661	Time: 146.611/86400
c Decision: 336/1661	Time: 148.691/86400
c Decision: 336/1661	Time: 150.618/86400
c Decision: 336/1661	Time: 152.313/86400
c Decision: 336/1661	Time: 154.273/86400
c Decision: 336/1661	Time: 156.151/86400
c Decision: 336/1661	Time: 158.541/86400
c Decision: 336/1661	Time: 160.565/86400
c Decision: 336/1661	Time: 162.557/86400
c Decision: 336/1661	Time: 164.482/86400
c Decision: 336/1661	Time: 166.338/86400
c Decision: 336/1661	Time: 168.538/86400
c Decision: 336/1661	Time: 170.685/86400
c Decision: 336/1661	Time: 172.827/86400
c Decision: 336/1661	Time: 174.869/86400
c Decision: 336/1661	Time: 176.888/86400
c Decision: 336/1661	Time: 179.094/86400
c Decision: 336/1661	Time: 181.089/86400
c Decision: 336/1661	Time: 182.865/86400
c Decision: 336/1661	Time: 184.944/86400
c Decision: 336/1661	Time: 186.874/86400
c Decision: 336/1661	Time: 188.989/86400
c Decision: 336/1661	Time: 191.03/86400
c Decision: 336/1661	Time: 193.103/86400
c Decision: 336/1661	Time: 195.299/86400
c Decision: 336/1661	Time: 197.263/86400
c Decision: 336/1661	Time: 199.532/86400
c Decision: 336/1661	Time: 201.751/86400
c Decision: 336/1661	Time: 203.784/86400
c Decision: 336/1661	Time: 205.84/86400
c Decision: 336/1661	Time: 207.714/86400
c Decision: 336/1661	Time: 210.499/86400
c Decision: 336/1661	Time: 212.677/86400
c Decision: 336/1661	Time: 214.641/86400
c Decision: 336/1661	Time: 216.591/86400
c Decision: 336/1661	Time: 218.775/86400
c Decision: 570/1661	Time: 224.045/86400
c Decision: 570/1661	Time: 225.833/86400
c Decision: 570/1661	Time: 227.48/86400
c Decision: 570/1661	Time: 229.295/86400
c Decision: 570/1661	Time: 230.919/86400
c Decision: 570/1661	Time: 233.014/86400
c Decision: 570/1661	Time: 234.734/86400
c Decision: 570/1661	Time: 236.748/86400
c Decision: 570/1661	Time: 238.581/86400
c Decision: 570/1661	Time: 240.515/86400
c Decision: 570/1661	Time: 242.715/86400
c Decision: 606/1661	Time: 245.001/86400
c Decision: 606/1661	Time: 246.855/86400
c Decision: 606/1661	Time: 248.569/86400
c Decision: 606/1661	Time: 250.304/86400
c Decision: 634/1661	Time: 253.103/86400
c Decision: 634/1661	Time: 254.602/86400
c Decision: 634/1661	Time: 256.125/86400
c Decision: 634/1661	Time: 257.697/86400
c Decision: 634/1661	Time: 259.48/86400
c Decision: 634/1661	Time: 261.263/86400
c Decision: 689/1661	Time: 265.713/86400
c Decision: 689/1661	Time: 267.134/86400
c Decision: 689/1661	Time: 268.664/86400
c [startup+272.245 s]  setting bit 4 to 0

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

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

c got solution with objective value: 30
c [startup+276.103 s]  setting bit 1 to 1

c Decision: 297/1661	Time: 8.23975/86400
c Decision: 297/1661	Time: 9.16361/86400
c Decision: 297/1661	Time: 10.0295/86400
c Decision: 297/1661	Time: 11.0923/86400
c Decision: 297/1661	Time: 12.0862/86400
c Decision: 297/1661	Time: 13.143/86400
c Decision: 297/1661	Time: 14.1478/86400
c Decision: 297/1661	Time: 15.2887/86400
c Decision: 297/1661	Time: 16.4525/86400
c Decision: 297/1661	Time: 17.4763/86400
c Decision: 297/1661	Time: 18.8781/86400
c Decision: 297/1661	Time: 19.9/86400
c Decision: 297/1661	Time: 21.0188/86400
c Decision: 297/1661	Time: 22.1246/86400
c Decision: 297/1661	Time: 23.2845/86400
c Decision: 297/1661	Time: 24.3943/86400
c Decision: 297/1661	Time: 25.7451/86400
c Decision: 297/1661	Time: 27.1259/86400
c Decision: 297/1661	Time: 28.4527/86400
c Decision: 297/1661	Time: 29.6585/86400
c Decision: 297/1661	Time: 31.0983/86400
c Decision: 297/1661	Time: 32.3781/86400
c Decision: 297/1661	Time: 33.5389/86400
c Decision: 297/1661	Time: 34.8427/86400
c Decision: 297/1661	Time: 36.1225/86400
c Decision: 297/1661	Time: 37.7593/86400
c Decision: 297/1661	Time: 39.156/86400
c Decision: 297/1661	Time: 40.5208/86400
c Decision: 297/1661	Time: 41.9856/86400
c Decision: 297/1661	Time: 43.3634/86400
c Decision: 297/1661	Time: 44.9622/86400
c Decision: 297/1661	Time: 46.5279/86400
c Decision: 297/1661	Time: 47.9577/86400
c Decision: 297/1661	Time: 49.5105/86400
c Decision: 297/1661	Time: 51.1042/86400
c Decision: 297/1661	Time: 52.689/86400
c Decision: 297/1661	Time: 54.1218/86400
c Decision: 297/1661	Time: 55.5546/86400
c Decision: 297/1661	Time: 57.2023/86400
c Decision: 297/1661	Time: 58.7571/86400
c Decision: 297/1661	Time: 60.6238/86400
c Decision: 297/1661	Time: 61.9796/86400
c Decision: 297/1661	Time: 63.6503/86400
c Decision: 297/1661	Time: 65.4001/86400
c Decision: 297/1661	Time: 67.0288/86400
c Decision: 297/1661	Time: 69.2585/86400
c Decision: 297/1661	Time: 70.9182/86400
c Decision: 297/1661	Time: 72.639/86400
c Decision: 297/1661	Time: 74.2327/86400
c Decision: 297/1661	Time: 76.2234/86400
c Decision: 297/1661	Time: 77.9911/86400
c Decision: 297/1661	Time: 79.6749/86400
c Decision: 297/1661	Time: 81.7216/86400
c Decision: 297/1661	Time: 83.6363/86400
c Decision: 297/1661	Time: 85.533/86400
c Decision: 297/1661	Time: 87.5487/86400
c Decision: 297/1661	Time: 89.3624/86400
c Decision: 297/1661	Time: 91.1841/86400
c Decision: 297/1661	Time: 93.1818/86400
c Decision: 297/1661	Time: 95.0545/86400
c Decision: 297/1661	Time: 97.0033/86400
c Decision: 297/1661	Time: 98.997/86400
c Decision: 297/1661	Time: 100.926/86400
c Decision: 297/1661	Time: 102.925/86400
c Decision: 297/1661	Time: 104.652/86400
c Decision: 297/1661	Time: 106.542/86400
c Decision: 297/1661	Time: 108.628/86400
c Decision: 297/1661	Time: 110.469/86400
c Decision: 297/1661	Time: 112.606/86400
c Decision: 297/1661	Time: 114.76/86400
c Decision: 297/1661	Time: 116.976/86400
c Decision: 297/1661	Time: 118.988/86400
c Decision: 297/1661	Time: 121.24/86400
c Decision: 297/1661	Time: 123.121/86400
c Decision: 297/1661	Time: 125.082/86400
c Decision: 297/1661	Time: 127.283/86400
c Decision: 297/1661	Time: 129.513/86400
c Decision: 297/1661	Time: 131.237/86400
c Decision: 297/1661	Time: 133.507/86400
c Decision: 297/1661	Time: 135.589/86400
c Decision: 297/1661	Time: 137.716/86400
c Decision: 297/1661	Time: 139.796/86400
c Decision: 297/1661	Time: 141.859/86400
c Decision: 297/1661	Time: 143.905/86400
c Decision: 297/1661	Time: 146.118/86400
c Decision: 297/1661	Time: 148.357/86400
c Decision: 297/1661	Time: 150.573/86400
c Decision: 297/1661	Time: 152.81/86400
c Decision: 297/1661	Time: 155.152/86400
c Decision: 297/1661	Time: 157.367/86400
c Decision: 297/1661	Time: 159.775/86400
c Decision: 297/1661	Time: 161.91/86400
c Decision: 297/1661	Time: 164.067/86400
c Decision: 297/1661	Time: 166.218/86400
c Decision: 297/1661	Time: 168.708/86400
c Decision: 297/1661	Time: 171.479/86400
c Decision: 297/1661	Time: 173.431/86400
c Decision: 297/1661	Time: 175.883/86400
c Decision: 297/1661	Time: 178.076/86400
c Decision: 297/1661	Time: 180.285/86400
c Decision: 297/1661	Time: 182.767/86400
c Decision: 297/1661	Time: 185.042/86400
c Decision: 297/1661	Time: 187.395/86400
c Decision: 297/1661	Time: 189.692/86400
c Decision: 297/1661	Time: 191.726/86400
c Decision: 297/1661	Time: 194.273/86400
c Decision: 297/1661	Time: 197.169/86400
c Decision: 297/1661	Time: 199.726/86400
c Decision: 297/1661	Time: 201.981/86400
c Decision: 297/1661	Time: 204.884/86400
c Decision: 297/1661	Time: 207.495/86400
c Decision: 297/1661	Time: 209.927/86400
c Decision: 297/1661	Time: 212.024/86400
c Decision: 297/1661	Time: 214.591/86400
c Decision: 297/1661	Time: 217.592/86400
c Decision: 297/1661	Time: 220.412/86400
c Decision: 297/1661	Time: 222.349/86400
c Decision: 297/1661	Time: 224.744/86400
c Decision: 297/1661	Time: 227.29/86400
c Decision: 297/1661	Time: 229.713/86400
c Decision: 297/1661	Time: 232.106/86400
c Decision: 297/1661	Time: 234.581/86400
c Decision: 297/1661	Time: 236.868/86400
c Decision: 297/1661	Time: 239.545/86400
c Decision: 297/1661	Time: 242.191/86400
c Decision: 297/1661	Time: 244.912/86400
c Decision: 297/1661	Time: 247.281/86400
c Decision: 297/1661	Time: 249.779/86400
c Decision: 297/1661	Time: 252.4/86400
c Decision: 297/1661	Time: 254.999/86400
c Decision: 297/1661	Time: 257.781/86400
c Decision: 297/1661	Time: 260.62/86400
c Decision: 297/1661	Time: 263.186/86400
c Decision: 297/1661	Time: 265.558/86400
c Decision: 297/1661	Time: 268.023/86400
c Decision: 297/1661	Time: 270.993/86400
c Decision: 297/1661	Time: 273.601/86400
c Decision: 297/1661	Time: 275.84/86400
c Decision: 297/1661	Time: 278.146/86400
c Decision: 297/1661	Time: 280.556/86400
c Decision: 297/1661	Time: 283.331/86400
c Decision: 297/1661	Time: 285.761/86400
c Decision: 297/1661	Time: 288.445/86400
c Decision: 297/1661	Time: 290.63/86400
c Decision: 297/1661	Time: 293.348/86400
c Decision: 297/1661	Time: 296.276/86400
c Decision: 297/1661	Time: 298.726/86400
c Decision: 297/1661	Time: 301.363/86400
c Decision: 297/1661	Time: 304.021/86400
c Decision: 297/1661	Time: 306.65/86400
c Decision: 297/1661	Time: 309.428/86400
c Decision: 297/1661	Time: 311.93/86400
c Decision: 297/1661	Time: 314.755/86400
c Decision: 297/1661	Time: 317.783/86400
c Decision: 297/1661	Time: 320.431/86400
c Decision: 297/1661	Time: 323.195/86400
c Decision: 297/1661	Time: 325.75/86400
c Decision: 297/1661	Time: 328.909/86400
c Decision: 297/1661	Time: 331.503/86400
c Decision: 297/1661	Time: 333.869/86400
c Decision: 297/1661	Time: 336.739/86400
c Decision: 297/1661	Time: 339.372/86400
c Decision: 297/1661	Time: 341.947/86400
c Decision: 297/1661	Time: 345.129/86400
c Decision: 297/1661	Time: 347.968/86400
c Decision: 297/1661	Time: 350.816/86400
c Decision: 297/1661	Time: 353.708/86400
c Decision: 297/1661	Time: 356.396/86400
c Decision: 297/1661	Time: 359.038/86400
c Decision: 297/1661	Time: 361.905/86400
c Decision: 297/1661	Time: 365.066/86400
c Decision: 297/1661	Time: 368.01/86400
c Decision: 297/1661	Time: 370.816/86400
c Decision: 297/1661	Time: 373.53/86400
c Decision: 297/1661	Time: 376.204/86400
c Decision: 297/1661	Time: 379.252/86400
c Decision: 297/1661	Time: 381.833/86400
c Decision: 297/1661	Time: 384.786/86400
c Decision: 297/1661	Time: 387.649/86400
c Decision: 297/1661	Time: 390.49/86400
c Decision: 297/1661	Time: 393.969/86400
c Decision: 297/1661	Time: 396.94/86400
c Decision: 297/1661	Time: 400.043/86400
c Decision: 297/1661	Time: 402.748/86400
c Decision: 297/1661	Time: 405.594/86400
c Decision: 297/1661	Time: 408.779/86400
c Decision: 297/1661	Time: 411.497/86400
c Decision: 297/1661	Time: 414.288/86400
c Decision: 297/1661	Time: 417.011/86400
c Decision: 297/1661	Time: 419.682/86400
c Decision: 297/1661	Time: 422.493/86400
c Decision: 297/1661	Time: 425.252/86400
c Decision: 297/1661	Time: 428.233/86400
c Decision: 297/1661	Time: 430.895/86400
c Decision: 297/1661	Time: 433.72/86400
c Decision: 297/1661	Time: 437.067/86400
c Decision: 297/1661	Time: 440.201/86400
c Decision: 297/1661	Time: 443.218/86400
c Decision: 297/1661	Time: 445.833/86400
c Decision: 297/1661	Time: 448.57/86400
c Decision: 297/1661	Time: 451.848/86400
c Decision: 297/1661	Time: 454.518/86400
c Decision: 297/1661	Time: 457.148/86400
c Decision: 297/1661	Time: 459.506/86400
c Decision: 297/1661	Time: 462.089/86400
c Decision: 297/1661	Time: 465.231/86400
c Decision: 297/1661	Time: 468.061/86400
c Decision: 297/1661	Time: 471.073/86400
c Decision: 297/1661	Time: 473.691/86400
c Decision: 297/1661	Time: 476.51/86400
c Decision: 297/1661	Time: 479.96/86400
c Decision: 297/1661	Time: 482.661/86400
c Decision: 297/1661	Time: 485.443/86400
c Decision: 297/1661	Time: 488.29/86400
c Decision: 297/1661	Time: 490.944/86400
c Decision: 297/1661	Time: 494.487/86400
c Decision: 297/1661	Time: 497.62/86400
c Decision: 297/1661	Time: 500.352/86400
c Decision: 297/1661	Time: 503.124/86400
c Decision: 297/1661	Time: 505.656/86400
c Decision: 297/1661	Time: 508.499/86400
c Decision: 297/1661	Time: 511.17/86400
c Decision: 297/1661	Time: 513.781/86400
c Decision: 297/1661	Time: 516.294/86400
c Decision: 297/1661	Time: 518.919/86400
c Decision: 297/1661	Time: 522.098/86400
c Decision: 297/1661	Time: 524.818/86400
c Decision: 297/1661	Time: 527.697/86400
c Decision: 297/1661	Time: 530.977/86400
c Decision: 297/1661	Time: 533.443/86400
c Decision: 297/1661	Time: 536.593/86400
c Decision: 297/1661	Time: 540.379/86400
c Decision: 297/1661	Time: 543.395/86400
c Decision: 297/1661	Time: 546.365/86400
c Decision: 297/1661	Time: 549.499/86400
c Decision: 297/1661	Time: 552.377/86400
c Decision: 297/1661	Time: 555.325/86400
c Decision: 297/1661	Time: 558.722/86400
c Decision: 297/1661	Time: 561.354/86400
c Decision: 297/1661	Time: 564.568/86400
c Decision: 297/1661	Time: 567.805/86400
c Decision: 297/1661	Time: 570.94/86400
c Decision: 297/1661	Time: 573.961/86400
c Decision: 297/1661	Time: 577.11/86400
c Decision: 297/1661	Time: 579.963/86400
c Decision: 297/1661	Time: 583.702/86400
c Decision: 297/1661	Time: 586.743/86400
c Decision: 297/1661	Time: 589.855/86400
c Decision: 297/1661	Time: 592.965/86400
c Decision: 297/1661	Time: 595.841/86400
c Decision: 297/1661	Time: 599.247/86400
c Decision: 297/1661	Time: 602.115/86400
c Decision: 297/1661	Time: 604.848/86400
c Decision: 297/1661	Time: 607.696/86400
c Decision: 297/1661	Time: 610.779/86400
c Decision: 297/1661	Time: 614.427/86400
c Decision: 297/1661	Time: 617.491/86400
c Decision: 297/1661	Time: 621.143/86400
c Decision: 297/1661	Time: 623.92/86400
c Decision: 297/1661	Time: 626.933/86400
c Decision: 297/1661	Time: 630.444/86400
c Decision: 297/1661	Time: 633.412/86400
c Decision: 297/1661	Time: 636.292/86400
c Decision: 297/1661	Time: 639.377/86400
c Decision: 297/1661	Time: 642.276/86400
c Decision: 297/1661	Time: 645.519/86400
c Decision: 297/1661	Time: 648.334/86400
c Decision: 297/1661	Time: 651.602/86400
c Decision: 297/1661	Time: 654.377/86400
c Decision: 297/1661	Time: 657.415/86400
c Decision: 297/1661	Time: 661.011/86400
c Decision: 297/1661	Time: 663.511/86400
c Decision: 297/1661	Time: 666.429/86400
c Decision: 297/1661	Time: 669.764/86400
c Decision: 297/1661	Time: 672.845/86400
c Decision: 297/1661	Time: 676.549/86400
c Decision: 297/1661	Time: 679.609/86400
c Decision: 297/1661	Time: 682.599/86400
c Decision: 297/1661	Time: 685.83/86400
c Decision: 297/1661	Time: 689.059/86400
c Decision: 297/1661	Time: 692.541/86400
c Decision: 297/1661	Time: 695.937/86400
c Decision: 297/1661	Time: 699.148/86400
c Decision: 297/1661	Time: 702.029/86400
c Decision: 297/1661	Time: 705.064/86400
c Decision: 297/1661	Time: 708.912/86400
c Decision: 297/1661	Time: 711.915/86400
c Decision: 297/1661	Time: 715.253/86400
c Decision: 297/1661	Time: 718.726/86400
c Decision: 297/1661	Time: 722.116/86400
c Decision: 297/1661	Time: 725.732/86400
c Decision: 297/1661	Time: 729.039/86400
c Decision: 297/1661	Time: 732.256/86400
c Decision: 297/1661	Time: 735.539/86400
c Decision: 297/1661	Time: 738.575/86400
c Decision: 297/1661	Time: 742.285/86400
c Decision: 297/1661	Time: 745.495/86400
c Decision: 515/1661	Time: 751.063/86400
c Decision: 515/1661	Time: 754.211/86400
c Decision: 515/1661	Time: 757.102/86400
c Decision: 515/1661	Time: 759.912/86400
c Decision: 515/1661	Time: 762.998/86400
c Decision: 515/1661	Time: 766.048/86400
c Decision: 515/1661	Time: 769.405/86400
c Decision: 515/1661	Time: 772.576/86400
c Decision: 515/1661	Time: 776.432/86400
c Decision: 515/1661	Time: 779.464/86400
c Decision: 515/1661	Time: 782.622/86400
c Decision: 515/1661	Time: 785.846/86400
c Decision: 515/1661	Time: 788.989/86400
c Decision: 515/1661	Time: 792.719/86400
c Decision: 515/1661	Time: 795.854/86400
c Decision: 515/1661	Time: 799.095/86400
c Decision: 515/1661	Time: 802.687/86400
c Decision: 515/1661	Time: 805.518/86400
c Decision: 515/1661	Time: 808.958/86400
c Decision: 515/1661	Time: 811.994/86400
c Decision: 515/1661	Time: 814.779/86400
c Decision: 515/1661	Time: 818.067/86400
c Decision: 515/1661	Time: 821.096/86400
c Decision: 515/1661	Time: 824.958/86400
c Decision: 515/1661	Time: 828.509/86400
c Decision: 515/1661	Time: 831.736/86400
c Decision: 515/1661	Time: 835.067/86400
c Decision: 515/1661	Time: 838.602/86400
c Decision: 515/1661	Time: 842.385/86400
c Decision: 515/1661	Time: 845.443/86400
c Decision: 515/1661	Time: 848.356/86400
c Decision: 515/1661	Time: 851.445/86400
c Decision: 515/1661	Time: 855.313/86400
c Decision: 515/1661	Time: 858.802/86400
c Decision: 515/1661	Time: 862.068/86400
c Decision: 515/1661	Time: 865.468/86400
c Decision: 552/1661	Time: 870.799/86400
c Decision: 552/1661	Time: 873.514/86400
c Decision: 552/1661	Time: 876.641/86400
c Decision: 552/1661	Time: 879.641/86400
c Decision: 552/1661	Time: 882.572/86400
c Decision: 552/1661	Time: 885.744/86400
c Decision: 552/1661	Time: 888.453/86400
c Decision: 552/1661	Time: 891.742/86400
c Decision: 552/1661	Time: 894.574/86400
c Decision: 552/1661	Time: 897.922/86400
c Decision: 552/1661	Time: 901.402/86400
c Decision: 552/1661	Time: 904.528/86400
c Decision: 552/1661	Time: 908.243/86400
c Decision: 552/1661	Time: 911.4/86400
c Decision: 552/1661	Time: 914.573/86400
c Decision: 552/1661	Time: 917.727/86400
c Decision: 586/1661	Time: 921.14/86400s SATISFIABLE
v x0 x1 x10 x11 x12 x13 x14 x15 x16 x17 -x18 -x19 x2 -x20 x21 x22 -x23 x24 x25 x26 -x27 -x28 x29 -x3 -x30 -x31 x32 x33 x34 x35 x36 -x37 x38 -x39 x4 -x40 -x41 x42 x43 x44 x5 -x6 x7 -x8 x9 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.97 0.93 1/54 21162
Raw data (stat): 21162 (runsolver) R 21161 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968095906 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 21162
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 979 0 0 0 994 4 0 0 25 0 1 0 968095906 5332992 809 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1302 809 301 301 0 1001 0
vsize: 5208
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 1345 0 0 0 1991 7 0 0 25 0 1 0 968095906 5910528 1175 4294967295 134512640 135730672 3221224592 3221222992 134744441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1443 1175 301 301 0 1142 0
vsize: 5772
[startup+30.0023 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 1814 0 0 0 2987 11 0 0 25 0 1 0 968095906 9216000 1451 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2250 1451 301 301 0 1949 0
vsize: 9000
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 2042 0 0 0 3985 13 0 0 25 0 1 0 968095906 9654272 1679 4294967295 134512640 135730672 3221224592 3221222896 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2357 1679 301 301 0 2056 0
vsize: 9428
[startup+50.003 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 2289 0 0 0 4983 15 0 0 25 0 1 0 968095906 10153984 1926 4294967295 134512640 135730672 3221224592 3221223008 134748111 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2479 1926 301 301 0 2178 0
vsize: 9916
[startup+60.0028 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 2473 0 0 0 5980 18 0 0 25 0 1 0 968095906 10301440 2110 4294967295 134512640 135730672 3221224592 3221222896 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2515 2110 301 301 0 2214 0
vsize: 10060
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 2668 0 0 0 6978 20 0 0 25 0 1 0 968095906 14684160 2305 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3585 2305 301 301 0 3284 0
vsize: 14340
[startup+80.0047 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 2875 0 0 0 7975 24 0 0 25 0 1 0 968095906 15097856 2512 4294967295 134512640 135730672 3221224592 3221222880 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3686 2512 301 301 0 3385 0
vsize: 14744
[startup+90.0045 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 3411 0 0 0 8972 26 0 0 25 0 1 0 968095906 16834560 2663 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4110 2663 301 301 0 3809 0
vsize: 16440
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 3582 0 0 0 9969 29 0 0 25 0 1 0 968095906 17002496 2834 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4151 2834 301 301 0 3850 0
vsize: 16604
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 3731 0 0 0 10966 32 0 0 25 0 1 0 968095906 17248256 2983 4294967295 134512640 135730672 3221224592 3221223040 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4211 2983 301 301 0 3910 0
vsize: 16844
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 3918 0 0 0 11964 34 0 0 25 0 1 0 968095906 17502208 3170 4294967295 134512640 135730672 3221224592 3221222880 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4273 3170 301 301 0 3972 0
vsize: 17092
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 4121 0 0 0 12962 36 0 0 25 0 1 0 968095906 17948672 3373 4294967295 134512640 135730672 3221224592 3221222880 134747868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4382 3373 301 301 0 4081 0
vsize: 17528
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 4252 0 0 0 13960 38 0 0 25 0 1 0 968095906 18194432 3504 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4442 3504 301 301 0 4141 0
vsize: 17768
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 4405 0 0 0 14958 40 0 0 25 0 1 0 968095906 18329600 3657 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4475 3657 301 301 0 4174 0
vsize: 17900
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 4552 0 0 0 15957 41 0 0 25 0 1 0 968095906 18571264 3804 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4534 3804 301 301 0 4233 0
vsize: 18136
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 4697 0 0 0 16955 43 0 0 25 0 1 0 968095906 18825216 3949 4294967295 134512640 135730672 3221224592 3221222992 135284078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4596 3949 301 301 0 4295 0
vsize: 18384
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 4860 0 0 0 17954 44 0 0 25 0 1 0 968095906 27504640 4112 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6715 4112 301 301 0 6414 0
vsize: 26860
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 4970 0 0 0 18953 45 0 0 25 0 1 0 968095906 27504640 4222 4294967295 134512640 135730672 3221224592 3221222704 134732781 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6715 4222 301 301 0 6414 0
vsize: 26860
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 5081 0 0 0 19952 46 0 0 25 0 1 0 968095906 27504640 4333 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6715 4333 301 301 0 6414 0
vsize: 26860
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 5180 0 0 0 20951 47 0 0 25 0 1 0 968095906 27504640 4432 4294967295 134512640 135730672 3221224592 3221222880 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6715 4432 301 301 0 6414 0
vsize: 26860
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 5262 0 0 0 21950 48 0 0 25 0 1 0 968095906 27676672 4514 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6757 4514 301 301 0 6456 0
vsize: 27028
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 5549 0 0 0 22949 50 0 0 25 0 1 0 968095906 28487680 4801 4294967295 134512640 135730672 3221224592 3221222704 134732625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6955 4801 301 301 0 6654 0
vsize: 27820
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 5589 0 0 0 23948 51 0 0 25 0 1 0 968095906 28622848 4841 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6988 4841 301 301 0 6687 0
vsize: 27952
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 5685 0 0 0 24947 52 0 0 25 0 1 0 968095906 28893184 4937 4294967295 134512640 135730672 3221224592 3221222880 134747885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7054 4937 301 301 0 6753 0
vsize: 28216
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 5777 0 0 0 25947 52 0 0 25 0 1 0 968095906 29163520 5029 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7120 5029 301 301 0 6819 0
vsize: 28480
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 6679 0 0 0 26944 56 0 0 25 0 1 0 968095906 32837632 5162 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8017 5162 301 301 0 7716 0
vsize: 32068
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 6762 0 0 0 27942 57 0 0 25 0 1 0 968095906 33001472 5245 4294967295 134512640 135730672 3221224592 3221222988 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8057 5245 301 301 0 7756 0
vsize: 32228
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 6816 0 0 0 28940 60 0 0 25 0 1 0 968095906 33001472 5299 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8057 5299 301 301 0 7756 0
vsize: 32228
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 6863 0 0 0 29939 61 0 0 25 0 1 0 968095906 33001472 5346 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8057 5346 301 301 0 7756 0
vsize: 32228
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 6909 0 0 0 30939 61 0 0 25 0 1 0 968095906 33157120 5392 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8095 5392 301 301 0 7794 0
vsize: 32380
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 6945 0 0 0 31938 63 0 0 25 0 1 0 968095906 33157120 5428 4294967295 134512640 135730672 3221224592 3221222928 134740301 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8095 5428 301 301 0 7794 0
vsize: 32380
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 6994 0 0 0 32937 63 0 0 25 0 1 0 968095906 33341440 5477 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8140 5477 301 301 0 7839 0
vsize: 32560
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7019 0 0 0 33937 64 0 0 25 0 1 0 968095906 33341440 5502 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8140 5502 301 301 0 7839 0
vsize: 32560
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7055 0 0 0 34936 65 0 0 25 0 1 0 968095906 33341440 5538 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8140 5538 301 301 0 7839 0
vsize: 32560
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7096 0 0 0 35934 66 0 0 25 0 1 0 968095906 33476608 5579 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8173 5579 301 301 0 7872 0
vsize: 32692
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7128 0 0 0 36933 67 0 0 25 0 1 0 968095906 33476608 5611 4294967295 134512640 135730672 3221224592 3221222880 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8173 5611 301 301 0 7872 0
vsize: 32692
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7170 0 0 0 37933 68 0 0 25 0 1 0 968095906 33636352 5653 4294967295 134512640 135730672 3221224592 3221222880 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8212 5653 301 301 0 7911 0
vsize: 32848
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7207 0 0 0 38932 69 0 0 25 0 1 0 968095906 33636352 5690 4294967295 134512640 135730672 3221224592 3221222880 134747768 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8212 5690 301 301 0 7911 0
vsize: 32848
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7250 0 0 0 39931 70 0 0 25 0 1 0 968095906 33783808 5733 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8248 5733 301 301 0 7947 0
vsize: 32992
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7284 0 0 0 40930 71 0 0 25 0 1 0 968095906 33783808 5767 4294967295 134512640 135730672 3221224592 3221222880 134747874 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8248 5767 301 301 0 7947 0
vsize: 32992
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7337 0 0 0 41929 72 0 0 25 0 1 0 968095906 33984512 5820 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8297 5820 301 301 0 7996 0
vsize: 33188
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7362 0 0 0 42929 73 0 0 25 0 1 0 968095906 33984512 5845 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8297 5845 301 301 0 7996 0
vsize: 33188
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7433 0 0 0 43929 73 0 0 25 0 1 0 968095906 34353152 5916 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8387 5916 301 301 0 8086 0
vsize: 33548
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7574 0 0 0 44927 75 0 0 25 0 1 0 968095906 34516992 6057 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8427 6057 301 301 0 8126 0
vsize: 33708
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7772 0 0 0 45926 77 0 0 25 0 1 0 968095906 35033088 6255 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8553 6255 301 301 0 8252 0
vsize: 34212
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 7911 0 0 0 46925 77 0 0 25 0 1 0 968095906 35168256 6394 4294967295 134512640 135730672 3221224592 3221222896 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8586 6394 301 301 0 8285 0
vsize: 34344
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 8022 0 0 0 47925 78 0 0 25 0 1 0 968095906 35336192 6505 4294967295 134512640 135730672 3221224592 3221222880 134747939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8627 6505 301 301 0 8326 0
vsize: 34508
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 8114 0 0 0 48923 79 0 0 25 0 1 0 968095906 35336192 6597 4294967295 134512640 135730672 3221224592 3221222928 134740242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8627 6597 301 301 0 8326 0
vsize: 34508
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 8235 0 0 0 49922 80 0 0 25 0 1 0 968095906 35471360 6718 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8660 6718 301 301 0 8359 0
vsize: 34640
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 8395 0 0 0 50921 82 0 0 25 0 1 0 968095906 36085760 6878 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8810 6878 301 301 0 8509 0
vsize: 35240
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 8540 0 0 0 51920 83 0 0 25 0 1 0 968095906 36536320 7023 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8920 7023 301 301 0 8619 0
vsize: 35680
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 8642 0 0 0 52919 84 0 0 25 0 1 0 968095906 36802560 7125 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8985 7125 301 301 0 8684 0
vsize: 35940
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 8737 0 0 0 53918 85 0 0 25 0 1 0 968095906 37036032 7220 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9042 7220 301 301 0 8741 0
vsize: 36168
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 8829 0 0 0 54918 86 0 0 25 0 1 0 968095906 37036032 7312 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9042 7312 301 301 0 8741 0
vsize: 36168
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 8923 0 0 0 55917 87 0 0 25 0 1 0 968095906 37036032 7406 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9042 7406 301 301 0 8741 0
vsize: 36168
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 9024 0 0 0 56916 88 0 0 25 0 1 0 968095906 37167104 7474 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9074 7474 301 301 0 8773 0
vsize: 36296
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 9121 0 0 0 57916 88 0 0 25 0 1 0 968095906 37433344 7571 4294967295 134512640 135730672 3221224592 3221222896 134746221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9139 7571 301 301 0 8838 0
vsize: 36556
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 9263 0 0 0 58915 90 0 0 25 0 1 0 968095906 37863424 7672 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9244 7672 301 301 0 8943 0
vsize: 36976
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 9362 0 0 0 59913 91 0 0 25 0 1 0 968095906 37728256 7738 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9211 7738 301 301 0 8910 0
vsize: 36844
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 9442 0 0 0 60913 92 0 0 25 0 1 0 968095906 37728256 7818 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9211 7818 301 301 0 8910 0
vsize: 36844
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 9519 0 0 0 61912 93 0 0 25 0 1 0 968095906 37728256 7895 4294967295 134512640 135730672 3221224592 3221222880 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9211 7895 301 301 0 8910 0
vsize: 36844
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 11132 0 0 0 62908 97 0 0 25 0 1 0 968095906 44019712 7971 4294967295 134512640 135730672 3221224592 3221222880 134747845 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10747 7971 301 301 0 10446 0
vsize: 42988
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 11224 0 0 0 63908 97 0 0 25 0 1 0 968095906 44019712 8063 4294967295 134512640 135730672 3221224592 3221222880 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10747 8063 301 301 0 10446 0
vsize: 42988
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 11280 0 0 0 64907 98 0 0 25 0 1 0 968095906 44019712 8119 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10747 8119 301 301 0 10446 0
vsize: 42988
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 11387 0 0 0 65906 100 0 0 25 0 1 0 968095906 44277760 8226 4294967295 134512640 135730672 3221224592 3221222928 134740257 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10810 8226 301 301 0 10509 0
vsize: 43240
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 11510 0 0 0 66905 101 0 0 25 0 1 0 968095906 44417024 8314 4294967295 134512640 135730672 3221224592 3221223008 134783323 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10844 8314 301 301 0 10543 0
vsize: 43376
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 11636 0 0 0 67904 101 0 0 25 0 1 0 968095906 44838912 8440 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10947 8440 301 301 0 10646 0
vsize: 43788
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 11755 0 0 0 68903 102 0 0 25 0 1 0 968095906 45105152 8559 4294967295 134512640 135730672 3221224592 3221222896 134746523 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11012 8559 301 301 0 10711 0
vsize: 44048
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 11802 0 0 0 69903 103 0 0 25 0 1 0 968095906 45105152 8606 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11012 8606 301 301 0 10711 0
vsize: 44048
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 11893 0 0 0 70902 104 0 0 25 0 1 0 968095906 45105152 8697 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11012 8697 301 301 0 10711 0
vsize: 44048
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 11961 0 0 0 71901 105 0 0 25 0 1 0 968095906 45240320 8765 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11045 8765 301 301 0 10744 0
vsize: 44180
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 12020 0 0 0 72900 107 0 0 25 0 1 0 968095906 45240320 8824 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11045 8824 301 301 0 10744 0
vsize: 44180
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 12122 0 0 0 73900 107 0 0 25 0 1 0 968095906 45371392 8893 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11077 8893 301 301 0 10776 0
vsize: 44308
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 12166 0 0 0 74899 108 0 0 25 0 1 0 968095906 45371392 8937 4294967295 134512640 135730672 3221224592 3221222880 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11077 8937 301 301 0 10776 0
vsize: 44308
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 12240 0 0 0 75898 109 0 0 25 0 1 0 968095906 45535232 9011 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11117 9011 301 301 0 10816 0
vsize: 44468
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 12336 0 0 0 76897 111 0 0 25 0 1 0 968095906 62312448 9107 4294967295 134512640 135730672 3221224592 3221222896 134746526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15213 9107 301 301 0 14912 0
vsize: 60852
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 12472 0 0 0 77896 112 0 0 25 0 1 0 968095906 62709760 9210 4294967295 134512640 135730672 3221224592 3221222880 134747851 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15310 9210 301 301 0 15009 0
vsize: 61240
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 12544 0 0 0 78895 113 0 0 25 0 1 0 968095906 62709760 9282 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15310 9282 301 301 0 15009 0
vsize: 61240
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 12714 0 0 0 79894 113 0 0 25 0 1 0 968095906 63037440 9370 4294967295 134512640 135730672 3221224592 3221223008 134748079 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15390 9370 301 301 0 15089 0
vsize: 61560
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 12855 0 0 0 80893 115 0 0 25 0 1 0 968095906 63234048 9462 4294967295 134512640 135730672 3221224592 3221222880 134747768 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15438 9462 301 301 0 15137 0
vsize: 61752
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 12982 0 0 0 81892 116 0 0 25 0 1 0 968095906 63434752 9589 4294967295 134512640 135730672 3221224592 3221222880 134747834 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15487 9589 301 301 0 15186 0
vsize: 61948
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13058 0 0 0 82892 117 0 0 25 0 1 0 968095906 63434752 9665 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15487 9665 301 301 0 15186 0
vsize: 61948
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13137 0 0 0 83891 118 0 0 25 0 1 0 968095906 63434752 9744 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15487 9744 301 301 0 15186 0
vsize: 61948
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13199 0 0 0 84890 119 0 0 25 0 1 0 968095906 63434752 9806 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15487 9806 301 301 0 15186 0
vsize: 61948
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13350 0 0 0 85889 120 0 0 25 0 1 0 968095906 63700992 9957 4294967295 134512640 135730672 3221224592 3221222880 134747862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15552 9957 301 301 0 15251 0
vsize: 62208
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13416 0 0 0 86889 120 0 0 25 0 1 0 968095906 63700992 10023 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15552 10023 301 301 0 15251 0
vsize: 62208
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13472 0 0 0 87888 121 0 0 25 0 1 0 968095906 63700992 10079 4294967295 134512640 135730672 3221224592 3221222928 134740323 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15552 10079 301 301 0 15251 0
vsize: 62208
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13559 0 0 0 88887 122 0 0 25 0 1 0 968095906 63700992 10166 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15552 10166 301 301 0 15251 0
vsize: 62208
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13716 0 0 0 89886 123 0 0 25 0 1 0 968095906 64311296 10323 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15701 10323 301 301 0 15400 0
vsize: 62804
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13774 0 0 0 90885 124 0 0 25 0 1 0 968095906 64311296 10381 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15701 10381 301 301 0 15400 0
vsize: 62804
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13854 0 0 0 91884 125 0 0 25 0 1 0 968095906 64311296 10461 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15701 10461 301 301 0 15400 0
vsize: 62804
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13907 0 0 0 92883 126 0 0 25 0 1 0 968095906 64311296 10514 4294967295 134512640 135730672 3221224592 3221222896 134746399 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15701 10514 301 301 0 15400 0
vsize: 62804
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 13974 0 0 0 93883 127 0 0 25 0 1 0 968095906 64311296 10581 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15701 10581 301 301 0 15400 0
vsize: 62804
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14103 0 0 0 94881 129 0 0 25 0 1 0 968095906 64475136 10669 4294967295 134512640 135730672 3221224592 3221222880 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15741 10669 301 301 0 15440 0
vsize: 62964
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14165 0 0 0 95881 129 0 0 25 0 1 0 968095906 64475136 10731 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15741 10731 301 301 0 15440 0
vsize: 62964
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14239 0 0 0 96880 130 0 0 25 0 1 0 968095906 64475136 10805 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15741 10805 301 301 0 15440 0
vsize: 62964
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14301 0 0 0 97879 131 0 0 25 0 1 0 968095906 64475136 10867 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15741 10867 301 301 0 15440 0
vsize: 62964
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14350 0 0 0 98879 132 0 0 25 0 1 0 968095906 64475136 10916 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15741 10916 301 301 0 15440 0
vsize: 62964
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14478 0 0 0 99878 132 0 0 25 0 1 0 968095906 64827392 11044 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15827 11044 301 301 0 15526 0
vsize: 63308
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14543 0 0 0 100877 133 0 0 25 0 1 0 968095906 64827392 11109 4294967295 134512640 135730672 3221224592 3221222704 134732484 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15827 11109 301 301 0 15526 0
vsize: 63308
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14637 0 0 0 101876 134 0 0 25 0 1 0 968095906 64995328 11203 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15868 11203 301 301 0 15567 0
vsize: 63472
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14896 0 0 0 102875 136 0 0 25 0 1 0 968095906 65806336 11462 4294967295 134512640 135730672 3221224592 3221222896 134746523 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16066 11462 301 301 0 15765 0
vsize: 64264
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14963 0 0 0 103874 137 0 0 25 0 1 0 968095906 65806336 11529 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16066 11529 301 301 0 15765 0
vsize: 64264
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 14987 0 0 0 104874 137 0 0 25 0 1 0 968095906 65806336 11553 4294967295 134512640 135730672 3221224592 3221222880 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16066 11553 301 301 0 15765 0
vsize: 64264
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15007 0 0 0 105873 138 0 0 25 0 1 0 968095906 65806336 11573 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16066 11573 301 301 0 15765 0
vsize: 64264
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15020 0 0 0 106872 139 0 0 25 0 1 0 968095906 65806336 11586 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16066 11586 301 301 0 15765 0
vsize: 64264
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15053 0 0 0 107872 139 0 0 25 0 1 0 968095906 65986560 11619 4294967295 134512640 135730672 3221224592 3221222704 134732861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16110 11619 301 301 0 15809 0
vsize: 64440
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15067 0 0 0 108872 140 0 0 25 0 1 0 968095906 65986560 11633 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16110 11633 301 301 0 15809 0
vsize: 64440
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15080 0 0 0 109871 140 0 0 25 0 1 0 968095906 65986560 11646 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16110 11646 301 301 0 15809 0
vsize: 64440
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15092 0 0 0 110871 141 0 0 25 0 1 0 968095906 65986560 11658 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16110 11658 301 301 0 15809 0
vsize: 64440
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15107 0 0 0 111871 141 0 0 25 0 1 0 968095906 65986560 11673 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16110 11673 301 301 0 15809 0
vsize: 64440
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15123 0 0 0 112871 142 0 0 25 0 1 0 968095906 65986560 11689 4294967295 134512640 135730672 3221224592 3221222880 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16110 11689 301 301 0 15809 0
vsize: 64440
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15135 0 0 0 113870 142 0 0 25 0 1 0 968095906 65986560 11701 4294967295 134512640 135730672 3221224592 3221222880 134747845 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16110 11701 301 301 0 15809 0
vsize: 64440
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15396 0 0 0 114869 144 0 0 25 0 1 0 968095906 66981888 11962 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16353 11962 301 301 0 16052 0
vsize: 65412
[startup+1160.04 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15411 0 0 0 115868 145 0 0 25 0 1 0 968095906 67100672 11977 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16382 11977 301 301 0 16081 0
vsize: 65528
[startup+1170.04 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15425 0 0 0 116868 145 0 0 25 0 1 0 968095906 67100672 11991 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16382 11991 301 301 0 16081 0
vsize: 65528
[startup+1180.04 s]
Raw data (loadavg): 1.13 1.00 0.94 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15440 0 0 0 117868 145 0 0 25 0 1 0 968095906 67100672 12006 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16382 12006 301 301 0 16081 0
vsize: 65528
[startup+1190.04 s]
Raw data (loadavg): 1.11 1.00 0.94 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15454 0 0 0 118868 146 0 0 25 0 1 0 968095906 67100672 12020 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16382 12020 301 301 0 16081 0
vsize: 65528
[startup+1200.04 s]
Raw data (loadavg): 1.09 1.00 0.94 2/54 21164
Raw data (stat): 21162 (pb2sat-v2) R 21161 21152 21151 0 -1 0 15671 0 0 0 119867 147 0 0 25 0 1 0 968095906 67911680 12237 4294967295 134512640 135730672 3221224592 3221223008 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16580 12237 301 301 0 16279 0
vsize: 66320
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.09 1.00 0.94 1/54 21164
Raw data (stat): 21162 (pb2sat-v2) Z 21161 21152 21151 0 -1 12 15673 0 0 0 119884 149 0 0 25 0 1 0 968095906 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.23
CPU time (s): 1200.34
CPU user time (s): 1198.85
CPU system time (s): 1.49477
CPU usage (%): 100.009
Max. virtual memory (Kb): 66320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####