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/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUM	b552ff39062b6c42ea64365c815cbd78
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2650
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	2650
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2650
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2650
Total number of constraints	6619
Number of constraints which are clauses	6619
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 42089

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        826480 kB
Buffers:         33852 kB
Cached:         150460 kB
SwapCached:       1192 kB
Active:          76920 kB
Inactive:       109756 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        826228 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15672 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:08:11 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 25305 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 14/2662	Time: 2.32465/86400
c Decision: 14/2662	Time: 3.34149/86400
c Decision: 14/2662	Time: 4.36534/86400
c Decision: 14/2662	Time: 5.36918/86400
c Decision: 14/2662	Time: 6.20706/86400
c Decision: 14/2662	Time: 7.27589/86400
c Decision: 14/2662	Time: 8.12177/86400
c Decision: 14/2662	Time: 9.04162/86400
c Decision: 14/2662	Time: 10.0495/86400
c Decision: 14/2662	Time: 11.1503/86400
c Decision: 14/2662	Time: 12.1841/86400
c Decision: 14/2662	Time: 13.137/86400
c Decision: 14/2662	Time: 13.9539/86400
c Decision: 14/2662	Time: 14.8277/86400
c Decision: 14/2662	Time: 15.6816/86400
c Decision: 14/2662	Time: 16.6955/86400
c Decision: 14/2662	Time: 17.7393/86400
c Decision: 14/2662	Time: 18.5932/86400
c Decision: 14/2662	Time: 19.588/86400
c Decision: 14/2662	Time: 20.6699/86400
c Decision: 14/2662	Time: 21.8697/86400
c Decision: 14/2662	Time: 22.9565/86400
c Decision: 14/2662	Time: 23.8664/86400
c Decision: 14/2662	Time: 24.8422/86400
c Decision: 14/2662	Time: 25.7291/86400
c Decision: 14/2662	Time: 26.9059/86400
c Decision: 14/2662	Time: 28.0437/86400
c Decision: 14/2662	Time: 29.0516/86400
c Decision: 14/2662	Time: 30.3094/86400
c Decision: 14/2662	Time: 31.6402/86400
c Decision: 14/2662	Time: 32.881/86400
c Decision: 14/2662	Time: 33.8878/86400
c Decision: 14/2662	Time: 35.1327/86400
c Decision: 14/2662	Time: 36.2465/86400
c Decision: 14/2662	Time: 37.5013/86400
c Decision: 14/2662	Time: 38.6821/86400
c Decision: 14/2662	Time: 39.8449/86400
c Decision: 14/2662	Time: 41.0268/86400
c Decision: 14/2662	Time: 42.0836/86400
c Decision: 14/2662	Time: 43.3904/86400
c Decision: 14/2662	Time: 44.4742/86400
c Decision: 14/2662	Time: 45.7051/86400
c Decision: 14/2662	Time: 46.9089/86400
c Decision: 14/2662	Time: 48.1587/86400
c Decision: 14/2662	Time: 49.1695/86400
c Decision: 14/2662	Time: 50.1664/86400
c Decision: 14/2662	Time: 51.3682/86400
c Decision: 14/2662	Time: 52.2571/86400
c Decision: 14/2662	Time: 53.5009/86400
c Decision: 14/2662	Time: 54.7397/86400
c Decision: 14/2662	Time: 56.2494/86400
c Decision: 14/2662	Time: 57.2913/86400
c Decision: 14/2662	Time: 58.5311/86400
c Decision: 14/2662	Time: 59.8429/86400
c Decision: 14/2662	Time: 60.9807/86400
c Decision: 14/2662	Time: 62.3505/86400
c Decision: 14/2662	Time: 63.5263/86400
c Decision: 14/2662	Time: 64.7632/86400
c Decision: 14/2662	Time: 66.1269/86400
c Decision: 14/2662	Time: 67.3938/86400
c Decision: 14/2662	Time: 68.7995/86400
c Decision: 14/2662	Time: 70.1353/86400
c Decision: 14/2662	Time: 71.6281/86400
c Decision: 14/2662	Time: 73.1139/86400
c Decision: 14/2662	Time: 74.4687/86400
c Decision: 14/2662	Time: 76.3124/86400
c Decision: 14/2662	Time: 77.7992/86400
c Decision: 14/2662	Time: 79.007/86400
c Decision: 14/2662	Time: 80.5708/86400
c Decision: 14/2662	Time: 81.8536/86400
c Decision: 14/2662	Time: 83.5173/86400
c Decision: 14/2662	Time: 84.9951/86400
c Decision: 14/2662	Time: 86.3579/86400
c Decision: 14/2662	Time: 87.9486/86400
c Decision: 14/2662	Time: 89.2134/86400
c Decision: 14/2662	Time: 90.6112/86400
c Decision: 14/2662	Time: 92.047/86400
c Decision: 14/2662	Time: 93.4698/86400
c Decision: 14/2662	Time: 94.8786/86400
c Decision: 14/2662	Time: 96.3264/86400
c Decision: 14/2662	Time: 98.0381/86400
c Decision: 14/2662	Time: 99.3749/86400
c Decision: 14/2662	Time: 101.028/86400
c Decision: 14/2662	Time: 102.506/86400
c Decision: 14/2662	Time: 103.686/86400
c Decision: 14/2662	Time: 105.542/86400
c Decision: 14/2662	Time: 107.076/86400
c Decision: 14/2662	Time: 108.507/86400
c Decision: 14/2662	Time: 110.039/86400
c Decision: 14/2662	Time: 111.365/86400
c Decision: 14/2662	Time: 112.884/86400
c Decision: 14/2662	Time: 114.608/86400
c Decision: 14/2662	Time: 116.523/86400
c Decision: 14/2662	Time: 118.125/86400
c Decision: 14/2662	Time: 119.716/86400
c Decision: 14/2662	Time: 121.366/86400
c Decision: 14/2662	Time: 122.58/86400
c Decision: 14/2662	Time: 124.197/86400
c Decision: 14/2662	Time: 125.872/86400
c Decision: 14/2662	Time: 127.64/86400
c Decision: 14/2662	Time: 129.581/86400
c Decision: 14/2662	Time: 131.157/86400
c Decision: 14/2662	Time: 132.992/86400
c Decision: 14/2662	Time: 134.714/86400
c Decision: 14/2662	Time: 136.521/86400
c Decision: 14/2662	Time: 138.258/86400
c Decision: 14/2662	Time: 139.867/86400
c Decision: 14/2662	Time: 141.804/86400
c Decision: 14/2662	Time: 143.674/86400
c Decision: 14/2662	Time: 145.306/86400
c Decision: 14/2662	Time: 147.529/86400
c Decision: 14/2662	Time: 149.206/86400
c Decision: 14/2662	Time: 151.034/86400
c Decision: 14/2662	Time: 152.509/86400
c Decision: 14/2662	Time: 154.186/86400
c Decision: 14/2662	Time: 156.246/86400
c Decision: 14/2662	Time: 157.983/86400
c Decision: 14/2662	Time: 159.579/86400
c Decision: 14/2662	Time: 161.454/86400
c Decision: 14/2662	Time: 163.26/86400
c Decision: 14/2662	Time: 165.216/86400
c Decision: 14/2662	Time: 166.919/86400
c Decision: 14/2662	Time: 168.668/86400
c Decision: 14/2662	Time: 170.333/86400
c Decision: 14/2662	Time: 172.167/86400
c Decision: 14/2662	Time: 174.267/86400
c Decision: 14/2662	Time: 176.133/86400
c Decision: 14/2662	Time: 178.037/86400
c Decision: 14/2662	Time: 179.631/86400
c Decision: 14/2662	Time: 181.599/86400
c Decision: 14/2662	Time: 183.846/86400
c Decision: 14/2662	Time: 185.559/86400
c Decision: 14/2662	Time: 187.431/86400
c Decision: 14/2662	Time: 189.25/86400
c Decision: 14/2662	Time: 191.261/86400
c Decision: 14/2662	Time: 193.083/86400
c Decision: 14/2662	Time: 194.733/86400
c Decision: 14/2662	Time: 196.498/86400
c Decision: 14/2662	Time: 198.368/86400
c Decision: 14/2662	Time: 200.411/86400
c Decision: 14/2662	Time: 202.496/86400
c Decision: 14/2662	Time: 204.387/86400
c Decision: 14/2662	Time: 206.475/86400
c Decision: 14/2662	Time: 208.566/86400
c Decision: 14/2662	Time: 210.588/86400
c Decision: 14/2662	Time: 212.925/86400
c Decision: 14/2662	Time: 214.912/86400
c Decision: 14/2662	Time: 216.808/86400
c Decision: 14/2662	Time: 218.709/86400
c Decision: 14/2662	Time: 220.584/86400
c Decision: 14/2662	Time: 223.097/86400
c Decision: 14/2662	Time: 225.342/86400
c Decision: 14/2662	Time: 227.405/86400
c Decision: 14/2662	Time: 229.547/86400
c Decision: 14/2662	Time: 231.887/86400
c Decision: 14/2662	Time: 234.08/86400
c Decision: 14/2662	Time: 236.171/86400
c Decision: 14/2662	Time: 238.035/86400
c Decision: 14/2662	Time: 240.157/86400
c Decision: 14/2662	Time: 242.477/86400
c Decision: 14/2662	Time: 245.002/86400
c Decision: 14/2662	Time: 246.84/86400
c Decision: 14/2662	Time: 248.953/86400
c Decision: 14/2662	Time: 251.196/86400
c Decision: 14/2662	Time: 253.007/86400
c Decision: 14/2662	Time: 255.379/86400
c Decision: 14/2662	Time: 257.267/86400
c Decision: 14/2662	Time: 259.504/86400
c Decision: 14/2662	Time: 261.578/86400
c Decision: 14/2662	Time: 263.748/86400
c Decision: 14/2662	Time: 266.105/86400
c Decision: 14/2662	Time: 268.309/86400
c Decision: 14/2662	Time: 270.237/86400
c Decision: 14/2662	Time: 272.393/86400
c Decision: 14/2662	Time: 274.697/86400
c Decision: 14/2662	Time: 277.343/86400
c Decision: 14/2662	Time: 279.547/86400
c Decision: 14/2662	Time: 281.559/86400
c Decision: 14/2662	Time: 283.71/86400
c Decision: 14/2662	Time: 285.914/86400
c Decision: 14/2662	Time: 288.541/86400
c Decision: 14/2662	Time: 290.486/86400
c Decision: 14/2662	Time: 292.515/86400
c Decision: 14/2662	Time: 294.87/86400
c Decision: 14/2662	Time: 296.691/86400
c Decision: 14/2662	Time: 298.48/86400
c Decision: 14/2662	Time: 300.745/86400
c Decision: 14/2662	Time: 302.686/86400
c Decision: 14/2662	Time: 304.625/86400
c Decision: 14/2662	Time: 306.821/86400
c Decision: 14/2662	Time: 309.032/86400
c Decision: 14/2662	Time: 311.07/86400
c Decision: 14/2662	Time: 313.323/86400
c Decision: 14/2662	Time: 315.405/86400
c Decision: 14/2662	Time: 317.554/86400
c Decision: 14/2662	Time: 319.792/86400
c Decision: 14/2662	Time: 321.887/86400
c Decision: 14/2662	Time: 323.911/86400
c Decision: 14/2662	Time: 325.956/86400
c Decision: 14/2662	Time: 327.912/86400
c Decision: 14/2662	Time: 329.983/86400
c Decision: 14/2662	Time: 332.142/86400
c Decision: 14/2662	Time: 334.288/86400
c Decision: 14/2662	Time: 336.209/86400
c Decision: 14/2662	Time: 338.434/86400
c Decision: 14/2662	Time: 340.466/86400
c Decision: 14/2662	Time: 342.449/86400
c Decision: 14/2662	Time: 344.47/86400
c Decision: 14/2662	Time: 346.508/86400
c Decision: 14/2662	Time: 348.586/86400
c Decision: 14/2662	Time: 350.894/86400
c Decision: 14/2662	Time: 352.944/86400
c Decision: 14/2662	Time: 355.078/86400
c Decision: 14/2662	Time: 357.134/86400
c Decision: 14/2662	Time: 359.302/86400
c Decision: 14/2662	Time: 361.87/86400
c Decision: 14/2662	Time: 364.001/86400
c Decision: 14/2662	Time: 366.279/86400
c Decision: 14/2662	Time: 368.326/86400
c Decision: 14/2662	Time: 370.544/86400
c Decision: 14/2662	Time: 373.041/86400
c Decision: 14/2662	Time: 374.924/86400
c Decision: 14/2662	Time: 376.793/86400
c Decision: 14/2662	Time: 378.97/86400
c Decision: 14/2662	Time: 381.313/86400
c Decision: 14/2662	Time: 383.647/86400
c Decision: 14/2662	Time: 385.824/86400
c Decision: 14/2662	Time: 388.014/86400
c Decision: 14/2662	Time: 389.946/86400
c Decision: 14/2662	Time: 392.428/86400
c Decision: 14/2662	Time: 395.02/86400
c Decision: 14/2662	Time: 397.342/86400
c Decision: 14/2662	Time: 399.612/86400
c Decision: 14/2662	Time: 402.061/86400
c Decision: 14/2662	Time: 404.666/86400
c Decision: 14/2662	Time: 407.027/86400
c Decision: 14/2662	Time: 409.274/86400
c Decision: 14/2662	Time: 411.72/86400
c Decision: 14/2662	Time: 413.829/86400
c Decision: 14/2662	Time: 416.119/86400
c Decision: 14/2662	Time: 418.671/86400
c Decision: 14/2662	Time: 421.043/86400
c Decision: 14/2662	Time: 423.286/86400
c Decision: 14/2662	Time: 425.759/86400
c Decision: 14/2662	Time: 428.239/86400
c Decision: 14/2662	Time: 430.876/86400
c Decision: 14/2662	Time: 433.112/86400
c Decision: 14/2662	Time: 435.547/86400
c Decision: 14/2662	Time: 438.161/86400
c Decision: 14/2662	Time: 440.368/86400
c Decision: 14/2662	Time: 443.099/86400
c Decision: 14/2662	Time: 445.492/86400
c Decision: 14/2662	Time: 447.561/86400
c Decision: 14/2662	Time: 449.688/86400
c Decision: 14/2662	Time: 452.151/86400
c Decision: 14/2662	Time: 454.777/86400
c Decision: 14/2662	Time: 456.981/86400
c Decision: 14/2662	Time: 459.488/86400
c Decision: 14/2662	Time: 461.706/86400
c Decision: 14/2662	Time: 463.605/86400
c Decision: 14/2662	Time: 466.213/86400
c Decision: 14/2662	Time: 468.56/86400
c Decision: 14/2662	Time: 470.864/86400
c Decision: 14/2662	Time: 473.22/86400
c Decision: 14/2662	Time: 475.75/86400
c Decision: 14/2662	Time: 478.206/86400
c Decision: 14/2662	Time: 480.362/86400
c Decision: 14/2662	Time: 482.447/86400
c Decision: 14/2662	Time: 484.499/86400
c Decision: 14/2662	Time: 487.001/86400
c Decision: 14/2662	Time: 489.782/86400
c Decision: 14/2662	Time: 492.248/86400
c Decision: 14/2662	Time: 494.546/86400
c Decision: 14/2662	Time: 496.784/86400
c Decision: 14/2662	Time: 499.028/86400
c Decision: 14/2662	Time: 501.591/86400
c Decision: 14/2662	Time: 503.908/86400
c Decision: 14/2662	Time: 506.314/86400
c Decision: 14/2662	Time: 508.871/86400
c Decision: 14/2662	Time: 511.366/86400
c Decision: 14/2662	Time: 514.067/86400
c Decision: 14/2662	Time: 516.255/86400
c Decision: 14/2662	Time: 518.716/86400
c Decision: 14/2662	Time: 520.989/86400
c Decision: 14/2662	Time: 523.506/86400
c Decision: 14/2662	Time: 526.269/86400
c Decision: 14/2662	Time: 528.716/86400
c Decision: 14/2662	Time: 531.235/86400
c Decision: 14/2662	Time: 533.883/86400
c Decision: 14/2662	Time: 536.138/86400
c Decision: 14/2662	Time: 538.934/86400
c Decision: 14/2662	Time: 541.38/86400
c Decision: 14/2662	Time: 543.868/86400
c Decision: 14/2662	Time: 546.488/86400
c Decision: 14/2662	Time: 549.069/86400
c Decision: 14/2662	Time: 552.208/86400
c Decision: 14/2662	Time: 554.623/86400
c Decision: 14/2662	Time: 557.245/86400
c Decision: 14/2662	Time: 560.027/86400
c Decision: 14/2662	Time: 562.514/86400
c Decision: 14/2662	Time: 565.394/86400
c Decision: 14/2662	Time: 567.791/86400
c Decision: 14/2662	Time: 570.2/86400
c Decision: 14/2662	Time: 572.732/86400
c Decision: 14/2662	Time: 575.397/86400
c Decision: 14/2662	Time: 578.328/86400
c Decision: 14/2662	Time: 580.855/86400
c Decision: 14/2662	Time: 583.282/86400
c Decision: 14/2662	Time: 586.292/86400
c Decision: 14/2662	Time: 588.936/86400
c Decision: 14/2662	Time: 591.549/86400
c Decision: 14/2662	Time: 594.161/86400
c Decision: 14/2662	Time: 596.82/86400
c Decision: 14/2662	Time: 599.506/86400
c Decision: 14/2662	Time: 601.864/86400
c Decision: 14/2662	Time: 604.716/86400
c Decision: 14/2662	Time: 606.88/86400
c Decision: 14/2662	Time: 609.186/86400
c Decision: 14/2662	Time: 611.809/86400
c Decision: 14/2662	Time: 614.158/86400
c Decision: 14/2662	Time: 616.962/86400
c Decision: 14/2662	Time: 619.557/86400
c Decision: 14/2662	Time: 621.9/86400
c Decision: 14/2662	Time: 624.336/86400
c Decision: 14/2662	Time: 626.818/86400
c Decision: 14/2662	Time: 630.027/86400
c Decision: 14/2662	Time: 632.676/86400
c Decision: 14/2662	Time: 635.333/86400
c Decision: 14/2662	Time: 637.861/86400
c Decision: 14/2662	Time: 640.672/86400
c Decision: 14/2662	Time: 643.733/86400
c Decision: 14/2662	Time: 646.133/86400
c Decision: 14/2662	Time: 648.959/86400
c Decision: 14/2662	Time: 651.817/86400
c Decision: 14/2662	Time: 654.437/86400
c Decision: 14/2662	Time: 656.958/86400
c Decision: 14/2662	Time: 659.182/86400
c Decision: 14/2662	Time: 661.574/86400
c Decision: 14/2662	Time: 663.939/86400
c Decision: 14/2662	Time: 666.361/86400
c Decision: 14/2662	Time: 669.124/86400
c Decision: 14/2662	Time: 671.754/86400
c Decision: 14/2662	Time: 674.338/86400
c Decision: 14/2662	Time: 677.021/86400
c Decision: 14/2662	Time: 679.845/86400
c Decision: 14/2662	Time: 682.858/86400
c Decision: 14/2662	Time: 685.504/86400
c Decision: 14/2662	Time: 688.158/86400
c Decision: 14/2662	Time: 690.561/86400
c Decision: 14/2662	Time: 693.397/86400
c Decision: 14/2662	Time: 696.24/86400
c Decision: 14/2662	Time: 698.517/86400
c Decision: 14/2662	Time: 701.035/86400
c Decision: 14/2662	Time: 703.518/86400
c Decision: 14/2662	Time: 706.363/86400
c Decision: 14/2662	Time: 709.277/86400
c Decision: 14/2662	Time: 711.906/86400
c Decision: 14/2662	Time: 714.602/86400
c Decision: 14/2662	Time: 717.411/86400
c Decision: 14/2662	Time: 719.687/86400
c Decision: 14/2662	Time: 722.82/86400
c Decision: 14/2662	Time: 725.656/86400
c Decision: 14/2662	Time: 728.585/86400
c Decision: 14/2662	Time: 730.998/86400
c Decision: 14/2662	Time: 733.5/86400
c Decision: 14/2662	Time: 736.472/86400
c Decision: 14/2662	Time: 739.387/86400
c Decision: 14/2662	Time: 742.003/86400
c Decision: 14/2662	Time: 744.477/86400
c Decision: 14/2662	Time: 746.913/86400
c Decision: 14/2662	Time: 749.923/86400
c Decision: 14/2662	Time: 752.605/86400
c Decision: 14/2662	Time: 755.061/86400
c Decision: 14/2662	Time: 757.553/86400
c Decision: 14/2662	Time: 760.304/86400
c Decision: 14/2662	Time: 763.66/86400
c Decision: 14/2662	Time: 766.11/86400
c Decision: 14/2662	Time: 768.656/86400
c Decision: 14/2662	Time: 771.884/86400
c Decision: 14/2662	Time: 774.696/86400
c Decision: 14/2662	Time: 777.796/86400
c Decision: 14/2662	Time: 780.459/86400
c Decision: 14/2662	Time: 783.153/86400
c Decision: 14/2662	Time: 785.423/86400
c Decision: 14/2662	Time: 787.823/86400
c Decision: 14/2662	Time: 790.863/86400
c Decision: 14/2662	Time: 793.675/86400
c Decision: 14/2662	Time: 796.115/86400
c Decision: 14/2662	Time: 798.818/86400
c Decision: 14/2662	Time: 801.891/86400
c Decision: 14/2662	Time: 805.262/86400
c Decision: 14/2662	Time: 808.141/86400
c Decision: 14/2662	Time: 811.019/86400
c Decision: 14/2662	Time: 813.633/86400
c Decision: 14/2662	Time: 816.345/86400
c Decision: 14/2662	Time: 819.989/86400
c Decision: 14/2662	Time: 822.82/86400
c Decision: 14/2662	Time: 825.696/86400
c Decision: 14/2662	Time: 828.5/86400
c Decision: 14/2662	Time: 831.368/86400
c Decision: 14/2662	Time: 834.369/86400
c Decision: 14/2662	Time: 837.074/86400
c Decision: 14/2662	Time: 840.214/86400
c Decision: 14/2662	Time: 843.317/86400
c Decision: 14/2662	Time: 846.063/86400
c Decision: 14/2662	Time: 849.631/86400
c Decision: 14/2662	Time: 852.514/86400
c Decision: 14/2662	Time: 855.404/86400
c Decision: 14/2662	Time: 858.308/86400
c Decision: 14/2662	Time: 860.978/86400
c Decision: 14/2662	Time: 864.28/86400
c Decision: 14/2662	Time: 867.04/86400
c Decision: 14/2662	Time: 869.586/86400
c Decision: 14/2662	Time: 872.574/86400
c Decision: 14/2662	Time: 875.432/86400
c Decision: 14/2662	Time: 878.923/86400
c Decision: 14/2662	Time: 881.842/86400
c Decision: 14/2662	Time: 885.013/86400
c Decision: 14/2662	Time: 887.741/86400
c Decision: 14/2662	Time: 890.839/86400
c Decision: 14/2662	Time: 894.365/86400
c Decision: 14/2662	Time: 897.104/86400
c Decision: 14/2662	Time: 900.065/86400
c Decision: 14/2662	Time: 902.727/86400
c Decision: 14/2662	Time: 905.37/86400
c Decision: 14/2662	Time: 908.563/86400
c Decision: 14/2662	Time: 910.992/86400
c Decision: 14/2662	Time: 913.712/86400
c Decision: 14/2662	Time: 916.478/86400
c Decision: 14/2662	Time: 919.014/86400
c Decision: 14/2662	Time: 922.264/86400
c Decision: 14/2662	Time: 925.158/86400
c Decision: 14/2662	Time: 927.672/86400
c Decision: 14/2662	Time: 930.654/86400
c Decision: 14/2662	Time: 933.674/86400
c Decision: 14/2662	Time: 936.946/86400
c Decision: 14/2662	Time: 939.877/86400
c Decision: 14/2662	Time: 942.719/86400
c Decision: 14/2662	Time: 945.241/86400
c Decision: 14/2662	Time: 947.585/86400
c Decision: 14/2662	Time: 950.724/86400
c Decision: 14/2662	Time: 953.524/86400
c Decision: 14/2662	Time: 956.441/86400
c Decision: 14/2662	Time: 959.194/86400
c Decision: 14/2662	Time: 961.865/86400
c Decision: 14/2662	Time: 964.815/86400
c Decision: 14/2662	Time: 967.807/86400
c Decision: 14/2662	Time: 970.777/86400
c Decision: 14/2662	Time: 973.497/86400
c Decision: 14/2662	Time: 976.386/86400
c Decision: 14/2662	Time: 979.693/86400
c Decision: 14/2662	Time: 982.362/86400
c Decision: 14/2662	Time: 985.35/86400
c Decision: 14/2662	Time: 988.514/86400
c Decision: 14/2662	Time: 991.698/86400
c Decision: 14/2662	Time: 994.937/86400
c Decision: 14/2662	Time: 997.669/86400
c Decision: 14/2662	Time: 1000.79/86400
c Decision: 14/2662	Time: 1003.93/86400
c Decision: 14/2662	Time: 1007.14/86400
c Decision: 14/2662	Time: 1010.75/86400
c Decision: 14/2662	Time: 1013.67/86400
c Decision: 14/2662	Time: 1016.7/86400
c Decision: 14/2662	Time: 1019.76/86400
c Decision: 14/2662	Time: 1022.42/86400
c Decision: 14/2662	Time: 1026.09/86400
c Decision: 14/2662	Time: 1029.06/86400
c Decision: 14/2662	Time: 1032.46/86400
c Decision: 14/2662	Time: 1035.47/86400
c Decision: 14/2662	Time: 1037.93/86400
c Decision: 14/2662	Time: 1041.82/86400
c Decision: 14/2662	Time: 1044.94/86400
c Decision: 14/2662	Time: 1047.76/86400
c Decision: 14/2662	Time: 1050.35/86400
c Decision: 14/2662	Time: 1053.05/86400
c Decision: 14/2662	Time: 1056.47/86400
c Decision: 14/2662	Time: 1059.41/86400
c Decision: 14/2662	Time: 1062.62/86400
c Decision: 14/2662	Time: 1065.63/86400
c Decision: 14/2662	Time: 1068.59/86400
c Decision: 14/2662	Time: 1071.4/86400
c Decision: 14/2662	Time: 1074.13/86400
c Decision: 14/2662	Time: 1076.63/86400
c Decision: 14/2662	Time: 1079.42/86400
c Decision: 14/2662	Time: 1082.17/86400
c Decision: 14/2662	Time: 1085.19/86400
c Decision: 14/2662	Time: 1088.22/86400
c Decision: 14/2662	Time: 1091.41/86400
c Decision: 14/2662	Time: 1093.85/86400
c Decision: 14/2662	Time: 1096.29/86400
c Decision: 14/2662	Time: 1099.69/86400
c Decision: 14/2662	Time: 1102.53/86400
c Decision: 14/2662	Time: 1105.57/86400
c Decision: 14/2662	Time: 1108.25/86400
c Decision: 14/2662	Time: 1111.1/86400
c Decision: 14/2662	Time: 1114.16/86400
c Decision: 14/2662	Time: 1116.63/86400
c Decision: 14/2662	Time: 1119.55/86400
c Decision: 14/2662	Time: 1122.76/86400
c Decision: 14/2662	Time: 1125.51/86400
c Decision: 14/2662	Time: 1128.76/86400
c Decision: 14/2662	Time: 1131.7/86400
c Decision: 14/2662	Time: 1134.51/86400
c Decision: 14/2662	Time: 1137.28/86400
c Decision: 14/2662	Time: 1140.29/86400
c Decision: 14/2662	Time: 1143.55/86400
c Decision: 14/2662	Time: 1146.41/86400
c Decision: 14/2662	Time: 1149.87/86400
c Decision: 14/2662	Time: 1152.69/86400
c Decision: 14/2662	Time: 1156.01/86400
c Decision: 14/2662	Time: 1159.93/86400
c Decision: 14/2662	Time: 1162.77/86400
c Decision: 14/2662	Time: 1165.92/86400
c Decision: 14/2662	Time: 1168.73/86400
c Decision: 14/2662	Time: 1171.56/86400
c Decision: 14/2662	Time: 1174.94/86400
c Decision: 14/2662	Time: 1177.43/86400
c Decision: 14/2662	Time: 1180.38/86400
c Decision: 14/2662	Time: 1183.51/86400
c Decision: 14/2662	Time: 1186.44/86400
c Decision: 14/2662	Time: 1189.76/86400
c Decision: 14/2662	Time: 1192.79/86400
c Decision: 14/2662	Time: 1195.84/86400
c Decision: 14/2662	Time: 1199.04/86400s UNKNOWN
#### 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.91 0.95 0.90 1/55 7502
Raw data (stat): 7502 (runsolver) R 7501 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909345105 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.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 912 0 0 0 995 3 0 0 25 0 1 0 909345105 4308992 806 4294967295 134512640 135730672 3221224592 3221222912 134732532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1052 806 301 301 0 751 0
vsize: 4208
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 1429 0 0 0 1992 6 0 0 25 0 1 0 909345105 6537216 1226 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1596 1226 301 301 0 1295 0
vsize: 6384
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 1664 0 0 0 2989 9 0 0 25 0 1 0 909345105 9023488 1461 4294967295 134512640 135730672 3221224592 3221223136 134740286 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2203 1461 301 301 0 1902 0
vsize: 8812
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 2112 0 0 0 3986 11 0 0 25 0 1 0 909345105 10170368 1716 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2483 1716 301 301 0 2182 0
vsize: 9932
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 2333 0 0 0 4984 14 0 0 25 0 1 0 909345105 10575872 1937 4294967295 134512640 135730672 3221224592 3221223088 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2582 1937 301 301 0 2281 0
vsize: 10328
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 2429 0 0 0 5982 16 0 0 25 0 1 0 909345105 10817536 2033 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2641 2033 301 301 0 2340 0
vsize: 10564
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 2647 0 0 0 6979 18 0 0 25 0 1 0 909345105 10948608 2251 4294967295 134512640 135730672 3221224592 3221223088 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2673 2251 301 301 0 2372 0
vsize: 10692
[startup+80.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 2839 0 0 0 7978 20 0 0 25 0 1 0 909345105 11202560 2443 4294967295 134512640 135730672 3221224592 3221223088 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2735 2443 301 301 0 2434 0
vsize: 10940
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 3040 0 0 0 8976 22 0 0 25 0 1 0 909345105 15679488 2644 4294967295 134512640 135730672 3221224592 3221223104 134746217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3828 2644 301 301 0 3527 0
vsize: 15312
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 3110 0 0 0 9974 24 0 0 25 0 1 0 909345105 15929344 2714 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3889 2714 301 301 0 3588 0
vsize: 15556
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 3693 0 0 0 10972 26 0 0 25 0 1 0 909345105 17772544 2912 4294967295 134512640 135730672 3221224592 3221222912 134732575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4339 2912 301 301 0 4038 0
vsize: 17356
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 3785 0 0 0 11971 27 0 0 25 0 1 0 909345105 17911808 3004 4294967295 134512640 135730672 3221224592 3221223088 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4373 3004 301 301 0 4072 0
vsize: 17492
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 3999 0 0 0 12970 29 0 0 25 0 1 0 909345105 18030592 3218 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4402 3218 301 301 0 4101 0
vsize: 17608
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 4233 0 0 0 13967 32 0 0 25 0 1 0 909345105 18161664 3452 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4434 3452 301 301 0 4133 0
vsize: 17736
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 4475 0 0 0 14965 34 0 0 25 0 1 0 909345105 18456576 3694 4294967295 134512640 135730672 3221224592 3221223104 134746211 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4506 3694 301 301 0 4205 0
vsize: 18024
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 4790 0 0 0 15963 36 0 0 25 0 1 0 909345105 18591744 4009 4294967295 134512640 135730672 3221224592 3221222664 135284366 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4539 4009 301 301 0 4238 0
vsize: 18156
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 5015 0 0 0 16961 38 0 0 25 0 1 0 909345105 27488256 4234 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6711 4234 301 301 0 6410 0
vsize: 26844
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 5292 0 0 0 17959 40 0 0 25 0 1 0 909345105 27828224 4511 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6794 4511 301 301 0 6493 0
vsize: 27176
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 5456 0 0 0 18958 41 0 0 25 0 1 0 909345105 27975680 4675 4294967295 134512640 135730672 3221224592 3221223104 134746481 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6830 4675 301 301 0 6529 0
vsize: 27320
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 5594 0 0 0 19958 42 0 0 25 0 1 0 909345105 28139520 4813 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6870 4813 301 301 0 6569 0
vsize: 27480
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 5801 0 0 0 20957 43 0 0 25 0 1 0 909345105 28336128 5020 4294967295 134512640 135730672 3221224592 3221223248 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6918 5020 301 301 0 6617 0
vsize: 27672
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6004 0 0 0 21956 44 0 0 25 0 1 0 909345105 28475392 5223 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6952 5223 301 301 0 6651 0
vsize: 27808
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6225 0 0 0 22954 46 0 0 25 0 1 0 909345105 28639232 5444 4294967295 134512640 135730672 3221224592 3221223104 134745778 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6992 5444 301 301 0 6691 0
vsize: 27968
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6374 0 0 0 23953 47 0 0 25 0 1 0 909345105 28835840 5593 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7040 5593 301 301 0 6739 0
vsize: 28160
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6501 0 0 0 24952 49 0 0 25 0 1 0 909345105 29032448 5720 4294967295 134512640 135730672 3221224592 3221223088 134747777 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7088 5720 301 301 0 6787 0
vsize: 28352
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6715 0 0 0 25950 51 0 0 25 0 1 0 909345105 29323264 5934 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7159 5934 301 301 0 6858 0
vsize: 28636
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 6771 0 0 0 26949 52 0 0 25 0 1 0 909345105 29454336 5990 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7191 5990 301 301 0 6890 0
vsize: 28764
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 7684 0 0 0 27946 55 0 0 25 0 1 0 909345105 32751616 6134 4294967295 134512640 135730672 3221224592 3221223104 134746486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7996 6134 301 301 0 7695 0
vsize: 31984
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 7864 0 0 0 28945 56 0 0 25 0 1 0 909345105 33009664 6314 4294967295 134512640 135730672 3221224592 3221222912 134732500 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8059 6314 301 301 0 7758 0
vsize: 32236
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8109 0 0 0 29944 57 0 0 25 0 1 0 909345105 33419264 6559 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8159 6559 301 301 0 7858 0
vsize: 32636
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8142 0 0 0 30943 59 0 0 25 0 1 0 909345105 33583104 6592 4294967295 134512640 135730672 3221224592 3221223200 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8199 6592 301 301 0 7898 0
vsize: 32796
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8195 0 0 0 31942 60 0 0 25 0 1 0 909345105 33746944 6645 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8239 6645 301 301 0 7938 0
vsize: 32956
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8261 0 0 0 32941 61 0 0 25 0 1 0 909345105 33882112 6711 4294967295 134512640 135730672 3221224592 3221223236 134748064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8272 6711 301 301 0 7971 0
vsize: 33088
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8305 0 0 0 33939 62 0 0 25 0 1 0 909345105 34000896 6755 4294967295 134512640 135730672 3221224592 3221223088 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8301 6755 301 301 0 8000 0
vsize: 33204
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8334 0 0 0 34939 63 0 0 25 0 1 0 909345105 34000896 6784 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8301 6784 301 301 0 8000 0
vsize: 33204
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8373 0 0 0 35938 64 0 0 25 0 1 0 909345105 34164736 6823 4294967295 134512640 135730672 3221224592 3221223104 134746507 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8341 6823 301 301 0 8040 0
vsize: 33364
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8407 0 0 0 36937 66 0 0 25 0 1 0 909345105 34164736 6857 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8341 6857 301 301 0 8040 0
vsize: 33364
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8474 0 0 0 37936 67 0 0 25 0 1 0 909345105 34299904 6924 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8374 6924 301 301 0 8073 0
vsize: 33496
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8502 0 0 0 38935 68 0 0 25 0 1 0 909345105 34414592 6952 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8402 6952 301 301 0 8101 0
vsize: 33608
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8540 0 0 0 39935 68 0 0 25 0 1 0 909345105 34545664 6990 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8434 6990 301 301 0 8133 0
vsize: 33736
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8585 0 0 0 40934 69 0 0 25 0 1 0 909345105 34545664 7035 4294967295 134512640 135730672 3221224592 3221223104 134746217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8434 7035 301 301 0 8133 0
vsize: 33736
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8628 0 0 0 41933 70 0 0 25 0 1 0 909345105 34664448 7078 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8463 7078 301 301 0 8162 0
vsize: 33852
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8671 0 0 0 42932 71 0 0 25 0 1 0 909345105 34816000 7121 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8500 7121 301 301 0 8199 0
vsize: 34000
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8706 0 0 0 43932 72 0 0 25 0 1 0 909345105 34816000 7156 4294967295 134512640 135730672 3221224592 3221222912 134732445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8500 7156 301 301 0 8199 0
vsize: 34000
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8745 0 0 0 44931 72 0 0 25 0 1 0 909345105 34951168 7195 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8533 7195 301 301 0 8232 0
vsize: 34132
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8799 0 0 0 45930 73 0 0 25 0 1 0 909345105 35086336 7249 4294967295 134512640 135730672 3221224592 3221223104 134746544 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8566 7249 301 301 0 8265 0
vsize: 34264
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 8940 0 0 0 46929 74 0 0 25 0 1 0 909345105 35614720 7390 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8695 7390 301 301 0 8394 0
vsize: 34780
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9104 0 0 0 47928 76 0 0 25 0 1 0 909345105 35885056 7554 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8761 7554 301 301 0 8460 0
vsize: 35044
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9145 0 0 0 48928 77 0 0 25 0 1 0 909345105 35885056 7595 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8761 7595 301 301 0 8460 0
vsize: 35044
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9226 0 0 0 49927 78 0 0 25 0 1 0 909345105 36016128 7676 4294967295 134512640 135730672 3221224592 3221222828 135109334 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8793 7677 301 301 0 8492 0
vsize: 35172
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9401 0 0 0 50926 78 0 0 25 0 1 0 909345105 36151296 7851 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8826 7851 301 301 0 8525 0
vsize: 35304
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9508 0 0 0 51926 79 0 0 25 0 1 0 909345105 36302848 7958 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8863 7958 301 301 0 8562 0
vsize: 35452
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9631 0 0 0 52925 80 0 0 25 0 1 0 909345105 36573184 8081 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8929 8081 301 301 0 8628 0
vsize: 35716
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9849 0 0 0 53924 82 0 0 25 0 1 0 909345105 53514240 8299 4294967295 134512640 135730672 3221224592 3221223088 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13065 8299 301 301 0 12764 0
vsize: 52260
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 9974 0 0 0 54923 82 0 0 25 0 1 0 909345105 53710848 8424 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13113 8424 301 301 0 12812 0
vsize: 52452
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10050 0 0 0 55922 83 0 0 25 0 1 0 909345105 53710848 8500 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13113 8500 301 301 0 12812 0
vsize: 52452
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10209 0 0 0 56921 84 0 0 25 0 1 0 909345105 53710848 8659 4294967295 134512640 135730672 3221224592 3221222912 134732792 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13113 8659 301 301 0 12812 0
vsize: 52452
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10401 0 0 0 57920 86 0 0 25 0 1 0 909345105 53874688 8851 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13153 8851 301 301 0 12852 0
vsize: 52612
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10524 0 0 0 58920 86 0 0 25 0 1 0 909345105 54022144 8974 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13189 8974 301 301 0 12888 0
vsize: 52756
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10642 0 0 0 59919 87 0 0 25 0 1 0 909345105 54427648 9092 4294967295 134512640 135730672 3221224592 3221223104 134746221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13288 9092 301 301 0 12987 0
vsize: 53152
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10667 0 0 0 60918 88 0 0 25 0 1 0 909345105 54427648 9117 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13288 9117 301 301 0 12987 0
vsize: 53152
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10734 0 0 0 61917 89 0 0 25 0 1 0 909345105 54697984 9184 4294967295 134512640 135730672 3221224592 3221223104 134746175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13354 9184 301 301 0 13053 0
vsize: 53416
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10869 0 0 0 62916 91 0 0 25 0 1 0 909345105 55033856 9319 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13436 9319 301 301 0 13135 0
vsize: 53744
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 10895 0 0 0 63915 91 0 0 25 0 1 0 909345105 55033856 9345 4294967295 134512640 135730672 3221224592 3221223136 134740286 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13436 9345 301 301 0 13135 0
vsize: 53744
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11005 0 0 0 64914 93 0 0 25 0 1 0 909345105 55156736 9455 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13466 9455 301 301 0 13165 0
vsize: 53864
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11218 0 0 0 65913 94 0 0 25 0 1 0 909345105 55447552 9668 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13537 9668 301 301 0 13236 0
vsize: 54148
[startup+670.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11261 0 0 0 66912 95 0 0 25 0 1 0 909345105 55582720 9711 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13570 9711 301 301 0 13269 0
vsize: 54280
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11321 0 0 0 67912 96 0 0 25 0 1 0 909345105 55853056 9771 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13636 9771 301 301 0 13335 0
vsize: 54544
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11355 0 0 0 68911 96 0 0 25 0 1 0 909345105 55988224 9805 4294967295 134512640 135730672 3221224592 3221223136 134740314 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13669 9805 301 301 0 13368 0
vsize: 54676
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11381 0 0 0 69911 97 0 0 25 0 1 0 909345105 55988224 9831 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13669 9831 301 301 0 13368 0
vsize: 54676
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7502
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11409 0 0 0 70910 98 0 0 25 0 1 0 909345105 56111104 9859 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13699 9859 301 301 0 13398 0
vsize: 54796
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7555
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11528 0 0 0 71905 101 0 0 25 0 1 0 909345105 56246272 9978 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13732 9978 301 301 0 13431 0
vsize: 54928
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7555
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 11619 0 0 0 72904 102 0 0 25 0 1 0 909345105 56381440 10069 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13765 10069 301 301 0 13464 0
vsize: 55060
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7555
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13289 0 0 0 73899 107 0 0 25 0 1 0 909345105 62672896 10202 4294967295 134512640 135730672 3221224592 3221223104 134746514 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 10202 301 301 0 15000 0
vsize: 61204
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7555
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13339 0 0 0 74899 108 0 0 25 0 1 0 909345105 62799872 10252 4294967295 134512640 135730672 3221224592 3221223104 134746515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15332 10252 301 301 0 15031 0
vsize: 61328
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7555
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13373 0 0 0 75898 110 0 0 25 0 1 0 909345105 62799872 10286 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15332 10286 301 301 0 15031 0
vsize: 61328
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7555
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13433 0 0 0 76897 111 0 0 25 0 1 0 909345105 62922752 10346 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15362 10346 301 301 0 15061 0
vsize: 61448
[startup+780.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7557
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13602 0 0 0 77896 112 0 0 25 0 1 0 909345105 63070208 10515 4294967295 134512640 135730672 3221224592 3221223088 134747501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15398 10515 301 301 0 15097 0
vsize: 61592
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13724 0 0 0 78895 112 0 0 25 0 1 0 909345105 63205376 10637 4294967295 134512640 135730672 3221224592 3221222976 134763159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15431 10637 301 301 0 15130 0
vsize: 61724
[startup+800.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13767 0 0 0 79895 113 0 0 25 0 1 0 909345105 63369216 10680 4294967295 134512640 135730672 3221224592 3221223088 134747854 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15471 10680 301 301 0 15170 0
vsize: 61884
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 13887 0 0 0 80894 114 0 0 25 0 1 0 909345105 63369216 10800 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15471 10800 301 301 0 15170 0
vsize: 61884
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14069 0 0 0 81893 115 0 0 25 0 1 0 909345105 63369216 10982 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15471 10982 301 301 0 15170 0
vsize: 61884
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14197 0 0 0 82892 116 0 0 25 0 1 0 909345105 63492096 11110 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15501 11110 301 301 0 15200 0
vsize: 62004
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14373 0 0 0 83890 118 0 0 25 0 1 0 909345105 63614976 11286 4294967295 134512640 135730672 3221224592 3221223088 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15531 11286 301 301 0 15230 0
vsize: 62124
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14558 0 0 0 84889 119 0 0 25 0 1 0 909345105 63750144 11471 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15564 11471 301 301 0 15263 0
vsize: 62256
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14732 0 0 0 85888 121 0 0 25 0 1 0 909345105 63946752 11645 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15612 11645 301 301 0 15311 0
vsize: 62448
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 14843 0 0 0 86887 122 0 0 25 0 1 0 909345105 64081920 11756 4294967295 134512640 135730672 3221224592 3221223104 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15645 11756 301 301 0 15344 0
vsize: 62580
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15009 0 0 0 87886 123 0 0 25 0 1 0 909345105 64196608 11922 4294967295 134512640 135730672 3221224592 3221222664 135285245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15673 11922 301 301 0 15372 0
vsize: 62692
[startup+890.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15161 0 0 0 88885 124 0 0 25 0 1 0 909345105 64331776 12074 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15706 12074 301 301 0 15405 0
vsize: 62824
[startup+900.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15277 0 0 0 89883 126 0 0 25 0 1 0 909345105 64593920 12190 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15770 12190 301 301 0 15469 0
vsize: 63080
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15476 0 0 0 90882 127 0 0 25 0 1 0 909345105 65036288 12389 4294967295 134512640 135730672 3221224592 3221223088 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15878 12389 301 301 0 15577 0
vsize: 63512
[startup+920.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15507 0 0 0 91882 127 0 0 25 0 1 0 909345105 65036288 12420 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15878 12420 301 301 0 15577 0
vsize: 63512
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15553 0 0 0 92882 128 0 0 25 0 1 0 909345105 65167360 12466 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15910 12466 301 301 0 15609 0
vsize: 63640
[startup+940.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15633 0 0 0 93881 129 0 0 25 0 1 0 909345105 65572864 12546 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16009 12546 301 301 0 15708 0
vsize: 64036
[startup+950.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15654 0 0 0 94880 130 0 0 25 0 1 0 909345105 65572864 12567 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16009 12567 301 301 0 15708 0
vsize: 64036
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15679 0 0 0 95879 131 0 0 25 0 1 0 909345105 65572864 12592 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16009 12592 301 301 0 15708 0
vsize: 64036
[startup+970.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15697 0 0 0 96879 132 0 0 25 0 1 0 909345105 65572864 12610 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16009 12610 301 301 0 15708 0
vsize: 64036
[startup+980.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15725 0 0 0 97879 132 0 0 25 0 1 0 909345105 65761280 12638 4294967295 134512640 135730672 3221224592 3221223216 134783060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16055 12638 301 301 0 15754 0
vsize: 64220
[startup+990.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15760 0 0 0 98878 133 0 0 25 0 1 0 909345105 65761280 12673 4294967295 134512640 135730672 3221224592 3221223184 134763651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16055 12673 301 301 0 15754 0
vsize: 64220
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15775 0 0 0 99877 134 0 0 25 0 1 0 909345105 65761280 12688 4294967295 134512640 135730672 3221224592 3221222816 134813870 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16055 12688 301 301 0 15754 0
vsize: 64220
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15808 0 0 0 100877 134 0 0 25 0 1 0 909345105 65957888 12721 4294967295 134512640 135730672 3221224592 3221223088 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16103 12721 301 301 0 15802 0
vsize: 64412
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15822 0 0 0 101876 135 0 0 25 0 1 0 909345105 65957888 12735 4294967295 134512640 135730672 3221224592 3221223104 134746486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16103 12735 301 301 0 15802 0
vsize: 64412
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15868 0 0 0 102876 136 0 0 25 0 1 0 909345105 66093056 12781 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16136 12781 301 301 0 15835 0
vsize: 64544
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7559
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15938 0 0 0 103875 137 0 0 25 0 1 0 909345105 66363392 12851 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16202 12851 301 301 0 15901 0
vsize: 64808
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15968 0 0 0 104874 137 0 0 25 0 1 0 909345105 66363392 12881 4294967295 134512640 135730672 3221224592 3221223088 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16202 12881 301 301 0 15901 0
vsize: 64808
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 15992 0 0 0 105874 138 0 0 25 0 1 0 909345105 66560000 12905 4294967295 134512640 135730672 3221224592 3221223104 134746175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16250 12905 301 301 0 15949 0
vsize: 65000
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16084 0 0 0 106873 139 0 0 25 0 1 0 909345105 66813952 12997 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16312 12997 301 301 0 16011 0
vsize: 65248
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16108 0 0 0 107873 140 0 0 25 0 1 0 909345105 66813952 13021 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16312 13021 301 301 0 16011 0
vsize: 65248
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16130 0 0 0 108873 140 0 0 25 0 1 0 909345105 66813952 13043 4294967295 134512640 135730672 3221224592 3221223200 134744836 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16312 13043 301 301 0 16011 0
vsize: 65248
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16153 0 0 0 109871 141 0 0 25 0 1 0 909345105 66813952 13066 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16312 13066 301 301 0 16011 0
vsize: 65248
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16169 0 0 0 110871 142 0 0 25 0 1 0 909345105 66813952 13082 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16312 13082 301 301 0 16011 0
vsize: 65248
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16189 0 0 0 111871 142 0 0 25 0 1 0 909345105 66813952 13102 4294967295 134512640 135730672 3221224592 3221223104 134746193 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16312 13102 301 301 0 16011 0
vsize: 65248
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16216 0 0 0 112870 144 0 0 25 0 1 0 909345105 66936832 13129 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16342 13129 301 301 0 16041 0
vsize: 65368
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16246 0 0 0 113869 145 0 0 25 0 1 0 909345105 66936832 13159 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16342 13159 301 301 0 16041 0
vsize: 65368
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16268 0 0 0 114869 145 0 0 25 0 1 0 909345105 66936832 13181 4294967295 134512640 135730672 3221224592 3221223104 134746216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16342 13181 301 301 0 16041 0
vsize: 65368
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16304 0 0 0 115867 146 0 0 25 0 1 0 909345105 67072000 13217 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16375 13217 301 301 0 16074 0
vsize: 65500
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16320 0 0 0 116867 147 0 0 25 0 1 0 909345105 67072000 13233 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16375 13233 301 301 0 16074 0
vsize: 65500
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16364 0 0 0 117866 148 0 0 25 0 1 0 909345105 67330048 13277 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16438 13277 301 301 0 16137 0
vsize: 65752
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16398 0 0 0 118865 149 0 0 25 0 1 0 909345105 67330048 13311 4294967295 134512640 135730672 3221224592 3221223216 134783066 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16438 13311 301 301 0 16137 0
vsize: 65752
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7561
Raw data (stat): 7502 (pb2sat-v2) R 7501 8378 8377 0 -1 0 16417 0 0 0 119864 150 0 0 25 0 1 0 909345105 67330048 13330 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16438 13330 301 301 0 16137 0
vsize: 65752
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 7561
Raw data (stat): 7502 (pb2sat-v2) Z 7501 8378 8377 0 -1 12 16419 0 0 0 119880 152 0 0 25 0 1 0 909345105 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: 0
Real time (s): 1200.19
CPU time (s): 1200.34
CPU user time (s): 1198.81
CPU system time (s): 1.52777
CPU usage (%): 100.012
Max. virtual memory (Kb): 65752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####