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-chnl50_51_pb.cnf.cr.opb
MD5SUM	00bdc6bb9bafd4b1100d8bfa4f886626
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	52
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.156976
Number of variables	5100
Total number of constraints	202
Number of constraints which are clauses	102
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	51
Trace number 41907

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        836904 kB
Buffers:         33496 kB
Cached:         140616 kB
SwapCached:       1192 kB
Active:          76508 kB
Inactive:        99920 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        836652 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            15648 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 20:05:14 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 25118 7 1200.41 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 5000/15100	Time: 73.5158/86400
c Decision: 5000/15100	Time: 76.0864/86400
c Decision: 5000/15100	Time: 78.985/86400
c Decision: 5000/15100	Time: 81.6806/86400
c Decision: 5000/15100	Time: 84.8231/86400
c Decision: 5000/15100	Time: 88.1406/86400
c Decision: 5000/15100	Time: 90.4822/86400
c Decision: 5000/15100	Time: 93.2478/86400
c Decision: 5000/15100	Time: 100.869/86400
c Decision: 5000/15100	Time: 103.253/86400
c Decision: 5000/15100	Time: 106.131/86400
c Decision: 5000/15100	Time: 108.502/86400
c Decision: 5000/15100	Time: 111.076/86400
c Decision: 5000/15100	Time: 113.427/86400
c Decision: 5000/15100	Time: 121.387/86400
c Decision: 5000/15100	Time: 123.592/86400
c Decision: 5000/15100	Time: 125.573/86400
c Decision: 5000/15100	Time: 127.55/86400
c Decision: 5000/15100	Time: 129.909/86400
c Decision: 5000/15100	Time: 132.354/86400
c Decision: 5000/15100	Time: 134.602/86400
c Decision: 5000/15100	Time: 136.817/86400
c Decision: 5000/15100	Time: 139.335/86400
c Decision: 5000/15100	Time: 141.894/86400
c Decision: 5000/15100	Time: 143.951/86400
c Decision: 5000/15100	Time: 146.34/86400
c Decision: 5000/15100	Time: 148.384/86400
c Decision: 5000/15100	Time: 150.345/86400
c Decision: 5000/15100	Time: 152.395/86400
c Decision: 5000/15100	Time: 154.303/86400
c Decision: 5000/15100	Time: 156.65/86400
c Decision: 5000/15100	Time: 158.714/86400
c Decision: 5000/15100	Time: 160.599/86400
c Decision: 5000/15100	Time: 172.059/86400
c Decision: 5000/15100	Time: 174.138/86400
c Decision: 5000/15100	Time: 176.47/86400
c Decision: 5000/15100	Time: 178.373/86400
c Decision: 5000/15100	Time: 180.593/86400
c Decision: 5000/15100	Time: 182.867/86400
c Decision: 5000/15100	Time: 184.899/86400
c Decision: 5000/15100	Time: 187.262/86400
c Decision: 5000/15100	Time: 189.42/86400
c Decision: 5000/15100	Time: 191.408/86400
c Decision: 5000/15100	Time: 193.129/86400
c Decision: 5000/15100	Time: 195.156/86400
c Decision: 5000/15100	Time: 197.49/86400
c Decision: 5000/15100	Time: 199.497/86400
c Decision: 5000/15100	Time: 201.384/86400
c Decision: 5000/15100	Time: 203.474/86400
c Decision: 5000/15100	Time: 205.54/86400
c Decision: 5000/15100	Time: 207.864/86400
c Decision: 5000/15100	Time: 209.895/86400
c Decision: 5000/15100	Time: 211.911/86400
c Decision: 5000/15100	Time: 214.011/86400
c Decision: 5000/15100	Time: 216.014/86400
c Decision: 5000/15100	Time: 218.278/86400
c Decision: 5000/15100	Time: 220.4/86400
c Decision: 5000/15100	Time: 222.585/86400
c Decision: 5000/15100	Time: 224.901/86400
c Decision: 5000/15100	Time: 227.127/86400
c Decision: 5000/15100	Time: 229.769/86400
c Decision: 5000/15100	Time: 232.046/86400
c Decision: 5000/15100	Time: 234.145/86400
c Decision: 5000/15100	Time: 236.469/86400
c Decision: 5000/15100	Time: 238.825/86400
c Decision: 5000/15100	Time: 246.383/86400
c Decision: 5000/15100	Time: 248.683/86400
c Decision: 5000/15100	Time: 250.84/86400
c Decision: 5000/15100	Time: 252.871/86400
c Decision: 5000/15100	Time: 254.898/86400
c Decision: 5000/15100	Time: 257.146/86400
c Decision: 5000/15100	Time: 259.429/86400
c Decision: 5000/15100	Time: 261.639/86400
c Decision: 5000/15100	Time: 263.827/86400
c Decision: 5000/15100	Time: 265.806/86400
c Decision: 5000/15100	Time: 267.903/86400
c Decision: 5000/15100	Time: 269.911/86400
c Decision: 5000/15100	Time: 272.086/86400
c Decision: 5000/15100	Time: 274.013/86400
c Decision: 5000/15100	Time: 276.092/86400
c Decision: 5000/15100	Time: 278.397/86400
c Decision: 5000/15100	Time: 280.283/86400
c Decision: 5000/15100	Time: 282.237/86400
c Decision: 5000/15100	Time: 284.306/86400
c Decision: 5000/15100	Time: 286.179/86400
c Decision: 5000/15100	Time: 288.471/86400
c Decision: 5000/15100	Time: 290.499/86400
c Decision: 5000/15100	Time: 292.486/86400
c Decision: 5000/15100	Time: 294.597/86400
c Decision: 5000/15100	Time: 296.818/86400
c Decision: 5000/15100	Time: 299.281/86400
c Decision: 5000/15100	Time: 301.405/86400
c Decision: 5000/15100	Time: 303.673/86400
c Decision: 5000/15100	Time: 305.955/86400
c Decision: 5000/15100	Time: 308.209/86400
c Decision: 5000/15100	Time: 310.783/86400
c Decision: 5000/15100	Time: 313.068/86400
c Decision: 5000/15100	Time: 315.292/86400
c Decision: 5000/15100	Time: 317.39/86400
c Decision: 5000/15100	Time: 319.519/86400
c Decision: 5000/15100	Time: 322.489/86400
c Decision: 5000/15100	Time: 324.88/86400
c Decision: 5000/15100	Time: 327.278/86400
c Decision: 5000/15100	Time: 329.53/86400
c Decision: 5000/15100	Time: 347.722/86400
c Decision: 5000/15100	Time: 350.114/86400
c Decision: 5000/15100	Time: 352.35/86400
c Decision: 5000/15100	Time: 353.915/86400
c Decision: 5000/15100	Time: 359.075/86400
c Decision: 5000/15100	Time: 361.726/86400
c Decision: 5000/15100	Time: 364.147/86400
c Decision: 5000/15100	Time: 366.358/86400
c Decision: 5000/15100	Time: 369.1/86400
c Decision: 5000/15100	Time: 371.761/86400
c Decision: 5000/15100	Time: 374.203/86400
c Decision: 5000/15100	Time: 376.617/86400
c Decision: 5000/15100	Time: 379.169/86400
c Decision: 5000/15100	Time: 381.365/86400
c Decision: 5000/15100	Time: 383.754/86400
c Decision: 5000/15100	Time: 386.035/86400
c Decision: 5000/15100	Time: 388.454/86400
c Decision: 5000/15100	Time: 390.475/86400
c Decision: 5000/15100	Time: 392.523/86400
c Decision: 5000/15100	Time: 395.081/86400
c Decision: 5000/15100	Time: 397.102/86400
c Decision: 5000/15100	Time: 399.439/86400
c Decision: 5000/15100	Time: 401.565/86400
c Decision: 5000/15100	Time: 403.752/86400
c Decision: 5000/15100	Time: 405.826/86400
c Decision: 5000/15100	Time: 408.164/86400
c Decision: 5000/15100	Time: 410.641/86400
c Decision: 5000/15100	Time: 412.852/86400
c Decision: 5000/15100	Time: 415.123/86400
c Decision: 5000/15100	Time: 417.42/86400
c Decision: 5000/15100	Time: 419.645/86400
c Decision: 5000/15100	Time: 422.279/86400
c Decision: 5000/15100	Time: 424.716/86400
c Decision: 5000/15100	Time: 427.184/86400
c Decision: 5000/15100	Time: 429.627/86400
c Decision: 5000/15100	Time: 432.007/86400
c Decision: 5000/15100	Time: 434.74/86400
c Decision: 5000/15100	Time: 437.075/86400
c Decision: 5000/15100	Time: 439.437/86400
c Decision: 5000/15100	Time: 441.833/86400
c Decision: 5000/15100	Time: 444.372/86400
c Decision: 5000/15100	Time: 447.356/86400
c Decision: 5000/15100	Time: 449.906/86400
c Decision: 5000/15100	Time: 452.449/86400
c Decision: 5000/15100	Time: 454.893/86400
c Decision: 5000/15100	Time: 457.44/86400
c Decision: 5000/15100	Time: 460.501/86400
c Decision: 5000/15100	Time: 462.878/86400
c Decision: 5000/15100	Time: 465.231/86400
c Decision: 5000/15100	Time: 467.65/86400
c Decision: 5000/15100	Time: 470.018/86400
c Decision: 5000/15100	Time: 472.692/86400
c Decision: 5000/15100	Time: 475.086/86400
c Decision: 5000/15100	Time: 477.567/86400
c Decision: 5000/15100	Time: 480.018/86400
c Decision: 5000/15100	Time: 482.502/86400
c Decision: 5000/15100	Time: 501.501/86400
c Decision: 5000/15100	Time: 504.298/86400
c Decision: 5000/15100	Time: 506.431/86400
c Decision: 5000/15100	Time: 508.688/86400
c Decision: 5000/15100	Time: 510.582/86400
c Decision: 5000/15100	Time: 512.637/86400
c Decision: 5000/15100	Time: 518.795/86400
c Decision: 5000/15100	Time: 521.08/86400
c Decision: 5000/15100	Time: 523.544/86400
c Decision: 5000/15100	Time: 526.261/86400
c Decision: 5000/15100	Time: 528.858/86400
c Decision: 5000/15100	Time: 531.048/86400
c Decision: 5000/15100	Time: 533.337/86400
c Decision: 5000/15100	Time: 535.44/86400
c Decision: 5000/15100	Time: 537.745/86400
c Decision: 5000/15100	Time: 540.042/86400
c Decision: 5000/15100	Time: 542.133/86400
c Decision: 5000/15100	Time: 544.068/86400
c Decision: 5000/15100	Time: 546.314/86400
c Decision: 5000/15100	Time: 548.247/86400
c Decision: 5000/15100	Time: 550.548/86400
c Decision: 5000/15100	Time: 552.56/86400
c Decision: 5000/15100	Time: 554.783/86400
c Decision: 5000/15100	Time: 556.877/86400
c Decision: 5000/15100	Time: 558.992/86400
c Decision: 5000/15100	Time: 561.333/86400
c Decision: 5000/15100	Time: 563.504/86400
c Decision: 5000/15100	Time: 565.548/86400
c Decision: 5000/15100	Time: 567.56/86400
c Decision: 5000/15100	Time: 569.824/86400
c Decision: 5000/15100	Time: 572.253/86400
c Decision: 5000/15100	Time: 574.508/86400
c Decision: 5000/15100	Time: 576.774/86400
c Decision: 5000/15100	Time: 578.968/86400
c Decision: 5000/15100	Time: 581.309/86400
c Decision: 5000/15100	Time: 583.742/86400
c Decision: 5000/15100	Time: 586.092/86400
c Decision: 5000/15100	Time: 588.386/86400
c Decision: 5000/15100	Time: 590.698/86400
c Decision: 5000/15100	Time: 593.206/86400
c Decision: 5000/15100	Time: 595.827/86400
c Decision: 5000/15100	Time: 598.027/86400
c Decision: 5000/15100	Time: 600.536/86400
c Decision: 5000/15100	Time: 602.816/86400
c Decision: 5000/15100	Time: 605.093/86400
c Decision: 5000/15100	Time: 607.256/86400
c Decision: 5000/15100	Time: 609.692/86400
c Decision: 5000/15100	Time: 611.95/86400
c Decision: 5000/15100	Time: 614.415/86400
c Decision: 5000/15100	Time: 616.747/86400
c Decision: 5000/15100	Time: 619.538/86400
c Decision: 5000/15100	Time: 622.102/86400
c Decision: 5000/15100	Time: 624.651/86400
c Decision: 5000/15100	Time: 626.989/86400
c Decision: 5000/15100	Time: 645.654/86400
c Decision: 5000/15100	Time: 647.91/86400
c Decision: 5000/15100	Time: 650.052/86400
c Decision: 5000/15100	Time: 652.012/86400
c Decision: 5000/15100	Time: 653.986/86400
c Decision: 5000/15100	Time: 655.747/86400
c Decision: 5000/15100	Time: 657.905/86400
c Decision: 5000/15100	Time: 660.219/86400
c Decision: 5000/15100	Time: 662.38/86400
c Decision: 5000/15100	Time: 664.332/86400
c Decision: 5000/15100	Time: 666.256/86400
c Decision: 5000/15100	Time: 668.306/86400
c Decision: 5000/15100	Time: 670.287/86400
c Decision: 5000/15100	Time: 672.181/86400
c Decision: 5000/15100	Time: 674.099/86400
c Decision: 5000/15100	Time: 676.331/86400
c Decision: 5000/15100	Time: 678.52/86400
c Decision: 5000/15100	Time: 680.571/86400
c Decision: 5000/15100	Time: 682.828/86400
c Decision: 5000/15100	Time: 684.973/86400
c Decision: 5000/15100	Time: 687.292/86400
c Decision: 5000/15100	Time: 689.879/86400
c Decision: 5000/15100	Time: 692.087/86400
c Decision: 5000/15100	Time: 694.446/86400
c Decision: 5000/15100	Time: 696.762/86400
c Decision: 5000/15100	Time: 699.145/86400
c Decision: 5000/15100	Time: 701.763/86400
c Decision: 5000/15100	Time: 717.319/86400
c Decision: 5000/15100	Time: 719.644/86400
c Decision: 5000/15100	Time: 721.611/86400
c Decision: 5000/15100	Time: 723.4/86400
c Decision: 5000/15100	Time: 728.987/86400
c Decision: 5000/15100	Time: 730.943/86400
c Decision: 5000/15100	Time: 732.883/86400
c Decision: 5000/15100	Time: 734.746/86400
c Decision: 5000/15100	Time: 736.755/86400
c Decision: 5000/15100	Time: 738.843/86400
c Decision: 5000/15100	Time: 740.631/86400
c Decision: 5000/15100	Time: 742.447/86400
c Decision: 5000/15100	Time: 744.367/86400
c Decision: 5000/15100	Time: 746.218/86400
c Decision: 5000/15100	Time: 754.242/86400
c Decision: 5000/15100	Time: 756.062/86400
c Decision: 5000/15100	Time: 758.328/86400
c Decision: 5000/15100	Time: 761.317/86400
c Decision: 5000/15100	Time: 763.836/86400
c Decision: 5000/15100	Time: 766.287/86400
c Decision: 5000/15100	Time: 768.466/86400
c Decision: 5000/15100	Time: 770.515/86400
c Decision: 5000/15100	Time: 772.581/86400
c Decision: 5000/15100	Time: 774.641/86400
c Decision: 5000/15100	Time: 776.863/86400
c Decision: 5000/15100	Time: 779.047/86400
c Decision: 5000/15100	Time: 781.253/86400
c Decision: 5000/15100	Time: 783.115/86400
c Decision: 5000/15100	Time: 784.931/86400
c Decision: 5000/15100	Time: 787.035/86400
c Decision: 5000/15100	Time: 789.004/86400
c Decision: 5000/15100	Time: 790.789/86400
c Decision: 5000/15100	Time: 792.684/86400
c Decision: 5000/15100	Time: 795.008/86400
c Decision: 5000/15100	Time: 797.28/86400
c Decision: 5000/15100	Time: 799.548/86400
c Decision: 5000/15100	Time: 801.688/86400
c Decision: 5000/15100	Time: 803.86/86400
c Decision: 5000/15100	Time: 806.095/86400
c Decision: 5000/15100	Time: 808.625/86400
c Decision: 5000/15100	Time: 811.067/86400
c Decision: 5000/15100	Time: 813.327/86400
c Decision: 5000/15100	Time: 815.712/86400
c Decision: 5000/15100	Time: 827.61/86400
c Decision: 5000/15100	Time: 829.78/86400
c Decision: 5000/15100	Time: 831.704/86400
c Decision: 5000/15100	Time: 833.339/86400
c Decision: 5000/15100	Time: 835.144/86400
c Decision: 5000/15100	Time: 839.457/86400
c Decision: 5000/15100	Time: 842.373/86400
c Decision: 5000/15100	Time: 844.737/86400
c Decision: 5000/15100	Time: 847.008/86400
c Decision: 5000/15100	Time: 849.048/86400
c Decision: 5000/15100	Time: 850.965/86400
c Decision: 5000/15100	Time: 853.833/86400
c Decision: 5000/15100	Time: 856.219/86400
c Decision: 5000/15100	Time: 858.442/86400
c Decision: 5000/15100	Time: 860.757/86400
c Decision: 5000/15100	Time: 862.822/86400
c Decision: 5000/15100	Time: 865.308/86400
c Decision: 5000/15100	Time: 867.468/86400
c Decision: 5000/15100	Time: 869.749/86400
c Decision: 5000/15100	Time: 871.94/86400
c Decision: 5000/15100	Time: 874.17/86400
c Decision: 5000/15100	Time: 876.645/86400
c Decision: 5000/15100	Time: 878.637/86400
c Decision: 5000/15100	Time: 880.91/86400
c Decision: 5000/15100	Time: 882.917/86400
c Decision: 5000/15100	Time: 885.175/86400
c Decision: 5000/15100	Time: 887.776/86400
c Decision: 5000/15100	Time: 890.238/86400
c Decision: 5000/15100	Time: 892.714/86400
c Decision: 5000/15100	Time: 894.953/86400
c Decision: 5000/15100	Time: 897.482/86400
c Decision: 5000/15100	Time: 900.216/86400
c Decision: 5000/15100	Time: 902.486/86400
c Decision: 5000/15100	Time: 904.958/86400
c Decision: 5000/15100	Time: 907.177/86400
c Decision: 5000/15100	Time: 909.55/86400
c Decision: 5000/15100	Time: 912.231/86400
c Decision: 5000/15100	Time: 914.633/86400
c Decision: 5000/15100	Time: 916.963/86400
c Decision: 5000/15100	Time: 919.384/86400
c Decision: 5000/15100	Time: 933.329/86400
c Decision: 5000/15100	Time: 936.341/86400
c Decision: 5000/15100	Time: 938.36/86400
c Decision: 5000/15100	Time: 940.669/86400
c Decision: 5000/15100	Time: 942.472/86400
c Decision: 5000/15100	Time: 949.969/86400
c Decision: 5000/15100	Time: 952.945/86400
c Decision: 5000/15100	Time: 955.679/86400
c Decision: 5000/15100	Time: 958.165/86400
c Decision: 5000/15100	Time: 960.274/86400
c Decision: 5000/15100	Time: 962.963/86400
c Decision: 5000/15100	Time: 965.353/86400
c Decision: 5000/15100	Time: 967.578/86400
c Decision: 5000/15100	Time: 974.55/86400
c Decision: 5000/15100	Time: 976.474/86400
c Decision: 5000/15100	Time: 978.378/86400
c Decision: 5000/15100	Time: 980.643/86400
c Decision: 5000/15100	Time: 982.978/86400
c Decision: 5000/15100	Time: 985.531/86400
c Decision: 5000/15100	Time: 988.174/86400
c Decision: 5000/15100	Time: 990.292/86400
c Decision: 5000/15100	Time: 992.725/86400
c Decision: 5000/15100	Time: 994.763/86400
c Decision: 5000/15100	Time: 996.833/86400
c Decision: 5000/15100	Time: 999.07/86400
c Decision: 5000/15100	Time: 1001.7/86400
c Decision: 5000/15100	Time: 1003.93/86400
c Decision: 5000/15100	Time: 1005.97/86400
c Decision: 5000/15100	Time: 1008.37/86400
c Decision: 5000/15100	Time: 1010.44/86400
c Decision: 5000/15100	Time: 1012.61/86400
c Decision: 5000/15100	Time: 1015.32/86400
c Decision: 5000/15100	Time: 1017.59/86400
c Decision: 5000/15100	Time: 1019.83/86400
c Decision: 5000/15100	Time: 1022.17/86400
c Decision: 5000/15100	Time: 1024.41/86400
c Decision: 5000/15100	Time: 1026.83/86400
c Decision: 5000/15100	Time: 1029.27/86400
c Decision: 5000/15100	Time: 1031.78/86400
c Decision: 5000/15100	Time: 1034.31/86400
c Decision: 5000/15100	Time: 1036.66/86400
c Decision: 5000/15100	Time: 1039.41/86400
c Decision: 5000/15100	Time: 1041.85/86400
c Decision: 5000/15100	Time: 1044.27/86400
c Decision: 5000/15100	Time: 1046.83/86400
c Decision: 5000/15100	Time: 1049.34/86400
c Decision: 5000/15100	Time: 1052.13/86400
c Decision: 5000/15100	Time: 1054.41/86400
c Decision: 5000/15100	Time: 1056.8/86400
c Decision: 5000/15100	Time: 1059.62/86400
c Decision: 5000/15100	Time: 1062.07/86400
c Decision: 5000/15100	Time: 1064.79/86400
c Decision: 5000/15100	Time: 1067.71/86400
c Decision: 5000/15100	Time: 1069.95/86400
c Decision: 5000/15100	Time: 1072.4/86400
c Decision: 5000/15100	Time: 1075.07/86400
c Decision: 5000/15100	Time: 1078.11/86400
c Decision: 5000/15100	Time: 1080.84/86400
c Decision: 5000/15100	Time: 1083.42/86400
c Decision: 5000/15100	Time: 1086.03/86400
c Decision: 5000/15100	Time: 1088.71/86400
c Decision: 5000/15100	Time: 1091.87/86400
c Decision: 5000/15100	Time: 1094.4/86400
c Decision: 5000/15100	Time: 1097.33/86400
c Decision: 5000/15100	Time: 1100.22/86400
c Decision: 5000/15100	Time: 1102.67/86400
c Decision: 5000/15100	Time: 1111.46/86400
c Decision: 5000/15100	Time: 1113.71/86400
c Decision: 5000/15100	Time: 1115.82/86400
c Decision: 5000/15100	Time: 1117.82/86400
c Decision: 5000/15100	Time: 1119.74/86400
c Decision: 5000/15100	Time: 1121.56/86400
c Decision: 5000/15100	Time: 1123.48/86400
c Decision: 5000/15100	Time: 1125.51/86400
c Decision: 5000/15100	Time: 1127.66/86400
c Decision: 5000/15100	Time: 1129.66/86400
c Decision: 5000/15100	Time: 1131.98/86400
c Decision: 5000/15100	Time: 1134.29/86400
c Decision: 5000/15100	Time: 1136.42/86400
c Decision: 5000/15100	Time: 1138.53/86400
c Decision: 5000/15100	Time: 1140.68/86400
c Decision: 5000/15100	Time: 1142.89/86400
c Decision: 5000/15100	Time: 1144.96/86400
c Decision: 5000/15100	Time: 1147.24/86400
c Decision: 5000/15100	Time: 1149.35/86400
c Decision: 5000/15100	Time: 1151.55/86400
c Decision: 5000/15100	Time: 1154.05/86400
c Decision: 5000/15100	Time: 1156.44/86400
c Decision: 5000/15100	Time: 1158.63/86400
c Decision: 5000/15100	Time: 1160.83/86400
c Decision: 5000/15100	Time: 1162.93/86400
c Decision: 5000/15100	Time: 1165.37/86400
c Decision: 5000/15100	Time: 1167.58/86400
c Decision: 5000/15100	Time: 1170.2/86400
c Decision: 5000/15100	Time: 1172.69/86400
c Decision: 5000/15100	Time: 1175.42/86400
c Decision: 5000/15100	Time: 1178.1/86400
c Decision: 5000/15100	Time: 1180.51/86400
c Decision: 5000/15100	Time: 1182.92/86400
c Decision: 5000/15100	Time: 1185.33/86400
c Decision: 5000/15100	Time: 1187.78/86400
c Decision: 5000/15100	Time: 1190.47/86400
c Decision: 5000/15100	Time: 1193.01/86400
c Decision: 5000/15100	Time: 1195.78/86400
c Decision: 5000/15100	Time: 1198.42/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.84 0.94 0.89 2/55 5043
Raw data (stat): 5043 (runsolver) R 5042 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907887265 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.0009 s]
Raw data (loadavg): 0.87 0.94 0.89 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 2678 0 0 0 993 6 0 0 25 0 1 0 907887265 10121216 2058 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2471 2058 301 301 0 2170 0
vsize: 9884
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.94 0.89 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 3377 0 0 0 1990 9 0 0 25 0 1 0 907887265 14450688 2757 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3528 2757 301 301 0 3227 0
vsize: 14112
[startup+30.0015 s]
Raw data (loadavg): 0.90 0.94 0.89 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 3946 0 0 0 2989 10 0 0 25 0 1 0 907887265 22978560 3326 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5610 3326 301 301 0 5309 0
vsize: 22440
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.94 0.89 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 4383 0 0 0 3987 12 0 0 25 0 1 0 907887265 23126016 3763 4294967295 134512640 135730672 3221224576 3221222816 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5646 3763 301 301 0 5345 0
vsize: 22584
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.94 0.89 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 5015 0 0 0 4986 13 0 0 25 0 1 0 907887265 23273472 4395 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5682 4395 301 301 0 5381 0
vsize: 22728
[startup+60.0008 s]
Raw data (loadavg): 0.94 0.95 0.89 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 5523 0 0 0 5984 15 0 0 25 0 1 0 907887265 23273472 4903 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5682 4903 301 301 0 5381 0
vsize: 22728
[startup+70.0006 s]
Raw data (loadavg): 0.95 0.95 0.89 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 5977 0 0 0 6983 17 0 0 25 0 1 0 907887265 40050688 5357 4294967295 134512640 135730672 3221224576 3221222904 134814116 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9778 5357 301 301 0 9477 0
vsize: 39112
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.95 0.90 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 6980 0 0 0 7979 20 0 0 25 0 1 0 907887265 41418752 6360 4294967295 134512640 135730672 3221224576 3221222896 134732679 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10112 6360 301 301 0 9811 0
vsize: 40448
[startup+90.0012 s]
Raw data (loadavg): 0.96 0.95 0.90 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 8025 0 0 0 8975 24 0 0 25 0 1 0 907887265 42307584 7405 4294967295 134512640 135730672 3221224576 3221222756 135281206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10329 7405 301 301 0 10028 0
vsize: 41316
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.90 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 8381 0 0 0 9970 29 0 0 25 0 1 0 907887265 43520000 7761 4294967295 134512640 135730672 3221224576 3221223120 134740301 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10625 7761 301 301 0 10324 0
vsize: 42500
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.90 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 9030 0 0 0 10967 32 0 0 25 0 1 0 907887265 44806144 8410 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10939 8410 301 301 0 10638 0
vsize: 43756
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.90 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 9760 0 0 0 11963 37 0 0 25 0 1 0 907887265 47300608 9140 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 9140 301 301 0 11247 0
vsize: 46192
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.90 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 10078 0 0 0 12961 39 0 0 25 0 1 0 907887265 47390720 9458 4294967295 134512640 135730672 3221224576 3221222908 135284108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11570 9458 301 301 0 11269 0
vsize: 46280
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.90 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 10119 0 0 0 13960 40 0 0 25 0 1 0 907887265 47620096 9499 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11626 9499 301 301 0 11325 0
vsize: 46504
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.90 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 10163 0 0 0 14959 40 0 0 25 0 1 0 907887265 47603712 9543 4294967295 134512640 135730672 3221224576 3221223120 134740402 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11622 9543 301 301 0 11321 0
vsize: 46488
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 10237 0 0 0 15959 41 0 0 25 0 1 0 907887265 47820800 9617 4294967295 134512640 135730672 3221224576 3221222948 134763215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11675 9617 301 301 0 11374 0
vsize: 46700
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 10377 0 0 0 16953 46 0 0 25 0 1 0 907887265 48496640 9757 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11840 9757 301 301 0 11539 0
vsize: 47360
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 10854 0 0 0 17950 50 0 0 25 0 1 0 907887265 50257920 9849 4294967295 134512640 135730672 3221224576 3221223120 134740298 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12270 9849 301 301 0 11969 0
vsize: 49080
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 10880 0 0 0 18950 50 0 0 25 0 1 0 907887265 50294784 9875 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12279 9875 301 301 0 11978 0
vsize: 49116
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 10916 0 0 0 19949 51 0 0 25 0 1 0 907887265 50356224 9911 4294967295 134512640 135730672 3221224576 3221223088 134746216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12294 9911 301 301 0 11993 0
vsize: 49176
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 10963 0 0 0 20948 52 0 0 25 0 1 0 907887265 50466816 9958 4294967295 134512640 135730672 3221224576 3221223168 134764089 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12321 9958 301 301 0 12020 0
vsize: 49284
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11051 0 0 0 21947 53 0 0 25 0 1 0 907887265 50749440 10046 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12390 10046 301 301 0 12089 0
vsize: 49560
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11219 0 0 0 22947 54 0 0 25 0 1 0 907887265 51359744 10214 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12539 10214 301 301 0 12238 0
vsize: 50156
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11546 0 0 0 23945 56 0 0 25 0 1 0 907887265 52723712 10541 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12872 10541 301 301 0 12571 0
vsize: 51488
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11603 0 0 0 24941 61 0 0 25 0 1 0 907887265 52826112 10598 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12897 10598 301 301 0 12596 0
vsize: 51588
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11622 0 0 0 25940 61 0 0 25 0 1 0 907887265 52826112 10617 4294967295 134512640 135730672 3221224576 3221223088 134746190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12897 10617 301 301 0 12596 0
vsize: 51588
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11641 0 0 0 26940 62 0 0 25 0 1 0 907887265 52826112 10636 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12897 10636 301 301 0 12596 0
vsize: 51588
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11661 0 0 0 27939 62 0 0 25 0 1 0 907887265 52826112 10656 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12897 10656 301 301 0 12596 0
vsize: 51588
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11691 0 0 0 28938 64 0 0 25 0 1 0 907887265 52854784 10686 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12904 10686 301 301 0 12603 0
vsize: 51616
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11753 0 0 0 29938 64 0 0 25 0 1 0 907887265 53043200 10748 4294967295 134512640 135730672 3221224576 3221223184 134745340 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12950 10748 301 301 0 12649 0
vsize: 51800
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11821 0 0 0 30937 65 0 0 25 0 1 0 907887265 53243904 10816 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12999 10816 301 301 0 12698 0
vsize: 51996
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 11916 0 0 0 31936 66 0 0 25 0 1 0 907887265 53559296 10911 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13076 10911 301 301 0 12775 0
vsize: 52304
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 12039 0 0 0 32936 67 0 0 25 0 1 0 907887265 53993472 11034 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13182 11034 301 301 0 12881 0
vsize: 52728
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 12323 0 0 0 33932 70 0 0 25 0 1 0 907887265 55238656 11318 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13486 11318 301 301 0 13185 0
vsize: 53944
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 12367 0 0 0 34929 74 0 0 25 0 1 0 907887265 55308288 11362 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13503 11362 301 301 0 13202 0
vsize: 54012
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 12381 0 0 0 35925 78 0 0 25 0 1 0 907887265 55308288 11376 4294967295 134512640 135730672 3221224576 3221223168 134763573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13503 11376 301 301 0 13202 0
vsize: 54012
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 12397 0 0 0 36925 79 0 0 25 0 1 0 907887265 55308288 11392 4294967295 134512640 135730672 3221224576 3221223120 134740404 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13503 11392 301 301 0 13202 0
vsize: 54012
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 12413 0 0 0 37924 80 0 0 25 0 1 0 907887265 55308288 11408 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13503 11408 301 301 0 13202 0
vsize: 54012
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 12432 0 0 0 38923 81 0 0 25 0 1 0 907887265 55308288 11427 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13503 11427 301 301 0 13202 0
vsize: 54012
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 12457 0 0 0 39922 82 0 0 25 0 1 0 907887265 55324672 11452 4294967295 134512640 135730672 3221224576 3221223200 134783323 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13507 11452 301 301 0 13206 0
vsize: 54028
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 13255 0 0 0 40920 84 0 0 25 0 1 0 907887265 58523648 11481 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14288 11481 301 301 0 13987 0
vsize: 57152
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 13286 0 0 0 41919 85 0 0 25 0 1 0 907887265 58576896 11512 4294967295 134512640 135730672 3221224576 3221223088 134746198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14301 11512 301 301 0 14000 0
vsize: 57204
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 13328 0 0 0 42919 85 0 0 25 0 1 0 907887265 58683392 11554 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14327 11554 301 301 0 14026 0
vsize: 57308
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 13401 0 0 0 43919 86 0 0 25 0 1 0 907887265 58990592 11627 4294967295 134512640 135730672 3221224576 3221223088 134746399 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14402 11627 301 301 0 14101 0
vsize: 57608
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 13525 0 0 0 44918 87 0 0 25 0 1 0 907887265 59449344 11751 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14514 11751 301 301 0 14213 0
vsize: 58056
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 13665 0 0 0 45917 88 0 0 25 0 1 0 907887265 59858944 11891 4294967295 134512640 135730672 3221224576 3221222960 134761641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14614 11891 301 301 0 14313 0
vsize: 58456
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 13778 0 0 0 46916 88 0 0 25 0 1 0 907887265 60350464 12004 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14734 12004 301 301 0 14433 0
vsize: 58936
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 13902 0 0 0 47916 90 0 0 25 0 1 0 907887265 60694528 12128 4294967295 134512640 135730672 3221224576 3221223168 134764113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14818 12128 301 301 0 14517 0
vsize: 59272
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14189 0 0 0 48912 93 0 0 25 0 1 0 907887265 61911040 12415 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15115 12415 301 301 0 14814 0
vsize: 60460
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14297 0 0 0 49909 97 0 0 25 0 1 0 907887265 62328832 12523 4294967295 134512640 135730672 3221224576 3221223184 134744745 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15217 12523 301 301 0 14916 0
vsize: 60868
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14343 0 0 0 50907 98 0 0 25 0 1 0 907887265 62410752 12569 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15237 12569 301 301 0 14936 0
vsize: 60948
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14355 0 0 0 51903 103 0 0 25 0 1 0 907887265 62410752 12581 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15237 12581 301 301 0 14936 0
vsize: 60948
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14371 0 0 0 52902 104 0 0 25 0 1 0 907887265 62410752 12597 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15237 12597 301 301 0 14936 0
vsize: 60948
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14390 0 0 0 53901 105 0 0 25 0 1 0 907887265 62410752 12616 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15237 12616 301 301 0 14936 0
vsize: 60948
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14410 0 0 0 54901 106 0 0 25 0 1 0 907887265 62410752 12636 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15237 12636 301 301 0 14936 0
vsize: 60948
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14428 0 0 0 55900 106 0 0 25 0 1 0 907887265 62410752 12654 4294967295 134512640 135730672 3221224576 3221223120 134740402 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15237 12654 301 301 0 14936 0
vsize: 60948
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14448 0 0 0 56900 107 0 0 25 0 1 0 907887265 62410752 12674 4294967295 134512640 135730672 3221224576 3221222896 134767189 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15237 12674 301 301 0 14936 0
vsize: 60948
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14465 0 0 0 57898 108 0 0 25 0 1 0 907887265 62410752 12691 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15237 12691 301 301 0 14936 0
vsize: 60948
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14491 0 0 0 58898 109 0 0 25 0 1 0 907887265 62443520 12717 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15245 12717 301 301 0 14944 0
vsize: 60980
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14522 0 0 0 59897 110 0 0 25 0 1 0 907887265 62500864 12748 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15259 12748 301 301 0 14958 0
vsize: 61036
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14576 0 0 0 60897 111 0 0 25 0 1 0 907887265 62644224 12802 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15294 12802 301 301 0 14993 0
vsize: 61176
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14639 0 0 0 61896 112 0 0 25 0 1 0 907887265 62840832 12865 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15342 12865 301 301 0 15041 0
vsize: 61368
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14729 0 0 0 62894 114 0 0 25 0 1 0 907887265 63217664 12955 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15434 12955 301 301 0 15133 0
vsize: 61736
[startup+640.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14808 0 0 0 63890 118 0 0 25 0 1 0 907887265 63496192 13034 4294967295 134512640 135730672 3221224576 3221223072 134747817 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15502 13034 301 301 0 15201 0
vsize: 62008
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14912 0 0 0 64888 120 0 0 25 0 1 0 907887265 63856640 13138 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15590 13138 301 301 0 15289 0
vsize: 62360
[startup+660.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14936 0 0 0 65887 121 0 0 25 0 1 0 907887265 63873024 13162 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15594 13162 301 301 0 15293 0
vsize: 62376
[startup+670.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14961 0 0 0 66887 121 0 0 25 0 1 0 907887265 63885312 13187 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15597 13187 301 301 0 15296 0
vsize: 62388
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 14986 0 0 0 67887 122 0 0 25 0 1 0 907887265 63913984 13212 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15604 13212 301 301 0 15303 0
vsize: 62416
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15007 0 0 0 68886 123 0 0 25 0 1 0 907887265 63913984 13233 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15604 13233 301 301 0 15303 0
vsize: 62416
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15035 0 0 0 69884 124 0 0 25 0 1 0 907887265 63967232 13261 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15617 13261 301 301 0 15316 0
vsize: 62468
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15041 0 0 0 70882 127 0 0 25 0 1 0 907887265 63967232 13267 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15617 13267 301 301 0 15316 0
vsize: 62468
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15150 0 0 0 71876 134 0 0 25 0 1 0 907887265 64393216 13376 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15721 13376 301 301 0 15420 0
vsize: 62884
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15169 0 0 0 72870 139 0 0 25 0 1 0 907887265 64409600 13395 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15725 13395 301 301 0 15424 0
vsize: 62900
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15194 0 0 0 73869 140 0 0 25 0 1 0 907887265 64430080 13420 4294967295 134512640 135730672 3221224576 3221223120 134740282 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15730 13420 301 301 0 15429 0
vsize: 62920
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15213 0 0 0 74867 143 0 0 25 0 1 0 907887265 64430080 13439 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15730 13439 301 301 0 15429 0
vsize: 62920
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15278 0 0 0 75864 146 0 0 25 0 1 0 907887265 64655360 13504 4294967295 134512640 135730672 3221224576 3221222896 134732842 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15785 13504 301 301 0 15484 0
vsize: 63140
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15301 0 0 0 76863 147 0 0 25 0 1 0 907887265 64684032 13527 4294967295 134512640 135730672 3221224576 3221223120 134740402 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15792 13527 301 301 0 15491 0
vsize: 63168
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15331 0 0 0 77862 148 0 0 25 0 1 0 907887265 64724992 13557 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15802 13557 301 301 0 15501 0
vsize: 63208
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15360 0 0 0 78861 149 0 0 25 0 1 0 907887265 64761856 13586 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15811 13586 301 301 0 15510 0
vsize: 63244
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15386 0 0 0 79861 150 0 0 25 0 1 0 907887265 64774144 13612 4294967295 134512640 135730672 3221224576 3221223088 134746211 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15814 13612 301 301 0 15513 0
vsize: 63256
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15407 0 0 0 80860 151 0 0 25 0 1 0 907887265 64802816 13633 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15821 13633 301 301 0 15520 0
vsize: 63284
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15426 0 0 0 81858 153 0 0 25 0 1 0 907887265 64819200 13652 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15825 13652 301 301 0 15524 0
vsize: 63300
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15528 0 0 0 82853 158 0 0 25 0 1 0 907887265 65212416 13754 4294967295 134512640 135730672 3221224576 3221222960 134761945 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15921 13754 301 301 0 15620 0
vsize: 63684
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15548 0 0 0 83848 163 0 0 25 0 1 0 907887265 65232896 13774 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15926 13774 301 301 0 15625 0
vsize: 63704
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15594 0 0 0 84848 163 0 0 25 0 1 0 907887265 65351680 13820 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15955 13820 301 301 0 15654 0
vsize: 63820
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15613 0 0 0 85847 164 0 0 25 0 1 0 907887265 65351680 13839 4294967295 134512640 135730672 3221224576 3221223120 134740307 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15955 13839 301 301 0 15654 0
vsize: 63820
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15634 0 0 0 86847 165 0 0 25 0 1 0 907887265 65351680 13860 4294967295 134512640 135730672 3221224576 3221222756 135291157 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15955 13860 301 301 0 15654 0
vsize: 63820
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15658 0 0 0 87846 165 0 0 25 0 1 0 907887265 65388544 13884 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15964 13884 301 301 0 15663 0
vsize: 63856
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5043
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 15682 0 0 0 88846 166 0 0 25 0 1 0 907887265 65404928 13908 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15968 13908 301 301 0 15667 0
vsize: 63872
[startup+900.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5096
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17249 0 0 0 89840 171 0 0 25 0 1 0 907887265 71753728 13938 4294967295 134512640 135730672 3221224576 3221223200 134748214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17518 13938 301 301 0 17217 0
vsize: 70072
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5096
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17282 0 0 0 90839 172 0 0 25 0 1 0 907887265 71815168 13971 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17533 13971 301 301 0 17232 0
vsize: 70132
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5096
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17321 0 0 0 91839 172 0 0 25 0 1 0 907887265 71913472 14010 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17557 14010 301 301 0 17256 0
vsize: 70228
[startup+930.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5096
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17354 0 0 0 92834 177 0 0 25 0 1 0 907887265 72052736 14043 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17591 14043 301 301 0 17290 0
vsize: 70364
[startup+940.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5096
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17477 0 0 0 93832 180 0 0 25 0 1 0 907887265 72491008 14166 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17698 14166 301 301 0 17397 0
vsize: 70792
[startup+950.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5098
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17486 0 0 0 94826 185 0 0 25 0 1 0 907887265 72491008 14175 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17698 14175 301 301 0 17397 0
vsize: 70792
[startup+960.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17525 0 0 0 95826 186 0 0 25 0 1 0 907887265 72585216 14214 4294967295 134512640 135730672 3221224576 3221222916 135284040 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17721 14214 301 301 0 17420 0
vsize: 70884
[startup+970.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17540 0 0 0 96823 188 0 0 25 0 1 0 907887265 72585216 14229 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17721 14229 301 301 0 17420 0
vsize: 70884
[startup+980.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17587 0 0 0 97819 192 0 0 25 0 1 0 907887265 72720384 14276 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17754 14276 301 301 0 17453 0
vsize: 71016
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17607 0 0 0 98819 193 0 0 25 0 1 0 907887265 72736768 14296 4294967295 134512640 135730672 3221224576 3221223120 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17758 14296 301 301 0 17457 0
vsize: 71032
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17630 0 0 0 99818 194 0 0 25 0 1 0 907887265 72753152 14319 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17762 14319 301 301 0 17461 0
vsize: 71048
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17652 0 0 0 100818 195 0 0 25 0 1 0 907887265 72769536 14341 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17766 14341 301 301 0 17465 0
vsize: 71064
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17677 0 0 0 101816 196 0 0 25 0 1 0 907887265 72802304 14366 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17774 14366 301 301 0 17473 0
vsize: 71096
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17699 0 0 0 102816 197 0 0 25 0 1 0 907887265 72818688 14388 4294967295 134512640 135730672 3221224576 3221223184 134744821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17778 14388 301 301 0 17477 0
vsize: 71112
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17730 0 0 0 103815 198 0 0 25 0 1 0 907887265 72880128 14419 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17793 14419 301 301 0 17492 0
vsize: 71172
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17760 0 0 0 104815 198 0 0 25 0 1 0 907887265 72941568 14449 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17808 14449 301 301 0 17507 0
vsize: 71232
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17787 0 0 0 105815 199 0 0 25 0 1 0 907887265 72978432 14476 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17817 14476 301 301 0 17516 0
vsize: 71268
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17814 0 0 0 106814 199 0 0 25 0 1 0 907887265 73023488 14503 4294967295 134512640 135730672 3221224576 3221223056 134732861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17828 14503 301 301 0 17527 0
vsize: 71312
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17863 0 0 0 107814 200 0 0 25 0 1 0 907887265 73170944 14552 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17864 14552 301 301 0 17563 0
vsize: 71456
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 17940 0 0 0 108813 201 0 0 25 0 1 0 907887265 73416704 14629 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17924 14629 301 301 0 17623 0
vsize: 71696
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18010 0 0 0 109812 202 0 0 25 0 1 0 907887265 73646080 14699 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17980 14699 301 301 0 17679 0
vsize: 71920
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18109 0 0 0 110808 206 0 0 25 0 1 0 907887265 74006528 14798 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18068 14798 301 301 0 17767 0
vsize: 72272
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18205 0 0 0 111807 208 0 0 25 0 1 0 907887265 74342400 14894 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18150 14894 301 301 0 17849 0
vsize: 72600
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18227 0 0 0 112806 208 0 0 25 0 1 0 907887265 74342400 14916 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18150 14916 301 301 0 17849 0
vsize: 72600
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18253 0 0 0 113805 209 0 0 25 0 1 0 907887265 74375168 14942 4294967295 134512640 135730672 3221224576 3221222780 135291190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18158 14942 301 301 0 17857 0
vsize: 72632
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18280 0 0 0 114804 210 0 0 25 0 1 0 907887265 74412032 14969 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18167 14969 301 301 0 17866 0
vsize: 72668
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18309 0 0 0 115804 211 0 0 25 0 1 0 907887265 74448896 14998 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18176 14998 301 301 0 17875 0
vsize: 72704
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18335 0 0 0 116803 212 0 0 25 0 1 0 907887265 74477568 15024 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18183 15024 301 301 0 17882 0
vsize: 72732
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18364 0 0 0 117803 212 0 0 25 0 1 0 907887265 74543104 15053 4294967295 134512640 135730672 3221224576 3221223168 134763784 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18199 15053 301 301 0 17898 0
vsize: 72796
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18393 0 0 0 118803 213 0 0 25 0 1 0 907887265 74592256 15082 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18211 15082 301 301 0 17910 0
vsize: 72844
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5100
Raw data (stat): 5043 (pb2sat-v2) R 5042 8378 8377 0 -1 0 18415 0 0 0 119802 213 0 0 25 0 1 0 907887265 74620928 15104 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18218 15104 301 301 0 17917 0
vsize: 72872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.26 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 5100
Raw data (stat): 5043 (pb2sat-v2) Z 5042 8378 8377 0 -1 12 18417 0 0 0 119824 217 0 0 25 0 1 0 907887265 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.26
CPU time (s): 1200.41
CPU user time (s): 1198.24
CPU system time (s): 2.17167
CPU usage (%): 100.013
Max. virtual memory (Kb): 72872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####