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-par32-1-c.opb
MD5SUM	8c1b8634a2f99e9f8e579ef031d10353
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	2630
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	2630
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2630
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2630
Total number of constraints	6569
Number of constraints which are clauses	6569
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 42085

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        764276 kB
Buffers:         33856 kB
Cached:         214064 kB
SwapCached:       1028 kB
Active:          64668 kB
Inactive:       185444 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764024 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14612 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:05:58 (client local time) WITH STATUS 0 IN 1200.58 SECONDS
stats: 25301 7 1200.58 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 14/2642	Time: 1.67975/86400
c Decision: 14/2642	Time: 2.44963/86400
c Decision: 14/2642	Time: 3.3255/86400
c Decision: 14/2642	Time: 4.11837/86400
c Decision: 14/2642	Time: 5.04523/86400
c Decision: 14/2642	Time: 5.8841/86400
c Decision: 14/2642	Time: 6.74298/86400
c Decision: 14/2642	Time: 7.58085/86400
c Decision: 14/2642	Time: 8.50371/86400
c Decision: 14/2642	Time: 9.29459/86400
c Decision: 14/2642	Time: 10.4594/86400
c Decision: 14/2642	Time: 11.4943/86400
c Decision: 14/2642	Time: 12.4791/86400
c Decision: 14/2642	Time: 13.5029/86400
c Decision: 14/2642	Time: 14.5478/86400
c Decision: 14/2642	Time: 15.6366/86400
c Decision: 14/2642	Time: 16.6445/86400
c Decision: 14/2642	Time: 17.7513/86400
c Decision: 14/2642	Time: 18.5222/86400
c Decision: 14/2642	Time: 19.493/86400
c Decision: 14/2642	Time: 20.4959/86400
c Decision: 14/2642	Time: 21.3578/86400
c Decision: 14/2642	Time: 22.4826/86400
c Decision: 14/2642	Time: 23.5994/86400
c Decision: 14/2642	Time: 24.7242/86400
c Decision: 14/2642	Time: 25.8001/86400
c Decision: 14/2642	Time: 26.7459/86400
c Decision: 14/2642	Time: 27.8158/86400
c Decision: 14/2642	Time: 28.8286/86400
c Decision: 14/2642	Time: 29.9904/86400
c Decision: 14/2642	Time: 31.4082/86400
c Decision: 14/2642	Time: 32.4121/86400
c Decision: 14/2642	Time: 33.5709/86400
c Decision: 14/2642	Time: 34.8787/86400
c Decision: 14/2642	Time: 36.2685/86400
c Decision: 14/2642	Time: 37.4673/86400
c Decision: 14/2642	Time: 38.7811/86400
c Decision: 14/2642	Time: 40.2779/86400
c Decision: 14/2642	Time: 41.5867/86400
c Decision: 14/2642	Time: 42.7165/86400
c Decision: 14/2642	Time: 44.0333/86400
c Decision: 14/2642	Time: 45.3761/86400
c Decision: 14/2642	Time: 46.8799/86400
c Decision: 14/2642	Time: 48.2587/86400
c Decision: 14/2642	Time: 49.5275/86400
c Decision: 14/2642	Time: 50.8783/86400
c Decision: 14/2642	Time: 52.1911/86400
c Decision: 14/2642	Time: 53.6518/86400
c Decision: 14/2642	Time: 55.1036/86400
c Decision: 14/2642	Time: 56.5384/86400
c Decision: 14/2642	Time: 58.2921/86400
c Decision: 14/2642	Time: 59.6969/86400
c Decision: 14/2642	Time: 61.1607/86400
c Decision: 14/2642	Time: 62.7105/86400
c Decision: 14/2642	Time: 64.4152/86400
c Decision: 14/2642	Time: 65.787/86400
c Decision: 14/2642	Time: 67.1798/86400
c Decision: 14/2642	Time: 68.3706/86400
c Decision: 14/2642	Time: 69.9804/86400
c Decision: 14/2642	Time: 71.2582/86400
c Decision: 14/2642	Time: 72.8839/86400
c Decision: 14/2642	Time: 74.7376/86400
c Decision: 14/2642	Time: 76.1724/86400
c Decision: 14/2642	Time: 77.5882/86400
c Decision: 14/2642	Time: 79.036/86400
c Decision: 14/2642	Time: 80.6447/86400
c Decision: 14/2642	Time: 82.2815/86400
c Decision: 14/2642	Time: 83.8473/86400
c Decision: 14/2642	Time: 85.361/86400
c Decision: 14/2642	Time: 87.1008/86400
c Decision: 14/2642	Time: 88.9915/86400
c Decision: 14/2642	Time: 90.6672/86400
c Decision: 14/2642	Time: 92.275/86400
c Decision: 14/2642	Time: 94.0077/86400
c Decision: 14/2642	Time: 95.7874/86400
c Decision: 14/2642	Time: 97.4902/86400
c Decision: 14/2642	Time: 99.4559/86400
c Decision: 14/2642	Time: 101.364/86400
c Decision: 14/2642	Time: 102.842/86400
c Decision: 14/2642	Time: 104.328/86400
c Decision: 14/2642	Time: 106.037/86400
c Decision: 14/2642	Time: 107.847/86400
c Decision: 14/2642	Time: 109.704/86400
c Decision: 14/2642	Time: 111.61/86400
c Decision: 14/2642	Time: 113.568/86400
c Decision: 14/2642	Time: 115.225/86400
c Decision: 14/2642	Time: 117.221/86400
c Decision: 14/2642	Time: 118.777/86400
c Decision: 14/2642	Time: 120.502/86400
c Decision: 14/2642	Time: 122.375/86400
c Decision: 14/2642	Time: 124.279/86400
c Decision: 14/2642	Time: 126.141/86400
c Decision: 14/2642	Time: 127.702/86400
c Decision: 14/2642	Time: 129.778/86400
c Decision: 14/2642	Time: 131.926/86400
c Decision: 14/2642	Time: 134.042/86400
c Decision: 14/2642	Time: 136.032/86400
c Decision: 14/2642	Time: 137.985/86400
c Decision: 14/2642	Time: 139.816/86400
c Decision: 14/2642	Time: 141.611/86400
c Decision: 14/2642	Time: 143.571/86400
c Decision: 14/2642	Time: 145.618/86400
c Decision: 14/2642	Time: 147.448/86400
c Decision: 14/2642	Time: 149.37/86400
c Decision: 14/2642	Time: 151.054/86400
c Decision: 14/2642	Time: 153.227/86400
c Decision: 14/2642	Time: 155.15/86400
c Decision: 14/2642	Time: 157.211/86400
c Decision: 14/2642	Time: 158.994/86400
c Decision: 14/2642	Time: 160.843/86400
c Decision: 14/2642	Time: 163.103/86400
c Decision: 14/2642	Time: 164.88/86400
c Decision: 14/2642	Time: 166.966/86400
c Decision: 14/2642	Time: 168.786/86400
c Decision: 14/2642	Time: 170.768/86400
c Decision: 14/2642	Time: 173.09/86400
c Decision: 14/2642	Time: 175.273/86400
c Decision: 14/2642	Time: 177.598/86400
c Decision: 14/2642	Time: 179.201/86400
c Decision: 14/2642	Time: 181.328/86400
c Decision: 14/2642	Time: 183.467/86400
c Decision: 14/2642	Time: 185.642/86400
c Decision: 14/2642	Time: 187.383/86400
c Decision: 14/2642	Time: 189.36/86400
c Decision: 14/2642	Time: 191.194/86400
c Decision: 14/2642	Time: 193.567/86400
c Decision: 14/2642	Time: 195.397/86400
c Decision: 14/2642	Time: 197.632/86400
c Decision: 14/2642	Time: 199.234/86400
c Decision: 14/2642	Time: 201.587/86400
c Decision: 14/2642	Time: 204.054/86400
c Decision: 14/2642	Time: 206.377/86400
c Decision: 14/2642	Time: 208.375/86400
c Decision: 14/2642	Time: 210.679/86400
c Decision: 14/2642	Time: 213.012/86400
c Decision: 14/2642	Time: 215.169/86400
c Decision: 14/2642	Time: 217.415/86400
c Decision: 14/2642	Time: 219.848/86400
c Decision: 14/2642	Time: 222.7/86400
c Decision: 14/2642	Time: 224.795/86400
c Decision: 14/2642	Time: 227.245/86400
c Decision: 14/2642	Time: 229.659/86400
c Decision: 14/2642	Time: 232.034/86400
c Decision: 14/2642	Time: 234.03/86400
c Decision: 14/2642	Time: 236.182/86400
c Decision: 14/2642	Time: 238.503/86400
c Decision: 14/2642	Time: 240.715/86400
c Decision: 14/2642	Time: 242.681/86400
c Decision: 14/2642	Time: 244.754/86400
c Decision: 14/2642	Time: 247.19/86400
c Decision: 14/2642	Time: 249.806/86400
c Decision: 14/2642	Time: 252.287/86400
c Decision: 14/2642	Time: 254.654/86400
c Decision: 14/2642	Time: 256.788/86400
c Decision: 14/2642	Time: 258.792/86400
c Decision: 14/2642	Time: 261.905/86400
c Decision: 14/2642	Time: 264.387/86400
c Decision: 14/2642	Time: 266.636/86400
c Decision: 14/2642	Time: 268.718/86400
c Decision: 14/2642	Time: 271.444/86400
c Decision: 14/2642	Time: 273.868/86400
c Decision: 14/2642	Time: 276.385/86400
c Decision: 14/2642	Time: 278.627/86400
c Decision: 14/2642	Time: 281.097/86400
c Decision: 14/2642	Time: 283.528/86400
c Decision: 14/2642	Time: 286.084/86400
c Decision: 14/2642	Time: 288.671/86400
c Decision: 14/2642	Time: 290.88/86400
c Decision: 14/2642	Time: 293.022/86400
c Decision: 14/2642	Time: 295.135/86400
c Decision: 14/2642	Time: 298.15/86400
c Decision: 14/2642	Time: 300.446/86400
c Decision: 14/2642	Time: 303.001/86400
c Decision: 14/2642	Time: 304.936/86400
c Decision: 14/2642	Time: 306.935/86400
c Decision: 14/2642	Time: 309.605/86400
c Decision: 14/2642	Time: 311.936/86400
c Decision: 14/2642	Time: 314.227/86400
c Decision: 14/2642	Time: 316.848/86400
c Decision: 14/2642	Time: 319.212/86400
c Decision: 14/2642	Time: 321.565/86400
c Decision: 14/2642	Time: 323.87/86400
c Decision: 14/2642	Time: 326.417/86400
c Decision: 14/2642	Time: 328.894/86400
c Decision: 14/2642	Time: 331.664/86400
c Decision: 14/2642	Time: 334.058/86400
c Decision: 14/2642	Time: 336.966/86400
c Decision: 14/2642	Time: 339.763/86400
c Decision: 14/2642	Time: 341.961/86400
c Decision: 14/2642	Time: 344.452/86400
c Decision: 14/2642	Time: 347.248/86400
c Decision: 14/2642	Time: 349.703/86400
c Decision: 14/2642	Time: 352.174/86400
c Decision: 14/2642	Time: 354.465/86400
c Decision: 14/2642	Time: 356.739/86400
c Decision: 14/2642	Time: 359.364/86400
c Decision: 14/2642	Time: 361.919/86400
c Decision: 14/2642	Time: 364.949/86400
c Decision: 14/2642	Time: 367.353/86400
c Decision: 14/2642	Time: 369.738/86400
c Decision: 14/2642	Time: 372.676/86400
c Decision: 14/2642	Time: 375.176/86400
c Decision: 14/2642	Time: 377.628/86400
c Decision: 14/2642	Time: 380.252/86400
c Decision: 14/2642	Time: 382.606/86400
c Decision: 14/2642	Time: 385.029/86400
c Decision: 14/2642	Time: 387.678/86400
c Decision: 14/2642	Time: 390.452/86400
c Decision: 14/2642	Time: 392.856/86400
c Decision: 14/2642	Time: 394.986/86400
c Decision: 14/2642	Time: 397.97/86400
c Decision: 14/2642	Time: 400.377/86400
c Decision: 14/2642	Time: 403.032/86400
c Decision: 14/2642	Time: 405.166/86400
c Decision: 14/2642	Time: 407.568/86400
c Decision: 14/2642	Time: 410.385/86400
c Decision: 14/2642	Time: 413.124/86400
c Decision: 14/2642	Time: 415.648/86400
c Decision: 14/2642	Time: 418.304/86400
c Decision: 14/2642	Time: 421.123/86400
c Decision: 14/2642	Time: 423.913/86400
c Decision: 14/2642	Time: 426.413/86400
c Decision: 14/2642	Time: 428.793/86400
c Decision: 14/2642	Time: 431.308/86400
c Decision: 14/2642	Time: 433.494/86400
c Decision: 14/2642	Time: 436.617/86400
c Decision: 14/2642	Time: 438.864/86400
c Decision: 14/2642	Time: 441.597/86400
c Decision: 14/2642	Time: 444.397/86400
c Decision: 14/2642	Time: 446.742/86400
c Decision: 14/2642	Time: 449.826/86400
c Decision: 14/2642	Time: 452.916/86400
c Decision: 14/2642	Time: 455.557/86400
c Decision: 14/2642	Time: 458.426/86400
c Decision: 14/2642	Time: 460.95/86400
c Decision: 14/2642	Time: 464.327/86400
c Decision: 14/2642	Time: 466.709/86400
c Decision: 14/2642	Time: 468.869/86400
c Decision: 14/2642	Time: 471.624/86400
c Decision: 14/2642	Time: 474.07/86400
c Decision: 14/2642	Time: 477.094/86400
c Decision: 14/2642	Time: 479.704/86400
c Decision: 14/2642	Time: 481.85/86400
c Decision: 14/2642	Time: 484.211/86400
c Decision: 14/2642	Time: 487.164/86400
c Decision: 14/2642	Time: 489.858/86400
c Decision: 14/2642	Time: 492.316/86400
c Decision: 14/2642	Time: 494.972/86400
c Decision: 14/2642	Time: 497.917/86400
c Decision: 14/2642	Time: 500.612/86400
c Decision: 14/2642	Time: 503.411/86400
c Decision: 14/2642	Time: 506.027/86400
c Decision: 14/2642	Time: 508.95/86400
c Decision: 14/2642	Time: 511.792/86400
c Decision: 14/2642	Time: 514.351/86400
c Decision: 14/2642	Time: 517.538/86400
c Decision: 14/2642	Time: 520.563/86400
c Decision: 14/2642	Time: 523.198/86400
c Decision: 14/2642	Time: 526.049/86400
c Decision: 14/2642	Time: 528.803/86400
c Decision: 14/2642	Time: 532.102/86400
c Decision: 14/2642	Time: 534.889/86400
c Decision: 14/2642	Time: 537.529/86400
c Decision: 14/2642	Time: 539.88/86400
c Decision: 14/2642	Time: 542.847/86400
c Decision: 14/2642	Time: 546.13/86400
c Decision: 14/2642	Time: 549.279/86400
c Decision: 14/2642	Time: 551.841/86400
c Decision: 14/2642	Time: 554.461/86400
c Decision: 14/2642	Time: 557.965/86400
c Decision: 14/2642	Time: 561.271/86400
c Decision: 14/2642	Time: 564.25/86400
c Decision: 14/2642	Time: 566.95/86400
c Decision: 14/2642	Time: 569.722/86400
c Decision: 14/2642	Time: 572.535/86400
c Decision: 14/2642	Time: 576.034/86400
c Decision: 14/2642	Time: 579.037/86400
c Decision: 14/2642	Time: 582.164/86400
c Decision: 14/2642	Time: 585.363/86400
c Decision: 14/2642	Time: 588.392/86400
c Decision: 14/2642	Time: 591.377/86400
c Decision: 14/2642	Time: 594.371/86400
c Decision: 14/2642	Time: 597.136/86400
c Decision: 14/2642	Time: 599.679/86400
c Decision: 14/2642	Time: 602.929/86400
c Decision: 14/2642	Time: 606.459/86400
c Decision: 14/2642	Time: 609.575/86400
c Decision: 14/2642	Time: 612.071/86400
c Decision: 14/2642	Time: 615.033/86400
c Decision: 14/2642	Time: 617.845/86400
c Decision: 14/2642	Time: 621.343/86400
c Decision: 14/2642	Time: 624.297/86400
c Decision: 14/2642	Time: 627.35/86400
c Decision: 14/2642	Time: 630.301/86400
c Decision: 14/2642	Time: 632.845/86400
c Decision: 14/2642	Time: 636.596/86400
c Decision: 14/2642	Time: 639.686/86400
c Decision: 14/2642	Time: 642.09/86400
c Decision: 14/2642	Time: 644.89/86400
c Decision: 14/2642	Time: 648.561/86400
c Decision: 14/2642	Time: 652.635/86400
c Decision: 14/2642	Time: 655.641/86400
c Decision: 14/2642	Time: 658.108/86400
c Decision: 14/2642	Time: 660.76/86400
c Decision: 14/2642	Time: 663.534/86400
c Decision: 14/2642	Time: 666.49/86400
c Decision: 14/2642	Time: 669.025/86400
c Decision: 14/2642	Time: 671.67/86400
c Decision: 14/2642	Time: 674.298/86400
c Decision: 14/2642	Time: 677.104/86400
c Decision: 14/2642	Time: 680.044/86400
c Decision: 14/2642	Time: 682.158/86400
c Decision: 14/2642	Time: 685.176/86400
c Decision: 14/2642	Time: 687.85/86400
c Decision: 14/2642	Time: 690.553/86400
c Decision: 14/2642	Time: 693.69/86400
c Decision: 14/2642	Time: 696.127/86400
c Decision: 14/2642	Time: 698.847/86400
c Decision: 14/2642	Time: 701.139/86400
c Decision: 14/2642	Time: 703.743/86400
c Decision: 14/2642	Time: 706.371/86400
c Decision: 14/2642	Time: 709.298/86400
c Decision: 14/2642	Time: 712.258/86400
c Decision: 14/2642	Time: 715.091/86400
c Decision: 14/2642	Time: 717.573/86400
c Decision: 14/2642	Time: 720.685/86400
c Decision: 14/2642	Time: 723.818/86400
c Decision: 14/2642	Time: 726.295/86400
c Decision: 14/2642	Time: 729.141/86400
c Decision: 14/2642	Time: 731.874/86400
c Decision: 14/2642	Time: 734.662/86400
c Decision: 14/2642	Time: 737.32/86400
c Decision: 14/2642	Time: 739.889/86400
c Decision: 14/2642	Time: 742.439/86400
c Decision: 14/2642	Time: 745.571/86400
c Decision: 14/2642	Time: 748.782/86400
c Decision: 14/2642	Time: 751.422/86400
c Decision: 14/2642	Time: 754.675/86400
c Decision: 14/2642	Time: 757.147/86400
c Decision: 14/2642	Time: 760.173/86400
c Decision: 14/2642	Time: 763.402/86400
c Decision: 14/2642	Time: 766.686/86400
c Decision: 14/2642	Time: 770.181/86400
c Decision: 14/2642	Time: 773.115/86400
c Decision: 14/2642	Time: 776.551/86400
c Decision: 14/2642	Time: 779.758/86400
c Decision: 14/2642	Time: 783.092/86400
c Decision: 14/2642	Time: 786.421/86400
c Decision: 14/2642	Time: 789.57/86400
c Decision: 14/2642	Time: 792.5/86400
c Decision: 14/2642	Time: 795.841/86400
c Decision: 14/2642	Time: 798.468/86400
c Decision: 14/2642	Time: 801.61/86400
c Decision: 14/2642	Time: 804.725/86400
c Decision: 14/2642	Time: 807.976/86400
c Decision: 14/2642	Time: 811.519/86400
c Decision: 14/2642	Time: 814.8/86400
c Decision: 14/2642	Time: 817.666/86400
c Decision: 14/2642	Time: 820.782/86400
c Decision: 14/2642	Time: 823.885/86400
c Decision: 14/2642	Time: 827.474/86400
c Decision: 14/2642	Time: 830.545/86400
c Decision: 14/2642	Time: 833.197/86400
c Decision: 14/2642	Time: 836.21/86400
c Decision: 14/2642	Time: 839.322/86400
c Decision: 14/2642	Time: 842.234/86400
c Decision: 14/2642	Time: 845.424/86400
c Decision: 14/2642	Time: 848.668/86400
c Decision: 14/2642	Time: 851.998/86400
c Decision: 14/2642	Time: 854.794/86400
c Decision: 14/2642	Time: 857.994/86400
c Decision: 14/2642	Time: 861.462/86400
c Decision: 14/2642	Time: 864.902/86400
c Decision: 14/2642	Time: 867.981/86400
c Decision: 14/2642	Time: 871.01/86400
c Decision: 14/2642	Time: 874.416/86400
c Decision: 14/2642	Time: 877.528/86400
c Decision: 14/2642	Time: 880.767/86400
c Decision: 14/2642	Time: 884.121/86400
c Decision: 14/2642	Time: 887.358/86400
c Decision: 14/2642	Time: 890.516/86400
c Decision: 14/2642	Time: 893.356/86400
c Decision: 14/2642	Time: 896.033/86400
c Decision: 14/2642	Time: 898.903/86400
c Decision: 14/2642	Time: 901.974/86400
c Decision: 14/2642	Time: 905.292/86400
c Decision: 14/2642	Time: 908.038/86400
c Decision: 14/2642	Time: 910.899/86400
c Decision: 14/2642	Time: 913.937/86400
c Decision: 14/2642	Time: 916.977/86400
c Decision: 14/2642	Time: 920.422/86400
c Decision: 14/2642	Time: 923.32/86400
c Decision: 14/2642	Time: 926.492/86400
c Decision: 14/2642	Time: 929.794/86400
c Decision: 14/2642	Time: 932.706/86400
c Decision: 14/2642	Time: 935.935/86400
c Decision: 14/2642	Time: 938.757/86400
c Decision: 14/2642	Time: 941.99/86400
c Decision: 14/2642	Time: 944.756/86400
c Decision: 14/2642	Time: 947.651/86400
c Decision: 14/2642	Time: 951.23/86400
c Decision: 14/2642	Time: 954.318/86400
c Decision: 14/2642	Time: 957.407/86400
c Decision: 14/2642	Time: 960.484/86400
c Decision: 14/2642	Time: 963.45/86400
c Decision: 14/2642	Time: 967.004/86400
c Decision: 14/2642	Time: 970.396/86400
c Decision: 14/2642	Time: 973.184/86400
c Decision: 14/2642	Time: 976.335/86400
c Decision: 14/2642	Time: 979.653/86400
c Decision: 14/2642	Time: 982.9/86400
c Decision: 14/2642	Time: 986.586/86400
c Decision: 14/2642	Time: 989.676/86400
c Decision: 14/2642	Time: 992.428/86400
c Decision: 14/2642	Time: 995.198/86400
c Decision: 14/2642	Time: 998.802/86400
c Decision: 14/2642	Time: 1001.85/86400
c Decision: 14/2642	Time: 1005.14/86400
c Decision: 14/2642	Time: 1008.3/86400
c Decision: 14/2642	Time: 1011.73/86400
c Decision: 14/2642	Time: 1015.36/86400
c Decision: 14/2642	Time: 1018.46/86400
c Decision: 14/2642	Time: 1021.58/86400
c Decision: 14/2642	Time: 1024.67/86400
c Decision: 14/2642	Time: 1027.67/86400
c Decision: 14/2642	Time: 1031.66/86400
c Decision: 14/2642	Time: 1034.51/86400
c Decision: 14/2642	Time: 1037.47/86400
c Decision: 14/2642	Time: 1040.47/86400
c Decision: 14/2642	Time: 1043.73/86400
c Decision: 14/2642	Time: 1047.89/86400
c Decision: 14/2642	Time: 1051.04/86400
c Decision: 14/2642	Time: 1054.2/86400
c Decision: 14/2642	Time: 1057.28/86400
c Decision: 14/2642	Time: 1060.59/86400
c Decision: 14/2642	Time: 1064.38/86400
c Decision: 14/2642	Time: 1067.81/86400
c Decision: 14/2642	Time: 1071.23/86400
c Decision: 14/2642	Time: 1074.09/86400
c Decision: 14/2642	Time: 1077.14/86400
c Decision: 14/2642	Time: 1081.15/86400
c Decision: 14/2642	Time: 1084.34/86400
c Decision: 14/2642	Time: 1087.92/86400
c Decision: 14/2642	Time: 1090.75/86400
c Decision: 14/2642	Time: 1094.05/86400
c Decision: 14/2642	Time: 1097.98/86400
c Decision: 14/2642	Time: 1101.31/86400
c Decision: 14/2642	Time: 1103.89/86400
c Decision: 14/2642	Time: 1107.05/86400
c Decision: 14/2642	Time: 1110.51/86400
c Decision: 14/2642	Time: 1114.47/86400
c Decision: 14/2642	Time: 1117.46/86400
c Decision: 14/2642	Time: 1121.05/86400
c Decision: 14/2642	Time: 1124.28/86400
c Decision: 14/2642	Time: 1127.43/86400
c Decision: 14/2642	Time: 1131.25/86400
c Decision: 14/2642	Time: 1134.22/86400
c Decision: 14/2642	Time: 1137.6/86400
c Decision: 14/2642	Time: 1140.67/86400
c Decision: 14/2642	Time: 1144.12/86400
c Decision: 14/2642	Time: 1147.96/86400
c Decision: 14/2642	Time: 1151.14/86400
c Decision: 14/2642	Time: 1154.85/86400
c Decision: 14/2642	Time: 1158.04/86400
c Decision: 14/2642	Time: 1161.31/86400
c Decision: 14/2642	Time: 1165.06/86400
c Decision: 14/2642	Time: 1168.43/86400
c Decision: 14/2642	Time: 1171.67/86400
c Decision: 14/2642	Time: 1175.04/86400
c Decision: 14/2642	Time: 1178.37/86400
c Decision: 14/2642	Time: 1182.14/86400
c Decision: 14/2642	Time: 1185.54/86400
c Decision: 14/2642	Time: 1188.65/86400
c Decision: 14/2642	Time: 1192.31/86400
c Decision: 14/2642	Time: 1195.44/86400
c Decision: 14/2642	Time: 1199.63/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.91 0.95 0.90 1/54 11735
Raw data (stat): 11735 (runsolver) R 11734 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966187994 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.93 0.95 0.90 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 1019 0 0 0 996 3 0 0 25 0 1 0 966187994 4681728 913 4294967295 134512640 135730672 3221224592 3221223088 134747460 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1143 913 301 301 0 842 0
vsize: 4572
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 1522 0 0 0 1993 6 0 0 25 0 1 0 966187994 6631424 1319 4294967295 134512640 135730672 3221224592 3221223088 134747851 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1619 1319 301 301 0 1318 0
vsize: 6476
[startup+30.0034 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 1734 0 0 0 2991 9 0 0 25 0 1 0 966187994 9097216 1531 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2221 1531 301 301 0 1920 0
vsize: 8884
[startup+40.0046 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 2061 0 0 0 3988 12 0 0 25 0 1 0 966187994 10162176 1665 4294967295 134512640 135730672 3221224592 3221222912 134732831 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2481 1665 301 301 0 2180 0
vsize: 9924
[startup+50.0053 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 2235 0 0 0 4987 14 0 0 25 0 1 0 966187994 10403840 1839 4294967295 134512640 135730672 3221224592 3221223240 134748061 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2540 1839 301 301 0 2239 0
vsize: 10160
[startup+60.0059 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 2462 0 0 0 5985 15 0 0 25 0 1 0 966187994 10645504 2066 4294967295 134512640 135730672 3221224592 3221222976 134761539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2599 2066 301 301 0 2298 0
vsize: 10396
[startup+70.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 2732 0 0 0 6983 18 0 0 25 0 1 0 966187994 10911744 2336 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2664 2336 301 301 0 2363 0
vsize: 10656
[startup+80.0077 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 2815 0 0 0 7982 20 0 0 25 0 1 0 966187994 11223040 2419 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2740 2419 301 301 0 2439 0
vsize: 10960
[startup+90.0083 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 2880 0 0 0 8980 22 0 0 25 0 1 0 966187994 11476992 2484 4294967295 134512640 135730672 3221224592 3221223088 134747460 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2802 2484 301 301 0 2501 0
vsize: 11208
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 3031 0 0 0 9976 26 0 0 25 0 1 0 966187994 15831040 2635 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3865 2635 301 301 0 3564 0
vsize: 15460
[startup+110.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 3173 0 0 0 10975 27 0 0 25 0 1 0 966187994 15970304 2777 4294967295 134512640 135730672 3221224592 3221223184 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3899 2777 301 301 0 3598 0
vsize: 15596
[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 3751 0 0 0 11972 31 0 0 25 0 1 0 966187994 17821696 2970 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4351 2970 301 301 0 4050 0
vsize: 17404
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 3811 0 0 0 12970 33 0 0 25 0 1 0 966187994 17965056 3030 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4386 3030 301 301 0 4085 0
vsize: 17544
[startup+140.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 4041 0 0 0 13968 35 0 0 25 0 1 0 966187994 18096128 3260 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4418 3260 301 301 0 4117 0
vsize: 17672
[startup+150.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 4183 0 0 0 14967 37 0 0 25 0 1 0 966187994 18354176 3402 4294967295 134512640 135730672 3221224592 3221223104 134746190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4481 3402 301 301 0 4180 0
vsize: 17924
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 4248 0 0 0 15966 38 0 0 25 0 1 0 966187994 18468864 3467 4294967295 134512640 135730672 3221224592 3221223088 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4509 3467 301 301 0 4208 0
vsize: 18036
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 4330 0 0 0 16965 40 0 0 25 0 1 0 966187994 18661376 3549 4294967295 134512640 135730672 3221224592 3221223088 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4556 3549 301 301 0 4255 0
vsize: 18224
[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 4555 0 0 0 17964 41 0 0 25 0 1 0 966187994 18911232 3774 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4617 3774 301 301 0 4316 0
vsize: 18468
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 4704 0 0 0 18963 43 0 0 25 0 1 0 966187994 19189760 3923 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4685 3923 301 301 0 4384 0
vsize: 18740
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 4821 0 0 0 19961 44 0 0 25 0 1 0 966187994 19369984 4040 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4729 4040 301 301 0 4428 0
vsize: 18916
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 5040 0 0 0 20960 46 0 0 25 0 1 0 966187994 19550208 4259 4294967295 134512640 135730672 3221224592 3221223184 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4773 4259 301 301 0 4472 0
vsize: 19092
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 5237 0 0 0 21959 47 0 0 25 0 1 0 966187994 28069888 4456 4294967295 134512640 135730672 3221224592 3221223088 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6853 4456 301 301 0 6552 0
vsize: 27412
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 5439 0 0 0 22958 48 0 0 25 0 1 0 966187994 28250112 4658 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6897 4658 301 301 0 6596 0
vsize: 27588
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 5650 0 0 0 23957 50 0 0 25 0 1 0 966187994 28676096 4869 4294967295 134512640 135730672 3221224592 3221223088 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7001 4869 301 301 0 6700 0
vsize: 28004
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 5799 0 0 0 24955 52 0 0 25 0 1 0 966187994 28839936 5018 4294967295 134512640 135730672 3221224592 3221223104 134746185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7041 5018 301 301 0 6740 0
vsize: 28164
[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 5981 0 0 0 25954 54 0 0 25 0 1 0 966187994 29036544 5200 4294967295 134512640 135730672 3221224592 3221223088 134747868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7089 5200 301 301 0 6788 0
vsize: 28356
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 6117 0 0 0 26953 56 0 0 25 0 1 0 966187994 29175808 5336 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7123 5336 301 301 0 6822 0
vsize: 28492
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 6254 0 0 0 27951 58 0 0 25 0 1 0 966187994 29429760 5473 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7185 5473 301 301 0 6884 0
vsize: 28740
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 6284 0 0 0 28951 58 0 0 25 0 1 0 966187994 29429760 5503 4294967295 134512640 135730672 3221224592 3221223088 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7185 5503 301 301 0 6884 0
vsize: 28740
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 6331 0 0 0 29950 59 0 0 25 0 1 0 966187994 29552640 5550 4294967295 134512640 135730672 3221224592 3221222924 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7215 5550 301 301 0 6914 0
vsize: 28860
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 6374 0 0 0 30949 61 0 0 25 0 1 0 966187994 29675520 5593 4294967295 134512640 135730672 3221224592 3221223104 134746185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7245 5593 301 301 0 6944 0
vsize: 28980
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 7208 0 0 0 31948 62 0 0 25 0 1 0 966187994 32956416 5658 4294967295 134512640 135730672 3221224592 3221223088 134747777 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8046 5658 301 301 0 7745 0
vsize: 32184
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 7240 0 0 0 32947 63 0 0 25 0 1 0 966187994 32956416 5690 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8046 5690 301 301 0 7745 0
vsize: 32184
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 7263 0 0 0 33946 64 0 0 25 0 1 0 966187994 33075200 5713 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8075 5713 301 301 0 7774 0
vsize: 32300
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 7305 0 0 0 34946 65 0 0 25 0 1 0 966187994 33251328 5755 4294967295 134512640 135730672 3221224592 3221222920 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8118 5755 301 301 0 7817 0
vsize: 32472
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 7371 0 0 0 35946 66 0 0 25 0 1 0 966187994 33251328 5821 4294967295 134512640 135730672 3221224592 3221223216 134783315 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8118 5821 301 301 0 7817 0
vsize: 32472
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 7573 0 0 0 36944 68 0 0 25 0 1 0 966187994 33443840 6023 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8165 6023 301 301 0 7864 0
vsize: 32660
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 7714 0 0 0 37943 69 0 0 25 0 1 0 966187994 33640448 6164 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8213 6164 301 301 0 7912 0
vsize: 32852
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 7864 0 0 0 38942 70 0 0 25 0 1 0 966187994 33640448 6314 4294967295 134512640 135730672 3221224592 3221223088 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8213 6314 301 301 0 7912 0
vsize: 32852
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8093 0 0 0 39941 72 0 0 25 0 1 0 966187994 33918976 6543 4294967295 134512640 135730672 3221224592 3221223088 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8281 6543 301 301 0 7980 0
vsize: 33124
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8127 0 0 0 40941 73 0 0 25 0 1 0 966187994 33918976 6577 4294967295 134512640 135730672 3221224592 3221223136 134740254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8281 6577 301 301 0 7980 0
vsize: 33124
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8260 0 0 0 41939 75 0 0 25 0 1 0 966187994 34197504 6710 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8349 6710 301 301 0 8048 0
vsize: 33396
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8471 0 0 0 42938 76 0 0 25 0 1 0 966187994 34471936 6921 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8416 6921 301 301 0 8115 0
vsize: 33664
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8628 0 0 0 43938 77 0 0 25 0 1 0 966187994 34471936 7078 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8416 7078 301 301 0 8115 0
vsize: 33664
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8660 0 0 0 44938 77 0 0 25 0 1 0 966187994 34603008 7110 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8448 7110 301 301 0 8147 0
vsize: 33792
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8719 0 0 0 45937 78 0 0 25 0 1 0 966187994 34738176 7169 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8481 7169 301 301 0 8180 0
vsize: 33924
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8756 0 0 0 46936 79 0 0 25 0 1 0 966187994 34869248 7206 4294967295 134512640 135730672 3221224592 3221222832 134786501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8513 7206 301 301 0 8212 0
vsize: 34052
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8837 0 0 0 47936 80 0 0 25 0 1 0 966187994 35000320 7287 4294967295 134512640 135730672 3221224592 3221223104 134746481 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8545 7287 301 301 0 8244 0
vsize: 34180
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8879 0 0 0 48936 81 0 0 25 0 1 0 966187994 35000320 7329 4294967295 134512640 135730672 3221224592 3221223104 134746226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8545 7329 301 301 0 8244 0
vsize: 34180
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8905 0 0 0 49936 81 0 0 25 0 1 0 966187994 35119104 7355 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8574 7355 301 301 0 8273 0
vsize: 34296
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 8986 0 0 0 50935 82 0 0 25 0 1 0 966187994 35258368 7436 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8608 7436 301 301 0 8307 0
vsize: 34432
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 9160 0 0 0 51934 83 0 0 25 0 1 0 966187994 35528704 7610 4294967295 134512640 135730672 3221224592 3221222928 134739208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8674 7610 301 301 0 8373 0
vsize: 34696
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 9337 0 0 0 52933 84 0 0 25 0 1 0 966187994 35643392 7787 4294967295 134512640 135730672 3221224592 3221223136 134740298 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8702 7787 301 301 0 8401 0
vsize: 34808
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 9481 0 0 0 53933 86 0 0 25 0 1 0 966187994 52555776 7931 4294967295 134512640 135730672 3221224592 3221223104 134746523 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12831 7931 301 301 0 12530 0
vsize: 51324
[startup+550.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 9654 0 0 0 54933 86 0 0 25 0 1 0 966187994 52805632 8104 4294967295 134512640 135730672 3221224592 3221223088 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12892 8104 301 301 0 12591 0
vsize: 51568
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 9873 0 0 0 55932 87 0 0 25 0 1 0 966187994 52940800 8323 4294967295 134512640 135730672 3221224592 3221223088 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12925 8323 301 301 0 12624 0
vsize: 51700
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 10007 0 0 0 56931 89 0 0 25 0 1 0 966187994 53075968 8457 4294967295 134512640 135730672 3221224592 3221223104 134746216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12958 8457 301 301 0 12657 0
vsize: 51832
[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 10159 0 0 0 57930 90 0 0 25 0 1 0 966187994 53223424 8609 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12994 8609 301 301 0 12693 0
vsize: 51976
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 10353 0 0 0 58929 91 0 0 25 0 1 0 966187994 53358592 8803 4294967295 134512640 135730672 3221224592 3221223088 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13027 8803 301 301 0 12726 0
vsize: 52108
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 10434 0 0 0 59928 92 0 0 25 0 1 0 966187994 53624832 8884 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13092 8884 301 301 0 12791 0
vsize: 52368
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 10579 0 0 0 60928 93 0 0 25 0 1 0 966187994 53895168 9029 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13158 9029 301 301 0 12857 0
vsize: 52632
[startup+620.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 10784 0 0 0 61927 94 0 0 25 0 1 0 966187994 54030336 9234 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13191 9234 301 301 0 12890 0
vsize: 52764
[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 10881 0 0 0 62927 95 0 0 25 0 1 0 966187994 54300672 9331 4294967295 134512640 135730672 3221224592 3221223088 134747834 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13257 9331 301 301 0 12956 0
vsize: 53028
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11014 0 0 0 63926 96 0 0 25 0 1 0 966187994 54435840 9464 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13290 9464 301 301 0 12989 0
vsize: 53160
[startup+650.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11132 0 0 0 64926 97 0 0 25 0 1 0 966187994 54706176 9582 4294967295 134512640 135730672 3221224592 3221223088 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13356 9582 301 301 0 13055 0
vsize: 53424
[startup+660.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11285 0 0 0 65925 98 0 0 25 0 1 0 966187994 54976512 9735 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13422 9735 301 301 0 13121 0
vsize: 53688
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11425 0 0 0 66924 99 0 0 25 0 1 0 966187994 55087104 9875 4294967295 134512640 135730672 3221224592 3221222912 134732837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13449 9875 301 301 0 13148 0
vsize: 53796
[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11549 0 0 0 67924 100 0 0 25 0 1 0 966187994 55607296 9999 4294967295 134512640 135730672 3221224592 3221223104 134746536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13576 9999 301 301 0 13275 0
vsize: 54304
[startup+690.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11572 0 0 0 68924 101 0 0 25 0 1 0 966187994 55607296 10022 4294967295 134512640 135730672 3221224592 3221223136 134740312 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13576 10022 301 301 0 13275 0
vsize: 54304
[startup+700.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11592 0 0 0 69923 102 0 0 25 0 1 0 966187994 55607296 10042 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13576 10042 301 301 0 13275 0
vsize: 54304
[startup+710.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11622 0 0 0 70922 103 0 0 25 0 1 0 966187994 55730176 10072 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13606 10072 301 301 0 13305 0
vsize: 54424
[startup+720.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11641 0 0 0 71921 104 0 0 25 0 1 0 966187994 55730176 10091 4294967295 134512640 135730672 3221224592 3221223280 134748632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13606 10091 301 301 0 13305 0
vsize: 54424
[startup+730.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11679 0 0 0 72921 105 0 0 25 0 1 0 966187994 55865344 10129 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13639 10129 301 301 0 13338 0
vsize: 54556
[startup+740.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11699 0 0 0 73921 105 0 0 25 0 1 0 966187994 55865344 10149 4294967295 134512640 135730672 3221224592 3221223104 134746217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13639 10149 301 301 0 13338 0
vsize: 54556
[startup+750.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11731 0 0 0 74921 106 0 0 25 0 1 0 966187994 56000512 10181 4294967295 134512640 135730672 3221224592 3221223232 134748065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13672 10181 301 301 0 13371 0
vsize: 54688
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11754 0 0 0 75921 107 0 0 25 0 1 0 966187994 56000512 10204 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13672 10204 301 301 0 13371 0
vsize: 54688
[startup+770.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11768 0 0 0 76921 107 0 0 25 0 1 0 966187994 56000512 10218 4294967295 134512640 135730672 3221224592 3221223088 134747791 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13672 10218 301 301 0 13371 0
vsize: 54688
[startup+780.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11789 0 0 0 77921 107 0 0 25 0 1 0 966187994 56000512 10239 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13672 10239 301 301 0 13371 0
vsize: 54688
[startup+790.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11815 0 0 0 78921 108 0 0 25 0 1 0 966187994 56115200 10265 4294967295 134512640 135730672 3221224592 3221223104 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13700 10265 301 301 0 13399 0
vsize: 54800
[startup+800.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11846 0 0 0 79920 109 0 0 25 0 1 0 966187994 56115200 10296 4294967295 134512640 135730672 3221224592 3221222976 134761945 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13700 10296 301 301 0 13399 0
vsize: 54800
[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11893 0 0 0 80920 109 0 0 25 0 1 0 966187994 56373248 10343 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13763 10343 301 301 0 13462 0
vsize: 55052
[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11939 0 0 0 81919 110 0 0 25 0 1 0 966187994 56508416 10389 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13796 10389 301 301 0 13495 0
vsize: 55184
[startup+830.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 11971 0 0 0 82919 110 0 0 25 0 1 0 966187994 56643584 10421 4294967295 134512640 135730672 3221224592 3221222912 134732532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13829 10421 301 301 0 13528 0
vsize: 55316
[startup+840.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11735
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13537 0 0 0 83915 115 0 0 25 0 1 0 966187994 62935040 10450 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15365 10450 301 301 0 15064 0
vsize: 61460
[startup+850.051 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 11774
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13570 0 0 0 84914 116 0 0 25 0 1 0 966187994 63053824 10483 4294967295 134512640 135730672 3221224592 3221222912 134732532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15394 10483 301 301 0 15093 0
vsize: 61576
[startup+860.05 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11790
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13589 0 0 0 85914 116 0 0 25 0 1 0 966187994 63053824 10502 4294967295 134512640 135730672 3221224592 3221223088 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15394 10502 301 301 0 15093 0
vsize: 61576
[startup+870.05 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11790
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13620 0 0 0 86914 117 0 0 25 0 1 0 966187994 63193088 10533 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15428 10533 301 301 0 15127 0
vsize: 61712
[startup+880.05 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11790
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13645 0 0 0 87914 117 0 0 25 0 1 0 966187994 63193088 10558 4294967295 134512640 135730672 3221224592 3221223216 134748204 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15428 10558 301 301 0 15127 0
vsize: 61712
[startup+890.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11790
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13720 0 0 0 88913 118 0 0 25 0 1 0 966187994 63451136 10633 4294967295 134512640 135730672 3221224592 3221223088 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15491 10633 301 301 0 15190 0
vsize: 61964
[startup+900.049 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11790
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13758 0 0 0 89912 119 0 0 25 0 1 0 966187994 63561728 10671 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15518 10671 301 301 0 15217 0
vsize: 62072
[startup+910.049 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11790
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13778 0 0 0 90912 120 0 0 25 0 1 0 966187994 63561728 10691 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15518 10691 301 301 0 15217 0
vsize: 62072
[startup+920.049 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13802 0 0 0 91911 121 0 0 25 0 1 0 966187994 63561728 10715 4294967295 134512640 135730672 3221224592 3221223104 134746532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15518 10715 301 301 0 15217 0
vsize: 62072
[startup+930.049 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13833 0 0 0 92911 121 0 0 25 0 1 0 966187994 63696896 10746 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15551 10746 301 301 0 15250 0
vsize: 62204
[startup+940.049 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13865 0 0 0 93911 122 0 0 25 0 1 0 966187994 63696896 10778 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15551 10778 301 301 0 15250 0
vsize: 62204
[startup+950.048 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13920 0 0 0 94910 122 0 0 25 0 1 0 966187994 63987712 10833 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15622 10833 301 301 0 15321 0
vsize: 62488
[startup+960.049 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13946 0 0 0 95910 123 0 0 25 0 1 0 966187994 63987712 10859 4294967295 134512640 135730672 3221224592 3221223184 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15622 10859 301 301 0 15321 0
vsize: 62488
[startup+970.049 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13958 0 0 0 96910 124 0 0 25 0 1 0 966187994 63987712 10871 4294967295 134512640 135730672 3221224592 3221223088 134747874 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15622 10871 301 301 0 15321 0
vsize: 62488
[startup+980.049 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 13999 0 0 0 97910 124 0 0 25 0 1 0 966187994 64237568 10912 4294967295 134512640 135730672 3221224592 3221223104 134746201 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15683 10912 301 301 0 15382 0
vsize: 62732
[startup+990.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14041 0 0 0 98909 125 0 0 25 0 1 0 966187994 64372736 10954 4294967295 134512640 135730672 3221224592 3221223104 134746539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15716 10954 301 301 0 15415 0
vsize: 62864
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14060 0 0 0 99909 126 0 0 25 0 1 0 966187994 64372736 10973 4294967295 134512640 135730672 3221224592 3221222912 134732837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15716 10973 301 301 0 15415 0
vsize: 62864
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14094 0 0 0 100909 126 0 0 25 0 1 0 966187994 64503808 11007 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15748 11007 301 301 0 15447 0
vsize: 62992
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14108 0 0 0 101908 127 0 0 25 0 1 0 966187994 64503808 11021 4294967295 134512640 135730672 3221224592 3221223088 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15748 11021 301 301 0 15447 0
vsize: 62992
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14126 0 0 0 102908 128 0 0 25 0 1 0 966187994 64503808 11039 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15748 11039 301 301 0 15447 0
vsize: 62992
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14239 0 0 0 103907 129 0 0 25 0 1 0 966187994 64503808 11152 4294967295 134512640 135730672 3221224592 3221223136 134740386 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15748 11152 301 301 0 15447 0
vsize: 62992
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14367 0 0 0 104906 130 0 0 25 0 1 0 966187994 64618496 11280 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15776 11280 301 301 0 15475 0
vsize: 63104
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14503 0 0 0 105906 131 0 0 25 0 1 0 966187994 64765952 11416 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15812 11416 301 301 0 15511 0
vsize: 63248
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14605 0 0 0 106905 132 0 0 25 0 1 0 966187994 64765952 11518 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15812 11518 301 301 0 15511 0
vsize: 63248
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14769 0 0 0 107904 133 0 0 25 0 1 0 966187994 64765952 11682 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15812 11682 301 301 0 15511 0
vsize: 63248
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 14866 0 0 0 108903 134 0 0 25 0 1 0 966187994 64880640 11779 4294967295 134512640 135730672 3221224592 3221223280 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15840 11779 301 301 0 15539 0
vsize: 63360
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 15012 0 0 0 109903 135 0 0 25 0 1 0 966187994 65015808 11925 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15873 11925 301 301 0 15572 0
vsize: 63492
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 15157 0 0 0 110902 136 0 0 25 0 1 0 966187994 65150976 12070 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15906 12070 301 301 0 15605 0
vsize: 63624
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 15239 0 0 0 111901 137 0 0 25 0 1 0 966187994 65298432 12152 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15942 12152 301 301 0 15641 0
vsize: 63768
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 15371 0 0 0 112900 139 0 0 25 0 1 0 966187994 65462272 12284 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15982 12284 301 301 0 15681 0
vsize: 63928
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 15440 0 0 0 113900 139 0 0 25 0 1 0 966187994 65462272 12353 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15982 12353 301 301 0 15681 0
vsize: 63928
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 15586 0 0 0 114899 140 0 0 25 0 1 0 966187994 65597440 12499 4294967295 134512640 135730672 3221224592 3221223184 134764113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16015 12499 301 301 0 15714 0
vsize: 64060
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11792
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 15723 0 0 0 115897 142 0 0 25 0 1 0 966187994 65744896 12636 4294967295 134512640 135730672 3221224592 3221223200 134744450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16051 12636 301 301 0 15750 0
vsize: 64204
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11794
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 15835 0 0 0 116897 143 0 0 25 0 1 0 966187994 65908736 12748 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16091 12748 301 301 0 15790 0
vsize: 64364
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11794
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 16011 0 0 0 117895 145 0 0 25 0 1 0 966187994 65908736 12924 4294967295 134512640 135730672 3221224592 3221223072 134732717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16091 12924 301 301 0 15790 0
vsize: 64364
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11794
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 16072 0 0 0 118894 147 0 0 25 0 1 0 966187994 66080768 12985 4294967295 134512640 135730672 3221224592 3221223088 134747947 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16133 12985 301 301 0 15832 0
vsize: 64532
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11794
Raw data (stat): 11735 (pb2sat-v2) R 11734 25568 25567 0 -1 0 16167 0 0 0 119893 147 0 0 25 0 1 0 966187994 66080768 13080 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16133 13080 301 301 0 15832 0
vsize: 64532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 11794
Raw data (stat): 11735 (pb2sat-v2) Z 11734 25568 25567 0 -1 12 16169 0 0 0 119907 150 0 0 25 0 1 0 966187994 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.21
CPU time (s): 1200.58
CPU user time (s): 1199.07
CPU system time (s): 1.50777
CPU usage (%): 100.031
Max. virtual memory (Kb): 64532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####