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/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
MD5SUM	c779424bd1795a1e1adf6f4e7f38e307
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	37
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.075987
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	72
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	36
Trace number 34673

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-28 10:10:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23940 boxname=wulflinc13 idbench=14 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c779424bd1795a1e1adf6f4e7f38e307  /oldhome/oroussel/tmp/wulflinc13/normalized-chnl35_36_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-chnl35_36_pb.cnf.cr.opb
IDLAUNCH: 23940
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        459232 kB
Buffers:         37412 kB
Cached:         517476 kB
SwapCached:        604 kB
Active:          53248 kB
Inactive:       503772 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        458980 kB
SwapTotal:     2097136 kB
SwapFree:      2095672 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            12712 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:30:32 (client local time) WITH STATUS 0 IN 1207.17 SECONDS
stats: 23940 7 1207.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 2450/7420	Time: 48.6136/86400
Decision: 2450/7420	Time: 50.2464/86400
Decision: 2450/7420	Time: 52.594/86400
Decision: 2450/7420	Time: 54.2238/86400
Decision: 2450/7420	Time: 55.9855/86400
Decision: 2450/7420	Time: 57.6122/86400
Decision: 2450/7420	Time: 58.976/86400
Decision: 2450/7420	Time: 60.3998/86400
Decision: 2450/7420	Time: 61.8026/86400
Decision: 2450/7420	Time: 63.5123/86400
Decision: 2450/7420	Time: 64.9161/86400
Decision: 2450/7420	Time: 66.2819/86400
Decision: 2450/7420	Time: 67.4467/86400
Decision: 2450/7420	Time: 68.7076/86400
Decision: 2450/7420	Time: 70.0374/86400
Decision: 2450/7420	Time: 71.3112/86400
Decision: 2450/7420	Time: 72.659/86400
Decision: 2450/7420	Time: 73.9958/86400
Decision: 2450/7420	Time: 75.2646/86400
Decision: 2450/7420	Time: 76.5924/86400
Decision: 2450/7420	Time: 78.0381/86400
Decision: 2450/7420	Time: 79.2919/86400
Decision: 2450/7420	Time: 80.5278/86400
Decision: 2450/7420	Time: 81.8316/86400
Decision: 2450/7420	Time: 83.3213/86400
Decision: 2450/7420	Time: 84.7631/86400
Decision: 2450/7420	Time: 86.0269/86400
Decision: 2450/7420	Time: 87.3597/86400
Decision: 2450/7420	Time: 93.1988/86400
Decision: 2450/7420	Time: 94.9306/86400
Decision: 2450/7420	Time: 96.3693/86400
Decision: 2450/7420	Time: 97.6112/86400
Decision: 2450/7420	Time: 98.804/86400
Decision: 2450/7420	Time: 99.9958/86400
Decision: 2450/7420	Time: 101.187/86400
Decision: 2450/7420	Time: 102.551/86400
Decision: 2450/7420	Time: 103.778/86400
Decision: 2450/7420	Time: 104.922/86400
Decision: 2450/7420	Time: 106.207/86400
Decision: 2450/7420	Time: 107.525/86400
Decision: 2450/7420	Time: 108.836/86400
Decision: 2450/7420	Time: 110.311/86400
Decision: 2450/7420	Time: 111.555/86400
Decision: 2450/7420	Time: 112.943/86400
Decision: 2450/7420	Time: 114.421/86400
Decision: 2450/7420	Time: 116.207/86400
Decision: 2450/7420	Time: 117.631/86400
Decision: 2450/7420	Time: 119.092/86400
Decision: 2450/7420	Time: 120.612/86400
Decision: 2450/7420	Time: 122.03/86400
Decision: 2450/7420	Time: 123.63/86400
Decision: 2450/7420	Time: 125.094/86400
Decision: 2450/7420	Time: 126.585/86400
Decision: 2450/7420	Time: 128.009/86400
Decision: 2450/7420	Time: 129.7/86400
Decision: 2450/7420	Time: 131.357/86400
Decision: 2450/7420	Time: 132.902/86400
Decision: 2450/7420	Time: 134.515/86400
Decision: 2450/7420	Time: 136.19/86400
Decision: 2450/7420	Time: 145.765/86400
Decision: 2450/7420	Time: 147.508/86400
Decision: 2450/7420	Time: 148.984/86400
Decision: 2450/7420	Time: 150.294/86400
Decision: 2450/7420	Time: 151.678/86400
Decision: 2450/7420	Time: 153.17/86400
Decision: 2450/7420	Time: 158.108/86400
Decision: 2450/7420	Time: 159.332/86400
Decision: 2450/7420	Time: 160.579/86400
Decision: 2450/7420	Time: 161.897/86400
Decision: 2450/7420	Time: 163.304/86400
Decision: 2450/7420	Time: 164.627/86400
Decision: 2450/7420	Time: 165.983/86400
Decision: 2450/7420	Time: 167.499/86400
Decision: 2450/7420	Time: 168.715/86400
Decision: 2450/7420	Time: 170.101/86400
Decision: 2450/7420	Time: 171.405/86400
Decision: 2450/7420	Time: 172.655/86400
Decision: 2450/7420	Time: 173.868/86400
Decision: 2450/7420	Time: 175.214/86400
Decision: 2450/7420	Time: 176.504/86400
Decision: 2450/7420	Time: 177.945/86400
Decision: 2450/7420	Time: 179.306/86400
Decision: 2450/7420	Time: 180.567/86400
Decision: 2450/7420	Time: 182.05/86400
Decision: 2450/7420	Time: 188.663/86400
Decision: 2450/7420	Time: 190.137/86400
Decision: 2450/7420	Time: 191.353/86400
Decision: 2450/7420	Time: 192.611/86400
Decision: 2450/7420	Time: 193.832/86400
Decision: 2450/7420	Time: 195.062/86400
Decision: 2450/7420	Time: 196.373/86400
Decision: 2450/7420	Time: 197.537/86400
Decision: 2450/7420	Time: 198.754/86400
Decision: 2450/7420	Time: 200.004/86400
Decision: 2450/7420	Time: 201.216/86400
Decision: 2450/7420	Time: 202.705/86400
Decision: 2450/7420	Time: 204.157/86400
Decision: 2450/7420	Time: 205.467/86400
Decision: 2450/7420	Time: 206.86/86400
Decision: 2450/7420	Time: 208.264/86400
Decision: 2450/7420	Time: 209.783/86400
Decision: 2450/7420	Time: 211.277/86400
Decision: 2450/7420	Time: 212.817/86400
Decision: 2450/7420	Time: 214.142/86400
Decision: 2450/7420	Time: 215.631/86400
Decision: 2450/7420	Time: 217.421/86400
Decision: 2450/7420	Time: 218.899/86400
Decision: 2450/7420	Time: 220.469/86400
Decision: 2450/7420	Time: 221.899/86400
Decision: 2450/7420	Time: 223.606/86400
Decision: 2450/7420	Time: 225.366/86400
Decision: 2450/7420	Time: 226.991/86400
Decision: 2450/7420	Time: 228.612/86400
Decision: 2450/7420	Time: 235.049/86400
Decision: 2450/7420	Time: 236.243/86400
Decision: 2450/7420	Time: 237.638/86400
Decision: 2450/7420	Time: 238.838/86400
Decision: 2450/7420	Time: 240.15/86400
Decision: 2450/7420	Time: 241.43/86400
Decision: 2450/7420	Time: 245.595/86400
Decision: 2450/7420	Time: 246.768/86400
Decision: 2450/7420	Time: 247.962/86400
Decision: 2450/7420	Time: 250.977/86400
Decision: 2450/7420	Time: 252.179/86400
Decision: 2450/7420	Time: 253.313/86400
Decision: 2450/7420	Time: 254.435/86400
Decision: 2450/7420	Time: 255.517/86400
Decision: 2450/7420	Time: 256.765/86400
Decision: 2450/7420	Time: 258.071/86400
Decision: 2450/7420	Time: 259.208/86400
Decision: 2450/7420	Time: 260.461/86400
Decision: 2450/7420	Time: 261.654/86400
Decision: 2450/7420	Time: 262.901/86400
Decision: 2450/7420	Time: 264.151/86400
Decision: 2450/7420	Time: 265.467/86400
Decision: 2450/7420	Time: 267.092/86400
Decision: 2450/7420	Time: 268.385/86400
Decision: 2450/7420	Time: 273.899/86400
Decision: 2450/7420	Time: 275.464/86400
Decision: 2450/7420	Time: 277.11/86400
Decision: 2450/7420	Time: 278.86/86400
Decision: 2450/7420	Time: 280.278/86400
Decision: 2450/7420	Time: 281.756/86400
Decision: 2450/7420	Time: 283.115/86400
Decision: 2450/7420	Time: 287.655/86400
Decision: 2450/7420	Time: 288.823/86400
Decision: 2450/7420	Time: 289.972/86400
Decision: 2450/7420	Time: 292.561/86400
Decision: 2450/7420	Time: 293.814/86400
Decision: 2450/7420	Time: 294.943/86400
Decision: 2450/7420	Time: 296.163/86400
Decision: 2450/7420	Time: 297.254/86400
Decision: 2450/7420	Time: 298.423/86400
Decision: 2450/7420	Time: 299.679/86400
Decision: 2450/7420	Time: 300.915/86400
Decision: 2450/7420	Time: 302.268/86400
Decision: 2450/7420	Time: 303.581/86400
Decision: 2450/7420	Time: 304.861/86400
Decision: 2450/7420	Time: 306.035/86400
Decision: 2450/7420	Time: 307.397/86400
Decision: 2450/7420	Time: 308.878/86400
Decision: 2450/7420	Time: 312.675/86400
Decision: 2450/7420	Time: 313.95/86400
Decision: 2450/7420	Time: 315.171/86400
Decision: 2450/7420	Time: 316.403/86400
Decision: 2450/7420	Time: 317.787/86400
Decision: 2450/7420	Time: 319.185/86400
Decision: 2450/7420	Time: 320.398/86400
Decision: 2450/7420	Time: 321.49/86400
Decision: 2450/7420	Time: 322.674/86400
Decision: 2450/7420	Time: 324.163/86400
Decision: 2450/7420	Time: 325.672/86400
Decision: 2450/7420	Time: 327.065/86400
Decision: 2450/7420	Time: 328.425/86400
Decision: 2450/7420	Time: 329.806/86400
Decision: 2450/7420	Time: 331.348/86400
Decision: 2450/7420	Time: 332.71/86400
Decision: 2450/7420	Time: 335.669/86400
Decision: 2450/7420	Time: 336.913/86400
Decision: 2450/7420	Time: 338.303/86400
Decision: 2450/7420	Time: 339.683/86400
Decision: 2450/7420	Time: 340.918/86400
Decision: 2450/7420	Time: 342.045/86400
Decision: 2450/7420	Time: 343.305/86400
Decision: 2450/7420	Time: 344.641/86400
Decision: 2450/7420	Time: 346.032/86400
Decision: 2450/7420	Time: 347.284/86400
Decision: 2450/7420	Time: 348.711/86400
Decision: 2450/7420	Time: 350.116/86400
Decision: 2450/7420	Time: 351.572/86400
Decision: 2450/7420	Time: 353.124/86400
Decision: 2450/7420	Time: 354.672/86400
Decision: 2450/7420	Time: 356.233/86400
Decision: 2450/7420	Time: 357.71/86400
Decision: 2450/7420	Time: 359.142/86400
Decision: 2450/7420	Time: 360.748/86400
Decision: 2450/7420	Time: 362.357/86400
Decision: 2450/7420	Time: 363.997/86400
Decision: 2450/7420	Time: 365.546/86400
Decision: 2450/7420	Time: 367.089/86400
Decision: 2450/7420	Time: 368.858/86400
Decision: 2450/7420	Time: 370.377/86400
Decision: 2450/7420	Time: 372.01/86400
Decision: 2450/7420	Time: 373.653/86400
Decision: 2450/7420	Time: 375.298/86400
Decision: 2450/7420	Time: 379.332/86400
Decision: 2450/7420	Time: 380.587/86400
Decision: 2450/7420	Time: 381.864/86400
Decision: 2450/7420	Time: 383.172/86400
Decision: 2450/7420	Time: 385.842/86400
Decision: 2450/7420	Time: 387.091/86400
Decision: 2450/7420	Time: 388.273/86400
Decision: 2450/7420	Time: 389.403/86400
Decision: 2450/7420	Time: 391.718/86400
Decision: 2450/7420	Time: 392.868/86400
Decision: 2450/7420	Time: 394.104/86400
Decision: 2450/7420	Time: 395.217/86400
Decision: 2450/7420	Time: 396.571/86400
Decision: 2450/7420	Time: 397.855/86400
Decision: 2450/7420	Time: 399.062/86400
Decision: 2450/7420	Time: 400.418/86400
Decision: 2450/7420	Time: 401.721/86400
Decision: 2450/7420	Time: 403.05/86400
Decision: 2450/7420	Time: 404.314/86400
Decision: 2450/7420	Time: 405.636/86400
Decision: 2450/7420	Time: 407.187/86400
Decision: 2450/7420	Time: 408.706/86400
Decision: 2450/7420	Time: 411.927/86400
Decision: 2450/7420	Time: 413.158/86400
Decision: 2450/7420	Time: 414.389/86400
Decision: 2450/7420	Time: 415.845/86400
Decision: 2450/7420	Time: 417.053/86400
Decision: 2450/7420	Time: 418.381/86400
Decision: 2450/7420	Time: 419.631/86400
Decision: 2450/7420	Time: 420.871/86400
Decision: 2450/7420	Time: 422.147/86400
Decision: 2450/7420	Time: 423.358/86400
Decision: 2450/7420	Time: 424.676/86400
Decision: 2450/7420	Time: 426.111/86400
Decision: 2450/7420	Time: 427.342/86400
Decision: 2450/7420	Time: 428.868/86400
Decision: 2450/7420	Time: 430.175/86400
Decision: 2450/7420	Time: 431.489/86400
Decision: 2450/7420	Time: 432.899/86400
Decision: 2450/7420	Time: 434.284/86400
Decision: 2450/7420	Time: 435.956/86400
Decision: 2450/7420	Time: 437.534/86400
Decision: 2450/7420	Time: 440.982/86400
Decision: 2450/7420	Time: 442.732/86400
Decision: 2450/7420	Time: 450.505/86400
Decision: 2450/7420	Time: 451.844/86400
Decision: 2450/7420	Time: 453.141/86400
Decision: 2450/7420	Time: 454.402/86400
Decision: 2450/7420	Time: 455.839/86400
Decision: 2450/7420	Time: 457.168/86400
Decision: 2450/7420	Time: 458.654/86400
Decision: 2450/7420	Time: 460.041/86400
Decision: 2450/7420	Time: 461.299/86400
Decision: 2450/7420	Time: 462.734/86400
Decision: 2450/7420	Time: 464.056/86400
Decision: 2450/7420	Time: 465.548/86400
Decision: 2450/7420	Time: 466.938/86400
Decision: 2450/7420	Time: 468.371/86400
Decision: 2450/7420	Time: 469.742/86400
Decision: 2450/7420	Time: 471.255/86400
Decision: 2450/7420	Time: 472.886/86400
Decision: 2450/7420	Time: 474.492/86400
Decision: 2450/7420	Time: 475.917/86400
Decision: 2450/7420	Time: 477.458/86400
Decision: 2450/7420	Time: 478.877/86400
Decision: 2450/7420	Time: 480.538/86400
Decision: 2450/7420	Time: 482.184/86400
Decision: 2450/7420	Time: 483.586/86400
Decision: 2450/7420	Time: 485.22/86400
Decision: 2450/7420	Time: 487.078/86400
Decision: 2450/7420	Time: 488.848/86400
Decision: 2450/7420	Time: 490.392/86400
Decision: 2450/7420	Time: 491.918/86400
Decision: 2450/7420	Time: 497.515/86400
Decision: 2450/7420	Time: 498.756/86400
Decision: 2450/7420	Time: 500.15/86400
Decision: 2450/7420	Time: 501.51/86400
Decision: 2450/7420	Time: 502.907/86400
Decision: 2450/7420	Time: 504.315/86400
Decision: 2450/7420	Time: 507.825/86400
Decision: 2450/7420	Time: 509.506/86400
Decision: 2450/7420	Time: 510.994/86400
Decision: 2450/7420	Time: 512.197/86400
Decision: 2450/7420	Time: 513.366/86400
Decision: 2450/7420	Time: 514.812/86400
Decision: 2450/7420	Time: 516.153/86400
Decision: 2450/7420	Time: 517.343/86400
Decision: 2450/7420	Time: 518.821/86400
Decision: 2450/7420	Time: 520.208/86400
Decision: 2450/7420	Time: 521.535/86400
Decision: 2450/7420	Time: 523.039/86400
Decision: 2450/7420	Time: 524.531/86400
Decision: 2450/7420	Time: 525.918/86400
Decision: 2450/7420	Time: 527.425/86400
Decision: 2450/7420	Time: 528.87/86400
Decision: 2450/7420	Time: 530.527/86400
Decision: 2450/7420	Time: 531.861/86400
Decision: 2450/7420	Time: 533.402/86400
Decision: 2450/7420	Time: 534.833/86400
Decision: 2450/7420	Time: 536.547/86400
Decision: 2450/7420	Time: 538.319/86400
Decision: 2450/7420	Time: 539.808/86400
Decision: 2450/7420	Time: 541.413/86400
Decision: 2450/7420	Time: 542.926/86400
Decision: 2450/7420	Time: 544.766/86400
Decision: 2450/7420	Time: 546.442/86400
Decision: 2450/7420	Time: 553.257/86400
Decision: 2450/7420	Time: 554.737/86400
Decision: 2450/7420	Time: 555.902/86400
Decision: 2450/7420	Time: 557.13/86400
Decision: 2450/7420	Time: 558.48/86400
Decision: 2450/7420	Time: 561.529/86400
Decision: 2450/7420	Time: 562.759/86400
Decision: 2450/7420	Time: 565.497/86400
Decision: 2450/7420	Time: 567.012/86400
Decision: 2450/7420	Time: 568.609/86400
Decision: 2450/7420	Time: 570.029/86400
Decision: 2450/7420	Time: 571.529/86400
Decision: 2450/7420	Time: 574.336/86400
Decision: 2450/7420	Time: 575.674/86400
Decision: 2450/7420	Time: 577.391/86400
Decision: 2450/7420	Time: 578.662/86400
Decision: 2450/7420	Time: 579.954/86400
Decision: 2450/7420	Time: 581.312/86400
Decision: 2450/7420	Time: 582.655/86400
Decision: 2450/7420	Time: 584.104/86400
Decision: 2450/7420	Time: 585.838/86400
Decision: 2450/7420	Time: 587.392/86400
Decision: 2450/7420	Time: 588.923/86400
Decision: 2450/7420	Time: 590.226/86400
Decision: 2450/7420	Time: 591.788/86400
Decision: 2450/7420	Time: 593.313/86400
Decision: 2450/7420	Time: 594.688/86400
Decision: 2450/7420	Time: 596.598/86400
Decision: 2450/7420	Time: 598.086/86400
Decision: 2450/7420	Time: 599.861/86400
Decision: 2450/7420	Time: 601.604/86400
Decision: 2450/7420	Time: 603.054/86400
Decision: 2450/7420	Time: 604.518/86400
Decision: 2450/7420	Time: 606.048/86400
Decision: 2450/7420	Time: 607.838/86400
Decision: 2450/7420	Time: 609.59/86400
Decision: 2450/7420	Time: 611.219/86400
Decision: 2450/7420	Time: 612.875/86400
Decision: 2450/7420	Time: 614.48/86400
Decision: 2450/7420	Time: 616.203/86400
Decision: 2450/7420	Time: 617.808/86400
Decision: 2450/7420	Time: 619.508/86400
Decision: 2450/7420	Time: 621.158/86400
Decision: 2450/7420	Time: 622.693/86400
Decision: 2450/7420	Time: 624.632/86400
Decision: 2450/7420	Time: 626.422/86400
Decision: 2450/7420	Time: 628.601/86400
Decision: 2450/7420	Time: 630.353/86400
Decision: 2450/7420	Time: 632.499/86400
Decision: 2450/7420	Time: 634.461/86400
Decision: 2450/7420	Time: 636.228/86400
Decision: 2450/7420	Time: 638.201/86400
Decision: 2450/7420	Time: 639.719/86400
Decision: 2450/7420	Time: 641.448/86400
Decision: 2450/7420	Time: 643.466/86400
Decision: 2450/7420	Time: 645.118/86400
Decision: 2450/7420	Time: 646.902/86400
Decision: 2450/7420	Time: 655.359/86400
Decision: 2450/7420	Time: 656.632/86400
Decision: 2450/7420	Time: 657.766/86400
Decision: 2450/7420	Time: 658.935/86400
Decision: 2450/7420	Time: 660.217/86400
Decision: 2450/7420	Time: 661.383/86400
Decision: 2450/7420	Time: 662.834/86400
Decision: 2450/7420	Time: 665.771/86400
Decision: 2450/7420	Time: 666.817/86400
Decision: 2450/7420	Time: 668.042/86400
Decision: 2450/7420	Time: 669.281/86400
Decision: 2450/7420	Time: 670.398/86400
Decision: 2450/7420	Time: 673.852/86400
Decision: 2450/7420	Time: 675.188/86400
Decision: 2450/7420	Time: 676.575/86400
Decision: 2450/7420	Time: 677.756/86400
Decision: 2450/7420	Time: 679.072/86400
Decision: 2450/7420	Time: 680.534/86400
Decision: 2450/7420	Time: 683.512/86400
Decision: 2450/7420	Time: 684.773/86400
Decision: 2450/7420	Time: 685.973/86400
Decision: 2450/7420	Time: 687.281/86400
Decision: 2450/7420	Time: 688.469/86400
Decision: 2450/7420	Time: 691.395/86400
Decision: 2450/7420	Time: 692.609/86400
Decision: 2450/7420	Time: 693.79/86400
Decision: 2450/7420	Time: 695.045/86400
Decision: 2450/7420	Time: 696.405/86400
Decision: 2450/7420	Time: 697.57/86400
Decision: 2450/7420	Time: 698.924/86400
Decision: 2450/7420	Time: 700.008/86400
Decision: 2450/7420	Time: 702.422/86400
Decision: 2450/7420	Time: 703.843/86400
Decision: 2450/7420	Time: 705.185/86400
Decision: 2450/7420	Time: 709.82/86400
Decision: 2450/7420	Time: 711.381/86400
Decision: 2450/7420	Time: 712.623/86400
Decision: 2450/7420	Time: 714.062/86400
Decision: 2450/7420	Time: 715.343/86400
Decision: 2450/7420	Time: 716.63/86400
Decision: 2450/7420	Time: 718.008/86400
Decision: 2450/7420	Time: 719.488/86400
Decision: 2450/7420	Time: 721.09/86400
Decision: 2450/7420	Time: 722.512/86400
Decision: 2450/7420	Time: 724.266/86400
Decision: 2450/7420	Time: 725.578/86400
Decision: 2450/7420	Time: 727.06/86400
Decision: 2450/7420	Time: 728.536/86400
Decision: 2450/7420	Time: 729.989/86400
Decision: 2450/7420	Time: 731.57/86400
Decision: 2450/7420	Time: 733.208/86400
Decision: 2450/7420	Time: 734.851/86400
Decision: 2450/7420	Time: 736.384/86400
Decision: 2450/7420	Time: 737.721/86400
Decision: 2450/7420	Time: 739.183/86400
Decision: 2450/7420	Time: 740.507/86400
Decision: 2450/7420	Time: 742.375/86400
Decision: 2450/7420	Time: 744.05/86400
Decision: 2450/7420	Time: 745.712/86400
Decision: 2450/7420	Time: 747.37/86400
Decision: 2450/7420	Time: 749.146/86400
Decision: 2450/7420	Time: 750.628/86400
Decision: 2450/7420	Time: 754.914/86400
Decision: 2450/7420	Time: 756.757/86400
Decision: 2450/7420	Time: 758.354/86400
Decision: 2450/7420	Time: 760.022/86400
Decision: 2450/7420	Time: 761.647/86400
Decision: 2450/7420	Time: 763.575/86400
Decision: 2450/7420	Time: 773.017/86400
Decision: 2450/7420	Time: 774.873/86400
Decision: 2450/7420	Time: 782.62/86400
Decision: 2450/7420	Time: 783.963/86400
Decision: 2450/7420	Time: 785.257/86400
Decision: 2450/7420	Time: 786.433/86400
Decision: 2450/7420	Time: 789.321/86400
Decision: 2450/7420	Time: 790.638/86400
Decision: 2450/7420	Time: 791.846/86400
Decision: 2450/7420	Time: 793.282/86400
Decision: 2450/7420	Time: 795.08/86400
Decision: 2450/7420	Time: 796.348/86400
Decision: 2450/7420	Time: 797.669/86400
Decision: 2450/7420	Time: 798.858/86400
Decision: 2450/7420	Time: 800.244/86400
Decision: 2450/7420	Time: 801.45/86400
Decision: 2450/7420	Time: 802.754/86400
Decision: 2450/7420	Time: 804.116/86400
Decision: 2450/7420	Time: 805.517/86400
Decision: 2450/7420	Time: 806.942/86400
Decision: 2450/7420	Time: 808.37/86400
Decision: 2450/7420	Time: 809.729/86400
Decision: 2450/7420	Time: 811.167/86400
Decision: 2450/7420	Time: 812.694/86400
Decision: 2450/7420	Time: 814.317/86400
Decision: 2450/7420	Time: 815.768/86400
Decision: 2450/7420	Time: 817.264/86400
Decision: 2450/7420	Time: 818.917/86400
Decision: 2450/7420	Time: 824.593/86400
Decision: 2450/7420	Time: 826.15/86400
Decision: 2450/7420	Time: 827.84/86400
Decision: 2450/7420	Time: 833.129/86400
Decision: 2450/7420	Time: 834.241/86400
Decision: 2450/7420	Time: 835.537/86400
Decision: 2450/7420	Time: 837.048/86400
Decision: 2450/7420	Time: 838.386/86400
Decision: 2450/7420	Time: 839.931/86400
Decision: 2450/7420	Time: 841.195/86400
Decision: 2450/7420	Time: 842.56/86400
Decision: 2450/7420	Time: 843.9/86400
Decision: 2450/7420	Time: 845.206/86400
Decision: 2450/7420	Time: 846.548/86400
Decision: 2450/7420	Time: 847.811/86400
Decision: 2450/7420	Time: 849.151/86400
Decision: 2450/7420	Time: 850.82/86400
Decision: 2450/7420	Time: 852.248/86400
Decision: 2450/7420	Time: 853.644/86400
Decision: 2450/7420	Time: 855.133/86400
Decision: 2450/7420	Time: 856.631/86400
Decision: 2450/7420	Time: 858.227/86400
Decision: 2450/7420	Time: 859.948/86400
Decision: 2450/7420	Time: 861.538/86400
Decision: 2450/7420	Time: 863.193/86400
Decision: 2450/7420	Time: 865.288/86400
Decision: 2450/7420	Time: 867.082/86400
Decision: 2450/7420	Time: 868.485/86400
Decision: 2450/7420	Time: 869.958/86400
Decision: 2450/7420	Time: 871.511/86400
Decision: 2450/7420	Time: 873.035/86400
Decision: 2450/7420	Time: 874.822/86400
Decision: 2450/7420	Time: 876.388/86400
Decision: 2450/7420	Time: 878.03/86400
Decision: 2450/7420	Time: 879.703/86400
Decision: 2450/7420	Time: 881.232/86400
Decision: 2450/7420	Time: 883.113/86400
Decision: 2450/7420	Time: 884.839/86400
Decision: 2450/7420	Time: 886.631/86400
Decision: 2450/7420	Time: 888.228/86400
Decision: 2450/7420	Time: 889.657/86400
Decision: 2450/7420	Time: 891.708/86400
Decision: 2450/7420	Time: 893.457/86400
Decision: 2450/7420	Time: 895.217/86400
Decision: 2450/7420	Time: 899.957/86400
Decision: 2450/7420	Time: 901.594/86400
Decision: 2450/7420	Time: 903.566/86400
Decision: 2450/7420	Time: 905.194/86400
Decision: 2450/7420	Time: 909.291/86400
Decision: 2450/7420	Time: 911.073/86400
Decision: 2450/7420	Time: 912.933/86400
Decision: 2450/7420	Time: 914.672/86400
Decision: 2450/7420	Time: 916.315/86400
Decision: 2450/7420	Time: 921.175/86400
Decision: 2450/7420	Time: 922.514/86400
Decision: 2450/7420	Time: 924.006/86400
Decision: 2450/7420	Time: 925.559/86400
Decision: 2450/7420	Time: 927.108/86400
Decision: 2450/7420	Time: 931.014/86400
Decision: 2450/7420	Time: 932.584/86400
Decision: 2450/7420	Time: 934.091/86400
Decision: 2450/7420	Time: 935.938/86400
Decision: 2450/7420	Time: 937.354/86400
Decision: 2450/7420	Time: 941.378/86400
Decision: 2450/7420	Time: 943.318/86400
Decision: 2450/7420	Time: 944.575/86400
Decision: 2450/7420	Time: 945.874/86400
Decision: 2450/7420	Time: 947.085/86400
Decision: 2450/7420	Time: 948.243/86400
Decision: 2450/7420	Time: 949.682/86400
Decision: 2450/7420	Time: 951.636/86400
Decision: 2450/7420	Time: 953.127/86400
Decision: 2450/7420	Time: 954.611/86400
Decision: 2450/7420	Time: 955.793/86400
Decision: 2450/7420	Time: 957.282/86400
Decision: 2450/7420	Time: 958.736/86400
Decision: 2450/7420	Time: 961.31/86400
Decision: 2450/7420	Time: 962.949/86400
Decision: 2450/7420	Time: 965.316/86400
Decision: 2450/7420	Time: 966.746/86400
Decision: 2450/7420	Time: 968.199/86400
Decision: 2450/7420	Time: 969.951/86400
Decision: 2450/7420	Time: 971.783/86400
Decision: 2450/7420	Time: 973.561/86400
Decision: 2450/7420	Time: 975.182/86400
Decision: 2450/7420	Time: 976.925/86400
Decision: 2450/7420	Time: 978.601/86400
Decision: 2450/7420	Time: 980.185/86400
Decision: 2450/7420	Time: 981.882/86400
Decision: 2450/7420	Time: 983.482/86400
Decision: 2450/7420	Time: 986.07/86400
Decision: 2450/7420	Time: 987.472/86400
Decision: 2450/7420	Time: 988.797/86400
Decision: 2450/7420	Time: 990.206/86400
Decision: 2450/7420	Time: 991.474/86400
Decision: 2450/7420	Time: 992.684/86400
Decision: 2450/7420	Time: 994.324/86400
Decision: 2450/7420	Time: 995.991/86400
Decision: 2450/7420	Time: 997.804/86400
Decision: 2450/7420	Time: 999.422/86400
Decision: 2450/7420	Time: 1003.84/86400
Decision: 2450/7420	Time: 1005.1/86400
Decision: 2450/7420	Time: 1006.28/86400
Decision: 2450/7420	Time: 1007.39/86400
Decision: 2450/7420	Time: 1010.08/86400
Decision: 2450/7420	Time: 1011.26/86400
Decision: 2450/7420	Time: 1012.67/86400
Decision: 2450/7420	Time: 1014.05/86400
Decision: 2450/7420	Time: 1015.38/86400
Decision: 2450/7420	Time: 1016.92/86400
Decision: 2450/7420	Time: 1018.37/86400
Decision: 2450/7420	Time: 1019.64/86400
Decision: 2450/7420	Time: 1021.01/86400
Decision: 2450/7420	Time: 1022.31/86400
Decision: 2450/7420	Time: 1023.83/86400
Decision: 2450/7420	Time: 1025.07/86400
Decision: 2450/7420	Time: 1026.8/86400
Decision: 2450/7420	Time: 1028.25/86400
Decision: 2450/7420	Time: 1029.64/86400
Decision: 2450/7420	Time: 1031.1/86400
Decision: 2450/7420	Time: 1032.9/86400
Decision: 2450/7420	Time: 1034.94/86400
Decision: 2450/7420	Time: 1036.41/86400
Decision: 2450/7420	Time: 1038.01/86400
Decision: 2450/7420	Time: 1039.5/86400
Decision: 2450/7420	Time: 1041.06/86400
Decision: 2450/7420	Time: 1042.78/86400
Decision: 2450/7420	Time: 1044.32/86400
Decision: 2450/7420	Time: 1045.93/86400
Decision: 2450/7420	Time: 1050.43/86400
Decision: 2450/7420	Time: 1051.62/86400
Decision: 2450/7420	Time: 1054.08/86400
Decision: 2450/7420	Time: 1055.52/86400
Decision: 2450/7420	Time: 1058.96/86400
Decision: 2450/7420	Time: 1060.27/86400
Decision: 2450/7420	Time: 1061.8/86400
Decision: 2450/7420	Time: 1063/86400
Decision: 2450/7420	Time: 1066.24/86400
Decision: 2450/7420	Time: 1067.83/86400
Decision: 2450/7420	Time: 1069.08/86400
Decision: 2450/7420	Time: 1070.37/86400
Decision: 2450/7420	Time: 1071.67/86400
Decision: 2450/7420	Time: 1072.95/86400
Decision: 2450/7420	Time: 1074.43/86400
Decision: 2450/7420	Time: 1075.79/86400
Decision: 2450/7420	Time: 1077.06/86400
Decision: 2450/7420	Time: 1078.72/86400
Decision: 2450/7420	Time: 1080.35/86400
Decision: 2450/7420	Time: 1081.93/86400
Decision: 2450/7420	Time: 1083.32/86400
Decision: 2450/7420	Time: 1084.66/86400
Decision: 2450/7420	Time: 1086.33/86400
Decision: 2450/7420	Time: 1088.01/86400
Decision: 2450/7420	Time: 1089.46/86400
Decision: 2450/7420	Time: 1091.09/86400
Decision: 2450/7420	Time: 1093.11/86400
Decision: 2450/7420	Time: 1094.88/86400
Decision: 2450/7420	Time: 1096.66/86400
Decision: 2450/7420	Time: 1098.61/86400
Decision: 2450/7420	Time: 1100.52/86400
Decision: 2450/7420	Time: 1102.06/86400
Decision: 2450/7420	Time: 1103.77/86400
Decision: 2450/7420	Time: 1105.42/86400
Decision: 2450/7420	Time: 1107.06/86400
Decision: 2450/7420	Time: 1108.57/86400
Decision: 2450/7420	Time: 1110.27/86400
Decision: 2450/7420	Time: 1113.59/86400
Decision: 2450/7420	Time: 1114.86/86400
Decision: 2450/7420	Time: 1116.09/86400
Decision: 2450/7420	Time: 1117.55/86400
Decision: 2450/7420	Time: 1118.71/86400
Decision: 2450/7420	Time: 1122.66/86400
Decision: 2450/7420	Time: 1124.3/86400
Decision: 2450/7420	Time: 1126.04/86400
Decision: 2450/7420	Time: 1127.44/86400
Decision: 2450/7420	Time: 1128.86/86400
Decision: 2450/7420	Time: 1130.41/86400
Decision: 2450/7420	Time: 1131.71/86400
Decision: 2450/7420	Time: 1133.34/86400
Decision: 2450/7420	Time: 1134.81/86400
Decision: 2450/7420	Time: 1136.3/86400
Decision: 2450/7420	Time: 1137.72/86400
Decision: 2450/7420	Time: 1139.33/86400
Decision: 2450/7420	Time: 1140.63/86400
Decision: 2450/7420	Time: 1142.29/86400
Decision: 2450/7420	Time: 1143.92/86400
Decision: 2450/7420	Time: 1145.83/86400
Decision: 2450/7420	Time: 1147.39/86400
Decision: 2450/7420	Time: 1148.94/86400
Decision: 2450/7420	Time: 1150.67/86400
Decision: 2450/7420	Time: 1152.3/86400
Decision: 2450/7420	Time: 1154.31/86400
Decision: 2450/7420	Time: 1155.93/86400
Decision: 2450/7420	Time: 1157.59/86400
Decision: 2450/7420	Time: 1159.51/86400
Decision: 2450/7420	Time: 1161.52/86400
Decision: 2450/7420	Time: 1163.21/86400
Decision: 2450/7420	Time: 1165.05/86400
Decision: 2450/7420	Time: 1166.7/86400
Decision: 2450/7420	Time: 1171.25/86400
Decision: 2450/7420	Time: 1172.46/86400
Decision: 2450/7420	Time: 1173.85/86400
Decision: 2450/7420	Time: 1175.49/86400
Decision: 2450/7420	Time: 1176.81/86400
Decision: 2450/7420	Time: 1178.02/86400
Decision: 2450/7420	Time: 1179.34/86400
Decision: 2450/7420	Time: 1180.9/86400
Decision: 2450/7420	Time: 1182.16/86400
Decision: 2450/7420	Time: 1183.6/86400
Decision: 2450/7420	Time: 1185.18/86400
Decision: 2450/7420	Time: 1186.66/86400
Decision: 2450/7420	Time: 1188.19/86400
Decision: 2450/7420	Time: 1189.58/86400
Decision: 2450/7420	Time: 1190.85/86400
Decision: 2450/7420	Time: 1192.14/86400
Decision: 2450/7420	Time: 1193.6/86400
Decision: 2450/7420	Time: 1195.6/86400
Decision: 2450/7420	Time: 1197.9/86400
Decision: 2450/7420	Time: 1199.44/86400
Decision: 2450/7420	Time: 1200.88/86400
Decision: 2450/7420	Time: 1202.47/86400
Decision: 2450/7420	Time: 1203.96/86400
Decision: 2450/7420	Time: 1205.45/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.12 0.03 0.01 1/54 5233
Raw data (stat): 5233 (runsolver) D 5232 1269 1268 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 805760511 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.26 0.06 0.02 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 1553 0 7 0 658 4 0 0 25 0 1 0 805760511 7974912 1285 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1947 1285 300 300 0 1647 0
vsize: 7788
[startup+20.0439 s]
Raw data (loadavg): 0.37 0.09 0.03 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 2204 0 7 0 1661 6 0 0 25 0 1 0 805760511 12304384 1936 4294967295 134512640 135726644 3221224576 3221223168 134760180 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3004 1936 300 300 0 2704 0
vsize: 12016
[startup+30.0432 s]
Raw data (loadavg): 0.47 0.12 0.04 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 2696 0 7 0 2659 8 0 0 25 0 1 0 805760511 12451840 2428 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3040 2428 300 300 0 2740 0
vsize: 12160
[startup+40.0438 s]
Raw data (loadavg): 0.55 0.15 0.05 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 3110 0 7 0 3657 10 0 0 25 0 1 0 805760511 20987904 2842 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5124 2842 300 300 0 4824 0
vsize: 20496
[startup+50.0434 s]
Raw data (loadavg): 0.62 0.18 0.06 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 3664 0 7 0 4655 13 0 0 25 0 1 0 805760511 21274624 3396 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5194 3396 300 300 0 4894 0
vsize: 20776
[startup+60.0431 s]
Raw data (loadavg): 0.68 0.20 0.07 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 4766 0 7 0 5650 17 0 0 25 0 1 0 805760511 22519808 4498 4294967295 134512640 135726644 3221224576 3221223072 134743951 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5498 4498 300 300 0 5198 0
vsize: 21992
[startup+70.0428 s]
Raw data (loadavg): 0.72 0.23 0.08 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 5192 0 7 0 6646 20 0 0 25 0 1 0 805760511 23859200 4924 4294967295 134512640 135726644 3221224576 3221222816 134782570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5825 4924 300 300 0 5525 0
vsize: 23300
[startup+80.0424 s]
Raw data (loadavg): 0.77 0.25 0.09 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 5520 0 7 0 7644 22 0 0 25 0 1 0 805760511 25088000 5059 4294967295 134512640 135726644 3221224576 3221222896 134729202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6125 5059 300 300 0 5825 0
vsize: 24500
[startup+90.042 s]
Raw data (loadavg): 0.80 0.28 0.10 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 5792 0 7 0 8642 24 0 0 25 0 1 0 805760511 26161152 5331 4294967295 134512640 135726644 3221224576 3221222832 134763452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6387 5331 300 300 0 6087 0
vsize: 25548
[startup+100.042 s]
Raw data (loadavg): 0.83 0.30 0.10 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 6062 0 7 0 9638 29 0 0 25 0 1 0 805760511 27115520 5601 4294967295 134512640 135726644 3221224576 3221223200 134779679 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6620 5601 300 300 0 6320 0
vsize: 26480
[startup+110.042 s]
Raw data (loadavg): 0.86 0.32 0.11 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 6115 0 7 0 10636 30 0 0 25 0 1 0 805760511 27209728 5654 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6643 5654 300 300 0 6343 0
vsize: 26572
[startup+120.043 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 6176 0 7 0 11635 31 0 0 25 0 1 0 805760511 27365376 5715 4294967295 134512640 135726644 3221224576 3221222912 135280436 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6681 5715 300 300 0 6381 0
vsize: 26724
[startup+130.043 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 6274 0 7 0 12634 32 0 0 25 0 1 0 805760511 27590656 5813 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6736 5813 300 300 0 6436 0
vsize: 26944
[startup+140.042 s]
Raw data (loadavg): 0.91 0.39 0.14 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 6492 0 7 0 13632 35 0 0 25 0 1 0 805760511 28459008 6031 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6948 6031 300 300 0 6648 0
vsize: 27792
[startup+150.043 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7138 0 7 0 14627 39 0 0 25 0 1 0 805760511 31006720 6292 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7570 6292 300 300 0 7270 0
vsize: 30280
[startup+160.044 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7159 0 7 0 15624 43 0 0 25 0 1 0 805760511 31006720 6313 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7570 6313 300 300 0 7270 0
vsize: 30280
[startup+170.043 s]
Raw data (loadavg): 0.95 0.44 0.17 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7186 0 7 0 16621 46 0 0 25 0 1 0 805760511 31006720 6340 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7570 6340 300 300 0 7270 0
vsize: 30280
[startup+180.043 s]
Raw data (loadavg): 0.95 0.46 0.17 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7239 0 7 0 17620 47 0 0 25 0 1 0 805760511 31084544 6393 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6393 300 300 0 7289 0
vsize: 30356
[startup+190.043 s]
Raw data (loadavg): 0.96 0.48 0.18 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7272 0 7 0 18617 50 0 0 25 0 1 0 805760511 31166464 6426 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7609 6426 300 300 0 7309 0
vsize: 30436
[startup+200.042 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7386 0 7 0 19615 53 0 0 25 0 1 0 805760511 31535104 6540 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7699 6540 300 300 0 7399 0
vsize: 30796
[startup+210.043 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7427 0 7 0 20612 55 0 0 25 0 1 0 805760511 31535104 6581 4294967295 134512640 135726644 3221224576 3221222896 134729009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7699 6581 300 300 0 7399 0
vsize: 30796
[startup+220.042 s]
Raw data (loadavg): 0.97 0.53 0.21 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7476 0 7 0 21611 57 0 0 25 0 1 0 805760511 31686656 6630 4294967295 134512640 135726644 3221224576 3221222896 134729210 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7736 6630 300 300 0 7436 0
vsize: 30944
[startup+230.042 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7539 0 7 0 22609 59 0 0 25 0 1 0 805760511 31772672 6693 4294967295 134512640 135726644 3221224576 3221222896 134729026 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7757 6693 300 300 0 7457 0
vsize: 31028
[startup+240.043 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7666 0 7 0 23606 62 0 0 25 0 1 0 805760511 32292864 6820 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7884 6820 300 300 0 7584 0
vsize: 31536
[startup+250.042 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7717 0 7 0 24601 67 0 0 25 0 1 0 805760511 32415744 6871 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7914 6871 300 300 0 7614 0
vsize: 31656
[startup+260.043 s]
Raw data (loadavg): 0.99 0.58 0.24 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7770 0 7 0 25595 73 0 0 25 0 1 0 805760511 32497664 6924 4294967295 134512640 135726644 3221224576 3221222816 134782602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7934 6924 300 300 0 7634 0
vsize: 31736
[startup+270.044 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7815 0 7 0 26594 74 0 0 25 0 1 0 805760511 32497664 6969 4294967295 134512640 135726644 3221224576 3221223168 134760433 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7934 6969 300 300 0 7634 0
vsize: 31736
[startup+280.043 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7858 0 7 0 27591 78 0 0 25 0 1 0 805760511 32673792 7012 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7977 7012 300 300 0 7677 0
vsize: 31908
[startup+290.043 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 7934 0 7 0 28587 82 0 0 25 0 1 0 805760511 32948224 7088 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8044 7088 300 300 0 7744 0
vsize: 32176
[startup+300.044 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 8046 0 7 0 29582 87 0 0 25 0 1 0 805760511 33251328 7200 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8118 7200 300 300 0 7818 0
vsize: 32472
[startup+310.044 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 8856 0 7 0 30578 91 0 0 25 0 1 0 805760511 36397056 7241 4294967295 134512640 135726644 3221224576 3221223264 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8886 7241 300 300 0 8586 0
vsize: 35544
[startup+320.044 s]
Raw data (loadavg): 0.99 0.66 0.28 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 8929 0 7 0 31574 95 0 0 25 0 1 0 805760511 36618240 7314 4294967295 134512640 135726644 3221224576 3221223088 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8940 7314 300 300 0 8640 0
vsize: 35760
[startup+330.043 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 8967 0 7 0 32573 97 0 0 25 0 1 0 805760511 36618240 7352 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8940 7352 300 300 0 8640 0
vsize: 35760
[startup+340.043 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9057 0 7 0 33569 100 0 0 25 0 1 0 805760511 36888576 7442 4294967295 134512640 135726644 3221224576 3221223072 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9006 7442 300 300 0 8706 0
vsize: 36024
[startup+350.043 s]
Raw data (loadavg): 0.99 0.69 0.30 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9092 0 7 0 34569 101 0 0 25 0 1 0 805760511 36888576 7477 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9006 7477 300 300 0 8706 0
vsize: 36024
[startup+360.044 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9133 0 7 0 35568 102 0 0 25 0 1 0 805760511 36966400 7518 4294967295 134512640 135726644 3221224576 3221222832 134763405 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9025 7518 300 300 0 8725 0
vsize: 36100
[startup+370.044 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9177 0 7 0 36567 103 0 0 25 0 1 0 805760511 37052416 7562 4294967295 134512640 135726644 3221224576 3221223200 134744506 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9046 7562 300 300 0 8746 0
vsize: 36184
[startup+380.044 s]
Raw data (loadavg): 0.99 0.72 0.32 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9375 0 7 0 37565 105 0 0 25 0 1 0 805760511 37834752 7760 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9237 7760 300 300 0 8937 0
vsize: 36948
[startup+390.044 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9454 0 7 0 38561 110 0 0 25 0 1 0 805760511 38014976 7839 4294967295 134512640 135726644 3221224576 3221222892 134809980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9281 7839 300 300 0 8981 0
vsize: 37124
[startup+400.044 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9504 0 7 0 39556 115 0 0 25 0 1 0 805760511 38092800 7889 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9300 7889 300 300 0 9000 0
vsize: 37200
[startup+410.045 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9548 0 7 0 40555 116 0 0 25 0 1 0 805760511 38092800 7933 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9300 7933 300 300 0 9000 0
vsize: 37200
[startup+420.045 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9620 0 7 0 41552 119 0 0 25 0 1 0 805760511 38338560 8005 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9360 8005 300 300 0 9060 0
vsize: 37440
[startup+430.045 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9662 0 7 0 42550 121 0 0 25 0 1 0 805760511 38338560 8047 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9360 8047 300 300 0 9060 0
vsize: 37440
[startup+440.045 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9702 0 7 0 43549 122 0 0 25 0 1 0 805760511 38428672 8087 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9382 8087 300 300 0 9082 0
vsize: 37528
[startup+450.045 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9781 0 7 0 44545 127 0 0 25 0 1 0 805760511 38649856 8166 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9436 8166 300 300 0 9136 0
vsize: 37744
[startup+460.046 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9881 0 7 0 45542 130 0 0 25 0 1 0 805760511 39014400 8266 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9525 8266 300 300 0 9225 0
vsize: 38100
[startup+470.046 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9916 0 7 0 46541 131 0 0 25 0 1 0 805760511 39014400 8301 4294967295 134512640 135726644 3221224576 3221223196 134727347 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9525 8301 300 300 0 9225 0
vsize: 38100
[startup+480.045 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9956 0 7 0 47539 133 0 0 25 0 1 0 805760511 39096320 8341 4294967295 134512640 135726644 3221224576 3221222756 135277612 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9545 8341 300 300 0 9245 0
vsize: 38180
[startup+490.046 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 9999 0 7 0 48538 134 0 0 25 0 1 0 805760511 39096320 8384 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9545 8384 300 300 0 9245 0
vsize: 38180
[startup+500.045 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10051 0 7 0 49535 137 0 0 25 0 1 0 805760511 39309312 8436 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9597 8436 300 300 0 9297 0
vsize: 38388
[startup+510.046 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10156 0 7 0 50531 141 0 0 25 0 1 0 805760511 39579648 8541 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9663 8541 300 300 0 9363 0
vsize: 38652
[startup+520.047 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10224 0 7 0 51528 145 0 0 25 0 1 0 805760511 39796736 8609 4294967295 134512640 135726644 3221224576 3221223120 134736661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9716 8609 300 300 0 9416 0
vsize: 38864
[startup+530.047 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10261 0 7 0 52528 145 0 0 25 0 1 0 805760511 39796736 8646 4294967295 134512640 135726644 3221224576 3221222904 134810883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9716 8646 300 300 0 9416 0
vsize: 38864
[startup+540.047 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10296 0 7 0 53527 147 0 0 25 0 1 0 805760511 39874560 8681 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9735 8681 300 300 0 9435 0
vsize: 38940
[startup+550.047 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10337 0 7 0 54525 148 0 0 25 0 1 0 805760511 39874560 8722 4294967295 134512640 135726644 3221224576 3221223200 134779694 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9735 8722 300 300 0 9435 0
vsize: 38940
[startup+560.047 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10459 0 7 0 55521 152 0 0 25 0 1 0 805760511 40374272 8844 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9857 8844 300 300 0 9557 0
vsize: 39428
[startup+570.047 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10517 0 7 0 56513 160 0 0 25 0 1 0 805760511 40460288 8902 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9878 8902 300 300 0 9578 0
vsize: 39512
[startup+580.047 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10544 0 7 0 57510 164 0 0 25 0 1 0 805760511 40534016 8929 4294967295 134512640 135726644 3221224576 3221223184 134741148 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9896 8929 300 300 0 9596 0
vsize: 39584
[startup+590.048 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10580 0 7 0 58509 165 0 0 25 0 1 0 805760511 40534016 8965 4294967295 134512640 135726644 3221224576 3221223120 134736644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9896 8965 300 300 0 9596 0
vsize: 39584
[startup+600.048 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 10621 0 7 0 59508 166 0 0 25 0 1 0 805760511 40615936 9006 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9916 9006 300 300 0 9616 0
vsize: 39664
[startup+610.048 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12203 0 7 0 60504 171 0 0 25 0 1 0 805760511 46993408 9051 4294967295 134512640 135726644 3221224576 3221223200 134744606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11473 9051 300 300 0 11173 0
vsize: 45892
[startup+620.048 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12256 0 7 0 61501 173 0 0 25 0 1 0 805760511 47087616 9104 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11496 9104 300 300 0 11196 0
vsize: 45984
[startup+630.048 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12324 0 7 0 62500 174 0 0 25 0 1 0 805760511 47300608 9172 4294967295 134512640 135726644 3221224576 3221223200 134744678 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 9172 300 300 0 11248 0
vsize: 46192
[startup+640.048 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12446 0 7 0 63499 176 0 0 25 0 1 0 805760511 47644672 9294 4294967295 134512640 135726644 3221224576 3221223120 134736737 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11632 9294 300 300 0 11332 0
vsize: 46528
[startup+650.048 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12512 0 7 0 64498 177 0 0 25 0 1 0 805760511 47882240 9360 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11690 9360 300 300 0 11390 0
vsize: 46760
[startup+660.05 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12660 0 7 0 65493 182 0 0 25 0 1 0 805760511 48435200 9508 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11825 9508 300 300 0 11525 0
vsize: 47300
[startup+670.049 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12719 0 7 0 66489 187 0 0 25 0 1 0 805760511 48570368 9567 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11858 9567 300 300 0 11558 0
vsize: 47432
[startup+680.049 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12772 0 7 0 67484 191 0 0 25 0 1 0 805760511 48705536 9620 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11891 9620 300 300 0 11591 0
vsize: 47564
[startup+690.049 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12820 0 7 0 68481 195 0 0 25 0 1 0 805760511 48803840 9668 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11915 9668 300 300 0 11615 0
vsize: 47660
[startup+700.049 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12868 0 7 0 69477 199 0 0 25 0 1 0 805760511 48881664 9716 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11934 9716 300 300 0 11634 0
vsize: 47736
[startup+710.05 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12899 0 7 0 70473 203 0 0 25 0 1 0 805760511 48881664 9747 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11934 9747 300 300 0 11634 0
vsize: 47736
[startup+720.051 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 12974 0 7 0 71470 207 0 0 25 0 1 0 805760511 49106944 9822 4294967295 134512640 135726644 3221224576 3221222896 134729206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11989 9822 300 300 0 11689 0
vsize: 47956
[startup+730.05 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13008 0 7 0 72467 209 0 0 25 0 1 0 805760511 49106944 9856 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11989 9856 300 300 0 11689 0
vsize: 47956
[startup+740.051 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13045 0 7 0 73466 211 0 0 25 0 1 0 805760511 49180672 9893 4294967295 134512640 135726644 3221224576 3221222816 134782976 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12007 9893 300 300 0 11707 0
vsize: 48028
[startup+750.05 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13089 0 7 0 74464 213 0 0 25 0 1 0 805760511 49266688 9937 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12028 9937 300 300 0 11728 0
vsize: 48112
[startup+760.051 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13134 0 7 0 75463 214 0 0 25 0 1 0 805760511 49373184 9982 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12054 9982 300 300 0 11754 0
vsize: 48216
[startup+770.052 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13191 0 7 0 76461 216 0 0 25 0 1 0 805760511 49512448 10039 4294967295 134512640 135726644 3221224576 3221223184 134741184 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12088 10039 300 300 0 11788 0
vsize: 48352
[startup+780.051 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13254 0 7 0 77456 221 0 0 25 0 1 0 805760511 49758208 10102 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12148 10102 300 300 0 11848 0
vsize: 48592
[startup+790.052 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13337 0 7 0 78453 224 0 0 25 0 1 0 805760511 50028544 10185 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12214 10185 300 300 0 11914 0
vsize: 48856
[startup+800.053 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13395 0 7 0 79448 230 0 0 25 0 1 0 805760511 50139136 10243 4294967295 134512640 135726644 3221224576 3221223184 134740863 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12241 10243 300 300 0 11941 0
vsize: 48964
[startup+810.053 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13433 0 7 0 80446 231 0 0 25 0 1 0 805760511 50212864 10281 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12259 10281 300 300 0 11959 0
vsize: 49036
[startup+820.053 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13475 0 7 0 81445 233 0 0 25 0 1 0 805760511 50212864 10323 4294967295 134512640 135726644 3221224576 3221223120 134736688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12259 10323 300 300 0 11959 0
vsize: 49036
[startup+830.053 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13502 0 7 0 82441 237 0 0 25 0 1 0 805760511 50307072 10350 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12282 10350 300 300 0 11982 0
vsize: 49128
[startup+840.053 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13590 0 7 0 83437 242 0 0 25 0 1 0 805760511 50577408 10438 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12348 10438 300 300 0 12048 0
vsize: 49392
[startup+850.053 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13626 0 7 0 84435 243 0 0 25 0 1 0 805760511 50577408 10474 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12348 10474 300 300 0 12048 0
vsize: 49392
[startup+860.053 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13665 0 7 0 85434 245 0 0 25 0 1 0 805760511 50651136 10513 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12366 10513 300 300 0 12066 0
vsize: 49464
[startup+870.054 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13707 0 7 0 86433 246 0 0 25 0 1 0 805760511 50733056 10555 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12386 10555 300 300 0 12086 0
vsize: 49544
[startup+880.054 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13753 0 7 0 87432 247 0 0 25 0 1 0 805760511 50806784 10601 4294967295 134512640 135726644 3221224576 3221223184 134741148 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12404 10601 300 300 0 12104 0
vsize: 49616
[startup+890.054 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13787 0 7 0 88431 248 0 0 25 0 1 0 805760511 50806784 10635 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12404 10635 300 300 0 12104 0
vsize: 49616
[startup+900.053 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13839 0 7 0 89429 250 0 0 25 0 1 0 805760511 50970624 10687 4294967295 134512640 135726644 3221224576 3221222896 134729020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12444 10687 300 300 0 12144 0
vsize: 49776
[startup+910.054 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13938 0 7 0 90425 254 0 0 25 0 1 0 805760511 51318784 10786 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12529 10786 300 300 0 12229 0
vsize: 50116
[startup+920.053 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 13963 0 7 0 91423 257 0 0 25 0 1 0 805760511 51318784 10811 4294967295 134512640 135726644 3221224576 3221223184 134741170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12529 10811 300 300 0 12229 0
vsize: 50116
[startup+930.053 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14042 0 7 0 92419 260 0 0 25 0 1 0 805760511 51589120 10890 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12595 10890 300 300 0 12295 0
vsize: 50380
[startup+940.054 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14078 0 7 0 93416 264 0 0 25 0 1 0 805760511 51662848 10926 4294967295 134512640 135726644 3221224576 3221223236 134745067 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12613 10926 300 300 0 12313 0
vsize: 50452
[startup+950.054 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14139 0 7 0 94411 268 0 0 25 0 1 0 805760511 51798016 10987 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12646 10987 300 300 0 12346 0
vsize: 50584
[startup+960.054 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14174 0 7 0 95410 270 0 0 25 0 1 0 805760511 51798016 11022 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12646 11022 300 300 0 12346 0
vsize: 50584
[startup+970.054 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14202 0 7 0 96409 271 0 0 25 0 1 0 805760511 51879936 11050 4294967295 134512640 135726644 3221224576 3221223120 134736688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12666 11050 300 300 0 12366 0
vsize: 50664
[startup+980.053 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14242 0 7 0 97408 272 0 0 25 0 1 0 805760511 51879936 11090 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12666 11090 300 300 0 12366 0
vsize: 50664
[startup+990.054 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14344 0 7 0 98406 275 0 0 25 0 1 0 805760511 52224000 11192 4294967295 134512640 135726644 3221224576 3221222904 134810703 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12750 11192 300 300 0 12450 0
vsize: 51000
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14376 0 7 0 99405 276 0 0 25 0 1 0 805760511 52224000 11224 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12750 11224 300 300 0 12450 0
vsize: 51000
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14438 0 7 0 100400 281 0 0 25 0 1 0 805760511 52445184 11286 4294967295 134512640 135726644 3221224576 3221222800 134810220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12804 11286 300 300 0 12504 0
vsize: 51216
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14482 0 7 0 101396 285 0 0 25 0 1 0 805760511 52527104 11330 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12824 11330 300 300 0 12524 0
vsize: 51296
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14518 0 7 0 102395 287 0 0 25 0 1 0 805760511 52527104 11366 4294967295 134512640 135726644 3221224576 3221222896 134729216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12824 11366 300 300 0 12524 0
vsize: 51296
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14556 0 7 0 103394 288 0 0 25 0 1 0 805760511 52604928 11404 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12843 11404 300 300 0 12543 0
vsize: 51372
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14591 0 7 0 104392 289 0 0 25 0 1 0 805760511 52604928 11439 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12843 11439 300 300 0 12543 0
vsize: 51372
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14681 0 7 0 105386 296 0 0 25 0 1 0 805760511 52875264 11529 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12909 11529 300 300 0 12609 0
vsize: 51636
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14746 0 7 0 106378 304 0 0 25 0 1 0 805760511 53125120 11594 4294967295 134512640 135726644 3221224576 3221222820 135105700 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12970 11594 300 300 0 12670 0
vsize: 51880
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14783 0 7 0 107377 305 0 0 25 0 1 0 805760511 53125120 11631 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12970 11631 300 300 0 12670 0
vsize: 51880
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14813 0 7 0 108376 306 0 0 25 0 1 0 805760511 53125120 11661 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12970 11661 300 300 0 12670 0
vsize: 51880
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14844 0 7 0 109375 307 0 0 25 0 1 0 805760511 53125120 11692 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12970 11692 300 300 0 12670 0
vsize: 51880
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14876 0 7 0 110374 308 0 0 25 0 1 0 805760511 53198848 11724 4294967295 134512640 135726644 3221224576 3221223072 134744180 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12988 11724 300 300 0 12688 0
vsize: 51952
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 14988 0 7 0 111372 310 0 0 25 0 1 0 805760511 53587968 11836 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13083 11836 300 300 0 12783 0
vsize: 52332
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 15011 0 7 0 112370 313 0 0 25 0 1 0 805760511 53587968 11859 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13083 11859 300 300 0 12783 0
vsize: 52332
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 15048 0 7 0 113369 314 0 0 25 0 1 0 805760511 53587968 11896 4294967295 134512640 135726644 3221224576 3221223120 134736714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13083 11896 300 300 0 12783 0
vsize: 52332
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 15080 0 7 0 114368 315 0 0 25 0 1 0 805760511 53661696 11928 4294967295 134512640 135726644 3221224576 3221222756 135277586 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13101 11928 300 300 0 12801 0
vsize: 52404
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 15118 0 7 0 115367 316 0 0 25 0 1 0 805760511 53661696 11966 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13101 11966 300 300 0 12801 0
vsize: 52404
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 15162 0 7 0 116366 317 0 0 25 0 1 0 805760511 53760000 12010 4294967295 134512640 135726644 3221224576 3221223088 134742955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13125 12010 300 300 0 12825 0
vsize: 52500
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 15298 0 7 0 117363 320 0 0 25 0 1 0 805760511 54255616 12146 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13246 12146 300 300 0 12946 0
vsize: 52984
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 15336 0 7 0 118361 323 0 0 25 0 1 0 805760511 54255616 12184 4294967295 134512640 135726644 3221224576 3221223088 134742217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13246 12184 300 300 0 12946 0
vsize: 52984
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 15369 0 7 0 119359 324 0 0 25 0 1 0 805760511 54345728 12217 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13268 12217 300 300 0 12968 0
vsize: 53072
[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 5233
Raw data (stat): 5233 (pb2sat) R 5232 1269 1268 0 -1 0 15409 0 7 0 120359 326 0 0 25 0 1 0 805760511 54345728 12257 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13268 12257 300 300 0 12968 0
vsize: 53072
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.38 s]
Raw data (loadavg): 0.99 0.97 0.70 1/54 5233
Raw data (stat): 5233 (pb2sat) Z 5232 1269 1268 0 -1 12 15410 0 7 0 120388 328 0 0 25 0 1 0 805760511 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): 1210.38
CPU time (s): 1207.17
CPU user time (s): 1203.89
CPU system time (s): 3.2835
CPU usage (%): 99.7347
Max. virtual memory (Kb): 53072
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####