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/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM	980dd801f0823d520b47724b99fabded
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 35283

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-28 12:21:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24478 boxname=wulflinc29 idbench=950 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 24478
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 3
cpu MHz		: 451.020
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:        705144 kB
Buffers:         34384 kB
Cached:         269420 kB
SwapCached:        632 kB
Active:          15944 kB
Inactive:       289900 kB
HighTotal:      131008 kB
HighFree:        55188 kB
LowTotal:       903652 kB
LowFree:        649956 kB
SwapTotal:     2097892 kB
SwapFree:      2096368 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            17928 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:41:50 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 24478 7 1200.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+0.233275 s]  setting bit 5 to 0

Decision: 345/1661	Time: 1.3298/86400
Decision: 345/1661	Time: 1.71574/86400
Decision: 345/1661	Time: 2.16467/86400
Decision: 345/1661	Time: 2.6316/86400
Decision: 345/1661	Time: 3.11753/86400
Decision: 345/1661	Time: 3.62145/86400
Decision: 345/1661	Time: 4.10338/86400
Decision: 345/1661	Time: 4.6113/86400
Decision: 345/1661	Time: 5.14922/86400
Decision: 345/1661	Time: 5.70913/86400
Decision: 345/1661	Time: 6.31304/86400
Decision: 345/1661	Time: 6.85596/86400
Decision: 345/1661	Time: 7.44387/86400
Decision: 345/1661	Time: 8.01378/86400
Decision: 345/1661	Time: 8.5767/86400
Decision: 345/1661	Time: 9.24259/86400
Decision: 345/1661	Time: 9.83751/86400
Decision: 345/1661	Time: 10.5114/86400
Decision: 345/1661	Time: 11.2303/86400
Decision: 345/1661	Time: 11.8702/86400
Decision: 345/1661	Time: 12.6071/86400
Decision: 345/1661	Time: 13.303/86400
Decision: 345/1661	Time: 14.0089/86400
Decision: 345/1661	Time: 14.6788/86400
Decision: 345/1661	Time: 15.4147/86400
Decision: 345/1661	Time: 16.2405/86400
Decision: 345/1661	Time: 17.0094/86400
Decision: 345/1661	Time: 17.8303/86400
Decision: 345/1661	Time: 18.5972/86400
Decision: 345/1661	Time: 19.3261/86400
Decision: 345/1661	Time: 20.2489/86400
Decision: 345/1661	Time: 21.0778/86400
Decision: 345/1661	Time: 21.8957/86400
Decision: 345/1661	Time: 22.7615/86400
Decision: 345/1661	Time: 23.6714/86400
Decision: 345/1661	Time: 24.5563/86400
Decision: 345/1661	Time: 25.4921/86400
Decision: 345/1661	Time: 26.435/86400
Decision: 345/1661	Time: 27.3498/86400
Decision: 345/1661	Time: 28.2427/86400
Decision: 345/1661	Time: 29.1266/86400
Decision: 345/1661	Time: 30.0544/86400
Decision: 345/1661	Time: 30.9903/86400
Decision: 345/1661	Time: 31.9061/86400
Decision: 345/1661	Time: 32.827/86400
Decision: 345/1661	Time: 33.8479/86400
Decision: 345/1661	Time: 34.8867/86400
Decision: 345/1661	Time: 35.9395/86400
Decision: 345/1661	Time: 36.9644/86400
Decision: 345/1661	Time: 37.9882/86400
Decision: 345/1661	Time: 39.0821/86400
Decision: 345/1661	Time: 40.0389/86400
Decision: 345/1661	Time: 41.1507/86400
Decision: 345/1661	Time: 42.1656/86400
Decision: 345/1661	Time: 43.1904/86400
Decision: 345/1661	Time: 44.2023/86400
Decision: 345/1661	Time: 45.1931/86400
Decision: 345/1661	Time: 46.3/86400
Decision: 345/1661	Time: 47.3688/86400
Decision: 345/1661	Time: 48.4316/86400
Decision: 345/1661	Time: 49.5615/86400
Decision: 345/1661	Time: 50.6843/86400
Decision: 345/1661	Time: 51.8431/86400
Decision: 345/1661	Time: 52.935/86400
Decision: 345/1661	Time: 54.1388/86400
Decision: 345/1661	Time: 55.5386/86400
Decision: 345/1661	Time: 56.6984/86400
Decision: 345/1661	Time: 57.7822/86400
Decision: 345/1661	Time: 58.943/86400
Decision: 345/1661	Time: 60.0899/86400
Decision: 345/1661	Time: 61.3167/86400
Decision: 345/1661	Time: 62.5515/86400
Decision: 345/1661	Time: 63.7243/86400
Decision: 345/1661	Time: 64.8151/86400
Decision: 345/1661	Time: 66.2409/86400
Decision: 345/1661	Time: 67.6407/86400
Decision: 345/1661	Time: 68.8545/86400
Decision: 345/1661	Time: 70.0743/86400
Decision: 345/1661	Time: 71.3322/86400
Decision: 345/1661	Time: 72.52/86400
Decision: 345/1661	Time: 73.9598/86400
Decision: 345/1661	Time: 75.2796/86400
Decision: 345/1661	Time: 76.6483/86400
Decision: 345/1661	Time: 77.8882/86400
Decision: 345/1661	Time: 79.241/86400
Decision: 345/1661	Time: 80.6377/86400
Decision: 345/1661	Time: 82.2205/86400
Decision: 345/1661	Time: 83.5563/86400
Decision: 345/1661	Time: 85.0141/86400
Decision: 345/1661	Time: 86.3249/86400
Decision: 345/1661	Time: 87.7317/86400
Decision: 345/1661	Time: 89.0755/86400
Decision: 345/1661	Time: 90.4532/86400
Decision: 345/1661	Time: 91.959/86400
Decision: 345/1661	Time: 93.2618/86400
Decision: 345/1661	Time: 94.8886/86400
Decision: 345/1661	Time: 96.4353/86400
Decision: 345/1661	Time: 98.1791/86400
Decision: 345/1661	Time: 99.6628/86400
Decision: 345/1661	Time: 101.128/86400
Decision: 345/1661	Time: 102.585/86400
Decision: 345/1661	Time: 103.953/86400
Decision: 345/1661	Time: 105.384/86400
Decision: 345/1661	Time: 106.946/86400
Decision: 345/1661	Time: 108.475/86400
Decision: 345/1661	Time: 110.044/86400
Decision: 345/1661	Time: 111.591/86400
Decision: 345/1661	Time: 113.103/86400
Decision: 345/1661	Time: 114.637/86400
Decision: 345/1661	Time: 116.149/86400
Decision: 345/1661	Time: 117.931/86400
Decision: 345/1661	Time: 119.497/86400
Decision: 345/1661	Time: 121.056/86400
Decision: 345/1661	Time: 122.666/86400
Decision: 345/1661	Time: 124.171/86400
Decision: 345/1661	Time: 125.88/86400
Decision: 345/1661	Time: 127.597/86400
Decision: 345/1661	Time: 129.261/86400
Decision: 345/1661	Time: 130.902/86400
Decision: 345/1661	Time: 132.594/86400
Decision: 345/1661	Time: 134.531/86400
Decision: 345/1661	Time: 136.21/86400
Decision: 345/1661	Time: 137.93/86400
Decision: 345/1661	Time: 139.718/86400
Decision: 345/1661	Time: 141.28/86400
Decision: 345/1661	Time: 143.143/86400
Decision: 345/1661	Time: 144.691/86400
Decision: 345/1661	Time: 146.306/86400
Decision: 345/1661	Time: 147.959/86400
Decision: 345/1661	Time: 149.615/86400
Decision: 345/1661	Time: 151.344/86400
Decision: 345/1661	Time: 153.384/86400
Decision: 345/1661	Time: 155.058/86400
Decision: 345/1661	Time: 156.788/86400
Decision: 345/1661	Time: 158.66/86400
Decision: 345/1661	Time: 160.525/86400
Decision: 345/1661	Time: 162.556/86400
Decision: 345/1661	Time: 164.475/86400
Decision: 345/1661	Time: 166.42/86400
Decision: 345/1661	Time: 168.264/86400
Decision: 345/1661	Time: 170.409/86400
Decision: 345/1661	Time: 172.343/86400
Decision: 345/1661	Time: 174.125/86400
Decision: 345/1661	Time: 176.155/86400
Decision: 345/1661	Time: 178.126/86400
Decision: 345/1661	Time: 180.115/86400
Decision: 345/1661	Time: 181.984/86400
Decision: 345/1661	Time: 183.684/86400
Decision: 345/1661	Time: 185.53/86400
Decision: 345/1661	Time: 187.514/86400
Decision: 345/1661	Time: 189.4/86400
Decision: 345/1661	Time: 191.268/86400
Decision: 345/1661	Time: 193.282/86400
Decision: 345/1661	Time: 195.152/86400
Decision: 345/1661	Time: 197.22/86400
Decision: 345/1661	Time: 199.201/86400
Decision: 345/1661	Time: 200.926/86400
Decision: 345/1661	Time: 202.625/86400
Decision: 345/1661	Time: 204.531/86400
Decision: 345/1661	Time: 206.654/86400
Decision: 345/1661	Time: 208.758/86400
Decision: 345/1661	Time: 210.582/86400
Decision: 345/1661	Time: 212.294/86400
Decision: 345/1661	Time: 214.488/86400
Decision: 345/1661	Time: 216.498/86400
Decision: 345/1661	Time: 218.458/86400
Decision: 345/1661	Time: 220.391/86400
Decision: 345/1661	Time: 222.476/86400
Decision: 345/1661	Time: 224.395/86400
Decision: 345/1661	Time: 226.379/86400
Decision: 345/1661	Time: 228.744/86400
Decision: 345/1661	Time: 230.644/86400
Decision: 345/1661	Time: 232.953/86400
Decision: 345/1661	Time: 234.824/86400
Decision: 345/1661	Time: 237.04/86400
Decision: 345/1661	Time: 239.251/86400
Decision: 345/1661	Time: 241.762/86400
Decision: 345/1661	Time: 243.891/86400
Decision: 345/1661	Time: 246.25/86400
Decision: 345/1661	Time: 248.6/86400
Decision: 345/1661	Time: 250.812/86400
Decision: 345/1661	Time: 252.85/86400
Decision: 345/1661	Time: 255.17/86400
Decision: 345/1661	Time: 257.184/86400
Decision: 345/1661	Time: 259.183/86400
Decision: 345/1661	Time: 261.467/86400
Decision: 345/1661	Time: 263.328/86400
Decision: 345/1661	Time: 265.49/86400
Decision: 345/1661	Time: 267.706/86400
Decision: 345/1661	Time: 270.33/86400
Decision: 345/1661	Time: 273.102/86400
Decision: 345/1661	Time: 275.249/86400
Decision: 345/1661	Time: 277.65/86400
Decision: 345/1661	Time: 279.874/86400
Decision: 345/1661	Time: 282.044/86400
Decision: 345/1661	Time: 284.531/86400
Decision: 345/1661	Time: 286.489/86400
Decision: 345/1661	Time: 288.766/86400
Decision: 345/1661	Time: 290.687/86400
Decision: 345/1661	Time: 292.917/86400
Decision: 345/1661	Time: 295.301/86400
Decision: 345/1661	Time: 298.131/86400
Decision: 345/1661	Time: 300.484/86400
Decision: 345/1661	Time: 302.749/86400
Decision: 345/1661	Time: 305.288/86400
Decision: 345/1661	Time: 308.306/86400
Decision: 345/1661	Time: 310.608/86400
Decision: 345/1661	Time: 313.055/86400
Decision: 345/1661	Time: 315.529/86400
Decision: 345/1661	Time: 317.653/86400
Decision: 345/1661	Time: 320.361/86400
Decision: 345/1661	Time: 322.928/86400
Decision: 345/1661	Time: 325.326/86400
Decision: 345/1661	Time: 327.716/86400
Decision: 345/1661	Time: 330.484/86400
Decision: 345/1661	Time: 333.051/86400
Decision: 345/1661	Time: 335.53/86400
Decision: 345/1661	Time: 337.841/86400
Decision: 345/1661	Time: 340.349/86400
Decision: 345/1661	Time: 343.046/86400
Decision: 345/1661	Time: 345.939/86400
Decision: 345/1661	Time: 348.413/86400
Decision: 345/1661	Time: 351.029/86400
Decision: 345/1661	Time: 353.496/86400
Decision: 345/1661	Time: 356.096/86400
Decision: 345/1661	Time: 358.84/86400
Decision: 345/1661	Time: 361.267/86400
Decision: 345/1661	Time: 363.817/86400
Decision: 345/1661	Time: 366.246/86400
Decision: 345/1661	Time: 368.353/86400
Decision: 345/1661	Time: 371.467/86400
Decision: 345/1661	Time: 373.824/86400
Decision: 345/1661	Time: 376.306/86400
Decision: 345/1661	Time: 378.558/86400
Decision: 345/1661	Time: 381.067/86400
Decision: 345/1661	Time: 383.921/86400
Decision: 345/1661	Time: 386.459/86400
Decision: 345/1661	Time: 389.304/86400
Decision: 345/1661	Time: 391.782/86400
Decision: 345/1661	Time: 394.328/86400
Decision: 345/1661	Time: 396.854/86400
Decision: 345/1661	Time: 399.312/86400
Decision: 345/1661	Time: 401.725/86400
Decision: 345/1661	Time: 404.812/86400
Decision: 345/1661	Time: 407.591/86400
Decision: 345/1661	Time: 410.313/86400
Decision: 345/1661	Time: 412.774/86400
Decision: 345/1661	Time: 415.177/86400
Decision: 345/1661	Time: 417.396/86400
Decision: 345/1661	Time: 419.91/86400
Decision: 345/1661	Time: 422.51/86400
Decision: 345/1661	Time: 425.095/86400
Decision: 345/1661	Time: 427.7/86400
Decision: 345/1661	Time: 430.334/86400
Decision: 345/1661	Time: 434.113/86400
Decision: 345/1661	Time: 436.912/86400
Decision: 345/1661	Time: 439.571/86400
Decision: 345/1661	Time: 442.418/86400
Decision: 345/1661	Time: 445.15/86400
Decision: 345/1661	Time: 448.061/86400
Decision: 345/1661	Time: 451.094/86400
Decision: 345/1661	Time: 454.133/86400
Decision: 345/1661	Time: 456.74/86400
Decision: 345/1661	Time: 459.587/86400
Decision: 345/1661	Time: 462.348/86400
Decision: 345/1661	Time: 465.589/86400
Decision: 345/1661	Time: 468.341/86400
Decision: 345/1661	Time: 471.323/86400
Decision: 345/1661	Time: 474.093/86400
Decision: 345/1661	Time: 477.028/86400
Decision: 345/1661	Time: 480.654/86400
Decision: 345/1661	Time: 483.397/86400
Decision: 345/1661	Time: 486.04/86400
Decision: 345/1661	Time: 488.949/86400
Decision: 345/1661	Time: 491.692/86400
Decision: 345/1661	Time: 494.584/86400
Decision: 345/1661	Time: 497.467/86400
Decision: 345/1661	Time: 500.525/86400
Decision: 345/1661	Time: 503.387/86400
Decision: 345/1661	Time: 505.963/86400
Decision: 345/1661	Time: 509.642/86400
Decision: 345/1661	Time: 512.36/86400
Decision: 345/1661	Time: 515.305/86400
Decision: 345/1661	Time: 517.934/86400
Decision: 345/1661	Time: 520.892/86400
Decision: 345/1661	Time: 524.206/86400
Decision: 345/1661	Time: 526.86/86400
Decision: 345/1661	Time: 529.791/86400
Decision: 345/1661	Time: 532.892/86400
Decision: 345/1661	Time: 536.15/86400
Decision: 345/1661	Time: 539.277/86400
Decision: 345/1661	Time: 541.895/86400
Decision: 345/1661	Time: 544.605/86400
Decision: 345/1661	Time: 547.345/86400
Decision: 345/1661	Time: 550.082/86400
Decision: 345/1661	Time: 553.286/86400
Decision: 345/1661	Time: 556.341/86400
Decision: 345/1661	Time: 559.126/86400
Decision: 345/1661	Time: 562.295/86400
Decision: 345/1661	Time: 565.683/86400
Decision: 345/1661	Time: 569.446/86400
Decision: 345/1661	Time: 572.552/86400
Decision: 345/1661	Time: 575.427/86400
Decision: 345/1661	Time: 578.946/86400
Decision: 345/1661	Time: 582.026/86400
Decision: 345/1661	Time: 585.122/86400
Decision: 345/1661	Time: 587.766/86400
Decision: 345/1661	Time: 591.087/86400
Decision: 345/1661	Time: 594.392/86400
Decision: 345/1661	Time: 597.477/86400
Decision: 345/1661	Time: 600.801/86400
Decision: 345/1661	Time: 603.075/86400
Decision: 345/1661	Time: 606.141/86400
Decision: 345/1661	Time: 609.253/86400
Decision: 345/1661	Time: 612.02/86400
Decision: 345/1661	Time: 615.441/86400
Decision: 345/1661	Time: 617.758/86400
Decision: 345/1661	Time: 620.611/86400
Decision: 345/1661	Time: 624.022/86400
Decision: 345/1661	Time: 626.864/86400
Decision: 345/1661	Time: 630.268/86400
Decision: 345/1661	Time: 632.864/86400
Decision: 345/1661	Time: 636.087/86400
Decision: 345/1661	Time: 639.765/86400
Decision: 345/1661	Time: 642.703/86400
Decision: 345/1661	Time: 646.017/86400
Decision: 345/1661	Time: 649.516/86400
Decision: 345/1661	Time: 652.819/86400
Decision: 345/1661	Time: 656.463/86400
Decision: 345/1661	Time: 659.613/86400
Decision: 345/1661	Time: 662.967/86400
Decision: 345/1661	Time: 665.94/86400
Decision: 345/1661	Time: 668.875/86400
Decision: 345/1661	Time: 671.496/86400
Decision: 345/1661	Time: 674.372/86400
Decision: 345/1661	Time: 678.272/86400
Decision: 345/1661	Time: 681.699/86400
Decision: 345/1661	Time: 684.474/86400
Decision: 345/1661	Time: 687.826/86400
Decision: 345/1661	Time: 691.034/86400
Decision: 345/1661	Time: 694.696/86400
Decision: 345/1661	Time: 697.689/86400
Decision: 345/1661	Time: 701.273/86400
Decision: 345/1661	Time: 704.373/86400
Decision: 345/1661	Time: 707.388/86400
Decision: 345/1661	Time: 711.16/86400
Decision: 345/1661	Time: 715.205/86400
Decision: 345/1661	Time: 718.468/86400
Decision: 345/1661	Time: 721.142/86400
Decision: 345/1661	Time: 724.34/86400
Decision: 345/1661	Time: 727.964/86400
Decision: 345/1661	Time: 731.046/86400
Decision: 345/1661	Time: 734.309/86400
Decision: 345/1661	Time: 737.328/86400
Decision: 345/1661	Time: 740.905/86400
Decision: 345/1661	Time: 745.023/86400
Decision: 345/1661	Time: 748.395/86400
Decision: 345/1661	Time: 751.611/86400
Decision: 345/1661	Time: 754.166/86400
Decision: 345/1661	Time: 757.329/86400
Decision: 345/1661	Time: 761.243/86400
Decision: 345/1661	Time: 764.784/86400
Decision: 345/1661	Time: 767.869/86400
Decision: 345/1661	Time: 770.754/86400
Decision: 345/1661	Time: 774.273/86400
Decision: 345/1661	Time: 778.335/86400
Decision: 345/1661	Time: 782.362/86400
Decision: 345/1661	Time: 785.264/86400
Decision: 345/1661	Time: 788.433/86400
Decision: 345/1661	Time: 791.873/86400
Decision: 345/1661	Time: 795.681/86400
Decision: 345/1661	Time: 798.816/86400
Decision: 345/1661	Time: 801.579/86400
Decision: 345/1661	Time: 804.07/86400
Decision: 345/1661	Time: 807.198/86400
Decision: 345/1661	Time: 810.756/86400
Decision: 345/1661	Time: 814.081/86400
Decision: 345/1661	Time: 816.893/86400
Decision: 345/1661	Time: 820.145/86400
Decision: 345/1661	Time: 823.646/86400
Decision: 345/1661	Time: 827.337/86400
Decision: 345/1661	Time: 830.458/86400
Decision: 345/1661	Time: 833.9/86400
Decision: 345/1661	Time: 837.085/86400
Decision: 345/1661	Time: 840.499/86400
Decision: 345/1661	Time: 844.301/86400
Decision: 345/1661	Time: 847.053/86400
Decision: 345/1661	Time: 850.119/86400
Decision: 345/1661	Time: 853.331/86400
Decision: 345/1661	Time: 856.335/86400
Decision: 345/1661	Time: 859.988/86400
Decision: 345/1661	Time: 863.016/86400
Decision: 345/1661	Time: 865.781/86400
Decision: 345/1661	Time: 869.356/86400
Decision: 345/1661	Time: 872.05/86400
Decision: 345/1661	Time: 875.74/86400
Decision: 345/1661	Time: 879.076/86400
Decision: 345/1661	Time: 882.541/86400
Decision: 345/1661	Time: 885.784/86400
Decision: 345/1661	Time: 888.905/86400
Decision: 345/1661	Time: 892.827/86400
Decision: 345/1661	Time: 895.521/86400
Decision: 345/1661	Time: 898.934/86400
Decision: 345/1661	Time: 902.273/86400
Decision: 345/1661	Time: 905.931/86400
Decision: 345/1661	Time: 909.697/86400
Decision: 345/1661	Time: 912.627/86400
Decision: 345/1661	Time: 915.797/86400
Decision: 345/1661	Time: 919/86400
Decision: 345/1661	Time: 922.205/86400
Decision: 345/1661	Time: 925.641/86400
Decision: 345/1661	Time: 928.98/86400
Decision: 345/1661	Time: 931.915/86400
Decision: 345/1661	Time: 935.488/86400
Decision: 345/1661	Time: 938.376/86400
Decision: 345/1661	Time: 942.087/86400
Decision: 345/1661	Time: 945.738/86400
Decision: 345/1661	Time: 948.903/86400
Decision: 345/1661	Time: 952.26/86400
Decision: 345/1661	Time: 955.783/86400
Decision: 345/1661	Time: 959.717/86400
Decision: 345/1661	Time: 962.957/86400
Decision: 345/1661	Time: 966.117/86400
Decision: 345/1661	Time: 969.276/86400
Decision: 345/1661	Time: 972.526/86400
Decision: 345/1661	Time: 976.507/86400
Decision: 345/1661	Time: 979.905/86400
Decision: 345/1661	Time: 983.449/86400
Decision: 345/1661	Time: 986.956/86400
Decision: 345/1661	Time: 990.412/86400
Decision: 345/1661	Time: 993.895/86400
Decision: 345/1661	Time: 997.272/86400
Decision: 345/1661	Time: 1001.01/86400
Decision: 345/1661	Time: 1004.14/86400
Decision: 345/1661	Time: 1007.73/86400
Decision: 345/1661	Time: 1011.79/86400
Decision: 345/1661	Time: 1015.52/86400
Decision: 345/1661	Time: 1018.69/86400
Decision: 345/1661	Time: 1021.84/86400
Decision: 345/1661	Time: 1025.22/86400
Decision: 345/1661	Time: 1028.8/86400
Decision: 345/1661	Time: 1031.74/86400
Decision: 345/1661	Time: 1035.04/86400
Decision: 345/1661	Time: 1038.16/86400
Decision: 345/1661	Time: 1042.23/86400
Decision: 345/1661	Time: 1045.93/86400
Decision: 345/1661	Time: 1049.14/86400
Decision: 345/1661	Time: 1052.33/86400
Decision: 345/1661	Time: 1055.68/86400
Decision: 345/1661	Time: 1059.27/86400
Decision: 345/1661	Time: 1063.09/86400
Decision: 345/1661	Time: 1066.96/86400
Decision: 345/1661	Time: 1070.74/86400
Decision: 345/1661	Time: 1073.81/86400
Decision: 345/1661	Time: 1077.23/86400
Decision: 345/1661	Time: 1080.29/86400
Decision: 345/1661	Time: 1083.23/86400
Decision: 345/1661	Time: 1086.48/86400
Decision: 345/1661	Time: 1090.07/86400
Decision: 345/1661	Time: 1093.44/86400
Decision: 345/1661	Time: 1096.99/86400
Decision: 345/1661	Time: 1100.15/86400
Decision: 345/1661	Time: 1103.86/86400
Decision: 345/1661	Time: 1107.26/86400
Decision: 345/1661	Time: 1110.45/86400
Decision: 345/1661	Time: 1114.07/86400
Decision: 345/1661	Time: 1117.95/86400
Decision: 345/1661	Time: 1121.15/86400
Decision: 345/1661	Time: 1125.63/86400
Decision: 345/1661	Time: 1129.52/86400
Decision: 345/1661	Time: 1133.85/86400
Decision: 345/1661	Time: 1137.14/86400
Decision: 345/1661	Time: 1140.58/86400
Decision: 345/1661	Time: 1144.96/86400
Decision: 345/1661	Time: 1148.18/86400
Decision: 345/1661	Time: 1151.94/86400
Decision: 345/1661	Time: 1155.35/86400
Decision: 345/1661	Time: 1158.56/86400
Decision: 345/1661	Time: 1162.21/86400
Decision: 345/1661	Time: 1165.77/86400
Decision: 345/1661	Time: 1169.43/86400
Decision: 345/1661	Time: 1172.29/86400
Decision: 345/1661	Time: 1175.66/86400
Decision: 345/1661	Time: 1178.87/86400
Decision: 345/1661	Time: 1182.24/86400
Decision: 345/1661	Time: 1186.67/86400
Decision: 345/1661	Time: 1190.09/86400
Decision: 345/1661	Time: 1193.05/86400
Decision: 345/1661	Time: 1196.42/86400
Decision: 345/1661	Time: 1199.93/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.83 0.91 0.90 2/54 28041
Raw data (stat): 28041 (runsolver) R 28040 20001 20000 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 864759545 884736 93 4294967295 134512640 135332820 3221224464 3221219808 134957970 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0007 s]
Raw data (loadavg): 0.86 0.91 0.90 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 1015 0 0 0 992 6 0 0 25 0 1 0 864759545 5480448 846 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1338 846 300 300 0 1038 0
vsize: 5352
[startup+20.0022 s]
Raw data (loadavg): 0.88 0.91 0.90 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 1357 0 0 0 1990 8 0 0 25 0 1 0 864759545 5922816 1188 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1446 1188 300 300 0 1146 0
vsize: 5784
[startup+30.0033 s]
Raw data (loadavg): 0.90 0.91 0.90 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 1837 0 0 0 2987 11 0 0 25 0 1 0 864759545 9281536 1475 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2266 1475 300 300 0 1966 0
vsize: 9064
[startup+40.003 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 2082 0 0 0 3984 13 0 0 25 0 1 0 864759545 9609216 1720 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2346 1720 300 300 0 2046 0
vsize: 9384
[startup+50.0069 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 2372 0 0 0 4982 15 0 0 25 0 1 0 864759545 10297344 2010 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2514 2010 300 300 0 2214 0
vsize: 10056
[startup+60.0076 s]
Raw data (loadavg): 0.94 0.92 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 2603 0 0 0 5980 18 0 0 25 0 1 0 864759545 10739712 2241 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2622 2241 300 300 0 2322 0
vsize: 10488
[startup+70.0084 s]
Raw data (loadavg): 0.94 0.92 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 2801 0 0 0 6978 19 0 0 25 0 1 0 864759545 15327232 2439 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3742 2439 300 300 0 3442 0
vsize: 14968
[startup+80.0169 s]
Raw data (loadavg): 0.95 0.92 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 3389 0 0 0 7975 22 0 0 25 0 1 0 864759545 17096704 2642 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4174 2642 300 300 0 3874 0
vsize: 16696
[startup+90.017 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 3551 0 0 0 8974 24 0 0 25 0 1 0 864759545 17293312 2804 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4222 2804 300 300 0 3922 0
vsize: 16888
[startup+100.017 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 3727 0 0 0 9971 27 0 0 25 0 1 0 864759545 17428480 2980 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4255 2980 300 300 0 3955 0
vsize: 17020
[startup+110.018 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 3929 0 0 0 10970 29 0 0 25 0 1 0 864759545 17854464 3182 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4359 3182 300 300 0 4059 0
vsize: 17436
[startup+120.018 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 4054 0 0 0 11968 31 0 0 25 0 1 0 864759545 17989632 3307 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4392 3307 300 300 0 4092 0
vsize: 17568
[startup+130.019 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 4236 0 0 0 12966 32 0 0 25 0 1 0 864759545 18395136 3489 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4491 3489 300 300 0 4191 0
vsize: 17964
[startup+140.02 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 4417 0 0 0 13965 33 0 0 25 0 1 0 864759545 18800640 3670 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4590 3670 300 300 0 4290 0
vsize: 18360
[startup+150.02 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 4564 0 0 0 14963 35 0 0 25 0 1 0 864759545 19070976 3817 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4656 3817 300 300 0 4356 0
vsize: 18624
[startup+160.02 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 4704 0 0 0 15962 37 0 0 25 0 1 0 864759545 19341312 3957 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4722 3957 300 300 0 4422 0
vsize: 18888
[startup+170.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 4873 0 0 0 16962 38 0 0 25 0 1 0 864759545 19881984 4126 4294967295 134512640 135726644 3221224576 3221223184 134741137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4854 4126 300 300 0 4554 0
vsize: 19416
[startup+180.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 4995 0 0 0 17960 39 0 0 25 0 1 0 864759545 19881984 4248 4294967295 134512640 135726644 3221224576 3221223088 134742930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4854 4248 300 300 0 4554 0
vsize: 19416
[startup+190.022 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 5111 0 0 0 18959 41 0 0 25 0 1 0 864759545 28405760 4364 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6935 4364 300 300 0 6635 0
vsize: 27740
[startup+200.022 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 5191 0 0 0 19958 42 0 0 25 0 1 0 864759545 28405760 4444 4294967295 134512640 135726644 3221224576 3221223088 135278849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6935 4444 300 300 0 6635 0
vsize: 27740
[startup+210.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 5271 0 0 0 20956 43 0 0 25 0 1 0 864759545 28540928 4524 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6968 4524 300 300 0 6668 0
vsize: 27872
[startup+220.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 5381 0 0 0 21955 44 0 0 25 0 1 0 864759545 28688384 4634 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7004 4634 300 300 0 6704 0
vsize: 28016
[startup+230.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 5518 0 0 0 22954 46 0 0 25 0 1 0 864759545 28688384 4771 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7004 4771 300 300 0 6704 0
vsize: 28016
[startup+240.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 6458 0 0 0 23951 49 0 0 25 0 1 0 864759545 32268288 4942 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7878 4942 300 300 0 7578 0
vsize: 31512
[startup+250.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 6596 0 0 0 24950 50 0 0 25 0 1 0 864759545 32403456 5080 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7911 5080 300 300 0 7611 0
vsize: 31644
[startup+260.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 6707 0 0 0 25949 51 0 0 25 0 1 0 864759545 32538624 5191 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7944 5191 300 300 0 7644 0
vsize: 31776
[startup+270.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 6804 0 0 0 26947 53 0 0 25 0 1 0 864759545 32673792 5288 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7977 5288 300 300 0 7677 0
vsize: 31908
[startup+280.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 6949 0 0 0 27946 54 0 0 25 0 1 0 864759545 33079296 5433 4294967295 134512640 135726644 3221224576 3221223088 134742897 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8076 5433 300 300 0 7776 0
vsize: 32304
[startup+290.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 7045 0 0 0 28944 56 0 0 25 0 1 0 864759545 33079296 5529 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8076 5529 300 300 0 7776 0
vsize: 32304
[startup+300.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 7211 0 0 0 29943 58 0 0 25 0 1 0 864759545 33345536 5662 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8141 5662 300 300 0 7841 0
vsize: 32564
[startup+310.039 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 7374 0 0 0 30942 59 0 0 25 0 1 0 864759545 33611776 5792 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8206 5792 300 300 0 7906 0
vsize: 32824
[startup+320.04 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 7512 0 0 0 31940 61 0 0 25 0 1 0 864759545 33878016 5930 4294967295 134512640 135726644 3221224576 3221223088 134742627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8271 5930 300 300 0 7971 0
vsize: 33084
[startup+330.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 7684 0 0 0 32939 63 0 0 25 0 1 0 864759545 34140160 6036 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8335 6036 300 300 0 8035 0
vsize: 33340
[startup+340.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 7772 0 0 0 33938 64 0 0 25 0 1 0 864759545 34140160 6124 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8335 6124 300 300 0 8035 0
vsize: 33340
[startup+350.04 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 7955 0 0 0 34936 66 0 0 25 0 1 0 864759545 34668544 6241 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8464 6241 300 300 0 8164 0
vsize: 33856
[startup+360.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 8095 0 0 0 35935 67 0 0 25 0 1 0 864759545 34799616 6348 4294967295 134512640 135726644 3221224576 3221223072 134744252 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8496 6348 300 300 0 8196 0
vsize: 33984
[startup+370.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 8228 0 0 0 36934 68 0 0 25 0 1 0 864759545 34930688 6448 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8528 6448 300 300 0 8228 0
vsize: 34112
[startup+380.057 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 8364 0 0 0 37934 70 0 0 25 0 1 0 864759545 35192832 6518 4294967295 134512640 135726644 3221224576 3221223072 134744214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8592 6518 300 300 0 8292 0
vsize: 34368
[startup+390.057 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 8496 0 0 0 38933 71 0 0 25 0 1 0 864759545 35454976 6584 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8656 6584 300 300 0 8356 0
vsize: 34624
[startup+400.066 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 8579 0 0 0 39932 73 0 0 25 0 1 0 864759545 35454976 6667 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8656 6667 300 300 0 8356 0
vsize: 34624
[startup+410.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 8750 0 0 0 40931 74 0 0 25 0 1 0 864759545 35749888 6805 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8728 6805 300 300 0 8428 0
vsize: 34912
[startup+420.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 8889 0 0 0 41930 75 0 0 25 0 1 0 864759545 36012032 6878 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8792 6878 300 300 0 8492 0
vsize: 35168
[startup+430.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 9015 0 0 0 42929 77 0 0 25 0 1 0 864759545 36274176 6971 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8856 6971 300 300 0 8556 0
vsize: 35424
[startup+440.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 9134 0 0 0 43930 78 0 0 25 0 1 0 864759545 36409344 7090 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8889 7090 300 300 0 8589 0
vsize: 35556
[startup+450.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 9238 0 0 0 44929 79 0 0 25 0 1 0 864759545 36409344 7194 4294967295 134512640 135726644 3221224576 3221223072 134744252 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8889 7194 300 300 0 8589 0
vsize: 35556
[startup+460.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 9373 0 0 0 45928 80 0 0 25 0 1 0 864759545 36679680 7329 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8955 7329 300 300 0 8655 0
vsize: 35820
[startup+470.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 9458 0 0 0 46927 80 0 0 25 0 1 0 864759545 36843520 7414 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8995 7414 300 300 0 8695 0
vsize: 35980
[startup+480.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 9591 0 0 0 47926 82 0 0 25 0 1 0 864759545 36843520 7547 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8995 7547 300 300 0 8695 0
vsize: 35980
[startup+490.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 9660 0 0 0 48925 83 0 0 25 0 1 0 864759545 36843520 7616 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8995 7616 300 300 0 8695 0
vsize: 35980
[startup+500.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 9782 0 0 0 49924 85 0 0 25 0 1 0 864759545 36974592 7705 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9027 7705 300 300 0 8727 0
vsize: 36108
[startup+510.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 9885 0 0 0 50923 85 0 0 25 0 1 0 864759545 37105664 7808 4294967295 134512640 135726644 3221224576 3221223072 134744331 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9059 7808 300 300 0 8759 0
vsize: 36236
[startup+520.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 9949 0 0 0 51923 86 0 0 25 0 1 0 864759545 37105664 7872 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9059 7872 300 300 0 8759 0
vsize: 36236
[startup+530.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10009 0 0 0 52922 87 0 0 25 0 1 0 864759545 37105664 7932 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9059 7932 300 300 0 8759 0
vsize: 36236
[startup+540.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10099 0 0 0 53921 88 0 0 25 0 1 0 864759545 54050816 8022 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13196 8022 300 300 0 12896 0
vsize: 52784
[startup+550.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10140 0 0 0 54920 90 0 0 25 0 1 0 864759545 54050816 8063 4294967295 134512640 135726644 3221224576 3221223088 134742815 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13196 8063 300 300 0 12896 0
vsize: 52784
[startup+560.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10200 0 0 0 55920 90 0 0 25 0 1 0 864759545 54050816 8123 4294967295 134512640 135726644 3221224576 3221223184 134741131 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13196 8123 300 300 0 12896 0
vsize: 52784
[startup+570.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10332 0 0 0 56919 91 0 0 25 0 1 0 864759545 54185984 8255 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13229 8255 300 300 0 12929 0
vsize: 52916
[startup+580.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10392 0 0 0 57919 92 0 0 25 0 1 0 864759545 54382592 8315 4294967295 134512640 135726644 3221224576 3221223072 134744214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13277 8315 300 300 0 12977 0
vsize: 53108
[startup+590.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10494 0 0 0 58918 92 0 0 25 0 1 0 864759545 54513664 8384 4294967295 134512640 135726644 3221224576 3221223120 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13309 8384 300 300 0 13009 0
vsize: 53236
[startup+600.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10632 0 0 0 59917 93 0 0 25 0 1 0 864759545 54644736 8489 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13341 8489 300 300 0 13041 0
vsize: 53364
[startup+610.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10722 0 0 0 60917 94 0 0 25 0 1 0 864759545 54775808 8546 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13373 8546 300 300 0 13073 0
vsize: 53492
[startup+620.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10796 0 0 0 61916 95 0 0 25 0 1 0 864759545 54775808 8620 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13373 8620 300 300 0 13073 0
vsize: 53492
[startup+630.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10883 0 0 0 62915 96 0 0 25 0 1 0 864759545 54898688 8707 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13403 8707 300 300 0 13103 0
vsize: 53612
[startup+640.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10928 0 0 0 63915 97 0 0 25 0 1 0 864759545 54898688 8752 4294967295 134512640 135726644 3221224576 3221223072 134744184 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13403 8752 300 300 0 13103 0
vsize: 53612
[startup+650.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 10995 0 0 0 64914 97 0 0 25 0 1 0 864759545 55050240 8819 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13440 8819 300 300 0 13140 0
vsize: 53760
[startup+660.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11082 0 0 0 65914 98 0 0 25 0 1 0 864759545 55050240 8906 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13440 8906 300 300 0 13140 0
vsize: 53760
[startup+670.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11146 0 0 0 66914 99 0 0 25 0 1 0 864759545 55185408 8970 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 8970 300 300 0 13173 0
vsize: 53892
[startup+680.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11213 0 0 0 67913 100 0 0 25 0 1 0 864759545 55185408 9037 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 9037 300 300 0 13173 0
vsize: 53892
[startup+690.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11279 0 0 0 68912 101 0 0 25 0 1 0 864759545 55185408 9103 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 9103 300 300 0 13173 0
vsize: 53892
[startup+700.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11335 0 0 0 69911 102 0 0 25 0 1 0 864759545 55185408 9159 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 9159 300 300 0 13173 0
vsize: 53892
[startup+710.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11413 0 0 0 70911 102 0 0 25 0 1 0 864759545 55312384 9237 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13504 9237 300 300 0 13204 0
vsize: 54016
[startup+720.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11559 0 0 0 71910 103 0 0 25 0 1 0 864759545 55443456 9350 4294967295 134512640 135726644 3221224576 3221223072 134744263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13536 9350 300 300 0 13236 0
vsize: 54144
[startup+730.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11633 0 0 0 72910 104 0 0 25 0 1 0 864759545 55570432 9424 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13567 9424 300 300 0 13267 0
vsize: 54268
[startup+740.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11705 0 0 0 73909 105 0 0 25 0 1 0 864759545 55701504 9463 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13599 9463 300 300 0 13299 0
vsize: 54396
[startup+750.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11761 0 0 0 74908 106 0 0 25 0 1 0 864759545 55836672 9519 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13632 9519 300 300 0 13332 0
vsize: 54528
[startup+760.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 11777 0 0 0 75908 107 0 0 25 0 1 0 864759545 55836672 9535 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13632 9535 300 300 0 13332 0
vsize: 54528
[startup+770.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13385 0 0 0 76904 110 0 0 25 0 1 0 864759545 62418944 9573 4294967295 134512640 135726644 3221224576 3221223072 134744145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15239 9573 300 300 0 14939 0
vsize: 60956
[startup+780.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13455 0 0 0 77904 111 0 0 25 0 1 0 864759545 62541824 9643 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9643 300 300 0 14969 0
vsize: 61076
[startup+790.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13474 0 0 0 78903 112 0 0 25 0 1 0 864759545 62541824 9662 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9662 300 300 0 14969 0
vsize: 61076
[startup+800.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13532 0 0 0 79903 112 0 0 25 0 1 0 864759545 62541824 9720 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9720 300 300 0 14969 0
vsize: 61076
[startup+810.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13614 0 0 0 80902 113 0 0 25 0 1 0 864759545 62541824 9802 4294967295 134512640 135726644 3221224576 3221223088 134742815 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9802 300 300 0 14969 0
vsize: 61076
[startup+820.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13652 0 0 0 81902 114 0 0 25 0 1 0 864759545 62672896 9840 4294967295 134512640 135726644 3221224576 3221223088 134742948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 9840 300 300 0 15001 0
vsize: 61204
[startup+830.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13727 0 0 0 82901 115 0 0 25 0 1 0 864759545 62672896 9915 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 9915 300 300 0 15001 0
vsize: 61204
[startup+840.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13794 0 0 0 83900 115 0 0 25 0 1 0 864759545 62672896 9982 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 9982 300 300 0 15001 0
vsize: 61204
[startup+850.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13861 0 0 0 84900 116 0 0 25 0 1 0 864759545 62795776 10049 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15331 10049 300 300 0 15031 0
vsize: 61324
[startup+860.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13894 0 0 0 85899 117 0 0 25 0 1 0 864759545 62795776 10082 4294967295 134512640 135726644 3221224576 3221223200 134779687 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15331 10082 300 300 0 15031 0
vsize: 61324
[startup+870.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13918 0 0 0 86899 118 0 0 25 0 1 0 864759545 62795776 10106 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15331 10106 300 300 0 15031 0
vsize: 61324
[startup+880.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13942 0 0 0 87899 118 0 0 25 0 1 0 864759545 62918656 10130 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15361 10130 300 300 0 15061 0
vsize: 61444
[startup+890.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 13981 0 0 0 88898 119 0 0 25 0 1 0 864759545 62918656 10169 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15361 10169 300 300 0 15061 0
vsize: 61444
[startup+900.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14009 0 0 0 89897 120 0 0 25 0 1 0 864759545 63045632 10197 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15392 10197 300 300 0 15092 0
vsize: 61568
[startup+910.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14070 0 0 0 90897 120 0 0 25 0 1 0 864759545 63045632 10258 4294967295 134512640 135726644 3221224576 3221223072 134744274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15392 10258 300 300 0 15092 0
vsize: 61568
[startup+920.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14115 0 0 0 91896 122 0 0 25 0 1 0 864759545 63045632 10303 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15392 10303 300 300 0 15092 0
vsize: 61568
[startup+930.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14199 0 0 0 92895 122 0 0 25 0 1 0 864759545 63180800 10387 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10387 300 300 0 15125 0
vsize: 61700
[startup+940.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14258 0 0 0 93894 123 0 0 25 0 1 0 864759545 63180800 10446 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10446 300 300 0 15125 0
vsize: 61700
[startup+950.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14304 0 0 0 94894 124 0 0 25 0 1 0 864759545 63180800 10492 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10492 300 300 0 15125 0
vsize: 61700
[startup+960.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14390 0 0 0 95893 125 0 0 25 0 1 0 864759545 63180800 10578 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10578 300 300 0 15125 0
vsize: 61700
[startup+970.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14431 0 0 0 96892 126 0 0 25 0 1 0 864759545 63180800 10619 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10619 300 300 0 15125 0
vsize: 61700
[startup+980.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14485 0 0 0 97893 127 0 0 25 0 1 0 864759545 63180800 10673 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10673 300 300 0 15125 0
vsize: 61700
[startup+990.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14577 0 0 0 98893 128 0 0 25 0 1 0 864759545 63311872 10765 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15457 10765 300 300 0 15157 0
vsize: 61828
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14629 0 0 0 99892 129 0 0 25 0 1 0 864759545 63311872 10817 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15457 10817 300 300 0 15157 0
vsize: 61828
[startup+1010.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14798 0 0 0 100890 130 0 0 25 0 1 0 864759545 63709184 10921 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15554 10921 300 300 0 15254 0
vsize: 62216
[startup+1020.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14914 0 0 0 101890 131 0 0 25 0 1 0 864759545 63971328 10972 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15618 10972 300 300 0 15318 0
vsize: 62472
[startup+1030.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 14984 0 0 0 102889 132 0 0 25 0 1 0 864759545 63971328 11042 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15618 11042 300 300 0 15318 0
vsize: 62472
[startup+1040.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15089 0 0 0 103888 133 0 0 25 0 1 0 864759545 64233472 11082 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15682 11082 300 300 0 15382 0
vsize: 62728
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15235 0 0 0 104887 134 0 0 25 0 1 0 864759545 64634880 11195 4294967295 134512640 135726644 3221224576 3221223228 134744472 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15780 11195 300 300 0 15480 0
vsize: 63120
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15275 0 0 0 105886 135 0 0 25 0 1 0 864759545 64770048 11235 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15813 11235 300 300 0 15513 0
vsize: 63252
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15298 0 0 0 106886 136 0 0 25 0 1 0 864759545 64909312 11258 4294967295 134512640 135726644 3221224576 3221222896 134729253 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11258 300 300 0 15547 0
vsize: 63388
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15310 0 0 0 107885 137 0 0 25 0 1 0 864759545 64909312 11270 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11270 300 300 0 15547 0
vsize: 63388
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15327 0 0 0 108884 138 0 0 25 0 1 0 864759545 64909312 11287 4294967295 134512640 135726644 3221224576 3221223088 134742815 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11287 300 300 0 15547 0
vsize: 63388
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15350 0 0 0 109884 139 0 0 25 0 1 0 864759545 64909312 11310 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11310 300 300 0 15547 0
vsize: 63388
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15384 0 0 0 110883 139 0 0 25 0 1 0 864759545 65044480 11344 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15880 11344 300 300 0 15580 0
vsize: 63520
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15435 0 0 0 111882 140 0 0 25 0 1 0 864759545 65175552 11362 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15912 11362 300 300 0 15612 0
vsize: 63648
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15601 0 0 0 112881 141 0 0 25 0 1 0 864759545 65703936 11430 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16041 11430 300 300 0 15741 0
vsize: 64164
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15675 0 0 0 113881 142 0 0 25 0 1 0 864759545 65970176 11504 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16106 11504 300 300 0 15806 0
vsize: 64424
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15765 0 0 0 114880 142 0 0 25 0 1 0 864759545 66232320 11529 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16170 11529 300 300 0 15870 0
vsize: 64680
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15776 0 0 0 115880 143 0 0 25 0 1 0 864759545 66232320 11540 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16170 11540 300 300 0 15870 0
vsize: 64680
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15858 0 0 0 116880 143 0 0 25 0 1 0 864759545 66494464 11557 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16234 11557 300 300 0 15934 0
vsize: 64936
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15874 0 0 0 117879 144 0 0 25 0 1 0 864759545 66494464 11573 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16234 11573 300 300 0 15934 0
vsize: 64936
[startup+1190.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15924 0 0 0 118879 145 0 0 25 0 1 0 864759545 66625536 11590 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16266 11590 300 300 0 15966 0
vsize: 65064
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28041
Raw data (stat): 28041 (pb2sat) R 28040 20001 20000 0 -1 0 15950 0 0 0 119879 145 0 0 25 0 1 0 864759545 66625536 11616 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16266 11616 300 300 0 15966 0
vsize: 65064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28041
Raw data (stat): 28041 (pb2sat) Z 28040 20001 20000 0 -1 12 15951 0 0 0 119888 147 0 0 25 0 1 0 864759545 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.25
CPU time (s): 1200.36
CPU user time (s): 1198.88
CPU system time (s): 1.47878
CPU usage (%): 100.01
Max. virtual memory (Kb): 65064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####