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-chnl30_35_pb.cnf.cr.opb
MD5SUM	b1c5adb5438ceaf1c654cfedb79b695e
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	36
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.06099
Number of variables	2100
Total number of constraints	130
Number of constraints which are clauses	70
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	35
Trace number 34675

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-28 10:10:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23938 boxname=wulflinc23 idbench=12 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b1c5adb5438ceaf1c654cfedb79b695e  /oldhome/oroussel/tmp/wulflinc23/normalized-chnl30_35_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-chnl30_35_pb.cnf.cr.opb
IDLAUNCH: 23938
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        892096 kB
Buffers:         31172 kB
Cached:          91480 kB
SwapCached:        700 kB
Active:          41500 kB
Inactive:        83284 kB
HighTotal:      131008 kB
HighFree:        44100 kB
LowTotal:       903652 kB
LowFree:        847996 kB
SwapTotal:     2097136 kB
SwapFree:      2095556 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            12152 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:30:34 (client local time) WITH STATUS 0 IN 1207.85 SECONDS
stats: 23938 7 1207.85 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 2040/6180	Time: 42.7205/86400
Decision: 2040/6180	Time: 44.0863/86400
Decision: 2040/6180	Time: 45.754/86400
Decision: 2040/6180	Time: 47.1888/86400
Decision: 2040/6180	Time: 48.6226/86400
Decision: 2040/6180	Time: 50.2924/86400
Decision: 2040/6180	Time: 51.8201/86400
Decision: 2040/6180	Time: 53.1739/86400
Decision: 2040/6180	Time: 54.7647/86400
Decision: 2040/6180	Time: 56.4904/86400
Decision: 2040/6180	Time: 58.5131/86400
Decision: 2040/6180	Time: 60.4148/86400
Decision: 2040/6180	Time: 62.3755/86400
Decision: 2040/6180	Time: 64.2532/86400
Decision: 2040/6180	Time: 65.968/86400
Decision: 2040/6180	Time: 68.0697/86400
Decision: 2040/6180	Time: 69.9534/86400
Decision: 2040/6180	Time: 73.3309/86400
Decision: 2040/6180	Time: 74.6906/86400
Decision: 2040/6180	Time: 76.1434/86400
Decision: 2040/6180	Time: 77.7562/86400
Decision: 2040/6180	Time: 79.153/86400
Decision: 2040/6180	Time: 80.5678/86400
Decision: 2040/6180	Time: 81.9525/86400
Decision: 2040/6180	Time: 83.5113/86400
Decision: 2040/6180	Time: 85.1281/86400
Decision: 2040/6180	Time: 86.5758/86400
Decision: 2040/6180	Time: 88.1426/86400
Decision: 2040/6180	Time: 89.7694/86400
Decision: 2040/6180	Time: 91.3481/86400
Decision: 2040/6180	Time: 93.0009/86400
Decision: 2040/6180	Time: 94.6096/86400
Decision: 2040/6180	Time: 96.3374/86400
Decision: 2040/6180	Time: 97.8641/86400
Decision: 2040/6180	Time: 99.5379/86400
Decision: 2040/6180	Time: 101.507/86400
Decision: 2040/6180	Time: 103.244/86400
Decision: 2040/6180	Time: 105.086/86400
Decision: 2040/6180	Time: 106.805/86400
Decision: 2040/6180	Time: 108.603/86400
Decision: 2040/6180	Time: 110.612/86400
Decision: 2040/6180	Time: 112.415/86400
Decision: 2040/6180	Time: 114.21/86400
Decision: 2040/6180	Time: 116.076/86400
Decision: 2040/6180	Time: 118.008/86400
Decision: 2040/6180	Time: 120.135/86400
Decision: 2040/6180	Time: 122.039/86400
Decision: 2040/6180	Time: 124.01/86400
Decision: 2040/6180	Time: 125.928/86400
Decision: 2040/6180	Time: 128.129/86400
Decision: 2040/6180	Time: 130.568/86400
Decision: 2040/6180	Time: 132.492/86400
Decision: 2040/6180	Time: 134.496/86400
Decision: 2040/6180	Time: 136.509/86400
Decision: 2040/6180	Time: 138.416/86400
Decision: 2040/6180	Time: 140.726/86400
Decision: 2040/6180	Time: 142.799/86400
Decision: 2040/6180	Time: 144.908/86400
Decision: 2040/6180	Time: 146.998/86400
Decision: 2040/6180	Time: 148.944/86400
Decision: 2040/6180	Time: 151.439/86400
Decision: 2040/6180	Time: 153.586/86400
Decision: 2040/6180	Time: 155.631/86400
Decision: 2040/6180	Time: 157.862/86400
Decision: 2040/6180	Time: 160.06/86400
Decision: 2040/6180	Time: 162.771/86400
Decision: 2040/6180	Time: 165.011/86400
Decision: 2040/6180	Time: 167.163/86400
Decision: 2040/6180	Time: 169.434/86400
Decision: 2040/6180	Time: 171.561/86400
Decision: 2040/6180	Time: 174.316/86400
Decision: 2040/6180	Time: 176.626/86400
Decision: 2040/6180	Time: 178.78/86400
Decision: 2040/6180	Time: 180.971/86400
Decision: 2040/6180	Time: 183.115/86400
Decision: 2040/6180	Time: 185.609/86400
Decision: 2040/6180	Time: 187.769/86400
Decision: 2040/6180	Time: 189.914/86400
Decision: 2040/6180	Time: 191.989/86400
Decision: 2040/6180	Time: 194.221/86400
Decision: 2040/6180	Time: 196.726/86400
Decision: 2040/6180	Time: 198.853/86400
Decision: 2040/6180	Time: 200.944/86400
Decision: 2040/6180	Time: 203.054/86400
Decision: 2040/6180	Time: 205.176/86400
Decision: 2040/6180	Time: 207.732/86400
Decision: 2040/6180	Time: 209.883/86400
Decision: 2040/6180	Time: 212.149/86400
Decision: 2040/6180	Time: 214.347/86400
Decision: 2040/6180	Time: 216.511/86400
Decision: 2040/6180	Time: 219.012/86400
Decision: 2040/6180	Time: 221.046/86400
Decision: 2040/6180	Time: 225.469/86400
Decision: 2040/6180	Time: 226.954/86400
Decision: 2040/6180	Time: 228.183/86400
Decision: 2040/6180	Time: 230.05/86400
Decision: 2040/6180	Time: 231.565/86400
Decision: 2040/6180	Time: 233.025/86400
Decision: 2040/6180	Time: 234.358/86400
Decision: 2040/6180	Time: 235.64/86400
Decision: 2040/6180	Time: 237.175/86400
Decision: 2040/6180	Time: 238.631/86400
Decision: 2040/6180	Time: 240.124/86400
Decision: 2040/6180	Time: 241.675/86400
Decision: 2040/6180	Time: 242.984/86400
Decision: 2040/6180	Time: 244.786/86400
Decision: 2040/6180	Time: 246.215/86400
Decision: 2040/6180	Time: 247.853/86400
Decision: 2040/6180	Time: 249.483/86400
Decision: 2040/6180	Time: 250.865/86400
Decision: 2040/6180	Time: 252.503/86400
Decision: 2040/6180	Time: 254.083/86400
Decision: 2040/6180	Time: 255.721/86400
Decision: 2040/6180	Time: 257.302/86400
Decision: 2040/6180	Time: 258.894/86400
Decision: 2040/6180	Time: 260.781/86400
Decision: 2040/6180	Time: 262.407/86400
Decision: 2040/6180	Time: 264.166/86400
Decision: 2040/6180	Time: 266.179/86400
Decision: 2040/6180	Time: 267.915/86400
Decision: 2040/6180	Time: 270.042/86400
Decision: 2040/6180	Time: 271.725/86400
Decision: 2040/6180	Time: 273.578/86400
Decision: 2040/6180	Time: 275.353/86400
Decision: 2040/6180	Time: 277.326/86400
Decision: 2040/6180	Time: 279.486/86400
Decision: 2040/6180	Time: 281.396/86400
Decision: 2040/6180	Time: 283.3/86400
Decision: 2040/6180	Time: 285.175/86400
Decision: 2040/6180	Time: 287.187/86400
Decision: 2040/6180	Time: 289.518/86400
Decision: 2040/6180	Time: 291.55/86400
Decision: 2040/6180	Time: 293.548/86400
Decision: 2040/6180	Time: 295.628/86400
Decision: 2040/6180	Time: 297.731/86400
Decision: 2040/6180	Time: 300.178/86400
Decision: 2040/6180	Time: 302.098/86400
Decision: 2040/6180	Time: 304.099/86400
Decision: 2040/6180	Time: 306.193/86400
Decision: 2040/6180	Time: 308.27/86400
Decision: 2040/6180	Time: 310.728/86400
Decision: 2040/6180	Time: 312.866/86400
Decision: 2040/6180	Time: 314.934/86400
Decision: 2040/6180	Time: 316.903/86400
Decision: 2040/6180	Time: 319.022/86400
Decision: 2040/6180	Time: 321.518/86400
Decision: 2040/6180	Time: 323.96/86400
Decision: 2040/6180	Time: 326.252/86400
Decision: 2040/6180	Time: 328.58/86400
Decision: 2040/6180	Time: 330.76/86400
Decision: 2040/6180	Time: 333.408/86400
Decision: 2040/6180	Time: 335.437/86400
Decision: 2040/6180	Time: 337.752/86400
Decision: 2040/6180	Time: 339.978/86400
Decision: 2040/6180	Time: 342.149/86400
Decision: 2040/6180	Time: 344.783/86400
Decision: 2040/6180	Time: 347.037/86400
Decision: 2040/6180	Time: 349.193/86400
Decision: 2040/6180	Time: 351.494/86400
Decision: 2040/6180	Time: 353.682/86400
Decision: 2040/6180	Time: 356.438/86400
Decision: 2040/6180	Time: 358.713/86400
Decision: 2040/6180	Time: 361.32/86400
Decision: 2040/6180	Time: 363.673/86400
Decision: 2040/6180	Time: 365.946/86400
Decision: 2040/6180	Time: 368.862/86400
Decision: 2040/6180	Time: 371.164/86400
Decision: 2040/6180	Time: 373.555/86400
Decision: 2040/6180	Time: 376.005/86400
Decision: 2040/6180	Time: 378.473/86400
Decision: 2040/6180	Time: 381.572/86400
Decision: 2040/6180	Time: 384.036/86400
Decision: 2040/6180	Time: 386.568/86400
Decision: 2040/6180	Time: 388.875/86400
Decision: 2040/6180	Time: 391.264/86400
Decision: 2040/6180	Time: 394.371/86400
Decision: 2040/6180	Time: 396.85/86400
Decision: 2040/6180	Time: 399.241/86400
Decision: 2040/6180	Time: 401.757/86400
Decision: 2040/6180	Time: 404.2/86400
Decision: 2040/6180	Time: 407.179/86400
Decision: 2040/6180	Time: 409.711/86400
Decision: 2040/6180	Time: 412.276/86400
Decision: 2040/6180	Time: 414.688/86400
Decision: 2040/6180	Time: 417.184/86400
Decision: 2040/6180	Time: 420.362/86400
Decision: 2040/6180	Time: 422.976/86400
Decision: 2040/6180	Time: 425.595/86400
Decision: 2040/6180	Time: 428.289/86400
Decision: 2040/6180	Time: 430.876/86400
Decision: 2040/6180	Time: 434.337/86400
Decision: 2040/6180	Time: 436.926/86400
Decision: 2040/6180	Time: 439.705/86400
Decision: 2040/6180	Time: 442.462/86400
Decision: 2040/6180	Time: 445.147/86400
Decision: 2040/6180	Time: 448.583/86400
Decision: 2040/6180	Time: 451.169/86400
Decision: 2040/6180	Time: 453.975/86400
Decision: 2040/6180	Time: 456.933/86400
Decision: 2040/6180	Time: 459.8/86400
Decision: 2040/6180	Time: 463.1/86400
Decision: 2040/6180	Time: 465.663/86400
Decision: 2040/6180	Time: 468.41/86400
Decision: 2040/6180	Time: 471.137/86400
Decision: 2040/6180	Time: 473.95/86400
Decision: 2040/6180	Time: 477.351/86400
Decision: 2040/6180	Time: 480.091/86400
Decision: 2040/6180	Time: 482.936/86400
Decision: 2040/6180	Time: 485.854/86400
Decision: 2040/6180	Time: 488.724/86400
Decision: 2040/6180	Time: 492.409/86400
Decision: 2040/6180	Time: 495.56/86400
Decision: 2040/6180	Time: 498.596/86400
Decision: 2040/6180	Time: 501.413/86400
Decision: 2040/6180	Time: 504.408/86400
Decision: 2040/6180	Time: 508.242/86400
Decision: 2040/6180	Time: 511.224/86400
Decision: 2040/6180	Time: 514.318/86400
Decision: 2040/6180	Time: 517.303/86400
Decision: 2040/6180	Time: 520.295/86400
Decision: 2040/6180	Time: 524.085/86400
Decision: 2040/6180	Time: 526.975/86400
Decision: 2040/6180	Time: 529.879/86400
Decision: 2040/6180	Time: 532.875/86400
Decision: 2040/6180	Time: 535.886/86400
Decision: 2040/6180	Time: 539.654/86400
Decision: 2040/6180	Time: 542.645/86400
Decision: 2040/6180	Time: 545.544/86400
Decision: 2040/6180	Time: 548.559/86400
Decision: 2040/6180	Time: 551.167/86400
Decision: 2040/6180	Time: 554.053/86400
Decision: 2040/6180	Time: 556.7/86400
Decision: 2040/6180	Time: 559.219/86400
Decision: 2040/6180	Time: 561.657/86400
Decision: 2040/6180	Time: 564.288/86400
Decision: 2040/6180	Time: 566.946/86400
Decision: 2040/6180	Time: 569.206/86400
Decision: 2040/6180	Time: 571.59/86400
Decision: 2040/6180	Time: 573.912/86400
Decision: 2040/6180	Time: 576.281/86400
Decision: 2040/6180	Time: 578.983/86400
Decision: 2040/6180	Time: 581.286/86400
Decision: 2040/6180	Time: 583.719/86400
Decision: 2040/6180	Time: 586.049/86400
Decision: 2040/6180	Time: 588.343/86400
Decision: 2040/6180	Time: 591.176/86400
Decision: 2040/6180	Time: 593.373/86400
Decision: 2040/6180	Time: 595.653/86400
Decision: 2040/6180	Time: 598.014/86400
Decision: 2040/6180	Time: 600.415/86400
Decision: 2040/6180	Time: 603.188/86400
Decision: 2040/6180	Time: 605.639/86400
Decision: 2040/6180	Time: 608.098/86400
Decision: 2040/6180	Time: 610.511/86400
Decision: 2040/6180	Time: 612.895/86400
Decision: 2040/6180	Time: 615.885/86400
Decision: 2040/6180	Time: 618.413/86400
Decision: 2040/6180	Time: 620.941/86400
Decision: 2040/6180	Time: 623.57/86400
Decision: 2040/6180	Time: 627.737/86400
Decision: 2040/6180	Time: 629.86/86400
Decision: 2040/6180	Time: 632.326/86400
Decision: 2040/6180	Time: 633.806/86400
Decision: 2040/6180	Time: 636.299/86400
Decision: 2040/6180	Time: 637.804/86400
Decision: 2040/6180	Time: 639.206/86400
Decision: 2040/6180	Time: 640.867/86400
Decision: 2040/6180	Time: 642.068/86400
Decision: 2040/6180	Time: 643.583/86400
Decision: 2040/6180	Time: 645.086/86400
Decision: 2040/6180	Time: 646.728/86400
Decision: 2040/6180	Time: 648.368/86400
Decision: 2040/6180	Time: 649.989/86400
Decision: 2040/6180	Time: 651.549/86400
Decision: 2040/6180	Time: 653.274/86400
Decision: 2040/6180	Time: 655.112/86400
Decision: 2040/6180	Time: 656.827/86400
Decision: 2040/6180	Time: 658.477/86400
Decision: 2040/6180	Time: 660.165/86400
Decision: 2040/6180	Time: 661.907/86400
Decision: 2040/6180	Time: 663.99/86400
Decision: 2040/6180	Time: 665.777/86400
Decision: 2040/6180	Time: 667.528/86400
Decision: 2040/6180	Time: 669.302/86400
Decision: 2040/6180	Time: 671.282/86400
Decision: 2040/6180	Time: 673.367/86400
Decision: 2040/6180	Time: 675.216/86400
Decision: 2040/6180	Time: 677.133/86400
Decision: 2040/6180	Time: 679.071/86400
Decision: 2040/6180	Time: 681.034/86400
Decision: 2040/6180	Time: 683.223/86400
Decision: 2040/6180	Time: 685.118/86400
Decision: 2040/6180	Time: 687.128/86400
Decision: 2040/6180	Time: 689.085/86400
Decision: 2040/6180	Time: 691.149/86400
Decision: 2040/6180	Time: 693.588/86400
Decision: 2040/6180	Time: 695.607/86400
Decision: 2040/6180	Time: 697.586/86400
Decision: 2040/6180	Time: 699.536/86400
Decision: 2040/6180	Time: 701.482/86400
Decision: 2040/6180	Time: 703.828/86400
Decision: 2040/6180	Time: 706.039/86400
Decision: 2040/6180	Time: 708.114/86400
Decision: 2040/6180	Time: 710.259/86400
Decision: 2040/6180	Time: 712.272/86400
Decision: 2040/6180	Time: 714.901/86400
Decision: 2040/6180	Time: 717.071/86400
Decision: 2040/6180	Time: 719.345/86400
Decision: 2040/6180	Time: 721.52/86400
Decision: 2040/6180	Time: 723.765/86400
Decision: 2040/6180	Time: 726.549/86400
Decision: 2040/6180	Time: 728.802/86400
Decision: 2040/6180	Time: 731.051/86400
Decision: 2040/6180	Time: 733.205/86400
Decision: 2040/6180	Time: 735.387/86400
Decision: 2040/6180	Time: 738.053/86400
Decision: 2040/6180	Time: 740.285/86400
Decision: 2040/6180	Time: 742.633/86400
Decision: 2040/6180	Time: 744.89/86400
Decision: 2040/6180	Time: 747.252/86400
Decision: 2040/6180	Time: 750.039/86400
Decision: 2040/6180	Time: 752.228/86400
Decision: 2040/6180	Time: 754.455/86400
Decision: 2040/6180	Time: 756.768/86400
Decision: 2040/6180	Time: 759.142/86400
Decision: 2040/6180	Time: 762.021/86400
Decision: 2040/6180	Time: 764.441/86400
Decision: 2040/6180	Time: 766.866/86400
Decision: 2040/6180	Time: 769.433/86400
Decision: 2040/6180	Time: 771.996/86400
Decision: 2040/6180	Time: 774.898/86400
Decision: 2040/6180	Time: 777.226/86400
Decision: 2040/6180	Time: 779.558/86400
Decision: 2040/6180	Time: 781.885/86400
Decision: 2040/6180	Time: 784.303/86400
Decision: 2040/6180	Time: 787.472/86400
Decision: 2040/6180	Time: 789.895/86400
Decision: 2040/6180	Time: 792.311/86400
Decision: 2040/6180	Time: 794.622/86400
Decision: 2040/6180	Time: 796.99/86400
Decision: 2040/6180	Time: 800.059/86400
Decision: 2040/6180	Time: 802.461/86400
Decision: 2040/6180	Time: 804.993/86400
Decision: 2040/6180	Time: 807.512/86400
Decision: 2040/6180	Time: 810.234/86400
Decision: 2040/6180	Time: 813.487/86400
Decision: 2040/6180	Time: 816.046/86400
Decision: 2040/6180	Time: 818.606/86400
Decision: 2040/6180	Time: 821.152/86400
Decision: 2040/6180	Time: 823.755/86400
Decision: 2040/6180	Time: 827.071/86400
Decision: 2040/6180	Time: 829.613/86400
Decision: 2040/6180	Time: 832.056/86400
Decision: 2040/6180	Time: 834.608/86400
Decision: 2040/6180	Time: 837.212/86400
Decision: 2040/6180	Time: 840.513/86400
Decision: 2040/6180	Time: 843/86400
Decision: 2040/6180	Time: 845.567/86400
Decision: 2040/6180	Time: 848.186/86400
Decision: 2040/6180	Time: 850.703/86400
Decision: 2040/6180	Time: 854.056/86400
Decision: 2040/6180	Time: 856.721/86400
Decision: 2040/6180	Time: 859.452/86400
Decision: 2040/6180	Time: 862.005/86400
Decision: 2040/6180	Time: 864.367/86400
Decision: 2040/6180	Time: 867.532/86400
Decision: 2040/6180	Time: 870.106/86400
Decision: 2040/6180	Time: 872.631/86400
Decision: 2040/6180	Time: 875.094/86400
Decision: 2040/6180	Time: 877.529/86400
Decision: 2040/6180	Time: 880.873/86400
Decision: 2040/6180	Time: 883.488/86400
Decision: 2040/6180	Time: 886.249/86400
Decision: 2040/6180	Time: 888.901/86400
Decision: 2040/6180	Time: 891.468/86400
Decision: 2040/6180	Time: 894.608/86400
Decision: 2040/6180	Time: 897.236/86400
Decision: 2040/6180	Time: 899.658/86400
Decision: 2040/6180	Time: 902.177/86400
Decision: 2040/6180	Time: 904.692/86400
Decision: 2040/6180	Time: 907.854/86400
Decision: 2040/6180	Time: 910.551/86400
Decision: 2040/6180	Time: 913.289/86400
Decision: 2040/6180	Time: 915.806/86400
Decision: 2040/6180	Time: 918.36/86400
Decision: 2040/6180	Time: 921.507/86400
Decision: 2040/6180	Time: 924.117/86400
Decision: 2040/6180	Time: 926.854/86400
Decision: 2040/6180	Time: 929.667/86400
Decision: 2040/6180	Time: 932.24/86400
Decision: 2040/6180	Time: 935.545/86400
Decision: 2040/6180	Time: 938.255/86400
Decision: 2040/6180	Time: 941.108/86400
Decision: 2040/6180	Time: 943.747/86400
Decision: 2040/6180	Time: 946.375/86400
Decision: 2040/6180	Time: 954.408/86400
Decision: 2040/6180	Time: 955.825/86400
Decision: 2040/6180	Time: 956.756/86400
Decision: 2040/6180	Time: 958.271/86400
Decision: 2040/6180	Time: 959.973/86400
Decision: 2040/6180	Time: 961.474/86400
Decision: 2040/6180	Time: 963.116/86400
Decision: 2040/6180	Time: 964.697/86400
Decision: 2040/6180	Time: 967.343/86400
Decision: 2040/6180	Time: 968.936/86400
Decision: 2040/6180	Time: 970.31/86400
Decision: 2040/6180	Time: 971.78/86400
Decision: 2040/6180	Time: 974.229/86400
Decision: 2040/6180	Time: 975.707/86400
Decision: 2040/6180	Time: 976.99/86400
Decision: 2040/6180	Time: 978.666/86400
Decision: 2040/6180	Time: 979.936/86400
Decision: 2040/6180	Time: 981.5/86400
Decision: 2040/6180	Time: 983.22/86400
Decision: 2040/6180	Time: 984.78/86400
Decision: 2040/6180	Time: 986.618/86400
Decision: 2040/6180	Time: 988.671/86400
Decision: 2040/6180	Time: 990.393/86400
Decision: 2040/6180	Time: 992.003/86400
Decision: 2040/6180	Time: 993.453/86400
Decision: 2040/6180	Time: 995.421/86400
Decision: 2040/6180	Time: 996.985/86400
Decision: 2040/6180	Time: 998.643/86400
Decision: 2040/6180	Time: 1000.23/86400
Decision: 2040/6180	Time: 1001.79/86400
Decision: 2040/6180	Time: 1003.8/86400
Decision: 2040/6180	Time: 1005.34/86400
Decision: 2040/6180	Time: 1007.01/86400
Decision: 2040/6180	Time: 1008.53/86400
Decision: 2040/6180	Time: 1010.32/86400
Decision: 2040/6180	Time: 1012.37/86400
Decision: 2040/6180	Time: 1014.22/86400
Decision: 2040/6180	Time: 1016.51/86400
Decision: 2040/6180	Time: 1018.53/86400
Decision: 2040/6180	Time: 1020.11/86400
Decision: 2040/6180	Time: 1022.02/86400
Decision: 2040/6180	Time: 1024.12/86400
Decision: 2040/6180	Time: 1026.09/86400
Decision: 2040/6180	Time: 1028.17/86400
Decision: 2040/6180	Time: 1030.16/86400
Decision: 2040/6180	Time: 1032.65/86400
Decision: 2040/6180	Time: 1034.8/86400
Decision: 2040/6180	Time: 1036.94/86400
Decision: 2040/6180	Time: 1039.17/86400
Decision: 2040/6180	Time: 1041.21/86400
Decision: 2040/6180	Time: 1043.59/86400
Decision: 2040/6180	Time: 1045.97/86400
Decision: 2040/6180	Time: 1048.32/86400
Decision: 2040/6180	Time: 1050.54/86400
Decision: 2040/6180	Time: 1052.78/86400
Decision: 2040/6180	Time: 1055.48/86400
Decision: 2040/6180	Time: 1057.63/86400
Decision: 2040/6180	Time: 1059.89/86400
Decision: 2040/6180	Time: 1062.05/86400
Decision: 2040/6180	Time: 1064.26/86400
Decision: 2040/6180	Time: 1066.96/86400
Decision: 2040/6180	Time: 1069.3/86400
Decision: 2040/6180	Time: 1071.66/86400
Decision: 2040/6180	Time: 1074.17/86400
Decision: 2040/6180	Time: 1076.52/86400
Decision: 2040/6180	Time: 1079.27/86400
Decision: 2040/6180	Time: 1081.7/86400
Decision: 2040/6180	Time: 1084.09/86400
Decision: 2040/6180	Time: 1086.35/86400
Decision: 2040/6180	Time: 1088.49/86400
Decision: 2040/6180	Time: 1091.28/86400
Decision: 2040/6180	Time: 1093.61/86400
Decision: 2040/6180	Time: 1095.98/86400
Decision: 2040/6180	Time: 1098.48/86400
Decision: 2040/6180	Time: 1100.88/86400
Decision: 2040/6180	Time: 1103.77/86400
Decision: 2040/6180	Time: 1106.23/86400
Decision: 2040/6180	Time: 1108.59/86400
Decision: 2040/6180	Time: 1111.09/86400
Decision: 2040/6180	Time: 1113.41/86400
Decision: 2040/6180	Time: 1116.39/86400
Decision: 2040/6180	Time: 1118.78/86400
Decision: 2040/6180	Time: 1121.28/86400
Decision: 2040/6180	Time: 1123.84/86400
Decision: 2040/6180	Time: 1126.42/86400
Decision: 2040/6180	Time: 1129.49/86400
Decision: 2040/6180	Time: 1132.09/86400
Decision: 2040/6180	Time: 1134.82/86400
Decision: 2040/6180	Time: 1137.48/86400
Decision: 2040/6180	Time: 1139.92/86400
Decision: 2040/6180	Time: 1143.07/86400
Decision: 2040/6180	Time: 1145.48/86400
Decision: 2040/6180	Time: 1148.18/86400
Decision: 2040/6180	Time: 1150.71/86400
Decision: 2040/6180	Time: 1153.27/86400
Decision: 2040/6180	Time: 1156.47/86400
Decision: 2040/6180	Time: 1159.08/86400
Decision: 2040/6180	Time: 1161.73/86400
Decision: 2040/6180	Time: 1164.17/86400
Decision: 2040/6180	Time: 1166.85/86400
Decision: 2040/6180	Time: 1170.1/86400
Decision: 2040/6180	Time: 1172.7/86400
Decision: 2040/6180	Time: 1175.22/86400
Decision: 2040/6180	Time: 1177.97/86400
Decision: 2040/6180	Time: 1180.78/86400
Decision: 2040/6180	Time: 1184.02/86400
Decision: 2040/6180	Time: 1186.61/86400
Decision: 2040/6180	Time: 1189.24/86400
Decision: 2040/6180	Time: 1191.94/86400
Decision: 2040/6180	Time: 1194.63/86400
Decision: 2040/6180	Time: 1197.91/86400
Decision: 2040/6180	Time: 1200.46/86400
Decision: 2040/6180	Time: 1203.1/86400
Decision: 2040/6180	Time: 1205.84/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.28 0.06 0.02 1/54 7446
Raw data (stat): 7446 (runsolver) D 7445 5562 5561 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 863977866 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 1504 0 9 0 730 5 0 0 25 0 1 0 863977866 7921664 1233 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1934 1233 300 300 0 1634 0
vsize: 7736
[startup+20.0117 s]
Raw data (loadavg): 0.48 0.12 0.04 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 2102 0 9 0 1729 7 0 0 25 0 1 0 863977866 12255232 1831 4294967295 134512640 135726644 3221224576 3221223120 134736686 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2992 1831 300 300 0 2692 0
vsize: 11968
[startup+30.0117 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 2555 0 9 0 2727 8 0 0 25 0 1 0 863977866 12394496 2284 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3026 2284 300 300 0 2726 0
vsize: 12104
[startup+40.0129 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 3003 0 9 0 3726 10 0 0 25 0 1 0 863977866 12673024 2732 4294967295 134512640 135726644 3221224576 3221222896 134729216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3094 2732 300 300 0 2794 0
vsize: 12376
[startup+50.0134 s]
Raw data (loadavg): 0.68 0.21 0.07 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 3891 0 9 0 4723 12 0 0 25 0 1 0 863977866 21884928 3620 4294967295 134512640 135726644 3221224576 3221223088 134742591 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5343 3620 300 300 0 5043 0
vsize: 21372
[startup+60.0136 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 4889 0 9 0 5720 15 0 0 25 0 1 0 863977866 23453696 4618 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5726 4618 300 300 0 5426 0
vsize: 22904
[startup+70.0135 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 5673 0 9 0 6717 18 0 0 25 0 1 0 863977866 24498176 5402 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5981 5402 300 300 0 5681 0
vsize: 23924
[startup+80.0141 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 6400 0 9 0 7713 23 0 0 25 0 1 0 863977866 26345472 5936 4294967295 134512640 135726644 3221224576 3221222816 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6432 5936 300 300 0 6132 0
vsize: 25728
[startup+90.0134 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 6489 0 9 0 8711 25 0 0 25 0 1 0 863977866 26431488 6025 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6453 6025 300 300 0 6153 0
vsize: 25812
[startup+100.014 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 6586 0 9 0 9710 26 0 0 25 0 1 0 863977866 26652672 6122 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6507 6122 300 300 0 6207 0
vsize: 26028
[startup+110.014 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 6727 0 9 0 10709 27 0 0 25 0 1 0 863977866 27140096 6263 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6626 6263 300 300 0 6326 0
vsize: 26504
[startup+120.014 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 6864 0 9 0 11707 29 0 0 25 0 1 0 863977866 27631616 6400 4294967295 134512640 135726644 3221224576 3221222936 134809832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6746 6400 300 300 0 6446 0
vsize: 26984
[startup+130.015 s]
Raw data (loadavg): 0.91 0.39 0.14 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 7070 0 9 0 12706 31 0 0 25 0 1 0 863977866 28438528 6606 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6943 6606 300 300 0 6643 0
vsize: 27772
[startup+140.016 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 7497 0 9 0 13704 33 0 0 25 0 1 0 863977866 45920256 7033 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11211 7033 300 300 0 10911 0
vsize: 44844
[startup+150.015 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 8096 0 9 0 14702 35 0 0 25 0 1 0 863977866 46632960 7632 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11385 7632 300 300 0 11085 0
vsize: 45540
[startup+160.015 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 8712 0 9 0 15700 37 0 0 25 0 1 0 863977866 47321088 8248 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11553 8249 300 300 0 11253 0
vsize: 46212
[startup+170.014 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 9602 0 9 0 16697 41 0 0 25 0 1 0 863977866 49696768 8753 4294967295 134512640 135726644 3221224576 3221223088 134742928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12133 8753 300 300 0 11833 0
vsize: 48532
[startup+180.015 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 10341 0 9 0 17695 43 0 0 25 0 1 0 863977866 51023872 9492 4294967295 134512640 135726644 3221224576 3221222912 134763549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12457 9492 300 300 0 12157 0
vsize: 49828
[startup+190.015 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 10845 0 9 0 18693 45 0 0 25 0 1 0 863977866 51466240 9996 4294967295 134512640 135726644 3221224576 3221222896 134729220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12565 9996 300 300 0 12265 0
vsize: 50260
[startup+200.014 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 10885 0 9 0 19691 47 0 0 25 0 1 0 863977866 51580928 10036 4294967295 134512640 135726644 3221224576 3221223120 134736692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12593 10036 300 300 0 12293 0
vsize: 50372
[startup+210.015 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 10984 0 9 0 20691 47 0 0 25 0 1 0 863977866 51990528 10135 4294967295 134512640 135726644 3221224576 3221223088 134742632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12693 10135 300 300 0 12393 0
vsize: 50772
[startup+220.015 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11059 0 9 0 21691 48 0 0 25 0 1 0 863977866 52137984 10210 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12729 10210 300 300 0 12429 0
vsize: 50916
[startup+230.015 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11154 0 9 0 22688 50 0 0 25 0 1 0 863977866 52547584 10305 4294967295 134512640 135726644 3221224576 3221223184 134741128 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12829 10305 300 300 0 12529 0
vsize: 51316
[startup+240.015 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11182 0 9 0 23687 51 0 0 25 0 1 0 863977866 52547584 10333 4294967295 134512640 135726644 3221224576 3221223200 134779675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12829 10333 300 300 0 12529 0
vsize: 51316
[startup+250.015 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11209 0 9 0 24686 53 0 0 25 0 1 0 863977866 52547584 10360 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12829 10360 300 300 0 12529 0
vsize: 51316
[startup+260.015 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11235 0 9 0 25685 54 0 0 25 0 1 0 863977866 52547584 10386 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12829 10386 300 300 0 12529 0
vsize: 51316
[startup+270.014 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11266 0 9 0 26684 55 0 0 25 0 1 0 863977866 52547584 10417 4294967295 134512640 135726644 3221224576 3221223120 134736850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12829 10417 300 300 0 12529 0
vsize: 51316
[startup+280.016 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11310 0 9 0 27683 56 0 0 25 0 1 0 863977866 52637696 10461 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 10461 300 300 0 12551 0
vsize: 51404
[startup+290.016 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11348 0 9 0 28682 57 0 0 25 0 1 0 863977866 52736000 10499 4294967295 134512640 135726644 3221224576 3221223088 134742627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12875 10499 300 300 0 12575 0
vsize: 51500
[startup+300.015 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11391 0 9 0 29682 58 0 0 25 0 1 0 863977866 52834304 10542 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12899 10542 300 300 0 12599 0
vsize: 51596
[startup+310.015 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11460 0 9 0 30680 60 0 0 25 0 1 0 863977866 53039104 10611 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12949 10611 300 300 0 12649 0
vsize: 51796
[startup+320.016 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11535 0 9 0 31679 61 0 0 25 0 1 0 863977866 53272576 10686 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13006 10686 300 300 0 12706 0
vsize: 52024
[startup+330.016 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11587 0 9 0 32679 62 0 0 25 0 1 0 863977866 53403648 10738 4294967295 134512640 135726644 3221224576 3221223056 134729263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13038 10738 300 300 0 12738 0
vsize: 52152
[startup+340.017 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11645 0 9 0 33678 62 0 0 25 0 1 0 863977866 53518336 10796 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13066 10796 300 300 0 12766 0
vsize: 52264
[startup+350.016 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 11701 0 9 0 34678 63 0 0 25 0 1 0 863977866 53633024 10852 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13094 10852 300 300 0 12794 0
vsize: 52376
[startup+360.016 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 12579 0 9 0 35676 65 0 0 25 0 1 0 863977866 57237504 10961 4294967295 134512640 135726644 3221224576 3221222936 135101185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13974 10961 300 300 0 13674 0
vsize: 55896
[startup+370.016 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 12986 0 9 0 36674 68 0 0 25 0 1 0 863977866 57630720 11368 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14070 11368 300 300 0 13770 0
vsize: 56280
[startup+380.017 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 13129 0 9 0 37673 69 0 0 25 0 1 0 863977866 58040320 11511 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14170 11511 300 300 0 13870 0
vsize: 56680
[startup+390.017 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 13411 0 9 0 38671 70 0 0 25 0 1 0 863977866 58155008 11793 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14198 11793 300 300 0 13898 0
vsize: 56792
[startup+400.017 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 13604 0 9 0 39671 71 0 0 25 0 1 0 863977866 58400768 11986 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14258 11986 300 300 0 13958 0
vsize: 57032
[startup+410.017 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 14231 0 9 0 40668 74 0 0 25 0 1 0 863977866 58777600 12613 4294967295 134512640 135726644 3221224576 3221223200 134779679 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14350 12613 300 300 0 14050 0
vsize: 57400
[startup+420.017 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 14349 0 9 0 41667 75 0 0 25 0 1 0 863977866 59023360 12731 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14410 12731 300 300 0 14110 0
vsize: 57640
[startup+430.018 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 14708 0 9 0 42667 75 0 0 25 0 1 0 863977866 59400192 13090 4294967295 134512640 135726644 3221224576 3221223072 134743967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14502 13090 300 300 0 14202 0
vsize: 58008
[startup+440.019 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 15183 0 9 0 43666 77 0 0 25 0 1 0 863977866 59990016 13565 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14646 13565 300 300 0 14346 0
vsize: 58584
[startup+450.018 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 15785 0 9 0 44663 80 0 0 25 0 1 0 863977866 93855744 14167 4294967295 134512640 135726644 3221224576 3221223120 134736717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22914 14167 300 300 0 22614 0
vsize: 91656
[startup+460.019 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 16001 0 9 0 45662 81 0 0 25 0 1 0 863977866 94560256 14383 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23086 14383 300 300 0 22786 0
vsize: 92344
[startup+470.019 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 16419 0 9 0 46660 83 0 0 25 0 1 0 863977866 94937088 14801 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23178 14801 300 300 0 22878 0
vsize: 92712
[startup+480.02 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 16847 0 9 0 47659 85 0 0 25 0 1 0 863977866 95559680 15229 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23330 15229 300 300 0 23030 0
vsize: 93320
[startup+490.019 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 17376 0 9 0 48656 87 0 0 25 0 1 0 863977866 96641024 15758 4294967295 134512640 135726644 3221224576 3221222960 134758368 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23594 15758 300 300 0 23294 0
vsize: 94376
[startup+500.019 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 17760 0 9 0 49655 89 0 0 25 0 1 0 863977866 97394688 16142 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23778 16142 300 300 0 23478 0
vsize: 95112
[startup+510.019 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 18457 0 9 0 50653 91 0 0 25 0 1 0 863977866 98181120 16839 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23970 16839 300 300 0 23670 0
vsize: 95880
[startup+520.02 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 18599 0 9 0 51652 92 0 0 25 0 1 0 863977866 98803712 16981 4294967295 134512640 135726644 3221224576 3221223088 134742955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24122 16981 300 300 0 23822 0
vsize: 96488
[startup+530.02 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 18995 0 9 0 52651 94 0 0 25 0 1 0 863977866 99164160 17377 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24210 17377 300 300 0 23910 0
vsize: 96840
[startup+540.02 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19124 0 9 0 53650 95 0 0 25 0 1 0 863977866 99852288 17506 4294967295 134512640 135726644 3221224576 3221223072 134744297 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24378 17506 300 300 0 24078 0
vsize: 97512
[startup+550.02 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19288 0 9 0 54649 96 0 0 25 0 1 0 863977866 100642816 17670 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24571 17670 300 300 0 24271 0
vsize: 98284
[startup+560.021 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19313 0 9 0 55649 96 0 0 25 0 1 0 863977866 100642816 17695 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24571 17695 300 300 0 24271 0
vsize: 98284
[startup+570.021 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19329 0 9 0 56648 97 0 0 25 0 1 0 863977866 100642816 17711 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24571 17711 300 300 0 24271 0
vsize: 98284
[startup+580.022 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19347 0 9 0 57647 99 0 0 25 0 1 0 863977866 100642816 17729 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24571 17729 300 300 0 24271 0
vsize: 98284
[startup+590.023 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19364 0 9 0 58646 100 0 0 25 0 1 0 863977866 100642816 17746 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24571 17746 300 300 0 24271 0
vsize: 98284
[startup+600.022 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19382 0 9 0 59645 101 0 0 25 0 1 0 863977866 100642816 17764 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24571 17764 300 300 0 24271 0
vsize: 98284
[startup+610.022 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19399 0 9 0 60645 101 0 0 25 0 1 0 863977866 100642816 17781 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24571 17781 300 300 0 24271 0
vsize: 98284
[startup+620.021 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19415 0 9 0 61644 102 0 0 25 0 1 0 863977866 100642816 17797 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24571 17797 300 300 0 24271 0
vsize: 98284
[startup+630.022 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19464 0 9 0 62642 104 0 0 25 0 1 0 863977866 100806656 17846 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24611 17846 300 300 0 24311 0
vsize: 98444
[startup+640.022 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19495 0 9 0 63637 109 0 0 25 0 1 0 863977866 100937728 17877 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24643 17877 300 300 0 24343 0
vsize: 98572
[startup+650.021 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19523 0 9 0 64635 111 0 0 25 0 1 0 863977866 100937728 17905 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24643 17905 300 300 0 24343 0
vsize: 98572
[startup+660.022 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19547 0 9 0 65635 112 0 0 25 0 1 0 863977866 100937728 17929 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24643 17929 300 300 0 24343 0
vsize: 98572
[startup+670.021 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19570 0 9 0 66634 113 0 0 25 0 1 0 863977866 100937728 17952 4294967295 134512640 135726644 3221224576 3221223120 134736714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24643 17952 300 300 0 24343 0
vsize: 98572
[startup+680.022 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19591 0 9 0 67633 114 0 0 25 0 1 0 863977866 100937728 17973 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24643 17973 300 300 0 24343 0
vsize: 98572
[startup+690.021 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19612 0 9 0 68632 115 0 0 25 0 1 0 863977866 100937728 17994 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24643 17994 300 300 0 24343 0
vsize: 98572
[startup+700.022 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19632 0 9 0 69632 115 0 0 25 0 1 0 863977866 100937728 18014 4294967295 134512640 135726644 3221224576 3221223088 134742201 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24643 18014 300 300 0 24343 0
vsize: 98572
[startup+710.022 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19652 0 9 0 70632 116 0 0 25 0 1 0 863977866 100937728 18034 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24643 18034 300 300 0 24343 0
vsize: 98572
[startup+720.021 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19669 0 9 0 71632 116 0 0 25 0 1 0 863977866 100937728 18051 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24643 18051 300 300 0 24343 0
vsize: 98572
[startup+730.022 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19697 0 9 0 72631 117 0 0 25 0 1 0 863977866 100937728 18079 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24643 18079 300 300 0 24343 0
vsize: 98572
[startup+740.023 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19734 0 9 0 73631 118 0 0 25 0 1 0 863977866 101036032 18116 4294967295 134512640 135726644 3221224576 3221223088 134742931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24667 18116 300 300 0 24367 0
vsize: 98668
[startup+750.022 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19767 0 9 0 74630 118 0 0 25 0 1 0 863977866 101036032 18149 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24667 18149 300 300 0 24367 0
vsize: 98668
[startup+760.022 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19811 0 9 0 75630 119 0 0 25 0 1 0 863977866 101224448 18193 4294967295 134512640 135726644 3221224576 3221223168 134760185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24713 18193 300 300 0 24413 0
vsize: 98852
[startup+770.023 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19850 0 9 0 76630 119 0 0 25 0 1 0 863977866 101314560 18232 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24735 18232 300 300 0 24435 0
vsize: 98940
[startup+780.023 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19903 0 9 0 77629 120 0 0 25 0 1 0 863977866 101396480 18285 4294967295 134512640 135726644 3221224576 3221223072 134744286 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24755 18285 300 300 0 24455 0
vsize: 99020
[startup+790.023 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19947 0 9 0 78628 121 0 0 25 0 1 0 863977866 101605376 18329 4294967295 134512640 135726644 3221224576 3221223200 134779698 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24806 18329 300 300 0 24506 0
vsize: 99224
[startup+800.023 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 19991 0 9 0 79628 122 0 0 25 0 1 0 863977866 101720064 18373 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24834 18373 300 300 0 24534 0
vsize: 99336
[startup+810.023 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 20042 0 9 0 80627 123 0 0 25 0 1 0 863977866 101867520 18424 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24870 18424 300 300 0 24570 0
vsize: 99480
[startup+820.023 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 21617 0 9 0 81623 127 0 0 25 0 1 0 863977866 108273664 18462 4294967295 134512640 135726644 3221224576 3221223072 134744172 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26434 18462 300 300 0 26134 0
vsize: 105736
[startup+830.023 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 21666 0 9 0 82623 127 0 0 25 0 1 0 863977866 108388352 18511 4294967295 134512640 135726644 3221224576 3221223072 134744263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26462 18511 300 300 0 26162 0
vsize: 105848
[startup+840.024 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 21711 0 9 0 83622 128 0 0 25 0 1 0 863977866 108486656 18556 4294967295 134512640 135726644 3221224576 3221223072 134744120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26486 18556 300 300 0 26186 0
vsize: 105944
[startup+850.024 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 21767 0 9 0 84622 129 0 0 25 0 1 0 863977866 108634112 18612 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26522 18612 300 300 0 26222 0
vsize: 106088
[startup+860.024 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 21816 0 9 0 85621 129 0 0 25 0 1 0 863977866 108830720 18661 4294967295 134512640 135726644 3221224576 3221223120 134736717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26570 18661 300 300 0 26270 0
vsize: 106280
[startup+870.024 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 21864 0 9 0 86621 130 0 0 25 0 1 0 863977866 108916736 18709 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26591 18709 300 300 0 26291 0
vsize: 106364
[startup+880.024 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 21897 0 9 0 87620 130 0 0 25 0 1 0 863977866 109002752 18742 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26612 18742 300 300 0 26312 0
vsize: 106448
[startup+890.024 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 21938 0 9 0 88620 131 0 0 25 0 1 0 863977866 109142016 18783 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26646 18783 300 300 0 26346 0
vsize: 106584
[startup+900.024 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 21992 0 9 0 89620 131 0 0 25 0 1 0 863977866 109252608 18837 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26673 18837 300 300 0 26373 0
vsize: 106692
[startup+910.024 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22053 0 9 0 90619 132 0 0 25 0 1 0 863977866 109580288 18898 4294967295 134512640 135726644 3221224576 3221222716 134761832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26753 18898 300 300 0 26453 0
vsize: 107012
[startup+920.024 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22085 0 9 0 91619 133 0 0 25 0 1 0 863977866 109531136 18930 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26741 18930 300 300 0 26441 0
vsize: 106964
[startup+930.023 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22129 0 9 0 92618 134 0 0 25 0 1 0 863977866 109670400 18974 4294967295 134512640 135726644 3221224576 3221222648 135281412 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26775 18974 300 300 0 26475 0
vsize: 107100
[startup+940.024 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22171 0 9 0 93617 135 0 0 25 0 1 0 863977866 109801472 19016 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26807 19016 300 300 0 26507 0
vsize: 107228
[startup+950.024 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22240 0 9 0 94616 136 0 0 25 0 1 0 863977866 110219264 19085 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26909 19085 300 300 0 26609 0
vsize: 107636
[startup+960.024 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22490 0 9 0 95613 139 0 0 25 0 1 0 863977866 111030272 19335 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27107 19335 300 300 0 26807 0
vsize: 108428
[startup+970.024 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22525 0 9 0 96610 143 0 0 25 0 1 0 863977866 111124480 19370 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 19370 300 300 0 26830 0
vsize: 108520
[startup+980.024 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22591 0 9 0 97607 146 0 0 25 0 1 0 863977866 111251456 19436 4294967295 134512640 135726644 3221224576 3221222764 135287584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27161 19436 300 300 0 26861 0
vsize: 108644
[startup+990.023 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22629 0 9 0 98605 148 0 0 25 0 1 0 863977866 111374336 19474 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27191 19474 300 300 0 26891 0
vsize: 108764
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22679 0 9 0 99602 151 0 0 25 0 1 0 863977866 111460352 19524 4294967295 134512640 135726644 3221224576 3221222896 134729158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27212 19524 300 300 0 26912 0
vsize: 108848
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22710 0 9 0 100601 152 0 0 25 0 1 0 863977866 111460352 19555 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27212 19555 300 300 0 26912 0
vsize: 108848
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22755 0 9 0 101599 155 0 0 25 0 1 0 863977866 111595520 19600 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27245 19600 300 300 0 26945 0
vsize: 108980
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22787 0 9 0 102598 155 0 0 25 0 1 0 863977866 111595520 19632 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27245 19632 300 300 0 26945 0
vsize: 108980
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22812 0 9 0 103598 156 0 0 25 0 1 0 863977866 111595520 19657 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27245 19657 300 300 0 26945 0
vsize: 108980
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22841 0 9 0 104597 157 0 0 25 0 1 0 863977866 111681536 19686 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27266 19686 300 300 0 26966 0
vsize: 109064
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22873 0 9 0 105597 157 0 0 25 0 1 0 863977866 111771648 19718 4294967295 134512640 135726644 3221224576 3221223088 134742952 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27288 19718 300 300 0 26988 0
vsize: 109152
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22906 0 9 0 106596 159 0 0 25 0 1 0 863977866 111771648 19751 4294967295 134512640 135726644 3221224576 3221222896 134729212 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27288 19751 300 300 0 26988 0
vsize: 109152
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22942 0 9 0 107595 159 0 0 25 0 1 0 863977866 111874048 19787 4294967295 134512640 135726644 3221224576 3221222788 134810018 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27313 19787 300 300 0 27013 0
vsize: 109252
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 22978 0 9 0 108594 160 0 0 25 0 1 0 863977866 111964160 19823 4294967295 134512640 135726644 3221224576 3221222872 134763381 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27335 19823 300 300 0 27035 0
vsize: 109340
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23015 0 9 0 109594 161 0 0 25 0 1 0 863977866 112054272 19860 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27357 19860 300 300 0 27057 0
vsize: 109428
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23049 0 9 0 110593 162 0 0 25 0 1 0 863977866 112148480 19894 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27380 19894 300 300 0 27080 0
vsize: 109520
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23088 0 9 0 111593 162 0 0 25 0 1 0 863977866 112242688 19933 4294967295 134512640 135726644 3221224576 3221222944 134758972 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27403 19933 300 300 0 27103 0
vsize: 109612
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23126 0 9 0 112592 164 0 0 25 0 1 0 863977866 112328704 19971 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27424 19971 300 300 0 27124 0
vsize: 109696
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23162 0 9 0 113591 165 0 0 25 0 1 0 863977866 112418816 20007 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27446 20007 300 300 0 27146 0
vsize: 109784
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23206 0 9 0 114590 166 0 0 25 0 1 0 863977866 112537600 20051 4294967295 134512640 135726644 3221224576 3221223120 134736815 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27475 20051 300 300 0 27175 0
vsize: 109900
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23246 0 9 0 115589 167 0 0 25 0 1 0 863977866 112640000 20091 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27500 20091 300 300 0 27200 0
vsize: 110000
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23282 0 9 0 116589 167 0 0 25 0 1 0 863977866 112640000 20127 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27500 20127 300 300 0 27200 0
vsize: 110000
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23321 0 9 0 117588 168 0 0 25 0 1 0 863977866 112762880 20166 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27530 20166 300 300 0 27230 0
vsize: 110120
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23357 0 9 0 118588 169 0 0 25 0 1 0 863977866 112873472 20202 4294967295 134512640 135726644 3221224576 3221223056 134729041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27557 20202 300 300 0 27257 0
vsize: 110228
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23401 0 9 0 119587 169 0 0 25 0 1 0 863977866 112963584 20246 4294967295 134512640 135726644 3221224576 3221223212 134735632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27579 20246 300 300 0 27279 0
vsize: 110316
[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 7446
Raw data (stat): 7446 (pb2sat) R 7445 5562 5561 0 -1 0 23441 0 9 0 120586 170 0 0 25 0 1 0 863977866 113086464 20286 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27609 20286 300 300 0 27309 0
vsize: 110436
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.3 s]
Raw data (loadavg): 0.99 0.97 0.70 1/54 7446
Raw data (stat): 7446 (pb2sat) Z 7445 5562 5561 0 -1 12 23442 0 9 0 120609 175 0 0 25 0 1 0 863977866 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1210.3
CPU time (s): 1207.85
CPU user time (s): 1206.09
CPU system time (s): 1.75073
CPU usage (%): 99.7972
Max. virtual memory (Kb): 110436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####