PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb
MD5SUM	40e47c460002545cc2670ca84fd53082
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2606
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2606
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2606
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2606
Total number of constraints	6509
Number of constraints which are clauses	6509
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 42087

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-15 23:47:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25303 boxname=wulflinc3 idbench=205 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  40e47c460002545cc2670ca84fd53082  /oldhome/oroussel/tmp/wulflinc3/normalized-par32-2-c.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-par32-2-c.opb
IDLAUNCH: 25303
/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:        844452 kB
Buffers:         33848 kB
Cached:         134720 kB
SwapCached:        820 kB
Active:          40868 kB
Inactive:       129860 kB
HighTotal:      131008 kB
HighFree:        18144 kB
LowTotal:       903652 kB
LowFree:        826308 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13844 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:07:10 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 25303 7 1200.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 14/2618	Time: 7.49986/86400
c Decision: 14/2618	Time: 8.21575/86400
c Decision: 14/2618	Time: 9.15961/86400
c Decision: 14/2618	Time: 10.0685/86400
c Decision: 14/2618	Time: 11.0583/86400
c Decision: 14/2618	Time: 12.0202/86400
c Decision: 14/2618	Time: 12.7921/86400
c Decision: 14/2618	Time: 13.7539/86400
c Decision: 14/2618	Time: 14.6818/86400
c Decision: 14/2618	Time: 15.5636/86400
c Decision: 14/2618	Time: 16.5005/86400
c Decision: 14/2618	Time: 17.5593/86400
c Decision: 14/2618	Time: 18.5862/86400
c Decision: 14/2618	Time: 19.782/86400
c Decision: 14/2618	Time: 20.8668/86400
c Decision: 14/2618	Time: 21.9477/86400
c Decision: 14/2618	Time: 22.8405/86400
c Decision: 14/2618	Time: 23.9154/86400
c Decision: 14/2618	Time: 24.9462/86400
c Decision: 14/2618	Time: 25.8901/86400
c Decision: 14/2618	Time: 27.2839/86400
c Decision: 14/2618	Time: 28.3487/86400
c Decision: 14/2618	Time: 29.2975/86400
c Decision: 14/2618	Time: 30.5194/86400
c Decision: 14/2618	Time: 31.5402/86400
c Decision: 14/2618	Time: 32.711/86400
c Decision: 14/2618	Time: 33.6869/86400
c Decision: 14/2618	Time: 34.7417/86400
c Decision: 14/2618	Time: 35.7686/86400
c Decision: 14/2618	Time: 37.0554/86400
c Decision: 14/2618	Time: 38.0712/86400
c Decision: 14/2618	Time: 39.202/86400
c Decision: 14/2618	Time: 40.2609/86400
c Decision: 14/2618	Time: 41.0458/86400
c Decision: 14/2618	Time: 42.0426/86400
c Decision: 14/2618	Time: 42.8955/86400
c Decision: 14/2618	Time: 43.8363/86400
c Decision: 14/2618	Time: 45.0362/86400
c Decision: 14/2618	Time: 46.06/86400
c Decision: 14/2618	Time: 47.4128/86400
c Decision: 14/2618	Time: 48.4396/86400
c Decision: 14/2618	Time: 49.7984/86400
c Decision: 14/2618	Time: 51.0712/86400
c Decision: 14/2618	Time: 52.396/86400
c Decision: 14/2618	Time: 53.6288/86400
c Decision: 14/2618	Time: 54.8337/86400
c Decision: 14/2618	Time: 56.1845/86400
c Decision: 14/2618	Time: 57.5213/86400
c Decision: 14/2618	Time: 58.7101/86400
c Decision: 14/2618	Time: 59.9939/86400
c Decision: 14/2618	Time: 61.3177/86400
c Decision: 14/2618	Time: 62.7315/86400
c Decision: 14/2618	Time: 64.0413/86400
c Decision: 14/2618	Time: 65.525/86400
c Decision: 14/2618	Time: 66.8688/86400
c Decision: 14/2618	Time: 68.0647/86400
c Decision: 14/2618	Time: 69.4234/86400
c Decision: 14/2618	Time: 71.0062/86400
c Decision: 14/2618	Time: 72.385/86400
c Decision: 14/2618	Time: 73.8258/86400
c Decision: 14/2618	Time: 75.1696/86400
c Decision: 14/2618	Time: 76.6104/86400
c Decision: 14/2618	Time: 77.9651/86400
c Decision: 14/2618	Time: 79.3649/86400
c Decision: 14/2618	Time: 80.7067/86400
c Decision: 14/2618	Time: 82.2825/86400
c Decision: 14/2618	Time: 83.7533/86400
c Decision: 14/2618	Time: 85.34/86400
c Decision: 14/2618	Time: 86.8468/86400
c Decision: 14/2618	Time: 87.8746/86400
c Decision: 14/2618	Time: 89.4504/86400
c Decision: 14/2618	Time: 90.9732/86400
c Decision: 14/2618	Time: 92.6029/86400
c Decision: 14/2618	Time: 94.1537/86400
c Decision: 14/2618	Time: 95.9514/86400
c Decision: 14/2618	Time: 97.4032/86400
c Decision: 14/2618	Time: 98.769/86400
c Decision: 14/2618	Time: 100.367/86400
c Decision: 14/2618	Time: 101.827/86400
c Decision: 14/2618	Time: 103.456/86400
c Decision: 14/2618	Time: 104.9/86400
c Decision: 14/2618	Time: 106.474/86400
c Decision: 14/2618	Time: 107.743/86400
c Decision: 14/2618	Time: 109.215/86400
c Decision: 14/2618	Time: 110.902/86400
c Decision: 14/2618	Time: 112.747/86400
c Decision: 14/2618	Time: 114.336/86400
c Decision: 14/2618	Time: 116.031/86400
c Decision: 14/2618	Time: 117.568/86400
c Decision: 14/2618	Time: 119.136/86400
c Decision: 14/2618	Time: 120.815/86400
c Decision: 14/2618	Time: 122.313/86400
c Decision: 14/2618	Time: 123.847/86400
c Decision: 14/2618	Time: 125.624/86400
c Decision: 14/2618	Time: 127.099/86400
c Decision: 14/2618	Time: 128.679/86400
c Decision: 14/2618	Time: 130.329/86400
c Decision: 14/2618	Time: 131.939/86400
c Decision: 14/2618	Time: 133.406/86400
c Decision: 14/2618	Time: 135.103/86400
c Decision: 14/2618	Time: 137.01/86400
c Decision: 14/2618	Time: 138.531/86400
c Decision: 14/2618	Time: 140.123/86400
c Decision: 14/2618	Time: 141.894/86400
c Decision: 14/2618	Time: 143.764/86400
c Decision: 14/2618	Time: 145.438/86400
c Decision: 14/2618	Time: 146.797/86400
c Decision: 14/2618	Time: 148.26/86400
c Decision: 14/2618	Time: 150.037/86400
c Decision: 14/2618	Time: 151.592/86400
c Decision: 14/2618	Time: 153.328/86400
c Decision: 14/2618	Time: 154.6/86400
c Decision: 14/2618	Time: 156.147/86400
c Decision: 14/2618	Time: 157.749/86400
c Decision: 14/2618	Time: 159.35/86400
c Decision: 14/2618	Time: 160.807/86400
c Decision: 14/2618	Time: 162.475/86400
c Decision: 14/2618	Time: 164.342/86400
c Decision: 14/2618	Time: 166.218/86400
c Decision: 14/2618	Time: 168.22/86400
c Decision: 14/2618	Time: 170.26/86400
c Decision: 14/2618	Time: 172.066/86400
c Decision: 14/2618	Time: 173.732/86400
c Decision: 14/2618	Time: 175.602/86400
c Decision: 14/2618	Time: 177.602/86400
c Decision: 14/2618	Time: 179.764/86400
c Decision: 14/2618	Time: 181.479/86400
c Decision: 14/2618	Time: 183.395/86400
c Decision: 14/2618	Time: 185.171/86400
c Decision: 14/2618	Time: 186.84/86400
c Decision: 14/2618	Time: 188.519/86400
c Decision: 14/2618	Time: 190.3/86400
c Decision: 14/2618	Time: 192.362/86400
c Decision: 14/2618	Time: 194.11/86400
c Decision: 14/2618	Time: 195.868/86400
c Decision: 14/2618	Time: 197.969/86400
c Decision: 14/2618	Time: 199.71/86400
c Decision: 14/2618	Time: 201.444/86400
c Decision: 14/2618	Time: 203.432/86400
c Decision: 14/2618	Time: 205.463/86400
c Decision: 14/2618	Time: 207.27/86400
c Decision: 14/2618	Time: 209.058/86400
c Decision: 14/2618	Time: 210.964/86400
c Decision: 14/2618	Time: 212.759/86400
c Decision: 14/2618	Time: 214.713/86400
c Decision: 14/2618	Time: 216.701/86400
c Decision: 14/2618	Time: 218.522/86400
c Decision: 14/2618	Time: 220.307/86400
c Decision: 14/2618	Time: 222.203/86400
c Decision: 14/2618	Time: 223.998/86400
c Decision: 14/2618	Time: 226.012/86400
c Decision: 14/2618	Time: 227.806/86400
c Decision: 14/2618	Time: 229.625/86400
c Decision: 14/2618	Time: 231.578/86400
c Decision: 14/2618	Time: 233.434/86400
c Decision: 14/2618	Time: 235.326/86400
c Decision: 14/2618	Time: 237.143/86400
c Decision: 14/2618	Time: 239.032/86400
c Decision: 14/2618	Time: 240.589/86400
c Decision: 14/2618	Time: 242.599/86400
c Decision: 14/2618	Time: 244.621/86400
c Decision: 14/2618	Time: 246.572/86400
c Decision: 14/2618	Time: 248.266/86400
c Decision: 14/2618	Time: 250.235/86400
c Decision: 14/2618	Time: 252.27/86400
c Decision: 14/2618	Time: 254.392/86400
c Decision: 14/2618	Time: 256.447/86400
c Decision: 14/2618	Time: 258.118/86400
c Decision: 14/2618	Time: 260.06/86400
c Decision: 14/2618	Time: 262.093/86400
c Decision: 14/2618	Time: 264.093/86400
c Decision: 14/2618	Time: 265.928/86400
c Decision: 14/2618	Time: 267.681/86400
c Decision: 14/2618	Time: 269.544/86400
c Decision: 14/2618	Time: 271.309/86400
c Decision: 14/2618	Time: 273.466/86400
c Decision: 14/2618	Time: 275.352/86400
c Decision: 14/2618	Time: 277.504/86400
c Decision: 14/2618	Time: 279.519/86400
c Decision: 14/2618	Time: 281.569/86400
c Decision: 14/2618	Time: 283.446/86400
c Decision: 14/2618	Time: 285.538/86400
c Decision: 14/2618	Time: 287.491/86400
c Decision: 14/2618	Time: 289.333/86400
c Decision: 14/2618	Time: 291.351/86400
c Decision: 14/2618	Time: 293.692/86400
c Decision: 14/2618	Time: 295.788/86400
c Decision: 14/2618	Time: 297.69/86400
c Decision: 14/2618	Time: 299.357/86400
c Decision: 14/2618	Time: 301.559/86400
c Decision: 14/2618	Time: 303.707/86400
c Decision: 14/2618	Time: 305.914/86400
c Decision: 14/2618	Time: 307.919/86400
c Decision: 14/2618	Time: 309.764/86400
c Decision: 14/2618	Time: 311.889/86400
c Decision: 14/2618	Time: 314.352/86400
c Decision: 14/2618	Time: 316.2/86400
c Decision: 14/2618	Time: 318.092/86400
c Decision: 14/2618	Time: 320.081/86400
c Decision: 14/2618	Time: 322.25/86400
c Decision: 14/2618	Time: 324.412/86400
c Decision: 14/2618	Time: 326.511/86400
c Decision: 14/2618	Time: 328.448/86400
c Decision: 14/2618	Time: 330.39/86400
c Decision: 14/2618	Time: 332.403/86400
c Decision: 14/2618	Time: 334.674/86400
c Decision: 14/2618	Time: 336.821/86400
c Decision: 14/2618	Time: 338.614/86400
c Decision: 14/2618	Time: 340.926/86400
c Decision: 14/2618	Time: 343.161/86400
c Decision: 14/2618	Time: 345.083/86400
c Decision: 14/2618	Time: 347.141/86400
c Decision: 14/2618	Time: 349.235/86400
c Decision: 14/2618	Time: 351.509/86400
c Decision: 14/2618	Time: 353.55/86400
c Decision: 14/2618	Time: 355.84/86400
c Decision: 14/2618	Time: 358.258/86400
c Decision: 14/2618	Time: 360.692/86400
c Decision: 14/2618	Time: 362.78/86400
c Decision: 14/2618	Time: 364.901/86400
c Decision: 14/2618	Time: 367.078/86400
c Decision: 14/2618	Time: 369.279/86400
c Decision: 14/2618	Time: 371.509/86400
c Decision: 14/2618	Time: 373.872/86400
c Decision: 14/2618	Time: 375.935/86400
c Decision: 14/2618	Time: 378.008/86400
c Decision: 14/2618	Time: 380.121/86400
c Decision: 14/2618	Time: 382.407/86400
c Decision: 14/2618	Time: 384.382/86400
c Decision: 14/2618	Time: 386.486/86400
c Decision: 14/2618	Time: 388.828/86400
c Decision: 14/2618	Time: 390.964/86400
c Decision: 14/2618	Time: 393.417/86400
c Decision: 14/2618	Time: 395.666/86400
c Decision: 14/2618	Time: 397.889/86400
c Decision: 14/2618	Time: 400.426/86400
c Decision: 14/2618	Time: 402.652/86400
c Decision: 14/2618	Time: 405.08/86400
c Decision: 14/2618	Time: 407.285/86400
c Decision: 14/2618	Time: 409.133/86400
c Decision: 14/2618	Time: 411.052/86400
c Decision: 14/2618	Time: 413.217/86400
c Decision: 14/2618	Time: 415.352/86400
c Decision: 14/2618	Time: 417.291/86400
c Decision: 14/2618	Time: 419.541/86400
c Decision: 14/2618	Time: 422.239/86400
c Decision: 14/2618	Time: 424.29/86400
c Decision: 14/2618	Time: 426.364/86400
c Decision: 14/2618	Time: 428.128/86400
c Decision: 14/2618	Time: 430.25/86400
c Decision: 14/2618	Time: 432.825/86400
c Decision: 14/2618	Time: 434.756/86400
c Decision: 14/2618	Time: 436.747/86400
c Decision: 14/2618	Time: 439.343/86400
c Decision: 14/2618	Time: 441.54/86400
c Decision: 14/2618	Time: 444.284/86400
c Decision: 14/2618	Time: 446.499/86400
c Decision: 14/2618	Time: 448.542/86400
c Decision: 14/2618	Time: 450.66/86400
c Decision: 14/2618	Time: 452.868/86400
c Decision: 14/2618	Time: 455.56/86400
c Decision: 14/2618	Time: 457.759/86400
c Decision: 14/2618	Time: 460.275/86400
c Decision: 14/2618	Time: 462.724/86400
c Decision: 14/2618	Time: 465.095/86400
c Decision: 14/2618	Time: 467.645/86400
c Decision: 14/2618	Time: 469.883/86400
c Decision: 14/2618	Time: 472.381/86400
c Decision: 14/2618	Time: 474.613/86400
c Decision: 14/2618	Time: 477.003/86400
c Decision: 14/2618	Time: 479.337/86400
c Decision: 14/2618	Time: 481.661/86400
c Decision: 14/2618	Time: 483.988/86400
c Decision: 14/2618	Time: 486.271/86400
c Decision: 14/2618	Time: 488.442/86400
c Decision: 14/2618	Time: 491.212/86400
c Decision: 14/2618	Time: 493.615/86400
c Decision: 14/2618	Time: 495.846/86400
c Decision: 14/2618	Time: 498.338/86400
c Decision: 14/2618	Time: 500.479/86400
c Decision: 14/2618	Time: 502.812/86400
c Decision: 14/2618	Time: 505.39/86400
c Decision: 14/2618	Time: 507.811/86400
c Decision: 14/2618	Time: 510.489/86400
c Decision: 14/2618	Time: 513.133/86400
c Decision: 14/2618	Time: 515.704/86400
c Decision: 14/2618	Time: 518.205/86400
c Decision: 14/2618	Time: 520.521/86400
c Decision: 14/2618	Time: 523.069/86400
c Decision: 14/2618	Time: 525.426/86400
c Decision: 14/2618	Time: 528.223/86400
c Decision: 14/2618	Time: 530.624/86400
c Decision: 14/2618	Time: 533.52/86400
c Decision: 14/2618	Time: 536.053/86400
c Decision: 14/2618	Time: 538.549/86400
c Decision: 14/2618	Time: 541.343/86400
c Decision: 14/2618	Time: 543.734/86400
c Decision: 14/2618	Time: 546.13/86400
c Decision: 14/2618	Time: 548.719/86400
c Decision: 14/2618	Time: 551.712/86400
c Decision: 14/2618	Time: 554.771/86400
c Decision: 14/2618	Time: 557.457/86400
c Decision: 14/2618	Time: 559.39/86400
c Decision: 14/2618	Time: 561.951/86400
c Decision: 14/2618	Time: 564.278/86400
c Decision: 14/2618	Time: 567.212/86400
c Decision: 14/2618	Time: 569.846/86400
c Decision: 14/2618	Time: 572.165/86400
c Decision: 14/2618	Time: 574.719/86400
c Decision: 14/2618	Time: 577.348/86400
c Decision: 14/2618	Time: 580.092/86400
c Decision: 14/2618	Time: 582.652/86400
c Decision: 14/2618	Time: 585.229/86400
c Decision: 14/2618	Time: 587.771/86400
c Decision: 14/2618	Time: 590.31/86400
c Decision: 14/2618	Time: 593.216/86400
c Decision: 14/2618	Time: 595.762/86400
c Decision: 14/2618	Time: 598.286/86400
c Decision: 14/2618	Time: 600.816/86400
c Decision: 14/2618	Time: 603.509/86400
c Decision: 14/2618	Time: 606.554/86400
c Decision: 14/2618	Time: 608.815/86400
c Decision: 14/2618	Time: 611.819/86400
c Decision: 14/2618	Time: 614.596/86400
c Decision: 14/2618	Time: 617.474/86400
c Decision: 14/2618	Time: 620.557/86400
c Decision: 14/2618	Time: 623.265/86400
c Decision: 14/2618	Time: 626.162/86400
c Decision: 14/2618	Time: 628.727/86400
c Decision: 14/2618	Time: 630.95/86400
c Decision: 14/2618	Time: 633.813/86400
c Decision: 14/2618	Time: 636.311/86400
c Decision: 14/2618	Time: 638.633/86400
c Decision: 14/2618	Time: 641.278/86400
c Decision: 14/2618	Time: 643.951/86400
c Decision: 14/2618	Time: 647.191/86400
c Decision: 14/2618	Time: 649.781/86400
c Decision: 14/2618	Time: 651.985/86400
c Decision: 14/2618	Time: 654.36/86400
c Decision: 14/2618	Time: 656.994/86400
c Decision: 14/2618	Time: 659.77/86400
c Decision: 14/2618	Time: 662.32/86400
c Decision: 14/2618	Time: 664.986/86400
c Decision: 14/2618	Time: 667.746/86400
c Decision: 14/2618	Time: 670.46/86400
c Decision: 14/2618	Time: 673.4/86400
c Decision: 14/2618	Time: 676.366/86400
c Decision: 14/2618	Time: 678.635/86400
c Decision: 14/2618	Time: 681.466/86400
c Decision: 14/2618	Time: 684.048/86400
c Decision: 14/2618	Time: 687.144/86400
c Decision: 14/2618	Time: 689.752/86400
c Decision: 14/2618	Time: 692.391/86400
c Decision: 14/2618	Time: 695.032/86400
c Decision: 14/2618	Time: 698.391/86400
c Decision: 14/2618	Time: 701.625/86400
c Decision: 14/2618	Time: 704.557/86400
c Decision: 14/2618	Time: 707.175/86400
c Decision: 14/2618	Time: 709.656/86400
c Decision: 14/2618	Time: 712.289/86400
c Decision: 14/2618	Time: 715.302/86400
c Decision: 14/2618	Time: 717.955/86400
c Decision: 14/2618	Time: 720.635/86400
c Decision: 14/2618	Time: 723.275/86400
c Decision: 14/2618	Time: 726.487/86400
c Decision: 14/2618	Time: 728.911/86400
c Decision: 14/2618	Time: 731.724/86400
c Decision: 14/2618	Time: 734.357/86400
c Decision: 14/2618	Time: 736.818/86400
c Decision: 14/2618	Time: 739.018/86400
c Decision: 14/2618	Time: 741.781/86400
c Decision: 14/2618	Time: 744.515/86400
c Decision: 14/2618	Time: 747.473/86400
c Decision: 14/2618	Time: 750.115/86400
c Decision: 14/2618	Time: 752.589/86400
c Decision: 14/2618	Time: 755.813/86400
c Decision: 14/2618	Time: 758.49/86400
c Decision: 14/2618	Time: 761.283/86400
c Decision: 14/2618	Time: 763.989/86400
c Decision: 14/2618	Time: 766.711/86400
c Decision: 14/2618	Time: 769.488/86400
c Decision: 14/2618	Time: 771.928/86400
c Decision: 14/2618	Time: 775.084/86400
c Decision: 14/2618	Time: 778.121/86400
c Decision: 14/2618	Time: 781.072/86400
c Decision: 14/2618	Time: 783.725/86400
c Decision: 14/2618	Time: 786.449/86400
c Decision: 14/2618	Time: 789.745/86400
c Decision: 14/2618	Time: 792.679/86400
c Decision: 14/2618	Time: 795.598/86400
c Decision: 14/2618	Time: 798.577/86400
c Decision: 14/2618	Time: 801.228/86400
c Decision: 14/2618	Time: 803.886/86400
c Decision: 14/2618	Time: 806.813/86400
c Decision: 14/2618	Time: 810.04/86400
c Decision: 14/2618	Time: 813.645/86400
c Decision: 14/2618	Time: 816.767/86400
c Decision: 14/2618	Time: 819.368/86400
c Decision: 14/2618	Time: 822.042/86400
c Decision: 14/2618	Time: 825.126/86400
c Decision: 14/2618	Time: 828.06/86400
c Decision: 14/2618	Time: 830.997/86400
c Decision: 14/2618	Time: 833.565/86400
c Decision: 14/2618	Time: 836.183/86400
c Decision: 14/2618	Time: 839.275/86400
c Decision: 14/2618	Time: 842.661/86400
c Decision: 14/2618	Time: 845.471/86400
c Decision: 14/2618	Time: 848.288/86400
c Decision: 14/2618	Time: 851.311/86400
c Decision: 14/2618	Time: 854.144/86400
c Decision: 14/2618	Time: 857.356/86400
c Decision: 14/2618	Time: 860.385/86400
c Decision: 14/2618	Time: 863.31/86400
c Decision: 14/2618	Time: 865.967/86400
c Decision: 14/2618	Time: 869.066/86400
c Decision: 14/2618	Time: 872.294/86400
c Decision: 14/2618	Time: 875.684/86400
c Decision: 14/2618	Time: 878.563/86400
c Decision: 14/2618	Time: 880.997/86400
c Decision: 14/2618	Time: 883.899/86400
c Decision: 14/2618	Time: 887.069/86400
c Decision: 14/2618	Time: 890.261/86400
c Decision: 14/2618	Time: 893.422/86400
c Decision: 14/2618	Time: 896.378/86400
c Decision: 14/2618	Time: 899.133/86400
c Decision: 14/2618	Time: 902.325/86400
c Decision: 14/2618	Time: 905.292/86400
c Decision: 14/2618	Time: 908.52/86400
c Decision: 14/2618	Time: 911.341/86400
c Decision: 14/2618	Time: 914.417/86400
c Decision: 14/2618	Time: 917.403/86400
c Decision: 14/2618	Time: 920.308/86400
c Decision: 14/2618	Time: 922.976/86400
c Decision: 14/2618	Time: 925.64/86400
c Decision: 14/2618	Time: 928.782/86400
c Decision: 14/2618	Time: 932.002/86400
c Decision: 14/2618	Time: 935.397/86400
c Decision: 14/2618	Time: 938.372/86400
c Decision: 14/2618	Time: 941.281/86400
c Decision: 14/2618	Time: 944.304/86400
c Decision: 14/2618	Time: 947.451/86400
c Decision: 14/2618	Time: 950.389/86400
c Decision: 14/2618	Time: 953.42/86400
c Decision: 14/2618	Time: 956.607/86400
c Decision: 14/2618	Time: 959.438/86400
c Decision: 14/2618	Time: 962.634/86400
c Decision: 14/2618	Time: 965.367/86400
c Decision: 14/2618	Time: 968.257/86400
c Decision: 14/2618	Time: 971.231/86400
c Decision: 14/2618	Time: 974.133/86400
c Decision: 14/2618	Time: 976.834/86400
c Decision: 14/2618	Time: 979.634/86400
c Decision: 14/2618	Time: 982.694/86400
c Decision: 14/2618	Time: 985.68/86400
c Decision: 14/2618	Time: 988.85/86400
c Decision: 14/2618	Time: 991.795/86400
c Decision: 14/2618	Time: 994.43/86400
c Decision: 14/2618	Time: 996.977/86400
c Decision: 14/2618	Time: 1000.27/86400
c Decision: 14/2618	Time: 1003.52/86400
c Decision: 14/2618	Time: 1007.43/86400
c Decision: 14/2618	Time: 1010.4/86400
c Decision: 14/2618	Time: 1013.58/86400
c Decision: 14/2618	Time: 1016.35/86400
c Decision: 14/2618	Time: 1019.43/86400
c Decision: 14/2618	Time: 1022.78/86400
c Decision: 14/2618	Time: 1025.89/86400
c Decision: 14/2618	Time: 1028.61/86400
c Decision: 14/2618	Time: 1031.62/86400
c Decision: 14/2618	Time: 1034.71/86400
c Decision: 14/2618	Time: 1038.32/86400
c Decision: 14/2618	Time: 1041.24/86400
c Decision: 14/2618	Time: 1044.81/86400
c Decision: 14/2618	Time: 1048.12/86400
c Decision: 14/2618	Time: 1051.26/86400
c Decision: 14/2618	Time: 1054.88/86400
c Decision: 14/2618	Time: 1057.51/86400
c Decision: 14/2618	Time: 1060.57/86400
c Decision: 14/2618	Time: 1063.46/86400
c Decision: 14/2618	Time: 1066.29/86400
c Decision: 14/2618	Time: 1069.62/86400
c Decision: 14/2618	Time: 1072.47/86400
c Decision: 14/2618	Time: 1075.7/86400
c Decision: 14/2618	Time: 1078.78/86400
c Decision: 14/2618	Time: 1081.65/86400
c Decision: 14/2618	Time: 1085.35/86400
c Decision: 14/2618	Time: 1088.36/86400
c Decision: 14/2618	Time: 1091.2/86400
c Decision: 14/2618	Time: 1094.24/86400
c Decision: 14/2618	Time: 1097.97/86400
c Decision: 14/2618	Time: 1101.35/86400
c Decision: 14/2618	Time: 1104.86/86400
c Decision: 14/2618	Time: 1108.24/86400
c Decision: 14/2618	Time: 1111.21/86400
c Decision: 14/2618	Time: 1114.18/86400
c Decision: 14/2618	Time: 1117.44/86400
c Decision: 14/2618	Time: 1120.55/86400
c Decision: 14/2618	Time: 1123.32/86400
c Decision: 14/2618	Time: 1126.45/86400
c Decision: 14/2618	Time: 1129.83/86400
c Decision: 14/2618	Time: 1133.32/86400
c Decision: 14/2618	Time: 1136.19/86400
c Decision: 14/2618	Time: 1139.52/86400
c Decision: 14/2618	Time: 1143.03/86400
c Decision: 14/2618	Time: 1145.93/86400
c Decision: 14/2618	Time: 1149.72/86400
c Decision: 14/2618	Time: 1152.9/86400
c Decision: 14/2618	Time: 1155.92/86400
c Decision: 14/2618	Time: 1158.9/86400
c Decision: 14/2618	Time: 1162.3/86400
c Decision: 14/2618	Time: 1165.99/86400
c Decision: 14/2618	Time: 1169.5/86400
c Decision: 14/2618	Time: 1172.5/86400
c Decision: 14/2618	Time: 1176.14/86400
c Decision: 14/2618	Time: 1179.62/86400
c Decision: 14/2618	Time: 1183.22/86400
c Decision: 14/2618	Time: 1185.85/86400
c Decision: 14/2618	Time: 1189.38/86400
c Decision: 14/2618	Time: 1192.33/86400
c Decision: 14/2618	Time: 1195.42/86400
c Decision: 14/2618	Time: 1198.84/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.84 0.94 0.93 2/54 13524
Raw data (stat): 13524 (runsolver) R 13523 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966187043 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.87 0.94 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 937 0 0 0 995 3 0 0 25 0 1 0 966187043 5361664 831 4294967295 134512640 135730672 3221224592 3221223088 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1309 831 301 301 0 1008 0
vsize: 5236
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.94 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 1440 0 0 0 1991 7 0 0 25 0 1 0 966187043 6397952 1237 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1562 1237 301 301 0 1261 0
vsize: 6248
[startup+30.0027 s]
Raw data (loadavg): 0.90 0.94 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 1650 0 0 0 2989 9 0 0 25 0 1 0 966187043 8867840 1447 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2165 1447 301 301 0 1864 0
vsize: 8660
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.94 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 2102 0 0 0 3985 12 0 0 25 0 1 0 966187043 10178560 1706 4294967295 134512640 135730672 3221224592 3221223104 134746392 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2485 1706 301 301 0 2184 0
vsize: 9940
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.94 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 2210 0 0 0 4983 14 0 0 25 0 1 0 966187043 10432512 1814 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2547 1814 301 301 0 2246 0
vsize: 10188
[startup+60.0032 s]
Raw data (loadavg): 0.94 0.95 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 2376 0 0 0 5981 16 0 0 25 0 1 0 966187043 10694656 1980 4294967295 134512640 135730672 3221224592 3221222924 134739216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2611 1980 301 301 0 2310 0
vsize: 10444
[startup+70.0039 s]
Raw data (loadavg): 0.95 0.95 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 2541 0 0 0 6979 18 0 0 25 0 1 0 966187043 10952704 2145 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2674 2145 301 301 0 2373 0
vsize: 10696
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.95 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 2696 0 0 0 7978 20 0 0 25 0 1 0 966187043 11194368 2300 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2733 2300 301 301 0 2432 0
vsize: 10932
[startup+90.0056 s]
Raw data (loadavg): 0.96 0.95 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 2844 0 0 0 8976 22 0 0 25 0 1 0 966187043 11481088 2448 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2803 2448 301 301 0 2502 0
vsize: 11212
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 3036 0 0 0 9973 24 0 0 25 0 1 0 966187043 15839232 2640 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3867 2640 301 301 0 3566 0
vsize: 15468
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 3614 0 0 0 10971 27 0 0 25 0 1 0 966187043 17674240 2833 4294967295 134512640 135730672 3221224592 3221223104 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4315 2833 301 301 0 4014 0
vsize: 17260
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 3802 0 0 0 11969 29 0 0 25 0 1 0 966187043 17813504 3021 4294967295 134512640 135730672 3221224592 3221223088 134747788 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4349 3021 301 301 0 4048 0
vsize: 17396
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 4034 0 0 0 12967 31 0 0 25 0 1 0 966187043 18046976 3253 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4406 3253 301 301 0 4105 0
vsize: 17624
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 4212 0 0 0 13965 33 0 0 25 0 1 0 966187043 18300928 3431 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4468 3431 301 301 0 4167 0
vsize: 17872
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 4423 0 0 0 14964 35 0 0 25 0 1 0 966187043 18567168 3642 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4533 3642 301 301 0 4232 0
vsize: 18132
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 4498 0 0 0 15962 37 0 0 25 0 1 0 966187043 18747392 3717 4294967295 134512640 135730672 3221224592 3221223104 134746217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4577 3717 301 301 0 4276 0
vsize: 18308
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 4552 0 0 0 16961 38 0 0 25 0 1 0 966187043 18874368 3771 4294967295 134512640 135730672 3221224592 3221222832 134786674 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4608 3771 301 301 0 4307 0
vsize: 18432
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 4720 0 0 0 17960 39 0 0 25 0 1 0 966187043 19214336 3939 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4691 3939 301 301 0 4390 0
vsize: 18764
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 4855 0 0 0 18958 41 0 0 25 0 1 0 966187043 19410944 4074 4294967295 134512640 135730672 3221224592 3221223136 134740301 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4739 4074 301 301 0 4438 0
vsize: 18956
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 4905 0 0 0 19957 42 0 0 25 0 1 0 966187043 19574784 4124 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4779 4124 301 301 0 4478 0
vsize: 19116
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 5080 0 0 0 20955 44 0 0 25 0 1 0 966187043 19771392 4299 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4827 4299 301 301 0 4526 0
vsize: 19308
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 5309 0 0 0 21954 46 0 0 25 0 1 0 966187043 28356608 4528 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6923 4528 301 301 0 6622 0
vsize: 27692
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 5415 0 0 0 22952 48 0 0 25 0 1 0 966187043 28786688 4634 4294967295 134512640 135730672 3221224592 3221222940 135284036 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7028 4634 301 301 0 6727 0
vsize: 28112
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 5455 0 0 0 23951 50 0 0 25 0 1 0 966187043 28901376 4674 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7056 4674 301 301 0 6755 0
vsize: 28224
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 5501 0 0 0 24949 51 0 0 25 0 1 0 966187043 29073408 4720 4294967295 134512640 135730672 3221224592 3221223136 134740242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7098 4720 301 301 0 6797 0
vsize: 28392
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 5567 0 0 0 25948 52 0 0 25 0 1 0 966187043 29224960 4786 4294967295 134512640 135730672 3221224592 3221222912 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7135 4786 301 301 0 6834 0
vsize: 28540
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 6384 0 0 0 26946 54 0 0 25 0 1 0 966187043 32485376 4834 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7931 4834 301 301 0 7630 0
vsize: 31724
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 6451 0 0 0 27946 55 0 0 25 0 1 0 966187043 32784384 4901 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8004 4901 301 301 0 7703 0
vsize: 32016
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 6529 0 0 0 28945 56 0 0 25 0 1 0 966187043 32919552 4979 4294967295 134512640 135730672 3221224592 3221223104 134746512 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8037 4979 301 301 0 7736 0
vsize: 32148
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 6582 0 0 0 29944 58 0 0 25 0 1 0 966187043 33054720 5032 4294967295 134512640 135730672 3221224592 3221223104 134746237 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8070 5032 301 301 0 7769 0
vsize: 32280
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 6631 0 0 0 30942 59 0 0 25 0 1 0 966187043 33169408 5081 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8098 5081 301 301 0 7797 0
vsize: 32392
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 6681 0 0 0 31941 60 0 0 25 0 1 0 966187043 33284096 5131 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8126 5131 301 301 0 7825 0
vsize: 32504
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 6742 0 0 0 32940 61 0 0 25 0 1 0 966187043 33521664 5192 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8184 5192 301 301 0 7883 0
vsize: 32736
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 6774 0 0 0 33940 62 0 0 25 0 1 0 966187043 33521664 5224 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8184 5224 301 301 0 7883 0
vsize: 32736
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 6905 0 0 0 34938 64 0 0 25 0 1 0 966187043 33521664 5355 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8184 5355 301 301 0 7883 0
vsize: 32736
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 7095 0 0 0 35937 65 0 0 25 0 1 0 966187043 33660928 5545 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8218 5545 301 301 0 7917 0
vsize: 32872
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 7284 0 0 0 36936 67 0 0 25 0 1 0 966187043 33660928 5734 4294967295 134512640 135730672 3221224592 3221223104 134746214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8218 5734 301 301 0 7917 0
vsize: 32872
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 7508 0 0 0 37935 68 0 0 25 0 1 0 966187043 34070528 5958 4294967295 134512640 135730672 3221224592 3221223136 134740272 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8318 5958 301 301 0 8017 0
vsize: 33272
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 7548 0 0 0 38934 69 0 0 25 0 1 0 966187043 34070528 5998 4294967295 134512640 135730672 3221224592 3221223136 134740380 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8318 5998 301 301 0 8017 0
vsize: 33272
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 7586 0 0 0 39934 70 0 0 25 0 1 0 966187043 34201600 6036 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8350 6036 301 301 0 8049 0
vsize: 33400
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 7648 0 0 0 40932 71 0 0 25 0 1 0 966187043 34340864 6098 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8384 6098 301 301 0 8083 0
vsize: 33536
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 7687 0 0 0 41931 72 0 0 25 0 1 0 966187043 34500608 6137 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8423 6137 301 301 0 8122 0
vsize: 33692
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 7731 0 0 0 42930 74 0 0 25 0 1 0 966187043 34500608 6181 4294967295 134512640 135730672 3221224592 3221223136 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8423 6181 301 301 0 8122 0
vsize: 33692
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 7786 0 0 0 43929 75 0 0 25 0 1 0 966187043 34500608 6236 4294967295 134512640 135730672 3221224592 3221223104 134746193 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8423 6236 301 301 0 8122 0
vsize: 33692
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 7973 0 0 0 44928 77 0 0 25 0 1 0 966187043 34623488 6423 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8453 6423 301 301 0 8152 0
vsize: 33812
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 8156 0 0 0 45926 79 0 0 25 0 1 0 966187043 34942976 6606 4294967295 134512640 135730672 3221224592 3221223072 134732674 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8531 6606 301 301 0 8230 0
vsize: 34124
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 8188 0 0 0 46925 80 0 0 25 0 1 0 966187043 34942976 6638 4294967295 134512640 135730672 3221224592 3221223136 134740259 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8531 6638 301 301 0 8230 0
vsize: 34124
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 8317 0 0 0 47923 82 0 0 25 0 1 0 966187043 35078144 6767 4294967295 134512640 135730672 3221224592 3221223216 134783285 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8564 6767 301 301 0 8263 0
vsize: 34256
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 8381 0 0 0 48922 83 0 0 25 0 1 0 966187043 35233792 6831 4294967295 134512640 135730672 3221224592 3221223088 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8602 6831 301 301 0 8301 0
vsize: 34408
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 8503 0 0 0 49921 84 0 0 25 0 1 0 966187043 35233792 6953 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8602 6953 301 301 0 8301 0
vsize: 34408
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 8664 0 0 0 50920 85 0 0 25 0 1 0 966187043 35389440 7114 4294967295 134512640 135730672 3221224592 3221223088 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8640 7114 301 301 0 8339 0
vsize: 34560
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 8839 0 0 0 51919 86 0 0 25 0 1 0 966187043 35389440 7289 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8640 7289 301 301 0 8339 0
vsize: 34560
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 9033 0 0 0 52918 87 0 0 25 0 1 0 966187043 35516416 7483 4294967295 134512640 135730672 3221224592 3221223072 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8671 7483 301 301 0 8370 0
vsize: 34684
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 9169 0 0 0 53917 89 0 0 25 0 1 0 966187043 35631104 7619 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8699 7619 301 301 0 8398 0
vsize: 34796
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 9299 0 0 0 54916 90 0 0 25 0 1 0 966187043 35631104 7749 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8699 7749 301 301 0 8398 0
vsize: 34796
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 9505 0 0 0 55914 92 0 0 25 0 1 0 966187043 36016128 7955 4294967295 134512640 135730672 3221224592 3221223104 134746507 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8793 7955 301 301 0 8492 0
vsize: 35172
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 9706 0 0 0 56913 93 0 0 25 0 1 0 966187043 36421632 8156 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8892 8156 301 301 0 8591 0
vsize: 35568
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 9773 0 0 0 57911 95 0 0 25 0 1 0 966187043 36691968 8223 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8958 8223 301 301 0 8657 0
vsize: 35832
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.93 3/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 9853 0 0 0 58911 96 0 0 25 0 1 0 966187043 37097472 8303 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9057 8303 301 301 0 8756 0
vsize: 36228
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 9911 0 0 0 59911 96 0 0 25 0 1 0 966187043 37367808 8361 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9123 8361 301 301 0 8822 0
vsize: 36492
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 9934 0 0 0 60910 97 0 0 25 0 1 0 966187043 37367808 8384 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9123 8384 301 301 0 8822 0
vsize: 36492
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 9998 0 0 0 61909 98 0 0 25 0 1 0 966187043 37662720 8448 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9195 8448 301 301 0 8894 0
vsize: 36780
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 10043 0 0 0 62908 100 0 0 25 0 1 0 966187043 37933056 8493 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9261 8493 301 301 0 8960 0
vsize: 37044
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 10069 0 0 0 63908 100 0 0 25 0 1 0 966187043 37933056 8519 4294967295 134512640 135730672 3221224592 3221223088 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9261 8519 301 301 0 8960 0
vsize: 37044
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 10102 0 0 0 64907 101 0 0 25 0 1 0 966187043 38068224 8552 4294967295 134512640 135730672 3221224592 3221223156 134740377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9294 8552 301 301 0 8993 0
vsize: 37176
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 10151 0 0 0 65906 102 0 0 25 0 1 0 966187043 38203392 8601 4294967295 134512640 135730672 3221224592 3221223104 134746526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9327 8601 301 301 0 9026 0
vsize: 37308
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 10176 0 0 0 66905 103 0 0 25 0 1 0 966187043 38350848 8626 4294967295 134512640 135730672 3221224592 3221223088 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9363 8626 301 301 0 9062 0
vsize: 37452
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 10203 0 0 0 67904 104 0 0 25 0 1 0 966187043 38350848 8653 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9363 8653 301 301 0 9062 0
vsize: 37452
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 10224 0 0 0 68904 105 0 0 25 0 1 0 966187043 38350848 8674 4294967295 134512640 135730672 3221224592 3221223104 134746190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9363 8674 301 301 0 9062 0
vsize: 37452
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 10283 0 0 0 69903 106 0 0 25 0 1 0 966187043 38645760 8733 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9435 8733 301 301 0 9134 0
vsize: 37740
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 10352 0 0 0 70902 107 0 0 25 0 1 0 966187043 38760448 8802 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9463 8802 301 301 0 9162 0
vsize: 37852
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 12034 0 0 0 71897 112 0 0 25 0 1 0 966187043 45182976 8947 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11031 8947 301 301 0 10730 0
vsize: 44124
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 12079 0 0 0 72896 113 0 0 25 0 1 0 966187043 45318144 8992 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11064 8992 301 301 0 10763 0
vsize: 44256
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 12123 0 0 0 73896 114 0 0 25 0 1 0 966187043 45457408 9036 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11098 9036 301 301 0 10797 0
vsize: 44392
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 12221 0 0 0 74895 115 0 0 25 0 1 0 966187043 62369792 9134 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15227 9134 301 301 0 14926 0
vsize: 60908
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 12355 0 0 0 75894 116 0 0 25 0 1 0 966187043 62504960 9268 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15260 9268 301 301 0 14959 0
vsize: 61040
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13524
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 12464 0 0 0 76893 117 0 0 25 0 1 0 966187043 62652416 9377 4294967295 134512640 135730672 3221224592 3221223216 134783328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15296 9377 301 301 0 14995 0
vsize: 61184
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13577
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 12595 0 0 0 77892 118 0 0 25 0 1 0 966187043 62816256 9508 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15336 9508 301 301 0 15035 0
vsize: 61344
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13577
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 12705 0 0 0 78891 119 0 0 25 0 1 0 966187043 62951424 9618 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15369 9618 301 301 0 15068 0
vsize: 61476
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13577
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 12868 0 0 0 79890 121 0 0 25 0 1 0 966187043 63221760 9781 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15435 9781 301 301 0 15134 0
vsize: 61740
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13577
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 12955 0 0 0 80889 122 0 0 25 0 1 0 966187043 63356928 9868 4294967295 134512640 135730672 3221224592 3221223212 134730946 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15468 9868 301 301 0 15167 0
vsize: 61872
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13577
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13034 0 0 0 81888 123 0 0 25 0 1 0 966187043 63356928 9947 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15468 9947 301 301 0 15167 0
vsize: 61872
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13577
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13213 0 0 0 82887 124 0 0 25 0 1 0 966187043 63492096 10126 4294967295 134512640 135730672 3221224592 3221222832 134786288 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15501 10126 301 301 0 15200 0
vsize: 62004
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13577
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13264 0 0 0 83886 125 0 0 25 0 1 0 966187043 63623168 10177 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15533 10177 301 301 0 15232 0
vsize: 62132
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13403 0 0 0 84885 127 0 0 25 0 1 0 966187043 63893504 10316 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15599 10316 301 301 0 15298 0
vsize: 62396
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13544 0 0 0 85884 128 0 0 25 0 1 0 966187043 63893504 10457 4294967295 134512640 135730672 3221224592 3221223088 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15599 10457 301 301 0 15298 0
vsize: 62396
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13733 0 0 0 86883 129 0 0 25 0 1 0 966187043 64163840 10646 4294967295 134512640 135730672 3221224592 3221223088 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15665 10646 301 301 0 15364 0
vsize: 62660
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13805 0 0 0 87883 129 0 0 25 0 1 0 966187043 64163840 10718 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15665 10718 301 301 0 15364 0
vsize: 62660
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13840 0 0 0 88882 130 0 0 25 0 1 0 966187043 64286720 10753 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15695 10753 301 301 0 15394 0
vsize: 62780
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13920 0 0 0 89881 131 0 0 25 0 1 0 966187043 64557056 10833 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15761 10833 301 301 0 15460 0
vsize: 63044
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13946 0 0 0 90881 132 0 0 25 0 1 0 966187043 64712704 10859 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15799 10859 301 301 0 15498 0
vsize: 63196
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13962 0 0 0 91881 132 0 0 25 0 1 0 966187043 64712704 10875 4294967295 134512640 135730672 3221224592 3221223232 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15799 10875 301 301 0 15498 0
vsize: 63196
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 13984 0 0 0 92880 133 0 0 25 0 1 0 966187043 64712704 10897 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15799 10897 301 301 0 15498 0
vsize: 63196
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14014 0 0 0 93881 133 0 0 25 0 1 0 966187043 64712704 10927 4294967295 134512640 135730672 3221224592 3221222912 134732642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15799 10927 301 301 0 15498 0
vsize: 63196
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14043 0 0 0 94880 133 0 0 25 0 1 0 966187043 64712704 10956 4294967295 134512640 135730672 3221224592 3221223088 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15799 10956 301 301 0 15498 0
vsize: 63196
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14103 0 0 0 95880 134 0 0 25 0 1 0 966187043 64970752 11016 4294967295 134512640 135730672 3221224592 3221223104 134746523 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15862 11016 301 301 0 15561 0
vsize: 63448
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14122 0 0 0 96879 135 0 0 25 0 1 0 966187043 64970752 11035 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15862 11035 301 301 0 15561 0
vsize: 63448
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14152 0 0 0 97878 136 0 0 25 0 1 0 966187043 65085440 11065 4294967295 134512640 135730672 3221224592 3221223104 134746481 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15890 11065 301 301 0 15589 0
vsize: 63560
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14177 0 0 0 98878 137 0 0 25 0 1 0 966187043 65085440 11090 4294967295 134512640 135730672 3221224592 3221223088 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15890 11090 301 301 0 15589 0
vsize: 63560
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14204 0 0 0 99878 137 0 0 25 0 1 0 966187043 65085440 11117 4294967295 134512640 135730672 3221224592 3221223088 134747536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15890 11117 301 301 0 15589 0
vsize: 63560
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14229 0 0 0 100877 138 0 0 25 0 1 0 966187043 65216512 11142 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15922 11142 301 301 0 15621 0
vsize: 63688
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14289 0 0 0 101876 139 0 0 25 0 1 0 966187043 65351680 11202 4294967295 134512640 135730672 3221224592 3221222696 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15955 11202 301 301 0 15654 0
vsize: 63820
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14318 0 0 0 102875 140 0 0 25 0 1 0 966187043 65351680 11231 4294967295 134512640 135730672 3221224592 3221222976 135109351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15955 11231 301 301 0 15654 0
vsize: 63820
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14342 0 0 0 103875 140 0 0 25 0 1 0 966187043 65470464 11255 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15984 11255 301 301 0 15683 0
vsize: 63936
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14389 0 0 0 104875 141 0 0 25 0 1 0 966187043 65642496 11302 4294967295 134512640 135730672 3221224592 3221223088 134747805 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16026 11302 301 301 0 15725 0
vsize: 64104
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14409 0 0 0 105875 141 0 0 25 0 1 0 966187043 65642496 11322 4294967295 134512640 135730672 3221224592 3221223072 134732604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16026 11322 301 301 0 15725 0
vsize: 64104
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14440 0 0 0 106874 142 0 0 25 0 1 0 966187043 65777664 11353 4294967295 134512640 135730672 3221224592 3221223216 134783060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16059 11353 301 301 0 15758 0
vsize: 64236
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14501 0 0 0 107873 143 0 0 25 0 1 0 966187043 65777664 11414 4294967295 134512640 135730672 3221224592 3221222832 134786481 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16059 11414 301 301 0 15758 0
vsize: 64236
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14614 0 0 0 108872 144 0 0 25 0 1 0 966187043 65941504 11527 4294967295 134512640 135730672 3221224592 3221223248 134748676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16099 11527 301 301 0 15798 0
vsize: 64396
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14766 0 0 0 109871 145 0 0 25 0 1 0 966187043 66076672 11679 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16132 11679 301 301 0 15831 0
vsize: 64528
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13579
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14810 0 0 0 110871 146 0 0 25 0 1 0 966187043 66076672 11723 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16132 11723 301 301 0 15831 0
vsize: 64528
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13581
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 14863 0 0 0 111870 146 0 0 25 0 1 0 966187043 66240512 11776 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16172 11776 301 301 0 15871 0
vsize: 64688
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13581
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 15015 0 0 0 112870 147 0 0 25 0 1 0 966187043 66240512 11928 4294967295 134512640 135730672 3221224592 3221223104 134746221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16172 11928 301 301 0 15871 0
vsize: 64688
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13581
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 15091 0 0 0 113869 148 0 0 25 0 1 0 966187043 66240512 12004 4294967295 134512640 135730672 3221224592 3221223104 134746237 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16172 12004 301 301 0 15871 0
vsize: 64688
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13581
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 15257 0 0 0 114868 149 0 0 25 0 1 0 966187043 66412544 12170 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16214 12170 301 301 0 15913 0
vsize: 64856
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13581
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 15318 0 0 0 115868 149 0 0 25 0 1 0 966187043 66527232 12231 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16242 12231 301 301 0 15941 0
vsize: 64968
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13581
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 15452 0 0 0 116867 150 0 0 25 0 1 0 966187043 66527232 12365 4294967295 134512640 135730672 3221224592 3221223104 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16242 12365 301 301 0 15941 0
vsize: 64968
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13581
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 15560 0 0 0 117867 151 0 0 25 0 1 0 966187043 66777088 12473 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16303 12473 301 301 0 16002 0
vsize: 65212
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13581
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 15641 0 0 0 118867 151 0 0 25 0 1 0 966187043 66777088 12554 4294967295 134512640 135730672 3221224592 3221223088 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16303 12554 301 301 0 16002 0
vsize: 65212
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 13581
Raw data (stat): 13524 (pb2sat-v2) R 13523 20224 20223 0 -1 0 15671 0 0 0 119867 152 0 0 25 0 1 0 966187043 66908160 12584 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16335 12584 301 301 0 16034 0
vsize: 65340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 13581
Raw data (stat): 13524 (pb2sat-v2) Z 13523 20224 20223 0 -1 12 15673 0 0 0 119882 154 0 0 25 0 1 0 966187043 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.23
CPU time (s): 1200.38
CPU user time (s): 1198.83
CPU system time (s): 1.54776
CPU usage (%): 100.012
Max. virtual memory (Kb): 65340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####