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-chnl40_41_pb.cnf.cr.opb
MD5SUM	3c9e81ddaaf37dd621fe2bc839a3f27f
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	42
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.098984
Number of variables	3280
Total number of constraints	162
Number of constraints which are clauses	82
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	41
Trace number 41899

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-15 19:44:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25115 boxname=wulflinc3 idbench=17 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3c9e81ddaaf37dd621fe2bc839a3f27f  /oldhome/oroussel/tmp/wulflinc3/normalized-chnl40_41_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl40_41_pb.cnf.cr.opb
IDLAUNCH: 25115
/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:        844696 kB
Buffers:         33536 kB
Cached:         134828 kB
SwapCached:        820 kB
Active:          44956 kB
Inactive:       125588 kB
HighTotal:      131008 kB
HighFree:        21980 kB
LowTotal:       903652 kB
LowFree:        822716 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13584 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 20:04:47 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 25115 7 1200.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 3200/9680	Time: 56.4674/86400
c Decision: 3200/9680	Time: 58.2811/86400
c Decision: 3200/9680	Time: 60.2538/86400
c Decision: 3200/9680	Time: 62.1416/86400
c Decision: 3200/9680	Time: 64.0083/86400
c Decision: 3200/9680	Time: 66.4429/86400
c Decision: 3200/9680	Time: 68.3006/86400
c Decision: 3200/9680	Time: 70.0294/86400
c Decision: 3200/9680	Time: 71.7781/86400
c Decision: 3200/9680	Time: 73.3638/86400
c Decision: 3200/9680	Time: 75.2136/86400
c Decision: 3200/9680	Time: 76.8243/86400
c Decision: 3200/9680	Time: 78.5431/86400
c Decision: 3200/9680	Time: 86.4679/86400
c Decision: 3200/9680	Time: 88.1806/86400
c Decision: 3200/9680	Time: 90.1723/86400
c Decision: 3200/9680	Time: 91.7351/86400
c Decision: 3200/9680	Time: 93.9117/86400
c Decision: 3200/9680	Time: 95.5525/86400
c Decision: 3200/9680	Time: 97.3292/86400
c Decision: 3200/9680	Time: 99.0699/86400
c Decision: 3200/9680	Time: 100.46/86400
c Decision: 3200/9680	Time: 101.833/86400
c Decision: 3200/9680	Time: 103.19/86400
c Decision: 3200/9680	Time: 104.539/86400
c Decision: 3200/9680	Time: 106.098/86400
c Decision: 3200/9680	Time: 107.525/86400
c Decision: 3200/9680	Time: 108.982/86400
c Decision: 3200/9680	Time: 110.398/86400
c Decision: 3200/9680	Time: 111.987/86400
c Decision: 3200/9680	Time: 113.652/86400
c Decision: 3200/9680	Time: 115.197/86400
c Decision: 3200/9680	Time: 116.771/86400
c Decision: 3200/9680	Time: 118.507/86400
c Decision: 3200/9680	Time: 123.737/86400
c Decision: 3200/9680	Time: 125.432/86400
c Decision: 3200/9680	Time: 127.031/86400
c Decision: 3200/9680	Time: 128.462/86400
c Decision: 3200/9680	Time: 129.636/86400
c Decision: 3200/9680	Time: 132.166/86400
c Decision: 3200/9680	Time: 133.438/86400
c Decision: 3200/9680	Time: 134.727/86400
c Decision: 3200/9680	Time: 136.07/86400
c Decision: 3200/9680	Time: 137.434/86400
c Decision: 3200/9680	Time: 138.703/86400
c Decision: 3200/9680	Time: 140.049/86400
c Decision: 3200/9680	Time: 141.454/86400
c Decision: 3200/9680	Time: 142.821/86400
c Decision: 3200/9680	Time: 144.219/86400
c Decision: 3200/9680	Time: 145.509/86400
c Decision: 3200/9680	Time: 146.992/86400
c Decision: 3200/9680	Time: 148.452/86400
c Decision: 3200/9680	Time: 149.839/86400
c Decision: 3200/9680	Time: 151.336/86400
c Decision: 3200/9680	Time: 152.911/86400
c Decision: 3200/9680	Time: 160.882/86400
c Decision: 3200/9680	Time: 162.487/86400
c Decision: 3200/9680	Time: 164.249/86400
c Decision: 3200/9680	Time: 165.783/86400
c Decision: 3200/9680	Time: 167.308/86400
c Decision: 3200/9680	Time: 169.124/86400
c Decision: 3200/9680	Time: 179.08/86400
c Decision: 3200/9680	Time: 180.498/86400
c Decision: 3200/9680	Time: 181.85/86400
c Decision: 3200/9680	Time: 183.389/86400
c Decision: 3200/9680	Time: 184.94/86400
c Decision: 3200/9680	Time: 186.318/86400
c Decision: 3200/9680	Time: 187.676/86400
c Decision: 3200/9680	Time: 189.024/86400
c Decision: 3200/9680	Time: 190.47/86400
c Decision: 3200/9680	Time: 191.991/86400
c Decision: 3200/9680	Time: 193.415/86400
c Decision: 3200/9680	Time: 194.907/86400
c Decision: 3200/9680	Time: 196.399/86400
c Decision: 3200/9680	Time: 197.895/86400
c Decision: 3200/9680	Time: 199.671/86400
c Decision: 3200/9680	Time: 201.389/86400
c Decision: 3200/9680	Time: 202.881/86400
c Decision: 3200/9680	Time: 204.565/86400
c Decision: 3200/9680	Time: 206.037/86400
c Decision: 3200/9680	Time: 211.677/86400
c Decision: 3200/9680	Time: 212.956/86400
c Decision: 3200/9680	Time: 214.291/86400
c Decision: 3200/9680	Time: 215.51/86400
c Decision: 3200/9680	Time: 216.835/86400
c Decision: 3200/9680	Time: 218.312/86400
c Decision: 3200/9680	Time: 222.383/86400
c Decision: 3200/9680	Time: 224.21/86400
c Decision: 3200/9680	Time: 225.531/86400
c Decision: 3200/9680	Time: 226.953/86400
c Decision: 3200/9680	Time: 228.548/86400
c Decision: 3200/9680	Time: 229.971/86400
c Decision: 3200/9680	Time: 231.419/86400
c Decision: 3200/9680	Time: 232.869/86400
c Decision: 3200/9680	Time: 234.235/86400
c Decision: 3200/9680	Time: 239.799/86400
c Decision: 3200/9680	Time: 241.3/86400
c Decision: 3200/9680	Time: 242.913/86400
c Decision: 3200/9680	Time: 244.392/86400
c Decision: 3200/9680	Time: 245.841/86400
c Decision: 3200/9680	Time: 247.255/86400
c Decision: 3200/9680	Time: 248.659/86400
c Decision: 3200/9680	Time: 250.068/86400
c Decision: 3200/9680	Time: 251.372/86400
c Decision: 3200/9680	Time: 252.899/86400
c Decision: 3200/9680	Time: 254.478/86400
c Decision: 3200/9680	Time: 255.987/86400
c Decision: 3200/9680	Time: 257.529/86400
c Decision: 3200/9680	Time: 259.026/86400
c Decision: 3200/9680	Time: 260.522/86400
c Decision: 3200/9680	Time: 262.206/86400
c Decision: 3200/9680	Time: 263.837/86400
c Decision: 3200/9680	Time: 265.374/86400
c Decision: 3200/9680	Time: 266.864/86400
c Decision: 3200/9680	Time: 268.436/86400
c Decision: 3200/9680	Time: 270.32/86400
c Decision: 3200/9680	Time: 272.017/86400
c Decision: 3200/9680	Time: 273.597/86400
c Decision: 3200/9680	Time: 275.517/86400
c Decision: 3200/9680	Time: 277.324/86400
c Decision: 3200/9680	Time: 279.249/86400
c Decision: 3200/9680	Time: 281.413/86400
c Decision: 3200/9680	Time: 283.102/86400
c Decision: 3200/9680	Time: 284.875/86400
c Decision: 3200/9680	Time: 286.476/86400
c Decision: 3200/9680	Time: 288.319/86400
c Decision: 3200/9680	Time: 290.045/86400
c Decision: 3200/9680	Time: 291.915/86400
c Decision: 3200/9680	Time: 293.59/86400
c Decision: 3200/9680	Time: 295.442/86400
c Decision: 3200/9680	Time: 297.502/86400
c Decision: 3200/9680	Time: 299.144/86400
c Decision: 3200/9680	Time: 307.486/86400
c Decision: 3200/9680	Time: 308.924/86400
c Decision: 3200/9680	Time: 311.368/86400
c Decision: 3200/9680	Time: 312.937/86400
c Decision: 3200/9680	Time: 314.505/86400
c Decision: 3200/9680	Time: 316.325/86400
c Decision: 3200/9680	Time: 317.924/86400
c Decision: 3200/9680	Time: 319.3/86400
c Decision: 3200/9680	Time: 320.826/86400
c Decision: 3200/9680	Time: 322.211/86400
c Decision: 3200/9680	Time: 323.736/86400
c Decision: 3200/9680	Time: 325.326/86400
c Decision: 3200/9680	Time: 326.779/86400
c Decision: 3200/9680	Time: 328.405/86400
c Decision: 3200/9680	Time: 329.861/86400
c Decision: 3200/9680	Time: 331.37/86400
c Decision: 3200/9680	Time: 332.97/86400
c Decision: 3200/9680	Time: 334.54/86400
c Decision: 3200/9680	Time: 336.237/86400
c Decision: 3200/9680	Time: 337.773/86400
c Decision: 3200/9680	Time: 339.38/86400
c Decision: 3200/9680	Time: 341.03/86400
c Decision: 3200/9680	Time: 342.707/86400
c Decision: 3200/9680	Time: 344.594/86400
c Decision: 3200/9680	Time: 346.276/86400
c Decision: 3200/9680	Time: 348.377/86400
c Decision: 3200/9680	Time: 350.428/86400
c Decision: 3200/9680	Time: 352.093/86400
c Decision: 3200/9680	Time: 354.034/86400
c Decision: 3200/9680	Time: 355.664/86400
c Decision: 3200/9680	Time: 357.388/86400
c Decision: 3200/9680	Time: 359.087/86400
c Decision: 3200/9680	Time: 361/86400
c Decision: 3200/9680	Time: 363.226/86400
c Decision: 3200/9680	Time: 364.936/86400
c Decision: 3200/9680	Time: 373.593/86400
c Decision: 3200/9680	Time: 375.734/86400
c Decision: 3200/9680	Time: 377.476/86400
c Decision: 3200/9680	Time: 379.605/86400
c Decision: 3200/9680	Time: 381.63/86400
c Decision: 3200/9680	Time: 383.324/86400
c Decision: 3200/9680	Time: 385.177/86400
c Decision: 3200/9680	Time: 387.041/86400
c Decision: 3200/9680	Time: 389.189/86400
c Decision: 3200/9680	Time: 391.126/86400
c Decision: 3200/9680	Time: 392.993/86400
c Decision: 3200/9680	Time: 394.907/86400
c Decision: 3200/9680	Time: 396.91/86400
c Decision: 3200/9680	Time: 399.059/86400
c Decision: 3200/9680	Time: 400.938/86400
c Decision: 3200/9680	Time: 402.882/86400
c Decision: 3200/9680	Time: 405.014/86400
c Decision: 3200/9680	Time: 406.81/86400
c Decision: 3200/9680	Time: 408.998/86400
c Decision: 3200/9680	Time: 411.007/86400
c Decision: 3200/9680	Time: 412.903/86400
c Decision: 3200/9680	Time: 414.853/86400
c Decision: 3200/9680	Time: 416.704/86400
c Decision: 3200/9680	Time: 419.302/86400
c Decision: 3200/9680	Time: 421.296/86400
c Decision: 3200/9680	Time: 431.065/86400
c Decision: 3200/9680	Time: 432.442/86400
c Decision: 3200/9680	Time: 433.916/86400
c Decision: 3200/9680	Time: 438.634/86400
c Decision: 3200/9680	Time: 440.673/86400
c Decision: 3200/9680	Time: 442.115/86400
c Decision: 3200/9680	Time: 445.648/86400
c Decision: 3200/9680	Time: 447.459/86400
c Decision: 3200/9680	Time: 449.104/86400
c Decision: 3200/9680	Time: 450.937/86400
c Decision: 3200/9680	Time: 452.565/86400
c Decision: 3200/9680	Time: 454.12/86400
c Decision: 3200/9680	Time: 455.615/86400
c Decision: 3200/9680	Time: 457.485/86400
c Decision: 3200/9680	Time: 458.843/86400
c Decision: 3200/9680	Time: 460.255/86400
c Decision: 3200/9680	Time: 461.806/86400
c Decision: 3200/9680	Time: 463.313/86400
c Decision: 3200/9680	Time: 464.956/86400
c Decision: 3200/9680	Time: 466.45/86400
c Decision: 3200/9680	Time: 467.99/86400
c Decision: 3200/9680	Time: 474.645/86400
c Decision: 3200/9680	Time: 476.791/86400
c Decision: 3200/9680	Time: 478.538/86400
c Decision: 3200/9680	Time: 480.075/86400
c Decision: 3200/9680	Time: 481.57/86400
c Decision: 3200/9680	Time: 482.92/86400
c Decision: 3200/9680	Time: 484.311/86400
c Decision: 3200/9680	Time: 485.933/86400
c Decision: 3200/9680	Time: 487.282/86400
c Decision: 3200/9680	Time: 488.85/86400
c Decision: 3200/9680	Time: 490.285/86400
c Decision: 3200/9680	Time: 491.74/86400
c Decision: 3200/9680	Time: 493.556/86400
c Decision: 3200/9680	Time: 495.142/86400
c Decision: 3200/9680	Time: 496.804/86400
c Decision: 3200/9680	Time: 498.313/86400
c Decision: 3200/9680	Time: 499.792/86400
c Decision: 3200/9680	Time: 501.561/86400
c Decision: 3200/9680	Time: 503.315/86400
c Decision: 3200/9680	Time: 505.021/86400
c Decision: 3200/9680	Time: 506.697/86400
c Decision: 3200/9680	Time: 508.533/86400
c Decision: 3200/9680	Time: 516.762/86400
c Decision: 3200/9680	Time: 518.913/86400
c Decision: 3200/9680	Time: 520.395/86400
c Decision: 3200/9680	Time: 521.943/86400
c Decision: 3200/9680	Time: 523.58/86400
c Decision: 3200/9680	Time: 528.381/86400
c Decision: 3200/9680	Time: 530.428/86400
c Decision: 3200/9680	Time: 532.337/86400
c Decision: 3200/9680	Time: 535.475/86400
c Decision: 3200/9680	Time: 536.943/86400
c Decision: 3200/9680	Time: 538.694/86400
c Decision: 3200/9680	Time: 543.655/86400
c Decision: 3200/9680	Time: 545.169/86400
c Decision: 3200/9680	Time: 547.036/86400
c Decision: 3200/9680	Time: 548.702/86400
c Decision: 3200/9680	Time: 550.775/86400
c Decision: 3200/9680	Time: 552.462/86400
c Decision: 3200/9680	Time: 554.052/86400
c Decision: 3200/9680	Time: 555.56/86400
c Decision: 3200/9680	Time: 557.11/86400
c Decision: 3200/9680	Time: 558.729/86400
c Decision: 3200/9680	Time: 560.428/86400
c Decision: 3200/9680	Time: 562.015/86400
c Decision: 3200/9680	Time: 563.643/86400
c Decision: 3200/9680	Time: 565.385/86400
c Decision: 3200/9680	Time: 567.2/86400
c Decision: 3200/9680	Time: 569.021/86400
c Decision: 3200/9680	Time: 570.814/86400
c Decision: 3200/9680	Time: 572.289/86400
c Decision: 3200/9680	Time: 574.169/86400
c Decision: 3200/9680	Time: 575.997/86400
c Decision: 3200/9680	Time: 577.754/86400
c Decision: 3200/9680	Time: 587.233/86400
c Decision: 3200/9680	Time: 589.272/86400
c Decision: 3200/9680	Time: 590.881/86400
c Decision: 3200/9680	Time: 592.458/86400
c Decision: 3200/9680	Time: 593.831/86400
c Decision: 3200/9680	Time: 595.286/86400
c Decision: 3200/9680	Time: 596.688/86400
c Decision: 3200/9680	Time: 598.187/86400
c Decision: 3200/9680	Time: 599.812/86400
c Decision: 3200/9680	Time: 601.304/86400
c Decision: 3200/9680	Time: 602.76/86400
c Decision: 3200/9680	Time: 604.341/86400
c Decision: 3200/9680	Time: 605.977/86400
c Decision: 3200/9680	Time: 607.909/86400
c Decision: 3200/9680	Time: 609.538/86400
c Decision: 3200/9680	Time: 611.08/86400
c Decision: 3200/9680	Time: 612.732/86400
c Decision: 3200/9680	Time: 614.545/86400
c Decision: 3200/9680	Time: 616.469/86400
c Decision: 3200/9680	Time: 618.059/86400
c Decision: 3200/9680	Time: 619.571/86400
c Decision: 3200/9680	Time: 621.381/86400
c Decision: 3200/9680	Time: 623.069/86400
c Decision: 3200/9680	Time: 625.056/86400
c Decision: 3200/9680	Time: 626.925/86400
c Decision: 3200/9680	Time: 628.62/86400
c Decision: 3200/9680	Time: 630.174/86400
c Decision: 3200/9680	Time: 632.113/86400
c Decision: 3200/9680	Time: 634.393/86400
c Decision: 3200/9680	Time: 636.033/86400
c Decision: 3200/9680	Time: 637.948/86400
c Decision: 3200/9680	Time: 639.701/86400
c Decision: 3200/9680	Time: 641.45/86400
c Decision: 3200/9680	Time: 652.927/86400
c Decision: 3200/9680	Time: 654.991/86400
c Decision: 3200/9680	Time: 656.887/86400
c Decision: 3200/9680	Time: 658.706/86400
c Decision: 3200/9680	Time: 660.56/86400
c Decision: 3200/9680	Time: 662.765/86400
c Decision: 3200/9680	Time: 664.632/86400
c Decision: 3200/9680	Time: 671.864/86400
c Decision: 3200/9680	Time: 673.198/86400
c Decision: 3200/9680	Time: 674.578/86400
c Decision: 3200/9680	Time: 676.111/86400
c Decision: 3200/9680	Time: 677.474/86400
c Decision: 3200/9680	Time: 679.058/86400
c Decision: 3200/9680	Time: 680.524/86400
c Decision: 3200/9680	Time: 682.105/86400
c Decision: 3200/9680	Time: 683.819/86400
c Decision: 3200/9680	Time: 685.432/86400
c Decision: 3200/9680	Time: 687.088/86400
c Decision: 3200/9680	Time: 688.726/86400
c Decision: 3200/9680	Time: 690.324/86400
c Decision: 3200/9680	Time: 692.343/86400
c Decision: 3200/9680	Time: 693.996/86400
c Decision: 3200/9680	Time: 695.674/86400
c Decision: 3200/9680	Time: 698.05/86400
c Decision: 3200/9680	Time: 699.674/86400
c Decision: 3200/9680	Time: 703.363/86400
c Decision: 3200/9680	Time: 704.99/86400
c Decision: 3200/9680	Time: 706.546/86400
c Decision: 3200/9680	Time: 710.544/86400
c Decision: 3200/9680	Time: 712.329/86400
c Decision: 3200/9680	Time: 714.534/86400
c Decision: 3200/9680	Time: 716.055/86400
c Decision: 3200/9680	Time: 717.587/86400
c Decision: 3200/9680	Time: 719.184/86400
c Decision: 3200/9680	Time: 720.837/86400
c Decision: 3200/9680	Time: 722.495/86400
c Decision: 3200/9680	Time: 724.048/86400
c Decision: 3200/9680	Time: 725.708/86400
c Decision: 3200/9680	Time: 727.283/86400
c Decision: 3200/9680	Time: 728.942/86400
c Decision: 3200/9680	Time: 730.77/86400
c Decision: 3200/9680	Time: 732.556/86400
c Decision: 3200/9680	Time: 734.214/86400
c Decision: 3200/9680	Time: 735.981/86400
c Decision: 3200/9680	Time: 737.741/86400
c Decision: 3200/9680	Time: 746.05/86400
c Decision: 3200/9680	Time: 747.802/86400
c Decision: 3200/9680	Time: 749.737/86400
c Decision: 3200/9680	Time: 751.401/86400
c Decision: 3200/9680	Time: 752.96/86400
c Decision: 3200/9680	Time: 754.764/86400
c Decision: 3200/9680	Time: 756.433/86400
c Decision: 3200/9680	Time: 758.102/86400
c Decision: 3200/9680	Time: 759.792/86400
c Decision: 3200/9680	Time: 761.67/86400
c Decision: 3200/9680	Time: 763.612/86400
c Decision: 3200/9680	Time: 765.424/86400
c Decision: 3200/9680	Time: 767.169/86400
c Decision: 3200/9680	Time: 768.927/86400
c Decision: 3200/9680	Time: 770.7/86400
c Decision: 3200/9680	Time: 772.682/86400
c Decision: 3200/9680	Time: 780.279/86400
c Decision: 3200/9680	Time: 782.069/86400
c Decision: 3200/9680	Time: 783.486/86400
c Decision: 3200/9680	Time: 787.986/86400
c Decision: 3200/9680	Time: 790.428/86400
c Decision: 3200/9680	Time: 793.862/86400
c Decision: 3200/9680	Time: 795.361/86400
c Decision: 3200/9680	Time: 797.911/86400
c Decision: 3200/9680	Time: 799.226/86400
c Decision: 3200/9680	Time: 800.532/86400
c Decision: 3200/9680	Time: 802.015/86400
c Decision: 3200/9680	Time: 803.623/86400
c Decision: 3200/9680	Time: 805.054/86400
c Decision: 3200/9680	Time: 806.495/86400
c Decision: 3200/9680	Time: 808.166/86400
c Decision: 3200/9680	Time: 809.585/86400
c Decision: 3200/9680	Time: 811.396/86400
c Decision: 3200/9680	Time: 813.467/86400
c Decision: 3200/9680	Time: 815.269/86400
c Decision: 3200/9680	Time: 817.169/86400
c Decision: 3200/9680	Time: 818.998/86400
c Decision: 3200/9680	Time: 820.845/86400
c Decision: 3200/9680	Time: 822.544/86400
c Decision: 3200/9680	Time: 824.281/86400
c Decision: 3200/9680	Time: 826.146/86400
c Decision: 3200/9680	Time: 827.852/86400
c Decision: 3200/9680	Time: 829.506/86400
c Decision: 3200/9680	Time: 831.152/86400
c Decision: 3200/9680	Time: 832.867/86400
c Decision: 3200/9680	Time: 835.192/86400
c Decision: 3200/9680	Time: 837.019/86400
c Decision: 3200/9680	Time: 838.765/86400
c Decision: 3200/9680	Time: 840.604/86400
c Decision: 3200/9680	Time: 842.785/86400
c Decision: 3200/9680	Time: 844.874/86400
c Decision: 3200/9680	Time: 846.707/86400
c Decision: 3200/9680	Time: 848.567/86400
c Decision: 3200/9680	Time: 850.469/86400
c Decision: 3200/9680	Time: 852.311/86400
c Decision: 3200/9680	Time: 854.622/86400
c Decision: 3200/9680	Time: 863.528/86400
c Decision: 3200/9680	Time: 865.166/86400
c Decision: 3200/9680	Time: 866.653/86400
c Decision: 3200/9680	Time: 868.195/86400
c Decision: 3200/9680	Time: 873.731/86400
c Decision: 3200/9680	Time: 875.784/86400
c Decision: 3200/9680	Time: 877.509/86400
c Decision: 3200/9680	Time: 880.399/86400
c Decision: 3200/9680	Time: 881.872/86400
c Decision: 3200/9680	Time: 883.293/86400
c Decision: 3200/9680	Time: 885.045/86400
c Decision: 3200/9680	Time: 886.428/86400
c Decision: 3200/9680	Time: 887.908/86400
c Decision: 3200/9680	Time: 889.604/86400
c Decision: 3200/9680	Time: 891.218/86400
c Decision: 3200/9680	Time: 892.798/86400
c Decision: 3200/9680	Time: 894.26/86400
c Decision: 3200/9680	Time: 895.871/86400
c Decision: 3200/9680	Time: 897.545/86400
c Decision: 3200/9680	Time: 899.278/86400
c Decision: 3200/9680	Time: 900.896/86400
c Decision: 3200/9680	Time: 902.8/86400
c Decision: 3200/9680	Time: 904.702/86400
c Decision: 3200/9680	Time: 906.755/86400
c Decision: 3200/9680	Time: 908.84/86400
c Decision: 3200/9680	Time: 910.769/86400
c Decision: 3200/9680	Time: 912.653/86400
c Decision: 3200/9680	Time: 914.36/86400
c Decision: 3200/9680	Time: 916.427/86400
c Decision: 3200/9680	Time: 924.433/86400
c Decision: 3200/9680	Time: 926.229/86400
c Decision: 3200/9680	Time: 927.712/86400
c Decision: 3200/9680	Time: 929.267/86400
c Decision: 3200/9680	Time: 930.8/86400
c Decision: 3200/9680	Time: 932.375/86400
c Decision: 3200/9680	Time: 934.126/86400
c Decision: 3200/9680	Time: 936.549/86400
c Decision: 3200/9680	Time: 938.069/86400
c Decision: 3200/9680	Time: 939.666/86400
c Decision: 3200/9680	Time: 942.047/86400
c Decision: 3200/9680	Time: 943.879/86400
c Decision: 3200/9680	Time: 945.605/86400
c Decision: 3200/9680	Time: 947.292/86400
c Decision: 3200/9680	Time: 948.825/86400
c Decision: 3200/9680	Time: 950.636/86400
c Decision: 3200/9680	Time: 952.596/86400
c Decision: 3200/9680	Time: 954.264/86400
c Decision: 3200/9680	Time: 956.18/86400
c Decision: 3200/9680	Time: 958.391/86400
c Decision: 3200/9680	Time: 960.222/86400
c Decision: 3200/9680	Time: 962.093/86400
c Decision: 3200/9680	Time: 963.79/86400
c Decision: 3200/9680	Time: 965.699/86400
c Decision: 3200/9680	Time: 967.347/86400
c Decision: 3200/9680	Time: 971.483/86400
c Decision: 3200/9680	Time: 972.855/86400
c Decision: 3200/9680	Time: 974.447/86400
c Decision: 3200/9680	Time: 975.938/86400
c Decision: 3200/9680	Time: 977.383/86400
c Decision: 3200/9680	Time: 979.048/86400
c Decision: 3200/9680	Time: 980.544/86400
c Decision: 3200/9680	Time: 981.939/86400
c Decision: 3200/9680	Time: 988.546/86400
c Decision: 3200/9680	Time: 990.192/86400
c Decision: 3200/9680	Time: 992.111/86400
c Decision: 3200/9680	Time: 993.671/86400
c Decision: 3200/9680	Time: 995.053/86400
c Decision: 3200/9680	Time: 996.763/86400
c Decision: 3200/9680	Time: 998.381/86400
c Decision: 3200/9680	Time: 1000.28/86400
c Decision: 3200/9680	Time: 1001.79/86400
c Decision: 3200/9680	Time: 1003.51/86400
c Decision: 3200/9680	Time: 1005.1/86400
c Decision: 3200/9680	Time: 1006.88/86400
c Decision: 3200/9680	Time: 1008.66/86400
c Decision: 3200/9680	Time: 1010.28/86400
c Decision: 3200/9680	Time: 1012.17/86400
c Decision: 3200/9680	Time: 1019.87/86400
c Decision: 3200/9680	Time: 1021.56/86400
c Decision: 3200/9680	Time: 1023.25/86400
c Decision: 3200/9680	Time: 1024.79/86400
c Decision: 3200/9680	Time: 1028.92/86400
c Decision: 3200/9680	Time: 1030.47/86400
c Decision: 3200/9680	Time: 1032.3/86400
c Decision: 3200/9680	Time: 1034.63/86400
c Decision: 3200/9680	Time: 1036.16/86400
c Decision: 3200/9680	Time: 1037.81/86400
c Decision: 3200/9680	Time: 1039.41/86400
c Decision: 3200/9680	Time: 1041.24/86400
c Decision: 3200/9680	Time: 1042.94/86400
c Decision: 3200/9680	Time: 1044.57/86400
c Decision: 3200/9680	Time: 1046.26/86400
c Decision: 3200/9680	Time: 1048.17/86400
c Decision: 3200/9680	Time: 1050.11/86400
c Decision: 3200/9680	Time: 1052.04/86400
c Decision: 3200/9680	Time: 1053.96/86400
c Decision: 3200/9680	Time: 1055.81/86400
c Decision: 3200/9680	Time: 1057.8/86400
c Decision: 3200/9680	Time: 1059.5/86400
c Decision: 3200/9680	Time: 1061.69/86400
c Decision: 3200/9680	Time: 1063.28/86400
c Decision: 3200/9680	Time: 1065.04/86400
c Decision: 3200/9680	Time: 1066.77/86400
c Decision: 3200/9680	Time: 1069.08/86400
c Decision: 3200/9680	Time: 1071.02/86400
c Decision: 3200/9680	Time: 1073.68/86400
c Decision: 3200/9680	Time: 1075.46/86400
c Decision: 3200/9680	Time: 1077.19/86400
c Decision: 3200/9680	Time: 1078.85/86400
c Decision: 3200/9680	Time: 1080.89/86400
c Decision: 3200/9680	Time: 1084.43/86400
c Decision: 3200/9680	Time: 1086.22/86400
c Decision: 3200/9680	Time: 1088.04/86400
c Decision: 3200/9680	Time: 1090.06/86400
c Decision: 3200/9680	Time: 1092.25/86400
c Decision: 3200/9680	Time: 1094.02/86400
c Decision: 3200/9680	Time: 1095.91/86400
c Decision: 3200/9680	Time: 1097.8/86400
c Decision: 3200/9680	Time: 1099.59/86400
c Decision: 3200/9680	Time: 1101.67/86400
c Decision: 3200/9680	Time: 1103.68/86400
c Decision: 3200/9680	Time: 1105.49/86400
c Decision: 3200/9680	Time: 1108.38/86400
c Decision: 3200/9680	Time: 1110.34/86400
c Decision: 3200/9680	Time: 1112.4/86400
c Decision: 3200/9680	Time: 1114.36/86400
c Decision: 3200/9680	Time: 1116.69/86400
c Decision: 3200/9680	Time: 1127.9/86400
c Decision: 3200/9680	Time: 1129.56/86400
c Decision: 3200/9680	Time: 1131.42/86400
c Decision: 3200/9680	Time: 1132.94/86400
c Decision: 3200/9680	Time: 1134.69/86400
c Decision: 3200/9680	Time: 1136.19/86400
c Decision: 3200/9680	Time: 1137.88/86400
c Decision: 3200/9680	Time: 1139.6/86400
c Decision: 3200/9680	Time: 1141.19/86400
c Decision: 3200/9680	Time: 1142.8/86400
c Decision: 3200/9680	Time: 1144.29/86400
c Decision: 3200/9680	Time: 1146.17/86400
c Decision: 3200/9680	Time: 1147.75/86400
c Decision: 3200/9680	Time: 1149.29/86400
c Decision: 3200/9680	Time: 1151.07/86400
c Decision: 3200/9680	Time: 1152.82/86400
c Decision: 3200/9680	Time: 1154.61/86400
c Decision: 3200/9680	Time: 1156.73/86400
c Decision: 3200/9680	Time: 1158.59/86400
c Decision: 3200/9680	Time: 1160.61/86400
c Decision: 3200/9680	Time: 1162.53/86400
c Decision: 3200/9680	Time: 1164.31/86400
c Decision: 3200/9680	Time: 1166.41/86400
c Decision: 3200/9680	Time: 1168.18/86400
c Decision: 3200/9680	Time: 1170.27/86400
c Decision: 3200/9680	Time: 1177.04/86400
c Decision: 3200/9680	Time: 1178.54/86400
c Decision: 3200/9680	Time: 1180.28/86400
c Decision: 3200/9680	Time: 1181.65/86400
c Decision: 3200/9680	Time: 1183.32/86400
c Decision: 3200/9680	Time: 1185.13/86400
c Decision: 3200/9680	Time: 1186.64/86400
c Decision: 3200/9680	Time: 1188.35/86400
c Decision: 3200/9680	Time: 1189.93/86400
c Decision: 3200/9680	Time: 1191.86/86400
c Decision: 3200/9680	Time: 1193.78/86400
c Decision: 3200/9680	Time: 1195.79/86400
c Decision: 3200/9680	Time: 1197.55/86400
c Decision: 3200/9680	Time: 1199.4/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.92 0.97 0.90 1/54 11260
Raw data (stat): 11260 (runsolver) R 11259 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964732531 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.0006 s]
Raw data (loadavg): 0.93 0.97 0.90 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 2102 0 0 0 993 6 0 0 25 0 1 0 964732531 8916992 1681 4294967295 134512640 135730672 3221224576 3221222900 135282783 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2177 1681 301 301 0 1876 0
vsize: 8708
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.97 0.90 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 2718 0 0 0 1991 8 0 0 25 0 1 0 964732531 13250560 2297 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3235 2297 301 301 0 2934 0
vsize: 12940
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.90 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 3202 0 0 0 2989 10 0 0 25 0 1 0 964732531 13398016 2781 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3271 2781 301 301 0 2970 0
vsize: 13084
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 3617 0 0 0 3988 12 0 0 25 0 1 0 964732531 21925888 3196 4294967295 134512640 135730672 3221224576 3221222824 134813779 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5353 3196 301 301 0 5052 0
vsize: 21412
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 4089 0 0 0 4986 14 0 0 25 0 1 0 964732531 22073344 3668 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5389 3668 301 301 0 5088 0
vsize: 21556
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 4894 0 0 0 5983 16 0 0 25 0 1 0 964732531 22814720 4473 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5570 4473 301 301 0 5269 0
vsize: 22280
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 5982 0 0 0 6980 19 0 0 25 0 1 0 964732531 24821760 5368 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6060 5368 301 301 0 5759 0
vsize: 24240
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 6810 0 0 0 7975 23 0 0 25 0 1 0 964732531 43528192 6196 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10627 6196 301 301 0 10326 0
vsize: 42508
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7008 0 0 0 8969 28 0 0 25 0 1 0 964732531 44306432 6394 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10817 6394 301 301 0 10516 0
vsize: 43268
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7048 0 0 0 9968 30 0 0 25 0 1 0 964732531 44376064 6434 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10834 6434 301 301 0 10533 0
vsize: 43336
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7141 0 0 0 10967 31 0 0 25 0 1 0 964732531 44605440 6527 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10890 6527 301 301 0 10589 0
vsize: 43560
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7394 0 0 0 11963 35 0 0 25 0 1 0 964732531 45588480 6780 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11130 6780 301 301 0 10829 0
vsize: 44520
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7449 0 0 0 12958 39 0 0 25 0 1 0 964732531 45723648 6835 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11163 6835 301 301 0 10862 0
vsize: 44652
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7507 0 0 0 13954 44 0 0 25 0 1 0 964732531 45826048 6893 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11188 6893 301 301 0 10887 0
vsize: 44752
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 7954 0 0 0 14951 47 0 0 25 0 1 0 964732531 47521792 6955 4294967295 134512640 135730672 3221224576 3221223120 134740251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11602 6955 301 301 0 11301 0
vsize: 46408
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8046 0 0 0 15946 52 0 0 25 0 1 0 964732531 47878144 7047 4294967295 134512640 135730672 3221224576 3221223184 134744763 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11689 7047 301 301 0 11388 0
vsize: 46756
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8212 0 0 0 16944 54 0 0 25 0 1 0 964732531 48455680 7213 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11830 7213 301 301 0 11529 0
vsize: 47320
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8295 0 0 0 17939 59 0 0 25 0 1 0 964732531 48812032 7296 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11917 7296 301 301 0 11616 0
vsize: 47668
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8331 0 0 0 18938 61 0 0 25 0 1 0 964732531 48812032 7332 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11917 7332 301 301 0 11616 0
vsize: 47668
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8373 0 0 0 19936 62 0 0 25 0 1 0 964732531 48869376 7374 4294967295 134512640 135730672 3221224576 3221223200 134783060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11931 7374 301 301 0 11630 0
vsize: 47724
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8421 0 0 0 20933 66 0 0 25 0 1 0 964732531 49086464 7422 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11984 7422 301 301 0 11683 0
vsize: 47936
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8518 0 0 0 21930 69 0 0 25 0 1 0 964732531 49299456 7519 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12036 7519 301 301 0 11735 0
vsize: 48144
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8570 0 0 0 22927 72 0 0 25 0 1 0 964732531 49434624 7571 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12069 7571 301 301 0 11768 0
vsize: 48276
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8589 0 0 0 23921 78 0 0 25 0 1 0 964732531 49434624 7590 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12069 7590 301 301 0 11768 0
vsize: 48276
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8661 0 0 0 24921 79 0 0 25 0 1 0 964732531 49631232 7662 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12117 7662 301 301 0 11816 0
vsize: 48468
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8698 0 0 0 25920 80 0 0 25 0 1 0 964732531 49631232 7699 4294967295 134512640 135730672 3221224576 3221222648 135284936 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12117 7699 301 301 0 11816 0
vsize: 48468
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8745 0 0 0 26919 81 0 0 25 0 1 0 964732531 49754112 7746 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12147 7746 301 301 0 11846 0
vsize: 48588
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8826 0 0 0 27918 82 0 0 25 0 1 0 964732531 50008064 7827 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12209 7827 301 301 0 11908 0
vsize: 48836
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8894 0 0 0 28915 85 0 0 25 0 1 0 964732531 50180096 7895 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12251 7895 301 301 0 11950 0
vsize: 49004
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 8995 0 0 0 29914 87 0 0 25 0 1 0 964732531 50524160 7996 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12335 7996 301 301 0 12034 0
vsize: 49340
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 9091 0 0 0 30909 92 0 0 25 0 1 0 964732531 50860032 8092 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12417 8092 301 301 0 12116 0
vsize: 49668
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 9129 0 0 0 31905 96 0 0 25 0 1 0 964732531 50917376 8130 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12431 8130 301 301 0 12130 0
vsize: 49724
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 9931 0 0 0 32901 100 0 0 25 0 1 0 964732531 54063104 8163 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13199 8163 301 301 0 12898 0
vsize: 52796
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 9974 0 0 0 33901 101 0 0 25 0 1 0 964732531 54136832 8206 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13217 8206 301 301 0 12916 0
vsize: 52868
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10016 0 0 0 34900 102 0 0 25 0 1 0 964732531 54198272 8248 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13232 8248 301 301 0 12931 0
vsize: 52928
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10069 0 0 0 35899 102 0 0 25 0 1 0 964732531 54325248 8301 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13263 8301 301 301 0 12962 0
vsize: 53052
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10244 0 0 0 36896 105 0 0 25 0 1 0 964732531 55083008 8476 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13448 8476 301 301 0 13147 0
vsize: 53792
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10558 0 0 0 37893 109 0 0 25 0 1 0 964732531 56246272 8790 4294967295 134512640 135730672 3221224576 3221223200 134783330 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13732 8790 301 301 0 13431 0
vsize: 54928
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10650 0 0 0 38892 111 0 0 25 0 1 0 964732531 56492032 8882 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13792 8882 301 301 0 13491 0
vsize: 55168
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10822 0 0 0 39891 112 0 0 25 0 1 0 964732531 57102336 9054 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13941 9054 301 301 0 13640 0
vsize: 55764
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 10996 0 0 0 40889 113 0 0 25 0 1 0 964732531 57536512 9228 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14047 9228 301 301 0 13746 0
vsize: 56188
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11174 0 0 0 41888 115 0 0 25 0 1 0 964732531 58249216 9406 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14221 9406 301 301 0 13920 0
vsize: 56884
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11288 0 0 0 42884 119 0 0 25 0 1 0 964732531 58667008 9520 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14323 9520 301 301 0 14022 0
vsize: 57292
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11324 0 0 0 43879 124 0 0 25 0 1 0 964732531 58765312 9556 4294967295 134512640 135730672 3221224576 3221222800 134813821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14347 9556 301 301 0 14046 0
vsize: 57388
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11344 0 0 0 44875 128 0 0 25 0 1 0 964732531 58765312 9576 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14347 9576 301 301 0 14046 0
vsize: 57388
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11369 0 0 0 45874 129 0 0 25 0 1 0 964732531 58765312 9601 4294967295 134512640 135730672 3221224576 3221222872 134767107 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14347 9601 301 301 0 14046 0
vsize: 57388
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11392 0 0 0 46873 131 0 0 25 0 1 0 964732531 58765312 9624 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14347 9624 301 301 0 14046 0
vsize: 57388
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11409 0 0 0 47869 135 0 0 25 0 1 0 964732531 58765312 9641 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14347 9641 301 301 0 14046 0
vsize: 57388
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11440 0 0 0 48868 136 0 0 25 0 1 0 964732531 58765312 9672 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14347 9672 301 301 0 14046 0
vsize: 57388
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11472 0 0 0 49867 137 0 0 25 0 1 0 964732531 58765312 9704 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14347 9704 301 301 0 14046 0
vsize: 57388
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11501 0 0 0 50865 139 0 0 25 0 1 0 964732531 58822656 9733 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14361 9733 301 301 0 14060 0
vsize: 57444
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11591 0 0 0 51861 143 0 0 25 0 1 0 964732531 59170816 9823 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14446 9823 301 301 0 14145 0
vsize: 57784
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11631 0 0 0 52858 147 0 0 25 0 1 0 964732531 59260928 9863 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14468 9863 301 301 0 14167 0
vsize: 57872
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11664 0 0 0 53853 152 0 0 25 0 1 0 964732531 59322368 9896 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14483 9896 301 301 0 14182 0
vsize: 57932
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11699 0 0 0 54849 157 0 0 25 0 1 0 964732531 59392000 9931 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14500 9931 301 301 0 14199 0
vsize: 58000
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11726 0 0 0 55848 157 0 0 25 0 1 0 964732531 59392000 9958 4294967295 134512640 135730672 3221224576 3221222912 134767181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14500 9958 301 301 0 14199 0
vsize: 58000
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11754 0 0 0 56847 159 0 0 25 0 1 0 964732531 59392000 9986 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14500 9986 301 301 0 14199 0
vsize: 58000
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11785 0 0 0 57845 161 0 0 25 0 1 0 964732531 59453440 10017 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14515 10017 301 301 0 14214 0
vsize: 58060
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11870 0 0 0 58840 166 0 0 25 0 1 0 964732531 59723776 10102 4294967295 134512640 135730672 3221224576 3221223120 134740301 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14581 10102 301 301 0 14280 0
vsize: 58324
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11898 0 0 0 59839 167 0 0 25 0 1 0 964732531 59723776 10130 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14581 10130 301 301 0 14280 0
vsize: 58324
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11928 0 0 0 60838 169 0 0 25 0 1 0 964732531 59785216 10160 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14596 10160 301 301 0 14295 0
vsize: 58384
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 11962 0 0 0 61836 170 0 0 25 0 1 0 964732531 59785216 10194 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14596 10194 301 301 0 14295 0
vsize: 58384
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12004 0 0 0 62835 171 0 0 25 0 1 0 964732531 59858944 10236 4294967295 134512640 135730672 3221224576 3221222960 134763180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14614 10236 301 301 0 14313 0
vsize: 58456
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12037 0 0 0 63835 172 0 0 25 0 1 0 964732531 59920384 10269 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14629 10269 301 301 0 14328 0
vsize: 58516
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12078 0 0 0 64832 175 0 0 25 0 1 0 964732531 60121088 10310 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14678 10310 301 301 0 14377 0
vsize: 58712
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12181 0 0 0 65830 177 0 0 25 0 1 0 964732531 60416000 10413 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14750 10413 301 301 0 14449 0
vsize: 59000
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12223 0 0 0 66827 180 0 0 25 0 1 0 964732531 60628992 10455 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14802 10455 301 301 0 14501 0
vsize: 59208
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12328 0 0 0 67824 183 0 0 25 0 1 0 964732531 60891136 10560 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14866 10560 301 301 0 14565 0
vsize: 59464
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12359 0 0 0 68823 185 0 0 25 0 1 0 964732531 60891136 10591 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14866 10591 301 301 0 14565 0
vsize: 59464
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12437 0 0 0 69822 186 0 0 25 0 1 0 964732531 61161472 10669 4294967295 134512640 135730672 3221224576 3221223120 134740276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14932 10669 301 301 0 14631 0
vsize: 59728
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 12466 0 0 0 70815 193 0 0 25 0 1 0 964732531 61161472 10698 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14932 10698 301 301 0 14631 0
vsize: 59728
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14042 0 0 0 71809 199 0 0 25 0 1 0 964732531 67559424 10737 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16494 10737 301 301 0 16193 0
vsize: 65976
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14071 0 0 0 72809 200 0 0 25 0 1 0 964732531 67559424 10766 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16494 10766 301 301 0 16193 0
vsize: 65976
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14095 0 0 0 73807 202 0 0 25 0 1 0 964732531 67559424 10790 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16494 10790 301 301 0 16193 0
vsize: 65976
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14120 0 0 0 74802 207 0 0 25 0 1 0 964732531 67649536 10815 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16516 10815 301 301 0 16215 0
vsize: 66064
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14158 0 0 0 75801 208 0 0 25 0 1 0 964732531 67706880 10853 4294967295 134512640 135730672 3221224576 3221223088 134746474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16530 10853 301 301 0 16229 0
vsize: 66120
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14200 0 0 0 76800 209 0 0 25 0 1 0 964732531 67764224 10895 4294967295 134512640 135730672 3221224576 3221222904 134814122 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16544 10895 301 301 0 16243 0
vsize: 66176
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14251 0 0 0 77796 214 0 0 25 0 1 0 964732531 68042752 10946 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16612 10946 301 301 0 16311 0
vsize: 66448
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14369 0 0 0 78791 219 0 0 25 0 1 0 964732531 68382720 11064 4294967295 134512640 135730672 3221224576 3221223120 134740380 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16695 11064 301 301 0 16394 0
vsize: 66780
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14401 0 0 0 79784 225 0 0 25 0 1 0 964732531 68382720 11096 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16695 11096 301 301 0 16394 0
vsize: 66780
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14433 0 0 0 80783 227 0 0 25 0 1 0 964732531 68444160 11128 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16710 11128 301 301 0 16409 0
vsize: 66840
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14461 0 0 0 81782 229 0 0 25 0 1 0 964732531 68444160 11156 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16710 11156 301 301 0 16409 0
vsize: 66840
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14497 0 0 0 82781 230 0 0 25 0 1 0 964732531 68501504 11192 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16724 11192 301 301 0 16423 0
vsize: 66896
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14530 0 0 0 83780 231 0 0 25 0 1 0 964732531 68558848 11225 4294967295 134512640 135730672 3221224576 3221223168 134763611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16738 11225 301 301 0 16437 0
vsize: 66952
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14569 0 0 0 84779 231 0 0 25 0 1 0 964732531 68624384 11264 4294967295 134512640 135730672 3221224576 3221222648 135284259 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16754 11264 301 301 0 16453 0
vsize: 67016
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14590 0 0 0 85776 235 0 0 25 0 1 0 964732531 68689920 11285 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16770 11285 301 301 0 16469 0
vsize: 67080
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14702 0 0 0 86773 238 0 0 25 0 1 0 964732531 69079040 11397 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16865 11397 301 301 0 16564 0
vsize: 67460
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14734 0 0 0 87769 242 0 0 25 0 1 0 964732531 69156864 11429 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16884 11429 301 301 0 16583 0
vsize: 67536
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14772 0 0 0 88767 244 0 0 25 0 1 0 964732531 69156864 11467 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16884 11467 301 301 0 16583 0
vsize: 67536
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14804 0 0 0 89767 245 0 0 25 0 1 0 964732531 69214208 11499 4294967295 134512640 135730672 3221224576 3221223168 134763776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16898 11499 301 301 0 16597 0
vsize: 67592
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11260
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14836 0 0 0 90766 246 0 0 25 0 1 0 964732531 69275648 11531 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16913 11531 301 301 0 16612 0
vsize: 67652
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 11298
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14854 0 0 0 91764 248 0 0 25 0 1 0 964732531 69275648 11549 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16913 11549 301 301 0 16612 0
vsize: 67652
[startup+930.028 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11313
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14955 0 0 0 92761 251 0 0 25 0 1 0 964732531 69615616 11650 4294967295 134512640 135730672 3221224576 3221222648 135284348 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16996 11650 301 301 0 16695 0
vsize: 67984
[startup+940.029 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11313
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 14980 0 0 0 93760 253 0 0 25 0 1 0 964732531 69615616 11675 4294967295 134512640 135730672 3221224576 3221223184 134744754 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16996 11675 301 301 0 16695 0
vsize: 67984
[startup+950.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11313
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15008 0 0 0 94759 254 0 0 25 0 1 0 964732531 69615616 11703 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16996 11703 301 301 0 16695 0
vsize: 67984
[startup+960.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11313
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15041 0 0 0 95758 255 0 0 25 0 1 0 964732531 69677056 11736 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17011 11736 301 301 0 16710 0
vsize: 68044
[startup+970.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11313
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15069 0 0 0 96755 258 0 0 25 0 1 0 964732531 69738496 11764 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17026 11764 301 301 0 16725 0
vsize: 68104
[startup+980.031 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11313
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15160 0 0 0 97753 261 0 0 25 0 1 0 964732531 69996544 11855 4294967295 134512640 135730672 3221224576 3221223168 134763784 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17089 11855 301 301 0 16788 0
vsize: 68356
[startup+990.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15218 0 0 0 98746 268 0 0 25 0 1 0 964732531 70193152 11913 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17137 11913 301 301 0 16836 0
vsize: 68548
[startup+1000.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15247 0 0 0 99745 269 0 0 25 0 1 0 964732531 70193152 11942 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17137 11942 301 301 0 16836 0
vsize: 68548
[startup+1010.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15277 0 0 0 100743 271 0 0 25 0 1 0 964732531 70193152 11972 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17137 11972 301 301 0 16836 0
vsize: 68548
[startup+1020.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15289 0 0 0 101738 276 0 0 25 0 1 0 964732531 70193152 11984 4294967295 134512640 135730672 3221224576 3221223088 134746399 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17137 11984 301 301 0 16836 0
vsize: 68548
[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15376 0 0 0 102732 282 0 0 25 0 1 0 964732531 70524928 12071 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17218 12071 301 301 0 16917 0
vsize: 68872
[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15403 0 0 0 103731 284 0 0 25 0 1 0 964732531 70524928 12098 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17218 12098 301 301 0 16917 0
vsize: 68872
[startup+1050.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15429 0 0 0 104730 285 0 0 25 0 1 0 964732531 70524928 12124 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17218 12124 301 301 0 16917 0
vsize: 68872
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15457 0 0 0 105729 286 0 0 25 0 1 0 964732531 70524928 12152 4294967295 134512640 135730672 3221224576 3221223184 134744450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17218 12152 301 301 0 16917 0
vsize: 68872
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15484 0 0 0 106728 287 0 0 25 0 1 0 964732531 70586368 12179 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17233 12179 301 301 0 16932 0
vsize: 68932
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15540 0 0 0 107725 291 0 0 25 0 1 0 964732531 70721536 12235 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17266 12235 301 301 0 16965 0
vsize: 69064
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15566 0 0 0 108721 294 0 0 25 0 1 0 964732531 70721536 12261 4294967295 134512640 135730672 3221224576 3221222892 134813650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17266 12261 301 301 0 16965 0
vsize: 69064
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15592 0 0 0 109720 296 0 0 25 0 1 0 964732531 70782976 12287 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17281 12287 301 301 0 16980 0
vsize: 69124
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15634 0 0 0 110719 297 0 0 25 0 1 0 964732531 70852608 12329 4294967295 134512640 135730672 3221224576 3221222824 135284791 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17298 12329 301 301 0 16997 0
vsize: 69192
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15683 0 0 0 111715 301 0 0 25 0 1 0 964732531 70979584 12378 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17329 12378 301 301 0 17028 0
vsize: 69316
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15811 0 0 0 112711 306 0 0 25 0 1 0 964732531 71512064 12506 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17459 12506 301 301 0 17158 0
vsize: 69836
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15838 0 0 0 113710 307 0 0 25 0 1 0 964732531 71512064 12533 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17459 12533 301 301 0 17158 0
vsize: 69836
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15868 0 0 0 114708 309 0 0 25 0 1 0 964732531 71512064 12563 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17459 12563 301 301 0 17158 0
vsize: 69836
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15899 0 0 0 115708 309 0 0 25 0 1 0 964732531 71573504 12594 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17474 12594 301 301 0 17173 0
vsize: 69896
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 15929 0 0 0 116707 310 0 0 25 0 1 0 964732531 71573504 12624 4294967295 134512640 135730672 3221224576 3221222896 134732683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17474 12624 301 301 0 17173 0
vsize: 69896
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 16026 0 0 0 117703 314 0 0 25 0 1 0 964732531 71970816 12721 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17571 12721 301 301 0 17270 0
vsize: 70284
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 16055 0 0 0 118702 315 0 0 25 0 1 0 964732531 71970816 12750 4294967295 134512640 135730672 3221224576 3221222896 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17571 12750 301 301 0 17270 0
vsize: 70284
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11315
Raw data (stat): 11260 (pb2sat-v2) R 11259 20224 20223 0 -1 0 16082 0 0 0 119701 317 0 0 25 0 1 0 964732531 71970816 12777 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17571 12777 301 301 0 17270 0
vsize: 70284
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 11315
Raw data (stat): 11260 (pb2sat-v2) Z 11259 20224 20223 0 -1 12 16084 0 0 0 119727 319 0 0 25 0 1 0 964732531 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.32
CPU time (s): 1200.47
CPU user time (s): 1197.27
CPU system time (s): 3.19551
CPU usage (%): 100.012
Max. virtual memory (Kb): 70284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####