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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
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.01384
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 35763

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-28 13:45:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24983 boxname=wulflinc12 idbench=1455 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 24983
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        727736 kB
Buffers:         36224 kB
Cached:         235164 kB
SwapCached:        340 kB
Active:          22004 kB
Inactive:       261144 kB
HighTotal:      131008 kB
HighFree:        70756 kB
LowTotal:       903652 kB
LowFree:        656980 kB
SwapTotal:     2097136 kB
SwapFree:      2096008 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            18096 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 14:05:38 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 24983 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+0.23795 s]  setting bit 5 to 0

Decision: 345/1661	Time: 1.3278/86400
Decision: 345/1661	Time: 1.71474/86400
Decision: 345/1661	Time: 2.15567/86400
Decision: 345/1661	Time: 2.6116/86400
Decision: 345/1661	Time: 3.08553/86400
Decision: 345/1661	Time: 3.58346/86400
Decision: 345/1661	Time: 4.05338/86400
Decision: 345/1661	Time: 4.55431/86400
Decision: 345/1661	Time: 5.08423/86400
Decision: 345/1661	Time: 5.63214/86400
Decision: 345/1661	Time: 6.22405/86400
Decision: 345/1661	Time: 6.75497/86400
Decision: 345/1661	Time: 7.33189/86400
Decision: 345/1661	Time: 7.8908/86400
Decision: 345/1661	Time: 8.43272/86400
Decision: 345/1661	Time: 9.07962/86400
Decision: 345/1661	Time: 9.65953/86400
Decision: 345/1661	Time: 10.3244/86400
Decision: 345/1661	Time: 11.0313/86400
Decision: 345/1661	Time: 11.6592/86400
Decision: 345/1661	Time: 12.3841/86400
Decision: 345/1661	Time: 13.066/86400
Decision: 345/1661	Time: 13.7579/86400
Decision: 345/1661	Time: 14.4148/86400
Decision: 345/1661	Time: 15.1357/86400
Decision: 345/1661	Time: 15.9486/86400
Decision: 345/1661	Time: 16.7035/86400
Decision: 345/1661	Time: 17.5063/86400
Decision: 345/1661	Time: 18.2592/86400
Decision: 345/1661	Time: 18.9771/86400
Decision: 345/1661	Time: 19.88/86400
Decision: 345/1661	Time: 20.6929/86400
Decision: 345/1661	Time: 21.4967/86400
Decision: 345/1661	Time: 22.3486/86400
Decision: 345/1661	Time: 23.2425/86400
Decision: 345/1661	Time: 24.1143/86400
Decision: 345/1661	Time: 25.0372/86400
Decision: 345/1661	Time: 25.9631/86400
Decision: 345/1661	Time: 26.8629/86400
Decision: 345/1661	Time: 27.7418/86400
Decision: 345/1661	Time: 28.6117/86400
Decision: 345/1661	Time: 29.5285/86400
Decision: 345/1661	Time: 30.4534/86400
Decision: 345/1661	Time: 31.3582/86400
Decision: 345/1661	Time: 32.2671/86400
Decision: 345/1661	Time: 33.2759/86400
Decision: 345/1661	Time: 34.3038/86400
Decision: 345/1661	Time: 35.3426/86400
Decision: 345/1661	Time: 36.3555/86400
Decision: 345/1661	Time: 37.3653/86400
Decision: 345/1661	Time: 38.4442/86400
Decision: 345/1661	Time: 39.388/86400
Decision: 345/1661	Time: 40.4888/86400
Decision: 345/1661	Time: 41.4907/86400
Decision: 345/1661	Time: 42.4985/86400
Decision: 345/1661	Time: 43.4924/86400
Decision: 345/1661	Time: 44.4712/86400
Decision: 345/1661	Time: 45.5681/86400
Decision: 345/1661	Time: 46.6279/86400
Decision: 345/1661	Time: 47.6798/86400
Decision: 345/1661	Time: 48.7986/86400
Decision: 345/1661	Time: 49.9064/86400
Decision: 345/1661	Time: 51.0572/86400
Decision: 345/1661	Time: 52.1341/86400
Decision: 345/1661	Time: 53.3419/86400
Decision: 345/1661	Time: 54.7537/86400
Decision: 345/1661	Time: 55.9025/86400
Decision: 345/1661	Time: 56.9763/86400
Decision: 345/1661	Time: 58.1412/86400
Decision: 345/1661	Time: 59.291/86400
Decision: 345/1661	Time: 60.5228/86400
Decision: 345/1661	Time: 61.7616/86400
Decision: 345/1661	Time: 62.9374/86400
Decision: 345/1661	Time: 64.0313/86400
Decision: 345/1661	Time: 65.467/86400
Decision: 345/1661	Time: 66.8738/86400
Decision: 345/1661	Time: 68.0897/86400
Decision: 345/1661	Time: 69.3155/86400
Decision: 345/1661	Time: 70.5823/86400
Decision: 345/1661	Time: 71.7761/86400
Decision: 345/1661	Time: 73.2259/86400
Decision: 345/1661	Time: 74.5497/86400
Decision: 345/1661	Time: 75.9265/86400
Decision: 345/1661	Time: 77.1713/86400
Decision: 345/1661	Time: 78.5301/86400
Decision: 345/1661	Time: 79.9308/86400
Decision: 345/1661	Time: 81.5286/86400
Decision: 345/1661	Time: 82.8694/86400
Decision: 345/1661	Time: 84.3382/86400
Decision: 345/1661	Time: 85.654/86400
Decision: 345/1661	Time: 87.0708/86400
Decision: 345/1661	Time: 88.4236/86400
Decision: 345/1661	Time: 89.8073/86400
Decision: 345/1661	Time: 91.3251/86400
Decision: 345/1661	Time: 92.6379/86400
Decision: 345/1661	Time: 94.2787/86400
Decision: 345/1661	Time: 95.8384/86400
Decision: 345/1661	Time: 97.5992/86400
Decision: 345/1661	Time: 99.0949/86400
Decision: 345/1661	Time: 100.569/86400
Decision: 345/1661	Time: 102.036/86400
Decision: 345/1661	Time: 103.407/86400
Decision: 345/1661	Time: 104.846/86400
Decision: 345/1661	Time: 106.419/86400
Decision: 345/1661	Time: 107.959/86400
Decision: 345/1661	Time: 109.541/86400
Decision: 345/1661	Time: 111.104/86400
Decision: 345/1661	Time: 112.626/86400
Decision: 345/1661	Time: 114.173/86400
Decision: 345/1661	Time: 115.696/86400
Decision: 345/1661	Time: 117.492/86400
Decision: 345/1661	Time: 119.072/86400
Decision: 345/1661	Time: 120.644/86400
Decision: 345/1661	Time: 122.263/86400
Decision: 345/1661	Time: 123.777/86400
Decision: 345/1661	Time: 125.503/86400
Decision: 345/1661	Time: 127.236/86400
Decision: 345/1661	Time: 128.914/86400
Decision: 345/1661	Time: 130.568/86400
Decision: 345/1661	Time: 132.275/86400
Decision: 345/1661	Time: 134.224/86400
Decision: 345/1661	Time: 135.918/86400
Decision: 345/1661	Time: 137.649/86400
Decision: 345/1661	Time: 139.454/86400
Decision: 345/1661	Time: 141.03/86400
Decision: 345/1661	Time: 142.907/86400
Decision: 345/1661	Time: 144.466/86400
Decision: 345/1661	Time: 146.091/86400
Decision: 345/1661	Time: 147.751/86400
Decision: 345/1661	Time: 149.419/86400
Decision: 345/1661	Time: 151.156/86400
Decision: 345/1661	Time: 153.214/86400
Decision: 345/1661	Time: 154.9/86400
Decision: 345/1661	Time: 156.642/86400
Decision: 345/1661	Time: 158.529/86400
Decision: 345/1661	Time: 160.408/86400
Decision: 345/1661	Time: 162.461/86400
Decision: 345/1661	Time: 164.393/86400
Decision: 345/1661	Time: 166.356/86400
Decision: 345/1661	Time: 168.215/86400
Decision: 345/1661	Time: 170.378/86400
Decision: 345/1661	Time: 172.333/86400
Decision: 345/1661	Time: 174.13/86400
Decision: 345/1661	Time: 176.18/86400
Decision: 345/1661	Time: 178.165/86400
Decision: 345/1661	Time: 180.175/86400
Decision: 345/1661	Time: 182.058/86400
Decision: 345/1661	Time: 183.77/86400
Decision: 345/1661	Time: 185.634/86400
Decision: 345/1661	Time: 187.635/86400
Decision: 345/1661	Time: 189.532/86400
Decision: 345/1661	Time: 191.416/86400
Decision: 345/1661	Time: 193.45/86400
Decision: 345/1661	Time: 195.337/86400
Decision: 345/1661	Time: 197.424/86400
Decision: 345/1661	Time: 199.421/86400
Decision: 345/1661	Time: 201.158/86400
Decision: 345/1661	Time: 202.871/86400
Decision: 345/1661	Time: 204.79/86400
Decision: 345/1661	Time: 206.932/86400
Decision: 345/1661	Time: 209.052/86400
Decision: 345/1661	Time: 210.889/86400
Decision: 345/1661	Time: 212.618/86400
Decision: 345/1661	Time: 214.826/86400
Decision: 345/1661	Time: 216.849/86400
Decision: 345/1661	Time: 218.828/86400
Decision: 345/1661	Time: 220.775/86400
Decision: 345/1661	Time: 222.881/86400
Decision: 345/1661	Time: 224.815/86400
Decision: 345/1661	Time: 226.815/86400
Decision: 345/1661	Time: 229.2/86400
Decision: 345/1661	Time: 231.119/86400
Decision: 345/1661	Time: 233.448/86400
Decision: 345/1661	Time: 235.341/86400
Decision: 345/1661	Time: 237.578/86400
Decision: 345/1661	Time: 239.81/86400
Decision: 345/1661	Time: 242.345/86400
Decision: 345/1661	Time: 244.492/86400
Decision: 345/1661	Time: 246.874/86400
Decision: 345/1661	Time: 249.249/86400
Decision: 345/1661	Time: 251.479/86400
Decision: 345/1661	Time: 253.533/86400
Decision: 345/1661	Time: 255.877/86400
Decision: 345/1661	Time: 257.91/86400
Decision: 345/1661	Time: 259.924/86400
Decision: 345/1661	Time: 262.228/86400
Decision: 345/1661	Time: 264.104/86400
Decision: 345/1661	Time: 266.286/86400
Decision: 345/1661	Time: 268.522/86400
Decision: 345/1661	Time: 271.173/86400
Decision: 345/1661	Time: 273.973/86400
Decision: 345/1661	Time: 276.14/86400
Decision: 345/1661	Time: 278.565/86400
Decision: 345/1661	Time: 280.803/86400
Decision: 345/1661	Time: 282.995/86400
Decision: 345/1661	Time: 285.505/86400
Decision: 345/1661	Time: 287.479/86400
Decision: 345/1661	Time: 289.779/86400
Decision: 345/1661	Time: 291.715/86400
Decision: 345/1661	Time: 293.966/86400
Decision: 345/1661	Time: 296.377/86400
Decision: 345/1661	Time: 299.236/86400
Decision: 345/1661	Time: 301.609/86400
Decision: 345/1661	Time: 303.895/86400
Decision: 345/1661	Time: 306.457/86400
Decision: 345/1661	Time: 309.509/86400
Decision: 345/1661	Time: 311.83/86400
Decision: 345/1661	Time: 314.299/86400
Decision: 345/1661	Time: 316.792/86400
Decision: 345/1661	Time: 318.939/86400
Decision: 345/1661	Time: 321.674/86400
Decision: 345/1661	Time: 324.239/86400
Decision: 345/1661	Time: 326.626/86400
Decision: 345/1661	Time: 329.009/86400
Decision: 345/1661	Time: 331.771/86400
Decision: 345/1661	Time: 334.33/86400
Decision: 345/1661	Time: 336.803/86400
Decision: 345/1661	Time: 339.102/86400
Decision: 345/1661	Time: 341.601/86400
Decision: 345/1661	Time: 344.29/86400
Decision: 345/1661	Time: 347.175/86400
Decision: 345/1661	Time: 349.643/86400
Decision: 345/1661	Time: 352.251/86400
Decision: 345/1661	Time: 354.711/86400
Decision: 345/1661	Time: 357.306/86400
Decision: 345/1661	Time: 360.042/86400
Decision: 345/1661	Time: 362.461/86400
Decision: 345/1661	Time: 365.002/86400
Decision: 345/1661	Time: 367.423/86400
Decision: 345/1661	Time: 369.518/86400
Decision: 345/1661	Time: 372.624/86400
Decision: 345/1661	Time: 374.974/86400
Decision: 345/1661	Time: 377.448/86400
Decision: 345/1661	Time: 379.69/86400
Decision: 345/1661	Time: 382.193/86400
Decision: 345/1661	Time: 385.037/86400
Decision: 345/1661	Time: 387.568/86400
Decision: 345/1661	Time: 390.405/86400
Decision: 345/1661	Time: 392.875/86400
Decision: 345/1661	Time: 395.416/86400
Decision: 345/1661	Time: 397.928/86400
Decision: 345/1661	Time: 400.376/86400
Decision: 345/1661	Time: 402.776/86400
Decision: 345/1661	Time: 405.859/86400
Decision: 345/1661	Time: 408.629/86400
Decision: 345/1661	Time: 411.343/86400
Decision: 345/1661	Time: 413.797/86400
Decision: 345/1661	Time: 416.189/86400
Decision: 345/1661	Time: 418.398/86400
Decision: 345/1661	Time: 420.908/86400
Decision: 345/1661	Time: 423.501/86400
Decision: 345/1661	Time: 426.075/86400
Decision: 345/1661	Time: 428.672/86400
Decision: 345/1661	Time: 431.3/86400
Decision: 345/1661	Time: 435.075/86400
Decision: 345/1661	Time: 437.865/86400
Decision: 345/1661	Time: 440.516/86400
Decision: 345/1661	Time: 443.354/86400
Decision: 345/1661	Time: 446.081/86400
Decision: 345/1661	Time: 448.984/86400
Decision: 345/1661	Time: 452.008/86400
Decision: 345/1661	Time: 455.044/86400
Decision: 345/1661	Time: 457.64/86400
Decision: 345/1661	Time: 460.481/86400
Decision: 345/1661	Time: 463.236/86400
Decision: 345/1661	Time: 466.472/86400
Decision: 345/1661	Time: 469.216/86400
Decision: 345/1661	Time: 472.191/86400
Decision: 345/1661	Time: 474.954/86400
Decision: 345/1661	Time: 477.88/86400
Decision: 345/1661	Time: 481.498/86400
Decision: 345/1661	Time: 484.232/86400
Decision: 345/1661	Time: 486.869/86400
Decision: 345/1661	Time: 489.778/86400
Decision: 345/1661	Time: 492.518/86400
Decision: 345/1661	Time: 495.406/86400
Decision: 345/1661	Time: 498.282/86400
Decision: 345/1661	Time: 501.337/86400
Decision: 345/1661	Time: 504.194/86400
Decision: 345/1661	Time: 506.764/86400
Decision: 345/1661	Time: 510.441/86400
Decision: 345/1661	Time: 513.159/86400
Decision: 345/1661	Time: 516.098/86400
Decision: 345/1661	Time: 518.721/86400
Decision: 345/1661	Time: 521.675/86400
Decision: 345/1661	Time: 524.985/86400
Decision: 345/1661	Time: 527.627/86400
Decision: 345/1661	Time: 530.555/86400
Decision: 345/1661	Time: 533.652/86400
Decision: 345/1661	Time: 536.904/86400
Decision: 345/1661	Time: 540.02/86400
Decision: 345/1661	Time: 542.627/86400
Decision: 345/1661	Time: 545.328/86400
Decision: 345/1661	Time: 548.059/86400
Decision: 345/1661	Time: 550.786/86400
Decision: 345/1661	Time: 553.978/86400
Decision: 345/1661	Time: 557.027/86400
Decision: 345/1661	Time: 559.804/86400
Decision: 345/1661	Time: 562.967/86400
Decision: 345/1661	Time: 566.346/86400
Decision: 345/1661	Time: 570.099/86400
Decision: 345/1661	Time: 573.198/86400
Decision: 345/1661	Time: 576.06/86400
Decision: 345/1661	Time: 579.571/86400
Decision: 345/1661	Time: 582.646/86400
Decision: 345/1661	Time: 585.734/86400
Decision: 345/1661	Time: 588.368/86400
Decision: 345/1661	Time: 591.681/86400
Decision: 345/1661	Time: 594.982/86400
Decision: 345/1661	Time: 598.056/86400
Decision: 345/1661	Time: 601.374/86400
Decision: 345/1661	Time: 603.637/86400
Decision: 345/1661	Time: 606.7/86400
Decision: 345/1661	Time: 609.804/86400
Decision: 345/1661	Time: 612.562/86400
Decision: 345/1661	Time: 615.969/86400
Decision: 345/1661	Time: 618.279/86400
Decision: 345/1661	Time: 621.123/86400
Decision: 345/1661	Time: 624.523/86400
Decision: 345/1661	Time: 627.359/86400
Decision: 345/1661	Time: 630.759/86400
Decision: 345/1661	Time: 633.349/86400
Decision: 345/1661	Time: 636.568/86400
Decision: 345/1661	Time: 640.241/86400
Decision: 345/1661	Time: 643.169/86400
Decision: 345/1661	Time: 646.471/86400
Decision: 345/1661	Time: 649.966/86400
Decision: 345/1661	Time: 653.264/86400
Decision: 345/1661	Time: 656.903/86400
Decision: 345/1661	Time: 660.045/86400
Decision: 345/1661	Time: 663.393/86400
Decision: 345/1661	Time: 666.36/86400
Decision: 345/1661	Time: 669.287/86400
Decision: 345/1661	Time: 671.9/86400
Decision: 345/1661	Time: 674.763/86400
Decision: 345/1661	Time: 678.652/86400
Decision: 345/1661	Time: 682.07/86400
Decision: 345/1661	Time: 684.836/86400
Decision: 345/1661	Time: 688.185/86400
Decision: 345/1661	Time: 691.388/86400
Decision: 345/1661	Time: 695.039/86400
Decision: 345/1661	Time: 698.021/86400
Decision: 345/1661	Time: 701.596/86400
Decision: 345/1661	Time: 704.691/86400
Decision: 345/1661	Time: 707.696/86400
Decision: 345/1661	Time: 711.459/86400
Decision: 345/1661	Time: 715.499/86400
Decision: 345/1661	Time: 718.756/86400
Decision: 345/1661	Time: 721.42/86400
Decision: 345/1661	Time: 724.612/86400
Decision: 345/1661	Time: 728.227/86400
Decision: 345/1661	Time: 731.306/86400
Decision: 345/1661	Time: 734.564/86400
Decision: 345/1661	Time: 737.576/86400
Decision: 345/1661	Time: 741.148/86400
Decision: 345/1661	Time: 745.263/86400
Decision: 345/1661	Time: 748.63/86400
Decision: 345/1661	Time: 751.836/86400
Decision: 345/1661	Time: 754.381/86400
Decision: 345/1661	Time: 757.538/86400
Decision: 345/1661	Time: 761.447/86400
Decision: 345/1661	Time: 764.981/86400
Decision: 345/1661	Time: 768.058/86400
Decision: 345/1661	Time: 770.936/86400
Decision: 345/1661	Time: 774.45/86400
Decision: 345/1661	Time: 778.506/86400
Decision: 345/1661	Time: 782.529/86400
Decision: 345/1661	Time: 785.421/86400
Decision: 345/1661	Time: 788.58/86400
Decision: 345/1661	Time: 792.013/86400
Decision: 345/1661	Time: 795.814/86400
Decision: 345/1661	Time: 798.941/86400
Decision: 345/1661	Time: 801.696/86400
Decision: 345/1661	Time: 804.181/86400
Decision: 345/1661	Time: 807.297/86400
Decision: 345/1661	Time: 810.846/86400
Decision: 345/1661	Time: 814.165/86400
Decision: 345/1661	Time: 816.97/86400
Decision: 345/1661	Time: 820.213/86400
Decision: 345/1661	Time: 823.706/86400
Decision: 345/1661	Time: 827.389/86400
Decision: 345/1661	Time: 830.505/86400
Decision: 345/1661	Time: 833.939/86400
Decision: 345/1661	Time: 837.117/86400
Decision: 345/1661	Time: 840.524/86400
Decision: 345/1661	Time: 844.319/86400
Decision: 345/1661	Time: 847.061/86400
Decision: 345/1661	Time: 850.121/86400
Decision: 345/1661	Time: 853.32/86400
Decision: 345/1661	Time: 856.317/86400
Decision: 345/1661	Time: 859.966/86400
Decision: 345/1661	Time: 862.984/86400
Decision: 345/1661	Time: 865.742/86400
Decision: 345/1661	Time: 869.332/86400
Decision: 345/1661	Time: 872.043/86400
Decision: 345/1661	Time: 875.726/86400
Decision: 345/1661	Time: 879.057/86400
Decision: 345/1661	Time: 882.515/86400
Decision: 345/1661	Time: 885.753/86400
Decision: 345/1661	Time: 888.866/86400
Decision: 345/1661	Time: 892.781/86400
Decision: 345/1661	Time: 895.467/86400
Decision: 345/1661	Time: 898.874/86400
Decision: 345/1661	Time: 902.207/86400
Decision: 345/1661	Time: 905.863/86400
Decision: 345/1661	Time: 909.62/86400
Decision: 345/1661	Time: 912.545/86400
Decision: 345/1661	Time: 915.713/86400
Decision: 345/1661	Time: 918.908/86400
Decision: 345/1661	Time: 922.105/86400
Decision: 345/1661	Time: 925.534/86400
Decision: 345/1661	Time: 928.869/86400
Decision: 345/1661	Time: 931.797/86400
Decision: 345/1661	Time: 935.364/86400
Decision: 345/1661	Time: 938.247/86400
Decision: 345/1661	Time: 941.952/86400
Decision: 345/1661	Time: 945.595/86400
Decision: 345/1661	Time: 948.75/86400
Decision: 345/1661	Time: 952.102/86400
Decision: 345/1661	Time: 955.621/86400
Decision: 345/1661	Time: 959.546/86400
Decision: 345/1661	Time: 962.778/86400
Decision: 345/1661	Time: 965.932/86400
Decision: 345/1661	Time: 969.08/86400
Decision: 345/1661	Time: 972.323/86400
Decision: 345/1661	Time: 976.296/86400
Decision: 345/1661	Time: 979.688/86400
Decision: 345/1661	Time: 983.227/86400
Decision: 345/1661	Time: 986.726/86400
Decision: 345/1661	Time: 990.175/86400
Decision: 345/1661	Time: 993.651/86400
Decision: 345/1661	Time: 997.008/86400
Decision: 345/1661	Time: 1000.73/86400
Decision: 345/1661	Time: 1003.85/86400
Decision: 345/1661	Time: 1007.44/86400
Decision: 345/1661	Time: 1011.48/86400
Decision: 345/1661	Time: 1015.21/86400
Decision: 345/1661	Time: 1018.36/86400
Decision: 345/1661	Time: 1021.51/86400
Decision: 345/1661	Time: 1024.88/86400
Decision: 345/1661	Time: 1028.45/86400
Decision: 345/1661	Time: 1031.39/86400
Decision: 345/1661	Time: 1034.68/86400
Decision: 345/1661	Time: 1037.79/86400
Decision: 345/1661	Time: 1041.85/86400
Decision: 345/1661	Time: 1045.54/86400
Decision: 345/1661	Time: 1048.74/86400
Decision: 345/1661	Time: 1051.93/86400
Decision: 345/1661	Time: 1055.28/86400
Decision: 345/1661	Time: 1058.86/86400
Decision: 345/1661	Time: 1062.68/86400
Decision: 345/1661	Time: 1066.55/86400
Decision: 345/1661	Time: 1070.32/86400
Decision: 345/1661	Time: 1073.38/86400
Decision: 345/1661	Time: 1076.8/86400
Decision: 345/1661	Time: 1079.85/86400
Decision: 345/1661	Time: 1082.78/86400
Decision: 345/1661	Time: 1086.03/86400
Decision: 345/1661	Time: 1089.62/86400
Decision: 345/1661	Time: 1092.98/86400
Decision: 345/1661	Time: 1096.53/86400
Decision: 345/1661	Time: 1099.68/86400
Decision: 345/1661	Time: 1103.38/86400
Decision: 345/1661	Time: 1106.78/86400
Decision: 345/1661	Time: 1109.96/86400
Decision: 345/1661	Time: 1113.58/86400
Decision: 345/1661	Time: 1117.45/86400
Decision: 345/1661	Time: 1120.64/86400
Decision: 345/1661	Time: 1125.12/86400
Decision: 345/1661	Time: 1129/86400
Decision: 345/1661	Time: 1133.33/86400
Decision: 345/1661	Time: 1136.61/86400
Decision: 345/1661	Time: 1140.04/86400
Decision: 345/1661	Time: 1144.42/86400
Decision: 345/1661	Time: 1147.63/86400
Decision: 345/1661	Time: 1151.38/86400
Decision: 345/1661	Time: 1154.78/86400
Decision: 345/1661	Time: 1157.98/86400
Decision: 345/1661	Time: 1161.63/86400
Decision: 345/1661	Time: 1165.18/86400
Decision: 345/1661	Time: 1168.83/86400
Decision: 345/1661	Time: 1171.68/86400
Decision: 345/1661	Time: 1175.05/86400
Decision: 345/1661	Time: 1178.24/86400
Decision: 345/1661	Time: 1181.61/86400
Decision: 345/1661	Time: 1186.04/86400
Decision: 345/1661	Time: 1189.45/86400
Decision: 345/1661	Time: 1192.39/86400
Decision: 345/1661	Time: 1195.74/86400
Decision: 345/1661	Time: 1199.25/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.90 0.93 0.90 2/54 13950
Raw data (stat): 13950 (runsolver) R 13949 32284 32283 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 807038686 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 1025 0 0 0 993 6 0 0 25 0 1 0 807038686 5480448 856 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1338 856 300 300 0 1038 0
vsize: 5352
[startup+20.002 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 1374 0 0 0 1990 9 0 0 25 0 1 0 807038686 5922816 1205 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1446 1205 300 300 0 1146 0
vsize: 5784
[startup+30.0033 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 1850 0 0 0 2987 12 0 0 25 0 1 0 807038686 9281536 1488 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2266 1488 300 300 0 1966 0
vsize: 9064
[startup+40.0036 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 2106 0 0 0 3985 14 0 0 25 0 1 0 807038686 9609216 1744 4294967295 134512640 135726644 3221224576 3221222960 134758355 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2346 1744 300 300 0 2046 0
vsize: 9384
[startup+50.0055 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 2376 0 0 0 4982 17 0 0 25 0 1 0 807038686 10297344 2014 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2514 2014 300 300 0 2214 0
vsize: 10056
[startup+60.0057 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 2621 0 0 0 5979 20 0 0 25 0 1 0 807038686 10739712 2259 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2622 2259 300 300 0 2322 0
vsize: 10488
[startup+70.0062 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 2812 0 0 0 6978 21 0 0 25 0 1 0 807038686 15327232 2450 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3742 2450 300 300 0 3442 0
vsize: 14968
[startup+80.0129 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 3402 0 0 0 7976 24 0 0 25 0 1 0 807038686 17096704 2655 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4174 2655 300 300 0 3874 0
vsize: 16696
[startup+90.0132 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 3563 0 0 0 8975 25 0 0 25 0 1 0 807038686 17293312 2816 4294967295 134512640 135726644 3221224576 3221223088 134742930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4222 2816 300 300 0 3922 0
vsize: 16888
[startup+100.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 3739 0 0 0 9974 27 0 0 25 0 1 0 807038686 17428480 2992 4294967295 134512640 135726644 3221224576 3221223072 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4255 2992 300 300 0 3955 0
vsize: 17020
[startup+110.015 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 3931 0 0 0 10973 28 0 0 25 0 1 0 807038686 17854464 3184 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4359 3184 300 300 0 4059 0
vsize: 17436
[startup+120.015 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 4060 0 0 0 11971 30 0 0 25 0 1 0 807038686 17989632 3313 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4392 3313 300 300 0 4092 0
vsize: 17568
[startup+130.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 4242 0 0 0 12970 32 0 0 25 0 1 0 807038686 18395136 3495 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4491 3495 300 300 0 4191 0
vsize: 17964
[startup+140.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 4421 0 0 0 13968 33 0 0 25 0 1 0 807038686 18800640 3674 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4590 3674 300 300 0 4290 0
vsize: 18360
[startup+150.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 4567 0 0 0 14967 34 0 0 25 0 1 0 807038686 19070976 3820 4294967295 134512640 135726644 3221224576 3221223168 134760180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4656 3820 300 300 0 4356 0
vsize: 18624
[startup+160.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 4706 0 0 0 15967 35 0 0 25 0 1 0 807038686 19341312 3959 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4722 3959 300 300 0 4422 0
vsize: 18888
[startup+170.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 4874 0 0 0 16965 37 0 0 25 0 1 0 807038686 19881984 4127 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4854 4127 300 300 0 4554 0
vsize: 19416
[startup+180.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 4995 0 0 0 17965 38 0 0 25 0 1 0 807038686 19881984 4248 4294967295 134512640 135726644 3221224576 3221223088 134742614 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.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 5111 0 0 0 18964 39 0 0 25 0 1 0 807038686 28405760 4364 4294967295 134512640 135726644 3221224576 3221223072 134744203 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.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 5191 0 0 0 19963 41 0 0 25 0 1 0 807038686 28405760 4444 4294967295 134512640 135726644 3221224576 3221223072 134743978 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.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 5270 0 0 0 20962 42 0 0 25 0 1 0 807038686 28540928 4523 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6968 4523 300 300 0 6668 0
vsize: 27872
[startup+220.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 5378 0 0 0 21961 43 0 0 25 0 1 0 807038686 28688384 4631 4294967295 134512640 135726644 3221224576 3221223120 134736714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7004 4631 300 300 0 6704 0
vsize: 28016
[startup+230.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 5517 0 0 0 22959 44 0 0 25 0 1 0 807038686 28688384 4770 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7004 4770 300 300 0 6704 0
vsize: 28016
[startup+240.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 6454 0 0 0 23956 48 0 0 25 0 1 0 807038686 32268288 4938 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7878 4938 300 300 0 7578 0
vsize: 31512
[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 6586 0 0 0 24955 49 0 0 25 0 1 0 807038686 32403456 5070 4294967295 134512640 135726644 3221224576 3221223072 134744280 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7911 5070 300 300 0 7611 0
vsize: 31644
[startup+260.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 6681 0 0 0 25954 50 0 0 25 0 1 0 807038686 32403456 5165 4294967295 134512640 135726644 3221224576 3221223088 134742913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7911 5165 300 300 0 7611 0
vsize: 31644
[startup+270.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 6794 0 0 0 26953 52 0 0 25 0 1 0 807038686 32673792 5278 4294967295 134512640 135726644 3221224576 3221223072 134744184 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7977 5278 300 300 0 7677 0
vsize: 31908
[startup+280.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 6938 0 0 0 27952 53 0 0 25 0 1 0 807038686 33079296 5422 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8076 5422 300 300 0 7776 0
vsize: 32304
[startup+290.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 7029 0 0 0 28951 53 0 0 25 0 1 0 807038686 33079296 5513 4294967295 134512640 135726644 3221224576 3221223072 134744217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8076 5513 300 300 0 7776 0
vsize: 32304
[startup+300.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 7194 0 0 0 29950 55 0 0 25 0 1 0 807038686 33345536 5645 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8141 5645 300 300 0 7841 0
vsize: 32564
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 7370 0 0 0 30949 56 0 0 25 0 1 0 807038686 33611776 5788 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8206 5788 300 300 0 7906 0
vsize: 32824
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 7494 0 0 0 31948 57 0 0 25 0 1 0 807038686 33878016 5912 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8271 5912 300 300 0 7971 0
vsize: 33084
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 7629 0 0 0 32947 58 0 0 25 0 1 0 807038686 34009088 6014 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8303 6014 300 300 0 8003 0
vsize: 33212
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 7757 0 0 0 33946 59 0 0 25 0 1 0 807038686 34140160 6109 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8335 6109 300 300 0 8035 0
vsize: 33340
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 7909 0 0 0 34945 60 0 0 25 0 1 0 807038686 34402304 6195 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8399 6195 300 300 0 8099 0
vsize: 33596
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 8093 0 0 0 35945 61 0 0 25 0 1 0 807038686 34799616 6346 4294967295 134512640 135726644 3221224576 3221223200 134779428 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8496 6346 300 300 0 8196 0
vsize: 33984
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 8212 0 0 0 36943 63 0 0 25 0 1 0 807038686 34930688 6432 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8528 6432 300 300 0 8228 0
vsize: 34112
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 8352 0 0 0 37942 64 0 0 25 0 1 0 807038686 35192832 6506 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8592 6506 300 300 0 8292 0
vsize: 34368
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 8491 0 0 0 38942 65 0 0 25 0 1 0 807038686 35454976 6579 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8656 6579 300 300 0 8356 0
vsize: 34624
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 8572 0 0 0 39941 65 0 0 25 0 1 0 807038686 35454976 6660 4294967295 134512640 135726644 3221224576 3221223072 134744180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8656 6660 300 300 0 8356 0
vsize: 34624
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 8736 0 0 0 40940 66 0 0 25 0 1 0 807038686 35749888 6791 4294967295 134512640 135726644 3221224576 3221223072 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8728 6791 300 300 0 8428 0
vsize: 34912
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 8879 0 0 0 41939 68 0 0 25 0 1 0 807038686 36012032 6868 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8792 6868 300 300 0 8492 0
vsize: 35168
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 9000 0 0 0 42938 69 0 0 25 0 1 0 807038686 36274176 6956 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8856 6956 300 300 0 8556 0
vsize: 35424
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 9130 0 0 0 43936 71 0 0 25 0 1 0 807038686 36409344 7086 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8889 7086 300 300 0 8589 0
vsize: 35556
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 9226 0 0 0 44935 72 0 0 25 0 1 0 807038686 36409344 7182 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8889 7182 300 300 0 8589 0
vsize: 35556
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 9367 0 0 0 45935 73 0 0 25 0 1 0 807038686 36679680 7323 4294967295 134512640 135726644 3221224576 3221223072 134744268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8955 7323 300 300 0 8655 0
vsize: 35820
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 9447 0 0 0 46934 74 0 0 25 0 1 0 807038686 36843520 7403 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8995 7403 300 300 0 8695 0
vsize: 35980
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 9581 0 0 0 47933 75 0 0 25 0 1 0 807038686 36843520 7537 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8995 7537 300 300 0 8695 0
vsize: 35980
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 9653 0 0 0 48932 76 0 0 25 0 1 0 807038686 36843520 7609 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8995 7609 300 300 0 8695 0
vsize: 35980
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 9772 0 0 0 49931 77 0 0 25 0 1 0 807038686 36974592 7695 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9027 7695 300 300 0 8727 0
vsize: 36108
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 9882 0 0 0 50931 78 0 0 25 0 1 0 807038686 37105664 7805 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9059 7805 300 300 0 8759 0
vsize: 36236
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 9941 0 0 0 51930 79 0 0 25 0 1 0 807038686 37105664 7864 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9059 7864 300 300 0 8759 0
vsize: 36236
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10006 0 0 0 52929 80 0 0 25 0 1 0 807038686 37105664 7929 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9059 7929 300 300 0 8759 0
vsize: 36236
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10098 0 0 0 53928 81 0 0 25 0 1 0 807038686 54050816 8021 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13196 8021 300 300 0 12896 0
vsize: 52784
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10133 0 0 0 54927 82 0 0 25 0 1 0 807038686 54050816 8056 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13196 8056 300 300 0 12896 0
vsize: 52784
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10198 0 0 0 55927 82 0 0 25 0 1 0 807038686 54050816 8121 4294967295 134512640 135726644 3221224576 3221223072 134744254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13196 8121 300 300 0 12896 0
vsize: 52784
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10317 0 0 0 56926 83 0 0 25 0 1 0 807038686 54185984 8240 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13229 8240 300 300 0 12929 0
vsize: 52916
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10374 0 0 0 57925 84 0 0 25 0 1 0 807038686 54185984 8297 4294967295 134512640 135726644 3221224576 3221223072 134744241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13229 8297 300 300 0 12929 0
vsize: 52916
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10493 0 0 0 58925 85 0 0 25 0 1 0 807038686 54513664 8383 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13309 8383 300 300 0 13009 0
vsize: 53236
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10621 0 0 0 59923 87 0 0 25 0 1 0 807038686 54644736 8478 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13341 8478 300 300 0 13041 0
vsize: 53364
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10714 0 0 0 60924 87 0 0 25 0 1 0 807038686 54775808 8538 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13373 8538 300 300 0 13073 0
vsize: 53492
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10795 0 0 0 61923 88 0 0 25 0 1 0 807038686 54775808 8619 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13373 8619 300 300 0 13073 0
vsize: 53492
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10880 0 0 0 62922 89 0 0 25 0 1 0 807038686 54898688 8704 4294967295 134512640 135726644 3221224576 3221223088 134742633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13403 8704 300 300 0 13103 0
vsize: 53612
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10924 0 0 0 63922 89 0 0 25 0 1 0 807038686 54898688 8748 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13403 8748 300 300 0 13103 0
vsize: 53612
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 10994 0 0 0 64922 89 0 0 25 0 1 0 807038686 55050240 8818 4294967295 134512640 135726644 3221224576 3221223088 134743002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13440 8818 300 300 0 13140 0
vsize: 53760
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11078 0 0 0 65922 90 0 0 25 0 1 0 807038686 55050240 8902 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13440 8902 300 300 0 13140 0
vsize: 53760
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11145 0 0 0 66921 90 0 0 25 0 1 0 807038686 55185408 8969 4294967295 134512640 135726644 3221224576 3221223072 134743967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13473 8969 300 300 0 13173 0
vsize: 53892
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11212 0 0 0 67921 91 0 0 25 0 1 0 807038686 55185408 9036 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13473 9036 300 300 0 13173 0
vsize: 53892
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11275 0 0 0 68920 92 0 0 25 0 1 0 807038686 55185408 9099 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13473 9099 300 300 0 13173 0
vsize: 53892
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11334 0 0 0 69920 92 0 0 25 0 1 0 807038686 55185408 9158 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13473 9158 300 300 0 13173 0
vsize: 53892
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11410 0 0 0 70919 93 0 0 25 0 1 0 807038686 55312384 9234 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13504 9234 300 300 0 13204 0
vsize: 54016
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11554 0 0 0 71918 94 0 0 25 0 1 0 807038686 55443456 9345 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13536 9345 300 300 0 13236 0
vsize: 54144
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11633 0 0 0 72918 95 0 0 25 0 1 0 807038686 55570432 9424 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13567 9424 300 300 0 13267 0
vsize: 54268
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11703 0 0 0 73917 96 0 0 25 0 1 0 807038686 55701504 9461 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13599 9461 300 300 0 13299 0
vsize: 54396
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11760 0 0 0 74917 96 0 0 25 0 1 0 807038686 55836672 9518 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13632 9518 300 300 0 13332 0
vsize: 54528
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 11776 0 0 0 75916 97 0 0 25 0 1 0 807038686 55836672 9534 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13632 9534 300 300 0 13332 0
vsize: 54528
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13385 0 0 0 76913 100 0 0 25 0 1 0 807038686 62418944 9573 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15239 9573 300 300 0 14939 0
vsize: 60956
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13455 0 0 0 77913 101 0 0 25 0 1 0 807038686 62541824 9643 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15269 9643 300 300 0 14969 0
vsize: 61076
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13474 0 0 0 78913 101 0 0 25 0 1 0 807038686 62541824 9662 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15269 9662 300 300 0 14969 0
vsize: 61076
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13532 0 0 0 79912 102 0 0 25 0 1 0 807038686 62541824 9720 4294967295 134512640 135726644 3221224576 3221222900 134728860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15269 9720 300 300 0 14969 0
vsize: 61076
[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13614 0 0 0 80911 103 0 0 25 0 1 0 807038686 62541824 9802 4294967295 134512640 135726644 3221224576 3221223088 134742653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15269 9802 300 300 0 14969 0
vsize: 61076
[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13652 0 0 0 81911 103 0 0 25 0 1 0 807038686 62672896 9840 4294967295 134512640 135726644 3221224576 3221223088 134742904 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15301 9840 300 300 0 15001 0
vsize: 61204
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13727 0 0 0 82910 104 0 0 25 0 1 0 807038686 62672896 9915 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15301 9915 300 300 0 15001 0
vsize: 61204
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13794 0 0 0 83909 104 0 0 25 0 1 0 807038686 62672896 9982 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15301 9982 300 300 0 15001 0
vsize: 61204
[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13861 0 0 0 84909 105 0 0 25 0 1 0 807038686 62795776 10049 4294967295 134512640 135726644 3221224576 3221223088 134742904 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15331 10049 300 300 0 15031 0
vsize: 61324
[startup+860.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13950
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13894 0 0 0 85909 106 0 0 25 0 1 0 807038686 62795776 10082 4294967295 134512640 135726644 3221224576 3221223200 134779679 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15331 10082 300 300 0 15031 0
vsize: 61324
[startup+870.05 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 13994
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13918 0 0 0 86909 106 0 0 25 0 1 0 807038686 62795776 10106 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15331 10106 300 300 0 15031 0
vsize: 61324
[startup+880.052 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14003
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13942 0 0 0 87908 107 0 0 25 0 1 0 807038686 62918656 10130 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15361 10130 300 300 0 15061 0
vsize: 61444
[startup+890.052 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14003
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 13981 0 0 0 88907 109 0 0 25 0 1 0 807038686 62918656 10169 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15361 10169 300 300 0 15061 0
vsize: 61444
[startup+900.052 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14003
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14009 0 0 0 89906 109 0 0 25 0 1 0 807038686 63045632 10197 4294967295 134512640 135726644 3221224576 3221223168 134760180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15392 10197 300 300 0 15092 0
vsize: 61568
[startup+910.053 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14003
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14070 0 0 0 90906 110 0 0 25 0 1 0 807038686 63045632 10258 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15392 10258 300 300 0 15092 0
vsize: 61568
[startup+920.053 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14003
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14116 0 0 0 91905 111 0 0 25 0 1 0 807038686 63045632 10304 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15392 10304 300 300 0 15092 0
vsize: 61568
[startup+930.053 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14003
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14199 0 0 0 92903 113 0 0 25 0 1 0 807038686 63180800 10387 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15425 10387 300 300 0 15125 0
vsize: 61700
[startup+940.053 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14259 0 0 0 93902 114 0 0 25 0 1 0 807038686 63180800 10447 4294967295 134512640 135726644 3221224576 3221223072 134744268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15425 10447 300 300 0 15125 0
vsize: 61700
[startup+950.053 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14305 0 0 0 94901 116 0 0 25 0 1 0 807038686 63180800 10493 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15425 10493 300 300 0 15125 0
vsize: 61700
[startup+960.053 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14390 0 0 0 95900 116 0 0 25 0 1 0 807038686 63180800 10578 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15425 10578 300 300 0 15125 0
vsize: 61700
[startup+970.099 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14432 0 0 0 96904 117 0 0 25 0 1 0 807038686 63180800 10620 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15425 10620 300 300 0 15125 0
vsize: 61700
[startup+980.115 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14486 0 0 0 97905 118 0 0 25 0 1 0 807038686 63180800 10674 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15425 10674 300 300 0 15125 0
vsize: 61700
[startup+990.115 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14577 0 0 0 98904 119 0 0 25 0 1 0 807038686 63311872 10765 4294967295 134512640 135726644 3221224576 3221223088 134742930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15457 10765 300 300 0 15157 0
vsize: 61828
[startup+1000.12 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14630 0 0 0 99904 120 0 0 25 0 1 0 807038686 63311872 10818 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15457 10818 300 300 0 15157 0
vsize: 61828
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14802 0 0 0 100902 121 0 0 25 0 1 0 807038686 63709184 10925 4294967295 134512640 135726644 3221224576 3221223072 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15554 10925 300 300 0 15254 0
vsize: 62216
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14919 0 0 0 101902 122 0 0 25 0 1 0 807038686 63971328 10977 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15618 10977 300 300 0 15318 0
vsize: 62472
[startup+1030.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 14985 0 0 0 102901 123 0 0 25 0 1 0 807038686 63971328 11043 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15618 11043 300 300 0 15318 0
vsize: 62472
[startup+1040.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15094 0 0 0 103900 124 0 0 25 0 1 0 807038686 64233472 11087 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15682 11087 300 300 0 15382 0
vsize: 62728
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15236 0 0 0 104900 125 0 0 25 0 1 0 807038686 64634880 11196 4294967295 134512640 135726644 3221224576 3221223072 134744120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15780 11196 300 300 0 15480 0
vsize: 63120
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15276 0 0 0 105899 125 0 0 25 0 1 0 807038686 64770048 11236 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15813 11236 300 300 0 15513 0
vsize: 63252
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15298 0 0 0 106898 126 0 0 25 0 1 0 807038686 64909312 11258 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15847 11258 300 300 0 15547 0
vsize: 63388
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15310 0 0 0 107897 127 0 0 25 0 1 0 807038686 64909312 11270 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15847 11270 300 300 0 15547 0
vsize: 63388
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15328 0 0 0 108886 129 0 0 25 0 1 0 807038686 64909312 11288 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15847 11288 300 300 0 15547 0
vsize: 63388
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15354 0 0 0 109885 129 0 0 25 0 1 0 807038686 64909312 11314 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15847 11314 300 300 0 15547 0
vsize: 63388
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15384 0 0 0 110885 131 0 0 25 0 1 0 807038686 65044480 11344 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15880 11344 300 300 0 15580 0
vsize: 63520
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15436 0 0 0 111884 131 0 0 25 0 1 0 807038686 65175552 11363 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15912 11363 300 300 0 15612 0
vsize: 63648
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15636 0 0 0 112883 132 0 0 25 0 1 0 807038686 65970176 11465 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16106 11465 300 300 0 15806 0
vsize: 64424
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15675 0 0 0 113882 133 0 0 25 0 1 0 807038686 65970176 11504 4294967295 134512640 135726644 3221224576 3221223088 134742913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16106 11504 300 300 0 15806 0
vsize: 64424
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15766 0 0 0 114881 135 0 0 25 0 1 0 807038686 66232320 11530 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16170 11530 300 300 0 15870 0
vsize: 64680
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15777 0 0 0 115881 135 0 0 25 0 1 0 807038686 66232320 11541 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16170 11541 300 300 0 15870 0
vsize: 64680
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15859 0 0 0 116880 137 0 0 25 0 1 0 807038686 66494464 11558 4294967295 134512640 135726644 3221224576 3221223072 134744206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16234 11558 300 300 0 15934 0
vsize: 64936
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15875 0 0 0 117879 137 0 0 25 0 1 0 807038686 66494464 11574 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16234 11574 300 300 0 15934 0
vsize: 64936
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15925 0 0 0 118879 137 0 0 25 0 1 0 807038686 66625536 11591 4294967295 134512640 135726644 3221224576 3221223184 134740982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16266 11591 300 300 0 15966 0
vsize: 65064
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14005
Raw data (stat): 13950 (pb2sat) R 13949 32284 32283 0 -1 0 15950 0 0 0 119878 138 0 0 25 0 1 0 807038686 66625536 11616 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16266 11616 300 300 0 15966 0
vsize: 65064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 14005
Raw data (stat): 13950 (pb2sat) Z 13949 32284 32283 0 -1 12 15951 0 0 0 119887 141 0 0 25 0 1 0 807038686 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.24
CPU time (s): 1200.28
CPU user time (s): 1198.87
CPU system time (s): 1.41079
CPU usage (%): 100.004
Max. virtual memory (Kb): 65064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####