PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
MD5SUM	df5f31774bab40070962f7d0b16d093c
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.107983
Number of variables	3600
Total number of constraints	170
Number of constraints which are clauses	90
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	45
Trace number 34680

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        939336 kB
Buffers:         31436 kB
Cached:          42012 kB
SwapCached:        604 kB
Active:          41876 kB
Inactive:        33656 kB
HighTotal:      131008 kB
HighFree:        86940 kB
LowTotal:       903652 kB
LowFree:        852396 kB
SwapTotal:     2097136 kB
SwapFree:      2095616 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            14256 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:30:38 (client local time) WITH STATUS 0 IN 1209.42 SECONDS
stats: 23944 7 1209.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 3520/10640	Time: 57.3323/86400
Decision: 3520/10640	Time: 59.237/86400
Decision: 3520/10640	Time: 61.7276/86400
Decision: 3520/10640	Time: 63.8903/86400
Decision: 3520/10640	Time: 65.689/86400
Decision: 3520/10640	Time: 68.0107/86400
Decision: 3520/10640	Time: 71.9971/86400
Decision: 3520/10640	Time: 73.7548/86400
Decision: 3520/10640	Time: 75.5145/86400
Decision: 3520/10640	Time: 77.6672/86400
Decision: 3520/10640	Time: 79.5489/86400
Decision: 3520/10640	Time: 81.8926/86400
Decision: 3520/10640	Time: 83.6343/86400
Decision: 3520/10640	Time: 85.414/86400
Decision: 3520/10640	Time: 87.2707/86400
Decision: 3520/10640	Time: 89.2034/86400
Decision: 3520/10640	Time: 91.0662/86400
Decision: 3520/10640	Time: 92.8579/86400
Decision: 3520/10640	Time: 94.8896/86400
Decision: 3520/10640	Time: 97.0343/86400
Decision: 3520/10640	Time: 99.2899/86400
Decision: 3520/10640	Time: 101.406/86400
Decision: 3520/10640	Time: 103.594/86400
Decision: 3520/10640	Time: 105.633/86400
Decision: 3520/10640	Time: 107.861/86400
Decision: 3520/10640	Time: 110.242/86400
Decision: 3520/10640	Time: 112.384/86400
Decision: 3520/10640	Time: 114.538/86400
Decision: 3520/10640	Time: 116.61/86400
Decision: 3520/10640	Time: 118.959/86400
Decision: 3520/10640	Time: 121.472/86400
Decision: 3520/10640	Time: 123.636/86400
Decision: 3520/10640	Time: 125.818/86400
Decision: 3520/10640	Time: 128.098/86400
Decision: 3520/10640	Time: 130.484/86400
Decision: 3520/10640	Time: 133.12/86400
Decision: 3520/10640	Time: 135.555/86400
Decision: 3520/10640	Time: 138.056/86400
Decision: 3520/10640	Time: 143.437/86400
Decision: 3520/10640	Time: 145.392/86400
Decision: 3520/10640	Time: 147.415/86400
Decision: 3520/10640	Time: 149.242/86400
Decision: 3520/10640	Time: 151.139/86400
Decision: 3520/10640	Time: 153.091/86400
Decision: 3520/10640	Time: 154.935/86400
Decision: 3520/10640	Time: 157.039/86400
Decision: 3520/10640	Time: 158.896/86400
Decision: 3520/10640	Time: 160.853/86400
Decision: 3520/10640	Time: 162.786/86400
Decision: 3520/10640	Time: 164.903/86400
Decision: 3520/10640	Time: 167.384/86400
Decision: 3520/10640	Time: 169.539/86400
Decision: 3520/10640	Time: 171.458/86400
Decision: 3520/10640	Time: 173.451/86400
Decision: 3520/10640	Time: 175.434/86400
Decision: 3520/10640	Time: 177.822/86400
Decision: 3520/10640	Time: 179.899/86400
Decision: 3520/10640	Time: 182.195/86400
Decision: 3520/10640	Time: 184.344/86400
Decision: 3520/10640	Time: 186.803/86400
Decision: 3520/10640	Time: 189.933/86400
Decision: 3520/10640	Time: 192.049/86400
Decision: 3520/10640	Time: 200.024/86400
Decision: 3520/10640	Time: 201.318/86400
Decision: 3520/10640	Time: 202.753/86400
Decision: 3520/10640	Time: 205.149/86400
Decision: 3520/10640	Time: 206.968/86400
Decision: 3520/10640	Time: 208.699/86400
Decision: 3520/10640	Time: 210.459/86400
Decision: 3520/10640	Time: 212.364/86400
Decision: 3520/10640	Time: 214.074/86400
Decision: 3520/10640	Time: 215.874/86400
Decision: 3520/10640	Time: 217.68/86400
Decision: 3520/10640	Time: 219.365/86400
Decision: 3520/10640	Time: 221.104/86400
Decision: 3520/10640	Time: 223.391/86400
Decision: 3520/10640	Time: 225.288/86400
Decision: 3520/10640	Time: 227.225/86400
Decision: 3520/10640	Time: 229.164/86400
Decision: 3520/10640	Time: 231.184/86400
Decision: 3520/10640	Time: 233.495/86400
Decision: 3520/10640	Time: 235.448/86400
Decision: 3520/10640	Time: 237.515/86400
Decision: 3520/10640	Time: 239.61/86400
Decision: 3520/10640	Time: 241.711/86400
Decision: 3520/10640	Time: 243.975/86400
Decision: 3520/10640	Time: 246.135/86400
Decision: 3520/10640	Time: 248.26/86400
Decision: 3520/10640	Time: 250.332/86400
Decision: 3520/10640	Time: 252.666/86400
Decision: 3520/10640	Time: 255.369/86400
Decision: 3520/10640	Time: 257.678/86400
Decision: 3520/10640	Time: 259.959/86400
Decision: 3520/10640	Time: 262.173/86400
Decision: 3520/10640	Time: 264.47/86400
Decision: 3520/10640	Time: 267.023/86400
Decision: 3520/10640	Time: 269.347/86400
Decision: 3520/10640	Time: 271.758/86400
Decision: 3520/10640	Time: 274.056/86400
Decision: 3520/10640	Time: 276.432/86400
Decision: 3520/10640	Time: 279.289/86400
Decision: 3520/10640	Time: 281.744/86400
Decision: 3520/10640	Time: 284.231/86400
Decision: 3520/10640	Time: 286.747/86400
Decision: 3520/10640	Time: 289.202/86400
Decision: 3520/10640	Time: 292.006/86400
Decision: 3520/10640	Time: 294.288/86400
Decision: 3520/10640	Time: 296.957/86400
Decision: 3520/10640	Time: 299.461/86400
Decision: 3520/10640	Time: 301.988/86400
Decision: 3520/10640	Time: 304.922/86400
Decision: 3520/10640	Time: 307.514/86400
Decision: 3520/10640	Time: 310.313/86400
Decision: 3520/10640	Time: 312.863/86400
Decision: 3520/10640	Time: 315.376/86400
Decision: 3520/10640	Time: 318.303/86400
Decision: 3520/10640	Time: 321.039/86400
Decision: 3520/10640	Time: 323.868/86400
Decision: 3520/10640	Time: 326.547/86400
Decision: 3520/10640	Time: 329.274/86400
Decision: 3520/10640	Time: 332.701/86400
Decision: 3520/10640	Time: 335.31/86400
Decision: 3520/10640	Time: 338.323/86400
Decision: 3520/10640	Time: 341.163/86400
Decision: 3520/10640	Time: 344.127/86400
Decision: 3520/10640	Time: 347.718/86400
Decision: 3520/10640	Time: 350.444/86400
Decision: 3520/10640	Time: 353.343/86400
Decision: 3520/10640	Time: 356.283/86400
Decision: 3520/10640	Time: 358.937/86400
Decision: 3520/10640	Time: 362.26/86400
Decision: 3520/10640	Time: 365.008/86400
Decision: 3520/10640	Time: 367.764/86400
Decision: 3520/10640	Time: 370.59/86400
Decision: 3520/10640	Time: 373.351/86400
Decision: 3520/10640	Time: 376.703/86400
Decision: 3520/10640	Time: 379.435/86400
Decision: 3520/10640	Time: 382.548/86400
Decision: 3520/10640	Time: 385.402/86400
Decision: 3520/10640	Time: 388.165/86400
Decision: 3520/10640	Time: 391.676/86400
Decision: 3520/10640	Time: 394.562/86400
Decision: 3520/10640	Time: 397.644/86400
Decision: 3520/10640	Time: 400.571/86400
Decision: 3520/10640	Time: 403.492/86400
Decision: 3520/10640	Time: 407.267/86400
Decision: 3520/10640	Time: 410.083/86400
Decision: 3520/10640	Time: 413.158/86400
Decision: 3520/10640	Time: 416.175/86400
Decision: 3520/10640	Time: 419.109/86400
Decision: 3520/10640	Time: 422.708/86400
Decision: 3520/10640	Time: 425.663/86400
Decision: 3520/10640	Time: 428.732/86400
Decision: 3520/10640	Time: 431.676/86400
Decision: 3520/10640	Time: 434.606/86400
Decision: 3520/10640	Time: 438.225/86400
Decision: 3520/10640	Time: 441.268/86400
Decision: 3520/10640	Time: 444.201/86400
Decision: 3520/10640	Time: 447.211/86400
Decision: 3520/10640	Time: 450.266/86400
Decision: 3520/10640	Time: 454.06/86400
Decision: 3520/10640	Time: 457.017/86400
Decision: 3520/10640	Time: 460.207/86400
Decision: 3520/10640	Time: 463.415/86400
Decision: 3520/10640	Time: 466.552/86400
Decision: 3520/10640	Time: 470.811/86400
Decision: 3520/10640	Time: 473.94/86400
Decision: 3520/10640	Time: 477.261/86400
Decision: 3520/10640	Time: 480.265/86400
Decision: 3520/10640	Time: 483.349/86400
Decision: 3520/10640	Time: 487.185/86400
Decision: 3520/10640	Time: 490.473/86400
Decision: 3520/10640	Time: 493.669/86400
Decision: 3520/10640	Time: 496.698/86400
Decision: 3520/10640	Time: 499.74/86400
Decision: 3520/10640	Time: 503.524/86400
Decision: 3520/10640	Time: 506.652/86400
Decision: 3520/10640	Time: 509.888/86400
Decision: 3520/10640	Time: 512.95/86400
Decision: 3520/10640	Time: 516.066/86400
Decision: 3520/10640	Time: 520.28/86400
Decision: 3520/10640	Time: 523.653/86400
Decision: 3520/10640	Time: 526.99/86400
Decision: 3520/10640	Time: 530.405/86400
Decision: 3520/10640	Time: 533.871/86400
Decision: 3520/10640	Time: 538.145/86400
Decision: 3520/10640	Time: 541.663/86400
Decision: 3520/10640	Time: 545.23/86400
Decision: 3520/10640	Time: 548.718/86400
Decision: 3520/10640	Time: 551.847/86400
Decision: 3520/10640	Time: 556.061/86400
Decision: 3520/10640	Time: 559.329/86400
Decision: 3520/10640	Time: 562.609/86400
Decision: 3520/10640	Time: 566.038/86400
Decision: 3520/10640	Time: 569.404/86400
Decision: 3520/10640	Time: 573.722/86400
Decision: 3520/10640	Time: 577.243/86400
Decision: 3520/10640	Time: 580.778/86400
Decision: 3520/10640	Time: 584.294/86400
Decision: 3520/10640	Time: 587.873/86400
Decision: 3520/10640	Time: 592.241/86400
Decision: 3520/10640	Time: 595.736/86400
Decision: 3520/10640	Time: 599.529/86400
Decision: 3520/10640	Time: 603.024/86400
Decision: 3520/10640	Time: 606.638/86400
Decision: 3520/10640	Time: 611.269/86400
Decision: 3520/10640	Time: 615.074/86400
Decision: 3520/10640	Time: 618.881/86400
Decision: 3520/10640	Time: 622.571/86400
Decision: 3520/10640	Time: 626.49/86400
Decision: 3520/10640	Time: 631.511/86400
Decision: 3520/10640	Time: 635.115/86400
Decision: 3520/10640	Time: 638.817/86400
Decision: 3520/10640	Time: 642.463/86400
Decision: 3520/10640	Time: 646.195/86400
Decision: 3520/10640	Time: 650.862/86400
Decision: 3520/10640	Time: 654.292/86400
Decision: 3520/10640	Time: 663.202/86400
Decision: 3520/10640	Time: 665.54/86400
Decision: 3520/10640	Time: 667.68/86400
Decision: 3520/10640	Time: 670.387/86400
Decision: 3520/10640	Time: 672.59/86400
Decision: 3520/10640	Time: 674.798/86400
Decision: 3520/10640	Time: 676.852/86400
Decision: 3520/10640	Time: 679.194/86400
Decision: 3520/10640	Time: 681.748/86400
Decision: 3520/10640	Time: 683.996/86400
Decision: 3520/10640	Time: 686.319/86400
Decision: 3520/10640	Time: 688.639/86400
Decision: 3520/10640	Time: 690.935/86400
Decision: 3520/10640	Time: 693.352/86400
Decision: 3520/10640	Time: 695.685/86400
Decision: 3520/10640	Time: 698.016/86400
Decision: 3520/10640	Time: 700.281/86400
Decision: 3520/10640	Time: 702.707/86400
Decision: 3520/10640	Time: 705.544/86400
Decision: 3520/10640	Time: 707.904/86400
Decision: 3520/10640	Time: 714.938/86400
Decision: 3520/10640	Time: 718.092/86400
Decision: 3520/10640	Time: 720.81/86400
Decision: 3520/10640	Time: 723.794/86400
Decision: 3520/10640	Time: 726.622/86400
Decision: 3520/10640	Time: 729.244/86400
Decision: 3520/10640	Time: 731.936/86400
Decision: 3520/10640	Time: 734.526/86400
Decision: 3520/10640	Time: 737.639/86400
Decision: 3520/10640	Time: 740.35/86400
Decision: 3520/10640	Time: 743.055/86400
Decision: 3520/10640	Time: 745.694/86400
Decision: 3520/10640	Time: 748.612/86400
Decision: 3520/10640	Time: 751.801/86400
Decision: 3520/10640	Time: 754.569/86400
Decision: 3520/10640	Time: 757.643/86400
Decision: 3520/10640	Time: 760.557/86400
Decision: 3520/10640	Time: 763.325/86400
Decision: 3520/10640	Time: 766.592/86400
Decision: 3520/10640	Time: 769.278/86400
Decision: 3520/10640	Time: 771.888/86400
Decision: 3520/10640	Time: 774.558/86400
Decision: 3520/10640	Time: 777.34/86400
Decision: 3520/10640	Time: 780.758/86400
Decision: 3520/10640	Time: 783.578/86400
Decision: 3520/10640	Time: 786.488/86400
Decision: 3520/10640	Time: 789.438/86400
Decision: 3520/10640	Time: 792.403/86400
Decision: 3520/10640	Time: 796.019/86400
Decision: 3520/10640	Time: 798.899/86400
Decision: 3520/10640	Time: 801.86/86400
Decision: 3520/10640	Time: 805.026/86400
Decision: 3520/10640	Time: 807.998/86400
Decision: 3520/10640	Time: 811.9/86400
Decision: 3520/10640	Time: 815.024/86400
Decision: 3520/10640	Time: 818.173/86400
Decision: 3520/10640	Time: 821.315/86400
Decision: 3520/10640	Time: 824.385/86400
Decision: 3520/10640	Time: 828.105/86400
Decision: 3520/10640	Time: 831.141/86400
Decision: 3520/10640	Time: 834.351/86400
Decision: 3520/10640	Time: 837.684/86400
Decision: 3520/10640	Time: 840.961/86400
Decision: 3520/10640	Time: 844.932/86400
Decision: 3520/10640	Time: 848.111/86400
Decision: 3520/10640	Time: 851.351/86400
Decision: 3520/10640	Time: 854.578/86400
Decision: 3520/10640	Time: 857.718/86400
Decision: 3520/10640	Time: 861.762/86400
Decision: 3520/10640	Time: 865.226/86400
Decision: 3520/10640	Time: 868.494/86400
Decision: 3520/10640	Time: 871.729/86400
Decision: 3520/10640	Time: 875.276/86400
Decision: 3520/10640	Time: 879.537/86400
Decision: 3520/10640	Time: 883.004/86400
Decision: 3520/10640	Time: 886.458/86400
Decision: 3520/10640	Time: 889.804/86400
Decision: 3520/10640	Time: 893.154/86400
Decision: 3520/10640	Time: 897.234/86400
Decision: 3520/10640	Time: 900.537/86400
Decision: 3520/10640	Time: 903.93/86400
Decision: 3520/10640	Time: 907.363/86400
Decision: 3520/10640	Time: 910.82/86400
Decision: 3520/10640	Time: 914.832/86400
Decision: 3520/10640	Time: 918.314/86400
Decision: 3520/10640	Time: 921.82/86400
Decision: 3520/10640	Time: 925.433/86400
Decision: 3520/10640	Time: 928.833/86400
Decision: 3520/10640	Time: 933.207/86400
Decision: 3520/10640	Time: 936.783/86400
Decision: 3520/10640	Time: 940.248/86400
Decision: 3520/10640	Time: 943.621/86400
Decision: 3520/10640	Time: 947.247/86400
Decision: 3520/10640	Time: 951.714/86400
Decision: 3520/10640	Time: 955.317/86400
Decision: 3520/10640	Time: 958.816/86400
Decision: 3520/10640	Time: 962.259/86400
Decision: 3520/10640	Time: 965.726/86400
Decision: 3520/10640	Time: 970.273/86400
Decision: 3520/10640	Time: 973.685/86400
Decision: 3520/10640	Time: 977.169/86400
Decision: 3520/10640	Time: 980.611/86400
Decision: 3520/10640	Time: 984.078/86400
Decision: 3520/10640	Time: 988.396/86400
Decision: 3520/10640	Time: 991.872/86400
Decision: 3520/10640	Time: 995.302/86400
Decision: 3520/10640	Time: 998.785/86400
Decision: 3520/10640	Time: 1002.17/86400
Decision: 3520/10640	Time: 1006.56/86400
Decision: 3520/10640	Time: 1009.89/86400
Decision: 3520/10640	Time: 1013.45/86400
Decision: 3520/10640	Time: 1017.04/86400
Decision: 3520/10640	Time: 1020.95/86400
Decision: 3520/10640	Time: 1025.55/86400
Decision: 3520/10640	Time: 1029.23/86400
Decision: 3520/10640	Time: 1032.91/86400
Decision: 3520/10640	Time: 1036.48/86400
Decision: 3520/10640	Time: 1040.28/86400
Decision: 3520/10640	Time: 1044.93/86400
Decision: 3520/10640	Time: 1048.61/86400
Decision: 3520/10640	Time: 1052.29/86400
Decision: 3520/10640	Time: 1055.67/86400
Decision: 3520/10640	Time: 1059.39/86400
Decision: 3520/10640	Time: 1063.98/86400
Decision: 3520/10640	Time: 1067.57/86400
Decision: 3520/10640	Time: 1071.3/86400
Decision: 3520/10640	Time: 1074.91/86400
Decision: 3520/10640	Time: 1078.58/86400
Decision: 3520/10640	Time: 1083.13/86400
Decision: 3520/10640	Time: 1086.85/86400
Decision: 3520/10640	Time: 1090.57/86400
Decision: 3520/10640	Time: 1094.09/86400
Decision: 3520/10640	Time: 1097.9/86400
Decision: 3520/10640	Time: 1102.55/86400
Decision: 3520/10640	Time: 1106.23/86400
Decision: 3520/10640	Time: 1109.96/86400
Decision: 3520/10640	Time: 1113.58/86400
Decision: 3520/10640	Time: 1117.17/86400
Decision: 3520/10640	Time: 1122.07/86400
Decision: 3520/10640	Time: 1125.66/86400
Decision: 3520/10640	Time: 1129.22/86400
Decision: 3520/10640	Time: 1133.02/86400
Decision: 3520/10640	Time: 1136.7/86400
Decision: 3520/10640	Time: 1141.62/86400
Decision: 3520/10640	Time: 1145.23/86400
Decision: 3520/10640	Time: 1149.12/86400
Decision: 3520/10640	Time: 1152.94/86400
Decision: 3520/10640	Time: 1156.68/86400
Decision: 3520/10640	Time: 1161.74/86400
Decision: 3520/10640	Time: 1165.62/86400
Decision: 3520/10640	Time: 1169.48/86400
Decision: 3520/10640	Time: 1173.36/86400
Decision: 3520/10640	Time: 1177.2/86400
Decision: 3520/10640	Time: 1182.11/86400
Decision: 3520/10640	Time: 1197.1/86400
Decision: 3520/10640	Time: 1199.02/86400
Decision: 3520/10640	Time: 1200.92/86400
Decision: 3520/10640	Time: 1202.72/86400
Decision: 3520/10640	Time: 1205.02/86400
Decision: 3520/10640	Time: 1207.49/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.19 0.05 0.01 1/54 333
Raw data (stat): 333 (runsolver) D 332 23514 23513 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 805748037 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.32 0.08 0.02 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 2062 0 9 0 883 6 0 0 25 0 1 0 805748037 8810496 1649 4294967295 134512640 135726644 3221224576 3221222816 134782792 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2151 1649 300 300 0 1851 0
vsize: 8604
[startup+20.0048 s]
Raw data (loadavg): 0.42 0.11 0.03 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 2679 0 9 0 1882 9 0 0 25 0 1 0 805748037 13279232 2266 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3242 2266 300 300 0 2942 0
vsize: 12968
[startup+30.0048 s]
Raw data (loadavg): 0.51 0.13 0.04 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 3169 0 9 0 2880 10 0 0 25 0 1 0 805748037 13418496 2756 4294967295 134512640 135726644 3221224576 3221222800 134810251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3276 2756 300 300 0 2976 0
vsize: 13104
[startup+40.0111 s]
Raw data (loadavg): 0.58 0.16 0.05 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 3587 0 9 0 3879 12 0 0 25 0 1 0 805748037 21946368 3174 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5358 3174 300 300 0 5058 0
vsize: 21432
[startup+50.0114 s]
Raw data (loadavg): 0.65 0.19 0.06 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 4004 0 9 0 4878 13 0 0 25 0 1 0 805748037 22093824 3591 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5394 3591 300 300 0 5094 0
vsize: 21576
[startup+60.0124 s]
Raw data (loadavg): 0.70 0.22 0.07 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 4622 0 9 0 5876 16 0 0 25 0 1 0 805748037 22519808 4209 4294967295 134512640 135726644 3221224576 3221223184 134741140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5498 4209 300 300 0 5198 0
vsize: 21992
[startup+70.013 s]
Raw data (loadavg): 0.75 0.24 0.08 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 6193 0 9 0 6870 21 0 0 25 0 1 0 805748037 25296896 5587 4294967295 134512640 135726644 3221224576 3221223184 134741206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6176 5587 300 300 0 5876 0
vsize: 24704
[startup+80.0128 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 6448 0 9 0 7865 26 0 0 25 0 1 0 805748037 25739264 5842 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6284 5842 300 300 0 5984 0
vsize: 25136
[startup+90.0136 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 6527 0 9 0 8864 27 0 0 25 0 1 0 805748037 26001408 5921 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6348 5921 300 300 0 6048 0
vsize: 25392
[startup+100.013 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 6674 0 9 0 9863 28 0 0 25 0 1 0 805748037 26488832 6068 4294967295 134512640 135726644 3221224576 3221222896 134729158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 6068 300 300 0 6167 0
vsize: 25868
[startup+110.014 s]
Raw data (loadavg): 0.87 0.33 0.12 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 6925 0 9 0 10861 30 0 0 25 0 1 0 805748037 27475968 6319 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6708 6319 300 300 0 6408 0
vsize: 26832
[startup+120.015 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 7140 0 9 0 11860 32 0 0 25 0 1 0 805748037 28323840 6534 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6915 6534 300 300 0 6615 0
vsize: 27660
[startup+130.015 s]
Raw data (loadavg): 0.91 0.38 0.13 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 7455 0 9 0 12859 33 0 0 25 0 1 0 805748037 29491200 6849 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7200 6849 300 300 0 6900 0
vsize: 28800
[startup+140.016 s]
Raw data (loadavg): 0.92 0.40 0.14 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 8183 0 9 0 13855 36 0 0 25 0 1 0 805748037 47435776 7577 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11581 7577 300 300 0 11281 0
vsize: 46324
[startup+150.016 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 8701 0 9 0 14850 41 0 0 25 0 1 0 805748037 47435776 8095 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11581 8095 300 300 0 11281 0
vsize: 46324
[startup+160.017 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 8723 0 9 0 15850 42 0 0 25 0 1 0 805748037 47435776 8117 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11581 8117 300 300 0 11281 0
vsize: 46324
[startup+170.018 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9127 0 9 0 16848 44 0 0 25 0 1 0 805748037 49008640 8136 4294967295 134512640 135726644 3221224576 3221223120 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11965 8136 300 300 0 11665 0
vsize: 47860
[startup+180.018 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9152 0 9 0 17848 45 0 0 25 0 1 0 805748037 49070080 8161 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11980 8161 300 300 0 11680 0
vsize: 47920
[startup+190.019 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9210 0 9 0 18847 45 0 0 25 0 1 0 805748037 49233920 8219 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12020 8219 300 300 0 11720 0
vsize: 48080
[startup+200.019 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9256 0 9 0 19842 50 0 0 25 0 1 0 805748037 49422336 8265 4294967295 134512640 135726644 3221224576 3221223072 134744274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12066 8265 300 300 0 11766 0
vsize: 48264
[startup+210.019 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9380 0 9 0 20838 55 0 0 25 0 1 0 805748037 49774592 8389 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12152 8389 300 300 0 11852 0
vsize: 48608
[startup+220.02 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9412 0 9 0 21837 56 0 0 25 0 1 0 805748037 49827840 8421 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12165 8421 300 300 0 11865 0
vsize: 48660
[startup+230.02 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9451 0 9 0 22836 57 0 0 25 0 1 0 805748037 49876992 8460 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12177 8460 300 300 0 11877 0
vsize: 48708
[startup+240.021 s]
Raw data (loadavg): 0.98 0.56 0.23 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9491 0 9 0 23835 58 0 0 25 0 1 0 805748037 49983488 8500 4294967295 134512640 135726644 3221224576 3221223120 134736611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12203 8500 300 300 0 11903 0
vsize: 48812
[startup+250.02 s]
Raw data (loadavg): 0.98 0.58 0.23 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9533 0 9 0 24834 60 0 0 25 0 1 0 805748037 50102272 8542 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12232 8542 300 300 0 11932 0
vsize: 48928
[startup+260.021 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9588 0 9 0 25834 60 0 0 25 0 1 0 805748037 50253824 8597 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12269 8597 300 300 0 11969 0
vsize: 49076
[startup+270.021 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9668 0 9 0 26833 61 0 0 25 0 1 0 805748037 50507776 8677 4294967295 134512640 135726644 3221224576 3221222900 135278564 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12331 8677 300 300 0 12031 0
vsize: 49324
[startup+280.021 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 9959 0 9 0 27832 62 0 0 25 0 1 0 805748037 50835456 8968 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12411 8968 300 300 0 12111 0
vsize: 49644
[startup+290.022 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 10470 0 9 0 28830 64 0 0 25 0 1 0 805748037 51875840 9479 4294967295 134512640 135726644 3221224576 3221222936 134809853 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12665 9479 300 300 0 12365 0
vsize: 50660
[startup+300.021 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 10863 0 9 0 29829 65 0 0 25 0 1 0 805748037 52637696 9872 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12851 9872 300 300 0 12551 0
vsize: 51404
[startup+310.022 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 11323 0 9 0 30828 67 0 0 25 0 1 0 805748037 53288960 10332 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13010 10332 300 300 0 12710 0
vsize: 52040
[startup+320.022 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 12054 0 9 0 31826 69 0 0 25 0 1 0 805748037 53796864 11063 4294967295 134512640 135726644 3221224576 3221222752 135280580 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13134 11063 300 300 0 12834 0
vsize: 52536
[startup+330.022 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 12488 0 9 0 32824 71 0 0 25 0 1 0 805748037 54222848 11497 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13238 11497 300 300 0 12938 0
vsize: 52952
[startup+340.023 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 12971 0 9 0 33822 73 0 0 25 0 1 0 805748037 54870016 11980 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13396 11980 300 300 0 13096 0
vsize: 53584
[startup+350.023 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 13730 0 9 0 34821 75 0 0 25 0 1 0 805748037 55427072 12739 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13532 12739 300 300 0 13232 0
vsize: 54128
[startup+360.024 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 13837 0 9 0 35820 75 0 0 25 0 1 0 805748037 55844864 12846 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13634 12846 300 300 0 13334 0
vsize: 54536
[startup+370.024 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 13906 0 9 0 36820 76 0 0 25 0 1 0 805748037 56074240 12915 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13690 12915 300 300 0 13390 0
vsize: 54760
[startup+380.024 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 14021 0 9 0 37819 77 0 0 25 0 1 0 805748037 56549376 13030 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13806 13030 300 300 0 13506 0
vsize: 55224
[startup+390.025 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 14316 0 9 0 38818 78 0 0 25 0 1 0 805748037 57016320 13325 4294967295 134512640 135726644 3221224576 3221223120 134736690 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13920 13325 300 300 0 13620 0
vsize: 55680
[startup+400.026 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 15352 0 9 0 39816 80 0 0 25 0 1 0 805748037 60456960 13592 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14760 13592 300 300 0 14460 0
vsize: 59040
[startup+410.026 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 15796 0 9 0 40815 82 0 0 25 0 1 0 805748037 94470144 14036 4294967295 134512640 135726644 3221224576 3221222912 134763531 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23064 14036 300 300 0 22764 0
vsize: 92256
[startup+420.026 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 16013 0 9 0 41814 83 0 0 25 0 1 0 805748037 95059968 14253 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23208 14253 300 300 0 22908 0
vsize: 92832
[startup+430.026 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 16362 0 9 0 42812 85 0 0 25 0 1 0 805748037 95666176 14602 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23356 14602 300 300 0 23056 0
vsize: 93424
[startup+440.027 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 16923 0 9 0 43811 86 0 0 25 0 1 0 805748037 96784384 15163 4294967295 134512640 135726644 3221224576 3221223184 134741170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23629 15163 300 300 0 23329 0
vsize: 94516
[startup+450.026 s]
Raw data (loadavg): 0.99 0.78 0.37 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 17022 0 9 0 44809 88 0 0 25 0 1 0 805748037 97046528 15262 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23693 15262 300 300 0 23393 0
vsize: 94772
[startup+460.028 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 17305 0 9 0 45809 89 0 0 25 0 1 0 805748037 97570816 15545 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23821 15545 300 300 0 23521 0
vsize: 95284
[startup+470.028 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 18103 0 9 0 46807 90 0 0 25 0 1 0 805748037 98209792 16343 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23977 16343 300 300 0 23677 0
vsize: 95908
[startup+480.028 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 18320 0 9 0 47806 92 0 0 25 0 1 0 805748037 98963456 16560 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24161 16560 300 300 0 23861 0
vsize: 96644
[startup+490.029 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 18431 0 9 0 48806 92 0 0 25 0 1 0 805748037 99356672 16671 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24257 16671 300 300 0 23957 0
vsize: 97028
[startup+500.029 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 18537 0 9 0 49806 93 0 0 25 0 1 0 805748037 99733504 16777 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24349 16777 300 300 0 24049 0
vsize: 97396
[startup+510.03 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 18761 0 9 0 50805 94 0 0 25 0 1 0 805748037 100175872 17001 4294967295 134512640 135726644 3221224576 3221223072 134744041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24457 17001 300 300 0 24157 0
vsize: 97828
[startup+520.03 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 18922 0 9 0 51804 95 0 0 25 0 1 0 805748037 100569088 17162 4294967295 134512640 135726644 3221224576 3221223120 134736822 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24553 17163 300 300 0 24253 0
vsize: 98212
[startup+530.031 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 19319 0 9 0 52803 96 0 0 25 0 1 0 805748037 100782080 17559 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24605 17559 300 300 0 24305 0
vsize: 98420
[startup+540.032 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 19903 0 9 0 53801 98 0 0 25 0 1 0 805748037 101093376 18143 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24681 18143 300 300 0 24381 0
vsize: 98724
[startup+550.031 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 20031 0 9 0 54800 99 0 0 25 0 1 0 805748037 101421056 18271 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24761 18271 300 300 0 24461 0
vsize: 99044
[startup+560.032 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 20498 0 9 0 55798 101 0 0 25 0 1 0 805748037 101830656 18738 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24861 18738 300 300 0 24561 0
vsize: 99444
[startup+570.033 s]
Raw data (loadavg): 0.99 0.85 0.44 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 20685 0 9 0 56797 103 0 0 25 0 1 0 805748037 102027264 18925 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24909 18925 300 300 0 24609 0
vsize: 99636
[startup+580.033 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 21011 0 9 0 57796 104 0 0 25 0 1 0 805748037 102567936 19251 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25041 19251 300 300 0 24741 0
vsize: 100164
[startup+590.034 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 21352 0 9 0 58794 106 0 0 25 0 1 0 805748037 102993920 19592 4294967295 134512640 135726644 3221224576 3221223152 134760072 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25145 19592 300 300 0 24845 0
vsize: 100580
[startup+600.034 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 21661 0 9 0 59793 108 0 0 25 0 1 0 805748037 103223296 19901 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25201 19901 300 300 0 24901 0
vsize: 100804
[startup+610.035 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 22315 0 9 0 60790 111 0 0 25 0 1 0 805748037 103698432 20555 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25317 20555 300 300 0 25017 0
vsize: 101268
[startup+620.035 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 22614 0 9 0 61789 112 0 0 25 0 1 0 805748037 103927808 20854 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25373 20854 300 300 0 25073 0
vsize: 101492
[startup+630.035 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 23294 0 9 0 62787 114 0 0 25 0 1 0 805748037 104435712 21534 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25497 21534 300 300 0 25197 0
vsize: 101988
[startup+640.036 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 23442 0 9 0 63787 115 0 0 25 0 1 0 805748037 104669184 21682 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25554 21682 300 300 0 25254 0
vsize: 102216
[startup+650.037 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 23712 0 9 0 64786 115 0 0 25 0 1 0 805748037 105078784 21952 4294967295 134512640 135726644 3221224576 3221222960 134758368 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25654 21952 300 300 0 25354 0
vsize: 102616
[startup+660.037 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 23881 0 9 0 65783 118 0 0 25 0 1 0 805748037 105766912 22121 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25822 22121 300 300 0 25522 0
vsize: 103288
[startup+670.038 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 23913 0 9 0 66782 120 0 0 25 0 1 0 805748037 105897984 22153 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22153 300 300 0 25554 0
vsize: 103416
[startup+680.038 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 23931 0 9 0 67781 121 0 0 25 0 1 0 805748037 105897984 22171 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22171 300 300 0 25554 0
vsize: 103416
[startup+690.039 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 23948 0 9 0 68781 122 0 0 25 0 1 0 805748037 105897984 22188 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22188 300 300 0 25554 0
vsize: 103416
[startup+700.039 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 23966 0 9 0 69779 123 0 0 25 0 1 0 805748037 105897984 22206 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22206 300 300 0 25554 0
vsize: 103416
[startup+710.039 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 23981 0 9 0 70779 124 0 0 25 0 1 0 805748037 105897984 22221 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22221 300 300 0 25554 0
vsize: 103416
[startup+720.039 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 23990 0 9 0 71774 129 0 0 25 0 1 0 805748037 105897984 22230 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22230 300 300 0 25554 0
vsize: 103416
[startup+730.039 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24005 0 9 0 72774 129 0 0 25 0 1 0 805748037 105897984 22245 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22245 300 300 0 25554 0
vsize: 103416
[startup+740.04 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24020 0 9 0 73773 130 0 0 25 0 1 0 805748037 105897984 22260 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22260 300 300 0 25554 0
vsize: 103416
[startup+750.04 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24034 0 9 0 74773 131 0 0 25 0 1 0 805748037 105897984 22274 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22274 300 300 0 25554 0
vsize: 103416
[startup+760.041 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24048 0 9 0 75772 131 0 0 25 0 1 0 805748037 105897984 22288 4294967295 134512640 135726644 3221224576 3221222896 134729041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22288 300 300 0 25554 0
vsize: 103416
[startup+770.041 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24063 0 9 0 76771 132 0 0 25 0 1 0 805748037 105897984 22303 4294967295 134512640 135726644 3221224576 3221222904 134810476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22303 300 300 0 25554 0
vsize: 103416
[startup+780.041 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24078 0 9 0 77771 133 0 0 25 0 1 0 805748037 105897984 22318 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22318 300 300 0 25554 0
vsize: 103416
[startup+790.042 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24092 0 9 0 78770 134 0 0 25 0 1 0 805748037 105897984 22332 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22332 300 300 0 25554 0
vsize: 103416
[startup+800.042 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24104 0 9 0 79770 135 0 0 25 0 1 0 805748037 105897984 22344 4294967295 134512640 135726644 3221224576 3221223088 134742913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22344 300 300 0 25554 0
vsize: 103416
[startup+810.042 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24118 0 9 0 80769 135 0 0 25 0 1 0 805748037 105897984 22358 4294967295 134512640 135726644 3221224576 3221222896 134729074 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22358 300 300 0 25554 0
vsize: 103416
[startup+820.044 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24129 0 9 0 81769 136 0 0 25 0 1 0 805748037 105897984 22369 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22369 300 300 0 25554 0
vsize: 103416
[startup+830.043 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24142 0 9 0 82769 136 0 0 25 0 1 0 805748037 105897984 22382 4294967295 134512640 135726644 3221224576 3221222896 134729216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22382 300 300 0 25554 0
vsize: 103416
[startup+840.044 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24163 0 9 0 83767 138 0 0 25 0 1 0 805748037 105897984 22403 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22403 300 300 0 25554 0
vsize: 103416
[startup+850.045 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24178 0 9 0 84767 138 0 0 25 0 1 0 805748037 105897984 22418 4294967295 134512640 135726644 3221224576 3221223120 134736815 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25854 22418 300 300 0 25554 0
vsize: 103416
[startup+860.045 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24213 0 9 0 85766 139 0 0 25 0 1 0 805748037 106029056 22453 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25886 22453 300 300 0 25586 0
vsize: 103544
[startup+870.046 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24241 0 9 0 86766 140 0 0 25 0 1 0 805748037 106094592 22481 4294967295 134512640 135726644 3221224576 3221223184 134741148 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25902 22481 300 300 0 25602 0
vsize: 103608
[startup+880.047 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24277 0 9 0 87765 141 0 0 25 0 1 0 805748037 106176512 22517 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25922 22517 300 300 0 25622 0
vsize: 103688
[startup+890.048 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24322 0 9 0 88765 141 0 0 25 0 1 0 805748037 106307584 22562 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25954 22562 300 300 0 25654 0
vsize: 103816
[startup+900.048 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24345 0 9 0 89765 142 0 0 25 0 1 0 805748037 106307584 22585 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25954 22585 300 300 0 25654 0
vsize: 103816
[startup+910.048 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24364 0 9 0 90765 142 0 0 25 0 1 0 805748037 106307584 22604 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25954 22604 300 300 0 25654 0
vsize: 103816
[startup+920.049 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24398 0 9 0 91764 143 0 0 25 0 1 0 805748037 106455040 22638 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25990 22638 300 300 0 25690 0
vsize: 103960
[startup+930.049 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24427 0 9 0 92764 143 0 0 25 0 1 0 805748037 106520576 22667 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26006 22667 300 300 0 25706 0
vsize: 104024
[startup+940.05 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24486 0 9 0 93763 144 0 0 25 0 1 0 805748037 106700800 22726 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26050 22726 300 300 0 25750 0
vsize: 104200
[startup+950.051 s]
Raw data (loadavg): 0.99 0.95 0.61 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24557 0 9 0 94763 144 0 0 25 0 1 0 805748037 106946560 22797 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26110 22797 300 300 0 25810 0
vsize: 104440
[startup+960.051 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24585 0 9 0 95763 145 0 0 25 0 1 0 805748037 107012096 22825 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26126 22825 300 300 0 25826 0
vsize: 104504
[startup+970.051 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24627 0 9 0 96762 146 0 0 25 0 1 0 805748037 107094016 22867 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26146 22867 300 300 0 25846 0
vsize: 104584
[startup+980.051 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24681 0 9 0 97762 146 0 0 25 0 1 0 805748037 107290624 22921 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26194 22921 300 300 0 25894 0
vsize: 104776
[startup+990.052 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24738 0 9 0 98762 147 0 0 25 0 1 0 805748037 107438080 22978 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26230 22978 300 300 0 25930 0
vsize: 104920
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24759 0 9 0 99761 147 0 0 25 0 1 0 805748037 107487232 22999 4294967295 134512640 135726644 3221224576 3221223088 134742609 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26242 22999 300 300 0 25942 0
vsize: 104968
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 24800 0 9 0 100761 148 0 0 25 0 1 0 805748037 107618304 23040 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26274 23040 300 300 0 25974 0
vsize: 105096
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26370 0 9 0 101758 151 0 0 25 0 1 0 805748037 113958912 23073 4294967295 134512640 135726644 3221224576 3221223168 134760517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27822 23073 300 300 0 27522 0
vsize: 111288
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26393 0 9 0 102758 151 0 0 25 0 1 0 805748037 114040832 23096 4294967295 134512640 135726644 3221224576 3221223088 134742899 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27842 23096 300 300 0 27542 0
vsize: 111368
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26443 0 9 0 103757 152 0 0 25 0 1 0 805748037 114171904 23146 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27874 23146 300 300 0 27574 0
vsize: 111496
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26486 0 9 0 104757 153 0 0 25 0 1 0 805748037 114319360 23189 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27910 23189 300 300 0 27610 0
vsize: 111640
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26545 0 9 0 105756 153 0 0 25 0 1 0 805748037 114548736 23248 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27966 23248 300 300 0 27666 0
vsize: 111864
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26583 0 9 0 106756 154 0 0 25 0 1 0 805748037 114647040 23286 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27990 23286 300 300 0 27690 0
vsize: 111960
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26608 0 9 0 107756 154 0 0 25 0 1 0 805748037 114712576 23311 4294967295 134512640 135726644 3221224576 3221223184 134741146 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28006 23311 300 300 0 27706 0
vsize: 112024
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26654 0 9 0 108755 155 0 0 25 0 1 0 805748037 114860032 23357 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28042 23357 300 300 0 27742 0
vsize: 112168
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26705 0 9 0 109755 155 0 0 25 0 1 0 805748037 115023872 23408 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28082 23408 300 300 0 27782 0
vsize: 112328
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26738 0 9 0 110755 156 0 0 25 0 1 0 805748037 115073024 23441 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28094 23441 300 300 0 27794 0
vsize: 112376
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26821 0 9 0 111754 157 0 0 25 0 1 0 805748037 115417088 23524 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28178 23524 300 300 0 27878 0
vsize: 112712
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26843 0 9 0 112754 158 0 0 25 0 1 0 805748037 115482624 23546 4294967295 134512640 135726644 3221224576 3221223088 134742611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28194 23546 300 300 0 27894 0
vsize: 112776
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26940 0 9 0 113754 158 0 0 25 0 1 0 805748037 115875840 23643 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28290 23643 300 300 0 27990 0
vsize: 113160
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 26975 0 9 0 114753 158 0 0 25 0 1 0 805748037 116006912 23678 4294967295 134512640 135726644 3221224576 3221223088 134742604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28322 23678 300 300 0 28022 0
vsize: 113288
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 27195 0 9 0 115752 159 0 0 25 0 1 0 805748037 116334592 23898 4294967295 134512640 135726644 3221224576 3221223120 134736815 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28402 23899 300 300 0 28102 0
vsize: 113608
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 27334 0 9 0 116751 161 0 0 25 0 1 0 805748037 116629504 24037 4294967295 134512640 135726644 3221224576 3221223088 134742617 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28474 24037 300 300 0 28174 0
vsize: 113896
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 27941 0 9 0 117750 162 0 0 25 0 1 0 805748037 117350400 24644 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28650 24644 300 300 0 28350 0
vsize: 114600
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 28140 0 9 0 118747 165 0 0 25 0 1 0 805748037 117841920 24843 4294967295 134512640 135726644 3221224576 3221223072 134744257 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28770 24843 300 300 0 28470 0
vsize: 115080
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 28325 0 9 0 119744 168 0 0 25 0 1 0 805748037 117940224 25028 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28794 25028 300 300 0 28494 0
vsize: 115176
[startup+1210.1 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 333
Raw data (stat): 333 (pb2sat) R 332 23514 23513 0 -1 0 28982 0 9 0 120743 173 0 0 25 0 1 0 805748037 117940224 25685 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28794 25685 300 300 0 28494 0
vsize: 115176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.35 s]
Raw data (loadavg): 0.99 0.97 0.70 1/54 333
Raw data (stat): 333 (pb2sat) Z 332 23514 23513 0 -1 12 28983 0 9 0 120763 178 0 0 25 0 1 0 805748037 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1210.35
CPU time (s): 1209.42
CPU user time (s): 1207.64
CPU system time (s): 1.78673
CPU usage (%): 99.9232
Max. virtual memory (Kb): 115176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####