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-chnl20_30_pb.cnf.cr.opb
MD5SUM	afcc4289aafaea265ed2d465965a3342
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	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.036993
Number of variables	1200
Total number of constraints	100
Number of constraints which are clauses	60
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	30
Trace number 34672

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        596452 kB
Buffers:         37152 kB
Cached:         380400 kB
SwapCached:        648 kB
Active:          80388 kB
Inactive:       339212 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        596200 kB
SwapTotal:     2097136 kB
SwapFree:      2095560 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            12972 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:30:30 (client local time) WITH STATUS 0 IN 1208.02 SECONDS
stats: 23936 7 1208.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 1160/3520	Time: 27.3758/86400
Decision: 1160/3520	Time: 28.3357/86400
Decision: 1160/3520	Time: 29.2536/86400
Decision: 1160/3520	Time: 30.4464/86400
Decision: 1160/3520	Time: 31.6682/86400
Decision: 1160/3520	Time: 33.077/86400
Decision: 1160/3520	Time: 34.2478/86400
Decision: 1160/3520	Time: 35.4506/86400
Decision: 1160/3520	Time: 36.9424/86400
Decision: 1160/3520	Time: 38.2462/86400
Decision: 1160/3520	Time: 39.679/86400
Decision: 1160/3520	Time: 41.2337/86400
Decision: 1160/3520	Time: 42.7635/86400
Decision: 1160/3520	Time: 44.0763/86400
Decision: 1160/3520	Time: 45.5071/86400
Decision: 1160/3520	Time: 47.2428/86400
Decision: 1160/3520	Time: 48.7026/86400
Decision: 1160/3520	Time: 50.2004/86400
Decision: 1160/3520	Time: 51.7771/86400
Decision: 1160/3520	Time: 53.4249/86400
Decision: 1160/3520	Time: 55.0126/86400
Decision: 1160/3520	Time: 56.6314/86400
Decision: 1160/3520	Time: 57.7412/86400
Decision: 1160/3520	Time: 59.509/86400
Decision: 1160/3520	Time: 61.1727/86400
Decision: 1160/3520	Time: 63.1524/86400
Decision: 1160/3520	Time: 64.8831/86400
Decision: 1160/3520	Time: 66.6499/86400
Decision: 1160/3520	Time: 68.3906/86400
Decision: 1160/3520	Time: 70.3083/86400
Decision: 1160/3520	Time: 72.383/86400
Decision: 1160/3520	Time: 74.0347/86400
Decision: 1160/3520	Time: 76.0384/86400
Decision: 1160/3520	Time: 77.8482/86400
Decision: 1160/3520	Time: 79.4759/86400
Decision: 1160/3520	Time: 81.4086/86400
Decision: 1160/3520	Time: 83.0814/86400
Decision: 1160/3520	Time: 84.9951/86400
Decision: 1160/3520	Time: 86.6818/86400
Decision: 1160/3520	Time: 88.5075/86400
Decision: 1160/3520	Time: 90.4892/86400
Decision: 1160/3520	Time: 92.163/86400
Decision: 1160/3520	Time: 94.0727/86400
Decision: 1160/3520	Time: 95.8624/86400
Decision: 1160/3520	Time: 97.6752/86400
Decision: 1160/3520	Time: 99.8328/86400
Decision: 1160/3520	Time: 101.693/86400
Decision: 1160/3520	Time: 103.732/86400
Decision: 1160/3520	Time: 105.702/86400
Decision: 1160/3520	Time: 107.594/86400
Decision: 1160/3520	Time: 109.94/86400
Decision: 1160/3520	Time: 111.845/86400
Decision: 1160/3520	Time: 113.756/86400
Decision: 1160/3520	Time: 115.694/86400
Decision: 1160/3520	Time: 117.739/86400
Decision: 1160/3520	Time: 120.239/86400
Decision: 1160/3520	Time: 122.474/86400
Decision: 1160/3520	Time: 124.571/86400
Decision: 1160/3520	Time: 126.483/86400
Decision: 1160/3520	Time: 128.42/86400
Decision: 1160/3520	Time: 130.793/86400
Decision: 1160/3520	Time: 132.705/86400
Decision: 1160/3520	Time: 134.774/86400
Decision: 1160/3520	Time: 136.723/86400
Decision: 1160/3520	Time: 138.847/86400
Decision: 1160/3520	Time: 141.314/86400
Decision: 1160/3520	Time: 143.55/86400
Decision: 1160/3520	Time: 145.544/86400
Decision: 1160/3520	Time: 147.785/86400
Decision: 1160/3520	Time: 149.958/86400
Decision: 1160/3520	Time: 152.657/86400
Decision: 1160/3520	Time: 154.926/86400
Decision: 1160/3520	Time: 157.129/86400
Decision: 1160/3520	Time: 159.308/86400
Decision: 1160/3520	Time: 161.541/86400
Decision: 1160/3520	Time: 164.091/86400
Decision: 1160/3520	Time: 166.324/86400
Decision: 1160/3520	Time: 168.504/86400
Decision: 1160/3520	Time: 170.68/86400
Decision: 1160/3520	Time: 172.924/86400
Decision: 1160/3520	Time: 175.542/86400
Decision: 1160/3520	Time: 177.679/86400
Decision: 1160/3520	Time: 179.791/86400
Decision: 1160/3520	Time: 182.109/86400
Decision: 1160/3520	Time: 184.275/86400
Decision: 1160/3520	Time: 187.165/86400
Decision: 1160/3520	Time: 189.485/86400
Decision: 1160/3520	Time: 191.722/86400
Decision: 1160/3520	Time: 194.031/86400
Decision: 1160/3520	Time: 196.274/86400
Decision: 1160/3520	Time: 199.161/86400
Decision: 1160/3520	Time: 201.392/86400
Decision: 1160/3520	Time: 203.665/86400
Decision: 1160/3520	Time: 205.914/86400
Decision: 1160/3520	Time: 208.219/86400
Decision: 1160/3520	Time: 210.77/86400
Decision: 1160/3520	Time: 213.141/86400
Decision: 1160/3520	Time: 215.551/86400
Decision: 1160/3520	Time: 217.894/86400
Decision: 1160/3520	Time: 220.276/86400
Decision: 1160/3520	Time: 222.993/86400
Decision: 1160/3520	Time: 225.253/86400
Decision: 1160/3520	Time: 227.527/86400
Decision: 1160/3520	Time: 229.809/86400
Decision: 1160/3520	Time: 232.134/86400
Decision: 1160/3520	Time: 234.901/86400
Decision: 1160/3520	Time: 237.465/86400
Decision: 1160/3520	Time: 239.63/86400
Decision: 1160/3520	Time: 242.118/86400
Decision: 1160/3520	Time: 244.535/86400
Decision: 1160/3520	Time: 247.478/86400
Decision: 1160/3520	Time: 249.758/86400
Decision: 1160/3520	Time: 252.136/86400
Decision: 1160/3520	Time: 254.587/86400
Decision: 1160/3520	Time: 256.873/86400
Decision: 1160/3520	Time: 259.943/86400
Decision: 1160/3520	Time: 262.405/86400
Decision: 1160/3520	Time: 265.005/86400
Decision: 1160/3520	Time: 267.486/86400
Decision: 1160/3520	Time: 270.047/86400
Decision: 1160/3520	Time: 272.845/86400
Decision: 1160/3520	Time: 275.37/86400
Decision: 1160/3520	Time: 277.564/86400
Decision: 1160/3520	Time: 279.791/86400
Decision: 1160/3520	Time: 282.144/86400
Decision: 1160/3520	Time: 285.067/86400
Decision: 1160/3520	Time: 287.489/86400
Decision: 1160/3520	Time: 289.906/86400
Decision: 1160/3520	Time: 292.244/86400
Decision: 1160/3520	Time: 294.808/86400
Decision: 1160/3520	Time: 297.984/86400
Decision: 1160/3520	Time: 300.526/86400
Decision: 1160/3520	Time: 302.946/86400
Decision: 1160/3520	Time: 305.443/86400
Decision: 1160/3520	Time: 308.059/86400
Decision: 1160/3520	Time: 311.223/86400
Decision: 1160/3520	Time: 313.738/86400
Decision: 1160/3520	Time: 316.298/86400
Decision: 1160/3520	Time: 318.654/86400
Decision: 1160/3520	Time: 321.23/86400
Decision: 1160/3520	Time: 324.271/86400
Decision: 1160/3520	Time: 326.821/86400
Decision: 1160/3520	Time: 329.378/86400
Decision: 1160/3520	Time: 331.833/86400
Decision: 1160/3520	Time: 334.288/86400
Decision: 1160/3520	Time: 337.326/86400
Decision: 1160/3520	Time: 339.904/86400
Decision: 1160/3520	Time: 342.396/86400
Decision: 1160/3520	Time: 344.998/86400
Decision: 1160/3520	Time: 347.495/86400
Decision: 1160/3520	Time: 350.554/86400
Decision: 1160/3520	Time: 352.918/86400
Decision: 1160/3520	Time: 355.33/86400
Decision: 1160/3520	Time: 357.895/86400
Decision: 1160/3520	Time: 360.445/86400
Decision: 1160/3520	Time: 363.428/86400
Decision: 1160/3520	Time: 365.692/86400
Decision: 1160/3520	Time: 368.231/86400
Decision: 1160/3520	Time: 370.767/86400
Decision: 1160/3520	Time: 373.284/86400
Decision: 1160/3520	Time: 376.201/86400
Decision: 1160/3520	Time: 378.655/86400
Decision: 1160/3520	Time: 381.017/86400
Decision: 1160/3520	Time: 383.467/86400
Decision: 1160/3520	Time: 385.891/86400
Decision: 1160/3520	Time: 388.898/86400
Decision: 1160/3520	Time: 391.304/86400
Decision: 1160/3520	Time: 393.699/86400
Decision: 1160/3520	Time: 396.198/86400
Decision: 1160/3520	Time: 398.63/86400
Decision: 1160/3520	Time: 401.567/86400
Decision: 1160/3520	Time: 404.003/86400
Decision: 1160/3520	Time: 406.502/86400
Decision: 1160/3520	Time: 409.009/86400
Decision: 1160/3520	Time: 411.414/86400
Decision: 1160/3520	Time: 414.22/86400
Decision: 1160/3520	Time: 416.547/86400
Decision: 1160/3520	Time: 418.996/86400
Decision: 1160/3520	Time: 421.698/86400
Decision: 1160/3520	Time: 424.267/86400
Decision: 1160/3520	Time: 427.181/86400
Decision: 1160/3520	Time: 429.739/86400
Decision: 1160/3520	Time: 432.296/86400
Decision: 1160/3520	Time: 434.704/86400
Decision: 1160/3520	Time: 437.292/86400
Decision: 1160/3520	Time: 440.229/86400
Decision: 1160/3520	Time: 442.823/86400
Decision: 1160/3520	Time: 445.189/86400
Decision: 1160/3520	Time: 447.729/86400
Decision: 1160/3520	Time: 450.216/86400
Decision: 1160/3520	Time: 453.348/86400
Decision: 1160/3520	Time: 455.913/86400
Decision: 1160/3520	Time: 458.363/86400
Decision: 1160/3520	Time: 461.098/86400
Decision: 1160/3520	Time: 463.518/86400
Decision: 1160/3520	Time: 466.572/86400
Decision: 1160/3520	Time: 469.272/86400
Decision: 1160/3520	Time: 471.893/86400
Decision: 1160/3520	Time: 474.488/86400
Decision: 1160/3520	Time: 477.032/86400
Decision: 1160/3520	Time: 480.231/86400
Decision: 1160/3520	Time: 482.936/86400
Decision: 1160/3520	Time: 485.718/86400
Decision: 1160/3520	Time: 488.372/86400
Decision: 1160/3520	Time: 491.146/86400
Decision: 1160/3520	Time: 494.364/86400
Decision: 1160/3520	Time: 497.123/86400
Decision: 1160/3520	Time: 499.847/86400
Decision: 1160/3520	Time: 502.492/86400
Decision: 1160/3520	Time: 505.148/86400
Decision: 1160/3520	Time: 508.613/86400
Decision: 1160/3520	Time: 511.364/86400
Decision: 1160/3520	Time: 514.04/86400
Decision: 1160/3520	Time: 516.859/86400
Decision: 1160/3520	Time: 519.648/86400
Decision: 1160/3520	Time: 523.053/86400
Decision: 1160/3520	Time: 525.77/86400
Decision: 1160/3520	Time: 528.378/86400
Decision: 1160/3520	Time: 531.09/86400
Decision: 1160/3520	Time: 533.813/86400
Decision: 1160/3520	Time: 537.033/86400
Decision: 1160/3520	Time: 539.781/86400
Decision: 1160/3520	Time: 542.506/86400
Decision: 1160/3520	Time: 545.267/86400
Decision: 1160/3520	Time: 547.946/86400
Decision: 1160/3520	Time: 551.215/86400
Decision: 1160/3520	Time: 554.045/86400
Decision: 1160/3520	Time: 556.765/86400
Decision: 1160/3520	Time: 559.54/86400
Decision: 1160/3520	Time: 561.929/86400
Decision: 1160/3520	Time: 565.232/86400
Decision: 1160/3520	Time: 567.867/86400
Decision: 1160/3520	Time: 570.492/86400
Decision: 1160/3520	Time: 573.32/86400
Decision: 1160/3520	Time: 575.963/86400
Decision: 1160/3520	Time: 579.326/86400
Decision: 1160/3520	Time: 582.089/86400
Decision: 1160/3520	Time: 584.692/86400
Decision: 1160/3520	Time: 587.431/86400
Decision: 1160/3520	Time: 590.05/86400
Decision: 1160/3520	Time: 593.337/86400
Decision: 1160/3520	Time: 595.946/86400
Decision: 1160/3520	Time: 598.591/86400
Decision: 1160/3520	Time: 601.485/86400
Decision: 1160/3520	Time: 604.097/86400
Decision: 1160/3520	Time: 607.555/86400
Decision: 1160/3520	Time: 610.474/86400
Decision: 1160/3520	Time: 613.311/86400
Decision: 1160/3520	Time: 616.133/86400
Decision: 1160/3520	Time: 618.966/86400
Decision: 1160/3520	Time: 622.459/86400
Decision: 1160/3520	Time: 625.376/86400
Decision: 1160/3520	Time: 628.262/86400
Decision: 1160/3520	Time: 631.266/86400
Decision: 1160/3520	Time: 634.289/86400
Decision: 1160/3520	Time: 637.984/86400
Decision: 1160/3520	Time: 640.766/86400
Decision: 1160/3520	Time: 643.787/86400
Decision: 1160/3520	Time: 646.95/86400
Decision: 1160/3520	Time: 649.996/86400
Decision: 1160/3520	Time: 653.764/86400
Decision: 1160/3520	Time: 656.723/86400
Decision: 1160/3520	Time: 659.448/86400
Decision: 1160/3520	Time: 662.286/86400
Decision: 1160/3520	Time: 665.048/86400
Decision: 1160/3520	Time: 668.7/86400
Decision: 1160/3520	Time: 671.541/86400
Decision: 1160/3520	Time: 674.444/86400
Decision: 1160/3520	Time: 677.509/86400
Decision: 1160/3520	Time: 680.586/86400
Decision: 1160/3520	Time: 684.515/86400
Decision: 1160/3520	Time: 687.486/86400
Decision: 1160/3520	Time: 690.589/86400
Decision: 1160/3520	Time: 693.591/86400
Decision: 1160/3520	Time: 696.553/86400
Decision: 1160/3520	Time: 700.155/86400
Decision: 1160/3520	Time: 703.042/86400
Decision: 1160/3520	Time: 705.902/86400
Decision: 1160/3520	Time: 708.783/86400
Decision: 1160/3520	Time: 711.807/86400
Decision: 1160/3520	Time: 715.527/86400
Decision: 1160/3520	Time: 718.524/86400
Decision: 1160/3520	Time: 721.328/86400
Decision: 1160/3520	Time: 724.414/86400
Decision: 1160/3520	Time: 727.298/86400
Decision: 1160/3520	Time: 730.691/86400
Decision: 1160/3520	Time: 733.539/86400
Decision: 1160/3520	Time: 736.475/86400
Decision: 1160/3520	Time: 739.361/86400
Decision: 1160/3520	Time: 742.167/86400
Decision: 1160/3520	Time: 745.755/86400
Decision: 1160/3520	Time: 748.542/86400
Decision: 1160/3520	Time: 751.669/86400
Decision: 1160/3520	Time: 754.586/86400
Decision: 1160/3520	Time: 757.711/86400
Decision: 1160/3520	Time: 761.348/86400
Decision: 1160/3520	Time: 763.897/86400
Decision: 1160/3520	Time: 766.766/86400
Decision: 1160/3520	Time: 769.723/86400
Decision: 1160/3520	Time: 772.448/86400
Decision: 1160/3520	Time: 775.917/86400
Decision: 1160/3520	Time: 778.712/86400
Decision: 1160/3520	Time: 781.46/86400
Decision: 1160/3520	Time: 784.437/86400
Decision: 1160/3520	Time: 787.224/86400
Decision: 1160/3520	Time: 790.689/86400
Decision: 1160/3520	Time: 793.413/86400
Decision: 1160/3520	Time: 796.245/86400
Decision: 1160/3520	Time: 798.906/86400
Decision: 1160/3520	Time: 801.838/86400
Decision: 1160/3520	Time: 805.265/86400
Decision: 1160/3520	Time: 807.986/86400
Decision: 1160/3520	Time: 810.777/86400
Decision: 1160/3520	Time: 813.871/86400
Decision: 1160/3520	Time: 816.688/86400
Decision: 1160/3520	Time: 820.401/86400
Decision: 1160/3520	Time: 823.26/86400
Decision: 1160/3520	Time: 826.028/86400
Decision: 1160/3520	Time: 828.909/86400
Decision: 1160/3520	Time: 831.887/86400
Decision: 1160/3520	Time: 835.442/86400
Decision: 1160/3520	Time: 838.439/86400
Decision: 1160/3520	Time: 841.442/86400
Decision: 1160/3520	Time: 844.448/86400
Decision: 1160/3520	Time: 847.352/86400
Decision: 1160/3520	Time: 851.008/86400
Decision: 1160/3520	Time: 853.963/86400
Decision: 1160/3520	Time: 856.949/86400
Decision: 1160/3520	Time: 859.808/86400
Decision: 1160/3520	Time: 862.791/86400
Decision: 1160/3520	Time: 866.424/86400
Decision: 1160/3520	Time: 869.521/86400
Decision: 1160/3520	Time: 872.557/86400
Decision: 1160/3520	Time: 875.539/86400
Decision: 1160/3520	Time: 878.74/86400
Decision: 1160/3520	Time: 882.341/86400
Decision: 1160/3520	Time: 885.221/86400
Decision: 1160/3520	Time: 888.249/86400
Decision: 1160/3520	Time: 891.067/86400
Decision: 1160/3520	Time: 893.976/86400
Decision: 1160/3520	Time: 897.724/86400
Decision: 1160/3520	Time: 900.682/86400
Decision: 1160/3520	Time: 903.609/86400
Decision: 1160/3520	Time: 906.571/86400
Decision: 1160/3520	Time: 909.578/86400
Decision: 1160/3520	Time: 913.239/86400
Decision: 1160/3520	Time: 916.196/86400
Decision: 1160/3520	Time: 918.96/86400
Decision: 1160/3520	Time: 921.999/86400
Decision: 1160/3520	Time: 925.168/86400
Decision: 1160/3520	Time: 928.885/86400
Decision: 1160/3520	Time: 932.089/86400
Decision: 1160/3520	Time: 935.21/86400
Decision: 1160/3520	Time: 938.285/86400
Decision: 1160/3520	Time: 941.443/86400
Decision: 1160/3520	Time: 945.511/86400
Decision: 1160/3520	Time: 948.594/86400
Decision: 1160/3520	Time: 951.913/86400
Decision: 1160/3520	Time: 955.038/86400
Decision: 1160/3520	Time: 958.394/86400
Decision: 1160/3520	Time: 962.395/86400
Decision: 1160/3520	Time: 965.603/86400
Decision: 1160/3520	Time: 968.745/86400
Decision: 1160/3520	Time: 971.983/86400
Decision: 1160/3520	Time: 975.082/86400
Decision: 1160/3520	Time: 979.137/86400
Decision: 1160/3520	Time: 982.132/86400
Decision: 1160/3520	Time: 985.668/86400
Decision: 1160/3520	Time: 988.817/86400
Decision: 1160/3520	Time: 992.027/86400
Decision: 1160/3520	Time: 996.019/86400
Decision: 1160/3520	Time: 999.067/86400
Decision: 1160/3520	Time: 1002.32/86400
Decision: 1160/3520	Time: 1005.6/86400
Decision: 1160/3520	Time: 1008.72/86400
Decision: 1160/3520	Time: 1013.26/86400
Decision: 1160/3520	Time: 1016.46/86400
Decision: 1160/3520	Time: 1019.64/86400
Decision: 1160/3520	Time: 1023.06/86400
Decision: 1160/3520	Time: 1026.36/86400
Decision: 1160/3520	Time: 1030.57/86400
Decision: 1160/3520	Time: 1033.97/86400
Decision: 1160/3520	Time: 1037.49/86400
Decision: 1160/3520	Time: 1040.86/86400
Decision: 1160/3520	Time: 1044.15/86400
Decision: 1160/3520	Time: 1048.25/86400
Decision: 1160/3520	Time: 1051.58/86400
Decision: 1160/3520	Time: 1054.94/86400
Decision: 1160/3520	Time: 1058.06/86400
Decision: 1160/3520	Time: 1061.31/86400
Decision: 1160/3520	Time: 1065.6/86400
Decision: 1160/3520	Time: 1068.98/86400
Decision: 1160/3520	Time: 1072.37/86400
Decision: 1160/3520	Time: 1075.87/86400
Decision: 1160/3520	Time: 1079.23/86400
Decision: 1160/3520	Time: 1083.41/86400
Decision: 1160/3520	Time: 1086.76/86400
Decision: 1160/3520	Time: 1090.09/86400
Decision: 1160/3520	Time: 1093.55/86400
Decision: 1160/3520	Time: 1097.28/86400
Decision: 1160/3520	Time: 1101.74/86400
Decision: 1160/3520	Time: 1104.98/86400
Decision: 1160/3520	Time: 1108.47/86400
Decision: 1160/3520	Time: 1111.96/86400
Decision: 1160/3520	Time: 1115.23/86400
Decision: 1160/3520	Time: 1119.67/86400
Decision: 1160/3520	Time: 1123.26/86400
Decision: 1160/3520	Time: 1126.64/86400
Decision: 1160/3520	Time: 1130.04/86400
Decision: 1160/3520	Time: 1133.45/86400
Decision: 1160/3520	Time: 1138.03/86400
Decision: 1160/3520	Time: 1141.46/86400
Decision: 1160/3520	Time: 1144.83/86400
Decision: 1160/3520	Time: 1148.15/86400
Decision: 1160/3520	Time: 1151.47/86400
Decision: 1160/3520	Time: 1156.17/86400
Decision: 1160/3520	Time: 1159.43/86400
Decision: 1160/3520	Time: 1162.72/86400
Decision: 1160/3520	Time: 1166.09/86400
Decision: 1160/3520	Time: 1169.28/86400
Decision: 1160/3520	Time: 1173.39/86400
Decision: 1160/3520	Time: 1176.81/86400
Decision: 1160/3520	Time: 1179.98/86400
Decision: 1160/3520	Time: 1183.38/86400
Decision: 1160/3520	Time: 1186.61/86400
Decision: 1160/3520	Time: 1190.85/86400
Decision: 1160/3520	Time: 1194.27/86400
Decision: 1160/3520	Time: 1197.73/86400
Decision: 1160/3520	Time: 1201.01/86400
Decision: 1160/3520	Time: 1204.38/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.00 0.00 0.00 1/54 7008
Raw data (stat): 7008 (runsolver) R 7007 24300 24299 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805762115 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 1163 0 8 0 760 2 0 0 25 0 1 0 805762115 6987776 1070 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1706 1070 300 300 0 1406 0
vsize: 6824
[startup+20.0054 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 1680 0 8 0 1759 4 0 0 25 0 1 0 805762115 11460608 1587 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2798 1587 300 300 0 2498 0
vsize: 11192
[startup+30.0054 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 2243 0 8 0 2757 6 0 0 25 0 1 0 805762115 11886592 2150 4294967295 134512640 135726644 3221224576 3221223120 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2902 2150 300 300 0 2602 0
vsize: 11608
[startup+40.0049 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 3250 0 8 0 3751 11 0 0 25 0 1 0 805762115 21901312 3060 4294967295 134512640 135726644 3221224576 3221222756 135277543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5347 3060 300 300 0 5047 0
vsize: 21388
[startup+50.0058 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 4032 0 8 0 4748 14 0 0 25 0 1 0 805762115 22827008 3842 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5573 3842 300 300 0 5273 0
vsize: 22292
[startup+60.0052 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 4485 0 8 0 5745 17 0 0 25 0 1 0 805762115 23670784 4295 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5779 4295 300 300 0 5479 0
vsize: 23116
[startup+70.0048 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 5285 0 8 0 6741 21 0 0 25 0 1 0 805762115 25284608 4902 4294967295 134512640 135726644 3221224576 3221223072 134744254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6173 4902 300 300 0 5873 0
vsize: 24692
[startup+80.0057 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 5774 0 8 0 7739 23 0 0 25 0 1 0 805762115 25841664 5391 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6309 5391 300 300 0 6009 0
vsize: 25236
[startup+90.005 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 6199 0 8 0 8737 25 0 0 25 0 1 0 805762115 26562560 5816 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6485 5816 300 300 0 6185 0
vsize: 25940
[startup+100.005 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 6677 0 8 0 9736 26 0 0 25 0 1 0 805762115 43929600 6294 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10725 6294 300 300 0 10425 0
vsize: 42900
[startup+110.005 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 7198 0 8 0 10734 28 0 0 25 0 1 0 805762115 44224512 6815 4294967295 134512640 135726644 3221224576 3221223088 134742952 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10797 6815 300 300 0 10497 0
vsize: 43188
[startup+120.005 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 7774 0 8 0 11732 30 0 0 25 0 1 0 805762115 44769280 7391 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10930 7391 300 300 0 10630 0
vsize: 43720
[startup+130.005 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 8086 0 8 0 12731 31 0 0 25 0 1 0 805762115 45244416 7703 4294967295 134512640 135726644 3221224576 3221222896 134729020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11046 7703 300 300 0 10746 0
vsize: 44184
[startup+140.005 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 8372 0 8 0 13730 32 0 0 25 0 1 0 805762115 45572096 7989 4294967295 134512640 135726644 3221224576 3221222756 135277617 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11126 7989 300 300 0 10826 0
vsize: 44504
[startup+150.005 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 8881 0 8 0 14728 35 0 0 25 0 1 0 805762115 46030848 8498 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11238 8498 300 300 0 10938 0
vsize: 44952
[startup+160.004 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 9729 0 8 0 15726 37 0 0 25 0 1 0 805762115 48324608 8961 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11798 8961 300 300 0 11498 0
vsize: 47192
[startup+170.005 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 10006 0 8 0 16725 38 0 0 25 0 1 0 805762115 48652288 9238 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11878 9238 300 300 0 11578 0
vsize: 47512
[startup+180.005 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 10094 0 8 0 17724 39 0 0 25 0 1 0 805762115 48979968 9326 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11958 9326 300 300 0 11658 0
vsize: 47832
[startup+190.004 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 10311 0 8 0 18724 40 0 0 25 0 1 0 805762115 49635328 9543 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12118 9543 300 300 0 11818 0
vsize: 48472
[startup+200.004 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 10494 0 8 0 19723 40 0 0 25 0 1 0 805762115 50126848 9726 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12238 9726 300 300 0 11938 0
vsize: 48952
[startup+210.004 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 10654 0 8 0 20723 41 0 0 25 0 1 0 805762115 50585600 9886 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12350 9886 300 300 0 12050 0
vsize: 49400
[startup+220.004 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 10748 0 8 0 21722 42 0 0 25 0 1 0 805762115 50913280 9980 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12430 9980 300 300 0 12130 0
vsize: 49720
[startup+230.005 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 11141 0 8 0 22720 44 0 0 25 0 1 0 805762115 51404800 10373 4294967295 134512640 135726644 3221224576 3221223088 134742632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12550 10373 300 300 0 12250 0
vsize: 50200
[startup+240.003 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 11241 0 8 0 23720 44 0 0 25 0 1 0 805762115 51732480 10473 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12630 10473 300 300 0 12330 0
vsize: 50520
[startup+250.003 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 11642 0 8 0 24718 46 0 0 25 0 1 0 805762115 52224000 10874 4294967295 134512640 135726644 3221224576 3221223072 134744249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12750 10874 300 300 0 12450 0
vsize: 51000
[startup+260.003 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 11922 0 8 0 25716 48 0 0 25 0 1 0 805762115 52879360 11154 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12910 11154 300 300 0 12610 0
vsize: 51640
[startup+270.003 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 12143 0 8 0 26715 49 0 0 25 0 1 0 805762115 53370880 11375 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13030 11375 300 300 0 12730 0
vsize: 52120
[startup+280.003 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 12428 0 8 0 27714 51 0 0 25 0 1 0 805762115 53698560 11660 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13110 11660 300 300 0 12810 0
vsize: 52440
[startup+290.003 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 12483 0 8 0 28713 52 0 0 25 0 1 0 805762115 53862400 11715 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13150 11715 300 300 0 12850 0
vsize: 52600
[startup+300.003 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 12647 0 8 0 29712 53 0 0 25 0 1 0 805762115 54517760 11879 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13310 11879 300 300 0 13010 0
vsize: 53240
[startup+310.003 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 12991 0 8 0 30710 55 0 0 25 0 1 0 805762115 54845440 12223 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13390 12223 300 300 0 13090 0
vsize: 53560
[startup+320.004 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 13211 0 8 0 31709 56 0 0 25 0 1 0 805762115 55173120 12443 4294967295 134512640 135726644 3221224576 3221222800 134810245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13470 12443 300 300 0 13170 0
vsize: 53880
[startup+330.003 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 13282 0 8 0 32708 57 0 0 25 0 1 0 805762115 55173120 12514 4294967295 134512640 135726644 3221224576 3221223264 134745203 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13470 12514 300 300 0 13170 0
vsize: 53880
[startup+340.003 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 13339 0 8 0 33707 58 0 0 25 0 1 0 805762115 55336960 12571 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13510 12571 300 300 0 13210 0
vsize: 54040
[startup+350.004 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 13443 0 8 0 34707 59 0 0 25 0 1 0 805762115 55500800 12675 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13550 12675 300 300 0 13250 0
vsize: 54200
[startup+360.004 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 13636 0 8 0 35706 60 0 0 25 0 1 0 805762115 55664640 12868 4294967295 134512640 135726644 3221224576 3221223088 134742913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13590 12868 300 300 0 13290 0
vsize: 54360
[startup+370.004 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 13707 0 8 0 36705 61 0 0 25 0 1 0 805762115 55828480 12939 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13630 12939 300 300 0 13330 0
vsize: 54520
[startup+380.005 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 13754 0 8 0 37705 62 0 0 25 0 1 0 805762115 55992320 12986 4294967295 134512640 135726644 3221224576 3221223184 134741148 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13670 12986 300 300 0 13370 0
vsize: 54680
[startup+390.004 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 13791 0 8 0 38704 62 0 0 25 0 1 0 805762115 56156160 13023 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13710 13023 300 300 0 13410 0
vsize: 54840
[startup+400.004 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 14582 0 8 0 39702 64 0 0 25 0 1 0 805762115 59301888 13045 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14478 13045 300 300 0 14178 0
vsize: 57912
[startup+410.004 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 14624 0 8 0 40702 65 0 0 25 0 1 0 805762115 59301888 13087 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14478 13087 300 300 0 14178 0
vsize: 57912
[startup+420.004 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 14654 0 8 0 41701 66 0 0 25 0 1 0 805762115 59465728 13117 4294967295 134512640 135726644 3221224576 3221223120 134736700 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14518 13117 300 300 0 14218 0
vsize: 58072
[startup+430.003 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 14704 0 8 0 42701 67 0 0 25 0 1 0 805762115 59465728 13167 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14518 13167 300 300 0 14218 0
vsize: 58072
[startup+440.003 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 14735 0 8 0 43700 68 0 0 25 0 1 0 805762115 59662336 13198 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14566 13198 300 300 0 14266 0
vsize: 58264
[startup+450.004 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 14762 0 8 0 44700 68 0 0 25 0 1 0 805762115 59662336 13225 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14566 13225 300 300 0 14266 0
vsize: 58264
[startup+460.003 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 14835 0 8 0 45699 68 0 0 25 0 1 0 805762115 59826176 13298 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14606 13298 300 300 0 14306 0
vsize: 58424
[startup+470.005 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 14887 0 8 0 46699 69 0 0 25 0 1 0 805762115 59990016 13350 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14646 13350 300 300 0 14346 0
vsize: 58584
[startup+480.005 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 14979 0 8 0 47698 70 0 0 25 0 1 0 805762115 93708288 13442 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22878 13442 300 300 0 22578 0
vsize: 91512
[startup+490.004 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 15405 0 8 0 48696 72 0 0 25 0 1 0 805762115 93872128 13868 4294967295 134512640 135726644 3221224576 3221222816 135278593 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22918 13868 300 300 0 22618 0
vsize: 91672
[startup+500.004 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 15774 0 8 0 49695 74 0 0 25 0 1 0 805762115 94068736 14237 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22966 14237 300 300 0 22666 0
vsize: 91864
[startup+510.005 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 15801 0 8 0 50694 75 0 0 25 0 1 0 805762115 94068736 14264 4294967295 134512640 135726644 3221224576 3221223088 134742611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22966 14264 300 300 0 22666 0
vsize: 91864
[startup+520.005 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 15877 0 8 0 51694 75 0 0 25 0 1 0 805762115 94461952 14340 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23062 14340 300 300 0 22762 0
vsize: 92248
[startup+530.005 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 15914 0 8 0 52693 76 0 0 25 0 1 0 805762115 94461952 14377 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23062 14377 300 300 0 22762 0
vsize: 92248
[startup+540.006 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 16080 0 8 0 53692 78 0 0 25 0 1 0 805762115 94461952 14543 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23062 14543 300 300 0 22762 0
vsize: 92248
[startup+550.006 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 16119 0 8 0 54691 79 0 0 25 0 1 0 805762115 94658560 14582 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23110 14582 300 300 0 22810 0
vsize: 92440
[startup+560.006 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 16204 0 8 0 55690 80 0 0 25 0 1 0 805762115 94658560 14667 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23110 14667 300 300 0 22810 0
vsize: 92440
[startup+570.007 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 16337 0 8 0 56690 80 0 0 25 0 1 0 805762115 94658560 14800 4294967295 134512640 135726644 3221224576 3221223088 134742952 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23110 14800 300 300 0 22810 0
vsize: 92440
[startup+580.007 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 16376 0 8 0 57690 81 0 0 25 0 1 0 805762115 94658560 14839 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23110 14839 300 300 0 22810 0
vsize: 92440
[startup+590.007 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 16422 0 8 0 58689 82 0 0 25 0 1 0 805762115 94855168 14885 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23158 14885 300 300 0 22858 0
vsize: 92632
[startup+600.007 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 16460 0 8 0 59688 83 0 0 25 0 1 0 805762115 95051776 14923 4294967295 134512640 135726644 3221224576 3221223168 134760001 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23206 14923 300 300 0 22906 0
vsize: 92824
[startup+610.008 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 16511 0 8 0 60688 83 0 0 25 0 1 0 805762115 95248384 14974 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23254 14974 300 300 0 22954 0
vsize: 93016
[startup+620.009 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 17102 0 8 0 61685 86 0 0 25 0 1 0 805762115 95641600 15565 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23350 15565 300 300 0 23050 0
vsize: 93400
[startup+630.008 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 17394 0 8 0 62684 87 0 0 25 0 1 0 805762115 95838208 15857 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23398 15857 300 300 0 23098 0
vsize: 93592
[startup+640.008 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 17908 0 8 0 63682 89 0 0 25 0 1 0 805762115 96231424 16371 4294967295 134512640 135726644 3221224576 3221223200 134779433 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23494 16371 300 300 0 23194 0
vsize: 93976
[startup+650.009 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18018 0 8 0 64682 90 0 0 25 0 1 0 805762115 96624640 16481 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23590 16481 300 300 0 23290 0
vsize: 94360
[startup+660.009 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18172 0 8 0 65681 91 0 0 25 0 1 0 805762115 97017856 16635 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23686 16635 300 300 0 23386 0
vsize: 94744
[startup+670.01 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18282 0 8 0 66680 92 0 0 25 0 1 0 805762115 97607680 16745 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23830 16745 300 300 0 23530 0
vsize: 95320
[startup+680.011 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18374 0 8 0 67680 93 0 0 25 0 1 0 805762115 98000896 16837 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23926 16837 300 300 0 23626 0
vsize: 95704
[startup+690.01 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18436 0 8 0 68679 94 0 0 25 0 1 0 805762115 98394112 16899 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24022 16899 300 300 0 23722 0
vsize: 96088
[startup+700.01 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18523 0 8 0 69679 94 0 0 25 0 1 0 805762115 98787328 16986 4294967295 134512640 135726644 3221224576 3221222932 134810655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24118 16986 300 300 0 23818 0
vsize: 96472
[startup+710.011 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18589 0 8 0 70678 95 0 0 25 0 1 0 805762115 98983936 17052 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24166 17052 300 300 0 23866 0
vsize: 96664
[startup+720.012 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18627 0 8 0 71678 96 0 0 25 0 1 0 805762115 99180544 17090 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24214 17090 300 300 0 23914 0
vsize: 96856
[startup+730.011 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18656 0 8 0 72677 96 0 0 25 0 1 0 805762115 99180544 17119 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24214 17119 300 300 0 23914 0
vsize: 96856
[startup+740.011 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18709 0 8 0 73676 97 0 0 25 0 1 0 805762115 99377152 17172 4294967295 134512640 135726644 3221224576 3221222816 134782652 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24262 17172 300 300 0 23962 0
vsize: 97048
[startup+750.012 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18761 0 8 0 74676 98 0 0 25 0 1 0 805762115 99573760 17224 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24310 17224 300 300 0 24010 0
vsize: 97240
[startup+760.011 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18821 0 8 0 75676 98 0 0 25 0 1 0 805762115 99966976 17284 4294967295 134512640 135726644 3221224576 3221223088 134742928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24406 17284 300 300 0 24106 0
vsize: 97624
[startup+770.011 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18870 0 8 0 76676 98 0 0 25 0 1 0 805762115 100163584 17333 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24454 17333 300 300 0 24154 0
vsize: 97816
[startup+780.012 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18925 0 8 0 77675 99 0 0 25 0 1 0 805762115 100360192 17388 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24502 17388 300 300 0 24202 0
vsize: 98008
[startup+790.011 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 18965 0 8 0 78675 99 0 0 25 0 1 0 805762115 100360192 17428 4294967295 134512640 135726644 3221224576 3221223168 134760180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24502 17428 300 300 0 24202 0
vsize: 98008
[startup+800.011 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19010 0 8 0 79675 100 0 0 25 0 1 0 805762115 100556800 17473 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24550 17473 300 300 0 24250 0
vsize: 98200
[startup+810.011 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19028 0 8 0 80674 101 0 0 25 0 1 0 805762115 100556800 17491 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24550 17491 300 300 0 24250 0
vsize: 98200
[startup+820.011 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19087 0 8 0 81674 101 0 0 25 0 1 0 805762115 100950016 17550 4294967295 134512640 135726644 3221224576 3221222912 134763545 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24646 17550 300 300 0 24346 0
vsize: 98584
[startup+830.011 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19137 0 8 0 82673 102 0 0 25 0 1 0 805762115 101146624 17600 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24694 17600 300 300 0 24394 0
vsize: 98776
[startup+840.011 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19183 0 8 0 83672 103 0 0 25 0 1 0 805762115 101343232 17646 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24742 17646 300 300 0 24442 0
vsize: 98968
[startup+850.011 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19219 0 8 0 84672 104 0 0 25 0 1 0 805762115 101343232 17682 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24742 17682 300 300 0 24442 0
vsize: 98968
[startup+860.011 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19277 0 8 0 85671 105 0 0 25 0 1 0 805762115 101736448 17740 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24838 17740 300 300 0 24538 0
vsize: 99352
[startup+870.011 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19394 0 8 0 86670 106 0 0 25 0 1 0 805762115 101933056 17857 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24886 17857 300 300 0 24586 0
vsize: 99544
[startup+880.011 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19454 0 8 0 87670 106 0 0 25 0 1 0 805762115 102129664 17917 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24934 17917 300 300 0 24634 0
vsize: 99736
[startup+890.011 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19500 0 8 0 88669 107 0 0 25 0 1 0 805762115 102326272 17963 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24982 17963 300 300 0 24682 0
vsize: 99928
[startup+900.011 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19597 0 8 0 89669 108 0 0 25 0 1 0 805762115 102522880 18060 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25030 18060 300 300 0 24730 0
vsize: 100120
[startup+910.011 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19645 0 8 0 90668 108 0 0 25 0 1 0 805762115 102719488 18108 4294967295 134512640 135726644 3221224576 3221222800 134810299 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25078 18108 300 300 0 24778 0
vsize: 100312
[startup+920.011 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19706 0 8 0 91668 109 0 0 25 0 1 0 805762115 102916096 18169 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25126 18169 300 300 0 24826 0
vsize: 100504
[startup+930.011 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 19750 0 8 0 92668 109 0 0 25 0 1 0 805762115 103112704 18213 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25174 18213 300 300 0 24874 0
vsize: 100696
[startup+940.01 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 21470 0 8 0 93663 114 0 0 25 0 1 0 805762115 109404160 18396 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26710 18396 300 300 0 26410 0
vsize: 106840
[startup+950.011 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 21849 0 8 0 94661 116 0 0 25 0 1 0 805762115 109797376 18775 4294967295 134512640 135726644 3221224576 3221223120 134736655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26806 18775 300 300 0 26506 0
vsize: 107224
[startup+960.011 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 22230 0 8 0 95660 117 0 0 25 0 1 0 805762115 110387200 19156 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26950 19156 300 300 0 26650 0
vsize: 107800
[startup+970.011 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 22444 0 8 0 96658 119 0 0 25 0 1 0 805762115 110583808 19370 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26998 19370 300 300 0 26698 0
vsize: 107992
[startup+980.011 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 22509 0 8 0 97658 119 0 0 25 0 1 0 805762115 110780416 19435 4294967295 134512640 135726644 3221224576 3221223088 134742591 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27046 19435 300 300 0 26746 0
vsize: 108184
[startup+990.011 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 22562 0 8 0 98657 120 0 0 25 0 1 0 805762115 110981120 19488 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27095 19488 300 300 0 26795 0
vsize: 108380
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 22916 0 8 0 99656 121 0 0 25 0 1 0 805762115 111177728 19842 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27143 19842 300 300 0 26843 0
vsize: 108572
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 22976 0 8 0 100656 121 0 0 25 0 1 0 805762115 111570944 19902 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27239 19902 300 300 0 26939 0
vsize: 108956
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 23101 0 8 0 101656 122 0 0 25 0 1 0 805762115 111964160 20027 4294967295 134512640 135726644 3221224576 3221223120 134736695 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27335 20027 300 300 0 27035 0
vsize: 109340
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 23620 0 8 0 102654 124 0 0 25 0 1 0 805762115 112357376 20546 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27431 20546 300 300 0 27131 0
vsize: 109724
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 23784 0 8 0 103653 125 0 0 25 0 1 0 805762115 112750592 20710 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27527 20710 300 300 0 27227 0
vsize: 110108
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 24040 0 8 0 104652 127 0 0 25 0 1 0 805762115 113143808 20966 4294967295 134512640 135726644 3221224576 3221223200 134779430 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27623 20966 300 300 0 27323 0
vsize: 110492
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 24157 0 8 0 105651 128 0 0 25 0 1 0 805762115 113537024 21083 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27719 21083 300 300 0 27419 0
vsize: 110876
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 24533 0 8 0 106650 129 0 0 25 0 1 0 805762115 113930240 21459 4294967295 134512640 135726644 3221224576 3221223184 134741148 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27815 21459 300 300 0 27515 0
vsize: 111260
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 24599 0 8 0 107650 129 0 0 25 0 1 0 805762115 114126848 21525 4294967295 134512640 135726644 3221224576 3221222912 135280560 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27863 21525 300 300 0 27563 0
vsize: 111452
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 24870 0 8 0 108649 130 0 0 25 0 1 0 805762115 114520064 21796 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27959 21796 300 300 0 27659 0
vsize: 111836
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25012 0 8 0 109648 131 0 0 25 0 1 0 805762115 114913280 21938 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28055 21938 300 300 0 27755 0
vsize: 112220
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25233 0 8 0 110648 132 0 0 25 0 1 0 805762115 115306496 22159 4294967295 134512640 135726644 3221224576 3221223088 134742930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28151 22159 300 300 0 27851 0
vsize: 112604
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25371 0 8 0 111647 133 0 0 25 0 1 0 805762115 115503104 22297 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28199 22297 300 300 0 27899 0
vsize: 112796
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25461 0 8 0 112647 133 0 0 25 0 1 0 805762115 115896320 22387 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28295 22387 300 300 0 27995 0
vsize: 113180
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25565 0 8 0 113647 133 0 0 25 0 1 0 805762115 116486144 22491 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28439 22491 300 300 0 28139 0
vsize: 113756
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25595 0 8 0 114646 134 0 0 25 0 1 0 805762115 116682752 22521 4294967295 134512640 135726644 3221224576 3221223088 134742815 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28487 22521 300 300 0 28187 0
vsize: 113948
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25635 0 8 0 115646 134 0 0 25 0 1 0 805762115 116682752 22561 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28487 22561 300 300 0 28187 0
vsize: 113948
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25675 0 8 0 116646 135 0 0 25 0 1 0 805762115 116879360 22601 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28535 22601 300 300 0 28235 0
vsize: 114140
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25722 0 8 0 117645 136 0 0 25 0 1 0 805762115 117075968 22648 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28583 22648 300 300 0 28283 0
vsize: 114332
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25741 0 8 0 118645 136 0 0 25 0 1 0 805762115 117075968 22667 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28583 22667 300 300 0 28283 0
vsize: 114332
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25776 0 8 0 119644 137 0 0 25 0 1 0 805762115 117075968 22702 4294967295 134512640 135726644 3221224576 3221223088 134742617 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28583 22702 300 300 0 28283 0
vsize: 114332
[startup+1210.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 7008
Raw data (stat): 7008 (pb2sat) R 7007 24300 24299 0 -1 0 25801 0 8 0 120644 137 0 0 25 0 1 0 805762115 117075968 22727 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28583 22727 300 300 0 28283 0
vsize: 114332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.21 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 7008
Raw data (stat): 7008 (pb2sat) Z 7007 24300 24299 0 -1 12 25802 0 8 0 120660 142 0 0 25 0 1 0 805762115 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): 1210.21
CPU time (s): 1208.02
CPU user time (s): 1206.6
CPU system time (s): 1.42078
CPU usage (%): 99.8189
Max. virtual memory (Kb): 114332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####