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/manquinho/primes-dimacs-cnf/normalized-f1000.opb
MD5SUM	3b740c03d309134e8e181ea08fc4a1e3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2000
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	2000
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2000
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2000
Total number of constraints	5250
Number of constraints which are clauses	5250
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 42009

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        829368 kB
Buffers:         33820 kB
Cached:         148536 kB
SwapCached:        700 kB
Active:          60440 kB
Inactive:       124068 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        829116 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15068 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 21:26:23 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 25225 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 12/2011	Time: 5.79112/86400
c Decision: 12/2011	Time: 6.50001/86400
c Decision: 12/2011	Time: 7.2129/86400
c Decision: 12/2011	Time: 7.94479/86400
c Decision: 12/2011	Time: 8.69368/86400
c Decision: 12/2011	Time: 9.49556/86400
c Decision: 12/2011	Time: 10.2624/86400
c Decision: 12/2011	Time: 11.0273/86400
c Decision: 12/2011	Time: 11.8872/86400
c Decision: 12/2011	Time: 12.7351/86400
c Decision: 12/2011	Time: 13.5829/86400
c Decision: 12/2011	Time: 14.3778/86400
c Decision: 12/2011	Time: 15.2467/86400
c Decision: 12/2011	Time: 16.1225/86400
c Decision: 12/2011	Time: 17.0404/86400
c Decision: 12/2011	Time: 17.9373/86400
c Decision: 12/2011	Time: 18.8371/86400
c Decision: 12/2011	Time: 19.726/86400
c Decision: 12/2011	Time: 20.6349/86400
c Decision: 12/2011	Time: 21.5817/86400
c Decision: 12/2011	Time: 22.5336/86400
c Decision: 12/2011	Time: 23.5114/86400
c Decision: 12/2011	Time: 24.5303/86400
c Decision: 12/2011	Time: 25.5701/86400
c Decision: 12/2011	Time: 26.512/86400
c Decision: 12/2011	Time: 27.5348/86400
c Decision: 12/2011	Time: 28.5907/86400
c Decision: 12/2011	Time: 29.5655/86400
c Decision: 12/2011	Time: 30.5674/86400
c Decision: 12/2011	Time: 31.6012/86400
c Decision: 12/2011	Time: 32.735/86400
c Decision: 12/2011	Time: 33.8439/86400
c Decision: 12/2011	Time: 34.9517/86400
c Decision: 12/2011	Time: 36.0865/86400
c Decision: 12/2011	Time: 37.2433/86400
c Decision: 12/2011	Time: 38.3622/86400
c Decision: 12/2011	Time: 39.561/86400
c Decision: 12/2011	Time: 40.7548/86400
c Decision: 12/2011	Time: 41.9986/86400
c Decision: 12/2011	Time: 43.1634/86400
c Decision: 12/2011	Time: 44.3733/86400
c Decision: 12/2011	Time: 45.5491/86400
c Decision: 12/2011	Time: 46.8029/86400
c Decision: 12/2011	Time: 47.9837/86400
c Decision: 12/2011	Time: 49.1915/86400
c Decision: 12/2011	Time: 50.5343/86400
c Decision: 12/2011	Time: 51.9301/86400
c Decision: 12/2011	Time: 53.2139/86400
c Decision: 12/2011	Time: 54.5907/86400
c Decision: 12/2011	Time: 55.9285/86400
c Decision: 12/2011	Time: 57.3543/86400
c Decision: 12/2011	Time: 58.7531/86400
c Decision: 12/2011	Time: 60.1779/86400
c Decision: 12/2011	Time: 61.5906/86400
c Decision: 12/2011	Time: 63.0594/86400
c Decision: 12/2011	Time: 64.5342/86400
c Decision: 12/2011	Time: 65.973/86400
c Decision: 12/2011	Time: 67.4577/86400
c Decision: 12/2011	Time: 68.9435/86400
c Decision: 12/2011	Time: 70.2843/86400
c Decision: 12/2011	Time: 71.7121/86400
c Decision: 12/2011	Time: 73.1599/86400
c Decision: 12/2011	Time: 74.7326/86400
c Decision: 12/2011	Time: 76.2824/86400
c Decision: 12/2011	Time: 77.7442/86400
c Decision: 12/2011	Time: 79.3329/86400
c Decision: 12/2011	Time: 80.9557/86400
c Decision: 12/2011	Time: 82.5684/86400
c Decision: 12/2011	Time: 84.1062/86400
c Decision: 12/2011	Time: 85.745/86400
c Decision: 12/2011	Time: 87.4217/86400
c Decision: 12/2011	Time: 88.9495/86400
c Decision: 12/2011	Time: 90.6172/86400
c Decision: 12/2011	Time: 92.232/86400
c Decision: 12/2011	Time: 93.8247/86400
c Decision: 12/2011	Time: 95.6205/86400
c Decision: 12/2011	Time: 97.3592/86400
c Decision: 12/2011	Time: 98.981/86400
c Decision: 12/2011	Time: 100.839/86400
c Decision: 12/2011	Time: 102.407/86400
c Decision: 12/2011	Time: 104.133/86400
c Decision: 12/2011	Time: 105.762/86400
c Decision: 12/2011	Time: 107.472/86400
c Decision: 12/2011	Time: 109.371/86400
c Decision: 12/2011	Time: 111.19/86400
c Decision: 12/2011	Time: 113.05/86400
c Decision: 12/2011	Time: 114.873/86400
c Decision: 12/2011	Time: 116.767/86400
c Decision: 12/2011	Time: 118.696/86400
c Decision: 12/2011	Time: 120.566/86400
c Decision: 12/2011	Time: 122.63/86400
c Decision: 12/2011	Time: 124.574/86400
c Decision: 12/2011	Time: 126.278/86400
c Decision: 12/2011	Time: 128.181/86400
c Decision: 12/2011	Time: 129.903/86400
c Decision: 12/2011	Time: 131.836/86400
c Decision: 12/2011	Time: 133.696/86400
c Decision: 12/2011	Time: 135.763/86400
c Decision: 12/2011	Time: 137.73/86400
c Decision: 12/2011	Time: 139.574/86400
c Decision: 12/2011	Time: 141.628/86400
c Decision: 12/2011	Time: 143.647/86400
c Decision: 12/2011	Time: 145.688/86400
c Decision: 12/2011	Time: 147.747/86400
c Decision: 12/2011	Time: 149.62/86400
c Decision: 12/2011	Time: 151.677/86400
c Decision: 12/2011	Time: 153.684/86400
c Decision: 12/2011	Time: 155.834/86400
c Decision: 12/2011	Time: 157.743/86400
c Decision: 12/2011	Time: 159.782/86400
c Decision: 12/2011	Time: 161.842/86400
c Decision: 12/2011	Time: 164.163/86400
c Decision: 12/2011	Time: 166.125/86400
c Decision: 12/2011	Time: 168.199/86400
c Decision: 12/2011	Time: 170.484/86400
c Decision: 12/2011	Time: 172.803/86400
c Decision: 12/2011	Time: 175.154/86400
c Decision: 12/2011	Time: 177.354/86400
c Decision: 12/2011	Time: 179.401/86400
c Decision: 12/2011	Time: 181.469/86400
c Decision: 12/2011	Time: 183.67/86400
c Decision: 12/2011	Time: 185.938/86400
c Decision: 12/2011	Time: 188.227/86400
c Decision: 12/2011	Time: 190.466/86400
c Decision: 12/2011	Time: 192.509/86400
c Decision: 12/2011	Time: 194.71/86400
c Decision: 12/2011	Time: 196.832/86400
c Decision: 12/2011	Time: 199.034/86400
c Decision: 12/2011	Time: 201.216/86400
c Decision: 12/2011	Time: 203.556/86400
c Decision: 12/2011	Time: 206.16/86400
c Decision: 12/2011	Time: 208.582/86400
c Decision: 12/2011	Time: 210.947/86400
c Decision: 12/2011	Time: 213.388/86400
c Decision: 12/2011	Time: 215.624/86400
c Decision: 12/2011	Time: 218.152/86400
c Decision: 12/2011	Time: 220.51/86400
c Decision: 12/2011	Time: 222.947/86400
c Decision: 12/2011	Time: 225.349/86400
c Decision: 12/2011	Time: 227.719/86400
c Decision: 12/2011	Time: 230.118/86400
c Decision: 12/2011	Time: 232.369/86400
c Decision: 12/2011	Time: 234.898/86400
c Decision: 12/2011	Time: 237.272/86400
c Decision: 12/2011	Time: 239.72/86400
c Decision: 12/2011	Time: 242.106/86400
c Decision: 12/2011	Time: 244.608/86400
c Decision: 12/2011	Time: 246.943/86400
c Decision: 12/2011	Time: 249.652/86400
c Decision: 12/2011	Time: 251.995/86400
c Decision: 12/2011	Time: 254.446/86400
c Decision: 12/2011	Time: 257.152/86400
c Decision: 12/2011	Time: 259.694/86400
c Decision: 12/2011	Time: 262.28/86400
c Decision: 12/2011	Time: 265.02/86400
c Decision: 12/2011	Time: 267.569/86400
c Decision: 12/2011	Time: 270.145/86400
c Decision: 12/2011	Time: 272.718/86400
c Decision: 12/2011	Time: 275.671/86400
c Decision: 12/2011	Time: 278.372/86400
c Decision: 12/2011	Time: 281.115/86400
c Decision: 12/2011	Time: 283.765/86400
c Decision: 12/2011	Time: 286.496/86400
c Decision: 12/2011	Time: 289.203/86400
c Decision: 12/2011	Time: 292.14/86400
c Decision: 12/2011	Time: 294.907/86400
c Decision: 12/2011	Time: 297.909/86400
c Decision: 12/2011	Time: 300.709/86400
c Decision: 12/2011	Time: 303.482/86400
c Decision: 12/2011	Time: 306.373/86400
c Decision: 12/2011	Time: 309.058/86400
c Decision: 12/2011	Time: 312.005/86400
c Decision: 12/2011	Time: 314.535/86400
c Decision: 12/2011	Time: 317.37/86400
c Decision: 12/2011	Time: 320.1/86400
c Decision: 12/2011	Time: 323.283/86400
c Decision: 12/2011	Time: 326.205/86400
c Decision: 12/2011	Time: 329.157/86400
c Decision: 12/2011	Time: 331.8/86400
c Decision: 12/2011	Time: 334.413/86400
c Decision: 12/2011	Time: 337.35/86400
c Decision: 12/2011	Time: 340.071/86400
c Decision: 12/2011	Time: 343.042/86400
c Decision: 12/2011	Time: 345.735/86400
c Decision: 12/2011	Time: 348.269/86400
c Decision: 12/2011	Time: 351.474/86400
c Decision: 12/2011	Time: 354.786/86400
c Decision: 12/2011	Time: 357.548/86400
c Decision: 12/2011	Time: 360.603/86400
c Decision: 12/2011	Time: 363.47/86400
c Decision: 12/2011	Time: 366.715/86400
c Decision: 12/2011	Time: 369.866/86400
c Decision: 12/2011	Time: 372.707/86400
c Decision: 12/2011	Time: 375.783/86400
c Decision: 12/2011	Time: 378.911/86400
c Decision: 12/2011	Time: 382.045/86400
c Decision: 12/2011	Time: 385.105/86400
c Decision: 12/2011	Time: 388.217/86400
c Decision: 12/2011	Time: 391.307/86400
c Decision: 12/2011	Time: 394.436/86400
c Decision: 12/2011	Time: 397.781/86400
c Decision: 12/2011	Time: 400.916/86400
c Decision: 12/2011	Time: 404.211/86400
c Decision: 12/2011	Time: 407.546/86400
c Decision: 12/2011	Time: 410.51/86400
c Decision: 12/2011	Time: 413.653/86400
c Decision: 12/2011	Time: 416.764/86400
c Decision: 12/2011	Time: 420.057/86400
c Decision: 12/2011	Time: 423.009/86400
c Decision: 12/2011	Time: 426.216/86400
c Decision: 12/2011	Time: 429.681/86400
c Decision: 12/2011	Time: 432.898/86400
c Decision: 12/2011	Time: 436.122/86400
c Decision: 12/2011	Time: 439.331/86400
c Decision: 12/2011	Time: 442.478/86400
c Decision: 12/2011	Time: 445.775/86400
c Decision: 12/2011	Time: 448.986/86400
c Decision: 12/2011	Time: 452.195/86400
c Decision: 12/2011	Time: 455.608/86400
c Decision: 12/2011	Time: 458.872/86400
c Decision: 12/2011	Time: 462.227/86400
c Decision: 12/2011	Time: 465.48/86400
c Decision: 12/2011	Time: 468.688/86400
c Decision: 12/2011	Time: 471.92/86400
c Decision: 12/2011	Time: 475.237/86400
c Decision: 12/2011	Time: 478.636/86400
c Decision: 12/2011	Time: 481.634/86400
c Decision: 12/2011	Time: 485.248/86400
c Decision: 12/2011	Time: 488.322/86400
c Decision: 12/2011	Time: 491.548/86400
c Decision: 12/2011	Time: 495.061/86400
c Decision: 12/2011	Time: 498.272/86400
c Decision: 12/2011	Time: 501.708/86400
c Decision: 12/2011	Time: 505.051/86400
c Decision: 12/2011	Time: 508.331/86400
c Decision: 12/2011	Time: 511.454/86400
c Decision: 12/2011	Time: 514.608/86400
c Decision: 12/2011	Time: 518.135/86400
c Decision: 12/2011	Time: 521.463/86400
c Decision: 12/2011	Time: 524.684/86400
c Decision: 12/2011	Time: 527.826/86400
c Decision: 12/2011	Time: 530.94/86400
c Decision: 12/2011	Time: 534.206/86400
c Decision: 12/2011	Time: 537.677/86400
c Decision: 12/2011	Time: 541.23/86400
c Decision: 12/2011	Time: 544.58/86400
c Decision: 12/2011	Time: 548.356/86400
c Decision: 12/2011	Time: 551.743/86400
c Decision: 12/2011	Time: 555.062/86400
c Decision: 12/2011	Time: 558.621/86400
c Decision: 12/2011	Time: 562.381/86400
c Decision: 12/2011	Time: 565.975/86400
c Decision: 12/2011	Time: 569.474/86400
c Decision: 12/2011	Time: 572.997/86400
c Decision: 12/2011	Time: 576.494/86400
c Decision: 12/2011	Time: 580.349/86400
c Decision: 12/2011	Time: 584.027/86400
c Decision: 12/2011	Time: 588.059/86400
c Decision: 12/2011	Time: 591.807/86400
c Decision: 12/2011	Time: 595.65/86400
c Decision: 12/2011	Time: 599.401/86400
c Decision: 12/2011	Time: 603.067/86400
c Decision: 12/2011	Time: 606.336/86400
c Decision: 12/2011	Time: 609.956/86400
c Decision: 12/2011	Time: 613.84/86400
c Decision: 12/2011	Time: 617.376/86400
c Decision: 12/2011	Time: 621.388/86400
c Decision: 12/2011	Time: 624.891/86400
c Decision: 12/2011	Time: 628.36/86400
c Decision: 12/2011	Time: 632.43/86400
c Decision: 12/2011	Time: 636.376/86400
c Decision: 12/2011	Time: 639.73/86400
c Decision: 12/2011	Time: 643.623/86400
c Decision: 12/2011	Time: 646.942/86400
c Decision: 12/2011	Time: 650.755/86400
c Decision: 12/2011	Time: 654.587/86400
c Decision: 12/2011	Time: 658.521/86400
c Decision: 12/2011	Time: 662.438/86400
c Decision: 12/2011	Time: 666.116/86400
c Decision: 12/2011	Time: 670.322/86400
c Decision: 12/2011	Time: 674.597/86400
c Decision: 12/2011	Time: 678.296/86400
c Decision: 12/2011	Time: 681.93/86400
c Decision: 12/2011	Time: 685.525/86400
c Decision: 12/2011	Time: 689.628/86400
c Decision: 12/2011	Time: 693.883/86400
c Decision: 12/2011	Time: 698.234/86400
c Decision: 12/2011	Time: 702.295/86400
c Decision: 12/2011	Time: 705.97/86400
c Decision: 12/2011	Time: 710.034/86400
c Decision: 12/2011	Time: 713.843/86400
c Decision: 12/2011	Time: 717.913/86400
c Decision: 12/2011	Time: 721.886/86400
c Decision: 12/2011	Time: 725.846/86400
c Decision: 12/2011	Time: 729.66/86400
c Decision: 12/2011	Time: 733.867/86400
c Decision: 12/2011	Time: 737.66/86400
c Decision: 12/2011	Time: 741.527/86400
c Decision: 12/2011	Time: 745.784/86400
c Decision: 12/2011	Time: 750.137/86400
c Decision: 12/2011	Time: 754.324/86400
c Decision: 12/2011	Time: 758.243/86400
c Decision: 12/2011	Time: 762.058/86400
c Decision: 12/2011	Time: 765.718/86400
c Decision: 12/2011	Time: 769.521/86400
c Decision: 12/2011	Time: 773.773/86400
c Decision: 12/2011	Time: 777.856/86400
c Decision: 12/2011	Time: 782.197/86400
c Decision: 12/2011	Time: 786.511/86400
c Decision: 12/2011	Time: 790.469/86400
c Decision: 12/2011	Time: 794.6/86400
c Decision: 12/2011	Time: 798.836/86400
c Decision: 12/2011	Time: 802.532/86400
c Decision: 12/2011	Time: 806.677/86400
c Decision: 12/2011	Time: 810.317/86400
c Decision: 12/2011	Time: 814.507/86400
c Decision: 12/2011	Time: 818.435/86400
c Decision: 12/2011	Time: 823.026/86400
c Decision: 12/2011	Time: 826.879/86400
c Decision: 12/2011	Time: 831.202/86400
c Decision: 12/2011	Time: 835.254/86400
c Decision: 12/2011	Time: 839.442/86400
c Decision: 12/2011	Time: 843.578/86400
c Decision: 12/2011	Time: 848.053/86400
c Decision: 12/2011	Time: 852.413/86400
c Decision: 12/2011	Time: 857.257/86400
c Decision: 12/2011	Time: 861.756/86400
c Decision: 12/2011	Time: 866.014/86400
c Decision: 12/2011	Time: 870.325/86400
c Decision: 12/2011	Time: 874.41/86400
c Decision: 12/2011	Time: 879.009/86400
c Decision: 12/2011	Time: 883.317/86400
c Decision: 12/2011	Time: 887.861/86400
c Decision: 12/2011	Time: 891.712/86400
c Decision: 12/2011	Time: 895.903/86400
c Decision: 12/2011	Time: 900.141/86400
c Decision: 12/2011	Time: 904.453/86400
c Decision: 12/2011	Time: 909.036/86400
c Decision: 12/2011	Time: 913.284/86400
c Decision: 12/2011	Time: 917.517/86400
c Decision: 12/2011	Time: 921.94/86400
c Decision: 12/2011	Time: 926.408/86400
c Decision: 12/2011	Time: 930.391/86400
c Decision: 12/2011	Time: 934.534/86400
c Decision: 12/2011	Time: 938.919/86400
c Decision: 12/2011	Time: 943.928/86400
c Decision: 12/2011	Time: 948.538/86400
c Decision: 12/2011	Time: 953.238/86400
c Decision: 12/2011	Time: 957.878/86400
c Decision: 12/2011	Time: 962.857/86400
c Decision: 12/2011	Time: 967.58/86400
c Decision: 12/2011	Time: 972.383/86400
c Decision: 12/2011	Time: 976.705/86400
c Decision: 12/2011	Time: 981.481/86400
c Decision: 12/2011	Time: 986.096/86400
c Decision: 12/2011	Time: 991.001/86400
c Decision: 12/2011	Time: 995.203/86400
c Decision: 12/2011	Time: 999.992/86400
c Decision: 12/2011	Time: 1004.97/86400
c Decision: 12/2011	Time: 1009.47/86400
c Decision: 12/2011	Time: 1013.93/86400
c Decision: 12/2011	Time: 1018.56/86400
c Decision: 12/2011	Time: 1023.67/86400
c Decision: 12/2011	Time: 1027.94/86400
c Decision: 12/2011	Time: 1032.91/86400
c Decision: 12/2011	Time: 1038.2/86400
c Decision: 12/2011	Time: 1042.55/86400
c Decision: 12/2011	Time: 1047.23/86400
c Decision: 12/2011	Time: 1051.07/86400
c Decision: 12/2011	Time: 1055.69/86400
c Decision: 12/2011	Time: 1061.41/86400
c Decision: 12/2011	Time: 1066.17/86400
c Decision: 12/2011	Time: 1071.08/86400
c Decision: 12/2011	Time: 1075.46/86400
c Decision: 12/2011	Time: 1079.99/86400
c Decision: 12/2011	Time: 1084.98/86400
c Decision: 12/2011	Time: 1089.62/86400
c Decision: 12/2011	Time: 1094.5/86400
c Decision: 12/2011	Time: 1098.99/86400
c Decision: 12/2011	Time: 1104.07/86400
c Decision: 12/2011	Time: 1108.91/86400
c Decision: 12/2011	Time: 1113.63/86400
c Decision: 12/2011	Time: 1118.61/86400
c Decision: 12/2011	Time: 1123.24/86400
c Decision: 12/2011	Time: 1128.21/86400
c Decision: 12/2011	Time: 1133.78/86400
c Decision: 12/2011	Time: 1138.38/86400
c Decision: 12/2011	Time: 1143.32/86400
c Decision: 12/2011	Time: 1147.66/86400
c Decision: 12/2011	Time: 1151.72/86400
c Decision: 12/2011	Time: 1156.82/86400
c Decision: 12/2011	Time: 1161.4/86400
c Decision: 12/2011	Time: 1166.21/86400
c Decision: 12/2011	Time: 1171.54/86400
c Decision: 12/2011	Time: 1175.94/86400
c Decision: 12/2011	Time: 1180.71/86400
c Decision: 12/2011	Time: 1185.56/86400
c Decision: 12/2011	Time: 1190.16/86400
c Decision: 12/2011	Time: 1195.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.43 0.76 0.84 1/54 3954
Raw data (stat): 3954 (runsolver) R 3953 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965231395 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.001 s]
Raw data (loadavg): 0.52 0.76 0.84 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 989 0 0 0 988 10 0 0 25 0 1 0 965231395 5459968 922 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1333 922 301 301 0 1032 0
vsize: 5332
[startup+20.0023 s]
Raw data (loadavg): 0.59 0.77 0.84 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 1219 0 0 0 1976 22 0 0 25 0 1 0 965231395 6119424 1055 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1494 1055 301 301 0 1193 0
vsize: 5976
[startup+30.003 s]
Raw data (loadavg): 0.65 0.78 0.84 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 1378 0 0 0 2965 32 0 0 25 0 1 0 965231395 6369280 1214 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1555 1214 301 301 0 1254 0
vsize: 6220
[startup+40.0032 s]
Raw data (loadavg): 0.70 0.78 0.84 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 1737 0 0 0 3954 43 0 0 25 0 1 0 965231395 7409664 1380 4294967295 134512640 135730672 3221224592 3221223136 134740284 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1809 1380 301 301 0 1508 0
vsize: 7236
[startup+50.0036 s]
Raw data (loadavg): 0.75 0.79 0.84 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 1901 0 0 0 4945 51 0 0 25 0 1 0 965231395 7774208 1544 4294967295 134512640 135730672 3221224592 3221222912 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1898 1544 301 301 0 1597 0
vsize: 7592
[startup+60.0037 s]
Raw data (loadavg): 0.79 0.80 0.84 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 2029 0 0 0 5934 61 0 0 25 0 1 0 965231395 10006528 1672 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2443 1672 301 301 0 2142 0
vsize: 9772
[startup+70.0056 s]
Raw data (loadavg): 0.82 0.80 0.84 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 2156 0 0 0 6927 69 0 0 25 0 1 0 965231395 10268672 1799 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2507 1799 301 301 0 2206 0
vsize: 10028
[startup+80.0058 s]
Raw data (loadavg): 0.85 0.81 0.84 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 2298 0 0 0 7921 76 0 0 25 0 1 0 965231395 10395648 1941 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2538 1941 301 301 0 2237 0
vsize: 10152
[startup+90.0063 s]
Raw data (loadavg): 0.87 0.82 0.84 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 2415 0 0 0 8916 80 0 0 25 0 1 0 965231395 10661888 2058 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2603 2058 301 301 0 2302 0
vsize: 10412
[startup+100.007 s]
Raw data (loadavg): 0.89 0.82 0.85 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 2906 0 0 0 9907 89 0 0 25 0 1 0 965231395 12484608 2164 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3048 2164 301 301 0 2747 0
vsize: 12192
[startup+110.007 s]
Raw data (loadavg): 0.91 0.83 0.85 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3006 0 0 0 10902 94 0 0 25 0 1 0 965231395 12607488 2264 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3078 2264 301 301 0 2777 0
vsize: 12312
[startup+120.008 s]
Raw data (loadavg): 0.92 0.83 0.85 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3119 0 0 0 11897 100 0 0 25 0 1 0 965231395 12742656 2377 4294967295 134512640 135730672 3221224592 3221223088 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3111 2377 301 301 0 2810 0
vsize: 12444
[startup+130.009 s]
Raw data (loadavg): 0.93 0.84 0.85 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3220 0 0 0 12890 106 0 0 25 0 1 0 965231395 13021184 2478 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3179 2478 301 301 0 2878 0
vsize: 12716
[startup+140.008 s]
Raw data (loadavg): 0.94 0.84 0.85 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3321 0 0 0 13886 111 0 0 25 0 1 0 965231395 13144064 2579 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3209 2579 301 301 0 2908 0
vsize: 12836
[startup+150.01 s]
Raw data (loadavg): 0.95 0.85 0.85 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3421 0 0 0 14880 116 0 0 25 0 1 0 965231395 13275136 2679 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3241 2679 301 301 0 2940 0
vsize: 12964
[startup+160.01 s]
Raw data (loadavg): 0.96 0.85 0.85 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3505 0 0 0 15875 122 0 0 25 0 1 0 965231395 13533184 2763 4294967295 134512640 135730672 3221224592 3221223232 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3304 2763 301 301 0 3003 0
vsize: 13216
[startup+170.011 s]
Raw data (loadavg): 0.96 0.86 0.85 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3580 0 0 0 16871 126 0 0 25 0 1 0 965231395 13660160 2838 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3335 2838 301 301 0 3034 0
vsize: 13340
[startup+180.011 s]
Raw data (loadavg): 0.97 0.86 0.85 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3661 0 0 0 17865 131 0 0 25 0 1 0 965231395 13787136 2919 4294967295 134512640 135730672 3221224592 3221223104 134746434 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3366 2919 301 301 0 3065 0
vsize: 13464
[startup+190.012 s]
Raw data (loadavg): 0.97 0.86 0.85 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3748 0 0 0 18859 138 0 0 25 0 1 0 965231395 13914112 3006 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3397 3006 301 301 0 3096 0
vsize: 13588
[startup+200.012 s]
Raw data (loadavg): 0.98 0.87 0.86 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3839 0 0 0 19855 142 0 0 25 0 1 0 965231395 18243584 3097 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4454 3097 301 301 0 4153 0
vsize: 17816
[startup+210.012 s]
Raw data (loadavg): 0.98 0.87 0.86 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3913 0 0 0 20851 147 0 0 25 0 1 0 965231395 18382848 3171 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4488 3171 301 301 0 4187 0
vsize: 17952
[startup+220.014 s]
Raw data (loadavg): 0.98 0.87 0.86 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 3994 0 0 0 21845 152 0 0 25 0 1 0 965231395 18518016 3252 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4521 3252 301 301 0 4220 0
vsize: 18084
[startup+230.014 s]
Raw data (loadavg): 0.98 0.88 0.86 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 4083 0 0 0 22841 156 0 0 25 0 1 0 965231395 18640896 3341 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4551 3341 301 301 0 4250 0
vsize: 18204
[startup+240.014 s]
Raw data (loadavg): 0.99 0.88 0.86 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 4142 0 0 0 23837 160 0 0 25 0 1 0 965231395 18776064 3400 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4584 3400 301 301 0 4283 0
vsize: 18336
[startup+250.015 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 4214 0 0 0 24834 164 0 0 25 0 1 0 965231395 18898944 3472 4294967295 134512640 135730672 3221224592 3221222968 135291065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4614 3472 301 301 0 4313 0
vsize: 18456
[startup+260.015 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 4305 0 0 0 25830 167 0 0 25 0 1 0 965231395 19156992 3563 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4677 3563 301 301 0 4376 0
vsize: 18708
[startup+270.016 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 4361 0 0 0 26826 172 0 0 25 0 1 0 965231395 19296256 3619 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4711 3619 301 301 0 4410 0
vsize: 18844
[startup+280.017 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 4431 0 0 0 27821 177 0 0 25 0 1 0 965231395 19443712 3689 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4747 3689 301 301 0 4446 0
vsize: 18988
[startup+290.016 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 4485 0 0 0 28816 182 0 0 25 0 1 0 965231395 19595264 3743 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4784 3743 301 301 0 4483 0
vsize: 19136
[startup+300.017 s]
Raw data (loadavg): 0.99 0.90 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 4548 0 0 0 29812 186 0 0 25 0 1 0 965231395 19595264 3806 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4784 3806 301 301 0 4483 0
vsize: 19136
[startup+310.016 s]
Raw data (loadavg): 0.99 0.90 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5399 0 0 0 30805 193 0 0 25 0 1 0 965231395 22876160 3888 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5585 3888 301 301 0 5284 0
vsize: 22340
[startup+320.017 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5444 0 0 0 31801 198 0 0 25 0 1 0 965231395 23007232 3933 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5617 3933 301 301 0 5316 0
vsize: 22468
[startup+330.018 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5512 0 0 0 32796 202 0 0 25 0 1 0 965231395 23126016 4001 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5646 4001 301 301 0 5345 0
vsize: 22584
[startup+340.017 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5578 0 0 0 33792 206 0 0 25 0 1 0 965231395 23248896 4067 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5676 4067 301 301 0 5375 0
vsize: 22704
[startup+350.018 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5627 0 0 0 34789 211 0 0 25 0 1 0 965231395 23248896 4116 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5676 4116 301 301 0 5375 0
vsize: 22704
[startup+360.018 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5679 0 0 0 35785 214 0 0 25 0 1 0 965231395 23392256 4168 4294967295 134512640 135730672 3221224592 3221223180 134747446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5711 4168 301 301 0 5410 0
vsize: 22844
[startup+370.019 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5729 0 0 0 36782 218 0 0 25 0 1 0 965231395 23552000 4218 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5750 4218 301 301 0 5449 0
vsize: 23000
[startup+380.018 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5791 0 0 0 37778 222 0 0 25 0 1 0 965231395 23687168 4280 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5783 4280 301 301 0 5482 0
vsize: 23132
[startup+390.018 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5843 0 0 0 38774 226 0 0 25 0 1 0 965231395 23687168 4332 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5783 4332 301 301 0 5482 0
vsize: 23132
[startup+400.019 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5906 0 0 0 39770 230 0 0 25 0 1 0 965231395 23814144 4395 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5814 4395 301 301 0 5513 0
vsize: 23256
[startup+410.018 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 5945 0 0 0 40767 234 0 0 25 0 1 0 965231395 23814144 4434 4294967295 134512640 135730672 3221224592 3221223088 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5814 4434 301 301 0 5513 0
vsize: 23256
[startup+420.018 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6009 0 0 0 41764 236 0 0 25 0 1 0 965231395 23949312 4498 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5847 4498 301 301 0 5546 0
vsize: 23388
[startup+430.019 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6072 0 0 0 42761 239 0 0 25 0 1 0 965231395 24076288 4561 4294967295 134512640 135730672 3221224592 3221223104 134746514 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5878 4561 301 301 0 5577 0
vsize: 23512
[startup+440.018 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6120 0 0 0 43758 242 0 0 25 0 1 0 965231395 24195072 4609 4294967295 134512640 135730672 3221224592 3221223088 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5907 4609 301 301 0 5606 0
vsize: 23628
[startup+450.019 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6206 0 0 0 44755 246 0 0 25 0 1 0 965231395 24350720 4695 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5945 4695 301 301 0 5644 0
vsize: 23780
[startup+460.019 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6250 0 0 0 45752 250 0 0 25 0 1 0 965231395 24469504 4739 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5974 4739 301 301 0 5673 0
vsize: 23896
[startup+470.02 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6309 0 0 0 46749 253 0 0 25 0 1 0 965231395 24469504 4798 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5974 4798 301 301 0 5673 0
vsize: 23896
[startup+480.02 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6342 0 0 0 47746 256 0 0 25 0 1 0 965231395 24625152 4831 4294967295 134512640 135730672 3221224592 3221223088 134747871 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6012 4831 301 301 0 5711 0
vsize: 24048
[startup+490.019 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6386 0 0 0 48742 259 0 0 25 0 1 0 965231395 24748032 4875 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6042 4875 301 301 0 5741 0
vsize: 24168
[startup+500.02 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6458 0 0 0 49740 262 0 0 25 0 1 0 965231395 24748032 4947 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6042 4947 301 301 0 5741 0
vsize: 24168
[startup+510.02 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6492 0 0 0 50738 264 0 0 25 0 1 0 965231395 24887296 4981 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6076 4981 301 301 0 5775 0
vsize: 24304
[startup+520.021 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6527 0 0 0 51735 267 0 0 25 0 1 0 965231395 25022464 5016 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6109 5016 301 301 0 5808 0
vsize: 24436
[startup+530.02 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6591 0 0 0 52733 269 0 0 25 0 1 0 965231395 25022464 5080 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6109 5080 301 301 0 5808 0
vsize: 24436
[startup+540.02 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6626 0 0 0 53729 273 0 0 25 0 1 0 965231395 25161728 5115 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6143 5115 301 301 0 5842 0
vsize: 24572
[startup+550.021 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6685 0 0 0 54727 276 0 0 25 0 1 0 965231395 25284608 5174 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6173 5174 301 301 0 5872 0
vsize: 24692
[startup+560.02 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6738 0 0 0 55723 280 0 0 25 0 1 0 965231395 25419776 5227 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6206 5227 301 301 0 5905 0
vsize: 24824
[startup+570.022 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6784 0 0 0 56720 283 0 0 25 0 1 0 965231395 25419776 5273 4294967295 134512640 135730672 3221224592 3221223104 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6206 5273 301 301 0 5905 0
vsize: 24824
[startup+580.022 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6831 0 0 0 57718 286 0 0 25 0 1 0 965231395 25554944 5320 4294967295 134512640 135730672 3221224592 3221223088 134747791 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6239 5320 301 301 0 5938 0
vsize: 24956
[startup+590.022 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6862 0 0 0 58714 289 0 0 25 0 1 0 965231395 25554944 5351 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6239 5351 301 301 0 5938 0
vsize: 24956
[startup+600.022 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6936 0 0 0 59711 292 0 0 25 0 1 0 965231395 25681920 5425 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6270 5425 301 301 0 5969 0
vsize: 25080
[startup+610.022 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 6966 0 0 0 60709 295 0 0 25 0 1 0 965231395 25817088 5455 4294967295 134512640 135730672 3221224592 3221223088 134747783 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6303 5455 301 301 0 6002 0
vsize: 25212
[startup+620.023 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7023 0 0 0 61707 298 0 0 25 0 1 0 965231395 25817088 5512 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6303 5512 301 301 0 6002 0
vsize: 25212
[startup+630.023 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7052 0 0 0 62704 300 0 0 25 0 1 0 965231395 25935872 5541 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6332 5541 301 301 0 6031 0
vsize: 25328
[startup+640.024 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7106 0 0 0 63701 304 0 0 25 0 1 0 965231395 26071040 5595 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6365 5595 301 301 0 6064 0
vsize: 25460
[startup+650.024 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7141 0 0 0 64699 306 0 0 25 0 1 0 965231395 26071040 5630 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6365 5630 301 301 0 6064 0
vsize: 25460
[startup+660.024 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7201 0 0 0 65696 309 0 0 25 0 1 0 965231395 26206208 5690 4294967295 134512640 135730672 3221224592 3221223088 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6398 5690 301 301 0 6097 0
vsize: 25592
[startup+670.025 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7244 0 0 0 66693 312 0 0 25 0 1 0 965231395 26206208 5733 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6398 5733 301 301 0 6097 0
vsize: 25592
[startup+680.025 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7296 0 0 0 67692 314 0 0 25 0 1 0 965231395 26329088 5785 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6428 5785 301 301 0 6127 0
vsize: 25712
[startup+690.025 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7339 0 0 0 68688 317 0 0 25 0 1 0 965231395 26468352 5828 4294967295 134512640 135730672 3221224592 3221223104 134746533 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6462 5828 301 301 0 6161 0
vsize: 25848
[startup+700.026 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7393 0 0 0 69686 320 0 0 25 0 1 0 965231395 26468352 5882 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6462 5882 301 301 0 6161 0
vsize: 25848
[startup+710.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7425 0 0 0 70684 322 0 0 25 0 1 0 965231395 26599424 5914 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6494 5914 301 301 0 6193 0
vsize: 25976
[startup+720.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7480 0 0 0 71682 325 0 0 25 0 1 0 965231395 26599424 5969 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6494 5969 301 301 0 6193 0
vsize: 25976
[startup+730.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7506 0 0 0 72679 327 0 0 25 0 1 0 965231395 26730496 5995 4294967295 134512640 135730672 3221224592 3221223104 134746399 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6526 5995 301 301 0 6225 0
vsize: 26104
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7551 0 0 0 73677 330 0 0 25 0 1 0 965231395 26853376 6040 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6556 6040 301 301 0 6255 0
vsize: 26224
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7582 0 0 0 74675 332 0 0 25 0 1 0 965231395 26853376 6071 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6556 6071 301 301 0 6255 0
vsize: 26224
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7626 0 0 0 75672 335 0 0 25 0 1 0 965231395 26992640 6115 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6590 6115 301 301 0 6289 0
vsize: 26360
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7654 0 0 0 76670 337 0 0 25 0 1 0 965231395 35381248 6143 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8638 6143 301 301 0 8337 0
vsize: 34552
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7709 0 0 0 77667 340 0 0 25 0 1 0 965231395 35520512 6198 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8672 6198 301 301 0 8371 0
vsize: 34688
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7732 0 0 0 78665 343 0 0 25 0 1 0 965231395 35520512 6221 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8672 6221 301 301 0 8371 0
vsize: 34688
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7784 0 0 0 79661 347 0 0 25 0 1 0 965231395 35667968 6273 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8708 6273 301 301 0 8407 0
vsize: 34832
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7829 0 0 0 80658 349 0 0 25 0 1 0 965231395 35667968 6318 4294967295 134512640 135730672 3221224592 3221223088 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8708 6318 301 301 0 8407 0
vsize: 34832
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7890 0 0 0 81657 351 0 0 25 0 1 0 965231395 35786752 6379 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8737 6379 301 301 0 8436 0
vsize: 34948
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7914 0 0 0 82654 354 0 0 25 0 1 0 965231395 35930112 6403 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8772 6403 301 301 0 8471 0
vsize: 35088
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7972 0 0 0 83651 357 0 0 25 0 1 0 965231395 36098048 6461 4294967295 134512640 135730672 3221224592 3221223088 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8813 6461 301 301 0 8512 0
vsize: 35252
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 7991 0 0 0 84649 360 0 0 25 0 1 0 965231395 36098048 6480 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8813 6480 301 301 0 8512 0
vsize: 35252
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8033 0 0 0 85647 362 0 0 25 0 1 0 965231395 36098048 6522 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8813 6522 301 301 0 8512 0
vsize: 35252
[startup+870.031 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8059 0 0 0 86645 364 0 0 25 0 1 0 965231395 36237312 6548 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8847 6548 301 301 0 8546 0
vsize: 35388
[startup+880.031 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8123 0 0 0 87642 367 0 0 25 0 1 0 965231395 36237312 6612 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8847 6612 301 301 0 8546 0
vsize: 35388
[startup+890.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8153 0 0 0 88640 369 0 0 25 0 1 0 965231395 36372480 6642 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8880 6642 301 301 0 8579 0
vsize: 35520
[startup+900.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8213 0 0 0 89637 372 0 0 25 0 1 0 965231395 36511744 6702 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8914 6702 301 301 0 8613 0
vsize: 35656
[startup+910.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8243 0 0 0 90636 374 0 0 25 0 1 0 965231395 36511744 6732 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8914 6732 301 301 0 8613 0
vsize: 35656
[startup+920.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8271 0 0 0 91633 377 0 0 25 0 1 0 965231395 36630528 6760 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8943 6760 301 301 0 8642 0
vsize: 35772
[startup+930.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8315 0 0 0 92630 380 0 0 25 0 1 0 965231395 36630528 6804 4294967295 134512640 135730672 3221224592 3221223088 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8943 6804 301 301 0 8642 0
vsize: 35772
[startup+940.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8343 0 0 0 93627 383 0 0 25 0 1 0 965231395 36761600 6832 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8975 6832 301 301 0 8674 0
vsize: 35900
[startup+950.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8383 0 0 0 94625 385 0 0 25 0 1 0 965231395 36761600 6872 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8975 6872 301 301 0 8674 0
vsize: 35900
[startup+960.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8408 0 0 0 95623 388 0 0 25 0 1 0 965231395 36950016 6897 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9021 6897 301 301 0 8720 0
vsize: 36084
[startup+970.031 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8461 0 0 0 96621 390 0 0 25 0 1 0 965231395 36950016 6950 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9021 6950 301 301 0 8720 0
vsize: 36084
[startup+980.031 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8487 0 0 0 97618 393 0 0 25 0 1 0 965231395 37081088 6976 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9053 6976 301 301 0 8752 0
vsize: 36212
[startup+990.031 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 8537 0 0 0 98615 396 0 0 25 0 1 0 965231395 37216256 7026 4294967295 134512640 135730672 3221224592 3221223088 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9086 7026 301 301 0 8785 0
vsize: 36344
[startup+1000.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10104 0 0 0 99610 401 0 0 25 0 1 0 965231395 43507712 7056 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10622 7056 301 301 0 10321 0
vsize: 42488
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10138 0 0 0 100608 404 0 0 25 0 1 0 965231395 43642880 7090 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10655 7090 301 301 0 10354 0
vsize: 42620
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10183 0 0 0 101606 406 0 0 25 0 1 0 965231395 43642880 7135 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10655 7135 301 301 0 10354 0
vsize: 42620
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10213 0 0 0 102603 408 0 0 25 0 1 0 965231395 43786240 7165 4294967295 134512640 135730672 3221224592 3221223088 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10690 7165 301 301 0 10389 0
vsize: 42760
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10264 0 0 0 103600 412 0 0 25 0 1 0 965231395 43905024 7216 4294967295 134512640 135730672 3221224592 3221223088 134747842 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10719 7216 301 301 0 10418 0
vsize: 42876
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10289 0 0 0 104598 414 0 0 25 0 1 0 965231395 43905024 7241 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10719 7241 301 301 0 10418 0
vsize: 42876
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10324 0 0 0 105596 417 0 0 25 0 1 0 965231395 44044288 7276 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10753 7276 301 301 0 10452 0
vsize: 43012
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10356 0 0 0 106593 419 0 0 25 0 1 0 965231395 44208128 7308 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10793 7308 301 301 0 10492 0
vsize: 43172
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10385 0 0 0 107592 421 0 0 25 0 1 0 965231395 44208128 7337 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10793 7337 301 301 0 10492 0
vsize: 43172
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10429 0 0 0 108589 424 0 0 25 0 1 0 965231395 44208128 7381 4294967295 134512640 135730672 3221224592 3221223104 134746523 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10793 7381 301 301 0 10492 0
vsize: 43172
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10462 0 0 0 109587 426 0 0 25 0 1 0 965231395 44335104 7414 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10824 7414 301 301 0 10523 0
vsize: 43296
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10517 0 0 0 110584 429 0 0 25 0 1 0 965231395 44335104 7469 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10824 7469 301 301 0 10523 0
vsize: 43296
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10538 0 0 0 111583 430 0 0 25 0 1 0 965231395 44466176 7490 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10856 7490 301 301 0 10555 0
vsize: 43424
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10577 0 0 0 112581 433 0 0 25 0 1 0 965231395 44466176 7529 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10856 7529 301 301 0 10555 0
vsize: 43424
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10615 0 0 0 113579 435 0 0 25 0 1 0 965231395 44597248 7567 4294967295 134512640 135730672 3221224592 3221223088 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10888 7567 301 301 0 10587 0
vsize: 43552
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10637 0 0 0 114576 438 0 0 25 0 1 0 965231395 44597248 7589 4294967295 134512640 135730672 3221224592 3221223184 134764113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10888 7589 301 301 0 10587 0
vsize: 43552
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10682 0 0 0 115574 440 0 0 25 0 1 0 965231395 44716032 7634 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10917 7634 301 301 0 10616 0
vsize: 43668
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10705 0 0 0 116572 442 0 0 25 0 1 0 965231395 44716032 7657 4294967295 134512640 135730672 3221224592 3221223088 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10917 7657 301 301 0 10616 0
vsize: 43668
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10740 0 0 0 117570 444 0 0 25 0 1 0 965231395 44847104 7692 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10949 7692 301 301 0 10648 0
vsize: 43796
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10771 0 0 0 118568 446 0 0 25 0 1 0 965231395 44847104 7723 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10949 7723 301 301 0 10648 0
vsize: 43796
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3954
Raw data (stat): 3954 (pb2sat-v2) R 3953 7266 7265 0 -1 0 10811 0 0 0 119567 448 0 0 25 0 1 0 965231395 44974080 7763 4294967295 134512640 135730672 3221224592 3221223104 134746221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10980 7763 301 301 0 10679 0
vsize: 43920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 3954
Raw data (stat): 3954 (pb2sat-v2) Z 3953 7266 7265 0 -1 12 10813 0 0 0 119579 449 0 0 25 0 1 0 965231395 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.17
CPU time (s): 1200.29
CPU user time (s): 1195.79
CPU system time (s): 4.49732
CPU usage (%): 100.01
Max. virtual memory (Kb): 43920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####