PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
MD5SUM	c779424bd1795a1e1adf6f4e7f38e307
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	37
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.075987
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	72
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	36
Trace number 41896

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        837080 kB
Buffers:         33480 kB
Cached:         140428 kB
SwapCached:       1192 kB
Active:          76436 kB
Inactive:        99828 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        836828 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            15620 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:45:04 (client local time) WITH STATUS 0 IN 1200.5 SECONDS
stats: 25112 7 1200.5 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 2450/7420	Time: 48.2797/86400
c Decision: 2450/7420	Time: 49.8584/86400
c Decision: 2450/7420	Time: 51.5572/86400
c Decision: 2450/7420	Time: 53.1859/86400
c Decision: 2450/7420	Time: 54.5907/86400
c Decision: 2450/7420	Time: 56.3364/86400
c Decision: 2450/7420	Time: 57.6992/86400
c Decision: 2450/7420	Time: 59.145/86400
c Decision: 2450/7420	Time: 60.6228/86400
c Decision: 2450/7420	Time: 62.0236/86400
c Decision: 2450/7420	Time: 64.2122/86400
c Decision: 2450/7420	Time: 65.3361/86400
c Decision: 2450/7420	Time: 66.5229/86400
c Decision: 2450/7420	Time: 67.8687/86400
c Decision: 2450/7420	Time: 69.2905/86400
c Decision: 2450/7420	Time: 70.6153/86400
c Decision: 2450/7420	Time: 71.9651/86400
c Decision: 2450/7420	Time: 73.3868/86400
c Decision: 2450/7420	Time: 74.6696/86400
c Decision: 2450/7420	Time: 76.0414/86400
c Decision: 2450/7420	Time: 77.4532/86400
c Decision: 2450/7420	Time: 78.702/86400
c Decision: 2450/7420	Time: 83.6183/86400
c Decision: 2450/7420	Time: 85.0261/86400
c Decision: 2450/7420	Time: 86.5078/86400
c Decision: 2450/7420	Time: 87.7297/86400
c Decision: 2450/7420	Time: 88.9805/86400
c Decision: 2450/7420	Time: 90.3623/86400
c Decision: 2450/7420	Time: 91.4961/86400
c Decision: 2450/7420	Time: 92.7649/86400
c Decision: 2450/7420	Time: 93.9687/86400
c Decision: 2450/7420	Time: 95.2695/86400
c Decision: 2450/7420	Time: 96.4613/86400
c Decision: 2450/7420	Time: 97.5532/86400
c Decision: 2450/7420	Time: 98.823/86400
c Decision: 2450/7420	Time: 100.207/86400
c Decision: 2450/7420	Time: 101.366/86400
c Decision: 2450/7420	Time: 102.602/86400
c Decision: 2450/7420	Time: 103.998/86400
c Decision: 2450/7420	Time: 105.297/86400
c Decision: 2450/7420	Time: 106.652/86400
c Decision: 2450/7420	Time: 108.031/86400
c Decision: 2450/7420	Time: 109.53/86400
c Decision: 2450/7420	Time: 110.943/86400
c Decision: 2450/7420	Time: 112.396/86400
c Decision: 2450/7420	Time: 114.037/86400
c Decision: 2450/7420	Time: 115.517/86400
c Decision: 2450/7420	Time: 117.048/86400
c Decision: 2450/7420	Time: 118.533/86400
c Decision: 2450/7420	Time: 121.427/86400
c Decision: 2450/7420	Time: 123.254/86400
c Decision: 2450/7420	Time: 124.866/86400
c Decision: 2450/7420	Time: 127.032/86400
c Decision: 2450/7420	Time: 135.748/86400
c Decision: 2450/7420	Time: 137.522/86400
c Decision: 2450/7420	Time: 139.323/86400
c Decision: 2450/7420	Time: 141.119/86400
c Decision: 2450/7420	Time: 142.642/86400
c Decision: 2450/7420	Time: 144.288/86400
c Decision: 2450/7420	Time: 145.867/86400
c Decision: 2450/7420	Time: 147.805/86400
c Decision: 2450/7420	Time: 149.433/86400
c Decision: 2450/7420	Time: 151.045/86400
c Decision: 2450/7420	Time: 152.861/86400
c Decision: 2450/7420	Time: 154.591/86400
c Decision: 2450/7420	Time: 156.632/86400
c Decision: 2450/7420	Time: 162.861/86400
c Decision: 2450/7420	Time: 164.191/86400
c Decision: 2450/7420	Time: 165.631/86400
c Decision: 2450/7420	Time: 167.072/86400
c Decision: 2450/7420	Time: 169.014/86400
c Decision: 2450/7420	Time: 170.488/86400
c Decision: 2450/7420	Time: 171.976/86400
c Decision: 2450/7420	Time: 173.42/86400
c Decision: 2450/7420	Time: 174.763/86400
c Decision: 2450/7420	Time: 176.28/86400
c Decision: 2450/7420	Time: 179.03/86400
c Decision: 2450/7420	Time: 180.41/86400
c Decision: 2450/7420	Time: 181.794/86400
c Decision: 2450/7420	Time: 183.263/86400
c Decision: 2450/7420	Time: 184.879/86400
c Decision: 2450/7420	Time: 186.314/86400
c Decision: 2450/7420	Time: 187.733/86400
c Decision: 2450/7420	Time: 189.204/86400
c Decision: 2450/7420	Time: 190.652/86400
c Decision: 2450/7420	Time: 192.188/86400
c Decision: 2450/7420	Time: 193.645/86400
c Decision: 2450/7420	Time: 195.085/86400
c Decision: 2450/7420	Time: 196.69/86400
c Decision: 2450/7420	Time: 198.271/86400
c Decision: 2450/7420	Time: 199.904/86400
c Decision: 2450/7420	Time: 201.429/86400
c Decision: 2450/7420	Time: 202.943/86400
c Decision: 2450/7420	Time: 204.499/86400
c Decision: 2450/7420	Time: 206.121/86400
c Decision: 2450/7420	Time: 207.784/86400
c Decision: 2450/7420	Time: 209.388/86400
c Decision: 2450/7420	Time: 210.885/86400
c Decision: 2450/7420	Time: 212.38/86400
c Decision: 2450/7420	Time: 213.955/86400
c Decision: 2450/7420	Time: 215.555/86400
c Decision: 2450/7420	Time: 217.051/86400
c Decision: 2450/7420	Time: 218.616/86400
c Decision: 2450/7420	Time: 220.229/86400
c Decision: 2450/7420	Time: 221.837/86400
c Decision: 2450/7420	Time: 223.696/86400
c Decision: 2450/7420	Time: 225.358/86400
c Decision: 2450/7420	Time: 226.876/86400
c Decision: 2450/7420	Time: 228.909/86400
c Decision: 2450/7420	Time: 230.761/86400
c Decision: 2450/7420	Time: 237.365/86400
c Decision: 2450/7420	Time: 239.158/86400
c Decision: 2450/7420	Time: 240.712/86400
c Decision: 2450/7420	Time: 242.423/86400
c Decision: 2450/7420	Time: 251.601/86400
c Decision: 2450/7420	Time: 253.045/86400
c Decision: 2450/7420	Time: 254.173/86400
c Decision: 2450/7420	Time: 256.424/86400
c Decision: 2450/7420	Time: 257.549/86400
c Decision: 2450/7420	Time: 258.74/86400
c Decision: 2450/7420	Time: 260.083/86400
c Decision: 2450/7420	Time: 261.245/86400
c Decision: 2450/7420	Time: 265.387/86400
c Decision: 2450/7420	Time: 266.587/86400
c Decision: 2450/7420	Time: 267.867/86400
c Decision: 2450/7420	Time: 269.106/86400
c Decision: 2450/7420	Time: 270.341/86400
c Decision: 2450/7420	Time: 271.57/86400
c Decision: 2450/7420	Time: 272.643/86400
c Decision: 2450/7420	Time: 273.784/86400
c Decision: 2450/7420	Time: 275.056/86400
c Decision: 2450/7420	Time: 276.333/86400
c Decision: 2450/7420	Time: 277.701/86400
c Decision: 2450/7420	Time: 278.946/86400
c Decision: 2450/7420	Time: 280.235/86400
c Decision: 2450/7420	Time: 281.673/86400
c Decision: 2450/7420	Time: 283.211/86400
c Decision: 2450/7420	Time: 284.602/86400
c Decision: 2450/7420	Time: 287.455/86400
c Decision: 2450/7420	Time: 288.926/86400
c Decision: 2450/7420	Time: 290.683/86400
c Decision: 2450/7420	Time: 292.115/86400
c Decision: 2450/7420	Time: 293.573/86400
c Decision: 2450/7420	Time: 298.209/86400
c Decision: 2450/7420	Time: 299.492/86400
c Decision: 2450/7420	Time: 300.951/86400
c Decision: 2450/7420	Time: 302.331/86400
c Decision: 2450/7420	Time: 303.697/86400
c Decision: 2450/7420	Time: 306.215/86400
c Decision: 2450/7420	Time: 307.72/86400
c Decision: 2450/7420	Time: 310.072/86400
c Decision: 2450/7420	Time: 311.407/86400
c Decision: 2450/7420	Time: 315.669/86400
c Decision: 2450/7420	Time: 317.219/86400
c Decision: 2450/7420	Time: 318.526/86400
c Decision: 2450/7420	Time: 320.105/86400
c Decision: 2450/7420	Time: 321.619/86400
c Decision: 2450/7420	Time: 323.047/86400
c Decision: 2450/7420	Time: 324.444/86400
c Decision: 2450/7420	Time: 325.861/86400
c Decision: 2450/7420	Time: 327.564/86400
c Decision: 2450/7420	Time: 329.094/86400
c Decision: 2450/7420	Time: 330.552/86400
c Decision: 2450/7420	Time: 332.056/86400
c Decision: 2450/7420	Time: 333.562/86400
c Decision: 2450/7420	Time: 335.232/86400
c Decision: 2450/7420	Time: 336.745/86400
c Decision: 2450/7420	Time: 338.405/86400
c Decision: 2450/7420	Time: 340.138/86400
c Decision: 2450/7420	Time: 341.798/86400
c Decision: 2450/7420	Time: 343.73/86400
c Decision: 2450/7420	Time: 345.564/86400
c Decision: 2450/7420	Time: 351.995/86400
c Decision: 2450/7420	Time: 353.394/86400
c Decision: 2450/7420	Time: 354.896/86400
c Decision: 2450/7420	Time: 356.442/86400
c Decision: 2450/7420	Time: 357.911/86400
c Decision: 2450/7420	Time: 359.298/86400
c Decision: 2450/7420	Time: 360.659/86400
c Decision: 2450/7420	Time: 361.917/86400
c Decision: 2450/7420	Time: 363.343/86400
c Decision: 2450/7420	Time: 364.687/86400
c Decision: 2450/7420	Time: 366.078/86400
c Decision: 2450/7420	Time: 367.436/86400
c Decision: 2450/7420	Time: 369.084/86400
c Decision: 2450/7420	Time: 370.677/86400
c Decision: 2450/7420	Time: 372.089/86400
c Decision: 2450/7420	Time: 378.536/86400
c Decision: 2450/7420	Time: 379.877/86400
c Decision: 2450/7420	Time: 381.415/86400
c Decision: 2450/7420	Time: 382.807/86400
c Decision: 2450/7420	Time: 384.168/86400
c Decision: 2450/7420	Time: 385.565/86400
c Decision: 2450/7420	Time: 387.034/86400
c Decision: 2450/7420	Time: 388.433/86400
c Decision: 2450/7420	Time: 390.108/86400
c Decision: 2450/7420	Time: 391.627/86400
c Decision: 2450/7420	Time: 398.222/86400
c Decision: 2450/7420	Time: 399.416/86400
c Decision: 2450/7420	Time: 400.672/86400
c Decision: 2450/7420	Time: 404.082/86400
c Decision: 2450/7420	Time: 405.61/86400
c Decision: 2450/7420	Time: 406.898/86400
c Decision: 2450/7420	Time: 408.089/86400
c Decision: 2450/7420	Time: 409.289/86400
c Decision: 2450/7420	Time: 410.606/86400
c Decision: 2450/7420	Time: 411.799/86400
c Decision: 2450/7420	Time: 412.939/86400
c Decision: 2450/7420	Time: 414.26/86400
c Decision: 2450/7420	Time: 415.518/86400
c Decision: 2450/7420	Time: 416.914/86400
c Decision: 2450/7420	Time: 418.347/86400
c Decision: 2450/7420	Time: 419.666/86400
c Decision: 2450/7420	Time: 421.078/86400
c Decision: 2450/7420	Time: 422.435/86400
c Decision: 2450/7420	Time: 423.926/86400
c Decision: 2450/7420	Time: 425.284/86400
c Decision: 2450/7420	Time: 426.747/86400
c Decision: 2450/7420	Time: 428.275/86400
c Decision: 2450/7420	Time: 429.646/86400
c Decision: 2450/7420	Time: 431.289/86400
c Decision: 2450/7420	Time: 432.872/86400
c Decision: 2450/7420	Time: 434.349/86400
c Decision: 2450/7420	Time: 435.747/86400
c Decision: 2450/7420	Time: 437.302/86400
c Decision: 2450/7420	Time: 439.053/86400
c Decision: 2450/7420	Time: 440.677/86400
c Decision: 2450/7420	Time: 442.208/86400
c Decision: 2450/7420	Time: 443.746/86400
c Decision: 2450/7420	Time: 445.512/86400
c Decision: 2450/7420	Time: 447.248/86400
c Decision: 2450/7420	Time: 448.882/86400
c Decision: 2450/7420	Time: 450.65/86400
c Decision: 2450/7420	Time: 452.203/86400
c Decision: 2450/7420	Time: 453.946/86400
c Decision: 2450/7420	Time: 459.206/86400
c Decision: 2450/7420	Time: 460.374/86400
c Decision: 2450/7420	Time: 463.08/86400
c Decision: 2450/7420	Time: 464.535/86400
c Decision: 2450/7420	Time: 465.704/86400
c Decision: 2450/7420	Time: 467.12/86400
c Decision: 2450/7420	Time: 468.581/86400
c Decision: 2450/7420	Time: 469.738/86400
c Decision: 2450/7420	Time: 471.01/86400
c Decision: 2450/7420	Time: 472.19/86400
c Decision: 2450/7420	Time: 473.574/86400
c Decision: 2450/7420	Time: 474.896/86400
c Decision: 2450/7420	Time: 476.547/86400
c Decision: 2450/7420	Time: 477.938/86400
c Decision: 2450/7420	Time: 479.53/86400
c Decision: 2450/7420	Time: 481.136/86400
c Decision: 2450/7420	Time: 482.56/86400
c Decision: 2450/7420	Time: 483.899/86400
c Decision: 2450/7420	Time: 485.377/86400
c Decision: 2450/7420	Time: 486.862/86400
c Decision: 2450/7420	Time: 488.471/86400
c Decision: 2450/7420	Time: 489.793/86400
c Decision: 2450/7420	Time: 491.272/86400
c Decision: 2450/7420	Time: 492.716/86400
c Decision: 2450/7420	Time: 494.05/86400
c Decision: 2450/7420	Time: 495.794/86400
c Decision: 2450/7420	Time: 497.342/86400
c Decision: 2450/7420	Time: 504.189/86400
c Decision: 2450/7420	Time: 505.482/86400
c Decision: 2450/7420	Time: 506.714/86400
c Decision: 2450/7420	Time: 508.042/86400
c Decision: 2450/7420	Time: 509.273/86400
c Decision: 2450/7420	Time: 510.431/86400
c Decision: 2450/7420	Time: 511.717/86400
c Decision: 2450/7420	Time: 512.954/86400
c Decision: 2450/7420	Time: 514.408/86400
c Decision: 2450/7420	Time: 515.689/86400
c Decision: 2450/7420	Time: 517.076/86400
c Decision: 2450/7420	Time: 518.508/86400
c Decision: 2450/7420	Time: 519.857/86400
c Decision: 2450/7420	Time: 521.371/86400
c Decision: 2450/7420	Time: 522.651/86400
c Decision: 2450/7420	Time: 524.136/86400
c Decision: 2450/7420	Time: 525.503/86400
c Decision: 2450/7420	Time: 526.89/86400
c Decision: 2450/7420	Time: 528.408/86400
c Decision: 2450/7420	Time: 529.897/86400
c Decision: 2450/7420	Time: 531.5/86400
c Decision: 2450/7420	Time: 533.126/86400
c Decision: 2450/7420	Time: 534.596/86400
c Decision: 2450/7420	Time: 536.278/86400
c Decision: 2450/7420	Time: 540.402/86400
c Decision: 2450/7420	Time: 541.635/86400
c Decision: 2450/7420	Time: 543.15/86400
c Decision: 2450/7420	Time: 544.368/86400
c Decision: 2450/7420	Time: 546.858/86400
c Decision: 2450/7420	Time: 548.157/86400
c Decision: 2450/7420	Time: 549.367/86400
c Decision: 2450/7420	Time: 551.16/86400
c Decision: 2450/7420	Time: 552.505/86400
c Decision: 2450/7420	Time: 553.847/86400
c Decision: 2450/7420	Time: 555.045/86400
c Decision: 2450/7420	Time: 556.339/86400
c Decision: 2450/7420	Time: 557.496/86400
c Decision: 2450/7420	Time: 558.794/86400
c Decision: 2450/7420	Time: 560.163/86400
c Decision: 2450/7420	Time: 561.281/86400
c Decision: 2450/7420	Time: 562.563/86400
c Decision: 2450/7420	Time: 563.933/86400
c Decision: 2450/7420	Time: 565.339/86400
c Decision: 2450/7420	Time: 566.696/86400
c Decision: 2450/7420	Time: 568.263/86400
c Decision: 2450/7420	Time: 569.784/86400
c Decision: 2450/7420	Time: 571.324/86400
c Decision: 2450/7420	Time: 572.583/86400
c Decision: 2450/7420	Time: 574.137/86400
c Decision: 2450/7420	Time: 575.647/86400
c Decision: 2450/7420	Time: 577.25/86400
c Decision: 2450/7420	Time: 578.931/86400
c Decision: 2450/7420	Time: 583.875/86400
c Decision: 2450/7420	Time: 585.334/86400
c Decision: 2450/7420	Time: 586.857/86400
c Decision: 2450/7420	Time: 588.244/86400
c Decision: 2450/7420	Time: 589.485/86400
c Decision: 2450/7420	Time: 590.786/86400
c Decision: 2450/7420	Time: 592.095/86400
c Decision: 2450/7420	Time: 593.391/86400
c Decision: 2450/7420	Time: 594.725/86400
c Decision: 2450/7420	Time: 596.947/86400
c Decision: 2450/7420	Time: 598.35/86400
c Decision: 2450/7420	Time: 599.912/86400
c Decision: 2450/7420	Time: 601.31/86400
c Decision: 2450/7420	Time: 602.77/86400
c Decision: 2450/7420	Time: 604.111/86400
c Decision: 2450/7420	Time: 605.471/86400
c Decision: 2450/7420	Time: 606.958/86400
c Decision: 2450/7420	Time: 608.216/86400
c Decision: 2450/7420	Time: 609.661/86400
c Decision: 2450/7420	Time: 611.114/86400
c Decision: 2450/7420	Time: 612.564/86400
c Decision: 2450/7420	Time: 614.238/86400
c Decision: 2450/7420	Time: 615.77/86400
c Decision: 2450/7420	Time: 617.311/86400
c Decision: 2450/7420	Time: 618.917/86400
c Decision: 2450/7420	Time: 620.397/86400
c Decision: 2450/7420	Time: 622.137/86400
c Decision: 2450/7420	Time: 623.732/86400
c Decision: 2450/7420	Time: 625.389/86400
c Decision: 2450/7420	Time: 627.044/86400
c Decision: 2450/7420	Time: 628.743/86400
c Decision: 2450/7420	Time: 630.369/86400
c Decision: 2450/7420	Time: 631.985/86400
c Decision: 2450/7420	Time: 633.615/86400
c Decision: 2450/7420	Time: 635.215/86400
c Decision: 2450/7420	Time: 636.84/86400
c Decision: 2450/7420	Time: 638.535/86400
c Decision: 2450/7420	Time: 640.092/86400
c Decision: 2450/7420	Time: 648.546/86400
c Decision: 2450/7420	Time: 649.998/86400
c Decision: 2450/7420	Time: 651.158/86400
c Decision: 2450/7420	Time: 652.831/86400
c Decision: 2450/7420	Time: 656.019/86400
c Decision: 2450/7420	Time: 657.191/86400
c Decision: 2450/7420	Time: 658.445/86400
c Decision: 2450/7420	Time: 659.686/86400
c Decision: 2450/7420	Time: 661.07/86400
c Decision: 2450/7420	Time: 662.491/86400
c Decision: 2450/7420	Time: 663.633/86400
c Decision: 2450/7420	Time: 665.122/86400
c Decision: 2450/7420	Time: 666.451/86400
c Decision: 2450/7420	Time: 668.11/86400
c Decision: 2450/7420	Time: 669.551/86400
c Decision: 2450/7420	Time: 671.132/86400
c Decision: 2450/7420	Time: 672.809/86400
c Decision: 2450/7420	Time: 674.269/86400
c Decision: 2450/7420	Time: 675.803/86400
c Decision: 2450/7420	Time: 677.284/86400
c Decision: 2450/7420	Time: 678.975/86400
c Decision: 2450/7420	Time: 680.324/86400
c Decision: 2450/7420	Time: 681.971/86400
c Decision: 2450/7420	Time: 683.654/86400
c Decision: 2450/7420	Time: 685.475/86400
c Decision: 2450/7420	Time: 686.946/86400
c Decision: 2450/7420	Time: 688.524/86400
c Decision: 2450/7420	Time: 690.296/86400
c Decision: 2450/7420	Time: 692.066/86400
c Decision: 2450/7420	Time: 695.444/86400
c Decision: 2450/7420	Time: 696.69/86400
c Decision: 2450/7420	Time: 698.037/86400
c Decision: 2450/7420	Time: 699.486/86400
c Decision: 2450/7420	Time: 700.96/86400
c Decision: 2450/7420	Time: 702.041/86400
c Decision: 2450/7420	Time: 704.242/86400
c Decision: 2450/7420	Time: 705.674/86400
c Decision: 2450/7420	Time: 707.307/86400
c Decision: 2450/7420	Time: 708.943/86400
c Decision: 2450/7420	Time: 710.061/86400
c Decision: 2450/7420	Time: 711.499/86400
c Decision: 2450/7420	Time: 712.881/86400
c Decision: 2450/7420	Time: 714.539/86400
c Decision: 2450/7420	Time: 716.232/86400
c Decision: 2450/7420	Time: 717.613/86400
c Decision: 2450/7420	Time: 718.983/86400
c Decision: 2450/7420	Time: 720.576/86400
c Decision: 2450/7420	Time: 722.215/86400
c Decision: 2450/7420	Time: 724.016/86400
c Decision: 2450/7420	Time: 725.49/86400
c Decision: 2450/7420	Time: 726.949/86400
c Decision: 2450/7420	Time: 728.959/86400
c Decision: 2450/7420	Time: 730.629/86400
c Decision: 2450/7420	Time: 732.322/86400
c Decision: 2450/7420	Time: 733.944/86400
c Decision: 2450/7420	Time: 735.457/86400
c Decision: 2450/7420	Time: 737.291/86400
c Decision: 2450/7420	Time: 738.968/86400
c Decision: 2450/7420	Time: 740.749/86400
c Decision: 2450/7420	Time: 742.343/86400
c Decision: 2450/7420	Time: 743.923/86400
c Decision: 2450/7420	Time: 745.524/86400
c Decision: 2450/7420	Time: 747.142/86400
c Decision: 2450/7420	Time: 748.96/86400
c Decision: 2450/7420	Time: 750.515/86400
c Decision: 2450/7420	Time: 752.233/86400
c Decision: 2450/7420	Time: 753.961/86400
c Decision: 2450/7420	Time: 755.662/86400
c Decision: 2450/7420	Time: 757.555/86400
c Decision: 2450/7420	Time: 759.675/86400
c Decision: 2450/7420	Time: 761.31/86400
c Decision: 2450/7420	Time: 763.295/86400
c Decision: 2450/7420	Time: 765.076/86400
c Decision: 2450/7420	Time: 767.08/86400
c Decision: 2450/7420	Time: 769.03/86400
c Decision: 2450/7420	Time: 770.901/86400
c Decision: 2450/7420	Time: 772.718/86400
c Decision: 2450/7420	Time: 779.406/86400
c Decision: 2450/7420	Time: 781.723/86400
c Decision: 2450/7420	Time: 783.782/86400
c Decision: 2450/7420	Time: 785.601/86400
c Decision: 2450/7420	Time: 787.471/86400
c Decision: 2450/7420	Time: 789.266/86400
c Decision: 2450/7420	Time: 791.306/86400
c Decision: 2450/7420	Time: 793.156/86400
c Decision: 2450/7420	Time: 795.466/86400
c Decision: 2450/7420	Time: 797.457/86400
c Decision: 2450/7420	Time: 799.387/86400
c Decision: 2450/7420	Time: 801.717/86400
c Decision: 2450/7420	Time: 810.94/86400
c Decision: 2450/7420	Time: 812.424/86400
c Decision: 2450/7420	Time: 814.527/86400
c Decision: 2450/7420	Time: 815.974/86400
c Decision: 2450/7420	Time: 817.706/86400
c Decision: 2450/7420	Time: 819.12/86400
c Decision: 2450/7420	Time: 820.636/86400
c Decision: 2450/7420	Time: 822.022/86400
c Decision: 2450/7420	Time: 826.819/86400
c Decision: 2450/7420	Time: 828.123/86400
c Decision: 2450/7420	Time: 829.363/86400
c Decision: 2450/7420	Time: 830.535/86400
c Decision: 2450/7420	Time: 831.707/86400
c Decision: 2450/7420	Time: 833.021/86400
c Decision: 2450/7420	Time: 834.399/86400
c Decision: 2450/7420	Time: 835.776/86400
c Decision: 2450/7420	Time: 837.254/86400
c Decision: 2450/7420	Time: 838.785/86400
c Decision: 2450/7420	Time: 840.078/86400
c Decision: 2450/7420	Time: 841.586/86400
c Decision: 2450/7420	Time: 843.1/86400
c Decision: 2450/7420	Time: 844.759/86400
c Decision: 2450/7420	Time: 846.161/86400
c Decision: 2450/7420	Time: 847.778/86400
c Decision: 2450/7420	Time: 849.274/86400
c Decision: 2450/7420	Time: 850.85/86400
c Decision: 2450/7420	Time: 852.406/86400
c Decision: 2450/7420	Time: 853.967/86400
c Decision: 2450/7420	Time: 859.227/86400
c Decision: 2450/7420	Time: 860.58/86400
c Decision: 2450/7420	Time: 862.009/86400
c Decision: 2450/7420	Time: 863.319/86400
c Decision: 2450/7420	Time: 866.849/86400
c Decision: 2450/7420	Time: 868.111/86400
c Decision: 2450/7420	Time: 872.162/86400
c Decision: 2450/7420	Time: 873.26/86400
c Decision: 2450/7420	Time: 874.45/86400
c Decision: 2450/7420	Time: 875.7/86400
c Decision: 2450/7420	Time: 876.809/86400
c Decision: 2450/7420	Time: 878.234/86400
c Decision: 2450/7420	Time: 879.554/86400
c Decision: 2450/7420	Time: 880.744/86400
c Decision: 2450/7420	Time: 881.976/86400
c Decision: 2450/7420	Time: 883.089/86400
c Decision: 2450/7420	Time: 884.59/86400
c Decision: 2450/7420	Time: 885.97/86400
c Decision: 2450/7420	Time: 887.319/86400
c Decision: 2450/7420	Time: 888.927/86400
c Decision: 2450/7420	Time: 890.576/86400
c Decision: 2450/7420	Time: 892.056/86400
c Decision: 2450/7420	Time: 893.707/86400
c Decision: 2450/7420	Time: 895.345/86400
c Decision: 2450/7420	Time: 896.977/86400
c Decision: 2450/7420	Time: 898.818/86400
c Decision: 2450/7420	Time: 904.997/86400
c Decision: 2450/7420	Time: 906.287/86400
c Decision: 2450/7420	Time: 907.397/86400
c Decision: 2450/7420	Time: 908.738/86400
c Decision: 2450/7420	Time: 911.138/86400
c Decision: 2450/7420	Time: 912.34/86400
c Decision: 2450/7420	Time: 913.684/86400
c Decision: 2450/7420	Time: 914.976/86400
c Decision: 2450/7420	Time: 916.229/86400
c Decision: 2450/7420	Time: 917.696/86400
c Decision: 2450/7420	Time: 919.104/86400
c Decision: 2450/7420	Time: 920.642/86400
c Decision: 2450/7420	Time: 921.927/86400
c Decision: 2450/7420	Time: 923.255/86400
c Decision: 2450/7420	Time: 924.634/86400
c Decision: 2450/7420	Time: 926.408/86400
c Decision: 2450/7420	Time: 927.918/86400
c Decision: 2450/7420	Time: 929.348/86400
c Decision: 2450/7420	Time: 930.784/86400
c Decision: 2450/7420	Time: 932.368/86400
c Decision: 2450/7420	Time: 934.042/86400
c Decision: 2450/7420	Time: 935.53/86400
c Decision: 2450/7420	Time: 937.01/86400
c Decision: 2450/7420	Time: 938.47/86400
c Decision: 2450/7420	Time: 940.001/86400
c Decision: 2450/7420	Time: 941.751/86400
c Decision: 2450/7420	Time: 943.38/86400
c Decision: 2450/7420	Time: 944.903/86400
c Decision: 2450/7420	Time: 946.536/86400
c Decision: 2450/7420	Time: 948.066/86400
c Decision: 2450/7420	Time: 950.31/86400
c Decision: 2450/7420	Time: 951.914/86400
c Decision: 2450/7420	Time: 957.532/86400
c Decision: 2450/7420	Time: 958.894/86400
c Decision: 2450/7420	Time: 960.479/86400
c Decision: 2450/7420	Time: 961.766/86400
c Decision: 2450/7420	Time: 963.016/86400
c Decision: 2450/7420	Time: 964.402/86400
c Decision: 2450/7420	Time: 965.668/86400
c Decision: 2450/7420	Time: 966.88/86400
c Decision: 2450/7420	Time: 969.689/86400
c Decision: 2450/7420	Time: 970.99/86400
c Decision: 2450/7420	Time: 972.221/86400
c Decision: 2450/7420	Time: 975.278/86400
c Decision: 2450/7420	Time: 976.647/86400
c Decision: 2450/7420	Time: 980.26/86400
c Decision: 2450/7420	Time: 981.494/86400
c Decision: 2450/7420	Time: 982.619/86400
c Decision: 2450/7420	Time: 983.809/86400
c Decision: 2450/7420	Time: 984.927/86400
c Decision: 2450/7420	Time: 986.195/86400
c Decision: 2450/7420	Time: 987.383/86400
c Decision: 2450/7420	Time: 988.668/86400
c Decision: 2450/7420	Time: 990.176/86400
c Decision: 2450/7420	Time: 991.511/86400
c Decision: 2450/7420	Time: 992.808/86400
c Decision: 2450/7420	Time: 994.269/86400
c Decision: 2450/7420	Time: 995.624/86400
c Decision: 2450/7420	Time: 997.069/86400
c Decision: 2450/7420	Time: 998.737/86400
c Decision: 2450/7420	Time: 1000.24/86400
c Decision: 2450/7420	Time: 1001.82/86400
c Decision: 2450/7420	Time: 1003.57/86400
c Decision: 2450/7420	Time: 1005.13/86400
c Decision: 2450/7420	Time: 1006.7/86400
c Decision: 2450/7420	Time: 1008.54/86400
c Decision: 2450/7420	Time: 1010.17/86400
c Decision: 2450/7420	Time: 1011.76/86400
c Decision: 2450/7420	Time: 1013.23/86400
c Decision: 2450/7420	Time: 1015.02/86400
c Decision: 2450/7420	Time: 1016.97/86400
c Decision: 2450/7420	Time: 1018.85/86400
c Decision: 2450/7420	Time: 1020.49/86400
c Decision: 2450/7420	Time: 1022.17/86400
c Decision: 2450/7420	Time: 1023.97/86400
c Decision: 2450/7420	Time: 1025.99/86400
c Decision: 2450/7420	Time: 1030.28/86400
c Decision: 2450/7420	Time: 1032.17/86400
c Decision: 2450/7420	Time: 1034.72/86400
c Decision: 2450/7420	Time: 1036.57/86400
c Decision: 2450/7420	Time: 1038.55/86400
c Decision: 2450/7420	Time: 1040.29/86400
c Decision: 2450/7420	Time: 1042.04/86400
c Decision: 2450/7420	Time: 1043.67/86400
c Decision: 2450/7420	Time: 1045.52/86400
c Decision: 2450/7420	Time: 1047.36/86400
c Decision: 2450/7420	Time: 1048.99/86400
c Decision: 2450/7420	Time: 1050.7/86400
c Decision: 2450/7420	Time: 1052.8/86400
c Decision: 2450/7420	Time: 1054.64/86400
c Decision: 2450/7420	Time: 1064.68/86400
c Decision: 2450/7420	Time: 1066.18/86400
c Decision: 2450/7420	Time: 1067.24/86400
c Decision: 2450/7420	Time: 1068.93/86400
c Decision: 2450/7420	Time: 1070.27/86400
c Decision: 2450/7420	Time: 1071.57/86400
c Decision: 2450/7420	Time: 1072.79/86400
c Decision: 2450/7420	Time: 1074.1/86400
c Decision: 2450/7420	Time: 1075.45/86400
c Decision: 2450/7420	Time: 1076.7/86400
c Decision: 2450/7420	Time: 1078.31/86400
c Decision: 2450/7420	Time: 1079.69/86400
c Decision: 2450/7420	Time: 1081.07/86400
c Decision: 2450/7420	Time: 1082.44/86400
c Decision: 2450/7420	Time: 1083.87/86400
c Decision: 2450/7420	Time: 1085.69/86400
c Decision: 2450/7420	Time: 1090.79/86400
c Decision: 2450/7420	Time: 1092.09/86400
c Decision: 2450/7420	Time: 1093.18/86400
c Decision: 2450/7420	Time: 1094.44/86400
c Decision: 2450/7420	Time: 1095.91/86400
c Decision: 2450/7420	Time: 1097.26/86400
c Decision: 2450/7420	Time: 1098.44/86400
c Decision: 2450/7420	Time: 1099.6/86400
c Decision: 2450/7420	Time: 1100.98/86400
c Decision: 2450/7420	Time: 1102.43/86400
c Decision: 2450/7420	Time: 1103.9/86400
c Decision: 2450/7420	Time: 1105.33/86400
c Decision: 2450/7420	Time: 1106.82/86400
c Decision: 2450/7420	Time: 1108.44/86400
c Decision: 2450/7420	Time: 1110.01/86400
c Decision: 2450/7420	Time: 1111.56/86400
c Decision: 2450/7420	Time: 1113.32/86400
c Decision: 2450/7420	Time: 1117.8/86400
c Decision: 2450/7420	Time: 1119.06/86400
c Decision: 2450/7420	Time: 1121.08/86400
c Decision: 2450/7420	Time: 1122.39/86400
c Decision: 2450/7420	Time: 1123.64/86400
c Decision: 2450/7420	Time: 1124.85/86400
c Decision: 2450/7420	Time: 1126.22/86400
c Decision: 2450/7420	Time: 1127.82/86400
c Decision: 2450/7420	Time: 1129.08/86400
c Decision: 2450/7420	Time: 1130.35/86400
c Decision: 2450/7420	Time: 1131.67/86400
c Decision: 2450/7420	Time: 1133.21/86400
c Decision: 2450/7420	Time: 1134.66/86400
c Decision: 2450/7420	Time: 1136.15/86400
c Decision: 2450/7420	Time: 1137.51/86400
c Decision: 2450/7420	Time: 1138.92/86400
c Decision: 2450/7420	Time: 1140.56/86400
c Decision: 2450/7420	Time: 1142.24/86400
c Decision: 2450/7420	Time: 1143.8/86400
c Decision: 2450/7420	Time: 1145.3/86400
c Decision: 2450/7420	Time: 1146.91/86400
c Decision: 2450/7420	Time: 1148.97/86400
c Decision: 2450/7420	Time: 1150.66/86400
c Decision: 2450/7420	Time: 1152.34/86400
c Decision: 2450/7420	Time: 1154.4/86400
c Decision: 2450/7420	Time: 1158.98/86400
c Decision: 2450/7420	Time: 1160.47/86400
c Decision: 2450/7420	Time: 1161.97/86400
c Decision: 2450/7420	Time: 1164.76/86400
c Decision: 2450/7420	Time: 1166.03/86400
c Decision: 2450/7420	Time: 1167.39/86400
c Decision: 2450/7420	Time: 1168.83/86400
c Decision: 2450/7420	Time: 1170.34/86400
c Decision: 2450/7420	Time: 1171.66/86400
c Decision: 2450/7420	Time: 1173.08/86400
c Decision: 2450/7420	Time: 1174.34/86400
c Decision: 2450/7420	Time: 1175.79/86400
c Decision: 2450/7420	Time: 1177.33/86400
c Decision: 2450/7420	Time: 1179.01/86400
c Decision: 2450/7420	Time: 1180.74/86400
c Decision: 2450/7420	Time: 1182.34/86400
c Decision: 2450/7420	Time: 1184.05/86400
c Decision: 2450/7420	Time: 1185.84/86400
c Decision: 2450/7420	Time: 1187.78/86400
c Decision: 2450/7420	Time: 1189.38/86400
c Decision: 2450/7420	Time: 1190.8/86400
c Decision: 2450/7420	Time: 1192.6/86400
c Decision: 2450/7420	Time: 1194.5/86400
c Decision: 2450/7420	Time: 1196.11/86400
c Decision: 2450/7420	Time: 1197.6/86400
c Decision: 2450/7420	Time: 1199.07/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.74 2/55 4951
Raw data (stat): 4951 (runsolver) R 4950 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907766268 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99986 s]
Raw data (loadavg): 0.87 0.94 0.75 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 1798 0 0 0 995 4 0 0 25 0 1 0 907766268 7983104 1524 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1949 1524 301 301 0 1648 0
vsize: 7796
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.75 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 2394 0 0 0 1993 6 0 0 25 0 1 0 907766268 12451840 2120 4294967295 134512640 135730672 3221224576 3221222988 135301630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3040 2120 301 301 0 2739 0
vsize: 12160
[startup+30.0004 s]
Raw data (loadavg): 0.90 0.94 0.75 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 2862 0 0 0 2992 8 0 0 25 0 1 0 907766268 12591104 2588 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3074 2588 301 301 0 2773 0
vsize: 12296
[startup+40.0002 s]
Raw data (loadavg): 0.92 0.94 0.75 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 3258 0 0 0 3990 9 0 0 25 0 1 0 907766268 21118976 2984 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5156 2984 301 301 0 4855 0
vsize: 20624
[startup+50 s]
Raw data (loadavg): 0.93 0.94 0.75 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 3890 0 0 0 4988 12 0 0 25 0 1 0 907766268 21381120 3616 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5220 3616 301 301 0 4919 0
vsize: 20880
[startup+59.9999 s]
Raw data (loadavg): 0.94 0.95 0.75 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 4903 0 0 0 5984 15 0 0 25 0 1 0 907766268 23052288 4629 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5628 4629 301 301 0 5327 0
vsize: 22512
[startup+70.0006 s]
Raw data (loadavg): 0.95 0.95 0.76 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 5633 0 0 0 6980 19 0 0 25 0 1 0 907766268 24977408 5166 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6098 5166 301 301 0 5797 0
vsize: 24392
[startup+80.0013 s]
Raw data (loadavg): 0.96 0.95 0.76 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 5939 0 0 0 7977 21 0 0 25 0 1 0 907766268 26148864 5472 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6384 5472 301 301 0 6083 0
vsize: 25536
[startup+90.0021 s]
Raw data (loadavg): 0.96 0.95 0.76 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 6057 0 0 0 8974 25 0 0 25 0 1 0 907766268 26554368 5590 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6483 5590 301 301 0 6182 0
vsize: 25932
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.76 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 6120 0 0 0 9972 27 0 0 25 0 1 0 907766268 26628096 5653 4294967295 134512640 135730672 3221224576 3221223168 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6501 5653 301 301 0 6200 0
vsize: 26004
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.76 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 6234 0 0 0 10970 28 0 0 25 0 1 0 907766268 27033600 5767 4294967295 134512640 135730672 3221224576 3221223056 134732637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6600 5767 301 301 0 6299 0
vsize: 26400
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.77 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 6520 0 0 0 11967 31 0 0 25 0 1 0 907766268 28053504 6053 4294967295 134512640 135730672 3221224576 3221222896 134732728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6849 6053 301 301 0 6548 0
vsize: 27396
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.77 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 6806 0 0 0 12964 34 0 0 25 0 1 0 907766268 29134848 6339 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7113 6339 301 301 0 6812 0
vsize: 28452
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.77 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 7004 0 0 0 13962 36 0 0 25 0 1 0 907766268 29921280 6537 4294967295 134512640 135730672 3221224576 3221222812 135109374 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7305 6537 301 301 0 7004 0
vsize: 29220
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.77 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 7535 0 0 0 14960 39 0 0 25 0 1 0 907766268 31993856 6683 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7811 6683 301 301 0 7510 0
vsize: 31244
[startup+160.003 s]
Raw data (loadavg): 0.99 0.95 0.77 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 7628 0 0 0 15959 40 0 0 25 0 1 0 907766268 32395264 6776 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7909 6776 301 301 0 7608 0
vsize: 31636
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.78 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 7738 0 0 0 16956 43 0 0 25 0 1 0 907766268 32395264 6886 4294967295 134512640 135730672 3221224576 3221223120 134740391 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7909 6886 301 301 0 7608 0
vsize: 31636
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.78 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 7763 0 0 0 17953 46 0 0 25 0 1 0 907766268 32395264 6911 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7909 6911 301 301 0 7608 0
vsize: 31636
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.78 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 7791 0 0 0 18952 47 0 0 25 0 1 0 907766268 32395264 6939 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7909 6939 301 301 0 7608 0
vsize: 31636
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.78 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 7821 0 0 0 19951 48 0 0 25 0 1 0 907766268 32395264 6969 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7909 6969 301 301 0 7608 0
vsize: 31636
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.78 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 7882 0 0 0 20950 50 0 0 25 0 1 0 907766268 32575488 7030 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7953 7030 301 301 0 7652 0
vsize: 31812
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.79 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 7957 0 0 0 21949 51 0 0 25 0 1 0 907766268 32735232 7105 4294967295 134512640 135730672 3221224576 3221222756 135281187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7992 7105 301 301 0 7691 0
vsize: 31968
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.79 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 8066 0 0 0 22948 52 0 0 25 0 1 0 907766268 33095680 7214 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8080 7214 301 301 0 7779 0
vsize: 32320
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.79 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 8237 0 0 0 23945 56 0 0 25 0 1 0 907766268 33767424 7385 4294967295 134512640 135730672 3221224576 3221223120 134740402 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8244 7385 301 301 0 7943 0
vsize: 32976
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.79 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 8278 0 0 0 24942 59 0 0 25 0 1 0 907766268 33914880 7426 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8280 7426 301 301 0 7979 0
vsize: 33120
[startup+260.002 s]
Raw data (loadavg): 0.99 0.96 0.79 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 8358 0 0 0 25936 65 0 0 25 0 1 0 907766268 34131968 7506 4294967295 134512640 135730672 3221224576 3221222912 134767167 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8333 7506 301 301 0 8032 0
vsize: 33332
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 8413 0 0 0 26932 69 0 0 25 0 1 0 907766268 34242560 7561 4294967295 134512640 135730672 3221224576 3221222888 134767191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8360 7561 301 301 0 8059 0
vsize: 33440
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 8458 0 0 0 27930 71 0 0 25 0 1 0 907766268 34242560 7606 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8360 7606 301 301 0 8059 0
vsize: 33440
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 8521 0 0 0 28927 74 0 0 25 0 1 0 907766268 34418688 7669 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8403 7669 301 301 0 8102 0
vsize: 33612
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 8615 0 0 0 29924 78 0 0 25 0 1 0 907766268 34770944 7763 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8489 7763 301 301 0 8188 0
vsize: 33956
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 8642 0 0 0 30919 83 0 0 25 0 1 0 907766268 34770944 7790 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8489 7790 301 301 0 8188 0
vsize: 33956
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 9446 0 0 0 31912 90 0 0 25 0 1 0 907766268 37990400 7825 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9275 7825 301 301 0 8974 0
vsize: 37100
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 9487 0 0 0 32911 90 0 0 25 0 1 0 907766268 37990400 7866 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9275 7866 301 301 0 8974 0
vsize: 37100
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 9561 0 0 0 33910 91 0 0 25 0 1 0 907766268 38207488 7940 4294967295 134512640 135730672 3221224576 3221222904 134814460 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9328 7940 301 301 0 9027 0
vsize: 37312
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 9642 0 0 0 34908 94 0 0 25 0 1 0 907766268 38526976 8021 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9406 8021 301 301 0 9105 0
vsize: 37624
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 9744 0 0 0 35906 96 0 0 25 0 1 0 907766268 38797312 8123 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9472 8123 301 301 0 9171 0
vsize: 37888
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 9780 0 0 0 36905 97 0 0 25 0 1 0 907766268 38797312 8159 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9472 8159 301 301 0 9171 0
vsize: 37888
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 9833 0 0 0 37902 101 0 0 25 0 1 0 907766268 39010304 8212 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9524 8212 301 301 0 9223 0
vsize: 38096
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 9868 0 0 0 38900 103 0 0 25 0 1 0 907766268 39010304 8247 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9524 8247 301 301 0 9223 0
vsize: 38096
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 9960 0 0 0 39896 106 0 0 25 0 1 0 907766268 39370752 8339 4294967295 134512640 135730672 3221224576 3221222896 134732745 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9612 8339 301 301 0 9311 0
vsize: 38448
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10003 0 0 0 40892 111 0 0 25 0 1 0 907766268 39444480 8382 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9630 8382 301 301 0 9329 0
vsize: 38520
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10040 0 0 0 41890 113 0 0 25 0 1 0 907766268 39444480 8419 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9630 8419 301 301 0 9329 0
vsize: 38520
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10074 0 0 0 42889 114 0 0 25 0 1 0 907766268 39444480 8453 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9630 8453 301 301 0 9329 0
vsize: 38520
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10114 0 0 0 43889 115 0 0 25 0 1 0 907766268 39522304 8493 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9649 8493 301 301 0 9348 0
vsize: 38596
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10166 0 0 0 44888 115 0 0 25 0 1 0 907766268 39600128 8545 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9668 8545 301 301 0 9367 0
vsize: 38672
[startup+460 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10326 0 0 0 45886 118 0 0 25 0 1 0 907766268 40235008 8705 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9823 8705 301 301 0 9522 0
vsize: 39292
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10367 0 0 0 46882 122 0 0 25 0 1 0 907766268 40312832 8746 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9842 8746 301 301 0 9541 0
vsize: 39368
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10400 0 0 0 47880 124 0 0 25 0 1 0 907766268 40312832 8779 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9842 8779 301 301 0 9541 0
vsize: 39368
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10442 0 0 0 48880 125 0 0 25 0 1 0 907766268 40312832 8821 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9842 8821 301 301 0 9541 0
vsize: 39368
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10472 0 0 0 49879 126 0 0 25 0 1 0 907766268 40394752 8851 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9862 8851 301 301 0 9561 0
vsize: 39448
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10578 0 0 0 50876 129 0 0 25 0 1 0 907766268 40755200 8957 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9950 8957 301 301 0 9649 0
vsize: 39800
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10619 0 0 0 51875 130 0 0 25 0 1 0 907766268 40755200 8998 4294967295 134512640 135730672 3221224576 3221223120 134740402 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9950 8998 301 301 0 9649 0
vsize: 39800
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10658 0 0 0 52873 132 0 0 25 0 1 0 907766268 40833024 9037 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9969 9037 301 301 0 9668 0
vsize: 39876
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10685 0 0 0 53871 135 0 0 25 0 1 0 907766268 40833024 9064 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9969 9064 301 301 0 9668 0
vsize: 39876
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10801 0 0 0 54867 139 0 0 25 0 1 0 907766268 41238528 9180 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10068 9180 301 301 0 9767 0
vsize: 40272
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10847 0 0 0 55865 141 0 0 25 0 1 0 907766268 41238528 9226 4294967295 134512640 135730672 3221224576 3221223072 134747783 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10068 9226 301 301 0 9767 0
vsize: 40272
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10887 0 0 0 56863 143 0 0 25 0 1 0 907766268 41316352 9266 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10087 9266 301 301 0 9786 0
vsize: 40348
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 10918 0 0 0 57861 145 0 0 25 0 1 0 907766268 41316352 9297 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10087 9297 301 301 0 9786 0
vsize: 40348
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 11014 0 0 0 58858 148 0 0 25 0 1 0 907766268 41672704 9393 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10174 9393 301 301 0 9873 0
vsize: 40696
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 11073 0 0 0 59855 151 0 0 25 0 1 0 907766268 41803776 9452 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10206 9452 301 301 0 9905 0
vsize: 40824
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 11109 0 0 0 60855 152 0 0 25 0 1 0 907766268 41803776 9488 4294967295 134512640 135730672 3221224576 3221223184 134744868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10206 9488 301 301 0 9905 0
vsize: 40824
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 11145 0 0 0 61853 153 0 0 25 0 1 0 907766268 41803776 9524 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10206 9524 301 301 0 9905 0
vsize: 40824
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 12730 0 0 0 62849 158 0 0 25 0 1 0 907766268 48185344 9572 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11764 9572 301 301 0 11463 0
vsize: 47056
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 12770 0 0 0 63848 159 0 0 25 0 1 0 907766268 48267264 9612 4294967295 134512640 135730672 3221224576 3221223164 134747446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11784 9612 301 301 0 11483 0
vsize: 47136
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 12888 0 0 0 64844 163 0 0 25 0 1 0 907766268 48766976 9730 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11906 9730 301 301 0 11605 0
vsize: 47624
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 12937 0 0 0 65839 168 0 0 25 0 1 0 907766268 48857088 9779 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11928 9779 301 301 0 11627 0
vsize: 47712
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 12969 0 0 0 66838 169 0 0 25 0 1 0 907766268 48857088 9811 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11928 9811 301 301 0 11627 0
vsize: 47712
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13002 0 0 0 67837 170 0 0 25 0 1 0 907766268 48857088 9844 4294967295 134512640 135730672 3221224576 3221223200 134748079 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11928 9844 301 301 0 11627 0
vsize: 47712
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13036 0 0 0 68836 171 0 0 25 0 1 0 907766268 48934912 9878 4294967295 134512640 135730672 3221224576 3221222896 134732601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11947 9878 301 301 0 11646 0
vsize: 47788
[startup+700.002 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13138 0 0 0 69832 175 0 0 25 0 1 0 907766268 49205248 9980 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12013 9980 301 301 0 11712 0
vsize: 48052
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13168 0 0 0 70830 178 0 0 25 0 1 0 907766268 49205248 10010 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12013 10010 301 301 0 11712 0
vsize: 48052
[startup+720.001 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13208 0 0 0 71829 179 0 0 25 0 1 0 907766268 49287168 10050 4294967295 134512640 135730672 3221224576 3221222904 134814364 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12033 10050 301 301 0 11732 0
vsize: 48132
[startup+730.001 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13245 0 0 0 72827 181 0 0 25 0 1 0 907766268 49369088 10087 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12053 10087 301 301 0 11752 0
vsize: 48212
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13286 0 0 0 73826 182 0 0 25 0 1 0 907766268 49442816 10128 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12071 10128 301 301 0 11770 0
vsize: 48284
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13342 0 0 0 74825 183 0 0 25 0 1 0 907766268 49520640 10184 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12090 10184 301 301 0 11789 0
vsize: 48360
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13386 0 0 0 75824 184 0 0 25 0 1 0 907766268 49606656 10228 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12111 10228 301 301 0 11810 0
vsize: 48444
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13438 0 0 0 76824 185 0 0 25 0 1 0 907766268 49786880 10280 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12155 10280 301 301 0 11854 0
vsize: 48620
[startup+780.002 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13511 0 0 0 77821 188 0 0 25 0 1 0 907766268 50024448 10353 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12213 10353 301 301 0 11912 0
vsize: 48852
[startup+790.003 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 13792 0 0 0 78819 190 0 0 25 0 1 0 907766268 50368512 10634 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12297 10634 301 301 0 11996 0
vsize: 49188
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 14219 0 0 0 79817 192 0 0 25 0 1 0 907766268 51105792 11061 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12477 11061 301 301 0 12176 0
vsize: 49908
[startup+810.003 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 14506 0 0 0 80813 197 0 0 25 0 1 0 907766268 68767744 11348 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16789 11348 301 301 0 16488 0
vsize: 67156
[startup+820.003 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15039 0 0 0 81808 202 0 0 25 0 1 0 907766268 68866048 11881 4294967295 134512640 135730672 3221224576 3221222816 134786674 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16813 11881 301 301 0 16512 0
vsize: 67252
[startup+830.003 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15059 0 0 0 82804 206 0 0 25 0 1 0 907766268 68866048 11901 4294967295 134512640 135730672 3221224576 3221222960 134761945 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16813 11901 301 301 0 16512 0
vsize: 67252
[startup+840.004 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15090 0 0 0 83803 207 0 0 25 0 1 0 907766268 68866048 11932 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16813 11932 301 301 0 16512 0
vsize: 67252
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15117 0 0 0 84803 207 0 0 25 0 1 0 907766268 68866048 11959 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16813 11959 301 301 0 16512 0
vsize: 67252
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15206 0 0 0 85800 211 0 0 25 0 1 0 907766268 69136384 12048 4294967295 134512640 135730672 3221224576 3221222756 135281100 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16879 12048 301 301 0 16578 0
vsize: 67516
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15249 0 0 0 86794 217 0 0 25 0 1 0 907766268 69259264 12091 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16909 12091 301 301 0 16608 0
vsize: 67636
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15284 0 0 0 87791 220 0 0 25 0 1 0 907766268 69259264 12126 4294967295 134512640 135730672 3221224576 3221223152 134763846 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16909 12126 301 301 0 16608 0
vsize: 67636
[startup+890.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15325 0 0 0 88790 221 0 0 25 0 1 0 907766268 69259264 12167 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16909 12167 301 301 0 16608 0
vsize: 67636
[startup+900.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15356 0 0 0 89788 223 0 0 25 0 1 0 907766268 69337088 12198 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16928 12198 301 301 0 16627 0
vsize: 67712
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15438 0 0 0 90784 227 0 0 25 0 1 0 907766268 69607424 12280 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16994 12280 301 301 0 16693 0
vsize: 67976
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15485 0 0 0 91782 230 0 0 25 0 1 0 907766268 69681152 12327 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17012 12327 301 301 0 16711 0
vsize: 68048
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15520 0 0 0 92781 231 0 0 25 0 1 0 907766268 69681152 12362 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17012 12362 301 301 0 16711 0
vsize: 68048
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15556 0 0 0 93780 232 0 0 25 0 1 0 907766268 69758976 12398 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17031 12398 301 301 0 16730 0
vsize: 68124
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15595 0 0 0 94778 235 0 0 25 0 1 0 907766268 69758976 12437 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17031 12437 301 301 0 16730 0
vsize: 68124
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15699 0 0 0 95774 239 0 0 25 0 1 0 907766268 70164480 12541 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17130 12541 301 301 0 16829 0
vsize: 68520
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15758 0 0 0 96770 242 0 0 25 0 1 0 907766268 70299648 12600 4294967295 134512640 135730672 3221224576 3221223056 134732786 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17163 12600 301 301 0 16862 0
vsize: 68652
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15797 0 0 0 97765 248 0 0 25 0 1 0 907766268 70397952 12639 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17187 12639 301 301 0 16886 0
vsize: 68748
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15838 0 0 0 98763 250 0 0 25 0 1 0 907766268 70397952 12680 4294967295 134512640 135730672 3221224576 3221222816 134813921 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17187 12680 301 301 0 16886 0
vsize: 68748
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15876 0 0 0 99762 252 0 0 25 0 1 0 907766268 70397952 12718 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17187 12718 301 301 0 16886 0
vsize: 68748
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15912 0 0 0 100761 253 0 0 25 0 1 0 907766268 70479872 12754 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17207 12754 301 301 0 16906 0
vsize: 68828
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15948 0 0 0 101760 254 0 0 25 0 1 0 907766268 70557696 12790 4294967295 134512640 135730672 3221224576 3221222800 134813870 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17226 12790 301 301 0 16925 0
vsize: 68904
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 15971 0 0 0 102756 258 0 0 25 0 1 0 907766268 70557696 12813 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17226 12813 301 301 0 16925 0
vsize: 68904
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16016 0 0 0 103755 259 0 0 25 0 1 0 907766268 70668288 12858 4294967295 134512640 135730672 3221224576 3221222816 134786288 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17253 12858 301 301 0 16952 0
vsize: 69012
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16049 0 0 0 104754 260 0 0 25 0 1 0 907766268 70668288 12891 4294967295 134512640 135730672 3221224576 3221222896 134732598 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17253 12891 301 301 0 16952 0
vsize: 69012
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16080 0 0 0 105752 262 0 0 25 0 1 0 907766268 70750208 12922 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17273 12922 301 301 0 16972 0
vsize: 69092
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16229 0 0 0 106751 264 0 0 25 0 1 0 907766268 71290880 13071 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17405 13071 301 301 0 17104 0
vsize: 69620
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16261 0 0 0 107750 265 0 0 25 0 1 0 907766268 71290880 13103 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17405 13103 301 301 0 17104 0
vsize: 69620
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16281 0 0 0 108746 269 0 0 25 0 1 0 907766268 71290880 13123 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17405 13123 301 301 0 17104 0
vsize: 69620
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16374 0 0 0 109745 270 0 0 25 0 1 0 907766268 71561216 13216 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17471 13216 301 301 0 17170 0
vsize: 69884
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16414 0 0 0 110744 271 0 0 25 0 1 0 907766268 71639040 13256 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17490 13256 301 301 0 17189 0
vsize: 69960
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16493 0 0 0 111740 275 0 0 25 0 1 0 907766268 71905280 13335 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17555 13335 301 301 0 17254 0
vsize: 70220
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16534 0 0 0 112738 278 0 0 25 0 1 0 907766268 71905280 13376 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17555 13376 301 301 0 17254 0
vsize: 70220
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16570 0 0 0 113736 280 0 0 25 0 1 0 907766268 71983104 13412 4294967295 134512640 135730672 3221224576 3221223168 134763672 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17574 13412 301 301 0 17273 0
vsize: 70296
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16598 0 0 0 114736 280 0 0 25 0 1 0 907766268 71983104 13440 4294967295 134512640 135730672 3221224576 3221222912 134767167 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17574 13440 301 301 0 17273 0
vsize: 70296
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16697 0 0 0 115733 283 0 0 25 0 1 0 907766268 72335360 13539 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17660 13539 301 301 0 17359 0
vsize: 70640
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16724 0 0 0 116729 288 0 0 25 0 1 0 907766268 72335360 13566 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17660 13566 301 301 0 17359 0
vsize: 70640
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16760 0 0 0 117728 288 0 0 25 0 1 0 907766268 72335360 13602 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17660 13602 301 301 0 17359 0
vsize: 70640
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16796 0 0 0 118727 290 0 0 25 0 1 0 907766268 72413184 13638 4294967295 134512640 135730672 3221224576 3221223120 134740270 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17679 13638 301 301 0 17378 0
vsize: 70716
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 4951
Raw data (stat): 4951 (pb2sat-v2) R 4950 8378 8377 0 -1 0 16832 0 0 0 119726 291 0 0 25 0 1 0 907766268 72413184 13674 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17679 13674 301 301 0 17378 0
vsize: 70716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.34 s]
Raw data (loadavg): 0.99 0.97 0.90 1/55 4951
Raw data (stat): 4951 (pb2sat-v2) Z 4950 8378 8377 0 -1 12 16834 0 0 0 119755 294 0 0 25 0 1 0 907766268 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.34
CPU time (s): 1200.5
CPU user time (s): 1197.56
CPU system time (s): 2.94055
CPU usage (%): 100.014
Max. virtual memory (Kb): 70716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####