PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
MD5SUM	3f8902c4e8af50006f671e2bddb3e9aa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	17
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.013997
Number of variables	480
Total number of constraints	62
Number of constraints which are clauses	32
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	16
Trace number 41887

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-15 19:04:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25103 boxname=wulflinc3 idbench=5 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3f8902c4e8af50006f671e2bddb3e9aa  /oldhome/oroussel/tmp/wulflinc3/normalized-chnl15_16_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl15_16_pb.cnf.cr.opb
IDLAUNCH: 25103
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        845116 kB
Buffers:         33504 kB
Cached:         134724 kB
SwapCached:        820 kB
Active:          41748 kB
Inactive:       128628 kB
HighTotal:      131008 kB
HighFree:        23576 kB
LowTotal:       903652 kB
LowFree:        821540 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13412 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:24:26 (client local time) WITH STATUS 0 IN 1209.97 SECONDS
stats: 25103 7 1209.97 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 450/1380	Time: 17.9333/86400
c Decision: 450/1380	Time: 18.3802/86400
c Decision: 450/1380	Time: 18.8601/86400
c Decision: 450/1380	Time: 19.497/86400
c Decision: 450/1380	Time: 20.044/86400
c Decision: 450/1380	Time: 21.0598/86400
c Decision: 450/1380	Time: 21.6717/86400
c Decision: 450/1380	Time: 22.4116/86400
c Decision: 450/1380	Time: 23.1595/86400
c Decision: 450/1380	Time: 23.8924/86400
c Decision: 450/1380	Time: 24.8582/86400
c Decision: 450/1380	Time: 25.5981/86400
c Decision: 450/1380	Time: 26.437/86400
c Decision: 450/1380	Time: 27.3538/86400
c Decision: 450/1380	Time: 28.2867/86400
c Decision: 450/1380	Time: 29.1236/86400
c Decision: 450/1380	Time: 30.0044/86400
c Decision: 450/1380	Time: 30.9153/86400
c Decision: 450/1380	Time: 31.7982/86400
c Decision: 450/1380	Time: 32.773/86400
c Decision: 450/1380	Time: 33.8019/86400
c Decision: 450/1380	Time: 34.9077/86400
c Decision: 450/1380	Time: 35.9275/86400
c Decision: 450/1380	Time: 36.8944/86400
c Decision: 450/1380	Time: 37.9562/86400
c Decision: 450/1380	Time: 39.178/86400
c Decision: 450/1380	Time: 40.2819/86400
c Decision: 450/1380	Time: 41.5037/86400
c Decision: 450/1380	Time: 42.7285/86400
c Decision: 450/1380	Time: 43.8223/86400
c Decision: 450/1380	Time: 45.0532/86400
c Decision: 450/1380	Time: 46.159/86400
c Decision: 450/1380	Time: 47.4228/86400
c Decision: 450/1380	Time: 48.7186/86400
c Decision: 450/1380	Time: 50.1114/86400
c Decision: 450/1380	Time: 51.5332/86400
c Decision: 450/1380	Time: 52.837/86400
c Decision: 450/1380	Time: 54.0658/86400
c Decision: 450/1380	Time: 55.3836/86400
c Decision: 450/1380	Time: 56.4444/86400
c Decision: 450/1380	Time: 58.1002/86400
c Decision: 450/1380	Time: 59.452/86400
c Decision: 450/1380	Time: 60.6298/86400
c Decision: 450/1380	Time: 61.8266/86400
c Decision: 450/1380	Time: 63.1824/86400
c Decision: 450/1380	Time: 64.6782/86400
c Decision: 450/1380	Time: 66.068/86400
c Decision: 450/1380	Time: 67.5897/86400
c Decision: 450/1380	Time: 68.9105/86400
c Decision: 450/1380	Time: 70.2133/86400
c Decision: 450/1380	Time: 71.9471/86400
c Decision: 450/1380	Time: 73.2679/86400
c Decision: 450/1380	Time: 74.6117/86400
c Decision: 450/1380	Time: 76.2164/86400
c Decision: 450/1380	Time: 77.5612/86400
c Decision: 450/1380	Time: 79.6979/86400
c Decision: 450/1380	Time: 81.0857/86400
c Decision: 450/1380	Time: 82.7424/86400
c Decision: 450/1380	Time: 84.4002/86400
c Decision: 450/1380	Time: 85.9879/86400
c Decision: 450/1380	Time: 87.8326/86400
c Decision: 450/1380	Time: 89.3024/86400
c Decision: 450/1380	Time: 90.8152/86400
c Decision: 450/1380	Time: 92.368/86400
c Decision: 450/1380	Time: 94.0347/86400
c Decision: 450/1380	Time: 95.8864/86400
c Decision: 450/1380	Time: 97.7261/86400
c Decision: 450/1380	Time: 99.4419/86400
c Decision: 450/1380	Time: 101.31/86400
c Decision: 450/1380	Time: 103.048/86400
c Decision: 450/1380	Time: 105.095/86400
c Decision: 450/1380	Time: 106.959/86400
c Decision: 450/1380	Time: 109.197/86400
c Decision: 450/1380	Time: 110.994/86400
c Decision: 450/1380	Time: 112.709/86400
c Decision: 450/1380	Time: 114.712/86400
c Decision: 450/1380	Time: 116.91/86400
c Decision: 450/1380	Time: 118.902/86400
c Decision: 450/1380	Time: 120.931/86400
c Decision: 450/1380	Time: 122.905/86400
c Decision: 450/1380	Time: 125.108/86400
c Decision: 450/1380	Time: 127.339/86400
c Decision: 450/1380	Time: 129.293/86400
c Decision: 450/1380	Time: 131.399/86400
c Decision: 450/1380	Time: 133.707/86400
c Decision: 450/1380	Time: 136.173/86400
c Decision: 450/1380	Time: 138.334/86400
c Decision: 450/1380	Time: 140.483/86400
c Decision: 450/1380	Time: 142.544/86400
c Decision: 450/1380	Time: 144.386/86400
c Decision: 450/1380	Time: 146.598/86400
c Decision: 450/1380	Time: 148.629/86400
c Decision: 450/1380	Time: 150.792/86400
c Decision: 450/1380	Time: 152.649/86400
c Decision: 450/1380	Time: 155.179/86400
c Decision: 450/1380	Time: 157.404/86400
c Decision: 450/1380	Time: 159.482/86400
c Decision: 450/1380	Time: 161.588/86400
c Decision: 450/1380	Time: 164.059/86400
c Decision: 450/1380	Time: 166.399/86400
c Decision: 450/1380	Time: 168.552/86400
c Decision: 450/1380	Time: 170.819/86400
c Decision: 450/1380	Time: 172.784/86400
c Decision: 450/1380	Time: 174.71/86400
c Decision: 450/1380	Time: 176.643/86400
c Decision: 450/1380	Time: 179.441/86400
c Decision: 450/1380	Time: 181.676/86400
c Decision: 450/1380	Time: 183.713/86400
c Decision: 450/1380	Time: 185.861/86400
c Decision: 450/1380	Time: 188.056/86400
c Decision: 450/1380	Time: 190.491/86400
c Decision: 450/1380	Time: 192.67/86400
c Decision: 450/1380	Time: 194.677/86400
c Decision: 450/1380	Time: 196.996/86400
c Decision: 450/1380	Time: 198.959/86400
c Decision: 450/1380	Time: 201.504/86400
c Decision: 450/1380	Time: 203.903/86400
c Decision: 450/1380	Time: 206.482/86400
c Decision: 450/1380	Time: 208.912/86400
c Decision: 450/1380	Time: 211.334/86400
c Decision: 450/1380	Time: 213.884/86400
c Decision: 450/1380	Time: 216.395/86400
c Decision: 450/1380	Time: 218.662/86400
c Decision: 450/1380	Time: 221.018/86400
c Decision: 450/1380	Time: 223.374/86400
c Decision: 450/1380	Time: 225.946/86400
c Decision: 450/1380	Time: 228.762/86400
c Decision: 450/1380	Time: 231.165/86400
c Decision: 450/1380	Time: 233.179/86400
c Decision: 450/1380	Time: 235.616/86400
c Decision: 450/1380	Time: 238.018/86400
c Decision: 450/1380	Time: 240.185/86400
c Decision: 450/1380	Time: 242.441/86400
c Decision: 450/1380	Time: 244.577/86400
c Decision: 450/1380	Time: 246.811/86400
c Decision: 450/1380	Time: 249.333/86400
c Decision: 450/1380	Time: 251.813/86400
c Decision: 450/1380	Time: 254.229/86400
c Decision: 450/1380	Time: 256.777/86400
c Decision: 450/1380	Time: 258.883/86400
c Decision: 450/1380	Time: 261.2/86400
c Decision: 450/1380	Time: 263.379/86400
c Decision: 450/1380	Time: 265.238/86400
c Decision: 450/1380	Time: 267.36/86400
c Decision: 450/1380	Time: 269.508/86400
c Decision: 450/1380	Time: 271.735/86400
c Decision: 450/1380	Time: 273.674/86400
c Decision: 450/1380	Time: 275.61/86400
c Decision: 450/1380	Time: 277.77/86400
c Decision: 450/1380	Time: 279.738/86400
c Decision: 450/1380	Time: 282.281/86400
c Decision: 450/1380	Time: 284.64/86400
c Decision: 450/1380	Time: 286.856/86400
c Decision: 450/1380	Time: 289.106/86400
c Decision: 450/1380	Time: 291.55/86400
c Decision: 450/1380	Time: 294.598/86400
c Decision: 450/1380	Time: 296.576/86400
c Decision: 450/1380	Time: 298.846/86400
c Decision: 450/1380	Time: 301.099/86400
c Decision: 450/1380	Time: 303.205/86400
c Decision: 450/1380	Time: 305.946/86400
c Decision: 450/1380	Time: 308.361/86400
c Decision: 450/1380	Time: 310.716/86400
c Decision: 450/1380	Time: 313.054/86400
c Decision: 450/1380	Time: 315.273/86400
c Decision: 450/1380	Time: 317.806/86400
c Decision: 450/1380	Time: 320.019/86400
c Decision: 450/1380	Time: 322.239/86400
c Decision: 450/1380	Time: 324.873/86400
c Decision: 450/1380	Time: 327.277/86400
c Decision: 450/1380	Time: 329.74/86400
c Decision: 450/1380	Time: 332.01/86400
c Decision: 450/1380	Time: 334.249/86400
c Decision: 450/1380	Time: 336.521/86400
c Decision: 450/1380	Time: 338.506/86400
c Decision: 450/1380	Time: 340.846/86400
c Decision: 450/1380	Time: 343.075/86400
c Decision: 450/1380	Time: 344.996/86400
c Decision: 450/1380	Time: 346.975/86400
c Decision: 450/1380	Time: 348.918/86400
c Decision: 450/1380	Time: 351.449/86400
c Decision: 450/1380	Time: 353.7/86400
c Decision: 450/1380	Time: 355.947/86400
c Decision: 450/1380	Time: 358/86400
c Decision: 450/1380	Time: 360.676/86400
c Decision: 450/1380	Time: 362.803/86400
c Decision: 450/1380	Time: 364.94/86400
c Decision: 450/1380	Time: 367.165/86400
c Decision: 450/1380	Time: 369.294/86400
c Decision: 450/1380	Time: 371.429/86400
c Decision: 450/1380	Time: 373.846/86400
c Decision: 450/1380	Time: 375.983/86400
c Decision: 450/1380	Time: 378.127/86400
c Decision: 450/1380	Time: 380.117/86400
c Decision: 450/1380	Time: 382.323/86400
c Decision: 450/1380	Time: 384.641/86400
c Decision: 450/1380	Time: 386.953/86400
c Decision: 450/1380	Time: 389.185/86400
c Decision: 450/1380	Time: 391.364/86400
c Decision: 450/1380	Time: 393.569/86400
c Decision: 450/1380	Time: 395.925/86400
c Decision: 450/1380	Time: 398.094/86400
c Decision: 450/1380	Time: 400.193/86400
c Decision: 450/1380	Time: 402.804/86400
c Decision: 450/1380	Time: 405.258/86400
c Decision: 450/1380	Time: 408.095/86400
c Decision: 450/1380	Time: 410.597/86400
c Decision: 450/1380	Time: 413.256/86400
c Decision: 450/1380	Time: 415.16/86400
c Decision: 450/1380	Time: 417.161/86400
c Decision: 450/1380	Time: 419.43/86400
c Decision: 450/1380	Time: 421.552/86400
c Decision: 450/1380	Time: 423.482/86400
c Decision: 450/1380	Time: 425.453/86400
c Decision: 450/1380	Time: 427.774/86400
c Decision: 450/1380	Time: 430.089/86400
c Decision: 450/1380	Time: 432.299/86400
c Decision: 450/1380	Time: 434.704/86400
c Decision: 450/1380	Time: 437.168/86400
c Decision: 450/1380	Time: 439.2/86400
c Decision: 450/1380	Time: 441.615/86400
c Decision: 450/1380	Time: 443.734/86400
c Decision: 450/1380	Time: 446.009/86400
c Decision: 450/1380	Time: 448.088/86400
c Decision: 450/1380	Time: 450.689/86400
c Decision: 450/1380	Time: 453.437/86400
c Decision: 450/1380	Time: 455.665/86400
c Decision: 450/1380	Time: 458.146/86400
c Decision: 450/1380	Time: 460.635/86400
c Decision: 450/1380	Time: 463.369/86400
c Decision: 450/1380	Time: 465.804/86400
c Decision: 450/1380	Time: 468.046/86400
c Decision: 450/1380	Time: 470.618/86400
c Decision: 450/1380	Time: 473.098/86400
c Decision: 450/1380	Time: 475.641/86400
c Decision: 450/1380	Time: 478.439/86400
c Decision: 450/1380	Time: 480.973/86400
c Decision: 450/1380	Time: 483.406/86400
c Decision: 450/1380	Time: 485.878/86400
c Decision: 450/1380	Time: 488.171/86400
c Decision: 450/1380	Time: 491.064/86400
c Decision: 450/1380	Time: 493.341/86400
c Decision: 450/1380	Time: 495.8/86400
c Decision: 450/1380	Time: 498.226/86400
c Decision: 450/1380	Time: 500.528/86400
c Decision: 450/1380	Time: 502.895/86400
c Decision: 450/1380	Time: 505.108/86400
c Decision: 450/1380	Time: 507.365/86400
c Decision: 450/1380	Time: 509.469/86400
c Decision: 450/1380	Time: 511.565/86400
c Decision: 450/1380	Time: 513.932/86400
c Decision: 450/1380	Time: 515.82/86400
c Decision: 450/1380	Time: 518.073/86400
c Decision: 450/1380	Time: 520.25/86400
c Decision: 450/1380	Time: 522.586/86400
c Decision: 450/1380	Time: 524.982/86400
c Decision: 450/1380	Time: 527.515/86400
c Decision: 450/1380	Time: 529.978/86400
c Decision: 450/1380	Time: 532.497/86400
c Decision: 450/1380	Time: 534.852/86400
c Decision: 450/1380	Time: 537.637/86400
c Decision: 450/1380	Time: 540.048/86400
c Decision: 450/1380	Time: 542.444/86400
c Decision: 450/1380	Time: 544.926/86400
c Decision: 450/1380	Time: 547.585/86400
c Decision: 450/1380	Time: 550.572/86400
c Decision: 450/1380	Time: 553.13/86400
c Decision: 450/1380	Time: 555.741/86400
c Decision: 450/1380	Time: 558.377/86400
c Decision: 450/1380	Time: 561.174/86400
c Decision: 450/1380	Time: 564.222/86400
c Decision: 450/1380	Time: 566.725/86400
c Decision: 450/1380	Time: 569.614/86400
c Decision: 450/1380	Time: 572.071/86400
c Decision: 450/1380	Time: 574.66/86400
c Decision: 450/1380	Time: 577.561/86400
c Decision: 450/1380	Time: 580.246/86400
c Decision: 450/1380	Time: 583.062/86400
c Decision: 450/1380	Time: 585.801/86400
c Decision: 450/1380	Time: 588.772/86400
c Decision: 450/1380	Time: 592.064/86400
c Decision: 450/1380	Time: 595.148/86400
c Decision: 450/1380	Time: 597.964/86400
c Decision: 450/1380	Time: 600.786/86400
c Decision: 450/1380	Time: 603.477/86400
c Decision: 450/1380	Time: 606.726/86400
c Decision: 450/1380	Time: 609.526/86400
c Decision: 450/1380	Time: 612.451/86400
c Decision: 450/1380	Time: 615.198/86400
c Decision: 450/1380	Time: 617.677/86400
c Decision: 450/1380	Time: 620.685/86400
c Decision: 450/1380	Time: 623.172/86400
c Decision: 450/1380	Time: 625.626/86400
c Decision: 450/1380	Time: 628.396/86400
c Decision: 450/1380	Time: 631.327/86400
c Decision: 450/1380	Time: 634.22/86400
c Decision: 450/1380	Time: 636.903/86400
c Decision: 450/1380	Time: 639.227/86400
c Decision: 450/1380	Time: 642.509/86400
c Decision: 450/1380	Time: 645.311/86400
c Decision: 450/1380	Time: 648.696/86400
c Decision: 450/1380	Time: 651.557/86400
c Decision: 450/1380	Time: 654.451/86400
c Decision: 450/1380	Time: 657.437/86400
c Decision: 450/1380	Time: 660.667/86400
c Decision: 450/1380	Time: 663.782/86400
c Decision: 450/1380	Time: 666.622/86400
c Decision: 450/1380	Time: 669.031/86400
c Decision: 450/1380	Time: 671.752/86400
c Decision: 450/1380	Time: 674.487/86400
c Decision: 450/1380	Time: 677.782/86400
c Decision: 450/1380	Time: 680.52/86400
c Decision: 450/1380	Time: 683.258/86400
c Decision: 450/1380	Time: 685.94/86400
c Decision: 450/1380	Time: 688.869/86400
c Decision: 450/1380	Time: 692.241/86400
c Decision: 450/1380	Time: 694.631/86400
c Decision: 450/1380	Time: 697.276/86400
c Decision: 450/1380	Time: 700.168/86400
c Decision: 450/1380	Time: 702.947/86400
c Decision: 450/1380	Time: 706.058/86400
c Decision: 450/1380	Time: 708.847/86400
c Decision: 450/1380	Time: 711.706/86400
c Decision: 450/1380	Time: 714.72/86400
c Decision: 450/1380	Time: 717.807/86400
c Decision: 450/1380	Time: 721.212/86400
c Decision: 450/1380	Time: 724.457/86400
c Decision: 450/1380	Time: 727.402/86400
c Decision: 450/1380	Time: 730.541/86400
c Decision: 450/1380	Time: 734.931/86400
c Decision: 450/1380	Time: 739.078/86400
c Decision: 450/1380	Time: 742.241/86400
c Decision: 450/1380	Time: 745.79/86400
c Decision: 450/1380	Time: 749.268/86400
c Decision: 450/1380	Time: 752.778/86400
c Decision: 450/1380	Time: 756.638/86400
c Decision: 450/1380	Time: 759.656/86400
c Decision: 450/1380	Time: 762.867/86400
c Decision: 450/1380	Time: 766.379/86400
c Decision: 450/1380	Time: 769.593/86400
c Decision: 450/1380	Time: 772.984/86400
c Decision: 450/1380	Time: 776.142/86400
c Decision: 450/1380	Time: 779.737/86400
c Decision: 450/1380	Time: 783.363/86400
c Decision: 450/1380	Time: 786.782/86400
c Decision: 450/1380	Time: 790.648/86400
c Decision: 450/1380	Time: 794.819/86400
c Decision: 450/1380	Time: 797.957/86400
c Decision: 450/1380	Time: 801.42/86400
c Decision: 450/1380	Time: 804.471/86400
c Decision: 450/1380	Time: 807.848/86400
c Decision: 450/1380	Time: 811.082/86400
c Decision: 450/1380	Time: 814.175/86400
c Decision: 450/1380	Time: 817.455/86400
c Decision: 450/1380	Time: 820.555/86400
c Decision: 450/1380	Time: 824.092/86400
c Decision: 450/1380	Time: 827.056/86400
c Decision: 450/1380	Time: 830.12/86400
c Decision: 450/1380	Time: 833.457/86400
c Decision: 450/1380	Time: 836.562/86400
c Decision: 450/1380	Time: 840.344/86400
c Decision: 450/1380	Time: 843.584/86400
c Decision: 450/1380	Time: 846.905/86400
c Decision: 450/1380	Time: 850.062/86400
c Decision: 450/1380	Time: 853.198/86400
c Decision: 450/1380	Time: 856.576/86400
c Decision: 450/1380	Time: 859.43/86400
c Decision: 450/1380	Time: 862.673/86400
c Decision: 450/1380	Time: 865.62/86400
c Decision: 450/1380	Time: 868.908/86400
c Decision: 450/1380	Time: 872.308/86400
c Decision: 450/1380	Time: 875.158/86400
c Decision: 450/1380	Time: 877.617/86400
c Decision: 450/1380	Time: 880.511/86400
c Decision: 450/1380	Time: 882.947/86400
c Decision: 450/1380	Time: 885.734/86400
c Decision: 450/1380	Time: 888.382/86400
c Decision: 450/1380	Time: 891.226/86400
c Decision: 450/1380	Time: 894.134/86400
c Decision: 450/1380	Time: 896.545/86400
c Decision: 450/1380	Time: 899.695/86400
c Decision: 450/1380	Time: 902.471/86400
c Decision: 450/1380	Time: 905.138/86400
c Decision: 450/1380	Time: 908.115/86400
c Decision: 450/1380	Time: 910.962/86400
c Decision: 450/1380	Time: 914.109/86400
c Decision: 450/1380	Time: 917.27/86400
c Decision: 450/1380	Time: 920.212/86400
c Decision: 450/1380	Time: 923.234/86400
c Decision: 450/1380	Time: 926.438/86400
c Decision: 450/1380	Time: 929.798/86400
c Decision: 450/1380	Time: 932.81/86400
c Decision: 450/1380	Time: 936.047/86400
c Decision: 450/1380	Time: 938.898/86400
c Decision: 450/1380	Time: 941.831/86400
c Decision: 450/1380	Time: 944.848/86400
c Decision: 450/1380	Time: 947.651/86400
c Decision: 450/1380	Time: 950.88/86400
c Decision: 450/1380	Time: 953.738/86400
c Decision: 450/1380	Time: 956.535/86400
c Decision: 450/1380	Time: 959.508/86400
c Decision: 450/1380	Time: 962.323/86400
c Decision: 450/1380	Time: 965.238/86400
c Decision: 450/1380	Time: 968.194/86400
c Decision: 450/1380	Time: 970.936/86400
c Decision: 450/1380	Time: 974.25/86400
c Decision: 450/1380	Time: 977.576/86400
c Decision: 450/1380	Time: 980.561/86400
c Decision: 450/1380	Time: 983.317/86400
c Decision: 450/1380	Time: 986.145/86400
c Decision: 450/1380	Time: 989.464/86400
c Decision: 450/1380	Time: 992.361/86400
c Decision: 450/1380	Time: 995.348/86400
c Decision: 450/1380	Time: 998.592/86400
c Decision: 450/1380	Time: 1002.11/86400
c Decision: 450/1380	Time: 1005.54/86400
c Decision: 450/1380	Time: 1008.97/86400
c Decision: 450/1380	Time: 1011.94/86400
c Decision: 450/1380	Time: 1014.71/86400
c Decision: 450/1380	Time: 1018.01/86400
c Decision: 450/1380	Time: 1021.63/86400
c Decision: 450/1380	Time: 1024.75/86400
c Decision: 450/1380	Time: 1027.89/86400
c Decision: 450/1380	Time: 1031.23/86400
c Decision: 450/1380	Time: 1034.75/86400
c Decision: 450/1380	Time: 1038.61/86400
c Decision: 450/1380	Time: 1042.17/86400
c Decision: 450/1380	Time: 1045.39/86400
c Decision: 450/1380	Time: 1049.09/86400
c Decision: 450/1380	Time: 1052.27/86400
c Decision: 450/1380	Time: 1056.57/86400
c Decision: 450/1380	Time: 1059.71/86400
c Decision: 450/1380	Time: 1063.44/86400
c Decision: 450/1380	Time: 1066.59/86400
c Decision: 450/1380	Time: 1069.67/86400
c Decision: 450/1380	Time: 1073.27/86400
c Decision: 450/1380	Time: 1076.46/86400
c Decision: 450/1380	Time: 1079.87/86400
c Decision: 450/1380	Time: 1083.2/86400
c Decision: 450/1380	Time: 1086.86/86400
c Decision: 450/1380	Time: 1090.71/86400
c Decision: 450/1380	Time: 1094.58/86400
c Decision: 450/1380	Time: 1098.14/86400
c Decision: 450/1380	Time: 1101.38/86400
c Decision: 450/1380	Time: 1104.47/86400
c Decision: 450/1380	Time: 1108.58/86400
c Decision: 450/1380	Time: 1111.88/86400
c Decision: 450/1380	Time: 1115.39/86400
c Decision: 450/1380	Time: 1118.54/86400
c Decision: 450/1380	Time: 1121.8/86400
c Decision: 450/1380	Time: 1126.07/86400
c Decision: 450/1380	Time: 1129.81/86400
c Decision: 450/1380	Time: 1133.4/86400
c Decision: 450/1380	Time: 1136.98/86400
c Decision: 450/1380	Time: 1140.31/86400
c Decision: 450/1380	Time: 1144.11/86400
c Decision: 450/1380	Time: 1147.62/86400
c Decision: 450/1380	Time: 1151.27/86400
c Decision: 450/1380	Time: 1154.9/86400
c Decision: 450/1380	Time: 1158.7/86400
c Decision: 450/1380	Time: 1162.93/86400
c Decision: 450/1380	Time: 1166.56/86400
c Decision: 450/1380	Time: 1169.85/86400
c Decision: 450/1380	Time: 1173.24/86400
c Decision: 450/1380	Time: 1176.91/86400
c Decision: 450/1380	Time: 1181.08/86400
c Decision: 450/1380	Time: 1184.68/86400
c Decision: 450/1380	Time: 1188.26/86400
c Decision: 450/1380	Time: 1192.01/86400
c Decision: 450/1380	Time: 1195.75/86400
c Decision: 450/1380	Time: 1200.22/86400
c Decision: 450/1380	Time: 1203.77/86400
c Decision: 450/1380	Time: 1207.23/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.00 0.01 0.22 1/54 11074
Raw data (stat): 11074 (runsolver) R 11073 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964489477 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.0008 s]
Raw data (loadavg): 0.15 0.05 0.22 2/54 11074
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 1025 0 9 0 952 4 0 0 25 0 1 0 964489477 6664192 1021 4294967295 134512640 135730672 3221224576 3221223120 134740257 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1627 1021 301 301 0 1326 0
vsize: 6508
[startup+20.0007 s]
Raw data (loadavg): 0.28 0.08 0.23 2/54 11074
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 1654 0 9 0 1948 8 0 0 25 0 1 0 964489477 11616256 1601 4294967295 134512640 135730672 3221224576 3221222988 135301630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2836 1601 301 301 0 2535 0
vsize: 11344
[startup+30.0018 s]
Raw data (loadavg): 0.39 0.11 0.24 2/54 11074
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 2370 0 9 0 2943 13 0 0 25 0 1 0 964489477 13156352 2220 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3212 2220 301 301 0 2911 0
vsize: 12848
[startup+40.0023 s]
Raw data (loadavg): 0.49 0.14 0.25 2/54 11074
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 2547 0 9 0 3941 15 0 0 25 0 1 0 964489477 13737984 2397 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3354 2397 301 301 0 3053 0
vsize: 13416
[startup+50.0031 s]
Raw data (loadavg): 0.56 0.16 0.26 2/54 11074
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 3013 0 9 0 4938 18 0 0 25 0 1 0 964489477 15343616 2670 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3746 2670 301 301 0 3445 0
vsize: 14984
[startup+60.003 s]
Raw data (loadavg): 0.63 0.19 0.26 2/54 11074
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 3305 0 9 0 5936 20 0 0 25 0 1 0 964489477 16326656 2962 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3986 2962 301 301 0 3685 0
vsize: 15944
[startup+70.0028 s]
Raw data (loadavg): 0.69 0.22 0.27 2/54 11074
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 3765 0 9 0 6934 21 0 0 25 0 1 0 964489477 16982016 3422 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4146 3422 301 301 0 3845 0
vsize: 16584
[startup+80.0036 s]
Raw data (loadavg): 0.74 0.24 0.28 2/54 11074
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 4044 0 9 0 7933 23 0 0 25 0 1 0 964489477 17637376 3701 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4306 3701 301 301 0 4005 0
vsize: 17224
[startup+90.0038 s]
Raw data (loadavg): 0.78 0.27 0.29 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 4336 0 9 0 8931 25 0 0 25 0 1 0 964489477 26517504 3993 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6474 3993 301 301 0 6173 0
vsize: 25896
[startup+100.004 s]
Raw data (loadavg): 0.81 0.29 0.29 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 4675 0 9 0 9928 28 0 0 25 0 1 0 964489477 26681344 4332 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6514 4332 301 301 0 6213 0
vsize: 26056
[startup+110.005 s]
Raw data (loadavg): 0.84 0.31 0.30 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 4960 0 9 0 10926 29 0 0 25 0 1 0 964489477 27041792 4617 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6602 4617 301 301 0 6301 0
vsize: 26408
[startup+120.005 s]
Raw data (loadavg): 0.86 0.33 0.31 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 5267 0 9 0 11925 31 0 0 25 0 1 0 964489477 27828224 4924 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6794 4924 301 301 0 6493 0
vsize: 27176
[startup+130.006 s]
Raw data (loadavg): 0.88 0.36 0.31 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 6069 0 9 0 12922 34 0 0 25 0 1 0 964489477 30580736 5341 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7466 5341 301 301 0 7165 0
vsize: 29864
[startup+140.007 s]
Raw data (loadavg): 0.90 0.38 0.32 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 6493 0 9 0 13921 36 0 0 25 0 1 0 964489477 31760384 5765 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 5765 301 301 0 7453 0
vsize: 31016
[startup+150.007 s]
Raw data (loadavg): 0.92 0.40 0.33 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 6803 0 9 0 14918 38 0 0 25 0 1 0 964489477 32546816 6075 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7946 6075 301 301 0 7645 0
vsize: 31784
[startup+160.007 s]
Raw data (loadavg): 0.93 0.42 0.33 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 6853 0 9 0 15917 39 0 0 25 0 1 0 964489477 32546816 6125 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7946 6125 301 301 0 7645 0
vsize: 31784
[startup+170.008 s]
Raw data (loadavg): 0.94 0.43 0.34 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 6937 0 9 0 16917 40 0 0 25 0 1 0 964489477 32940032 6209 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8042 6209 301 301 0 7741 0
vsize: 32168
[startup+180.009 s]
Raw data (loadavg): 0.95 0.45 0.35 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7035 0 9 0 17916 41 0 0 25 0 1 0 964489477 33333248 6307 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8138 6307 301 301 0 7837 0
vsize: 32552
[startup+190.009 s]
Raw data (loadavg): 0.95 0.47 0.35 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7167 0 9 0 18915 42 0 0 25 0 1 0 964489477 33529856 6439 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8186 6439 301 301 0 7885 0
vsize: 32744
[startup+200.009 s]
Raw data (loadavg): 0.96 0.49 0.36 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7410 0 9 0 19914 44 0 0 25 0 1 0 964489477 33923072 6682 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 6682 301 301 0 7981 0
vsize: 33128
[startup+210.009 s]
Raw data (loadavg): 0.97 0.50 0.37 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7618 0 9 0 20912 46 0 0 25 0 1 0 964489477 33923072 6890 4294967295 134512640 135730672 3221224576 3221222912 134739267 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 6890 301 301 0 7981 0
vsize: 33128
[startup+220.009 s]
Raw data (loadavg): 0.97 0.52 0.37 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7786 0 9 0 21911 47 0 0 25 0 1 0 964489477 34119680 7058 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8330 7058 301 301 0 8029 0
vsize: 33320
[startup+230.01 s]
Raw data (loadavg): 0.98 0.54 0.38 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 7910 0 9 0 22910 48 0 0 25 0 1 0 964489477 34316288 7182 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8378 7182 301 301 0 8077 0
vsize: 33512
[startup+240.011 s]
Raw data (loadavg): 0.98 0.55 0.38 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8117 0 9 0 23908 50 0 0 25 0 1 0 964489477 34512896 7389 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8426 7389 301 301 0 8125 0
vsize: 33704
[startup+250.012 s]
Raw data (loadavg): 0.98 0.56 0.39 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8152 0 9 0 24908 50 0 0 25 0 1 0 964489477 34512896 7424 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8426 7424 301 301 0 8125 0
vsize: 33704
[startup+260.011 s]
Raw data (loadavg): 0.98 0.58 0.40 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8216 0 9 0 25907 52 0 0 25 0 1 0 964489477 34709504 7488 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8474 7488 301 301 0 8173 0
vsize: 33896
[startup+270.012 s]
Raw data (loadavg): 0.99 0.59 0.40 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8256 0 9 0 26906 53 0 0 25 0 1 0 964489477 34709504 7528 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8474 7528 301 301 0 8173 0
vsize: 33896
[startup+280.012 s]
Raw data (loadavg): 0.99 0.60 0.41 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8305 0 9 0 27906 53 0 0 25 0 1 0 964489477 34906112 7577 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8522 7577 301 301 0 8221 0
vsize: 34088
[startup+290.012 s]
Raw data (loadavg): 0.99 0.62 0.41 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8326 0 9 0 28905 54 0 0 25 0 1 0 964489477 34906112 7598 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8522 7598 301 301 0 8221 0
vsize: 34088
[startup+300.013 s]
Raw data (loadavg): 0.99 0.63 0.42 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8355 0 9 0 29904 55 0 0 25 0 1 0 964489477 34906112 7627 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8522 7627 301 301 0 8221 0
vsize: 34088
[startup+310.013 s]
Raw data (loadavg): 0.99 0.64 0.43 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8379 0 9 0 30904 56 0 0 25 0 1 0 964489477 34906112 7651 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8522 7651 301 301 0 8221 0
vsize: 34088
[startup+320.012 s]
Raw data (loadavg): 0.99 0.65 0.43 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8439 0 9 0 31903 57 0 0 25 0 1 0 964489477 34906112 7711 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8522 7711 301 301 0 8221 0
vsize: 34088
[startup+330.013 s]
Raw data (loadavg): 0.99 0.66 0.44 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 8546 0 9 0 32902 58 0 0 25 0 1 0 964489477 34906112 7818 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8522 7818 301 301 0 8221 0
vsize: 34088
[startup+340.013 s]
Raw data (loadavg): 0.99 0.67 0.44 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9337 0 9 0 33900 60 0 0 25 0 1 0 964489477 38051840 7840 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9290 7840 301 301 0 8989 0
vsize: 37160
[startup+350.014 s]
Raw data (loadavg): 0.99 0.68 0.45 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9359 0 9 0 34900 61 0 0 25 0 1 0 964489477 38051840 7862 4294967295 134512640 135730672 3221224576 3221222960 134761916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9290 7862 301 301 0 8989 0
vsize: 37160
[startup+360.014 s]
Raw data (loadavg): 0.99 0.69 0.45 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9380 0 9 0 35899 61 0 0 25 0 1 0 964489477 38051840 7883 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9290 7883 301 301 0 8989 0
vsize: 37160
[startup+370.014 s]
Raw data (loadavg): 0.99 0.70 0.46 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9403 0 9 0 36898 62 0 0 25 0 1 0 964489477 38187008 7906 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9323 7906 301 301 0 9022 0
vsize: 37292
[startup+380.014 s]
Raw data (loadavg): 0.99 0.71 0.46 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9448 0 9 0 37898 63 0 0 25 0 1 0 964489477 38187008 7951 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9323 7951 301 301 0 9022 0
vsize: 37292
[startup+390.014 s]
Raw data (loadavg): 0.99 0.72 0.47 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9491 0 9 0 38897 64 0 0 25 0 1 0 964489477 38313984 7994 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9354 7994 301 301 0 9053 0
vsize: 37416
[startup+400.015 s]
Raw data (loadavg): 0.99 0.73 0.47 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9518 0 9 0 39897 64 0 0 25 0 1 0 964489477 38313984 8021 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9354 8021 301 301 0 9053 0
vsize: 37416
[startup+410.016 s]
Raw data (loadavg): 0.99 0.74 0.48 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9559 0 9 0 40896 65 0 0 25 0 1 0 964489477 38449152 8062 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9387 8062 301 301 0 9086 0
vsize: 37548
[startup+420.016 s]
Raw data (loadavg): 0.99 0.75 0.48 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9614 0 9 0 41896 65 0 0 25 0 1 0 964489477 38584320 8117 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9420 8117 301 301 0 9119 0
vsize: 37680
[startup+430.017 s]
Raw data (loadavg): 0.99 0.75 0.49 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9650 0 9 0 42895 67 0 0 25 0 1 0 964489477 38584320 8153 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9420 8153 301 301 0 9119 0
vsize: 37680
[startup+440.017 s]
Raw data (loadavg): 0.99 0.76 0.49 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9682 0 9 0 43894 68 0 0 25 0 1 0 964489477 38719488 8185 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9453 8185 301 301 0 9152 0
vsize: 37812
[startup+450.017 s]
Raw data (loadavg): 0.99 0.77 0.50 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9710 0 9 0 44894 68 0 0 25 0 1 0 964489477 38719488 8213 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9453 8213 301 301 0 9152 0
vsize: 37812
[startup+460.017 s]
Raw data (loadavg): 0.99 0.78 0.50 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9737 0 9 0 45893 69 0 0 25 0 1 0 964489477 38719488 8240 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9453 8240 301 301 0 9152 0
vsize: 37812
[startup+470.017 s]
Raw data (loadavg): 0.99 0.78 0.51 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9770 0 9 0 46893 70 0 0 25 0 1 0 964489477 38842368 8273 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9483 8273 301 301 0 9182 0
vsize: 37932
[startup+480.018 s]
Raw data (loadavg): 0.99 0.79 0.51 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9845 0 9 0 47893 70 0 0 25 0 1 0 964489477 38842368 8348 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9483 8348 301 301 0 9182 0
vsize: 37932
[startup+490.018 s]
Raw data (loadavg): 0.99 0.80 0.52 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 9968 0 9 0 48892 71 0 0 25 0 1 0 964489477 39137280 8471 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9555 8471 301 301 0 9254 0
vsize: 38220
[startup+500.018 s]
Raw data (loadavg): 0.99 0.80 0.52 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10033 0 9 0 49891 72 0 0 25 0 1 0 964489477 39137280 8536 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9555 8536 301 301 0 9254 0
vsize: 38220
[startup+510.019 s]
Raw data (loadavg): 0.99 0.81 0.53 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10076 0 9 0 50890 73 0 0 25 0 1 0 964489477 39272448 8579 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9588 8579 301 301 0 9287 0
vsize: 38352
[startup+520.019 s]
Raw data (loadavg): 0.99 0.81 0.53 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10100 0 9 0 51890 74 0 0 25 0 1 0 964489477 39272448 8603 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9588 8603 301 301 0 9287 0
vsize: 38352
[startup+530.02 s]
Raw data (loadavg): 0.99 0.82 0.54 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10125 0 9 0 52889 74 0 0 25 0 1 0 964489477 39272448 8628 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9588 8628 301 301 0 9287 0
vsize: 38352
[startup+540.02 s]
Raw data (loadavg): 0.99 0.83 0.54 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10157 0 9 0 53889 75 0 0 25 0 1 0 964489477 39272448 8660 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9588 8660 301 301 0 9287 0
vsize: 38352
[startup+550.021 s]
Raw data (loadavg): 0.99 0.83 0.55 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10293 0 9 0 54888 76 0 0 25 0 1 0 964489477 56205312 8796 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13722 8796 301 301 0 13421 0
vsize: 54888
[startup+560.02 s]
Raw data (loadavg): 0.99 0.84 0.55 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10516 0 9 0 55886 78 0 0 25 0 1 0 964489477 56205312 9019 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13722 9019 301 301 0 13421 0
vsize: 54888
[startup+570.02 s]
Raw data (loadavg): 0.99 0.84 0.56 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10639 0 9 0 56886 78 0 0 25 0 1 0 964489477 56340480 9142 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13755 9142 301 301 0 13454 0
vsize: 55020
[startup+580.021 s]
Raw data (loadavg): 0.99 0.85 0.56 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10676 0 9 0 57886 79 0 0 25 0 1 0 964489477 56340480 9179 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13755 9179 301 301 0 13454 0
vsize: 55020
[startup+590.021 s]
Raw data (loadavg): 0.99 0.85 0.56 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10727 0 9 0 58885 80 0 0 25 0 1 0 964489477 56475648 9230 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13788 9230 301 301 0 13487 0
vsize: 55152
[startup+600.022 s]
Raw data (loadavg): 0.99 0.85 0.57 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 10900 0 9 0 59884 81 0 0 25 0 1 0 964489477 57151488 9403 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13953 9403 301 301 0 13652 0
vsize: 55812
[startup+610.022 s]
Raw data (loadavg): 0.99 0.86 0.57 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11076 0 9 0 60883 82 0 0 25 0 1 0 964489477 57286656 9579 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 9579 301 301 0 13685 0
vsize: 55944
[startup+620.021 s]
Raw data (loadavg): 0.99 0.86 0.58 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11122 0 9 0 61883 83 0 0 25 0 1 0 964489477 57421824 9625 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14019 9625 301 301 0 13718 0
vsize: 56076
[startup+630.021 s]
Raw data (loadavg): 0.99 0.87 0.58 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11145 0 9 0 62882 83 0 0 25 0 1 0 964489477 57421824 9648 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14019 9648 301 301 0 13718 0
vsize: 56076
[startup+640.021 s]
Raw data (loadavg): 0.99 0.87 0.58 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11192 0 9 0 63882 84 0 0 25 0 1 0 964489477 57556992 9695 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 9695 301 301 0 13751 0
vsize: 56208
[startup+650.022 s]
Raw data (loadavg): 0.99 0.87 0.59 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11450 0 9 0 64881 85 0 0 25 0 1 0 964489477 58368000 9953 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14250 9953 301 301 0 13949 0
vsize: 57000
[startup+660.022 s]
Raw data (loadavg): 0.99 0.88 0.59 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11533 0 9 0 65880 86 0 0 25 0 1 0 964489477 58503168 10036 4294967295 134512640 135730672 3221224576 3221223072 134747777 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14283 10036 301 301 0 13982 0
vsize: 57132
[startup+670.022 s]
Raw data (loadavg): 0.99 0.88 0.59 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11673 0 9 0 66879 87 0 0 25 0 1 0 964489477 58908672 10176 4294967295 134512640 135730672 3221224576 3221223120 134740276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14382 10176 301 301 0 14081 0
vsize: 57528
[startup+680.022 s]
Raw data (loadavg): 0.99 0.89 0.60 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11890 0 9 0 67878 88 0 0 25 0 1 0 964489477 59179008 10393 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14448 10393 301 301 0 14147 0
vsize: 57792
[startup+690.022 s]
Raw data (loadavg): 0.99 0.89 0.60 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 11981 0 9 0 68877 89 0 0 25 0 1 0 964489477 59719680 10484 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14580 10484 301 301 0 14279 0
vsize: 58320
[startup+700.023 s]
Raw data (loadavg): 0.99 0.89 0.61 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 12040 0 9 0 69877 90 0 0 25 0 1 0 964489477 59990016 10543 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14646 10543 301 301 0 14345 0
vsize: 58584
[startup+710.023 s]
Raw data (loadavg): 0.99 0.89 0.61 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 12130 0 9 0 70876 91 0 0 25 0 1 0 964489477 60530688 10633 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14778 10633 301 301 0 14477 0
vsize: 59112
[startup+720.023 s]
Raw data (loadavg): 0.99 0.90 0.61 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 12262 0 9 0 71876 91 0 0 25 0 1 0 964489477 61071360 10765 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14910 10765 301 301 0 14609 0
vsize: 59640
[startup+730.024 s]
Raw data (loadavg): 0.99 0.90 0.62 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 12488 0 9 0 72876 92 0 0 25 0 1 0 964489477 61882368 10991 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15108 10991 301 301 0 14807 0
vsize: 60432
[startup+740.023 s]
Raw data (loadavg): 0.99 0.90 0.62 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 12758 0 9 0 73874 94 0 0 25 0 1 0 964489477 62558208 11261 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15273 11261 301 301 0 14972 0
vsize: 61092
[startup+750.023 s]
Raw data (loadavg): 0.99 0.91 0.63 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13081 0 9 0 74872 96 0 0 25 0 1 0 964489477 63639552 11584 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15537 11584 301 301 0 15236 0
vsize: 62148
[startup+760.024 s]
Raw data (loadavg): 0.99 0.91 0.63 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13268 0 9 0 75871 97 0 0 25 0 1 0 964489477 64045056 11771 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15636 11771 301 301 0 15335 0
vsize: 62544
[startup+770.024 s]
Raw data (loadavg): 0.99 0.91 0.63 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13403 0 9 0 76870 98 0 0 25 0 1 0 964489477 64450560 11906 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15735 11906 301 301 0 15434 0
vsize: 62940
[startup+780.025 s]
Raw data (loadavg): 0.99 0.91 0.64 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13537 0 9 0 77869 99 0 0 25 0 1 0 964489477 64856064 12040 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15834 12040 301 301 0 15533 0
vsize: 63336
[startup+790.026 s]
Raw data (loadavg): 0.99 0.92 0.64 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13680 0 9 0 78868 100 0 0 25 0 1 0 964489477 65396736 12183 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15966 12183 301 301 0 15665 0
vsize: 63864
[startup+800.027 s]
Raw data (loadavg): 0.99 0.92 0.64 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 13872 0 9 0 79867 102 0 0 25 0 1 0 964489477 65667072 12375 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16032 12375 301 301 0 15731 0
vsize: 64128
[startup+810.027 s]
Raw data (loadavg): 0.99 0.92 0.65 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 14034 0 9 0 80866 103 0 0 25 0 1 0 964489477 65667072 12537 4294967295 134512640 135730672 3221224576 3221223184 134744821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16032 12537 301 301 0 15731 0
vsize: 64128
[startup+820.026 s]
Raw data (loadavg): 0.99 0.92 0.65 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 14087 0 9 0 81865 104 0 0 25 0 1 0 964489477 65937408 12590 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16098 12590 301 301 0 15797 0
vsize: 64392
[startup+830.027 s]
Raw data (loadavg): 0.99 0.92 0.65 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 14105 0 9 0 82865 105 0 0 25 0 1 0 964489477 65937408 12608 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16098 12608 301 301 0 15797 0
vsize: 64392
[startup+840.028 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15701 0 9 0 83861 109 0 0 25 0 1 0 964489477 72499200 12667 4294967295 134512640 135730672 3221224576 3221223088 134746488 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17700 12667 301 301 0 17399 0
vsize: 70800
[startup+850.029 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15736 0 9 0 84860 109 0 0 25 0 1 0 964489477 72634368 12702 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17733 12702 301 301 0 17432 0
vsize: 70932
[startup+860.03 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15784 0 9 0 85860 110 0 0 25 0 1 0 964489477 72904704 12750 4294967295 134512640 135730672 3221224576 3221223072 134747768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17799 12750 301 301 0 17498 0
vsize: 71196
[startup+870.029 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15815 0 9 0 86859 111 0 0 25 0 1 0 964489477 73039872 12781 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17832 12781 301 301 0 17531 0
vsize: 71328
[startup+880.03 s]
Raw data (loadavg): 0.99 0.93 0.67 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15848 0 9 0 87859 112 0 0 25 0 1 0 964489477 73175040 12814 4294967295 134512640 135730672 3221224576 3221223184 134744763 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17865 12814 301 301 0 17564 0
vsize: 71460
[startup+890.03 s]
Raw data (loadavg): 0.99 0.94 0.67 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15866 0 9 0 88858 112 0 0 25 0 1 0 964489477 73175040 12832 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17865 12832 301 301 0 17564 0
vsize: 71460
[startup+900.032 s]
Raw data (loadavg): 0.99 0.94 0.67 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15903 0 9 0 89858 113 0 0 25 0 1 0 964489477 73310208 12869 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17898 12869 301 301 0 17597 0
vsize: 71592
[startup+910.032 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15935 0 9 0 90857 114 0 0 25 0 1 0 964489477 73445376 12901 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17931 12901 301 301 0 17630 0
vsize: 71724
[startup+920.032 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 15990 0 9 0 91857 115 0 0 25 0 1 0 964489477 73715712 12956 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17997 12956 301 301 0 17696 0
vsize: 71988
[startup+930.032 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16021 0 9 0 92856 115 0 0 25 0 1 0 964489477 73850880 12987 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18030 12987 301 301 0 17729 0
vsize: 72120
[startup+940.032 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16056 0 9 0 93856 116 0 0 25 0 1 0 964489477 73986048 13022 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18063 13022 301 301 0 17762 0
vsize: 72252
[startup+950.033 s]
Raw data (loadavg): 0.99 0.94 0.69 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16089 0 9 0 94855 117 0 0 25 0 1 0 964489477 74121216 13055 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18096 13055 301 301 0 17795 0
vsize: 72384
[startup+960.034 s]
Raw data (loadavg): 0.99 0.95 0.69 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16123 0 9 0 95855 117 0 0 25 0 1 0 964489477 74256384 13089 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18129 13089 301 301 0 17828 0
vsize: 72516
[startup+970.034 s]
Raw data (loadavg): 0.99 0.95 0.69 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16156 0 9 0 96854 118 0 0 25 0 1 0 964489477 74391552 13122 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18162 13122 301 301 0 17861 0
vsize: 72648
[startup+980.035 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16192 0 9 0 97854 119 0 0 25 0 1 0 964489477 74526720 13158 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18195 13158 301 301 0 17894 0
vsize: 72780
[startup+990.034 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16225 0 9 0 98853 119 0 0 25 0 1 0 964489477 74661888 13191 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18228 13191 301 301 0 17927 0
vsize: 72912
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16240 0 9 0 99853 120 0 0 25 0 1 0 964489477 74661888 13206 4294967295 134512640 135730672 3221224576 3221223072 134747845 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18228 13206 301 301 0 17927 0
vsize: 72912
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16276 0 9 0 100852 121 0 0 25 0 1 0 964489477 74797056 13242 4294967295 134512640 135730672 3221224576 3221223184 134744868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18261 13242 301 301 0 17960 0
vsize: 73044
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.95 0.71 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16313 0 9 0 101852 121 0 0 25 0 1 0 964489477 74932224 13279 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18294 13279 301 301 0 17993 0
vsize: 73176
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.95 0.71 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16381 0 9 0 102851 122 0 0 25 0 1 0 964489477 75337728 13347 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18393 13347 301 301 0 18092 0
vsize: 73572
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.95 0.71 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16411 0 9 0 103851 122 0 0 25 0 1 0 964489477 75472896 13377 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18426 13377 301 301 0 18125 0
vsize: 73704
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.95 0.72 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16427 0 9 0 104851 122 0 0 25 0 1 0 964489477 75472896 13393 4294967295 134512640 135730672 3221224576 3221223120 134740270 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18426 13393 301 301 0 18125 0
vsize: 73704
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.95 0.72 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16465 0 9 0 105851 123 0 0 25 0 1 0 964489477 75608064 13431 4294967295 134512640 135730672 3221224576 3221223088 134746497 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18459 13431 301 301 0 18158 0
vsize: 73836
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.96 0.72 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16481 0 9 0 106850 124 0 0 25 0 1 0 964489477 75608064 13447 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18459 13447 301 301 0 18158 0
vsize: 73836
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16513 0 9 0 107850 124 0 0 25 0 1 0 964489477 75743232 13479 4294967295 134512640 135730672 3221224576 3221223088 134746217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18492 13479 301 301 0 18191 0
vsize: 73968
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16546 0 9 0 108849 125 0 0 25 0 1 0 964489477 75878400 13512 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18525 13512 301 301 0 18224 0
vsize: 74100
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16565 0 9 0 109849 125 0 0 25 0 1 0 964489477 75878400 13531 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18525 13531 301 301 0 18224 0
vsize: 74100
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16586 0 9 0 110849 126 0 0 25 0 1 0 964489477 75878400 13552 4294967295 134512640 135730672 3221224576 3221223120 134740274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18525 13552 301 301 0 18224 0
vsize: 74100
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16645 0 9 0 111849 126 0 0 25 0 1 0 964489477 76148736 13611 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18591 13611 301 301 0 18290 0
vsize: 74364
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16681 0 9 0 112849 127 0 0 25 0 1 0 964489477 76148736 13647 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18591 13647 301 301 0 18290 0
vsize: 74364
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16751 0 9 0 113848 127 0 0 25 0 1 0 964489477 76148736 13717 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18591 13717 301 301 0 18290 0
vsize: 74364
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16831 0 9 0 114848 128 0 0 25 0 1 0 964489477 76148736 13797 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18591 13797 301 301 0 18290 0
vsize: 74364
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 16985 0 9 0 115847 129 0 0 25 0 1 0 964489477 76148736 13951 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18591 13951 301 301 0 18290 0
vsize: 74364
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 17064 0 9 0 116846 130 0 0 25 0 1 0 964489477 76148736 14030 4294967295 134512640 135730672 3221224576 3221223088 134746175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18591 14030 301 301 0 18290 0
vsize: 74364
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 17171 0 9 0 117845 131 0 0 25 0 1 0 964489477 76148736 14137 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18591 14137 301 301 0 18290 0
vsize: 74364
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 17195 0 9 0 118844 132 0 0 25 0 1 0 964489477 76148736 14161 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18591 14161 301 301 0 18290 0
vsize: 74364
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 17235 0 9 0 119844 133 0 0 25 0 1 0 964489477 76283904 14201 4294967295 134512640 135730672 3221224576 3221223088 134746539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18624 14201 301 301 0 18323 0
vsize: 74496
[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11076
Raw data (stat): 11074 (pb2sat-v2) R 11073 20224 20223 0 -1 0 17292 0 9 0 120844 133 0 0 25 0 1 0 964489477 76554240 14258 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18690 14258 301 301 0 18389 0
vsize: 74760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.24 s]
Raw data (loadavg): 0.99 0.97 0.75 1/54 11076
Raw data (stat): 11074 (pb2sat-v2) Z 11073 20224 20223 0 -1 12 17294 0 9 0 120860 136 0 0 25 0 1 0 964489477 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): 1210.24
CPU time (s): 1209.97
CPU user time (s): 1208.6
CPU system time (s): 1.36779
CPU usage (%): 99.9779
Max. virtual memory (Kb): 74760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####