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-chnl40_45_pb.cnf.cr.opb
MD5SUM	df5f31774bab40070962f7d0b16d093c
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	46
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.107983
Number of variables	3600
Total number of constraints	170
Number of constraints which are clauses	90
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	45
Trace number 41900

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        864600 kB
Buffers:         33388 kB
Cached:         111492 kB
SwapCached:       4448 kB
Active:          60100 kB
Inactive:        89860 kB
HighTotal:      131008 kB
HighFree:        31528 kB
LowTotal:       903652 kB
LowFree:        833072 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14504 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 20:04:47 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 25116 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 3520/10640	Time: 55.8285/86400
c Decision: 3520/10640	Time: 57.6892/86400
c Decision: 3520/10640	Time: 59.7139/86400
c Decision: 3520/10640	Time: 61.6376/86400
c Decision: 3520/10640	Time: 63.5313/86400
c Decision: 3520/10640	Time: 65.939/86400
c Decision: 3520/10640	Time: 67.8327/86400
c Decision: 3520/10640	Time: 69.7104/86400
c Decision: 3520/10640	Time: 71.7831/86400
c Decision: 3520/10640	Time: 73.8648/86400
c Decision: 3520/10640	Time: 76.4534/86400
c Decision: 3520/10640	Time: 78.5641/86400
c Decision: 3520/10640	Time: 80.6447/86400
c Decision: 3520/10640	Time: 82.9404/86400
c Decision: 3520/10640	Time: 85.0611/86400
c Decision: 3520/10640	Time: 87.7687/86400
c Decision: 3520/10640	Time: 89.9553/86400
c Decision: 3520/10640	Time: 92.252/86400
c Decision: 3520/10640	Time: 94.5966/86400
c Decision: 3520/10640	Time: 96.9933/86400
c Decision: 3520/10640	Time: 99.6818/86400
c Decision: 3520/10640	Time: 102.059/86400
c Decision: 3520/10640	Time: 104.674/86400
c Decision: 3520/10640	Time: 107.064/86400
c Decision: 3520/10640	Time: 109.471/86400
c Decision: 3520/10640	Time: 117.787/86400
c Decision: 3520/10640	Time: 119.272/86400
c Decision: 3520/10640	Time: 122.294/86400
c Decision: 3520/10640	Time: 124.204/86400
c Decision: 3520/10640	Time: 125.955/86400
c Decision: 3520/10640	Time: 127.636/86400
c Decision: 3520/10640	Time: 129.467/86400
c Decision: 3520/10640	Time: 131.169/86400
c Decision: 3520/10640	Time: 132.774/86400
c Decision: 3520/10640	Time: 134.561/86400
c Decision: 3520/10640	Time: 136.409/86400
c Decision: 3520/10640	Time: 138.122/86400
c Decision: 3520/10640	Time: 140.025/86400
c Decision: 3520/10640	Time: 141.799/86400
c Decision: 3520/10640	Time: 143.617/86400
c Decision: 3520/10640	Time: 145.693/86400
c Decision: 3520/10640	Time: 147.778/86400
c Decision: 3520/10640	Time: 149.868/86400
c Decision: 3520/10640	Time: 151.862/86400
c Decision: 3520/10640	Time: 154.001/86400
c Decision: 3520/10640	Time: 156.372/86400
c Decision: 3520/10640	Time: 158.402/86400
c Decision: 3520/10640	Time: 160.607/86400
c Decision: 3520/10640	Time: 162.998/86400
c Decision: 3520/10640	Time: 165.095/86400
c Decision: 3520/10640	Time: 167.523/86400
c Decision: 3520/10640	Time: 169.776/86400
c Decision: 3520/10640	Time: 171.915/86400
c Decision: 3520/10640	Time: 174.278/86400
c Decision: 3520/10640	Time: 176.531/86400
c Decision: 3520/10640	Time: 179.038/86400
c Decision: 3520/10640	Time: 181.493/86400
c Decision: 3520/10640	Time: 183.881/86400
c Decision: 3520/10640	Time: 186.403/86400
c Decision: 3520/10640	Time: 188.735/86400
c Decision: 3520/10640	Time: 191.774/86400
c Decision: 3520/10640	Time: 194.104/86400
c Decision: 3520/10640	Time: 196.698/86400
c Decision: 3520/10640	Time: 199.307/86400
c Decision: 3520/10640	Time: 201.721/86400
c Decision: 3520/10640	Time: 204.677/86400
c Decision: 3520/10640	Time: 207.268/86400
c Decision: 3520/10640	Time: 209.626/86400
c Decision: 3520/10640	Time: 212.277/86400
c Decision: 3520/10640	Time: 214.919/86400
c Decision: 3520/10640	Time: 217.957/86400
c Decision: 3520/10640	Time: 220.603/86400
c Decision: 3520/10640	Time: 223.216/86400
c Decision: 3520/10640	Time: 233.411/86400
c Decision: 3520/10640	Time: 235.09/86400
c Decision: 3520/10640	Time: 236.692/86400
c Decision: 3520/10640	Time: 238.379/86400
c Decision: 3520/10640	Time: 240.189/86400
c Decision: 3520/10640	Time: 241.994/86400
c Decision: 3520/10640	Time: 243.817/86400
c Decision: 3520/10640	Time: 245.47/86400
c Decision: 3520/10640	Time: 247.399/86400
c Decision: 3520/10640	Time: 249.134/86400
c Decision: 3520/10640	Time: 250.847/86400
c Decision: 3520/10640	Time: 252.55/86400
c Decision: 3520/10640	Time: 254.613/86400
c Decision: 3520/10640	Time: 256.436/86400
c Decision: 3520/10640	Time: 258.143/86400
c Decision: 3520/10640	Time: 259.921/86400
c Decision: 3520/10640	Time: 261.749/86400
c Decision: 3520/10640	Time: 263.85/86400
c Decision: 3520/10640	Time: 265.695/86400
c Decision: 3520/10640	Time: 267.701/86400
c Decision: 3520/10640	Time: 269.568/86400
c Decision: 3520/10640	Time: 271.559/86400
c Decision: 3520/10640	Time: 273.822/86400
c Decision: 3520/10640	Time: 275.787/86400
c Decision: 3520/10640	Time: 277.722/86400
c Decision: 3520/10640	Time: 279.656/86400
c Decision: 3520/10640	Time: 281.651/86400
c Decision: 3520/10640	Time: 283.931/86400
c Decision: 3520/10640	Time: 286.076/86400
c Decision: 3520/10640	Time: 288.204/86400
c Decision: 3520/10640	Time: 290.288/86400
c Decision: 3520/10640	Time: 292.373/86400
c Decision: 3520/10640	Time: 294.899/86400
c Decision: 3520/10640	Time: 296.908/86400
c Decision: 3520/10640	Time: 299.122/86400
c Decision: 3520/10640	Time: 301.269/86400
c Decision: 3520/10640	Time: 303.514/86400
c Decision: 3520/10640	Time: 305.858/86400
c Decision: 3520/10640	Time: 308.117/86400
c Decision: 3520/10640	Time: 310.31/86400
c Decision: 3520/10640	Time: 312.635/86400
c Decision: 3520/10640	Time: 314.905/86400
c Decision: 3520/10640	Time: 317.526/86400
c Decision: 3520/10640	Time: 319.837/86400
c Decision: 3520/10640	Time: 322.373/86400
c Decision: 3520/10640	Time: 324.452/86400
c Decision: 3520/10640	Time: 326.747/86400
c Decision: 3520/10640	Time: 329.631/86400
c Decision: 3520/10640	Time: 332/86400
c Decision: 3520/10640	Time: 334.395/86400
c Decision: 3520/10640	Time: 336.866/86400
c Decision: 3520/10640	Time: 339.27/86400
c Decision: 3520/10640	Time: 341.976/86400
c Decision: 3520/10640	Time: 344.344/86400
c Decision: 3520/10640	Time: 346.743/86400
c Decision: 3520/10640	Time: 349.112/86400
c Decision: 3520/10640	Time: 351.595/86400
c Decision: 3520/10640	Time: 354.528/86400
c Decision: 3520/10640	Time: 356.87/86400
c Decision: 3520/10640	Time: 359.365/86400
c Decision: 3520/10640	Time: 361.902/86400
c Decision: 3520/10640	Time: 364.347/86400
c Decision: 3520/10640	Time: 367.364/86400
c Decision: 3520/10640	Time: 370.028/86400
c Decision: 3520/10640	Time: 372.623/86400
c Decision: 3520/10640	Time: 375.14/86400
c Decision: 3520/10640	Time: 377.684/86400
c Decision: 3520/10640	Time: 380.672/86400
c Decision: 3520/10640	Time: 383.35/86400
c Decision: 3520/10640	Time: 386.004/86400
c Decision: 3520/10640	Time: 388.533/86400
c Decision: 3520/10640	Time: 391.078/86400
c Decision: 3520/10640	Time: 394.298/86400
c Decision: 3520/10640	Time: 397.006/86400
c Decision: 3520/10640	Time: 399.739/86400
c Decision: 3520/10640	Time: 402.629/86400
c Decision: 3520/10640	Time: 405.294/86400
c Decision: 3520/10640	Time: 408.484/86400
c Decision: 3520/10640	Time: 411.069/86400
c Decision: 3520/10640	Time: 413.751/86400
c Decision: 3520/10640	Time: 416.373/86400
c Decision: 3520/10640	Time: 418.938/86400
c Decision: 3520/10640	Time: 422.246/86400
c Decision: 3520/10640	Time: 425.036/86400
c Decision: 3520/10640	Time: 427.798/86400
c Decision: 3520/10640	Time: 430.543/86400
c Decision: 3520/10640	Time: 433.454/86400
c Decision: 3520/10640	Time: 436.969/86400
c Decision: 3520/10640	Time: 439.593/86400
c Decision: 3520/10640	Time: 442.448/86400
c Decision: 3520/10640	Time: 445.313/86400
c Decision: 3520/10640	Time: 448.169/86400
c Decision: 3520/10640	Time: 451.534/86400
c Decision: 3520/10640	Time: 454.254/86400
c Decision: 3520/10640	Time: 457.173/86400
c Decision: 3520/10640	Time: 459.868/86400
c Decision: 3520/10640	Time: 462.601/86400
c Decision: 3520/10640	Time: 466.081/86400
c Decision: 3520/10640	Time: 468.917/86400
c Decision: 3520/10640	Time: 471.798/86400
c Decision: 3520/10640	Time: 474.65/86400
c Decision: 3520/10640	Time: 477.537/86400
c Decision: 3520/10640	Time: 487.044/86400
c Decision: 3520/10640	Time: 488.874/86400
c Decision: 3520/10640	Time: 491.746/86400
c Decision: 3520/10640	Time: 493.529/86400
c Decision: 3520/10640	Time: 495.281/86400
c Decision: 3520/10640	Time: 497.127/86400
c Decision: 3520/10640	Time: 499.115/86400
c Decision: 3520/10640	Time: 502.635/86400
c Decision: 3520/10640	Time: 504.111/86400
c Decision: 3520/10640	Time: 506.789/86400
c Decision: 3520/10640	Time: 508.235/86400
c Decision: 3520/10640	Time: 511.06/86400
c Decision: 3520/10640	Time: 512.774/86400
c Decision: 3520/10640	Time: 514.101/86400
c Decision: 3520/10640	Time: 515.828/86400
c Decision: 3520/10640	Time: 517.774/86400
c Decision: 3520/10640	Time: 519.381/86400
c Decision: 3520/10640	Time: 521.084/86400
c Decision: 3520/10640	Time: 522.689/86400
c Decision: 3520/10640	Time: 524.415/86400
c Decision: 3520/10640	Time: 526.418/86400
c Decision: 3520/10640	Time: 528.28/86400
c Decision: 3520/10640	Time: 530.103/86400
c Decision: 3520/10640	Time: 532.201/86400
c Decision: 3520/10640	Time: 534.051/86400
c Decision: 3520/10640	Time: 536.223/86400
c Decision: 3520/10640	Time: 538.21/86400
c Decision: 3520/10640	Time: 540.182/86400
c Decision: 3520/10640	Time: 542.132/86400
c Decision: 3520/10640	Time: 544.175/86400
c Decision: 3520/10640	Time: 546.574/86400
c Decision: 3520/10640	Time: 548.81/86400
c Decision: 3520/10640	Time: 550.953/86400
c Decision: 3520/10640	Time: 553.055/86400
c Decision: 3520/10640	Time: 555.333/86400
c Decision: 3520/10640	Time: 557.89/86400
c Decision: 3520/10640	Time: 560.094/86400
c Decision: 3520/10640	Time: 562.248/86400
c Decision: 3520/10640	Time: 564.503/86400
c Decision: 3520/10640	Time: 567.027/86400
c Decision: 3520/10640	Time: 569.732/86400
c Decision: 3520/10640	Time: 572.244/86400
c Decision: 3520/10640	Time: 574.539/86400
c Decision: 3520/10640	Time: 576.842/86400
c Decision: 3520/10640	Time: 579.328/86400
c Decision: 3520/10640	Time: 582.229/86400
c Decision: 3520/10640	Time: 584.592/86400
c Decision: 3520/10640	Time: 587.012/86400
c Decision: 3520/10640	Time: 589.45/86400
c Decision: 3520/10640	Time: 592.064/86400
c Decision: 3520/10640	Time: 595.081/86400
c Decision: 3520/10640	Time: 597.627/86400
c Decision: 3520/10640	Time: 600.302/86400
c Decision: 3520/10640	Time: 603.064/86400
c Decision: 3520/10640	Time: 605.663/86400
c Decision: 3520/10640	Time: 608.883/86400
c Decision: 3520/10640	Time: 611.439/86400
c Decision: 3520/10640	Time: 614.113/86400
c Decision: 3520/10640	Time: 616.851/86400
c Decision: 3520/10640	Time: 619.504/86400
c Decision: 3520/10640	Time: 622.724/86400
c Decision: 3520/10640	Time: 625.493/86400
c Decision: 3520/10640	Time: 628.212/86400
c Decision: 3520/10640	Time: 631.082/86400
c Decision: 3520/10640	Time: 633.898/86400
c Decision: 3520/10640	Time: 637.205/86400
c Decision: 3520/10640	Time: 640.137/86400
c Decision: 3520/10640	Time: 642.836/86400
c Decision: 3520/10640	Time: 645.666/86400
c Decision: 3520/10640	Time: 648.282/86400
c Decision: 3520/10640	Time: 651.592/86400
c Decision: 3520/10640	Time: 654.238/86400
c Decision: 3520/10640	Time: 656.872/86400
c Decision: 3520/10640	Time: 659.712/86400
c Decision: 3520/10640	Time: 662.638/86400
c Decision: 3520/10640	Time: 665.976/86400
c Decision: 3520/10640	Time: 668.87/86400
c Decision: 3520/10640	Time: 671.558/86400
c Decision: 3520/10640	Time: 674.132/86400
c Decision: 3520/10640	Time: 676.965/86400
c Decision: 3520/10640	Time: 680.363/86400
c Decision: 3520/10640	Time: 683.337/86400
c Decision: 3520/10640	Time: 686/86400
c Decision: 3520/10640	Time: 688.709/86400
c Decision: 3520/10640	Time: 691.421/86400
c Decision: 3520/10640	Time: 694.628/86400
c Decision: 3520/10640	Time: 697.422/86400
c Decision: 3520/10640	Time: 700.119/86400
c Decision: 3520/10640	Time: 702.821/86400
c Decision: 3520/10640	Time: 705.505/86400
c Decision: 3520/10640	Time: 708.944/86400
c Decision: 3520/10640	Time: 711.817/86400
c Decision: 3520/10640	Time: 714.635/86400
c Decision: 3520/10640	Time: 717.516/86400
c Decision: 3520/10640	Time: 720.347/86400
c Decision: 3520/10640	Time: 723.833/86400
c Decision: 3520/10640	Time: 726.694/86400
c Decision: 3520/10640	Time: 729.554/86400
c Decision: 3520/10640	Time: 732.393/86400
c Decision: 3520/10640	Time: 735.535/86400
c Decision: 3520/10640	Time: 739.185/86400
c Decision: 3520/10640	Time: 742.068/86400
c Decision: 3520/10640	Time: 745.069/86400
c Decision: 3520/10640	Time: 747.954/86400
c Decision: 3520/10640	Time: 750.875/86400
c Decision: 3520/10640	Time: 754.63/86400
c Decision: 3520/10640	Time: 757.596/86400
c Decision: 3520/10640	Time: 760.519/86400
c Decision: 3520/10640	Time: 763.409/86400
c Decision: 3520/10640	Time: 766.323/86400
c Decision: 3520/10640	Time: 769.983/86400
c Decision: 3520/10640	Time: 773.194/86400
c Decision: 3520/10640	Time: 776.176/86400
c Decision: 3520/10640	Time: 779.318/86400
c Decision: 3520/10640	Time: 782.473/86400
c Decision: 3520/10640	Time: 786.146/86400
c Decision: 3520/10640	Time: 789.356/86400
c Decision: 3520/10640	Time: 792.481/86400
c Decision: 3520/10640	Time: 795.514/86400
c Decision: 3520/10640	Time: 798.491/86400
c Decision: 3520/10640	Time: 802.255/86400
c Decision: 3520/10640	Time: 805.12/86400
c Decision: 3520/10640	Time: 808.38/86400
c Decision: 3520/10640	Time: 811.564/86400
c Decision: 3520/10640	Time: 814.6/86400
c Decision: 3520/10640	Time: 818.456/86400
c Decision: 3520/10640	Time: 821.409/86400
c Decision: 3520/10640	Time: 824.384/86400
c Decision: 3520/10640	Time: 827.407/86400
c Decision: 3520/10640	Time: 830.515/86400
c Decision: 3520/10640	Time: 834.33/86400
c Decision: 3520/10640	Time: 837.352/86400
c Decision: 3520/10640	Time: 840.509/86400
c Decision: 3520/10640	Time: 843.633/86400
c Decision: 3520/10640	Time: 846.905/86400
c Decision: 3520/10640	Time: 850.765/86400
c Decision: 3520/10640	Time: 854.093/86400
c Decision: 3520/10640	Time: 857.413/86400
c Decision: 3520/10640	Time: 860.649/86400
c Decision: 3520/10640	Time: 863.818/86400
c Decision: 3520/10640	Time: 867.687/86400
c Decision: 3520/10640	Time: 870.934/86400
c Decision: 3520/10640	Time: 874.222/86400
c Decision: 3520/10640	Time: 877.6/86400
c Decision: 3520/10640	Time: 880.943/86400
c Decision: 3520/10640	Time: 885.105/86400
c Decision: 3520/10640	Time: 888.44/86400
c Decision: 3520/10640	Time: 891.854/86400
c Decision: 3520/10640	Time: 895.321/86400
c Decision: 3520/10640	Time: 898.735/86400
c Decision: 3520/10640	Time: 903.031/86400
c Decision: 3520/10640	Time: 906.453/86400
c Decision: 3520/10640	Time: 909.92/86400
c Decision: 3520/10640	Time: 913.382/86400
c Decision: 3520/10640	Time: 917.01/86400
c Decision: 3520/10640	Time: 921.413/86400
c Decision: 3520/10640	Time: 924.877/86400
c Decision: 3520/10640	Time: 928.25/86400
c Decision: 3520/10640	Time: 931.716/86400
c Decision: 3520/10640	Time: 935.131/86400
c Decision: 3520/10640	Time: 939.259/86400
c Decision: 3520/10640	Time: 942.455/86400
c Decision: 3520/10640	Time: 945.848/86400
c Decision: 3520/10640	Time: 949.281/86400
c Decision: 3520/10640	Time: 952.626/86400
c Decision: 3520/10640	Time: 956.941/86400
c Decision: 3520/10640	Time: 960.23/86400
c Decision: 3520/10640	Time: 963.402/86400
c Decision: 3520/10640	Time: 966.722/86400
c Decision: 3520/10640	Time: 970.082/86400
c Decision: 3520/10640	Time: 974.074/86400
c Decision: 3520/10640	Time: 977.449/86400
c Decision: 3520/10640	Time: 980.606/86400
c Decision: 3520/10640	Time: 983.95/86400
c Decision: 3520/10640	Time: 987.309/86400
c Decision: 3520/10640	Time: 991.453/86400
c Decision: 3520/10640	Time: 994.749/86400
c Decision: 3520/10640	Time: 998.215/86400
c Decision: 3520/10640	Time: 1001.68/86400
c Decision: 3520/10640	Time: 1005.08/86400
c Decision: 3520/10640	Time: 1020.86/86400
c Decision: 3520/10640	Time: 1022.56/86400
c Decision: 3520/10640	Time: 1024.03/86400
c Decision: 3520/10640	Time: 1025.85/86400
c Decision: 3520/10640	Time: 1027.46/86400
c Decision: 3520/10640	Time: 1029.31/86400
c Decision: 3520/10640	Time: 1031.56/86400
c Decision: 3520/10640	Time: 1033.36/86400
c Decision: 3520/10640	Time: 1036.19/86400
c Decision: 3520/10640	Time: 1037.88/86400
c Decision: 3520/10640	Time: 1040.74/86400
c Decision: 3520/10640	Time: 1042.71/86400
c Decision: 3520/10640	Time: 1044.3/86400
c Decision: 3520/10640	Time: 1047.11/86400
c Decision: 3520/10640	Time: 1049/86400
c Decision: 3520/10640	Time: 1050.87/86400
c Decision: 3520/10640	Time: 1052.97/86400
c Decision: 3520/10640	Time: 1054.77/86400
c Decision: 3520/10640	Time: 1056.79/86400
c Decision: 3520/10640	Time: 1058.61/86400
c Decision: 3520/10640	Time: 1060.84/86400
c Decision: 3520/10640	Time: 1062.68/86400
c Decision: 3520/10640	Time: 1065.91/86400
c Decision: 3520/10640	Time: 1067.63/86400
c Decision: 3520/10640	Time: 1069.68/86400
c Decision: 3520/10640	Time: 1071.35/86400
c Decision: 3520/10640	Time: 1073.59/86400
c Decision: 3520/10640	Time: 1075.33/86400
c Decision: 3520/10640	Time: 1079.34/86400
c Decision: 3520/10640	Time: 1080.79/86400
c Decision: 3520/10640	Time: 1082.56/86400
c Decision: 3520/10640	Time: 1084.42/86400
c Decision: 3520/10640	Time: 1085.7/86400
c Decision: 3520/10640	Time: 1087.34/86400
c Decision: 3520/10640	Time: 1089.46/86400
c Decision: 3520/10640	Time: 1091.35/86400
c Decision: 3520/10640	Time: 1093.61/86400
c Decision: 3520/10640	Time: 1095.56/86400
c Decision: 3520/10640	Time: 1097.23/86400
c Decision: 3520/10640	Time: 1098.96/86400
c Decision: 3520/10640	Time: 1100.98/86400
c Decision: 3520/10640	Time: 1104.34/86400
c Decision: 3520/10640	Time: 1105.97/86400
c Decision: 3520/10640	Time: 1108.24/86400
c Decision: 3520/10640	Time: 1110.23/86400
c Decision: 3520/10640	Time: 1112.37/86400
c Decision: 3520/10640	Time: 1113.89/86400
c Decision: 3520/10640	Time: 1115.75/86400
c Decision: 3520/10640	Time: 1117.44/86400
c Decision: 3520/10640	Time: 1119.78/86400
c Decision: 3520/10640	Time: 1121.95/86400
c Decision: 3520/10640	Time: 1125.44/86400
c Decision: 3520/10640	Time: 1127.18/86400
c Decision: 3520/10640	Time: 1129.27/86400
c Decision: 3520/10640	Time: 1131.02/86400
c Decision: 3520/10640	Time: 1132.57/86400
c Decision: 3520/10640	Time: 1134.34/86400
c Decision: 3520/10640	Time: 1137.81/86400
c Decision: 3520/10640	Time: 1139.5/86400
c Decision: 3520/10640	Time: 1142.4/86400
c Decision: 3520/10640	Time: 1144.18/86400
c Decision: 3520/10640	Time: 1145.66/86400
c Decision: 3520/10640	Time: 1147.73/86400
c Decision: 3520/10640	Time: 1149.31/86400
c Decision: 3520/10640	Time: 1151.12/86400
c Decision: 3520/10640	Time: 1153.41/86400
c Decision: 3520/10640	Time: 1155.36/86400
c Decision: 3520/10640	Time: 1157.5/86400
c Decision: 3520/10640	Time: 1159.6/86400
c Decision: 3520/10640	Time: 1161.38/86400
c Decision: 3520/10640	Time: 1163.37/86400
c Decision: 3520/10640	Time: 1165.24/86400
c Decision: 3520/10640	Time: 1166.57/86400
c Decision: 3520/10640	Time: 1168.32/86400
c Decision: 3520/10640	Time: 1169.92/86400
c Decision: 3520/10640	Time: 1171.06/86400
c Decision: 3520/10640	Time: 1173/86400
c Decision: 3520/10640	Time: 1174.73/86400
c Decision: 3520/10640	Time: 1176.37/86400
c Decision: 3520/10640	Time: 1177.6/86400
c Decision: 3520/10640	Time: 1179.38/86400
c Decision: 3520/10640	Time: 1180.84/86400
c Decision: 3520/10640	Time: 1182.68/86400
c Decision: 3520/10640	Time: 1184.78/86400
c Decision: 3520/10640	Time: 1186.72/86400
c Decision: 3520/10640	Time: 1188.69/86400
c Decision: 3520/10640	Time: 1190.48/86400
c Decision: 3520/10640	Time: 1192.36/86400
c Decision: 3520/10640	Time: 1194.36/86400
c Decision: 3520/10640	Time: 1196.19/86400
c Decision: 3520/10640	Time: 1198.19/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.85 0.95 0.89 2/54 28424
Raw data (stat): 28424 (runsolver) R 28423 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964745632 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.95 0.89 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 2143 0 0 0 993 5 0 0 25 0 1 0 964745632 8953856 1721 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2186 1721 301 301 0 1885 0
vsize: 8744
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.96 0.90 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 2763 0 0 0 1991 7 0 0 25 0 1 0 964745632 13287424 2341 4294967295 134512640 135730672 3221224576 3221223168 134763776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3244 2341 301 301 0 2943 0
vsize: 12976
[startup+30.0017 s]
Raw data (loadavg): 0.91 0.96 0.90 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 3256 0 0 0 2990 9 0 0 25 0 1 0 964745632 13426688 2834 4294967295 134512640 135730672 3221224576 3221222960 134761530 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3278 2834 301 301 0 2977 0
vsize: 13112
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.96 0.90 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 3680 0 0 0 3988 11 0 0 25 0 1 0 964745632 21962752 3258 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5362 3258 301 301 0 5061 0
vsize: 21448
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.96 0.90 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 4166 0 0 0 4987 13 0 0 25 0 1 0 964745632 22110208 3744 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5398 3744 301 301 0 5097 0
vsize: 21592
[startup+60.0025 s]
Raw data (loadavg): 0.94 0.96 0.90 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 5185 0 0 0 5983 16 0 0 25 0 1 0 964745632 23773184 4570 4294967295 134512640 135730672 3221224576 3221223088 134746217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5804 4570 301 301 0 5503 0
vsize: 23216
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.96 0.90 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 6042 0 0 0 6979 20 0 0 25 0 1 0 964745632 24911872 5427 4294967295 134512640 135730672 3221224576 3221223088 134746168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6082 5427 301 301 0 5781 0
vsize: 24328
[startup+80.0039 s]
Raw data (loadavg): 0.96 0.96 0.90 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 6738 0 0 0 7976 23 0 0 25 0 1 0 964745632 42745856 6123 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10436 6123 301 301 0 10135 0
vsize: 41744
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.96 0.90 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 7288 0 0 0 8973 25 0 0 25 0 1 0 964745632 43757568 6673 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10683 6673 301 301 0 10382 0
vsize: 42732
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.90 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 8193 0 0 0 9971 28 0 0 25 0 1 0 964745632 45019136 7578 4294967295 134512640 135730672 3221224576 3221223188 134783202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10991 7578 301 301 0 10690 0
vsize: 43964
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.90 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 8918 0 0 0 10968 31 0 0 25 0 1 0 964745632 46153728 8303 4294967295 134512640 135730672 3221224576 3221223196 134730937 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11268 8303 301 301 0 10967 0
vsize: 45072
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 9265 0 0 0 11962 37 0 0 25 0 1 0 964745632 47218688 8650 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11528 8650 301 301 0 11227 0
vsize: 46112
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 9315 0 0 0 12958 41 0 0 25 0 1 0 964745632 47300608 8700 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 8700 301 301 0 11247 0
vsize: 46192
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 9354 0 0 0 13957 42 0 0 25 0 1 0 964745632 47403008 8739 4294967295 134512640 135730672 3221224576 3221222884 135282202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11573 8739 301 301 0 11272 0
vsize: 46292
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 9406 0 0 0 14956 43 0 0 25 0 1 0 964745632 47534080 8791 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11605 8791 301 301 0 11304 0
vsize: 46420
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 9478 0 0 0 15955 44 0 0 25 0 1 0 964745632 47702016 8863 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11646 8863 301 301 0 11345 0
vsize: 46584
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 9961 0 0 0 16954 46 0 0 25 0 1 0 964745632 49721344 8961 4294967295 134512640 135730672 3221224576 3221223088 134746497 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12139 8961 301 301 0 11838 0
vsize: 48556
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 10085 0 0 0 17953 47 0 0 25 0 1 0 964745632 50073600 9085 4294967295 134512640 135730672 3221224576 3221222960 134763159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12225 9085 301 301 0 11924 0
vsize: 48900
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 10233 0 0 0 18952 48 0 0 25 0 1 0 964745632 50663424 9233 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12369 9233 301 301 0 12068 0
vsize: 49476
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 10408 0 0 0 19952 48 0 0 25 0 1 0 964745632 51335168 9408 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12533 9408 301 301 0 12232 0
vsize: 50132
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 10743 0 0 0 20950 50 0 0 25 0 1 0 964745632 51916800 9743 4294967295 134512640 135730672 3221224576 3221223088 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12675 9743 301 301 0 12374 0
vsize: 50700
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 11540 0 0 0 21947 53 0 0 25 0 1 0 964745632 52727808 10540 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12873 10540 301 301 0 12572 0
vsize: 51492
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 11734 0 0 0 22945 56 0 0 25 0 1 0 964745632 53485568 10734 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13058 10734 301 301 0 12757 0
vsize: 52232
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12034 0 0 0 23942 59 0 0 25 0 1 0 964745632 53567488 11034 4294967295 134512640 135730672 3221224576 3221222896 134732879 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13078 11034 301 301 0 12777 0
vsize: 52312
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12057 0 0 0 24941 60 0 0 25 0 1 0 964745632 53567488 11057 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13078 11057 301 301 0 12777 0
vsize: 52312
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12079 0 0 0 25941 60 0 0 25 0 1 0 964745632 53567488 11079 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13078 11079 301 301 0 12777 0
vsize: 52312
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12100 0 0 0 26940 61 0 0 25 0 1 0 964745632 53567488 11100 4294967295 134512640 135730672 3221224576 3221223088 134746211 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13078 11100 301 301 0 12777 0
vsize: 52312
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12125 0 0 0 27939 62 0 0 25 0 1 0 964745632 53567488 11125 4294967295 134512640 135730672 3221224576 3221223088 134746216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13078 11125 301 301 0 12777 0
vsize: 52312
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12165 0 0 0 28939 63 0 0 25 0 1 0 964745632 53628928 11165 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13093 11165 301 301 0 12792 0
vsize: 52372
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12208 0 0 0 29939 63 0 0 25 0 1 0 964745632 53747712 11208 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13122 11208 301 301 0 12821 0
vsize: 52488
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12254 0 0 0 30938 64 0 0 25 0 1 0 964745632 53878784 11254 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13154 11254 301 301 0 12853 0
vsize: 52616
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12323 0 0 0 31937 65 0 0 25 0 1 0 964745632 54091776 11323 4294967295 134512640 135730672 3221224576 3221223088 134746481 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13206 11323 301 301 0 12905 0
vsize: 52824
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12380 0 0 0 32936 66 0 0 25 0 1 0 964745632 54231040 11380 4294967295 134512640 135730672 3221224576 3221223200 134783311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13240 11380 301 301 0 12939 0
vsize: 52960
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12432 0 0 0 33936 67 0 0 25 0 1 0 964745632 54378496 11432 4294967295 134512640 135730672 3221224576 3221222816 134786288 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13276 11432 301 301 0 12975 0
vsize: 53104
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12508 0 0 0 34935 67 0 0 25 0 1 0 964745632 54640640 11508 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13340 11508 301 301 0 13039 0
vsize: 53360
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12608 0 0 0 35935 68 0 0 25 0 1 0 964745632 54984704 11608 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13424 11608 301 301 0 13123 0
vsize: 53696
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12673 0 0 0 36934 69 0 0 25 0 1 0 964745632 55173120 11673 4294967295 134512640 135730672 3221224576 3221223088 134746399 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 11673 301 301 0 13169 0
vsize: 53880
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 12911 0 0 0 37933 70 0 0 25 0 1 0 964745632 55582720 11911 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13570 11911 301 301 0 13269 0
vsize: 54280
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 13777 0 0 0 38930 73 0 0 25 0 1 0 964745632 59056128 12008 4294967295 134512640 135730672 3221224576 3221223120 134740282 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14418 12008 301 301 0 14117 0
vsize: 57672
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 14080 0 0 0 39929 74 0 0 25 0 1 0 964745632 59277312 12311 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14472 12311 301 301 0 14171 0
vsize: 57888
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 14687 0 0 0 40928 76 0 0 25 0 1 0 964745632 59801600 12918 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14600 12918 301 301 0 14299 0
vsize: 58400
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 14847 0 0 0 41927 77 0 0 25 0 1 0 964745632 60121088 13078 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 13078 301 301 0 14377 0
vsize: 58712
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 15096 0 0 0 42926 78 0 0 25 0 1 0 964745632 60473344 13327 4294967295 134512640 135730672 3221224576 3221222896 134732736 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14764 13327 301 301 0 14463 0
vsize: 59056
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 15432 0 0 0 43925 79 0 0 25 0 1 0 964745632 60694528 13663 4294967295 134512640 135730672 3221224576 3221223088 134746586 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14818 13663 301 301 0 14517 0
vsize: 59272
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 15651 0 0 0 44924 81 0 0 25 0 1 0 964745632 61161472 13882 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14932 13882 301 301 0 14631 0
vsize: 59728
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 15801 0 0 0 45923 82 0 0 25 0 1 0 964745632 95043584 14032 4294967295 134512640 135730672 3221224576 3221223088 134746488 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23204 14032 301 301 0 22903 0
vsize: 92816
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16156 0 0 0 46921 83 0 0 25 0 1 0 964745632 95526912 14387 4294967295 134512640 135730672 3221224576 3221222836 134767028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23322 14387 301 301 0 23021 0
vsize: 93288
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16348 0 0 0 47920 85 0 0 25 0 1 0 964745632 96399360 14579 4294967295 134512640 135730672 3221224576 3221223120 134740440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23535 14579 301 301 0 23234 0
vsize: 94140
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16513 0 0 0 48916 89 0 0 25 0 1 0 964745632 96940032 14744 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 14744 301 301 0 23366 0
vsize: 94668
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16533 0 0 0 49911 94 0 0 25 0 1 0 964745632 96940032 14764 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 14764 301 301 0 23366 0
vsize: 94668
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16550 0 0 0 50904 101 0 0 25 0 1 0 964745632 96940032 14781 4294967295 134512640 135730672 3221224576 3221222896 134732790 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 14781 301 301 0 23366 0
vsize: 94668
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16574 0 0 0 51901 104 0 0 25 0 1 0 964745632 96940032 14805 4294967295 134512640 135730672 3221224576 3221223120 134740316 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 14805 301 301 0 23366 0
vsize: 94668
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16598 0 0 0 52901 105 0 0 25 0 1 0 964745632 96940032 14829 4294967295 134512640 135730672 3221224576 3221223120 134740210 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 14829 301 301 0 23366 0
vsize: 94668
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16618 0 0 0 53900 106 0 0 25 0 1 0 964745632 96940032 14849 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 14849 301 301 0 23366 0
vsize: 94668
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16639 0 0 0 54900 106 0 0 25 0 1 0 964745632 96940032 14870 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 14870 301 301 0 23366 0
vsize: 94668
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16667 0 0 0 55899 107 0 0 25 0 1 0 964745632 96940032 14898 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 14898 301 301 0 23366 0
vsize: 94668
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16695 0 0 0 56898 108 0 0 25 0 1 0 964745632 96997376 14926 4294967295 134512640 135730672 3221224576 3221223196 134783158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23681 14926 301 301 0 23380 0
vsize: 94724
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16722 0 0 0 57898 109 0 0 25 0 1 0 964745632 97046528 14953 4294967295 134512640 135730672 3221224576 3221222756 135281100 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23693 14953 301 301 0 23392 0
vsize: 94772
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16745 0 0 0 58897 110 0 0 25 0 1 0 964745632 97099776 14976 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23706 14976 301 301 0 23405 0
vsize: 94824
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16771 0 0 0 59897 110 0 0 25 0 1 0 964745632 97099776 15002 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23706 15002 301 301 0 23405 0
vsize: 94824
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16829 0 0 0 60896 111 0 0 25 0 1 0 964745632 97316864 15060 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23759 15060 301 301 0 23458 0
vsize: 95036
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16882 0 0 0 61896 112 0 0 25 0 1 0 964745632 97447936 15113 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23791 15113 301 301 0 23490 0
vsize: 95164
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16945 0 0 0 62895 112 0 0 25 0 1 0 964745632 97644544 15176 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23839 15176 301 301 0 23538 0
vsize: 95356
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 16998 0 0 0 63895 113 0 0 25 0 1 0 964745632 97841152 15229 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23887 15229 301 301 0 23586 0
vsize: 95548
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 17061 0 0 0 64894 113 0 0 25 0 1 0 964745632 98037760 15292 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23935 15292 301 301 0 23634 0
vsize: 95740
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 17091 0 0 0 65894 114 0 0 25 0 1 0 964745632 98103296 15322 4294967295 134512640 135730672 3221224576 3221223088 134746497 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23951 15322 301 301 0 23650 0
vsize: 95804
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 17137 0 0 0 66894 115 0 0 25 0 1 0 964745632 98234368 15368 4294967295 134512640 135730672 3221224576 3221222896 134732813 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23983 15368 301 301 0 23682 0
vsize: 95932
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 17194 0 0 0 67893 115 0 0 25 0 1 0 964745632 98406400 15425 4294967295 134512640 135730672 3221224576 3221223088 134746497 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24025 15425 301 301 0 23724 0
vsize: 96100
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 17253 0 0 0 68892 116 0 0 25 0 1 0 964745632 98545664 15484 4294967295 134512640 135730672 3221224576 3221222816 134786464 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24059 15484 301 301 0 23758 0
vsize: 96236
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 17289 0 0 0 69892 117 0 0 25 0 1 0 964745632 98672640 15520 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24090 15520 301 301 0 23789 0
vsize: 96360
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 17348 0 0 0 70892 118 0 0 25 0 1 0 964745632 98856960 15579 4294967295 134512640 135730672 3221224576 3221222816 134786464 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24135 15579 301 301 0 23834 0
vsize: 96540
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 17405 0 0 0 71891 119 0 0 25 0 1 0 964745632 99037184 15636 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24179 15636 301 301 0 23878 0
vsize: 96716
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 17481 0 0 0 72890 119 0 0 25 0 1 0 964745632 99299328 15712 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24243 15712 301 301 0 23942 0
vsize: 96972
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 17949 0 0 0 73889 121 0 0 25 0 1 0 964745632 99610624 16180 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24319 16180 301 301 0 24018 0
vsize: 97276
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 18055 0 0 0 74888 122 0 0 25 0 1 0 964745632 99938304 16286 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24399 16286 301 301 0 24098 0
vsize: 97596
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 18325 0 0 0 75887 123 0 0 25 0 1 0 964745632 100052992 16556 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24427 16556 301 301 0 24126 0
vsize: 97708
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 18397 0 0 0 76886 124 0 0 25 0 1 0 964745632 100298752 16628 4294967295 134512640 135730672 3221224576 3221223200 134783069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24487 16628 301 301 0 24186 0
vsize: 97948
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 18533 0 0 0 77886 125 0 0 25 0 1 0 964745632 100970496 16764 4294967295 134512640 135730672 3221224576 3221222896 134732691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24651 16764 301 301 0 24350 0
vsize: 98604
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 19025 0 0 0 78885 126 0 0 25 0 1 0 964745632 101265408 17256 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24723 17256 301 301 0 24422 0
vsize: 98892
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 19543 0 0 0 79884 127 0 0 25 0 1 0 964745632 101560320 17774 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24795 17774 301 301 0 24494 0
vsize: 99180
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 19704 0 0 0 80883 128 0 0 25 0 1 0 964745632 101773312 17935 4294967295 134512640 135730672 3221224576 3221222744 135285134 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 17935 301 301 0 24546 0
vsize: 99388
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 19800 0 0 0 81882 129 0 0 25 0 1 0 964745632 102117376 18031 4294967295 134512640 135730672 3221224576 3221222960 134761984 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24931 18031 301 301 0 24630 0
vsize: 99724
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 19884 0 0 0 82881 130 0 0 25 0 1 0 964745632 102412288 18115 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25003 18115 301 301 0 24702 0
vsize: 100012
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 20054 0 0 0 83881 131 0 0 25 0 1 0 964745632 102838272 18285 4294967295 134512640 135730672 3221224576 3221222800 134813917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25107 18285 301 301 0 24806 0
vsize: 100428
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 20643 0 0 0 84879 133 0 0 25 0 1 0 964745632 103198720 18874 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25195 18874 301 301 0 24894 0
vsize: 100780
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 20747 0 0 0 85878 134 0 0 25 0 1 0 964745632 103723008 18978 4294967295 134512640 135730672 3221224576 3221222896 134732450 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25323 18978 301 301 0 25022 0
vsize: 101292
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 20932 0 0 0 86877 135 0 0 25 0 1 0 964745632 103854080 19163 4294967295 134512640 135730672 3221224576 3221223120 134740276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25355 19163 301 301 0 25054 0
vsize: 101420
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 21083 0 0 0 87876 136 0 0 25 0 1 0 964745632 104509440 19314 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25515 19314 301 301 0 25214 0
vsize: 102060
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 21274 0 0 0 88876 137 0 0 25 0 1 0 964745632 104755200 19505 4294967295 134512640 135730672 3221224576 3221222912 134767174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25575 19505 301 301 0 25274 0
vsize: 102300
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 21997 0 0 0 89873 139 0 0 25 0 1 0 964745632 105312256 20228 4294967295 134512640 135730672 3221224576 3221223184 134744754 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25711 20228 301 301 0 25410 0
vsize: 102844
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28424
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 22228 0 0 0 90872 141 0 0 25 0 1 0 964745632 105590784 20459 4294967295 134512640 135730672 3221224576 3221223088 134746486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25779 20459 301 301 0 25478 0
vsize: 103116
[startup+920.017 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 28459
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 24309 0 0 0 91866 146 0 0 25 0 1 0 964745632 112160768 21003 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27383 21003 301 301 0 27082 0
vsize: 109532
[startup+930.018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 28477
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 24390 0 0 0 92864 149 0 0 25 0 1 0 964745632 112476160 21084 4294967295 134512640 135730672 3221224576 3221222944 134762540 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27460 21084 301 301 0 27159 0
vsize: 109840
[startup+940.018 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 28477
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 24592 0 0 0 93863 150 0 0 25 0 1 0 964745632 112836608 21286 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27548 21286 301 301 0 27247 0
vsize: 110192
[startup+950.018 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 28477
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 24650 0 0 0 94862 151 0 0 25 0 1 0 964745632 112967680 21344 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27580 21344 301 301 0 27279 0
vsize: 110320
[startup+960.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 28477
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 24686 0 0 0 95861 153 0 0 25 0 1 0 964745632 113115136 21380 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27616 21380 301 301 0 27315 0
vsize: 110464
[startup+970.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 28477
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 24761 0 0 0 96860 153 0 0 25 0 1 0 964745632 113393664 21455 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27684 21455 301 301 0 27383 0
vsize: 110736
[startup+980.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28477
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 24811 0 0 0 97859 155 0 0 25 0 1 0 964745632 113541120 21505 4294967295 134512640 135730672 3221224576 3221222904 134814380 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27720 21505 301 301 0 27419 0
vsize: 110880
[startup+990.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28477
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 24866 0 0 0 98858 156 0 0 25 0 1 0 964745632 113786880 21560 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27780 21560 301 301 0 27479 0
vsize: 111120
[startup+1000.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 24945 0 0 0 99858 156 0 0 25 0 1 0 964745632 113934336 21639 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27816 21639 301 301 0 27515 0
vsize: 111264
[startup+1010.02 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25161 0 0 0 100856 159 0 0 25 0 1 0 964745632 114950144 21855 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28064 21855 301 301 0 27763 0
vsize: 112256
[startup+1020.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25165 0 0 0 101851 163 0 0 25 0 1 0 964745632 114950144 21859 4294967295 134512640 135730672 3221224576 3221222796 135291075 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28064 21859 301 301 0 27763 0
vsize: 112256
[startup+1030.02 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25207 0 0 0 102847 168 0 0 25 0 1 0 964745632 115015680 21901 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28080 21901 301 301 0 27779 0
vsize: 112320
[startup+1040.02 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25225 0 0 0 103838 176 0 0 25 0 1 0 964745632 115015680 21919 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28080 21919 301 301 0 27779 0
vsize: 112320
[startup+1050.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25245 0 0 0 104832 183 0 0 25 0 1 0 964745632 115015680 21939 4294967295 134512640 135730672 3221224576 3221222648 135284262 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28080 21939 301 301 0 27779 0
vsize: 112320
[startup+1060.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25266 0 0 0 105829 186 0 0 25 0 1 0 964745632 115015680 21960 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28080 21960 301 301 0 27779 0
vsize: 112320
[startup+1070.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25284 0 0 0 106822 193 0 0 25 0 1 0 964745632 115015680 21978 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28080 21978 301 301 0 27779 0
vsize: 112320
[startup+1080.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25302 0 0 0 107815 201 0 0 25 0 1 0 964745632 115015680 21996 4294967295 134512640 135730672 3221224576 3221222960 134762576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28080 21996 301 301 0 27779 0
vsize: 112320
[startup+1090.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25326 0 0 0 108813 203 0 0 25 0 1 0 964745632 115015680 22020 4294967295 134512640 135730672 3221224576 3221223120 134740272 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28080 22020 301 301 0 27779 0
vsize: 112320
[startup+1100.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25348 0 0 0 109811 206 0 0 25 0 1 0 964745632 115015680 22042 4294967295 134512640 135730672 3221224576 3221223120 134740414 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28080 22042 301 301 0 27779 0
vsize: 112320
[startup+1110.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25366 0 0 0 110804 212 0 0 25 0 1 0 964745632 115015680 22060 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28080 22060 301 301 0 27779 0
vsize: 112320
[startup+1120.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25387 0 0 0 111799 217 0 0 25 0 1 0 964745632 115015680 22081 4294967295 134512640 135730672 3221224576 3221223008 134782928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28080 22081 301 301 0 27779 0
vsize: 112320
[startup+1130.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25430 0 0 0 112792 224 0 0 25 0 1 0 964745632 115097600 22124 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28100 22124 301 301 0 27799 0
vsize: 112400
[startup+1140.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25470 0 0 0 113787 230 0 0 25 0 1 0 964745632 115208192 22164 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28127 22164 301 301 0 27826 0
vsize: 112508
[startup+1150.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25504 0 0 0 114783 234 0 0 25 0 1 0 964745632 115208192 22198 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28127 22198 301 301 0 27826 0
vsize: 112508
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25544 0 0 0 115779 237 0 0 25 0 1 0 964745632 115339264 22238 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28159 22238 301 301 0 27858 0
vsize: 112636
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25595 0 0 0 116778 239 0 0 25 0 1 0 964745632 115453952 22289 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28187 22289 301 301 0 27886 0
vsize: 112748
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25650 0 0 0 117776 242 0 0 25 0 1 0 964745632 115568640 22344 4294967295 134512640 135730672 3221224576 3221222832 134767091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28215 22344 301 301 0 27914 0
vsize: 112860
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25687 0 0 0 118770 248 0 0 25 0 1 0 964745632 115625984 22381 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28229 22381 301 301 0 27928 0
vsize: 112916
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28479
Raw data (stat): 28424 (pb2sat-v2) R 28423 31399 31398 0 -1 0 25712 0 0 0 119769 249 0 0 25 0 1 0 964745632 115625984 22406 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28229 22406 301 301 0 27928 0
vsize: 112916
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 28479
Raw data (stat): 28424 (pb2sat-v2) Z 28423 31399 31398 0 -1 12 25714 0 0 0 119791 253 0 0 25 0 1 0 964745632 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.29
CPU time (s): 1200.45
CPU user time (s): 1197.91
CPU system time (s): 2.53661
CPU usage (%): 100.013
Max. virtual memory (Kb): 112916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####