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-chnl15_25_pb.cnf.cr.opb
MD5SUM	808390b13d2d87ec4e78f628ed3af9ba
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	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.021995
Number of variables	750
Total number of constraints	80
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	25
Trace number 41889

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-15 19:04:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25105 boxname=wulflinc5 idbench=7 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  808390b13d2d87ec4e78f628ed3af9ba  /oldhome/oroussel/tmp/wulflinc5/normalized-chnl15_25_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-chnl15_25_pb.cnf.cr.opb
IDLAUNCH: 25105
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        832624 kB
Buffers:         33476 kB
Cached:         146432 kB
SwapCached:        700 kB
Active:          59364 kB
Inactive:       122616 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        832372 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            14492 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:24:47 (client local time) WITH STATUS 0 IN 1209.94 SECONDS
stats: 25105 7 1209.94 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 720/2190	Time: 19.727/86400
c Decision: 720/2190	Time: 20.5729/86400
c Decision: 720/2190	Time: 21.5697/86400
c Decision: 720/2190	Time: 22.7205/86400
c Decision: 720/2190	Time: 23.8504/86400
c Decision: 720/2190	Time: 25.0342/86400
c Decision: 720/2190	Time: 26.157/86400
c Decision: 720/2190	Time: 27.4078/86400
c Decision: 720/2190	Time: 28.6536/86400
c Decision: 720/2190	Time: 29.8755/86400
c Decision: 720/2190	Time: 31.1363/86400
c Decision: 720/2190	Time: 32.625/86400
c Decision: 720/2190	Time: 34.0208/86400
c Decision: 720/2190	Time: 35.3876/86400
c Decision: 720/2190	Time: 36.7104/86400
c Decision: 720/2190	Time: 38.2432/86400
c Decision: 720/2190	Time: 39.696/86400
c Decision: 720/2190	Time: 41.1507/86400
c Decision: 720/2190	Time: 42.6985/86400
c Decision: 720/2190	Time: 44.2313/86400
c Decision: 720/2190	Time: 45.894/86400
c Decision: 720/2190	Time: 47.4068/86400
c Decision: 720/2190	Time: 48.8896/86400
c Decision: 720/2190	Time: 50.4143/86400
c Decision: 720/2190	Time: 51.9651/86400
c Decision: 720/2190	Time: 53.8688/86400
c Decision: 720/2190	Time: 55.3926/86400
c Decision: 720/2190	Time: 56.8933/86400
c Decision: 720/2190	Time: 58.5521/86400
c Decision: 720/2190	Time: 60.3068/86400
c Decision: 720/2190	Time: 62.4565/86400
c Decision: 720/2190	Time: 64.0973/86400
c Decision: 720/2190	Time: 65.771/86400
c Decision: 720/2190	Time: 67.3978/86400
c Decision: 720/2190	Time: 69.1555/86400
c Decision: 720/2190	Time: 71.1482/86400
c Decision: 720/2190	Time: 72.9119/86400
c Decision: 720/2190	Time: 74.7236/86400
c Decision: 720/2190	Time: 76.5404/86400
c Decision: 720/2190	Time: 78.3591/86400
c Decision: 720/2190	Time: 80.5248/86400
c Decision: 720/2190	Time: 82.2815/86400
c Decision: 720/2190	Time: 84.1572/86400
c Decision: 720/2190	Time: 85.9669/86400
c Decision: 720/2190	Time: 87.7617/86400
c Decision: 720/2190	Time: 89.9633/86400
c Decision: 720/2190	Time: 91.82/86400
c Decision: 720/2190	Time: 93.7158/86400
c Decision: 720/2190	Time: 95.6135/86400
c Decision: 720/2190	Time: 97.5472/86400
c Decision: 720/2190	Time: 99.6828/86400
c Decision: 720/2190	Time: 101.47/86400
c Decision: 720/2190	Time: 103.264/86400
c Decision: 720/2190	Time: 105.176/86400
c Decision: 720/2190	Time: 107.108/86400
c Decision: 720/2190	Time: 109.338/86400
c Decision: 720/2190	Time: 111.222/86400
c Decision: 720/2190	Time: 113.192/86400
c Decision: 720/2190	Time: 114.927/86400
c Decision: 720/2190	Time: 117.012/86400
c Decision: 720/2190	Time: 119.356/86400
c Decision: 720/2190	Time: 121.393/86400
c Decision: 720/2190	Time: 123.244/86400
c Decision: 720/2190	Time: 125.188/86400
c Decision: 720/2190	Time: 127.109/86400
c Decision: 720/2190	Time: 129.375/86400
c Decision: 720/2190	Time: 131.365/86400
c Decision: 720/2190	Time: 133.314/86400
c Decision: 720/2190	Time: 135.436/86400
c Decision: 720/2190	Time: 137.362/86400
c Decision: 720/2190	Time: 139.792/86400
c Decision: 720/2190	Time: 141.805/86400
c Decision: 720/2190	Time: 143.795/86400
c Decision: 720/2190	Time: 145.715/86400
c Decision: 720/2190	Time: 147.886/86400
c Decision: 720/2190	Time: 150.093/86400
c Decision: 720/2190	Time: 152.3/86400
c Decision: 720/2190	Time: 154.311/86400
c Decision: 720/2190	Time: 156.403/86400
c Decision: 720/2190	Time: 158.377/86400
c Decision: 720/2190	Time: 160.703/86400
c Decision: 720/2190	Time: 162.708/86400
c Decision: 720/2190	Time: 164.871/86400
c Decision: 720/2190	Time: 167.038/86400
c Decision: 720/2190	Time: 169.1/86400
c Decision: 720/2190	Time: 171.908/86400
c Decision: 720/2190	Time: 174.055/86400
c Decision: 720/2190	Time: 176.404/86400
c Decision: 720/2190	Time: 178.782/86400
c Decision: 720/2190	Time: 181.314/86400
c Decision: 720/2190	Time: 183.934/86400
c Decision: 720/2190	Time: 186.239/86400
c Decision: 720/2190	Time: 188.974/86400
c Decision: 720/2190	Time: 191.459/86400
c Decision: 720/2190	Time: 193.898/86400
c Decision: 720/2190	Time: 196.68/86400
c Decision: 720/2190	Time: 199.244/86400
c Decision: 720/2190	Time: 201.722/86400
c Decision: 720/2190	Time: 204.199/86400
c Decision: 720/2190	Time: 206.504/86400
c Decision: 720/2190	Time: 209.331/86400
c Decision: 720/2190	Time: 211.78/86400
c Decision: 720/2190	Time: 214.14/86400
c Decision: 720/2190	Time: 216.46/86400
c Decision: 720/2190	Time: 219.242/86400
c Decision: 720/2190	Time: 222.152/86400
c Decision: 720/2190	Time: 224.558/86400
c Decision: 720/2190	Time: 227.038/86400
c Decision: 720/2190	Time: 229.467/86400
c Decision: 720/2190	Time: 232.015/86400
c Decision: 720/2190	Time: 235.398/86400
c Decision: 720/2190	Time: 237.789/86400
c Decision: 720/2190	Time: 240.276/86400
c Decision: 720/2190	Time: 242.824/86400
c Decision: 720/2190	Time: 245.34/86400
c Decision: 720/2190	Time: 248.582/86400
c Decision: 720/2190	Time: 251.252/86400
c Decision: 720/2190	Time: 253.966/86400
c Decision: 720/2190	Time: 256.643/86400
c Decision: 720/2190	Time: 259.331/86400
c Decision: 720/2190	Time: 262.622/86400
c Decision: 720/2190	Time: 265.469/86400
c Decision: 720/2190	Time: 268.328/86400
c Decision: 720/2190	Time: 271.022/86400
c Decision: 720/2190	Time: 273.593/86400
c Decision: 720/2190	Time: 276.909/86400
c Decision: 720/2190	Time: 279.703/86400
c Decision: 720/2190	Time: 282.265/86400
c Decision: 720/2190	Time: 285.199/86400
c Decision: 720/2190	Time: 287.869/86400
c Decision: 720/2190	Time: 291.14/86400
c Decision: 720/2190	Time: 293.812/86400
c Decision: 720/2190	Time: 296.608/86400
c Decision: 720/2190	Time: 299.427/86400
c Decision: 720/2190	Time: 302.321/86400
c Decision: 720/2190	Time: 305.829/86400
c Decision: 720/2190	Time: 308.57/86400
c Decision: 720/2190	Time: 311.459/86400
c Decision: 720/2190	Time: 314.145/86400
c Decision: 720/2190	Time: 317.013/86400
c Decision: 720/2190	Time: 320.314/86400
c Decision: 720/2190	Time: 323.228/86400
c Decision: 720/2190	Time: 325.887/86400
c Decision: 720/2190	Time: 328.706/86400
c Decision: 720/2190	Time: 331.669/86400
c Decision: 720/2190	Time: 335.187/86400
c Decision: 720/2190	Time: 337.797/86400
c Decision: 720/2190	Time: 340.498/86400
c Decision: 720/2190	Time: 343.013/86400
c Decision: 720/2190	Time: 345.604/86400
c Decision: 720/2190	Time: 348.964/86400
c Decision: 720/2190	Time: 351.536/86400
c Decision: 720/2190	Time: 354.324/86400
c Decision: 720/2190	Time: 357.104/86400
c Decision: 720/2190	Time: 360.24/86400
c Decision: 720/2190	Time: 363.51/86400
c Decision: 720/2190	Time: 366.082/86400
c Decision: 720/2190	Time: 368.966/86400
c Decision: 720/2190	Time: 371.606/86400
c Decision: 720/2190	Time: 374.158/86400
c Decision: 720/2190	Time: 377.398/86400
c Decision: 720/2190	Time: 379.807/86400
c Decision: 720/2190	Time: 382.663/86400
c Decision: 720/2190	Time: 385.153/86400
c Decision: 720/2190	Time: 387.91/86400
c Decision: 720/2190	Time: 390.94/86400
c Decision: 720/2190	Time: 393.531/86400
c Decision: 720/2190	Time: 395.92/86400
c Decision: 720/2190	Time: 398.295/86400
c Decision: 720/2190	Time: 400.771/86400
c Decision: 720/2190	Time: 403.765/86400
c Decision: 720/2190	Time: 406.263/86400
c Decision: 720/2190	Time: 408.768/86400
c Decision: 720/2190	Time: 411.297/86400
c Decision: 720/2190	Time: 413.88/86400
c Decision: 720/2190	Time: 416.842/86400
c Decision: 720/2190	Time: 419.309/86400
c Decision: 720/2190	Time: 421.759/86400
c Decision: 720/2190	Time: 424.391/86400
c Decision: 720/2190	Time: 426.782/86400
c Decision: 720/2190	Time: 429.894/86400
c Decision: 720/2190	Time: 432.415/86400
c Decision: 720/2190	Time: 435.268/86400
c Decision: 720/2190	Time: 437.89/86400
c Decision: 720/2190	Time: 440.472/86400
c Decision: 720/2190	Time: 444.076/86400
c Decision: 720/2190	Time: 446.9/86400
c Decision: 720/2190	Time: 449.551/86400
c Decision: 720/2190	Time: 452.28/86400
c Decision: 720/2190	Time: 455.008/86400
c Decision: 720/2190	Time: 458.35/86400
c Decision: 720/2190	Time: 461.009/86400
c Decision: 720/2190	Time: 463.543/86400
c Decision: 720/2190	Time: 466.259/86400
c Decision: 720/2190	Time: 469.057/86400
c Decision: 720/2190	Time: 472.117/86400
c Decision: 720/2190	Time: 474.825/86400
c Decision: 720/2190	Time: 477.368/86400
c Decision: 720/2190	Time: 480.027/86400
c Decision: 720/2190	Time: 482.632/86400
c Decision: 720/2190	Time: 485.856/86400
c Decision: 720/2190	Time: 488.684/86400
c Decision: 720/2190	Time: 491.297/86400
c Decision: 720/2190	Time: 494.091/86400
c Decision: 720/2190	Time: 496.889/86400
c Decision: 720/2190	Time: 500.405/86400
c Decision: 720/2190	Time: 502.97/86400
c Decision: 720/2190	Time: 505.865/86400
c Decision: 720/2190	Time: 508.519/86400
c Decision: 720/2190	Time: 511.377/86400
c Decision: 720/2190	Time: 514.667/86400
c Decision: 720/2190	Time: 517.347/86400
c Decision: 720/2190	Time: 520.113/86400
c Decision: 720/2190	Time: 522.881/86400
c Decision: 720/2190	Time: 525.583/86400
c Decision: 720/2190	Time: 528.922/86400
c Decision: 720/2190	Time: 531.674/86400
c Decision: 720/2190	Time: 534.222/86400
c Decision: 720/2190	Time: 537.055/86400
c Decision: 720/2190	Time: 539.641/86400
c Decision: 720/2190	Time: 542.664/86400
c Decision: 720/2190	Time: 545.315/86400
c Decision: 720/2190	Time: 548.068/86400
c Decision: 720/2190	Time: 550.753/86400
c Decision: 720/2190	Time: 553.291/86400
c Decision: 720/2190	Time: 556.526/86400
c Decision: 720/2190	Time: 559.046/86400
c Decision: 720/2190	Time: 561.772/86400
c Decision: 720/2190	Time: 564.606/86400
c Decision: 720/2190	Time: 567.363/86400
c Decision: 720/2190	Time: 570.677/86400
c Decision: 720/2190	Time: 573.414/86400
c Decision: 720/2190	Time: 576.096/86400
c Decision: 720/2190	Time: 578.787/86400
c Decision: 720/2190	Time: 581.439/86400
c Decision: 720/2190	Time: 584.904/86400
c Decision: 720/2190	Time: 587.655/86400
c Decision: 720/2190	Time: 590.38/86400
c Decision: 720/2190	Time: 593.079/86400
c Decision: 720/2190	Time: 595.919/86400
c Decision: 720/2190	Time: 599.133/86400
c Decision: 720/2190	Time: 602.016/86400
c Decision: 720/2190	Time: 604.748/86400
c Decision: 720/2190	Time: 607.555/86400
c Decision: 720/2190	Time: 610.462/86400
c Decision: 720/2190	Time: 613.817/86400
c Decision: 720/2190	Time: 617.096/86400
c Decision: 720/2190	Time: 620.02/86400
c Decision: 720/2190	Time: 622.967/86400
c Decision: 720/2190	Time: 625.643/86400
c Decision: 720/2190	Time: 629.19/86400
c Decision: 720/2190	Time: 632.019/86400
c Decision: 720/2190	Time: 634.83/86400
c Decision: 720/2190	Time: 637.703/86400
c Decision: 720/2190	Time: 640.626/86400
c Decision: 720/2190	Time: 644.11/86400
c Decision: 720/2190	Time: 647.3/86400
c Decision: 720/2190	Time: 650.349/86400
c Decision: 720/2190	Time: 653.369/86400
c Decision: 720/2190	Time: 656.412/86400
c Decision: 720/2190	Time: 659.885/86400
c Decision: 720/2190	Time: 662.718/86400
c Decision: 720/2190	Time: 665.647/86400
c Decision: 720/2190	Time: 668.506/86400
c Decision: 720/2190	Time: 671.421/86400
c Decision: 720/2190	Time: 674.853/86400
c Decision: 720/2190	Time: 677.956/86400
c Decision: 720/2190	Time: 680.943/86400
c Decision: 720/2190	Time: 684.107/86400
c Decision: 720/2190	Time: 686.986/86400
c Decision: 720/2190	Time: 691.001/86400
c Decision: 720/2190	Time: 693.981/86400
c Decision: 720/2190	Time: 696.705/86400
c Decision: 720/2190	Time: 699.62/86400
c Decision: 720/2190	Time: 702.587/86400
c Decision: 720/2190	Time: 706.216/86400
c Decision: 720/2190	Time: 709.226/86400
c Decision: 720/2190	Time: 712.424/86400
c Decision: 720/2190	Time: 715.509/86400
c Decision: 720/2190	Time: 718.603/86400
c Decision: 720/2190	Time: 722.738/86400
c Decision: 720/2190	Time: 725.734/86400
c Decision: 720/2190	Time: 728.715/86400
c Decision: 720/2190	Time: 731.629/86400
c Decision: 720/2190	Time: 734.436/86400
c Decision: 720/2190	Time: 738.038/86400
c Decision: 720/2190	Time: 740.688/86400
c Decision: 720/2190	Time: 743.599/86400
c Decision: 720/2190	Time: 746.871/86400
c Decision: 720/2190	Time: 749.679/86400
c Decision: 720/2190	Time: 753.109/86400
c Decision: 720/2190	Time: 755.804/86400
c Decision: 720/2190	Time: 758.683/86400
c Decision: 720/2190	Time: 761.477/86400
c Decision: 720/2190	Time: 764.289/86400
c Decision: 720/2190	Time: 767.87/86400
c Decision: 720/2190	Time: 770.696/86400
c Decision: 720/2190	Time: 773.768/86400
c Decision: 720/2190	Time: 776.739/86400
c Decision: 720/2190	Time: 779.426/86400
c Decision: 720/2190	Time: 782.737/86400
c Decision: 720/2190	Time: 785.45/86400
c Decision: 720/2190	Time: 788.371/86400
c Decision: 720/2190	Time: 791.15/86400
c Decision: 720/2190	Time: 793.895/86400
c Decision: 720/2190	Time: 797.378/86400
c Decision: 720/2190	Time: 800.198/86400
c Decision: 720/2190	Time: 803.09/86400
c Decision: 720/2190	Time: 805.713/86400
c Decision: 720/2190	Time: 808.526/86400
c Decision: 720/2190	Time: 811.788/86400
c Decision: 720/2190	Time: 814.699/86400
c Decision: 720/2190	Time: 817.673/86400
c Decision: 720/2190	Time: 820.651/86400
c Decision: 720/2190	Time: 823.492/86400
c Decision: 720/2190	Time: 826.954/86400
c Decision: 720/2190	Time: 829.511/86400
c Decision: 720/2190	Time: 832.14/86400
c Decision: 720/2190	Time: 835.129/86400
c Decision: 720/2190	Time: 838.271/86400
c Decision: 720/2190	Time: 841.683/86400
c Decision: 720/2190	Time: 844.641/86400
c Decision: 720/2190	Time: 847.34/86400
c Decision: 720/2190	Time: 850.06/86400
c Decision: 720/2190	Time: 852.845/86400
c Decision: 720/2190	Time: 856.175/86400
c Decision: 720/2190	Time: 859.242/86400
c Decision: 720/2190	Time: 862.129/86400
c Decision: 720/2190	Time: 864.736/86400
c Decision: 720/2190	Time: 867.7/86400
c Decision: 720/2190	Time: 871.105/86400
c Decision: 720/2190	Time: 873.994/86400
c Decision: 720/2190	Time: 876.745/86400
c Decision: 720/2190	Time: 879.475/86400
c Decision: 720/2190	Time: 882.403/86400
c Decision: 720/2190	Time: 885.858/86400
c Decision: 720/2190	Time: 888.828/86400
c Decision: 720/2190	Time: 891.781/86400
c Decision: 720/2190	Time: 894.501/86400
c Decision: 720/2190	Time: 897.371/86400
c Decision: 720/2190	Time: 901.133/86400
c Decision: 720/2190	Time: 904.108/86400
c Decision: 720/2190	Time: 907.082/86400
c Decision: 720/2190	Time: 910.067/86400
c Decision: 720/2190	Time: 912.81/86400
c Decision: 720/2190	Time: 916.289/86400
c Decision: 720/2190	Time: 919.294/86400
c Decision: 720/2190	Time: 922.025/86400
c Decision: 720/2190	Time: 924.92/86400
c Decision: 720/2190	Time: 927.697/86400
c Decision: 720/2190	Time: 931.285/86400
c Decision: 720/2190	Time: 934.106/86400
c Decision: 720/2190	Time: 936.83/86400
c Decision: 720/2190	Time: 939.725/86400
c Decision: 720/2190	Time: 942.402/86400
c Decision: 720/2190	Time: 946.033/86400
c Decision: 720/2190	Time: 948.933/86400
c Decision: 720/2190	Time: 951.788/86400
c Decision: 720/2190	Time: 954.505/86400
c Decision: 720/2190	Time: 957.236/86400
c Decision: 720/2190	Time: 960.602/86400
c Decision: 720/2190	Time: 963.609/86400
c Decision: 720/2190	Time: 966.506/86400
c Decision: 720/2190	Time: 969.371/86400
c Decision: 720/2190	Time: 972.329/86400
c Decision: 720/2190	Time: 975.853/86400
c Decision: 720/2190	Time: 978.663/86400
c Decision: 720/2190	Time: 981.66/86400
c Decision: 720/2190	Time: 984.713/86400
c Decision: 720/2190	Time: 987.507/86400
c Decision: 720/2190	Time: 990.974/86400
c Decision: 720/2190	Time: 993.848/86400
c Decision: 720/2190	Time: 996.81/86400
c Decision: 720/2190	Time: 999.732/86400
c Decision: 720/2190	Time: 1002.79/86400
c Decision: 720/2190	Time: 1006.38/86400
c Decision: 720/2190	Time: 1009.15/86400
c Decision: 720/2190	Time: 1012.4/86400
c Decision: 720/2190	Time: 1015.14/86400
c Decision: 720/2190	Time: 1018.05/86400
c Decision: 720/2190	Time: 1021.67/86400
c Decision: 720/2190	Time: 1024.39/86400
c Decision: 720/2190	Time: 1027.78/86400
c Decision: 720/2190	Time: 1030.72/86400
c Decision: 720/2190	Time: 1033.55/86400
c Decision: 720/2190	Time: 1037.25/86400
c Decision: 720/2190	Time: 1040.39/86400
c Decision: 720/2190	Time: 1043.15/86400
c Decision: 720/2190	Time: 1045.94/86400
c Decision: 720/2190	Time: 1049.2/86400
c Decision: 720/2190	Time: 1052.75/86400
c Decision: 720/2190	Time: 1055.96/86400
c Decision: 720/2190	Time: 1059.11/86400
c Decision: 720/2190	Time: 1062.97/86400
c Decision: 720/2190	Time: 1065.9/86400
c Decision: 720/2190	Time: 1069.51/86400
c Decision: 720/2190	Time: 1072.22/86400
c Decision: 720/2190	Time: 1075.13/86400
c Decision: 720/2190	Time: 1078.29/86400
c Decision: 720/2190	Time: 1081.45/86400
c Decision: 720/2190	Time: 1084.86/86400
c Decision: 720/2190	Time: 1087.85/86400
c Decision: 720/2190	Time: 1091.07/86400
c Decision: 720/2190	Time: 1094.17/86400
c Decision: 720/2190	Time: 1097.35/86400
c Decision: 720/2190	Time: 1101.15/86400
c Decision: 720/2190	Time: 1104.16/86400
c Decision: 720/2190	Time: 1107.11/86400
c Decision: 720/2190	Time: 1110.12/86400
c Decision: 720/2190	Time: 1113.07/86400
c Decision: 720/2190	Time: 1116.69/86400
c Decision: 720/2190	Time: 1119.84/86400
c Decision: 720/2190	Time: 1122.97/86400
c Decision: 720/2190	Time: 1126.02/86400
c Decision: 720/2190	Time: 1129/86400
c Decision: 720/2190	Time: 1132.64/86400
c Decision: 720/2190	Time: 1135.83/86400
c Decision: 720/2190	Time: 1138.68/86400
c Decision: 720/2190	Time: 1142.01/86400
c Decision: 720/2190	Time: 1145/86400
c Decision: 720/2190	Time: 1149.04/86400
c Decision: 720/2190	Time: 1152.23/86400
c Decision: 720/2190	Time: 1155.23/86400
c Decision: 720/2190	Time: 1158.26/86400
c Decision: 720/2190	Time: 1161.14/86400
c Decision: 720/2190	Time: 1165.3/86400
c Decision: 720/2190	Time: 1168.34/86400
c Decision: 720/2190	Time: 1171.89/86400
c Decision: 720/2190	Time: 1174.91/86400
c Decision: 720/2190	Time: 1177.92/86400
c Decision: 720/2190	Time: 1181.49/86400
c Decision: 720/2190	Time: 1184.7/86400
c Decision: 720/2190	Time: 1187.66/86400
c Decision: 720/2190	Time: 1191.15/86400
c Decision: 720/2190	Time: 1194.03/86400
c Decision: 720/2190	Time: 1197.75/86400
c Decision: 720/2190	Time: 1200.85/86400
c Decision: 720/2190	Time: 1203.57/86400
c Decision: 720/2190	Time: 1206.5/86400
c Decision: 720/2190	Time: 1209.6/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
Raw data (loadavg): 0.00 0.01 0.22 2/54 1321
Raw data (stat): 1321 (runsolver) R 1320 7266 7265 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 964500716 884736 93 4294967295 134512640 135332820 3221224464 3221219788 134958199 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0005 s]
Raw data (loadavg): 0.15 0.04 0.23 2/54 1321
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 1162 0 10 0 953 4 0 0 25 0 1 0 964500716 6987776 1072 4294967295 134512640 135730672 3221224576 3221223120 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1706 1072 301 301 0 1405 0
vsize: 6824
[startup+20.0015 s]
Raw data (loadavg): 0.28 0.08 0.24 2/54 1321
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 1732 0 10 0 1951 6 0 0 25 0 1 0 964500716 11624448 1642 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2838 1642 301 301 0 2537 0
vsize: 11352
[startup+30.0011 s]
Raw data (loadavg): 0.39 0.10 0.24 2/54 1321
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 2922 0 10 0 2945 10 0 0 25 0 1 0 964500716 13250560 2735 4294967295 134512640 135730672 3221224576 3221222756 135281249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3235 2735 301 301 0 2934 0
vsize: 12940
[startup+40.0017 s]
Raw data (loadavg): 0.49 0.13 0.25 2/54 1321
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 3647 0 10 0 3940 14 0 0 25 0 1 0 964500716 22327296 3460 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5451 3460 301 301 0 5150 0
vsize: 21804
[startup+50.002 s]
Raw data (loadavg): 0.56 0.16 0.26 2/54 1321
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 3940 0 10 0 4939 15 0 0 25 0 1 0 964500716 23326720 3753 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5695 3753 301 301 0 5394 0
vsize: 22780
[startup+60.0022 s]
Raw data (loadavg): 0.63 0.19 0.27 2/54 1321
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 4619 0 10 0 5935 19 0 0 25 0 1 0 964500716 24080384 4432 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5879 4432 301 301 0 5578 0
vsize: 23516
[startup+70.0029 s]
Raw data (loadavg): 0.69 0.22 0.27 2/54 1321
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 5376 0 10 0 6932 21 0 0 25 0 1 0 964500716 25964544 4996 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6339 4996 301 301 0 6038 0
vsize: 25356
[startup+80.0027 s]
Raw data (loadavg): 0.73 0.24 0.28 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 6058 0 10 0 7930 24 0 0 25 0 1 0 964500716 26783744 5678 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6539 5678 301 301 0 6238 0
vsize: 26156
[startup+90.0024 s]
Raw data (loadavg): 0.77 0.27 0.29 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 6529 0 10 0 8928 26 0 0 25 0 1 0 964500716 27602944 6149 4294967295 134512640 135730672 3221224576 3221223088 134746544 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6739 6149 301 301 0 6438 0
vsize: 26956
[startup+100.002 s]
Raw data (loadavg): 0.81 0.29 0.29 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 6950 0 10 0 9925 28 0 0 25 0 1 0 964500716 44707840 6570 4294967295 134512640 135730672 3221224576 3221223200 134783069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10915 6570 301 301 0 10614 0
vsize: 43660
[startup+110.003 s]
Raw data (loadavg): 0.84 0.31 0.30 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 7090 0 10 0 10925 29 0 0 25 0 1 0 964500716 45199360 6710 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11035 6710 301 301 0 10734 0
vsize: 44140
[startup+120.004 s]
Raw data (loadavg): 0.86 0.33 0.31 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 7180 0 10 0 11923 30 0 0 25 0 1 0 964500716 45527040 6800 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11115 6800 301 301 0 10814 0
vsize: 44460
[startup+130.003 s]
Raw data (loadavg): 0.88 0.36 0.32 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 7488 0 10 0 12922 32 0 0 25 0 1 0 964500716 45854720 7108 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11195 7108 301 301 0 10894 0
vsize: 44780
[startup+140.004 s]
Raw data (loadavg): 0.90 0.38 0.32 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 8082 0 10 0 13920 34 0 0 25 0 1 0 964500716 46018560 7702 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11235 7702 301 301 0 10934 0
vsize: 44940
[startup+150.004 s]
Raw data (loadavg): 0.92 0.40 0.33 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 8150 0 10 0 14918 36 0 0 25 0 1 0 964500716 46215168 7770 4294967295 134512640 135730672 3221224576 3221223088 134746536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11283 7770 301 301 0 10982 0
vsize: 45132
[startup+160.005 s]
Raw data (loadavg): 0.93 0.42 0.34 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 8644 0 10 0 15917 38 0 0 25 0 1 0 964500716 48115712 7879 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11747 7879 301 301 0 11446 0
vsize: 46988
[startup+170.006 s]
Raw data (loadavg): 0.94 0.43 0.34 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 8949 0 10 0 16915 40 0 0 25 0 1 0 964500716 48508928 8184 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11843 8184 301 301 0 11542 0
vsize: 47372
[startup+180.005 s]
Raw data (loadavg): 0.95 0.45 0.35 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 9234 0 10 0 17913 42 0 0 25 0 1 0 964500716 49233920 8469 4294967295 134512640 135730672 3221224576 3221223140 134740377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12020 8469 301 301 0 11719 0
vsize: 48080
[startup+190.005 s]
Raw data (loadavg): 0.95 0.47 0.36 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 9816 0 10 0 18911 44 0 0 25 0 1 0 964500716 50413568 9051 4294967295 134512640 135730672 3221224576 3221222896 134732581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12308 9051 301 301 0 12007 0
vsize: 49232
[startup+200.006 s]
Raw data (loadavg): 0.96 0.49 0.36 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 10303 0 10 0 19910 45 0 0 25 0 1 0 964500716 51200000 9538 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12500 9538 301 301 0 12199 0
vsize: 50000
[startup+210.007 s]
Raw data (loadavg): 0.97 0.50 0.37 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 10645 0 10 0 20908 47 0 0 25 0 1 0 964500716 51789824 9880 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12644 9880 301 301 0 12343 0
vsize: 50576
[startup+220.007 s]
Raw data (loadavg): 0.97 0.52 0.38 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 10830 0 10 0 21907 49 0 0 25 0 1 0 964500716 52576256 10065 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12836 10065 301 301 0 12535 0
vsize: 51344
[startup+230.007 s]
Raw data (loadavg): 0.98 0.53 0.38 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 11088 0 10 0 22906 50 0 0 25 0 1 0 964500716 52969472 10323 4294967295 134512640 135730672 3221224576 3221222784 134772799 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12932 10323 301 301 0 12631 0
vsize: 51728
[startup+240.008 s]
Raw data (loadavg): 0.98 0.55 0.39 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 11485 0 10 0 23904 52 0 0 25 0 1 0 964500716 53755904 10720 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13124 10720 301 301 0 12823 0
vsize: 52496
[startup+250.008 s]
Raw data (loadavg): 0.98 0.56 0.39 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 11970 0 10 0 24902 54 0 0 25 0 1 0 964500716 54738944 11205 4294967295 134512640 135730672 3221224576 3221222904 134814522 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13364 11205 301 301 0 13063 0
vsize: 53456
[startup+260.008 s]
Raw data (loadavg): 0.98 0.58 0.40 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 12313 0 10 0 25901 56 0 0 25 0 1 0 964500716 55132160 11548 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13460 11548 301 301 0 13159 0
vsize: 53840
[startup+270.009 s]
Raw data (loadavg): 0.99 0.59 0.40 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 12546 0 10 0 26900 56 0 0 25 0 1 0 964500716 55328768 11781 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13508 11781 301 301 0 13207 0
vsize: 54032
[startup+280.009 s]
Raw data (loadavg): 0.99 0.60 0.41 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 12943 0 10 0 27899 58 0 0 25 0 1 0 964500716 55721984 12178 4294967295 134512640 135730672 3221224576 3221223088 134746497 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13604 12178 301 301 0 13303 0
vsize: 54416
[startup+290.01 s]
Raw data (loadavg): 0.99 0.62 0.42 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 13205 0 10 0 28898 59 0 0 25 0 1 0 964500716 55918592 12440 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13652 12440 301 301 0 13351 0
vsize: 54608
[startup+300.009 s]
Raw data (loadavg): 0.99 0.63 0.42 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 13356 0 10 0 29897 60 0 0 25 0 1 0 964500716 56115200 12591 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13700 12591 301 301 0 13399 0
vsize: 54800
[startup+310.01 s]
Raw data (loadavg): 0.99 0.64 0.43 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 13688 0 10 0 30895 63 0 0 25 0 1 0 964500716 90062848 12923 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21988 12923 301 301 0 21687 0
vsize: 87952
[startup+320.011 s]
Raw data (loadavg): 0.99 0.65 0.43 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 13862 0 10 0 31894 64 0 0 25 0 1 0 964500716 90062848 13097 4294967295 134512640 135730672 3221224576 3221223088 134746201 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21988 13097 301 301 0 21687 0
vsize: 87952
[startup+330.01 s]
Raw data (loadavg): 0.99 0.66 0.44 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 13904 0 10 0 32893 65 0 0 25 0 1 0 964500716 90062848 13139 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21988 13139 301 301 0 21687 0
vsize: 87952
[startup+340.011 s]
Raw data (loadavg): 0.99 0.67 0.45 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 14048 0 10 0 33892 66 0 0 25 0 1 0 964500716 90259456 13283 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22036 13283 301 301 0 21735 0
vsize: 88144
[startup+350.011 s]
Raw data (loadavg): 0.99 0.68 0.45 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 14122 0 10 0 34892 66 0 0 25 0 1 0 964500716 90456064 13357 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22084 13357 301 301 0 21783 0
vsize: 88336
[startup+360.011 s]
Raw data (loadavg): 0.99 0.69 0.46 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 14171 0 10 0 35892 67 0 0 25 0 1 0 964500716 90652672 13406 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22132 13406 301 301 0 21831 0
vsize: 88528
[startup+370.012 s]
Raw data (loadavg): 0.99 0.70 0.46 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 14203 0 10 0 36891 67 0 0 25 0 1 0 964500716 90652672 13438 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22132 13438 301 301 0 21831 0
vsize: 88528
[startup+380.012 s]
Raw data (loadavg): 0.99 0.71 0.47 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 14223 0 10 0 37891 67 0 0 25 0 1 0 964500716 90652672 13458 4294967295 134512640 135730672 3221224576 3221223088 134746190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22132 13458 301 301 0 21831 0
vsize: 88528
[startup+390.013 s]
Raw data (loadavg): 0.99 0.72 0.47 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 14252 0 10 0 38891 68 0 0 25 0 1 0 964500716 90849280 13487 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22180 13487 301 301 0 21879 0
vsize: 88720
[startup+400.013 s]
Raw data (loadavg): 0.99 0.73 0.48 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 14270 0 10 0 39891 68 0 0 25 0 1 0 964500716 90849280 13505 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22180 13505 301 301 0 21879 0
vsize: 88720
[startup+410.013 s]
Raw data (loadavg): 0.99 0.74 0.48 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15058 0 10 0 40890 70 0 0 25 0 1 0 964500716 93995008 13524 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22948 13524 301 301 0 22647 0
vsize: 91792
[startup+420.013 s]
Raw data (loadavg): 0.99 0.75 0.49 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15074 0 10 0 41889 70 0 0 25 0 1 0 964500716 93995008 13540 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22948 13540 301 301 0 22647 0
vsize: 91792
[startup+430.013 s]
Raw data (loadavg): 0.99 0.75 0.49 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15143 0 10 0 42889 71 0 0 25 0 1 0 964500716 94191616 13609 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22996 13609 301 301 0 22695 0
vsize: 91984
[startup+440.014 s]
Raw data (loadavg): 0.99 0.76 0.50 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15177 0 10 0 43887 72 0 0 25 0 1 0 964500716 94191616 13643 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22996 13643 301 301 0 22695 0
vsize: 91984
[startup+450.014 s]
Raw data (loadavg): 0.99 0.77 0.50 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15228 0 10 0 44887 73 0 0 25 0 1 0 964500716 94388224 13694 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23044 13694 301 301 0 22743 0
vsize: 92176
[startup+460.015 s]
Raw data (loadavg): 0.99 0.78 0.51 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15260 0 10 0 45887 73 0 0 25 0 1 0 964500716 94388224 13726 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23044 13726 301 301 0 22743 0
vsize: 92176
[startup+470.016 s]
Raw data (loadavg): 0.99 0.78 0.51 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15279 0 10 0 46887 74 0 0 25 0 1 0 964500716 94388224 13745 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23044 13745 301 301 0 22743 0
vsize: 92176
[startup+480.015 s]
Raw data (loadavg): 0.99 0.79 0.52 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15297 0 10 0 47886 74 0 0 25 0 1 0 964500716 94388224 13763 4294967295 134512640 135730672 3221224576 3221223088 134746168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23044 13763 301 301 0 22743 0
vsize: 92176
[startup+490.015 s]
Raw data (loadavg): 0.99 0.80 0.52 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15329 0 10 0 48886 74 0 0 25 0 1 0 964500716 94584832 13795 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23092 13795 301 301 0 22791 0
vsize: 92368
[startup+500.015 s]
Raw data (loadavg): 0.99 0.80 0.53 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15372 0 10 0 49886 75 0 0 25 0 1 0 964500716 94584832 13838 4294967295 134512640 135730672 3221224576 3221223088 134746512 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23092 13838 301 301 0 22791 0
vsize: 92368
[startup+510.015 s]
Raw data (loadavg): 0.99 0.81 0.53 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15400 0 10 0 50885 76 0 0 25 0 1 0 964500716 94781440 13866 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 13866 301 301 0 22839 0
vsize: 92560
[startup+520.016 s]
Raw data (loadavg): 0.99 0.81 0.54 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15422 0 10 0 51885 77 0 0 25 0 1 0 964500716 94781440 13888 4294967295 134512640 135730672 3221224576 3221223088 134746190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 13888 301 301 0 22839 0
vsize: 92560
[startup+530.015 s]
Raw data (loadavg): 0.99 0.82 0.54 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15436 0 10 0 52884 77 0 0 25 0 1 0 964500716 94781440 13902 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 13902 301 301 0 22839 0
vsize: 92560
[startup+540.016 s]
Raw data (loadavg): 0.99 0.83 0.54 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15452 0 10 0 53884 78 0 0 25 0 1 0 964500716 94781440 13918 4294967295 134512640 135730672 3221224576 3221223088 134746190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 13918 301 301 0 22839 0
vsize: 92560
[startup+550.016 s]
Raw data (loadavg): 0.99 0.83 0.55 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15489 0 10 0 54883 79 0 0 25 0 1 0 964500716 94781440 13955 4294967295 134512640 135730672 3221224576 3221222648 135285044 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 13955 301 301 0 22839 0
vsize: 92560
[startup+560.016 s]
Raw data (loadavg): 0.99 0.84 0.55 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15521 0 10 0 55883 79 0 0 25 0 1 0 964500716 94781440 13987 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 13987 301 301 0 22839 0
vsize: 92560
[startup+570.016 s]
Raw data (loadavg): 0.99 0.84 0.56 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15542 0 10 0 56882 80 0 0 25 0 1 0 964500716 94781440 14008 4294967295 134512640 135730672 3221224576 3221223088 134746175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 14008 301 301 0 22839 0
vsize: 92560
[startup+580.016 s]
Raw data (loadavg): 0.99 0.85 0.56 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15573 0 10 0 57881 81 0 0 25 0 1 0 964500716 94978048 14039 4294967295 134512640 135730672 3221224576 3221222824 134813923 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23188 14039 301 301 0 22887 0
vsize: 92752
[startup+590.017 s]
Raw data (loadavg): 0.99 0.85 0.56 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15602 0 10 0 58881 82 0 0 25 0 1 0 964500716 94978048 14068 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23188 14068 301 301 0 22887 0
vsize: 92752
[startup+600.016 s]
Raw data (loadavg): 0.99 0.85 0.57 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15631 0 10 0 59880 83 0 0 25 0 1 0 964500716 94978048 14097 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23188 14097 301 301 0 22887 0
vsize: 92752
[startup+610.016 s]
Raw data (loadavg): 0.99 0.86 0.57 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15656 0 10 0 60880 83 0 0 25 0 1 0 964500716 94978048 14122 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23188 14122 301 301 0 22887 0
vsize: 92752
[startup+620.017 s]
Raw data (loadavg): 0.99 0.86 0.58 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 15767 0 10 0 61879 84 0 0 25 0 1 0 964500716 94978048 14233 4294967295 134512640 135730672 3221224576 3221223088 134746512 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23188 14233 301 301 0 22887 0
vsize: 92752
[startup+630.017 s]
Raw data (loadavg): 0.99 0.87 0.58 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 16148 0 10 0 62877 86 0 0 25 0 1 0 964500716 94978048 14614 4294967295 134512640 135730672 3221224576 3221223224 134748261 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23188 14614 301 301 0 22887 0
vsize: 92752
[startup+640.018 s]
Raw data (loadavg): 0.99 0.87 0.58 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 16176 0 10 0 63876 87 0 0 25 0 1 0 964500716 94978048 14642 4294967295 134512640 135730672 3221224576 3221223120 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23188 14642 301 301 0 22887 0
vsize: 92752
[startup+650.017 s]
Raw data (loadavg): 0.99 0.87 0.59 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 16292 0 10 0 64875 88 0 0 25 0 1 0 964500716 95248384 14758 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23254 14758 301 301 0 22953 0
vsize: 93016
[startup+660.017 s]
Raw data (loadavg): 0.99 0.88 0.59 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 16308 0 10 0 65875 89 0 0 25 0 1 0 964500716 95248384 14774 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23254 14774 301 301 0 22953 0
vsize: 93016
[startup+670.017 s]
Raw data (loadavg): 0.99 0.88 0.60 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 16345 0 10 0 66874 90 0 0 25 0 1 0 964500716 95379456 14811 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23286 14811 301 301 0 22985 0
vsize: 93144
[startup+680.016 s]
Raw data (loadavg): 0.99 0.89 0.60 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 16386 0 10 0 67874 90 0 0 25 0 1 0 964500716 95379456 14852 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23286 14852 301 301 0 22985 0
vsize: 93144
[startup+690.017 s]
Raw data (loadavg): 0.99 0.89 0.60 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 16848 0 10 0 68872 92 0 0 25 0 1 0 964500716 95780864 15314 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 15314 301 301 0 23083 0
vsize: 93536
[startup+700.017 s]
Raw data (loadavg): 0.99 0.89 0.61 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 16926 0 10 0 69871 94 0 0 25 0 1 0 964500716 96186368 15392 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23483 15392 301 301 0 23182 0
vsize: 93932
[startup+710.017 s]
Raw data (loadavg): 0.99 0.89 0.61 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17037 0 10 0 70870 95 0 0 25 0 1 0 964500716 96321536 15503 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23516 15503 301 301 0 23215 0
vsize: 94064
[startup+720.017 s]
Raw data (loadavg): 0.99 0.90 0.62 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17100 0 10 0 71869 96 0 0 25 0 1 0 964500716 96591872 15566 4294967295 134512640 135730672 3221224576 3221223168 134763573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23582 15566 301 301 0 23281 0
vsize: 94328
[startup+730.017 s]
Raw data (loadavg): 0.99 0.90 0.62 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17219 0 10 0 72867 98 0 0 25 0 1 0 964500716 96727040 15685 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23615 15685 301 301 0 23314 0
vsize: 94460
[startup+740.018 s]
Raw data (loadavg): 0.99 0.90 0.62 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17243 0 10 0 73867 98 0 0 25 0 1 0 964500716 96727040 15709 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23615 15709 301 301 0 23314 0
vsize: 94460
[startup+750.018 s]
Raw data (loadavg): 0.99 0.91 0.63 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17277 0 10 0 74865 100 0 0 25 0 1 0 964500716 96862208 15743 4294967295 134512640 135730672 3221224576 3221223088 134746193 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23648 15743 301 301 0 23347 0
vsize: 94592
[startup+760.017 s]
Raw data (loadavg): 0.99 0.91 0.63 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17295 0 10 0 75865 101 0 0 25 0 1 0 964500716 96862208 15761 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23648 15761 301 301 0 23347 0
vsize: 94592
[startup+770.018 s]
Raw data (loadavg): 0.99 0.91 0.64 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17314 0 10 0 76864 101 0 0 25 0 1 0 964500716 96862208 15780 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23648 15780 301 301 0 23347 0
vsize: 94592
[startup+780.018 s]
Raw data (loadavg): 0.99 0.91 0.64 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17365 0 10 0 77863 102 0 0 25 0 1 0 964500716 97132544 15831 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23714 15831 301 301 0 23413 0
vsize: 94856
[startup+790.017 s]
Raw data (loadavg): 0.99 0.92 0.64 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17383 0 10 0 78863 103 0 0 25 0 1 0 964500716 97132544 15849 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23714 15849 301 301 0 23413 0
vsize: 94856
[startup+800.017 s]
Raw data (loadavg): 0.99 0.92 0.64 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17424 0 10 0 79862 104 0 0 25 0 1 0 964500716 97267712 15890 4294967295 134512640 135730672 3221224576 3221223088 134746168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23747 15890 301 301 0 23446 0
vsize: 94988
[startup+810.017 s]
Raw data (loadavg): 0.99 0.92 0.65 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17464 0 10 0 80862 104 0 0 25 0 1 0 964500716 97267712 15930 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23747 15930 301 301 0 23446 0
vsize: 94988
[startup+820.018 s]
Raw data (loadavg): 0.99 0.92 0.65 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17494 0 10 0 81861 105 0 0 25 0 1 0 964500716 97394688 15960 4294967295 134512640 135730672 3221224576 3221223184 134744775 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23778 15960 301 301 0 23477 0
vsize: 95112
[startup+830.018 s]
Raw data (loadavg): 0.99 0.92 0.65 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17542 0 10 0 82860 106 0 0 25 0 1 0 964500716 97529856 16008 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23811 16008 301 301 0 23510 0
vsize: 95244
[startup+840.018 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17577 0 10 0 83860 107 0 0 25 0 1 0 964500716 97665024 16043 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23844 16043 301 301 0 23543 0
vsize: 95376
[startup+850.018 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17608 0 10 0 84860 107 0 0 25 0 1 0 964500716 97804288 16074 4294967295 134512640 135730672 3221224576 3221223088 134746214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23878 16074 301 301 0 23577 0
vsize: 95512
[startup+860.018 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17636 0 10 0 85859 108 0 0 25 0 1 0 964500716 97804288 16102 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23878 16102 301 301 0 23577 0
vsize: 95512
[startup+870.019 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17661 0 10 0 86859 109 0 0 25 0 1 0 964500716 97804288 16127 4294967295 134512640 135730672 3221224576 3221222896 134732581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23878 16127 301 301 0 23577 0
vsize: 95512
[startup+880.018 s]
Raw data (loadavg): 0.99 0.93 0.67 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17702 0 10 0 87858 110 0 0 25 0 1 0 964500716 97939456 16168 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23911 16168 301 301 0 23610 0
vsize: 95644
[startup+890.018 s]
Raw data (loadavg): 0.99 0.94 0.67 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17725 0 10 0 88857 110 0 0 25 0 1 0 964500716 97939456 16191 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23911 16191 301 301 0 23610 0
vsize: 95644
[startup+900.018 s]
Raw data (loadavg): 0.99 0.94 0.67 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17754 0 10 0 89857 111 0 0 25 0 1 0 964500716 98074624 16220 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23944 16220 301 301 0 23643 0
vsize: 95776
[startup+910.018 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17788 0 10 0 90856 112 0 0 25 0 1 0 964500716 98074624 16254 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23944 16254 301 301 0 23643 0
vsize: 95776
[startup+920.018 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17824 0 10 0 91856 112 0 0 25 0 1 0 964500716 98209792 16290 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23977 16290 301 301 0 23676 0
vsize: 95908
[startup+930.019 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17882 0 10 0 92855 113 0 0 25 0 1 0 964500716 98480128 16348 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24043 16348 301 301 0 23742 0
vsize: 96172
[startup+940.019 s]
Raw data (loadavg): 0.99 0.94 0.69 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 17897 0 10 0 93855 114 0 0 25 0 1 0 964500716 98480128 16363 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24043 16363 301 301 0 23742 0
vsize: 96172
[startup+950.019 s]
Raw data (loadavg): 0.99 0.94 0.69 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19458 0 10 0 94851 118 0 0 25 0 1 0 964500716 104894464 16387 4294967295 134512640 135730672 3221224576 3221223120 134740314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25609 16387 301 301 0 25308 0
vsize: 102436
[startup+960.019 s]
Raw data (loadavg): 0.99 0.95 0.69 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19516 0 10 0 95849 119 0 0 25 0 1 0 964500716 105164800 16445 4294967295 134512640 135730672 3221224576 3221223088 134746221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25675 16445 301 301 0 25374 0
vsize: 102700
[startup+970.02 s]
Raw data (loadavg): 0.99 0.95 0.69 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19529 0 10 0 96849 120 0 0 25 0 1 0 964500716 105164800 16458 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25675 16458 301 301 0 25374 0
vsize: 102700
[startup+980.02 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19547 0 10 0 97849 121 0 0 25 0 1 0 964500716 105164800 16476 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25675 16476 301 301 0 25374 0
vsize: 102700
[startup+990.02 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19581 0 10 0 98848 121 0 0 25 0 1 0 964500716 105279488 16510 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25703 16510 301 301 0 25402 0
vsize: 102812
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19594 0 10 0 99848 122 0 0 25 0 1 0 964500716 105279488 16523 4294967295 134512640 135730672 3221224576 3221223088 134746195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25703 16523 301 301 0 25402 0
vsize: 102812
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.95 0.71 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19617 0 10 0 100847 123 0 0 25 0 1 0 964500716 105279488 16546 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25703 16546 301 301 0 25402 0
vsize: 102812
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.95 0.71 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19674 0 10 0 101847 123 0 0 25 0 1 0 964500716 105549824 16603 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25769 16603 301 301 0 25468 0
vsize: 103076
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.95 0.71 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19708 0 10 0 102847 124 0 0 25 0 1 0 964500716 105684992 16637 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 16637 301 301 0 25501 0
vsize: 103208
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.95 0.71 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19743 0 10 0 103846 124 0 0 25 0 1 0 964500716 105820160 16672 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25835 16672 301 301 0 25534 0
vsize: 103340
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.95 0.72 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19759 0 10 0 104845 125 0 0 25 0 1 0 964500716 105820160 16688 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25835 16688 301 301 0 25534 0
vsize: 103340
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.95 0.72 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19788 0 10 0 105845 126 0 0 25 0 1 0 964500716 105820160 16717 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25835 16717 301 301 0 25534 0
vsize: 103340
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.96 0.72 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 19997 0 10 0 106845 126 0 0 25 0 1 0 964500716 105934848 16926 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25863 16926 301 301 0 25562 0
vsize: 103452
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 20049 0 10 0 107844 127 0 0 25 0 1 0 964500716 106205184 16978 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25929 16978 301 301 0 25628 0
vsize: 103716
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 20065 0 10 0 108844 128 0 0 25 0 1 0 964500716 106205184 16994 4294967295 134512640 135730672 3221224576 3221223120 134740282 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25929 16994 301 301 0 25628 0
vsize: 103716
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 20144 0 10 0 109843 129 0 0 25 0 1 0 964500716 106475520 17073 4294967295 134512640 135730672 3221224576 3221223088 134746168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25995 17073 301 301 0 25694 0
vsize: 103980
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 20258 0 10 0 110842 130 0 0 25 0 1 0 964500716 107151360 17187 4294967295 134512640 135730672 3221224576 3221223088 134746512 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26160 17187 301 301 0 25859 0
vsize: 104640
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 20459 0 10 0 111841 131 0 0 25 0 1 0 964500716 107421696 17388 4294967295 134512640 135730672 3221224576 3221223088 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26226 17388 301 301 0 25925 0
vsize: 104904
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 20531 0 10 0 112840 132 0 0 25 0 1 0 964500716 107827200 17460 4294967295 134512640 135730672 3221224576 3221223168 134763996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26325 17460 301 301 0 26024 0
vsize: 105300
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 20606 0 10 0 113839 133 0 0 25 0 1 0 964500716 108232704 17535 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26424 17535 301 301 0 26123 0
vsize: 105696
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 20779 0 10 0 114839 133 0 0 25 0 1 0 964500716 108773376 17708 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26556 17708 301 301 0 26255 0
vsize: 106224
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 20843 0 10 0 115839 134 0 0 25 0 1 0 964500716 109043712 17772 4294967295 134512640 135730672 3221224576 3221222756 135281249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26622 17772 301 301 0 26321 0
vsize: 106488
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 20984 0 10 0 116838 135 0 0 25 0 1 0 964500716 109043712 17913 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26622 17913 301 301 0 26321 0
vsize: 106488
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 21062 0 10 0 117838 135 0 0 25 0 1 0 964500716 109449216 17991 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26721 17991 301 301 0 26420 0
vsize: 106884
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 21115 0 10 0 118837 136 0 0 25 0 1 0 964500716 109584384 18044 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26754 18044 301 301 0 26453 0
vsize: 107016
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 21134 0 10 0 119836 137 0 0 25 0 1 0 964500716 109584384 18063 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26754 18063 301 301 0 26453 0
vsize: 107016
[startup+1210.02 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 1323
Raw data (stat): 1321 (pb2sat-v2) R 1320 7266 7265 0 -1 0 21166 0 10 0 120836 138 0 0 25 0 1 0 964500716 109719552 18095 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26787 18095 301 301 0 26486 0
vsize: 107148
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.22 s]
Raw data (loadavg): 0.99 0.97 0.75 1/54 1323
Raw data (stat): 1321 (pb2sat-v2) Z 1320 7266 7265 0 -1 12 21168 0 10 0 120852 141 0 0 25 0 1 0 964500716 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.22
CPU time (s): 1209.94
CPU user time (s): 1208.52
CPU system time (s): 1.41878
CPU usage (%): 99.9768
Max. virtual memory (Kb): 107148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####