PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
MD5SUM	afcc4289aafaea265ed2d465965a3342
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.036993
Number of variables	1200
Total number of constraints	100
Number of constraints which are clauses	60
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	30
Trace number 41892

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-15 19:23:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25108 boxname=wulflinc6 idbench=10 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  afcc4289aafaea265ed2d465965a3342  /oldhome/oroussel/tmp/wulflinc6/normalized-chnl20_30_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl20_30_pb.cnf.cr.opb
IDLAUNCH: 25108
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        769108 kB
Buffers:         33488 kB
Cached:         209808 kB
SwapCached:       1028 kB
Active:          63748 kB
Inactive:       181764 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        768856 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            14440 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:43:53 (client local time) WITH STATUS 0 IN 1200.6 SECONDS
stats: 25108 7 1200.6 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 1160/3520	Time: 25.7791/86400
c Decision: 1160/3520	Time: 26.7969/86400
c Decision: 1160/3520	Time: 27.7578/86400
c Decision: 1160/3520	Time: 28.9606/86400
c Decision: 1160/3520	Time: 30.3224/86400
c Decision: 1160/3520	Time: 31.8962/86400
c Decision: 1160/3520	Time: 33.4399/86400
c Decision: 1160/3520	Time: 34.9247/86400
c Decision: 1160/3520	Time: 36.4405/86400
c Decision: 1160/3520	Time: 37.9042/86400
c Decision: 1160/3520	Time: 39.489/86400
c Decision: 1160/3520	Time: 41.1697/86400
c Decision: 1160/3520	Time: 42.7805/86400
c Decision: 1160/3520	Time: 44.3883/86400
c Decision: 1160/3520	Time: 45.891/86400
c Decision: 1160/3520	Time: 47.8067/86400
c Decision: 1160/3520	Time: 49.4365/86400
c Decision: 1160/3520	Time: 51.1492/86400
c Decision: 1160/3520	Time: 52.752/86400
c Decision: 1160/3520	Time: 54.4727/86400
c Decision: 1160/3520	Time: 56.4084/86400
c Decision: 1160/3520	Time: 58.2092/86400
c Decision: 1160/3520	Time: 59.9269/86400
c Decision: 1160/3520	Time: 61.7206/86400
c Decision: 1160/3520	Time: 63.6593/86400
c Decision: 1160/3520	Time: 65.892/86400
c Decision: 1160/3520	Time: 67.6967/86400
c Decision: 1160/3520	Time: 69.4174/86400
c Decision: 1160/3520	Time: 71.2462/86400
c Decision: 1160/3520	Time: 73.0429/86400
c Decision: 1160/3520	Time: 75.1486/86400
c Decision: 1160/3520	Time: 77.0433/86400
c Decision: 1160/3520	Time: 79.005/86400
c Decision: 1160/3520	Time: 80.8257/86400
c Decision: 1160/3520	Time: 82.8134/86400
c Decision: 1160/3520	Time: 84.9771/86400
c Decision: 1160/3520	Time: 86.8958/86400
c Decision: 1160/3520	Time: 88.9495/86400
c Decision: 1160/3520	Time: 91.0042/86400
c Decision: 1160/3520	Time: 93.1518/86400
c Decision: 1160/3520	Time: 95.5515/86400
c Decision: 1160/3520	Time: 97.6382/86400
c Decision: 1160/3520	Time: 99.5919/86400
c Decision: 1160/3520	Time: 101.658/86400
c Decision: 1160/3520	Time: 103.766/86400
c Decision: 1160/3520	Time: 106.45/86400
c Decision: 1160/3520	Time: 108.559/86400
c Decision: 1160/3520	Time: 110.739/86400
c Decision: 1160/3520	Time: 112.971/86400
c Decision: 1160/3520	Time: 115.094/86400
c Decision: 1160/3520	Time: 117.707/86400
c Decision: 1160/3520	Time: 119.782/86400
c Decision: 1160/3520	Time: 122.087/86400
c Decision: 1160/3520	Time: 124.257/86400
c Decision: 1160/3520	Time: 126.555/86400
c Decision: 1160/3520	Time: 129.293/86400
c Decision: 1160/3520	Time: 131.45/86400
c Decision: 1160/3520	Time: 133.686/86400
c Decision: 1160/3520	Time: 135.891/86400
c Decision: 1160/3520	Time: 138.308/86400
c Decision: 1160/3520	Time: 141.108/86400
c Decision: 1160/3520	Time: 143.317/86400
c Decision: 1160/3520	Time: 145.631/86400
c Decision: 1160/3520	Time: 147.888/86400
c Decision: 1160/3520	Time: 150.242/86400
c Decision: 1160/3520	Time: 152.978/86400
c Decision: 1160/3520	Time: 155.492/86400
c Decision: 1160/3520	Time: 157.739/86400
c Decision: 1160/3520	Time: 160.189/86400
c Decision: 1160/3520	Time: 162.385/86400
c Decision: 1160/3520	Time: 165.329/86400
c Decision: 1160/3520	Time: 167.686/86400
c Decision: 1160/3520	Time: 169.966/86400
c Decision: 1160/3520	Time: 172.262/86400
c Decision: 1160/3520	Time: 174.456/86400
c Decision: 1160/3520	Time: 177.233/86400
c Decision: 1160/3520	Time: 179.541/86400
c Decision: 1160/3520	Time: 181.922/86400
c Decision: 1160/3520	Time: 184.123/86400
c Decision: 1160/3520	Time: 186.494/86400
c Decision: 1160/3520	Time: 189.193/86400
c Decision: 1160/3520	Time: 191.542/86400
c Decision: 1160/3520	Time: 193.791/86400
c Decision: 1160/3520	Time: 196.228/86400
c Decision: 1160/3520	Time: 198.617/86400
c Decision: 1160/3520	Time: 201.575/86400
c Decision: 1160/3520	Time: 203.86/86400
c Decision: 1160/3520	Time: 206.347/86400
c Decision: 1160/3520	Time: 208.86/86400
c Decision: 1160/3520	Time: 211.326/86400
c Decision: 1160/3520	Time: 214.104/86400
c Decision: 1160/3520	Time: 216.54/86400
c Decision: 1160/3520	Time: 218.886/86400
c Decision: 1160/3520	Time: 221.251/86400
c Decision: 1160/3520	Time: 223.543/86400
c Decision: 1160/3520	Time: 226.595/86400
c Decision: 1160/3520	Time: 229.032/86400
c Decision: 1160/3520	Time: 231.416/86400
c Decision: 1160/3520	Time: 233.965/86400
c Decision: 1160/3520	Time: 236.488/86400
c Decision: 1160/3520	Time: 239.431/86400
c Decision: 1160/3520	Time: 241.923/86400
c Decision: 1160/3520	Time: 244.44/86400
c Decision: 1160/3520	Time: 246.964/86400
c Decision: 1160/3520	Time: 249.475/86400
c Decision: 1160/3520	Time: 252.36/86400
c Decision: 1160/3520	Time: 254.809/86400
c Decision: 1160/3520	Time: 257.453/86400
c Decision: 1160/3520	Time: 259.759/86400
c Decision: 1160/3520	Time: 262.3/86400
c Decision: 1160/3520	Time: 265.578/86400
c Decision: 1160/3520	Time: 268.049/86400
c Decision: 1160/3520	Time: 270.626/86400
c Decision: 1160/3520	Time: 273.234/86400
c Decision: 1160/3520	Time: 275.874/86400
c Decision: 1160/3520	Time: 278.943/86400
c Decision: 1160/3520	Time: 281.583/86400
c Decision: 1160/3520	Time: 284.45/86400
c Decision: 1160/3520	Time: 287.037/86400
c Decision: 1160/3520	Time: 289.892/86400
c Decision: 1160/3520	Time: 293.196/86400
c Decision: 1160/3520	Time: 295.977/86400
c Decision: 1160/3520	Time: 298.634/86400
c Decision: 1160/3520	Time: 301.318/86400
c Decision: 1160/3520	Time: 303.865/86400
c Decision: 1160/3520	Time: 307.271/86400
c Decision: 1160/3520	Time: 310.165/86400
c Decision: 1160/3520	Time: 312.796/86400
c Decision: 1160/3520	Time: 315.58/86400
c Decision: 1160/3520	Time: 318.3/86400
c Decision: 1160/3520	Time: 321.678/86400
c Decision: 1160/3520	Time: 324.383/86400
c Decision: 1160/3520	Time: 327.089/86400
c Decision: 1160/3520	Time: 329.719/86400
c Decision: 1160/3520	Time: 332.622/86400
c Decision: 1160/3520	Time: 335.949/86400
c Decision: 1160/3520	Time: 338.64/86400
c Decision: 1160/3520	Time: 341.436/86400
c Decision: 1160/3520	Time: 344.452/86400
c Decision: 1160/3520	Time: 347.37/86400
c Decision: 1160/3520	Time: 350.893/86400
c Decision: 1160/3520	Time: 353.558/86400
c Decision: 1160/3520	Time: 356.406/86400
c Decision: 1160/3520	Time: 359.298/86400
c Decision: 1160/3520	Time: 362.095/86400
c Decision: 1160/3520	Time: 365.576/86400
c Decision: 1160/3520	Time: 368.424/86400
c Decision: 1160/3520	Time: 371.29/86400
c Decision: 1160/3520	Time: 374.092/86400
c Decision: 1160/3520	Time: 376.73/86400
c Decision: 1160/3520	Time: 380.087/86400
c Decision: 1160/3520	Time: 382.816/86400
c Decision: 1160/3520	Time: 385.728/86400
c Decision: 1160/3520	Time: 388.328/86400
c Decision: 1160/3520	Time: 391.099/86400
c Decision: 1160/3520	Time: 394.461/86400
c Decision: 1160/3520	Time: 397.252/86400
c Decision: 1160/3520	Time: 400.084/86400
c Decision: 1160/3520	Time: 402.901/86400
c Decision: 1160/3520	Time: 405.72/86400
c Decision: 1160/3520	Time: 409.282/86400
c Decision: 1160/3520	Time: 412.089/86400
c Decision: 1160/3520	Time: 414.815/86400
c Decision: 1160/3520	Time: 417.641/86400
c Decision: 1160/3520	Time: 420.397/86400
c Decision: 1160/3520	Time: 423.957/86400
c Decision: 1160/3520	Time: 426.816/86400
c Decision: 1160/3520	Time: 429.801/86400
c Decision: 1160/3520	Time: 432.736/86400
c Decision: 1160/3520	Time: 435.485/86400
c Decision: 1160/3520	Time: 439.004/86400
c Decision: 1160/3520	Time: 441.845/86400
c Decision: 1160/3520	Time: 444.718/86400
c Decision: 1160/3520	Time: 447.557/86400
c Decision: 1160/3520	Time: 450.567/86400
c Decision: 1160/3520	Time: 454.05/86400
c Decision: 1160/3520	Time: 456.921/86400
c Decision: 1160/3520	Time: 459.774/86400
c Decision: 1160/3520	Time: 462.92/86400
c Decision: 1160/3520	Time: 465.982/86400
c Decision: 1160/3520	Time: 469.663/86400
c Decision: 1160/3520	Time: 472.673/86400
c Decision: 1160/3520	Time: 475.633/86400
c Decision: 1160/3520	Time: 478.698/86400
c Decision: 1160/3520	Time: 481.854/86400
c Decision: 1160/3520	Time: 485.627/86400
c Decision: 1160/3520	Time: 488.759/86400
c Decision: 1160/3520	Time: 491.865/86400
c Decision: 1160/3520	Time: 495.168/86400
c Decision: 1160/3520	Time: 498.389/86400
c Decision: 1160/3520	Time: 502.378/86400
c Decision: 1160/3520	Time: 505.449/86400
c Decision: 1160/3520	Time: 508.527/86400
c Decision: 1160/3520	Time: 511.74/86400
c Decision: 1160/3520	Time: 514.91/86400
c Decision: 1160/3520	Time: 518.874/86400
c Decision: 1160/3520	Time: 521.835/86400
c Decision: 1160/3520	Time: 525.092/86400
c Decision: 1160/3520	Time: 528.267/86400
c Decision: 1160/3520	Time: 531.458/86400
c Decision: 1160/3520	Time: 535.336/86400
c Decision: 1160/3520	Time: 538.6/86400
c Decision: 1160/3520	Time: 541.937/86400
c Decision: 1160/3520	Time: 545.627/86400
c Decision: 1160/3520	Time: 548.835/86400
c Decision: 1160/3520	Time: 552.902/86400
c Decision: 1160/3520	Time: 556.042/86400
c Decision: 1160/3520	Time: 559.48/86400
c Decision: 1160/3520	Time: 562.647/86400
c Decision: 1160/3520	Time: 565.944/86400
c Decision: 1160/3520	Time: 570.187/86400
c Decision: 1160/3520	Time: 573.495/86400
c Decision: 1160/3520	Time: 576.808/86400
c Decision: 1160/3520	Time: 580.105/86400
c Decision: 1160/3520	Time: 583.408/86400
c Decision: 1160/3520	Time: 588.09/86400
c Decision: 1160/3520	Time: 591.439/86400
c Decision: 1160/3520	Time: 594.729/86400
c Decision: 1160/3520	Time: 597.94/86400
c Decision: 1160/3520	Time: 601.317/86400
c Decision: 1160/3520	Time: 605.326/86400
c Decision: 1160/3520	Time: 608.561/86400
c Decision: 1160/3520	Time: 611.72/86400
c Decision: 1160/3520	Time: 614.948/86400
c Decision: 1160/3520	Time: 618.175/86400
c Decision: 1160/3520	Time: 622.033/86400
c Decision: 1160/3520	Time: 625.315/86400
c Decision: 1160/3520	Time: 628.396/86400
c Decision: 1160/3520	Time: 631.743/86400
c Decision: 1160/3520	Time: 634.975/86400
c Decision: 1160/3520	Time: 639.2/86400
c Decision: 1160/3520	Time: 642.392/86400
c Decision: 1160/3520	Time: 645.615/86400
c Decision: 1160/3520	Time: 649.059/86400
c Decision: 1160/3520	Time: 652.408/86400
c Decision: 1160/3520	Time: 656.604/86400
c Decision: 1160/3520	Time: 659.786/86400
c Decision: 1160/3520	Time: 663.058/86400
c Decision: 1160/3520	Time: 666.287/86400
c Decision: 1160/3520	Time: 669.561/86400
c Decision: 1160/3520	Time: 673.785/86400
c Decision: 1160/3520	Time: 677.021/86400
c Decision: 1160/3520	Time: 680.401/86400
c Decision: 1160/3520	Time: 683.584/86400
c Decision: 1160/3520	Time: 686.918/86400
c Decision: 1160/3520	Time: 691.258/86400
c Decision: 1160/3520	Time: 694.574/86400
c Decision: 1160/3520	Time: 697.73/86400
c Decision: 1160/3520	Time: 700.991/86400
c Decision: 1160/3520	Time: 704.341/86400
c Decision: 1160/3520	Time: 708.812/86400
c Decision: 1160/3520	Time: 712.004/86400
c Decision: 1160/3520	Time: 715.463/86400
c Decision: 1160/3520	Time: 718.703/86400
c Decision: 1160/3520	Time: 722.126/86400
c Decision: 1160/3520	Time: 726.315/86400
c Decision: 1160/3520	Time: 729.418/86400
c Decision: 1160/3520	Time: 732.881/86400
c Decision: 1160/3520	Time: 736.127/86400
c Decision: 1160/3520	Time: 739.494/86400
c Decision: 1160/3520	Time: 743.639/86400
c Decision: 1160/3520	Time: 746.988/86400
c Decision: 1160/3520	Time: 750.312/86400
c Decision: 1160/3520	Time: 753.559/86400
c Decision: 1160/3520	Time: 756.862/86400
c Decision: 1160/3520	Time: 760.963/86400
c Decision: 1160/3520	Time: 764.176/86400
c Decision: 1160/3520	Time: 767.525/86400
c Decision: 1160/3520	Time: 770.595/86400
c Decision: 1160/3520	Time: 773.769/86400
c Decision: 1160/3520	Time: 777.809/86400
c Decision: 1160/3520	Time: 781.205/86400
c Decision: 1160/3520	Time: 784.29/86400
c Decision: 1160/3520	Time: 787.614/86400
c Decision: 1160/3520	Time: 791.107/86400
c Decision: 1160/3520	Time: 795.259/86400
c Decision: 1160/3520	Time: 798.664/86400
c Decision: 1160/3520	Time: 801.947/86400
c Decision: 1160/3520	Time: 805.348/86400
c Decision: 1160/3520	Time: 808.952/86400
c Decision: 1160/3520	Time: 813.171/86400
c Decision: 1160/3520	Time: 816.454/86400
c Decision: 1160/3520	Time: 819.896/86400
c Decision: 1160/3520	Time: 823.186/86400
c Decision: 1160/3520	Time: 826.602/86400
c Decision: 1160/3520	Time: 830.942/86400
c Decision: 1160/3520	Time: 834.218/86400
c Decision: 1160/3520	Time: 837.508/86400
c Decision: 1160/3520	Time: 840.91/86400
c Decision: 1160/3520	Time: 844.253/86400
c Decision: 1160/3520	Time: 848.282/86400
c Decision: 1160/3520	Time: 851.668/86400
c Decision: 1160/3520	Time: 854.887/86400
c Decision: 1160/3520	Time: 858.031/86400
c Decision: 1160/3520	Time: 861.31/86400
c Decision: 1160/3520	Time: 865.29/86400
c Decision: 1160/3520	Time: 868.456/86400
c Decision: 1160/3520	Time: 871.704/86400
c Decision: 1160/3520	Time: 874.897/86400
c Decision: 1160/3520	Time: 878.175/86400
c Decision: 1160/3520	Time: 882.478/86400
c Decision: 1160/3520	Time: 885.804/86400
c Decision: 1160/3520	Time: 889.042/86400
c Decision: 1160/3520	Time: 892.413/86400
c Decision: 1160/3520	Time: 895.82/86400
c Decision: 1160/3520	Time: 900.096/86400
c Decision: 1160/3520	Time: 903.67/86400
c Decision: 1160/3520	Time: 907.195/86400
c Decision: 1160/3520	Time: 910.81/86400
c Decision: 1160/3520	Time: 914.233/86400
c Decision: 1160/3520	Time: 918.76/86400
c Decision: 1160/3520	Time: 922.133/86400
c Decision: 1160/3520	Time: 925.624/86400
c Decision: 1160/3520	Time: 929.013/86400
c Decision: 1160/3520	Time: 932.43/86400
c Decision: 1160/3520	Time: 936.715/86400
c Decision: 1160/3520	Time: 940.216/86400
c Decision: 1160/3520	Time: 943.74/86400
c Decision: 1160/3520	Time: 947.207/86400
c Decision: 1160/3520	Time: 950.668/86400
c Decision: 1160/3520	Time: 955.089/86400
c Decision: 1160/3520	Time: 958.444/86400
c Decision: 1160/3520	Time: 961.837/86400
c Decision: 1160/3520	Time: 965.231/86400
c Decision: 1160/3520	Time: 968.805/86400
c Decision: 1160/3520	Time: 973.245/86400
c Decision: 1160/3520	Time: 976.773/86400
c Decision: 1160/3520	Time: 980.342/86400
c Decision: 1160/3520	Time: 983.828/86400
c Decision: 1160/3520	Time: 987.536/86400
c Decision: 1160/3520	Time: 991.96/86400
c Decision: 1160/3520	Time: 995.541/86400
c Decision: 1160/3520	Time: 999.303/86400
c Decision: 1160/3520	Time: 1002.71/86400
c Decision: 1160/3520	Time: 1006.52/86400
c Decision: 1160/3520	Time: 1011.16/86400
c Decision: 1160/3520	Time: 1014.83/86400
c Decision: 1160/3520	Time: 1018.38/86400
c Decision: 1160/3520	Time: 1022.24/86400
c Decision: 1160/3520	Time: 1025.9/86400
c Decision: 1160/3520	Time: 1030.58/86400
c Decision: 1160/3520	Time: 1034.26/86400
c Decision: 1160/3520	Time: 1037.81/86400
c Decision: 1160/3520	Time: 1041.47/86400
c Decision: 1160/3520	Time: 1045.21/86400
c Decision: 1160/3520	Time: 1050.19/86400
c Decision: 1160/3520	Time: 1054/86400
c Decision: 1160/3520	Time: 1057.71/86400
c Decision: 1160/3520	Time: 1061.38/86400
c Decision: 1160/3520	Time: 1065.2/86400
c Decision: 1160/3520	Time: 1070.03/86400
c Decision: 1160/3520	Time: 1073.83/86400
c Decision: 1160/3520	Time: 1078.1/86400
c Decision: 1160/3520	Time: 1081.81/86400
c Decision: 1160/3520	Time: 1085.67/86400
c Decision: 1160/3520	Time: 1090.78/86400
c Decision: 1160/3520	Time: 1094.6/86400
c Decision: 1160/3520	Time: 1098.55/86400
c Decision: 1160/3520	Time: 1102.46/86400
c Decision: 1160/3520	Time: 1106.47/86400
c Decision: 1160/3520	Time: 1111.63/86400
c Decision: 1160/3520	Time: 1115.78/86400
c Decision: 1160/3520	Time: 1119.73/86400
c Decision: 1160/3520	Time: 1123.63/86400
c Decision: 1160/3520	Time: 1127.65/86400
c Decision: 1160/3520	Time: 1132.79/86400
c Decision: 1160/3520	Time: 1136.83/86400
c Decision: 1160/3520	Time: 1140.88/86400
c Decision: 1160/3520	Time: 1145.21/86400
c Decision: 1160/3520	Time: 1149.25/86400
c Decision: 1160/3520	Time: 1154.3/86400
c Decision: 1160/3520	Time: 1158.14/86400
c Decision: 1160/3520	Time: 1161.99/86400
c Decision: 1160/3520	Time: 1166.04/86400
c Decision: 1160/3520	Time: 1169.89/86400
c Decision: 1160/3520	Time: 1175.07/86400
c Decision: 1160/3520	Time: 1178.95/86400
c Decision: 1160/3520	Time: 1182.89/86400
c Decision: 1160/3520	Time: 1186.91/86400
c Decision: 1160/3520	Time: 1191.19/86400
c Decision: 1160/3520	Time: 1196.14/86400
c Decision: 1160/3520	Time: 1200.07/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.82 2/54 9098
Raw data (stat): 9098 (runsolver) R 9097 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964615275 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.94 0.82 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 1333 0 0 0 996 3 0 0 25 0 1 0 964615275 7139328 1233 4294967295 134512640 135730672 3221224576 3221223264 134748568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1743 1233 301 301 0 1442 0
vsize: 6972
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.82 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 1875 0 0 0 1995 4 0 0 25 0 1 0 964615275 11616256 1775 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2836 1775 301 301 0 2535 0
vsize: 11344
[startup+30.0021 s]
Raw data (loadavg): 0.90 0.94 0.82 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 2878 0 0 0 2992 7 0 0 25 0 1 0 964615275 12836864 2681 4294967295 134512640 135730672 3221224576 3221223056 134732879 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3134 2681 301 301 0 2833 0
vsize: 12536
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.94 0.82 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 3805 0 0 0 3987 11 0 0 25 0 1 0 964615275 22179840 3608 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5415 3608 301 301 0 5114 0
vsize: 21660
[startup+50.003 s]
Raw data (loadavg): 0.93 0.94 0.82 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 4513 0 0 0 4985 14 0 0 25 0 1 0 964615275 23384064 4316 4294967295 134512640 135730672 3221224576 3221222824 135284504 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5709 4316 301 301 0 5408 0
vsize: 22836
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.95 0.82 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 5247 0 0 0 5982 17 0 0 25 0 1 0 964615275 24449024 5050 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5969 5050 301 301 0 5668 0
vsize: 23876
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.95 0.82 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 6124 0 0 0 6980 20 0 0 25 0 1 0 964615275 26161152 5734 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6387 5734 301 301 0 6086 0
vsize: 25548
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.95 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 6556 0 0 0 7978 22 0 0 25 0 1 0 964615275 43626496 6166 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10651 6166 301 301 0 10350 0
vsize: 42604
[startup+90.0054 s]
Raw data (loadavg): 0.96 0.95 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 7106 0 0 0 8976 25 0 0 25 0 1 0 964615275 44331008 6716 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10823 6716 301 301 0 10522 0
vsize: 43292
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 7700 0 0 0 9974 27 0 0 25 0 1 0 964615275 45019136 7310 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10991 7310 301 301 0 10690 0
vsize: 43964
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 8289 0 0 0 10971 30 0 0 25 0 1 0 964615275 45461504 7899 4294967295 134512640 135730672 3221224576 3221222896 134732879 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11099 7899 301 301 0 10798 0
vsize: 44396
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 8953 0 0 0 11969 32 0 0 25 0 1 0 964615275 46395392 8563 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11327 8563 301 301 0 11026 0
vsize: 45308
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 9269 0 0 0 12968 34 0 0 25 0 1 0 964615275 47017984 8879 4294967295 134512640 135730672 3221224576 3221222800 134813873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11479 8879 301 301 0 11178 0
vsize: 45916
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 9804 0 0 0 13966 36 0 0 25 0 1 0 964615275 47775744 9414 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11664 9414 301 301 0 11363 0
vsize: 46656
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 10237 0 0 0 14965 38 0 0 25 0 1 0 964615275 48693248 9847 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11888 9847 301 301 0 11587 0
vsize: 47552
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 10506 0 0 0 15964 38 0 0 25 0 1 0 964615275 49152000 10116 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12000 10116 301 301 0 11699 0
vsize: 48000
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 11096 0 0 0 16963 41 0 0 25 0 1 0 964615275 51478528 10321 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12568 10321 301 301 0 12267 0
vsize: 50272
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.83 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 11189 0 0 0 17962 42 0 0 25 0 1 0 964615275 51806208 10414 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12648 10414 301 301 0 12347 0
vsize: 50592
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 11278 0 0 0 18962 42 0 0 25 0 1 0 964615275 52101120 10503 4294967295 134512640 135730672 3221224576 3221222788 134813626 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12720 10503 301 301 0 12419 0
vsize: 50880
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 11360 0 0 0 19960 44 0 0 25 0 1 0 964615275 52396032 10585 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12792 10585 301 301 0 12491 0
vsize: 51168
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 11433 0 0 0 20960 45 0 0 25 0 1 0 964615275 52690944 10658 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12864 10658 301 301 0 12563 0
vsize: 51456
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 11551 0 0 0 21959 46 0 0 25 0 1 0 964615275 53018624 10776 4294967295 134512640 135730672 3221224576 3221223120 134740425 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12944 10776 301 301 0 12643 0
vsize: 51776
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 11713 0 0 0 22959 47 0 0 25 0 1 0 964615275 53346304 10938 4294967295 134512640 135730672 3221224576 3221222896 134732792 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13024 10938 301 301 0 12723 0
vsize: 52096
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 12112 0 0 0 23957 49 0 0 25 0 1 0 964615275 53673984 11337 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13104 11337 301 301 0 12803 0
vsize: 52416
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 12372 0 0 0 24955 51 0 0 25 0 1 0 964615275 54001664 11597 4294967295 134512640 135730672 3221224576 3221222800 134813931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13184 11597 301 301 0 12883 0
vsize: 52736
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 12574 0 0 0 25955 52 0 0 25 0 1 0 964615275 54329344 11799 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13264 11799 301 301 0 12963 0
vsize: 53056
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 12890 0 0 0 26954 53 0 0 25 0 1 0 964615275 54657024 12115 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13344 12115 301 301 0 13043 0
vsize: 53376
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 13049 0 0 0 27953 54 0 0 25 0 1 0 964615275 54984704 12274 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13424 12274 301 301 0 13123 0
vsize: 53696
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 13414 0 0 0 28953 55 0 0 25 0 1 0 964615275 55148544 12639 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13464 12639 301 301 0 13163 0
vsize: 53856
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 13775 0 0 0 29951 57 0 0 25 0 1 0 964615275 89030656 13000 4294967295 134512640 135730672 3221224576 3221223120 134740284 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21736 13000 301 301 0 21435 0
vsize: 86944
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 14210 0 0 0 30950 59 0 0 25 0 1 0 964615275 89325568 13435 4294967295 134512640 135730672 3221224576 3221223088 134746190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21808 13435 301 301 0 21507 0
vsize: 87232
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 14366 0 0 0 31949 60 0 0 25 0 1 0 964615275 89489408 13591 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21848 13591 301 301 0 21547 0
vsize: 87392
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 14449 0 0 0 32948 61 0 0 25 0 1 0 964615275 89653248 13674 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21888 13674 301 301 0 21587 0
vsize: 87552
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 14662 0 0 0 33948 62 0 0 25 0 1 0 964615275 90013696 13887 4294967295 134512640 135730672 3221224576 3221223184 134744737 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21976 13887 301 301 0 21675 0
vsize: 87904
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 14855 0 0 0 34948 62 0 0 25 0 1 0 964615275 90210304 14080 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22024 14080 301 301 0 21723 0
vsize: 88096
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 14922 0 0 0 35946 64 0 0 25 0 1 0 964615275 90603520 14147 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22120 14147 301 301 0 21819 0
vsize: 88480
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 15173 0 0 0 36946 65 0 0 25 0 1 0 964615275 90800128 14398 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22168 14398 301 301 0 21867 0
vsize: 88672
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 15280 0 0 0 37945 66 0 0 25 0 1 0 964615275 90996736 14505 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22216 14505 301 301 0 21915 0
vsize: 88864
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 15351 0 0 0 38945 66 0 0 25 0 1 0 964615275 91193344 14576 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22264 14576 301 301 0 21963 0
vsize: 89056
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 15446 0 0 0 39944 68 0 0 25 0 1 0 964615275 91389952 14671 4294967295 134512640 135730672 3221224576 3221223088 134746175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22312 14671 301 301 0 22011 0
vsize: 89248
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 15489 0 0 0 40944 68 0 0 25 0 1 0 964615275 91586560 14714 4294967295 134512640 135730672 3221224576 3221223120 134740276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22360 14714 301 301 0 22059 0
vsize: 89440
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 15564 0 0 0 41944 69 0 0 25 0 1 0 964615275 91783168 14789 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22408 14789 301 301 0 22107 0
vsize: 89632
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 16442 0 0 0 42941 71 0 0 25 0 1 0 964615275 95125504 14898 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23224 14898 301 301 0 22923 0
vsize: 92896
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 16978 0 0 0 43939 74 0 0 25 0 1 0 964615275 95911936 15434 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23416 15434 301 301 0 23115 0
vsize: 93664
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 17061 0 0 0 44938 75 0 0 25 0 1 0 964615275 96108544 15517 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23464 15517 301 301 0 23163 0
vsize: 93856
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 17221 0 0 0 45938 76 0 0 25 0 1 0 964615275 96698368 15677 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23608 15677 301 301 0 23307 0
vsize: 94432
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 17518 0 0 0 46937 77 0 0 25 0 1 0 964615275 96894976 15974 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23656 15974 301 301 0 23355 0
vsize: 94624
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 17918 0 0 0 47937 78 0 0 25 0 1 0 964615275 97288192 16374 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23752 16374 301 301 0 23451 0
vsize: 95008
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 18228 0 0 0 48935 80 0 0 25 0 1 0 964615275 97484800 16684 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23800 16684 301 301 0 23499 0
vsize: 95200
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 18749 0 0 0 49934 81 0 0 25 0 1 0 964615275 98271232 17205 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23992 17205 301 301 0 23691 0
vsize: 95968
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 19037 0 0 0 50934 82 0 0 25 0 1 0 964615275 99057664 17493 4294967295 134512640 135730672 3221224576 3221223168 134763776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24184 17493 301 301 0 23883 0
vsize: 96736
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 19501 0 0 0 51932 84 0 0 25 0 1 0 964615275 99647488 17957 4294967295 134512640 135730672 3221224576 3221223056 134732581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24328 17957 301 301 0 24027 0
vsize: 97312
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 19630 0 0 0 52932 84 0 0 25 0 1 0 964615275 100237312 18086 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24472 18086 301 301 0 24171 0
vsize: 97888
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 19728 0 0 0 53932 85 0 0 25 0 1 0 964615275 100630528 18184 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24568 18184 301 301 0 24267 0
vsize: 98272
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 19887 0 0 0 54931 87 0 0 25 0 1 0 964615275 101416960 18343 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24760 18343 301 301 0 24459 0
vsize: 99040
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 19997 0 0 0 55930 87 0 0 25 0 1 0 964615275 101810176 18453 4294967295 134512640 135730672 3221224576 3221222800 134813931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24856 18453 301 301 0 24555 0
vsize: 99424
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 20392 0 0 0 56930 88 0 0 25 0 1 0 964615275 102203392 18848 4294967295 134512640 135730672 3221224576 3221223200 134783280 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24952 18848 301 301 0 24651 0
vsize: 99808
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 20782 0 0 0 57929 90 0 0 25 0 1 0 964615275 102793216 19238 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25096 19238 301 301 0 24795 0
vsize: 100384
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21254 0 0 0 58928 91 0 0 25 0 1 0 964615275 103579648 19710 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25288 19710 301 301 0 24987 0
vsize: 101152
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21353 0 0 0 59927 92 0 0 25 0 1 0 964615275 103972864 19809 4294967295 134512640 135730672 3221224576 3221222896 134732728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25384 19809 301 301 0 25083 0
vsize: 101536
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21417 0 0 0 60927 92 0 0 25 0 1 0 964615275 104366080 19873 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25480 19873 301 301 0 25179 0
vsize: 101920
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21464 0 0 0 61927 93 0 0 25 0 1 0 964615275 104366080 19920 4294967295 134512640 135730672 3221224576 3221222816 135282768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25480 19920 301 301 0 25179 0
vsize: 101920
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21499 0 0 0 62927 93 0 0 25 0 1 0 964615275 104562688 19955 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25528 19955 301 301 0 25227 0
vsize: 102112
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21561 0 0 0 63927 94 0 0 25 0 1 0 964615275 104759296 20017 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25576 20017 301 301 0 25275 0
vsize: 102304
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21616 0 0 0 64927 94 0 0 25 0 1 0 964615275 104955904 20072 4294967295 134512640 135730672 3221224576 3221222756 135281181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25624 20072 301 301 0 25323 0
vsize: 102496
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21703 0 0 0 65926 95 0 0 25 0 1 0 964615275 105349120 20159 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25720 20159 301 301 0 25419 0
vsize: 102880
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21768 0 0 0 66926 96 0 0 25 0 1 0 964615275 105742336 20224 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25816 20224 301 301 0 25515 0
vsize: 103264
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21798 0 0 0 67926 96 0 0 25 0 1 0 964615275 105742336 20254 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25816 20254 301 301 0 25515 0
vsize: 103264
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21921 0 0 0 68925 97 0 0 25 0 1 0 964615275 106332160 20377 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25960 20377 301 301 0 25659 0
vsize: 103840
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 21981 0 0 0 69924 98 0 0 25 0 1 0 964615275 106528768 20437 4294967295 134512640 135730672 3221224576 3221223088 134746497 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26008 20437 301 301 0 25707 0
vsize: 104032
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22039 0 0 0 70924 99 0 0 25 0 1 0 964615275 106921984 20495 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26104 20495 301 301 0 25803 0
vsize: 104416
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22102 0 0 0 71923 100 0 0 25 0 1 0 964615275 107118592 20558 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26152 20558 301 301 0 25851 0
vsize: 104608
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22251 0 0 0 72922 101 0 0 25 0 1 0 964615275 107118592 20707 4294967295 134512640 135730672 3221224576 3221223120 134740265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26152 20707 301 301 0 25851 0
vsize: 104608
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22291 0 0 0 73922 102 0 0 25 0 1 0 964615275 107315200 20747 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26200 20747 301 301 0 25899 0
vsize: 104800
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22347 0 0 0 74922 103 0 0 25 0 1 0 964615275 107511808 20803 4294967295 134512640 135730672 3221224576 3221223088 134746190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26248 20803 301 301 0 25947 0
vsize: 104992
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22411 0 0 0 75921 104 0 0 25 0 1 0 964615275 107708416 20867 4294967295 134512640 135730672 3221224576 3221223088 134746198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26296 20867 301 301 0 25995 0
vsize: 105184
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22457 0 0 0 76921 104 0 0 25 0 1 0 964615275 107905024 20913 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26344 20913 301 301 0 26043 0
vsize: 105376
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22476 0 0 0 77920 105 0 0 25 0 1 0 964615275 107905024 20932 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26344 20932 301 301 0 26043 0
vsize: 105376
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22497 0 0 0 78920 106 0 0 25 0 1 0 964615275 107905024 20953 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26344 20953 301 301 0 26043 0
vsize: 105376
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22528 0 0 0 79920 106 0 0 25 0 1 0 964615275 108101632 20984 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26392 20984 301 301 0 26091 0
vsize: 105568
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22610 0 0 0 80920 107 0 0 25 0 1 0 964615275 108494848 21066 4294967295 134512640 135730672 3221224576 3221223168 134763803 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26488 21066 301 301 0 26187 0
vsize: 105952
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22631 0 0 0 81920 108 0 0 25 0 1 0 964615275 108494848 21087 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26488 21087 301 301 0 26187 0
vsize: 105952
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22673 0 0 0 82919 108 0 0 25 0 1 0 964615275 108691456 21129 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26536 21129 301 301 0 26235 0
vsize: 106144
[startup+840.041 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22733 0 0 0 83919 109 0 0 25 0 1 0 964615275 108888064 21189 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26584 21189 301 301 0 26283 0
vsize: 106336
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22763 0 0 0 84919 110 0 0 25 0 1 0 964615275 109084672 21219 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26632 21219 301 301 0 26331 0
vsize: 106528
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22781 0 0 0 85919 110 0 0 25 0 1 0 964615275 109084672 21237 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26632 21237 301 301 0 26331 0
vsize: 106528
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22804 0 0 0 86919 110 0 0 25 0 1 0 964615275 109084672 21260 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26632 21260 301 301 0 26331 0
vsize: 106528
[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22848 0 0 0 87919 111 0 0 25 0 1 0 964615275 109281280 21304 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26680 21304 301 301 0 26379 0
vsize: 106720
[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22876 0 0 0 88919 111 0 0 25 0 1 0 964615275 109281280 21332 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26680 21332 301 301 0 26379 0
vsize: 106720
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 22982 0 0 0 89919 111 0 0 25 0 1 0 964615275 109477888 21438 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26728 21438 301 301 0 26427 0
vsize: 106912
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 23258 0 0 0 90919 112 0 0 25 0 1 0 964615275 109477888 21714 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26728 21714 301 301 0 26427 0
vsize: 106912
[startup+920.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 23583 0 0 0 91918 113 0 0 25 0 1 0 964615275 109477888 22039 4294967295 134512640 135730672 3221224576 3221222960 134761970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26728 22039 301 301 0 26427 0
vsize: 106912
[startup+930.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 23623 0 0 0 92918 114 0 0 25 0 1 0 964615275 109477888 22079 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26728 22079 301 301 0 26427 0
vsize: 106912
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 23646 0 0 0 93918 114 0 0 25 0 1 0 964615275 109674496 22102 4294967295 134512640 135730672 3221224576 3221223088 134746488 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26776 22102 301 301 0 26475 0
vsize: 107104
[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 23717 0 0 0 94917 115 0 0 25 0 1 0 964615275 109871104 22173 4294967295 134512640 135730672 3221224576 3221223088 134746481 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26824 22173 301 301 0 26523 0
vsize: 107296
[startup+960.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 23762 0 0 0 95917 116 0 0 25 0 1 0 964615275 110067712 22218 4294967295 134512640 135730672 3221224576 3221223120 134740298 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26872 22218 301 301 0 26571 0
vsize: 107488
[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 23793 0 0 0 96917 116 0 0 25 0 1 0 964615275 110067712 22249 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26872 22249 301 301 0 26571 0
vsize: 107488
[startup+980.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 23816 0 0 0 97917 116 0 0 25 0 1 0 964615275 110264320 22272 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26920 22272 301 301 0 26619 0
vsize: 107680
[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 24171 0 0 0 98916 118 0 0 25 0 1 0 964615275 110264320 22627 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26920 22627 301 301 0 26619 0
vsize: 107680
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 24211 0 0 0 99916 118 0 0 25 0 1 0 964615275 110460928 22667 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26968 22667 301 301 0 26667 0
vsize: 107872
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 24271 0 0 0 100916 119 0 0 25 0 1 0 964615275 110460928 22727 4294967295 134512640 135730672 3221224576 3221223200 134783060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26968 22727 301 301 0 26667 0
vsize: 107872
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 24317 0 0 0 101916 119 0 0 25 0 1 0 964615275 110596096 22773 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27001 22773 301 301 0 26700 0
vsize: 108004
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 24556 0 0 0 102915 120 0 0 25 0 1 0 964615275 110596096 23012 4294967295 134512640 135730672 3221224576 3221223200 134783244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27001 23012 301 301 0 26700 0
vsize: 108004
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 24627 0 0 0 103915 121 0 0 25 0 1 0 964615275 110792704 23083 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27049 23083 301 301 0 26748 0
vsize: 108196
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 24973 0 0 0 104913 123 0 0 25 0 1 0 964615275 110792704 23429 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27049 23429 301 301 0 26748 0
vsize: 108196
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 25245 0 0 0 105912 124 0 0 25 0 1 0 964615275 110989312 23701 4294967295 134512640 135730672 3221224576 3221223088 134746198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27097 23701 301 301 0 26796 0
vsize: 108388
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 25579 0 0 0 106912 125 0 0 25 0 1 0 964615275 110989312 24035 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27097 24035 301 301 0 26796 0
vsize: 108388
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 27419 0 0 0 107907 130 0 0 25 0 1 0 964615275 117673984 24338 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28729 24338 301 301 0 28428 0
vsize: 114916
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 27780 0 0 0 108907 131 0 0 25 0 1 0 964615275 117673984 24699 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28729 24699 301 301 0 28428 0
vsize: 114916
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 27821 0 0 0 109907 131 0 0 25 0 1 0 964615275 117673984 24740 4294967295 134512640 135730672 3221224576 3221223200 134748266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28729 24740 301 301 0 28428 0
vsize: 114916
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 28218 0 0 0 110906 132 0 0 25 0 1 0 964615275 117870592 25137 4294967295 134512640 135730672 3221224576 3221223088 134746515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28777 25137 301 301 0 28476 0
vsize: 115108
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 28282 0 0 0 111906 133 0 0 25 0 1 0 964615275 118067200 25201 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28825 25201 301 301 0 28524 0
vsize: 115300
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 28804 0 0 0 112904 135 0 0 25 0 1 0 964615275 118067200 25723 4294967295 134512640 135730672 3221224576 3221222648 135285090 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28825 25723 301 301 0 28524 0
vsize: 115300
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 28960 0 0 0 113904 136 0 0 25 0 1 0 964615275 118263808 25879 4294967295 134512640 135730672 3221224576 3221223088 134746512 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28873 25879 301 301 0 28572 0
vsize: 115492
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 29351 0 0 0 114901 139 0 0 25 0 1 0 964615275 185372672 26270 4294967295 134512640 135730672 3221224576 3221223120 134740276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45257 26270 301 301 0 44956 0
vsize: 181028
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 29514 0 0 0 115900 140 0 0 25 0 1 0 964615275 185372672 26433 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45257 26433 301 301 0 44956 0
vsize: 181028
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 29552 0 0 0 116900 140 0 0 25 0 1 0 964615275 185372672 26471 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45257 26471 301 301 0 44956 0
vsize: 181028
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 29600 0 0 0 117900 141 0 0 25 0 1 0 964615275 185569280 26519 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45305 26519 301 301 0 45004 0
vsize: 181220
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 29669 0 0 0 118900 141 0 0 25 0 1 0 964615275 185704448 26588 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45338 26588 301 301 0 45037 0
vsize: 181352
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9098
Raw data (stat): 9098 (pb2sat-v2) R 9097 25568 25567 0 -1 0 29707 0 0 0 119900 142 0 0 25 0 1 0 964615275 185839616 26626 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45371 26626 301 301 0 45070 0
vsize: 181484
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9098
Raw data (stat): 9098 (pb2sat-v2) Z 9097 25568 25567 0 -1 12 29709 0 0 0 119912 147 0 0 25 0 1 0 964615275 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.24
CPU time (s): 1200.6
CPU user time (s): 1199.13
CPU system time (s): 1.47378
CPU usage (%): 100.03
Max. virtual memory (Kb): 181484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####