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-5-c.opb
MD5SUM	b2d6fc6e4e4b51f8b59d0f4ed12a9f74
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	2678
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	2678
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	2678
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	2678
Total number of constraints	6689
Number of constraints which are clauses	6689
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 42117

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 00:07:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25309 boxname=wulflinc3 idbench=211 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc3/normalized-par32-5-c.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-par32-5-c.opb
IDLAUNCH: 25309
/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:        844272 kB
Buffers:         33864 kB
Cached:         134908 kB
SwapCached:        820 kB
Active:          41592 kB
Inactive:       129388 kB
HighTotal:      131008 kB
HighFree:        17948 kB
LowTotal:       903652 kB
LowFree:        826324 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13828 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:27:20 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 25309 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 14/2690	Time: 1.12783/86400
c Decision: 14/2690	Time: 1.84072/86400
c Decision: 14/2690	Time: 2.75458/86400
c Decision: 14/2690	Time: 3.81242/86400
c Decision: 14/2690	Time: 4.75628/86400
c Decision: 14/2690	Time: 5.54516/86400
c Decision: 14/2690	Time: 6.63399/86400
c Decision: 14/2690	Time: 7.57185/86400
c Decision: 14/2690	Time: 8.5237/86400
c Decision: 14/2690	Time: 9.69653/86400
c Decision: 14/2690	Time: 10.7864/86400
c Decision: 14/2690	Time: 11.8832/86400
c Decision: 14/2690	Time: 12.7191/86400
c Decision: 14/2690	Time: 13.7669/86400
c Decision: 14/2690	Time: 14.7438/86400
c Decision: 14/2690	Time: 15.9686/86400
c Decision: 14/2690	Time: 16.9224/86400
c Decision: 14/2690	Time: 17.9563/86400
c Decision: 14/2690	Time: 19.0621/86400
c Decision: 14/2690	Time: 20.1109/86400
c Decision: 14/2690	Time: 21.2088/86400
c Decision: 14/2690	Time: 22.3676/86400
c Decision: 14/2690	Time: 23.5504/86400
c Decision: 14/2690	Time: 24.7372/86400
c Decision: 14/2690	Time: 26.039/86400
c Decision: 14/2690	Time: 27.0129/86400
c Decision: 14/2690	Time: 28.1517/86400
c Decision: 14/2690	Time: 29.2775/86400
c Decision: 14/2690	Time: 30.6023/86400
c Decision: 14/2690	Time: 31.8612/86400
c Decision: 14/2690	Time: 32.991/86400
c Decision: 14/2690	Time: 34.0088/86400
c Decision: 14/2690	Time: 35.2426/86400
c Decision: 14/2690	Time: 36.2125/86400
c Decision: 14/2690	Time: 37.5353/86400
c Decision: 14/2690	Time: 38.5791/86400
c Decision: 14/2690	Time: 39.509/86400
c Decision: 14/2690	Time: 40.6728/86400
c Decision: 14/2690	Time: 41.7637/86400
c Decision: 14/2690	Time: 43.0215/86400
c Decision: 14/2690	Time: 44.3013/86400
c Decision: 14/2690	Time: 45.4501/86400
c Decision: 14/2690	Time: 46.7119/86400
c Decision: 14/2690	Time: 47.9227/86400
c Decision: 14/2690	Time: 48.9196/86400
c Decision: 14/2690	Time: 50.3473/86400
c Decision: 14/2690	Time: 51.9621/86400
c Decision: 14/2690	Time: 53.1219/86400
c Decision: 14/2690	Time: 54.6277/86400
c Decision: 14/2690	Time: 55.9475/86400
c Decision: 14/2690	Time: 57.0503/86400
c Decision: 14/2690	Time: 58.4541/86400
c Decision: 14/2690	Time: 59.9559/86400
c Decision: 14/2690	Time: 61.1857/86400
c Decision: 14/2690	Time: 62.7655/86400
c Decision: 14/2690	Time: 64.1203/86400
c Decision: 14/2690	Time: 65.3931/86400
c Decision: 14/2690	Time: 66.6029/86400
c Decision: 14/2690	Time: 67.7087/86400
c Decision: 14/2690	Time: 69.0275/86400
c Decision: 14/2690	Time: 70.5453/86400
c Decision: 14/2690	Time: 71.7291/86400
c Decision: 14/2690	Time: 73.1739/86400
c Decision: 14/2690	Time: 74.6637/86400
c Decision: 14/2690	Time: 76.1024/86400
c Decision: 14/2690	Time: 77.6952/86400
c Decision: 14/2690	Time: 79.3269/86400
c Decision: 14/2690	Time: 80.5178/86400
c Decision: 14/2690	Time: 81.8136/86400
c Decision: 14/2690	Time: 83.1424/86400
c Decision: 14/2690	Time: 84.4602/86400
c Decision: 14/2690	Time: 85.9219/86400
c Decision: 14/2690	Time: 87.3777/86400
c Decision: 14/2690	Time: 88.8165/86400
c Decision: 14/2690	Time: 90.4692/86400
c Decision: 14/2690	Time: 92.203/86400
c Decision: 14/2690	Time: 93.7447/86400
c Decision: 14/2690	Time: 95.1705/86400
c Decision: 14/2690	Time: 96.7113/86400
c Decision: 14/2690	Time: 98.1801/86400
c Decision: 14/2690	Time: 100.009/86400
c Decision: 14/2690	Time: 101.155/86400
c Decision: 14/2690	Time: 102.69/86400
c Decision: 14/2690	Time: 104.327/86400
c Decision: 14/2690	Time: 105.808/86400
c Decision: 14/2690	Time: 107.47/86400
c Decision: 14/2690	Time: 109.22/86400
c Decision: 14/2690	Time: 110.593/86400
c Decision: 14/2690	Time: 112.04/86400
c Decision: 14/2690	Time: 113.628/86400
c Decision: 14/2690	Time: 115.24/86400
c Decision: 14/2690	Time: 116.806/86400
c Decision: 14/2690	Time: 118.555/86400
c Decision: 14/2690	Time: 120.222/86400
c Decision: 14/2690	Time: 121.692/86400
c Decision: 14/2690	Time: 123.498/86400
c Decision: 14/2690	Time: 124.871/86400
c Decision: 14/2690	Time: 126.402/86400
c Decision: 14/2690	Time: 128.047/86400
c Decision: 14/2690	Time: 129.575/86400
c Decision: 14/2690	Time: 131.36/86400
c Decision: 14/2690	Time: 132.988/86400
c Decision: 14/2690	Time: 134.504/86400
c Decision: 14/2690	Time: 135.815/86400
c Decision: 14/2690	Time: 137.729/86400
c Decision: 14/2690	Time: 139.346/86400
c Decision: 14/2690	Time: 141.103/86400
c Decision: 14/2690	Time: 142.599/86400
c Decision: 14/2690	Time: 144.219/86400
c Decision: 14/2690	Time: 145.759/86400
c Decision: 14/2690	Time: 147.465/86400
c Decision: 14/2690	Time: 149.296/86400
c Decision: 14/2690	Time: 151.055/86400
c Decision: 14/2690	Time: 152.848/86400
c Decision: 14/2690	Time: 154.522/86400
c Decision: 14/2690	Time: 156.365/86400
c Decision: 14/2690	Time: 158.21/86400
c Decision: 14/2690	Time: 160.105/86400
c Decision: 14/2690	Time: 162.008/86400
c Decision: 14/2690	Time: 163.574/86400
c Decision: 14/2690	Time: 165.553/86400
c Decision: 14/2690	Time: 167.383/86400
c Decision: 14/2690	Time: 169.33/86400
c Decision: 14/2690	Time: 171.114/86400
c Decision: 14/2690	Time: 173.043/86400
c Decision: 14/2690	Time: 175.122/86400
c Decision: 14/2690	Time: 176.844/86400
c Decision: 14/2690	Time: 178.301/86400
c Decision: 14/2690	Time: 180.109/86400
c Decision: 14/2690	Time: 181.961/86400
c Decision: 14/2690	Time: 183.858/86400
c Decision: 14/2690	Time: 185.61/86400
c Decision: 14/2690	Time: 187.486/86400
c Decision: 14/2690	Time: 189.352/86400
c Decision: 14/2690	Time: 191.227/86400
c Decision: 14/2690	Time: 193.386/86400
c Decision: 14/2690	Time: 195.023/86400
c Decision: 14/2690	Time: 196.955/86400
c Decision: 14/2690	Time: 198.686/86400
c Decision: 14/2690	Time: 200.643/86400
c Decision: 14/2690	Time: 202.572/86400
c Decision: 14/2690	Time: 204.453/86400
c Decision: 14/2690	Time: 206.388/86400
c Decision: 14/2690	Time: 208.211/86400
c Decision: 14/2690	Time: 209.935/86400
c Decision: 14/2690	Time: 212.215/86400
c Decision: 14/2690	Time: 214.173/86400
c Decision: 14/2690	Time: 215.764/86400
c Decision: 14/2690	Time: 217.688/86400
c Decision: 14/2690	Time: 219.058/86400
c Decision: 14/2690	Time: 221.32/86400
c Decision: 14/2690	Time: 223.31/86400
c Decision: 14/2690	Time: 225.297/86400
c Decision: 14/2690	Time: 227.235/86400
c Decision: 14/2690	Time: 229.264/86400
c Decision: 14/2690	Time: 231.408/86400
c Decision: 14/2690	Time: 233.292/86400
c Decision: 14/2690	Time: 235.29/86400
c Decision: 14/2690	Time: 237.438/86400
c Decision: 14/2690	Time: 239.675/86400
c Decision: 14/2690	Time: 242.17/86400
c Decision: 14/2690	Time: 244.417/86400
c Decision: 14/2690	Time: 246.385/86400
c Decision: 14/2690	Time: 248.466/86400
c Decision: 14/2690	Time: 250.506/86400
c Decision: 14/2690	Time: 252.916/86400
c Decision: 14/2690	Time: 254.479/86400
c Decision: 14/2690	Time: 256.785/86400
c Decision: 14/2690	Time: 258.692/86400
c Decision: 14/2690	Time: 260.859/86400
c Decision: 14/2690	Time: 263.411/86400
c Decision: 14/2690	Time: 265.471/86400
c Decision: 14/2690	Time: 267.747/86400
c Decision: 14/2690	Time: 269.634/86400
c Decision: 14/2690	Time: 271.438/86400
c Decision: 14/2690	Time: 273.762/86400
c Decision: 14/2690	Time: 275.662/86400
c Decision: 14/2690	Time: 277.734/86400
c Decision: 14/2690	Time: 279.894/86400
c Decision: 14/2690	Time: 281.702/86400
c Decision: 14/2690	Time: 283.796/86400
c Decision: 14/2690	Time: 286.01/86400
c Decision: 14/2690	Time: 288.138/86400
c Decision: 14/2690	Time: 290.156/86400
c Decision: 14/2690	Time: 292.083/86400
c Decision: 14/2690	Time: 294.617/86400
c Decision: 14/2690	Time: 296.4/86400
c Decision: 14/2690	Time: 298.609/86400
c Decision: 14/2690	Time: 300.75/86400
c Decision: 14/2690	Time: 302.748/86400
c Decision: 14/2690	Time: 305.054/86400
c Decision: 14/2690	Time: 307.382/86400
c Decision: 14/2690	Time: 309.613/86400
c Decision: 14/2690	Time: 311.912/86400
c Decision: 14/2690	Time: 314.04/86400
c Decision: 14/2690	Time: 316.655/86400
c Decision: 14/2690	Time: 318.681/86400
c Decision: 14/2690	Time: 321.07/86400
c Decision: 14/2690	Time: 323.354/86400
c Decision: 14/2690	Time: 325.343/86400
c Decision: 14/2690	Time: 327.545/86400
c Decision: 14/2690	Time: 330.001/86400
c Decision: 14/2690	Time: 332.097/86400
c Decision: 14/2690	Time: 334.418/86400
c Decision: 14/2690	Time: 336.975/86400
c Decision: 14/2690	Time: 339.582/86400
c Decision: 14/2690	Time: 341.799/86400
c Decision: 14/2690	Time: 343.965/86400
c Decision: 14/2690	Time: 346.164/86400
c Decision: 14/2690	Time: 348.363/86400
c Decision: 14/2690	Time: 351.064/86400
c Decision: 14/2690	Time: 353.463/86400
c Decision: 14/2690	Time: 356.079/86400
c Decision: 14/2690	Time: 358.396/86400
c Decision: 14/2690	Time: 360.631/86400
c Decision: 14/2690	Time: 363.274/86400
c Decision: 14/2690	Time: 365.685/86400
c Decision: 14/2690	Time: 368.12/86400
c Decision: 14/2690	Time: 370.232/86400
c Decision: 14/2690	Time: 372.462/86400
c Decision: 14/2690	Time: 374.958/86400
c Decision: 14/2690	Time: 377.119/86400
c Decision: 14/2690	Time: 379.297/86400
c Decision: 14/2690	Time: 381.329/86400
c Decision: 14/2690	Time: 383.864/86400
c Decision: 14/2690	Time: 386.439/86400
c Decision: 14/2690	Time: 388.763/86400
c Decision: 14/2690	Time: 391.181/86400
c Decision: 14/2690	Time: 393.765/86400
c Decision: 14/2690	Time: 396.048/86400
c Decision: 14/2690	Time: 398.998/86400
c Decision: 14/2690	Time: 401.461/86400
c Decision: 14/2690	Time: 403.943/86400
c Decision: 14/2690	Time: 406.542/86400
c Decision: 14/2690	Time: 409.105/86400
c Decision: 14/2690	Time: 411.966/86400
c Decision: 14/2690	Time: 413.971/86400
c Decision: 14/2690	Time: 416.21/86400
c Decision: 14/2690	Time: 418.304/86400
c Decision: 14/2690	Time: 420.457/86400
c Decision: 14/2690	Time: 423.168/86400
c Decision: 14/2690	Time: 425.305/86400
c Decision: 14/2690	Time: 427.583/86400
c Decision: 14/2690	Time: 430.418/86400
c Decision: 14/2690	Time: 432.747/86400
c Decision: 14/2690	Time: 435.533/86400
c Decision: 14/2690	Time: 437.809/86400
c Decision: 14/2690	Time: 440.112/86400
c Decision: 14/2690	Time: 442.439/86400
c Decision: 14/2690	Time: 444.903/86400
c Decision: 14/2690	Time: 447.708/86400
c Decision: 14/2690	Time: 450.022/86400
c Decision: 14/2690	Time: 452.45/86400
c Decision: 14/2690	Time: 454.957/86400
c Decision: 14/2690	Time: 457.229/86400
c Decision: 14/2690	Time: 460.187/86400
c Decision: 14/2690	Time: 462.474/86400
c Decision: 14/2690	Time: 465.079/86400
c Decision: 14/2690	Time: 468.001/86400
c Decision: 14/2690	Time: 470.729/86400
c Decision: 14/2690	Time: 473.489/86400
c Decision: 14/2690	Time: 476.136/86400
c Decision: 14/2690	Time: 478.67/86400
c Decision: 14/2690	Time: 481.181/86400
c Decision: 14/2690	Time: 483.927/86400
c Decision: 14/2690	Time: 486.604/86400
c Decision: 14/2690	Time: 489.064/86400
c Decision: 14/2690	Time: 491.429/86400
c Decision: 14/2690	Time: 493.887/86400
c Decision: 14/2690	Time: 496.374/86400
c Decision: 14/2690	Time: 499.098/86400
c Decision: 14/2690	Time: 501.731/86400
c Decision: 14/2690	Time: 504.126/86400
c Decision: 14/2690	Time: 506.682/86400
c Decision: 14/2690	Time: 509.114/86400
c Decision: 14/2690	Time: 512.146/86400
c Decision: 14/2690	Time: 514.704/86400
c Decision: 14/2690	Time: 517.312/86400
c Decision: 14/2690	Time: 519.783/86400
c Decision: 14/2690	Time: 522.408/86400
c Decision: 14/2690	Time: 525.775/86400
c Decision: 14/2690	Time: 528.178/86400
c Decision: 14/2690	Time: 530.445/86400
c Decision: 14/2690	Time: 533.077/86400
c Decision: 14/2690	Time: 535.167/86400
c Decision: 14/2690	Time: 537.819/86400
c Decision: 14/2690	Time: 540.532/86400
c Decision: 14/2690	Time: 543.026/86400
c Decision: 14/2690	Time: 545.213/86400
c Decision: 14/2690	Time: 547.625/86400
c Decision: 14/2690	Time: 550.872/86400
c Decision: 14/2690	Time: 553.221/86400
c Decision: 14/2690	Time: 555.641/86400
c Decision: 14/2690	Time: 557.731/86400
c Decision: 14/2690	Time: 560.007/86400
c Decision: 14/2690	Time: 562.926/86400
c Decision: 14/2690	Time: 565.472/86400
c Decision: 14/2690	Time: 567.737/86400
c Decision: 14/2690	Time: 570.03/86400
c Decision: 14/2690	Time: 572.332/86400
c Decision: 14/2690	Time: 575.228/86400
c Decision: 14/2690	Time: 577.466/86400
c Decision: 14/2690	Time: 579.885/86400
c Decision: 14/2690	Time: 582.689/86400
c Decision: 14/2690	Time: 585.044/86400
c Decision: 14/2690	Time: 587.66/86400
c Decision: 14/2690	Time: 590.38/86400
c Decision: 14/2690	Time: 592.759/86400
c Decision: 14/2690	Time: 595.061/86400
c Decision: 14/2690	Time: 597.481/86400
c Decision: 14/2690	Time: 600.286/86400
c Decision: 14/2690	Time: 602.634/86400
c Decision: 14/2690	Time: 605.143/86400
c Decision: 14/2690	Time: 607.503/86400
c Decision: 14/2690	Time: 609.851/86400
c Decision: 14/2690	Time: 612.708/86400
c Decision: 14/2690	Time: 615.318/86400
c Decision: 14/2690	Time: 617.739/86400
c Decision: 14/2690	Time: 620.487/86400
c Decision: 14/2690	Time: 622.889/86400
c Decision: 14/2690	Time: 625.922/86400
c Decision: 14/2690	Time: 628.486/86400
c Decision: 14/2690	Time: 630.952/86400
c Decision: 14/2690	Time: 633.748/86400
c Decision: 14/2690	Time: 636.456/86400
c Decision: 14/2690	Time: 639.54/86400
c Decision: 14/2690	Time: 642.277/86400
c Decision: 14/2690	Time: 644.93/86400
c Decision: 14/2690	Time: 647.774/86400
c Decision: 14/2690	Time: 650.759/86400
c Decision: 14/2690	Time: 653.701/86400
c Decision: 14/2690	Time: 656.377/86400
c Decision: 14/2690	Time: 659.071/86400
c Decision: 14/2690	Time: 661.429/86400
c Decision: 14/2690	Time: 663.609/86400
c Decision: 14/2690	Time: 666.254/86400
c Decision: 14/2690	Time: 668.851/86400
c Decision: 14/2690	Time: 671.521/86400
c Decision: 14/2690	Time: 673.917/86400
c Decision: 14/2690	Time: 676.69/86400
c Decision: 14/2690	Time: 679.848/86400
c Decision: 14/2690	Time: 682.433/86400
c Decision: 14/2690	Time: 685.062/86400
c Decision: 14/2690	Time: 687.64/86400
c Decision: 14/2690	Time: 690.455/86400
c Decision: 14/2690	Time: 693.606/86400
c Decision: 14/2690	Time: 695.986/86400
c Decision: 14/2690	Time: 698.689/86400
c Decision: 14/2690	Time: 701.197/86400
c Decision: 14/2690	Time: 703.946/86400
c Decision: 14/2690	Time: 706.642/86400
c Decision: 14/2690	Time: 708.772/86400
c Decision: 14/2690	Time: 710.997/86400
c Decision: 14/2690	Time: 713.356/86400
c Decision: 14/2690	Time: 715.622/86400
c Decision: 14/2690	Time: 718.454/86400
c Decision: 14/2690	Time: 720.53/86400
c Decision: 14/2690	Time: 723.073/86400
c Decision: 14/2690	Time: 725.371/86400
c Decision: 14/2690	Time: 727.799/86400
c Decision: 14/2690	Time: 730.06/86400
c Decision: 14/2690	Time: 732.495/86400
c Decision: 14/2690	Time: 734.982/86400
c Decision: 14/2690	Time: 737.2/86400
c Decision: 14/2690	Time: 739.627/86400
c Decision: 14/2690	Time: 742.336/86400
c Decision: 14/2690	Time: 744.784/86400
c Decision: 14/2690	Time: 747.323/86400
c Decision: 14/2690	Time: 749.644/86400
c Decision: 14/2690	Time: 752.068/86400
c Decision: 14/2690	Time: 754.825/86400
c Decision: 14/2690	Time: 757.117/86400
c Decision: 14/2690	Time: 759.664/86400
c Decision: 14/2690	Time: 762.276/86400
c Decision: 14/2690	Time: 764.884/86400
c Decision: 14/2690	Time: 767.476/86400
c Decision: 14/2690	Time: 769.852/86400
c Decision: 14/2690	Time: 772.136/86400
c Decision: 14/2690	Time: 774.584/86400
c Decision: 14/2690	Time: 777.315/86400
c Decision: 14/2690	Time: 780.055/86400
c Decision: 14/2690	Time: 782.471/86400
c Decision: 14/2690	Time: 784.91/86400
c Decision: 14/2690	Time: 787.369/86400
c Decision: 14/2690	Time: 789.411/86400
c Decision: 14/2690	Time: 792.019/86400
c Decision: 14/2690	Time: 794.549/86400
c Decision: 14/2690	Time: 797.069/86400
c Decision: 14/2690	Time: 799.5/86400
c Decision: 14/2690	Time: 801.792/86400
c Decision: 14/2690	Time: 804.318/86400
c Decision: 14/2690	Time: 806.861/86400
c Decision: 14/2690	Time: 809.324/86400
c Decision: 14/2690	Time: 811.933/86400
c Decision: 14/2690	Time: 814.442/86400
c Decision: 14/2690	Time: 817.18/86400
c Decision: 14/2690	Time: 819.507/86400
c Decision: 14/2690	Time: 821.933/86400
c Decision: 14/2690	Time: 824.486/86400
c Decision: 14/2690	Time: 826.853/86400
c Decision: 14/2690	Time: 829.605/86400
c Decision: 14/2690	Time: 831.901/86400
c Decision: 14/2690	Time: 834.617/86400
c Decision: 14/2690	Time: 836.949/86400
c Decision: 14/2690	Time: 839.672/86400
c Decision: 14/2690	Time: 842.457/86400
c Decision: 14/2690	Time: 845.069/86400
c Decision: 14/2690	Time: 847.573/86400
c Decision: 14/2690	Time: 849.835/86400
c Decision: 14/2690	Time: 852.309/86400
c Decision: 14/2690	Time: 855.25/86400
c Decision: 14/2690	Time: 857.802/86400
c Decision: 14/2690	Time: 860.63/86400
c Decision: 14/2690	Time: 863.214/86400
c Decision: 14/2690	Time: 865.887/86400
c Decision: 14/2690	Time: 869.029/86400
c Decision: 14/2690	Time: 871.489/86400
c Decision: 14/2690	Time: 873.954/86400
c Decision: 14/2690	Time: 876.531/86400
c Decision: 14/2690	Time: 879.26/86400
c Decision: 14/2690	Time: 882.318/86400
c Decision: 14/2690	Time: 885.258/86400
c Decision: 14/2690	Time: 888.187/86400
c Decision: 14/2690	Time: 891.073/86400
c Decision: 14/2690	Time: 893.809/86400
c Decision: 14/2690	Time: 897.029/86400
c Decision: 14/2690	Time: 900/86400
c Decision: 14/2690	Time: 902.821/86400
c Decision: 14/2690	Time: 905.47/86400
c Decision: 14/2690	Time: 907.963/86400
c Decision: 14/2690	Time: 911.134/86400
c Decision: 14/2690	Time: 913.663/86400
c Decision: 14/2690	Time: 916.594/86400
c Decision: 14/2690	Time: 919.273/86400
c Decision: 14/2690	Time: 921.486/86400
c Decision: 14/2690	Time: 924.382/86400
c Decision: 14/2690	Time: 926.762/86400
c Decision: 14/2690	Time: 929.244/86400
c Decision: 14/2690	Time: 931.715/86400
c Decision: 14/2690	Time: 934.4/86400
c Decision: 14/2690	Time: 937.387/86400
c Decision: 14/2690	Time: 939.83/86400
c Decision: 14/2690	Time: 942.51/86400
c Decision: 14/2690	Time: 944.704/86400
c Decision: 14/2690	Time: 947.037/86400
c Decision: 14/2690	Time: 950.16/86400
c Decision: 14/2690	Time: 952.657/86400
c Decision: 14/2690	Time: 955.048/86400
c Decision: 14/2690	Time: 957.42/86400
c Decision: 14/2690	Time: 959.783/86400
c Decision: 14/2690	Time: 962.868/86400
c Decision: 14/2690	Time: 965.208/86400
c Decision: 14/2690	Time: 967.989/86400
c Decision: 14/2690	Time: 970.612/86400
c Decision: 14/2690	Time: 973.065/86400
c Decision: 14/2690	Time: 976.2/86400
c Decision: 14/2690	Time: 978.922/86400
c Decision: 14/2690	Time: 981.439/86400
c Decision: 14/2690	Time: 984.295/86400
c Decision: 14/2690	Time: 986.757/86400
c Decision: 14/2690	Time: 989.88/86400
c Decision: 14/2690	Time: 992.629/86400
c Decision: 14/2690	Time: 995.388/86400
c Decision: 14/2690	Time: 998.166/86400
c Decision: 14/2690	Time: 1000.47/86400
c Decision: 14/2690	Time: 1003.75/86400
c Decision: 14/2690	Time: 1006.44/86400
c Decision: 14/2690	Time: 1009.17/86400
c Decision: 14/2690	Time: 1011.71/86400
c Decision: 14/2690	Time: 1014.58/86400
c Decision: 14/2690	Time: 1018.19/86400
c Decision: 14/2690	Time: 1020.99/86400
c Decision: 14/2690	Time: 1023.63/86400
c Decision: 14/2690	Time: 1026.58/86400
c Decision: 14/2690	Time: 1030.02/86400
c Decision: 14/2690	Time: 1033.22/86400
c Decision: 14/2690	Time: 1035.94/86400
c Decision: 14/2690	Time: 1038.85/86400
c Decision: 14/2690	Time: 1041.75/86400
c Decision: 14/2690	Time: 1044.71/86400
c Decision: 14/2690	Time: 1048.24/86400
c Decision: 14/2690	Time: 1051.33/86400
c Decision: 14/2690	Time: 1054.05/86400
c Decision: 14/2690	Time: 1056.95/86400
c Decision: 14/2690	Time: 1059.71/86400
c Decision: 14/2690	Time: 1062.97/86400
c Decision: 14/2690	Time: 1065.44/86400
c Decision: 14/2690	Time: 1068.24/86400
c Decision: 14/2690	Time: 1070.95/86400
c Decision: 14/2690	Time: 1074.02/86400
c Decision: 14/2690	Time: 1077.13/86400
c Decision: 14/2690	Time: 1079.94/86400
c Decision: 14/2690	Time: 1082.83/86400
c Decision: 14/2690	Time: 1085.79/86400
c Decision: 14/2690	Time: 1088.7/86400
c Decision: 14/2690	Time: 1092.43/86400
c Decision: 14/2690	Time: 1095.45/86400
c Decision: 14/2690	Time: 1098.6/86400
c Decision: 14/2690	Time: 1101.67/86400
c Decision: 14/2690	Time: 1104.85/86400
c Decision: 14/2690	Time: 1107.92/86400
c Decision: 14/2690	Time: 1111.11/86400
c Decision: 14/2690	Time: 1113.56/86400
c Decision: 14/2690	Time: 1116.04/86400
c Decision: 14/2690	Time: 1118.99/86400
c Decision: 14/2690	Time: 1122.54/86400
c Decision: 14/2690	Time: 1125.41/86400
c Decision: 14/2690	Time: 1128.32/86400
c Decision: 14/2690	Time: 1131/86400
c Decision: 14/2690	Time: 1134.09/86400
c Decision: 14/2690	Time: 1137.38/86400
c Decision: 14/2690	Time: 1140.03/86400
c Decision: 14/2690	Time: 1143.09/86400
c Decision: 14/2690	Time: 1145.98/86400
c Decision: 14/2690	Time: 1148.89/86400
c Decision: 14/2690	Time: 1152.26/86400
c Decision: 14/2690	Time: 1155.29/86400
c Decision: 14/2690	Time: 1158.29/86400
c Decision: 14/2690	Time: 1160.7/86400
c Decision: 14/2690	Time: 1163.7/86400
c Decision: 14/2690	Time: 1166.92/86400
c Decision: 14/2690	Time: 1169.83/86400
c Decision: 14/2690	Time: 1172.64/86400
c Decision: 14/2690	Time: 1175.46/86400
c Decision: 14/2690	Time: 1178.34/86400
c Decision: 14/2690	Time: 1181.73/86400
c Decision: 14/2690	Time: 1184.66/86400
c Decision: 14/2690	Time: 1187.85/86400
c Decision: 14/2690	Time: 1190.82/86400
c Decision: 14/2690	Time: 1193.93/86400
c Decision: 14/2690	Time: 1197/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.91 1/54 13673
Raw data (stat): 13673 (runsolver) R 13672 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966308061 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.0001 s]
Raw data (loadavg): 0.87 0.94 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 928 0 0 0 995 3 0 0 25 0 1 0 966308061 4333568 822 4294967295 134512640 135730672 3221224592 3221223120 134740359 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1058 822 301 301 0 757 0
vsize: 4232
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 1372 0 0 0 1992 6 0 0 25 0 1 0 966308061 6307840 1169 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1540 1169 301 301 0 1239 0
vsize: 6160
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 1718 0 0 0 2989 9 0 0 25 0 1 0 966308061 8945664 1515 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2184 1515 301 301 0 1883 0
vsize: 8736
[startup+40.0006 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 1972 0 0 0 3986 12 0 0 25 0 1 0 966308061 9494528 1769 4294967295 134512640 135730672 3221224592 3221223216 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2318 1769 301 301 0 2017 0
vsize: 9272
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 2376 0 0 0 4985 14 0 0 25 0 1 0 966308061 10657792 1980 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2602 1980 301 301 0 2301 0
vsize: 10408
[startup+60.0015 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 2640 0 0 0 5982 16 0 0 25 0 1 0 966308061 10944512 2244 4294967295 134512640 135730672 3221224592 3221223164 134740156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2672 2244 301 301 0 2371 0
vsize: 10688
[startup+70.0012 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 2898 0 0 0 6979 19 0 0 25 0 1 0 966308061 15523840 2502 4294967295 134512640 135730672 3221224592 3221223088 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3790 2502 301 301 0 3489 0
vsize: 15160
[startup+80.0023 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 3020 0 0 0 7977 21 0 0 25 0 1 0 966308061 15777792 2624 4294967295 134512640 135730672 3221224592 3221223236 134748064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3852 2624 301 301 0 3551 0
vsize: 15408
[startup+90.0022 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 3121 0 0 0 8977 22 0 0 25 0 1 0 966308061 16003072 2725 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3907 2725 301 301 0 3606 0
vsize: 15628
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 3328 0 0 0 9976 23 0 0 25 0 1 0 966308061 16150528 2932 4294967295 134512640 135730672 3221224592 3221223184 134763611 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3943 2932 301 301 0 3642 0
vsize: 15772
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 3802 0 0 0 10974 25 0 0 25 0 1 0 966308061 18006016 3021 4294967295 134512640 135730672 3221224592 3221223104 134746190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4396 3021 301 301 0 4095 0
vsize: 17584
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 3979 0 0 0 11972 27 0 0 25 0 1 0 966308061 18132992 3198 4294967295 134512640 135730672 3221224592 3221223088 134747662 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4427 3198 301 301 0 4126 0
vsize: 17708
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 4197 0 0 0 12970 29 0 0 25 0 1 0 966308061 18280448 3416 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4463 3416 301 301 0 4162 0
vsize: 17852
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 4397 0 0 0 13969 31 0 0 25 0 1 0 966308061 18407424 3616 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4494 3616 301 301 0 4193 0
vsize: 17976
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 4522 0 0 0 14967 32 0 0 25 0 1 0 966308061 18636800 3741 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4550 3741 301 301 0 4249 0
vsize: 18200
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 4645 0 0 0 15966 34 0 0 25 0 1 0 966308061 18927616 3864 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4621 3864 301 301 0 4320 0
vsize: 18484
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 4805 0 0 0 16964 35 0 0 25 0 1 0 966308061 19091456 4024 4294967295 134512640 135730672 3221224592 3221223104 134746175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4661 4024 301 301 0 4360 0
vsize: 18644
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 4999 0 0 0 17963 37 0 0 25 0 1 0 966308061 19271680 4218 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4705 4218 301 301 0 4404 0
vsize: 18820
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 5206 0 0 0 18962 38 0 0 25 0 1 0 966308061 28037120 4425 4294967295 134512640 135730672 3221224592 3221223104 134746231 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6845 4425 301 301 0 6544 0
vsize: 27380
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 5440 0 0 0 19960 40 0 0 25 0 1 0 966308061 28221440 4659 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6890 4659 301 301 0 6589 0
vsize: 27560
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 5693 0 0 0 20959 42 0 0 25 0 1 0 966308061 28368896 4912 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6926 4912 301 301 0 6625 0
vsize: 27704
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 5813 0 0 0 21958 43 0 0 25 0 1 0 966308061 28491776 5032 4294967295 134512640 135730672 3221224592 3221223184 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6956 5032 301 301 0 6655 0
vsize: 27824
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 5890 0 0 0 22957 44 0 0 25 0 1 0 966308061 28786688 5109 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7028 5109 301 301 0 6727 0
vsize: 28112
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 6122 0 0 0 23956 45 0 0 25 0 1 0 966308061 29155328 5341 4294967295 134512640 135730672 3221224592 3221223088 134747768 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7118 5341 301 301 0 6817 0
vsize: 28472
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 6296 0 0 0 24955 47 0 0 25 0 1 0 966308061 29319168 5515 4294967295 134512640 135730672 3221224592 3221223088 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7158 5515 301 301 0 6857 0
vsize: 28632
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 6470 0 0 0 25953 48 0 0 25 0 1 0 966308061 29319168 5689 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7158 5689 301 301 0 6857 0
vsize: 28632
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 6654 0 0 0 26952 50 0 0 25 0 1 0 966308061 29515776 5873 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7206 5873 301 301 0 6905 0
vsize: 28824
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 7642 0 0 0 27949 52 0 0 25 0 1 0 966308061 32964608 6092 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8048 6092 301 301 0 7747 0
vsize: 32192
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 7796 0 0 0 28948 53 0 0 25 0 1 0 966308061 33112064 6246 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8084 6246 301 301 0 7783 0
vsize: 32336
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 7969 0 0 0 29948 54 0 0 25 0 1 0 966308061 33259520 6419 4294967295 134512640 135730672 3221224592 3221223184 134763803 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8120 6419 301 301 0 7819 0
vsize: 32480
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 8145 0 0 0 30947 55 0 0 25 0 1 0 966308061 33398784 6595 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8154 6595 301 301 0 7853 0
vsize: 32616
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 8331 0 0 0 31945 57 0 0 25 0 1 0 966308061 33562624 6781 4294967295 134512640 135730672 3221224592 3221223088 134747777 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8194 6781 301 301 0 7893 0
vsize: 32776
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 8382 0 0 0 32944 58 0 0 25 0 1 0 966308061 33693696 6832 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8226 6832 301 301 0 7925 0
vsize: 32904
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 8604 0 0 0 33943 59 0 0 25 0 1 0 966308061 33841152 7054 4294967295 134512640 135730672 3221224592 3221223104 134746474 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8262 7054 301 301 0 7961 0
vsize: 33048
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 8813 0 0 0 34943 60 0 0 25 0 1 0 966308061 33988608 7263 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8298 7263 301 301 0 7997 0
vsize: 33192
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 8961 0 0 0 35942 61 0 0 25 0 1 0 966308061 51027968 7411 4294967295 134512640 135730672 3221224592 3221223184 134763803 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12458 7411 301 301 0 12157 0
vsize: 49832
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 9158 0 0 0 36941 62 0 0 25 0 1 0 966308061 51167232 7608 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12492 7608 301 301 0 12191 0
vsize: 49968
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 9329 0 0 0 37940 63 0 0 25 0 1 0 966308061 51363840 7779 4294967295 134512640 135730672 3221224592 3221223104 134746539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12540 7779 301 301 0 12239 0
vsize: 50160
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 9478 0 0 0 38939 65 0 0 25 0 1 0 966308061 51499008 7928 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12573 7928 301 301 0 12272 0
vsize: 50292
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 9533 0 0 0 39938 66 0 0 25 0 1 0 966308061 51499008 7983 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12573 7983 301 301 0 12272 0
vsize: 50292
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 9694 0 0 0 40937 67 0 0 25 0 1 0 966308061 51646464 8144 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12609 8144 301 301 0 12308 0
vsize: 50436
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 9897 0 0 0 41936 68 0 0 25 0 1 0 966308061 51810304 8347 4294967295 134512640 135730672 3221224592 3221223088 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12649 8347 301 301 0 12348 0
vsize: 50596
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 10049 0 0 0 42935 69 0 0 25 0 1 0 966308061 52256768 8499 4294967295 134512640 135730672 3221224592 3221223088 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12758 8499 301 301 0 12457 0
vsize: 51032
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 10176 0 0 0 43934 70 0 0 25 0 1 0 966308061 52391936 8626 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12791 8626 301 301 0 12490 0
vsize: 51164
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 10318 0 0 0 44934 71 0 0 25 0 1 0 966308061 52555776 8768 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12831 8768 301 301 0 12530 0
vsize: 51324
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 10446 0 0 0 45933 72 0 0 25 0 1 0 966308061 52690944 8896 4294967295 134512640 135730672 3221224592 3221223104 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12864 8896 301 301 0 12563 0
vsize: 51456
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 10552 0 0 0 46931 73 0 0 25 0 1 0 966308061 52826112 9002 4294967295 134512640 135730672 3221224592 3221223088 134747834 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12897 9002 301 301 0 12596 0
vsize: 51588
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 10672 0 0 0 47931 75 0 0 25 0 1 0 966308061 52973568 9122 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12933 9122 301 301 0 12632 0
vsize: 51732
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 10870 0 0 0 48929 76 0 0 25 0 1 0 966308061 53301248 9320 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13013 9320 301 301 0 12712 0
vsize: 52052
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11005 0 0 0 49929 77 0 0 25 0 1 0 966308061 53465088 9455 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13053 9455 301 301 0 12752 0
vsize: 52212
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11147 0 0 0 50927 78 0 0 25 0 1 0 966308061 53661696 9597 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13101 9597 301 301 0 12800 0
vsize: 52404
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11250 0 0 0 51927 79 0 0 25 0 1 0 966308061 53858304 9700 4294967295 134512640 135730672 3221224592 3221223104 134746237 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13149 9700 301 301 0 12848 0
vsize: 52596
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11410 0 0 0 52926 80 0 0 25 0 1 0 966308061 54157312 9860 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13222 9860 301 301 0 12921 0
vsize: 52888
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11491 0 0 0 53926 80 0 0 25 0 1 0 966308061 54693888 9941 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13353 9941 301 301 0 13052 0
vsize: 53412
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11526 0 0 0 54925 81 0 0 25 0 1 0 966308061 54693888 9976 4294967295 134512640 135730672 3221224592 3221223088 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13353 9976 301 301 0 13052 0
vsize: 53412
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11574 0 0 0 55924 82 0 0 25 0 1 0 966308061 54829056 10024 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13386 10024 301 301 0 13085 0
vsize: 53544
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11609 0 0 0 56923 83 0 0 25 0 1 0 966308061 54964224 10059 4294967295 134512640 135730672 3221224592 3221223136 134740323 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13419 10059 301 301 0 13118 0
vsize: 53676
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11650 0 0 0 57922 85 0 0 25 0 1 0 966308061 55099392 10100 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13452 10100 301 301 0 13151 0
vsize: 53808
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11699 0 0 0 58921 86 0 0 25 0 1 0 966308061 55234560 10149 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13485 10149 301 301 0 13184 0
vsize: 53940
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11759 0 0 0 59921 86 0 0 25 0 1 0 966308061 55549952 10209 4294967295 134512640 135730672 3221224592 3221223104 134746219 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13562 10209 301 301 0 13261 0
vsize: 54248
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11794 0 0 0 60920 88 0 0 25 0 1 0 966308061 55685120 10244 4294967295 134512640 135730672 3221224592 3221223104 134746198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13595 10244 301 301 0 13294 0
vsize: 54380
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11819 0 0 0 61919 89 0 0 25 0 1 0 966308061 55685120 10269 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13595 10269 301 301 0 13294 0
vsize: 54380
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11846 0 0 0 62919 89 0 0 25 0 1 0 966308061 55820288 10296 4294967295 134512640 135730672 3221224592 3221223216 134748200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13628 10296 301 301 0 13327 0
vsize: 54512
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11918 0 0 0 63918 90 0 0 25 0 1 0 966308061 56090624 10368 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13694 10368 301 301 0 13393 0
vsize: 54776
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11953 0 0 0 64917 91 0 0 25 0 1 0 966308061 56225792 10403 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13727 10403 301 301 0 13426 0
vsize: 54908
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 11990 0 0 0 65917 92 0 0 25 0 1 0 966308061 56360960 10440 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13760 10440 301 301 0 13459 0
vsize: 55040
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 12034 0 0 0 66916 92 0 0 25 0 1 0 966308061 56496128 10484 4294967295 134512640 135730672 3221224592 3221223216 134748179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13793 10484 301 301 0 13492 0
vsize: 55172
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 12192 0 0 0 67915 94 0 0 25 0 1 0 966308061 56623104 10642 4294967295 134512640 135730672 3221224592 3221223104 134746515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13824 10642 301 301 0 13523 0
vsize: 55296
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 12269 0 0 0 68914 95 0 0 25 0 1 0 966308061 56623104 10719 4294967295 134512640 135730672 3221224592 3221223088 134747525 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13824 10719 301 301 0 13523 0
vsize: 55296
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 12376 0 0 0 69914 95 0 0 25 0 1 0 966308061 56872960 10826 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13885 10826 301 301 0 13584 0
vsize: 55540
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 12597 0 0 0 70913 96 0 0 25 0 1 0 966308061 57548800 11047 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14050 11047 301 301 0 13749 0
vsize: 56200
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 12616 0 0 0 71912 97 0 0 25 0 1 0 966308061 57548800 11066 4294967295 134512640 135730672 3221224592 3221223088 134747817 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14050 11066 301 301 0 13749 0
vsize: 56200
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 12638 0 0 0 72912 98 0 0 25 0 1 0 966308061 57548800 11088 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14050 11088 301 301 0 13749 0
vsize: 56200
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14213 0 0 0 73908 102 0 0 25 0 1 0 966308061 63959040 11126 4294967295 134512640 135730672 3221224592 3221223104 134746396 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15615 11126 301 301 0 15314 0
vsize: 62460
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14229 0 0 0 74907 104 0 0 25 0 1 0 966308061 63959040 11142 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15615 11142 301 301 0 15314 0
vsize: 62460
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14256 0 0 0 75906 104 0 0 25 0 1 0 966308061 64155648 11169 4294967295 134512640 135730672 3221224592 3221223104 134746221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15663 11169 301 301 0 15362 0
vsize: 62652
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14282 0 0 0 76906 105 0 0 25 0 1 0 966308061 64155648 11195 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15663 11195 301 301 0 15362 0
vsize: 62652
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14306 0 0 0 77905 106 0 0 25 0 1 0 966308061 64155648 11219 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15663 11219 301 301 0 15362 0
vsize: 62652
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14363 0 0 0 78905 106 0 0 25 0 1 0 966308061 64290816 11276 4294967295 134512640 135730672 3221224592 3221223104 134746399 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15696 11276 301 301 0 15395 0
vsize: 62784
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14390 0 0 0 79903 108 0 0 25 0 1 0 966308061 64290816 11303 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15696 11303 301 301 0 15395 0
vsize: 62784
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14423 0 0 0 80903 109 0 0 25 0 1 0 966308061 64425984 11336 4294967295 134512640 135730672 3221224592 3221223104 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15729 11336 301 301 0 15428 0
vsize: 62916
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14443 0 0 0 81902 110 0 0 25 0 1 0 966308061 64425984 11356 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15729 11356 301 301 0 15428 0
vsize: 62916
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14463 0 0 0 82901 111 0 0 25 0 1 0 966308061 64425984 11376 4294967295 134512640 135730672 3221224592 3221223216 134783066 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15729 11376 301 301 0 15428 0
vsize: 62916
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14488 0 0 0 83900 111 0 0 25 0 1 0 966308061 64540672 11401 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15757 11401 301 301 0 15456 0
vsize: 63028
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14521 0 0 0 84900 112 0 0 25 0 1 0 966308061 64540672 11434 4294967295 134512640 135730672 3221224592 3221223104 134746231 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15757 11434 301 301 0 15456 0
vsize: 63028
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14552 0 0 0 85899 113 0 0 25 0 1 0 966308061 64704512 11465 4294967295 134512640 135730672 3221224592 3221222776 135291151 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15797 11465 301 301 0 15496 0
vsize: 63188
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14577 0 0 0 86899 113 0 0 25 0 1 0 966308061 64704512 11490 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15797 11490 301 301 0 15496 0
vsize: 63188
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14630 0 0 0 87898 114 0 0 25 0 1 0 966308061 64995328 11543 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15868 11543 301 301 0 15567 0
vsize: 63472
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14647 0 0 0 88897 115 0 0 25 0 1 0 966308061 64995328 11560 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15868 11560 301 301 0 15567 0
vsize: 63472
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14665 0 0 0 89897 116 0 0 25 0 1 0 966308061 64995328 11578 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15868 11578 301 301 0 15567 0
vsize: 63472
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14689 0 0 0 90897 116 0 0 25 0 1 0 966308061 64995328 11602 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15868 11602 301 301 0 15567 0
vsize: 63472
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14794 0 0 0 91896 117 0 0 25 0 1 0 966308061 65384448 11707 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15963 11707 301 301 0 15662 0
vsize: 63852
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14825 0 0 0 92894 118 0 0 25 0 1 0 966308061 65552384 11738 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16004 11738 301 301 0 15703 0
vsize: 64016
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14850 0 0 0 93893 119 0 0 25 0 1 0 966308061 65552384 11763 4294967295 134512640 135730672 3221224592 3221223104 134746175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16004 11763 301 301 0 15703 0
vsize: 64016
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14876 0 0 0 94893 120 0 0 25 0 1 0 966308061 65552384 11789 4294967295 134512640 135730672 3221224592 3221223104 134746536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16004 11789 301 301 0 15703 0
vsize: 64016
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14903 0 0 0 95892 121 0 0 25 0 1 0 966308061 65552384 11816 4294967295 134512640 135730672 3221224592 3221223104 134746507 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16004 11816 301 301 0 15703 0
vsize: 64016
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14941 0 0 0 96892 121 0 0 25 0 1 0 966308061 65712128 11854 4294967295 134512640 135730672 3221224592 3221223088 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16043 11854 301 301 0 15742 0
vsize: 64172
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 14981 0 0 0 97891 122 0 0 25 0 1 0 966308061 65826816 11894 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16071 11894 301 301 0 15770 0
vsize: 64284
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15010 0 0 0 98891 123 0 0 25 0 1 0 966308061 65826816 11923 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16071 11923 301 301 0 15770 0
vsize: 64284
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15060 0 0 0 99890 124 0 0 25 0 1 0 966308061 66072576 11973 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16131 11973 301 301 0 15830 0
vsize: 64524
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15084 0 0 0 100889 124 0 0 25 0 1 0 966308061 66072576 11997 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16131 11997 301 301 0 15830 0
vsize: 64524
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15103 0 0 0 101889 125 0 0 25 0 1 0 966308061 66072576 12016 4294967295 134512640 135730672 3221224592 3221223088 134747528 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16131 12016 301 301 0 15830 0
vsize: 64524
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15147 0 0 0 102889 125 0 0 25 0 1 0 966308061 66220032 12060 4294967295 134512640 135730672 3221224592 3221223088 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16167 12060 301 301 0 15866 0
vsize: 64668
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15196 0 0 0 103888 126 0 0 25 0 1 0 966308061 66351104 12109 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16199 12109 301 301 0 15898 0
vsize: 64796
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15225 0 0 0 104888 127 0 0 25 0 1 0 966308061 66351104 12138 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16199 12138 301 301 0 15898 0
vsize: 64796
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15254 0 0 0 105887 128 0 0 25 0 1 0 966308061 66351104 12167 4294967295 134512640 135730672 3221224592 3221223104 134746201 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16199 12167 301 301 0 15898 0
vsize: 64796
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15317 0 0 0 106887 128 0 0 25 0 1 0 966308061 66506752 12230 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16237 12230 301 301 0 15936 0
vsize: 64948
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15459 0 0 0 107885 130 0 0 25 0 1 0 966308061 66506752 12372 4294967295 134512640 135730672 3221224592 3221223104 134746185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16237 12372 301 301 0 15936 0
vsize: 64948
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15599 0 0 0 108885 131 0 0 25 0 1 0 966308061 66637824 12512 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16269 12512 301 301 0 15968 0
vsize: 65076
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15727 0 0 0 109884 132 0 0 25 0 1 0 966308061 66637824 12640 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16269 12640 301 301 0 15968 0
vsize: 65076
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15936 0 0 0 110883 133 0 0 25 0 1 0 966308061 67022848 12849 4294967295 134512640 135730672 3221224592 3221223184 134763580 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16363 12849 301 301 0 16062 0
vsize: 65452
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15969 0 0 0 111883 133 0 0 25 0 1 0 966308061 67022848 12882 4294967295 134512640 135730672 3221224592 3221223088 134747519 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16363 12882 301 301 0 16062 0
vsize: 65452
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 15989 0 0 0 112882 134 0 0 25 0 1 0 966308061 67022848 12902 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16363 12902 301 301 0 16062 0
vsize: 65452
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 16030 0 0 0 113882 135 0 0 25 0 1 0 966308061 67178496 12943 4294967295 134512640 135730672 3221224592 3221223072 134732786 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16401 12943 301 301 0 16100 0
vsize: 65604
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 16050 0 0 0 114881 136 0 0 25 0 1 0 966308061 67178496 12963 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16401 12963 301 301 0 16100 0
vsize: 65604
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 16092 0 0 0 115880 136 0 0 25 0 1 0 966308061 67313664 13005 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16434 13005 301 301 0 16133 0
vsize: 65736
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 16109 0 0 0 116880 137 0 0 25 0 1 0 966308061 67313664 13022 4294967295 134512640 135730672 3221224592 3221223104 134746235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16434 13022 301 301 0 16133 0
vsize: 65736
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 16140 0 0 0 117879 138 0 0 25 0 1 0 966308061 67493888 13053 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16478 13053 301 301 0 16177 0
vsize: 65912
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 16160 0 0 0 118878 139 0 0 25 0 1 0 966308061 67493888 13073 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16478 13073 301 301 0 16177 0
vsize: 65912
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13673
Raw data (stat): 13673 (pb2sat-v2) R 13672 20224 20223 0 -1 0 16194 0 0 0 119877 140 0 0 25 0 1 0 966308061 67493888 13107 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16478 13107 301 301 0 16177 0
vsize: 65912
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13673
Raw data (stat): 13673 (pb2sat-v2) Z 13672 20224 20223 0 -1 12 16196 0 0 0 119893 143 0 0 25 0 1 0 966308061 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.22
CPU time (s): 1200.37
CPU user time (s): 1198.94
CPU system time (s): 1.43478
CPU usage (%): 100.013
Max. virtual memory (Kb): 65912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####