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-chnl20_21_pb.cnf.cr.opb
MD5SUM	112c693a7a90a8dc93ad23dc136d9b75
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	22
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.026995
Number of variables	840
Total number of constraints	82
Number of constraints which are clauses	42
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	21
Trace number 34679

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-28 10:10:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23934 boxname=wulflinc11 idbench=8 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  112c693a7a90a8dc93ad23dc136d9b75  /oldhome/oroussel/tmp/wulflinc11/normalized-chnl20_21_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-chnl20_21_pb.cnf.cr.opb
IDLAUNCH: 23934
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        941020 kB
Buffers:         32932 kB
Cached:          39308 kB
SwapCached:        860 kB
Active:          41268 kB
Inactive:        33168 kB
HighTotal:      131008 kB
HighFree:        88620 kB
LowTotal:       903652 kB
LowFree:        852400 kB
SwapTotal:     2097136 kB
SwapFree:      2095396 kB
Dirty:               8 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13584 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:30:33 (client local time) WITH STATUS 0 IN 1208.54 SECONDS
stats: 23934 7 1208.54 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 800/2440	Time: 26.7539/86400
Decision: 800/2440	Time: 27.3948/86400
Decision: 800/2440	Time: 28.1067/86400
Decision: 800/2440	Time: 28.8096/86400
Decision: 800/2440	Time: 29.7155/86400
Decision: 800/2440	Time: 30.7233/86400
Decision: 800/2440	Time: 31.7022/86400
Decision: 800/2440	Time: 32.799/86400
Decision: 800/2440	Time: 33.6039/86400
Decision: 800/2440	Time: 34.3368/86400
Decision: 800/2440	Time: 35.5556/86400
Decision: 800/2440	Time: 36.4685/86400
Decision: 800/2440	Time: 37.3713/86400
Decision: 800/2440	Time: 38.3902/86400
Decision: 800/2440	Time: 39.208/86400
Decision: 800/2440	Time: 40.1829/86400
Decision: 800/2440	Time: 41.0458/86400
Decision: 800/2440	Time: 42.0436/86400
Decision: 800/2440	Time: 42.9885/86400
Decision: 800/2440	Time: 43.9033/86400
Decision: 800/2440	Time: 45.0781/86400
Decision: 800/2440	Time: 46.128/86400
Decision: 800/2440	Time: 47.2548/86400
Decision: 800/2440	Time: 48.1577/86400
Decision: 800/2440	Time: 49.2475/86400
Decision: 800/2440	Time: 50.4083/86400
Decision: 800/2440	Time: 51.4132/86400
Decision: 800/2440	Time: 53.6498/86400
Decision: 800/2440	Time: 54.9576/86400
Decision: 800/2440	Time: 56.0055/86400
Decision: 800/2440	Time: 57.1483/86400
Decision: 800/2440	Time: 58.2721/86400
Decision: 800/2440	Time: 59.408/86400
Decision: 800/2440	Time: 60.5648/86400
Decision: 800/2440	Time: 61.6846/86400
Decision: 800/2440	Time: 63.0074/86400
Decision: 800/2440	Time: 64.8911/86400
Decision: 800/2440	Time: 66.001/86400
Decision: 800/2440	Time: 67.2028/86400
Decision: 800/2440	Time: 68.4826/86400
Decision: 800/2440	Time: 69.7744/86400
Decision: 800/2440	Time: 70.8642/86400
Decision: 800/2440	Time: 72.068/86400
Decision: 800/2440	Time: 73.3179/86400
Decision: 800/2440	Time: 74.5717/86400
Decision: 800/2440	Time: 76.1564/86400
Decision: 800/2440	Time: 77.4062/86400
Decision: 800/2440	Time: 78.5511/86400
Decision: 800/2440	Time: 79.7939/86400
Decision: 800/2440	Time: 82.2835/86400
Decision: 800/2440	Time: 83.8593/86400
Decision: 800/2440	Time: 85.1111/86400
Decision: 800/2440	Time: 86.2939/86400
Decision: 800/2440	Time: 87.4937/86400
Decision: 800/2440	Time: 88.8075/86400
Decision: 800/2440	Time: 90.3083/86400
Decision: 800/2440	Time: 91.5961/86400
Decision: 800/2440	Time: 92.9349/86400
Decision: 800/2440	Time: 95.5655/86400
Decision: 800/2440	Time: 96.9643/86400
Decision: 800/2440	Time: 98.409/86400
Decision: 800/2440	Time: 99.8048/86400
Decision: 800/2440	Time: 101.091/86400
Decision: 800/2440	Time: 102.493/86400
Decision: 800/2440	Time: 103.699/86400
Decision: 800/2440	Time: 105.453/86400
Decision: 800/2440	Time: 106.794/86400
Decision: 800/2440	Time: 107.928/86400
Decision: 800/2440	Time: 109.388/86400
Decision: 800/2440	Time: 110.599/86400
Decision: 800/2440	Time: 112.044/86400
Decision: 800/2440	Time: 113.347/86400
Decision: 800/2440	Time: 114.719/86400
Decision: 800/2440	Time: 116/86400
Decision: 800/2440	Time: 117.311/86400
Decision: 800/2440	Time: 118.743/86400
Decision: 800/2440	Time: 120.041/86400
Decision: 800/2440	Time: 121.339/86400
Decision: 800/2440	Time: 122.575/86400
Decision: 800/2440	Time: 123.799/86400
Decision: 800/2440	Time: 125.454/86400
Decision: 800/2440	Time: 126.904/86400
Decision: 800/2440	Time: 128.258/86400
Decision: 800/2440	Time: 129.755/86400
Decision: 800/2440	Time: 131.191/86400
Decision: 800/2440	Time: 132.879/86400
Decision: 800/2440	Time: 134.409/86400
Decision: 800/2440	Time: 135.938/86400
Decision: 800/2440	Time: 137.418/86400
Decision: 800/2440	Time: 138.844/86400
Decision: 800/2440	Time: 140.592/86400
Decision: 800/2440	Time: 142.037/86400
Decision: 800/2440	Time: 143.57/86400
Decision: 800/2440	Time: 145.079/86400
Decision: 800/2440	Time: 146.519/86400
Decision: 800/2440	Time: 149.242/86400
Decision: 800/2440	Time: 151.15/86400
Decision: 800/2440	Time: 152.741/86400
Decision: 800/2440	Time: 154.332/86400
Decision: 800/2440	Time: 155.882/86400
Decision: 800/2440	Time: 157.696/86400
Decision: 800/2440	Time: 159.239/86400
Decision: 800/2440	Time: 160.633/86400
Decision: 800/2440	Time: 162.084/86400
Decision: 800/2440	Time: 163.428/86400
Decision: 800/2440	Time: 165.049/86400
Decision: 800/2440	Time: 166.51/86400
Decision: 800/2440	Time: 167.992/86400
Decision: 800/2440	Time: 169.41/86400
Decision: 800/2440	Time: 170.97/86400
Decision: 800/2440	Time: 172.735/86400
Decision: 800/2440	Time: 174.177/86400
Decision: 800/2440	Time: 175.818/86400
Decision: 800/2440	Time: 177.265/86400
Decision: 800/2440	Time: 178.833/86400
Decision: 800/2440	Time: 180.62/86400
Decision: 800/2440	Time: 182.101/86400
Decision: 800/2440	Time: 183.612/86400
Decision: 800/2440	Time: 185.097/86400
Decision: 800/2440	Time: 186.452/86400
Decision: 800/2440	Time: 188.208/86400
Decision: 800/2440	Time: 189.901/86400
Decision: 800/2440	Time: 191.518/86400
Decision: 800/2440	Time: 192.951/86400
Decision: 800/2440	Time: 195.154/86400
Decision: 800/2440	Time: 196.999/86400
Decision: 800/2440	Time: 198.526/86400
Decision: 800/2440	Time: 200.445/86400
Decision: 800/2440	Time: 202.037/86400
Decision: 800/2440	Time: 203.482/86400
Decision: 800/2440	Time: 205.368/86400
Decision: 800/2440	Time: 207.033/86400
Decision: 800/2440	Time: 208.724/86400
Decision: 800/2440	Time: 210.434/86400
Decision: 800/2440	Time: 213.126/86400
Decision: 800/2440	Time: 215.386/86400
Decision: 800/2440	Time: 216.908/86400
Decision: 800/2440	Time: 218.4/86400
Decision: 800/2440	Time: 219.825/86400
Decision: 800/2440	Time: 221.362/86400
Decision: 800/2440	Time: 223.279/86400
Decision: 800/2440	Time: 225.014/86400
Decision: 800/2440	Time: 226.71/86400
Decision: 800/2440	Time: 228.488/86400
Decision: 800/2440	Time: 230.242/86400
Decision: 800/2440	Time: 233.186/86400
Decision: 800/2440	Time: 235.354/86400
Decision: 800/2440	Time: 236.94/86400
Decision: 800/2440	Time: 238.773/86400
Decision: 800/2440	Time: 240.583/86400
Decision: 800/2440	Time: 242.583/86400
Decision: 800/2440	Time: 244.464/86400
Decision: 800/2440	Time: 246.137/86400
Decision: 800/2440	Time: 247.714/86400
Decision: 800/2440	Time: 250.5/86400
Decision: 800/2440	Time: 253.141/86400
Decision: 800/2440	Time: 254.852/86400
Decision: 800/2440	Time: 256.633/86400
Decision: 800/2440	Time: 258.361/86400
Decision: 800/2440	Time: 260.074/86400
Decision: 800/2440	Time: 262.288/86400
Decision: 800/2440	Time: 264.287/86400
Decision: 800/2440	Time: 266.268/86400
Decision: 800/2440	Time: 267.973/86400
Decision: 800/2440	Time: 269.781/86400
Decision: 800/2440	Time: 271.946/86400
Decision: 800/2440	Time: 273.905/86400
Decision: 800/2440	Time: 275.764/86400
Decision: 800/2440	Time: 277.494/86400
Decision: 800/2440	Time: 279.305/86400
Decision: 800/2440	Time: 281.611/86400
Decision: 800/2440	Time: 283.375/86400
Decision: 800/2440	Time: 285.326/86400
Decision: 800/2440	Time: 287.229/86400
Decision: 800/2440	Time: 289.041/86400
Decision: 800/2440	Time: 291.25/86400
Decision: 800/2440	Time: 293.169/86400
Decision: 800/2440	Time: 295.311/86400
Decision: 800/2440	Time: 297.307/86400
Decision: 800/2440	Time: 299.17/86400
Decision: 800/2440	Time: 301.444/86400
Decision: 800/2440	Time: 303.434/86400
Decision: 800/2440	Time: 305.392/86400
Decision: 800/2440	Time: 307.317/86400
Decision: 800/2440	Time: 309.299/86400
Decision: 800/2440	Time: 311.58/86400
Decision: 800/2440	Time: 313.547/86400
Decision: 800/2440	Time: 315.604/86400
Decision: 800/2440	Time: 317.647/86400
Decision: 800/2440	Time: 319.531/86400
Decision: 800/2440	Time: 321.99/86400
Decision: 800/2440	Time: 324.014/86400
Decision: 800/2440	Time: 326.084/86400
Decision: 800/2440	Time: 328.234/86400
Decision: 800/2440	Time: 330.242/86400
Decision: 800/2440	Time: 332.63/86400
Decision: 800/2440	Time: 334.678/86400
Decision: 800/2440	Time: 336.817/86400
Decision: 800/2440	Time: 340.11/86400
Decision: 800/2440	Time: 342.083/86400
Decision: 800/2440	Time: 344.464/86400
Decision: 800/2440	Time: 346.568/86400
Decision: 800/2440	Time: 348.628/86400
Decision: 800/2440	Time: 350.476/86400
Decision: 800/2440	Time: 352.471/86400
Decision: 800/2440	Time: 354.845/86400
Decision: 800/2440	Time: 356.654/86400
Decision: 800/2440	Time: 358.355/86400
Decision: 800/2440	Time: 360.25/86400
Decision: 800/2440	Time: 362.152/86400
Decision: 800/2440	Time: 364.387/86400
Decision: 800/2440	Time: 366.44/86400
Decision: 800/2440	Time: 368.205/86400
Decision: 800/2440	Time: 369.981/86400
Decision: 800/2440	Time: 371.661/86400
Decision: 800/2440	Time: 373.894/86400
Decision: 800/2440	Time: 375.682/86400
Decision: 800/2440	Time: 377.589/86400
Decision: 800/2440	Time: 379.457/86400
Decision: 800/2440	Time: 380.713/86400
Decision: 800/2440	Time: 382.851/86400
Decision: 800/2440	Time: 384.558/86400
Decision: 800/2440	Time: 386.267/86400
Decision: 800/2440	Time: 388.004/86400
Decision: 800/2440	Time: 389.801/86400
Decision: 800/2440	Time: 391.82/86400
Decision: 800/2440	Time: 393.346/86400
Decision: 800/2440	Time: 395.079/86400
Decision: 800/2440	Time: 396.913/86400
Decision: 800/2440	Time: 398.681/86400
Decision: 800/2440	Time: 400.819/86400
Decision: 800/2440	Time: 403.296/86400
Decision: 800/2440	Time: 405.008/86400
Decision: 800/2440	Time: 406.711/86400
Decision: 800/2440	Time: 408.514/86400
Decision: 800/2440	Time: 410.648/86400
Decision: 800/2440	Time: 412.669/86400
Decision: 800/2440	Time: 414.538/86400
Decision: 800/2440	Time: 415.723/86400
Decision: 800/2440	Time: 417.634/86400
Decision: 800/2440	Time: 419.763/86400
Decision: 800/2440	Time: 421.487/86400
Decision: 800/2440	Time: 423.075/86400
Decision: 800/2440	Time: 424.91/86400
Decision: 800/2440	Time: 426.471/86400
Decision: 800/2440	Time: 428.446/86400
Decision: 800/2440	Time: 430.21/86400
Decision: 800/2440	Time: 431.794/86400
Decision: 800/2440	Time: 433.558/86400
Decision: 800/2440	Time: 435.335/86400
Decision: 800/2440	Time: 437.253/86400
Decision: 800/2440	Time: 438.949/86400
Decision: 800/2440	Time: 441.248/86400
Decision: 800/2440	Time: 442.934/86400
Decision: 800/2440	Time: 444.633/86400
Decision: 800/2440	Time: 446.718/86400
Decision: 800/2440	Time: 448.596/86400
Decision: 800/2440	Time: 450.31/86400
Decision: 800/2440	Time: 452.062/86400
Decision: 800/2440	Time: 453.891/86400
Decision: 800/2440	Time: 455.927/86400
Decision: 800/2440	Time: 457.634/86400
Decision: 800/2440	Time: 459.21/86400
Decision: 800/2440	Time: 460.869/86400
Decision: 800/2440	Time: 462.442/86400
Decision: 800/2440	Time: 464.472/86400
Decision: 800/2440	Time: 465.844/86400
Decision: 800/2440	Time: 467.806/86400
Decision: 800/2440	Time: 469.542/86400
Decision: 800/2440	Time: 471.275/86400
Decision: 800/2440	Time: 473.244/86400
Decision: 800/2440	Time: 474.952/86400
Decision: 800/2440	Time: 476.835/86400
Decision: 800/2440	Time: 478.71/86400
Decision: 800/2440	Time: 480.857/86400
Decision: 800/2440	Time: 483.043/86400
Decision: 800/2440	Time: 484.896/86400
Decision: 800/2440	Time: 486.692/86400
Decision: 800/2440	Time: 488.528/86400
Decision: 800/2440	Time: 490.624/86400
Decision: 800/2440	Time: 493.099/86400
Decision: 800/2440	Time: 495.147/86400
Decision: 800/2440	Time: 497.101/86400
Decision: 800/2440	Time: 499.105/86400
Decision: 800/2440	Time: 501.023/86400
Decision: 800/2440	Time: 503.49/86400
Decision: 800/2440	Time: 505.336/86400
Decision: 800/2440	Time: 507.279/86400
Decision: 800/2440	Time: 509.383/86400
Decision: 800/2440	Time: 511.409/86400
Decision: 800/2440	Time: 514.023/86400
Decision: 800/2440	Time: 516.097/86400
Decision: 800/2440	Time: 517.992/86400
Decision: 800/2440	Time: 520.088/86400
Decision: 800/2440	Time: 522.084/86400
Decision: 800/2440	Time: 524.352/86400
Decision: 800/2440	Time: 526.31/86400
Decision: 800/2440	Time: 528.231/86400
Decision: 800/2440	Time: 530.4/86400
Decision: 800/2440	Time: 532.197/86400
Decision: 800/2440	Time: 534.641/86400
Decision: 800/2440	Time: 536.784/86400
Decision: 800/2440	Time: 538.685/86400
Decision: 800/2440	Time: 540.743/86400
Decision: 800/2440	Time: 542.934/86400
Decision: 800/2440	Time: 545.237/86400
Decision: 800/2440	Time: 547.333/86400
Decision: 800/2440	Time: 549.285/86400
Decision: 800/2440	Time: 551.245/86400
Decision: 800/2440	Time: 553.47/86400
Decision: 800/2440	Time: 555.853/86400
Decision: 800/2440	Time: 557.782/86400
Decision: 800/2440	Time: 559.879/86400
Decision: 800/2440	Time: 561.755/86400
Decision: 800/2440	Time: 563.775/86400
Decision: 800/2440	Time: 566.182/86400
Decision: 800/2440	Time: 568.095/86400
Decision: 800/2440	Time: 569.823/86400
Decision: 800/2440	Time: 571.875/86400
Decision: 800/2440	Time: 573.633/86400
Decision: 800/2440	Time: 575.805/86400
Decision: 800/2440	Time: 577.608/86400
Decision: 800/2440	Time: 579.589/86400
Decision: 800/2440	Time: 581.461/86400
Decision: 800/2440	Time: 583.092/86400
Decision: 800/2440	Time: 585.507/86400
Decision: 800/2440	Time: 587.319/86400
Decision: 800/2440	Time: 589.094/86400
Decision: 800/2440	Time: 590.84/86400
Decision: 800/2440	Time: 592.551/86400
Decision: 800/2440	Time: 594.631/86400
Decision: 800/2440	Time: 596.367/86400
Decision: 800/2440	Time: 597.984/86400
Decision: 800/2440	Time: 599.655/86400
Decision: 800/2440	Time: 601.689/86400
Decision: 800/2440	Time: 603.548/86400
Decision: 800/2440	Time: 605.243/86400
Decision: 800/2440	Time: 606.88/86400
Decision: 800/2440	Time: 608.679/86400
Decision: 800/2440	Time: 610.229/86400
Decision: 800/2440	Time: 612.227/86400
Decision: 800/2440	Time: 613.871/86400
Decision: 800/2440	Time: 615.627/86400
Decision: 800/2440	Time: 617.516/86400
Decision: 800/2440	Time: 619.297/86400
Decision: 800/2440	Time: 621.31/86400
Decision: 800/2440	Time: 623.109/86400
Decision: 800/2440	Time: 624.832/86400
Decision: 800/2440	Time: 626.412/86400
Decision: 800/2440	Time: 628.125/86400
Decision: 800/2440	Time: 630.234/86400
Decision: 800/2440	Time: 632.145/86400
Decision: 800/2440	Time: 633.718/86400
Decision: 800/2440	Time: 635.522/86400
Decision: 800/2440	Time: 637.859/86400
Decision: 800/2440	Time: 640.292/86400
Decision: 800/2440	Time: 642.341/86400
Decision: 800/2440	Time: 644.235/86400
Decision: 800/2440	Time: 646.029/86400
Decision: 800/2440	Time: 647.656/86400
Decision: 800/2440	Time: 649.796/86400
Decision: 800/2440	Time: 651.702/86400
Decision: 800/2440	Time: 653.408/86400
Decision: 800/2440	Time: 655.108/86400
Decision: 800/2440	Time: 656.735/86400
Decision: 800/2440	Time: 658.865/86400
Decision: 800/2440	Time: 660.663/86400
Decision: 800/2440	Time: 662.401/86400
Decision: 800/2440	Time: 664.31/86400
Decision: 800/2440	Time: 666.278/86400
Decision: 800/2440	Time: 667.887/86400
Decision: 800/2440	Time: 669.707/86400
Decision: 800/2440	Time: 671.534/86400
Decision: 800/2440	Time: 673.316/86400
Decision: 800/2440	Time: 675.443/86400
Decision: 800/2440	Time: 677.53/86400
Decision: 800/2440	Time: 679.288/86400
Decision: 800/2440	Time: 681.154/86400
Decision: 800/2440	Time: 682.966/86400
Decision: 800/2440	Time: 684.681/86400
Decision: 800/2440	Time: 688.108/86400
Decision: 800/2440	Time: 689.96/86400
Decision: 800/2440	Time: 691.652/86400
Decision: 800/2440	Time: 693.428/86400
Decision: 800/2440	Time: 695.19/86400
Decision: 800/2440	Time: 697.447/86400
Decision: 800/2440	Time: 699.228/86400
Decision: 800/2440	Time: 700.951/86400
Decision: 800/2440	Time: 702.687/86400
Decision: 800/2440	Time: 704.699/86400
Decision: 800/2440	Time: 706.809/86400
Decision: 800/2440	Time: 708.636/86400
Decision: 800/2440	Time: 710.53/86400
Decision: 800/2440	Time: 712.549/86400
Decision: 800/2440	Time: 714.439/86400
Decision: 800/2440	Time: 716.768/86400
Decision: 800/2440	Time: 718.783/86400
Decision: 800/2440	Time: 720.724/86400
Decision: 800/2440	Time: 722.709/86400
Decision: 800/2440	Time: 724.662/86400
Decision: 800/2440	Time: 726.898/86400
Decision: 800/2440	Time: 728.6/86400
Decision: 800/2440	Time: 730.52/86400
Decision: 800/2440	Time: 732.498/86400
Decision: 800/2440	Time: 734.113/86400
Decision: 800/2440	Time: 736.113/86400
Decision: 800/2440	Time: 737.987/86400
Decision: 800/2440	Time: 739.837/86400
Decision: 800/2440	Time: 741.627/86400
Decision: 800/2440	Time: 743.312/86400
Decision: 800/2440	Time: 745.604/86400
Decision: 800/2440	Time: 747.496/86400
Decision: 800/2440	Time: 749.423/86400
Decision: 800/2440	Time: 751.329/86400
Decision: 800/2440	Time: 753.413/86400
Decision: 800/2440	Time: 755.6/86400
Decision: 800/2440	Time: 757.744/86400
Decision: 800/2440	Time: 759.537/86400
Decision: 800/2440	Time: 761.381/86400
Decision: 800/2440	Time: 762.994/86400
Decision: 800/2440	Time: 765.034/86400
Decision: 800/2440	Time: 766.913/86400
Decision: 800/2440	Time: 768.421/86400
Decision: 800/2440	Time: 770.134/86400
Decision: 800/2440	Time: 772.005/86400
Decision: 800/2440	Time: 774.123/86400
Decision: 800/2440	Time: 775.78/86400
Decision: 800/2440	Time: 777.586/86400
Decision: 800/2440	Time: 779.509/86400
Decision: 800/2440	Time: 781.277/86400
Decision: 800/2440	Time: 783.478/86400
Decision: 800/2440	Time: 785.523/86400
Decision: 800/2440	Time: 787.469/86400
Decision: 800/2440	Time: 789.369/86400
Decision: 800/2440	Time: 791.058/86400
Decision: 800/2440	Time: 793.324/86400
Decision: 800/2440	Time: 795.064/86400
Decision: 800/2440	Time: 797.583/86400
Decision: 800/2440	Time: 799.507/86400
Decision: 800/2440	Time: 801.364/86400
Decision: 800/2440	Time: 803.469/86400
Decision: 800/2440	Time: 805.226/86400
Decision: 800/2440	Time: 807.113/86400
Decision: 800/2440	Time: 808.838/86400
Decision: 800/2440	Time: 810.787/86400
Decision: 800/2440	Time: 812.929/86400
Decision: 800/2440	Time: 814.652/86400
Decision: 800/2440	Time: 816.669/86400
Decision: 800/2440	Time: 818.47/86400
Decision: 800/2440	Time: 820.362/86400
Decision: 800/2440	Time: 822.483/86400
Decision: 800/2440	Time: 824.197/86400
Decision: 800/2440	Time: 825.964/86400
Decision: 800/2440	Time: 827.818/86400
Decision: 800/2440	Time: 829.605/86400
Decision: 800/2440	Time: 831.772/86400
Decision: 800/2440	Time: 833.533/86400
Decision: 800/2440	Time: 835.36/86400
Decision: 800/2440	Time: 837.271/86400
Decision: 800/2440	Time: 839.095/86400
Decision: 800/2440	Time: 841.207/86400
Decision: 800/2440	Time: 843.002/86400
Decision: 800/2440	Time: 844.698/86400
Decision: 800/2440	Time: 846.319/86400
Decision: 800/2440	Time: 848.04/86400
Decision: 800/2440	Time: 849.998/86400
Decision: 800/2440	Time: 851.737/86400
Decision: 800/2440	Time: 853.452/86400
Decision: 800/2440	Time: 855.246/86400
Decision: 800/2440	Time: 856.978/86400
Decision: 800/2440	Time: 858.976/86400
Decision: 800/2440	Time: 860.721/86400
Decision: 800/2440	Time: 862.575/86400
Decision: 800/2440	Time: 864.439/86400
Decision: 800/2440	Time: 866.164/86400
Decision: 800/2440	Time: 868.055/86400
Decision: 800/2440	Time: 869.902/86400
Decision: 800/2440	Time: 871.669/86400
Decision: 800/2440	Time: 873.55/86400
Decision: 800/2440	Time: 875.398/86400
Decision: 800/2440	Time: 877.463/86400
Decision: 800/2440	Time: 879.399/86400
Decision: 800/2440	Time: 881.141/86400
Decision: 800/2440	Time: 883.127/86400
Decision: 800/2440	Time: 884.943/86400
Decision: 800/2440	Time: 887.052/86400
Decision: 800/2440	Time: 888.958/86400
Decision: 800/2440	Time: 890.706/86400
Decision: 800/2440	Time: 892.569/86400
Decision: 800/2440	Time: 894.264/86400
Decision: 800/2440	Time: 896.18/86400
Decision: 800/2440	Time: 897.98/86400
Decision: 800/2440	Time: 899.912/86400
Decision: 800/2440	Time: 901.673/86400
Decision: 800/2440	Time: 903.538/86400
Decision: 800/2440	Time: 905.669/86400
Decision: 800/2440	Time: 907.517/86400
Decision: 800/2440	Time: 909.565/86400
Decision: 800/2440	Time: 911.403/86400
Decision: 800/2440	Time: 913.397/86400
Decision: 800/2440	Time: 915.729/86400
Decision: 800/2440	Time: 917.73/86400
Decision: 800/2440	Time: 919.532/86400
Decision: 800/2440	Time: 921.22/86400
Decision: 800/2440	Time: 923.099/86400
Decision: 800/2440	Time: 925.37/86400
Decision: 800/2440	Time: 927.32/86400
Decision: 800/2440	Time: 929.034/86400
Decision: 800/2440	Time: 931.776/86400
Decision: 800/2440	Time: 933.633/86400
Decision: 800/2440	Time: 936.373/86400
Decision: 800/2440	Time: 938.218/86400
Decision: 800/2440	Time: 940.182/86400
Decision: 800/2440	Time: 942.115/86400
Decision: 800/2440	Time: 943.971/86400
Decision: 800/2440	Time: 945.981/86400
Decision: 800/2440	Time: 948.098/86400
Decision: 800/2440	Time: 949.982/86400
Decision: 800/2440	Time: 951.774/86400
Decision: 800/2440	Time: 953.354/86400
Decision: 800/2440	Time: 955.873/86400
Decision: 800/2440	Time: 957.623/86400
Decision: 800/2440	Time: 959.249/86400
Decision: 800/2440	Time: 961.149/86400
Decision: 800/2440	Time: 963.096/86400
Decision: 800/2440	Time: 964.623/86400
Decision: 800/2440	Time: 966.3/86400
Decision: 800/2440	Time: 968.366/86400
Decision: 800/2440	Time: 970.263/86400
Decision: 800/2440	Time: 972.168/86400
Decision: 800/2440	Time: 974.195/86400
Decision: 800/2440	Time: 976.085/86400
Decision: 800/2440	Time: 977.891/86400
Decision: 800/2440	Time: 979.688/86400
Decision: 800/2440	Time: 981.54/86400
Decision: 800/2440	Time: 983.601/86400
Decision: 800/2440	Time: 985.498/86400
Decision: 800/2440	Time: 987.431/86400
Decision: 800/2440	Time: 988.849/86400
Decision: 800/2440	Time: 990.715/86400
Decision: 800/2440	Time: 992.904/86400
Decision: 800/2440	Time: 994.959/86400
Decision: 800/2440	Time: 996.973/86400
Decision: 800/2440	Time: 998.834/86400
Decision: 800/2440	Time: 1000.55/86400
Decision: 800/2440	Time: 1002.94/86400
Decision: 800/2440	Time: 1004.88/86400
Decision: 800/2440	Time: 1006.91/86400
Decision: 800/2440	Time: 1008.95/86400
Decision: 800/2440	Time: 1010.85/86400
Decision: 800/2440	Time: 1013.28/86400
Decision: 800/2440	Time: 1015.07/86400
Decision: 800/2440	Time: 1016.95/86400
Decision: 800/2440	Time: 1018.93/86400
Decision: 800/2440	Time: 1021.73/86400
Decision: 800/2440	Time: 1023.95/86400
Decision: 800/2440	Time: 1026.09/86400
Decision: 800/2440	Time: 1028.12/86400
Decision: 800/2440	Time: 1030.1/86400
Decision: 800/2440	Time: 1032.16/86400
Decision: 800/2440	Time: 1034.64/86400
Decision: 800/2440	Time: 1036.74/86400
Decision: 800/2440	Time: 1038.69/86400
Decision: 800/2440	Time: 1041.11/86400
Decision: 800/2440	Time: 1043.16/86400
Decision: 800/2440	Time: 1045.52/86400
Decision: 800/2440	Time: 1047.58/86400
Decision: 800/2440	Time: 1049.78/86400
Decision: 800/2440	Time: 1051.9/86400
Decision: 800/2440	Time: 1053.97/86400
Decision: 800/2440	Time: 1056.35/86400
Decision: 800/2440	Time: 1058.27/86400
Decision: 800/2440	Time: 1060.27/86400
Decision: 800/2440	Time: 1062.41/86400
Decision: 800/2440	Time: 1064.57/86400
Decision: 800/2440	Time: 1067.04/86400
Decision: 800/2440	Time: 1069.31/86400
Decision: 800/2440	Time: 1071.43/86400
Decision: 800/2440	Time: 1073.58/86400
Decision: 800/2440	Time: 1075.77/86400
Decision: 800/2440	Time: 1078.93/86400
Decision: 800/2440	Time: 1081.15/86400
Decision: 800/2440	Time: 1083.27/86400
Decision: 800/2440	Time: 1085.4/86400
Decision: 800/2440	Time: 1087.58/86400
Decision: 800/2440	Time: 1090.14/86400
Decision: 800/2440	Time: 1092.78/86400
Decision: 800/2440	Time: 1095.01/86400
Decision: 800/2440	Time: 1097.09/86400
Decision: 800/2440	Time: 1099.12/86400
Decision: 800/2440	Time: 1101.57/86400
Decision: 800/2440	Time: 1103.76/86400
Decision: 800/2440	Time: 1105.77/86400
Decision: 800/2440	Time: 1107.97/86400
Decision: 800/2440	Time: 1109.82/86400
Decision: 800/2440	Time: 1112.16/86400
Decision: 800/2440	Time: 1114.18/86400
Decision: 800/2440	Time: 1116.26/86400
Decision: 800/2440	Time: 1118.43/86400
Decision: 800/2440	Time: 1120.38/86400
Decision: 800/2440	Time: 1122.7/86400
Decision: 800/2440	Time: 1124.73/86400
Decision: 800/2440	Time: 1126.92/86400
Decision: 800/2440	Time: 1128.99/86400
Decision: 800/2440	Time: 1131.16/86400
Decision: 800/2440	Time: 1133.41/86400
Decision: 800/2440	Time: 1135.36/86400
Decision: 800/2440	Time: 1137.31/86400
Decision: 800/2440	Time: 1139.31/86400
Decision: 800/2440	Time: 1141.21/86400
Decision: 800/2440	Time: 1143.47/86400
Decision: 800/2440	Time: 1145.62/86400
Decision: 800/2440	Time: 1147.28/86400
Decision: 800/2440	Time: 1149.73/86400
Decision: 800/2440	Time: 1151.69/86400
Decision: 800/2440	Time: 1153.89/86400
Decision: 800/2440	Time: 1155.82/86400
Decision: 800/2440	Time: 1158.41/86400
Decision: 800/2440	Time: 1160.64/86400
Decision: 800/2440	Time: 1162.4/86400
Decision: 800/2440	Time: 1164.59/86400
Decision: 800/2440	Time: 1166.56/86400
Decision: 800/2440	Time: 1168.52/86400
Decision: 800/2440	Time: 1170.49/86400
Decision: 800/2440	Time: 1172.4/86400
Decision: 800/2440	Time: 1174.82/86400
Decision: 800/2440	Time: 1176.88/86400
Decision: 800/2440	Time: 1178.87/86400
Decision: 800/2440	Time: 1180.83/86400
Decision: 800/2440	Time: 1182.93/86400
Decision: 800/2440	Time: 1185.43/86400
Decision: 800/2440	Time: 1188.31/86400
Decision: 800/2440	Time: 1190.47/86400
Decision: 800/2440	Time: 1192.46/86400
Decision: 800/2440	Time: 1195.2/86400
Decision: 800/2440	Time: 1198.1/86400
Decision: 800/2440	Time: 1200.24/86400
Decision: 800/2440	Time: 1202.5/86400
Decision: 800/2440	Time: 1204.5/86400
Decision: 800/2440	Time: 1206.55/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.00 0.00 0.00 1/54 1635
Raw data (stat): 1635 (runsolver) D 1634 25830 25829 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 805749835 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 1133 0 7 0 799 4 0 0 25 0 1 0 805749835 6983680 1040 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1705 1040 300 300 0 1405 0
vsize: 6820
[startup+20.0191 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 1649 0 7 0 1797 7 0 0 25 0 1 0 805749835 11325440 1556 4294967295 134512640 135726644 3221224576 3221222896 134729084 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2765 1556 300 300 0 2465 0
vsize: 11060
[startup+30.0196 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 2276 0 7 0 2795 9 0 0 25 0 1 0 805749835 11890688 2183 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2903 2183 300 300 0 2603 0
vsize: 11612
[startup+40.0214 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 2898 0 7 0 3791 13 0 0 25 0 1 0 805749835 13602816 2708 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3321 2708 300 300 0 3021 0
vsize: 13284
[startup+50.0221 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 3166 0 7 0 4786 15 0 0 25 0 1 0 805749835 14540800 2976 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3550 2976 300 300 0 3250 0
vsize: 14200
[startup+60.0426 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 3558 0 7 0 5786 17 0 0 25 0 1 0 805749835 16154624 3175 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3944 3175 300 300 0 3644 0
vsize: 15776
[startup+70.0434 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 3778 0 7 0 6783 20 0 0 25 0 1 0 805749835 17154048 3395 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4188 3395 300 300 0 3888 0
vsize: 16752
[startup+80.0442 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 4116 0 7 0 7781 22 0 0 25 0 1 0 805749835 17596416 3733 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4296 3733 300 300 0 3996 0
vsize: 17184
[startup+90.0449 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 4404 0 7 0 8778 26 0 0 25 0 1 0 805749835 26574848 4021 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6488 4021 300 300 0 6188 0
vsize: 25952
[startup+100.045 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 4672 0 7 0 9774 29 0 0 25 0 1 0 805749835 26836992 4289 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6552 4289 300 300 0 6252 0
vsize: 26208
[startup+110.045 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 4982 0 7 0 10773 30 0 0 25 0 1 0 805749835 27099136 4599 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6616 4599 300 300 0 6316 0
vsize: 26464
[startup+120.046 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 5078 0 7 0 11772 32 0 0 25 0 1 0 805749835 27344896 4695 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6676 4695 300 300 0 6376 0
vsize: 26704
[startup+130.046 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 5716 0 7 0 12769 35 0 0 25 0 1 0 805749835 29147136 4948 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7116 4948 300 300 0 6816 0
vsize: 28464
[startup+140.047 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 6120 0 7 0 13767 37 0 0 25 0 1 0 805749835 29835264 5352 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7284 5352 300 300 0 6984 0
vsize: 29136
[startup+150.048 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 6714 0 7 0 14764 40 0 0 25 0 1 0 805749835 30982144 5946 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7564 5946 300 300 0 7264 0
vsize: 30256
[startup+160.048 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 6846 0 7 0 15763 41 0 0 25 0 1 0 805749835 31473664 6078 4294967295 134512640 135726644 3221224576 3221222896 134729216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7684 6078 300 300 0 7384 0
vsize: 30736
[startup+170.048 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 6905 0 7 0 16762 43 0 0 25 0 1 0 805749835 31637504 6137 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7724 6137 300 300 0 7424 0
vsize: 30896
[startup+180.048 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 6995 0 7 0 17761 44 0 0 25 0 1 0 805749835 31965184 6227 4294967295 134512640 135726644 3221224576 3221223120 134736584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7804 6227 300 300 0 7504 0
vsize: 31216
[startup+190.049 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 7146 0 7 0 18758 47 0 0 25 0 1 0 805749835 32620544 6378 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7964 6378 300 300 0 7664 0
vsize: 31856
[startup+200.049 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 7255 0 7 0 19757 48 0 0 25 0 1 0 805749835 33112064 6487 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8084 6487 300 300 0 7784 0
vsize: 32336
[startup+210.048 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 7301 0 7 0 20757 49 0 0 25 0 1 0 805749835 33275904 6533 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8124 6533 300 300 0 7824 0
vsize: 32496
[startup+220.049 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 7452 0 7 0 21755 50 0 0 25 0 1 0 805749835 33603584 6684 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8204 6684 300 300 0 7904 0
vsize: 32816
[startup+230.05 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 7713 0 7 0 22754 52 0 0 25 0 1 0 805749835 34095104 6945 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8324 6945 300 300 0 8024 0
vsize: 33296
[startup+240.051 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 8009 0 7 0 23752 54 0 0 25 0 1 0 805749835 34586624 7241 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8444 7241 300 300 0 8144 0
vsize: 33776
[startup+250.051 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 8232 0 7 0 24750 56 0 0 25 0 1 0 805749835 35078144 7464 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8564 7464 300 300 0 8264 0
vsize: 34256
[startup+260.051 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 8565 0 7 0 25749 58 0 0 25 0 1 0 805749835 35246080 7797 4294967295 134512640 135726644 3221224576 3221222816 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8605 7797 300 300 0 8305 0
vsize: 34420
[startup+270.052 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 8846 0 7 0 26747 60 0 0 25 0 1 0 805749835 35737600 8078 4294967295 134512640 135726644 3221224576 3221222992 134737977 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8725 8078 300 300 0 8425 0
vsize: 34900
[startup+280.052 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 9042 0 7 0 27746 61 0 0 25 0 1 0 805749835 52678656 8274 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12861 8274 300 300 0 12561 0
vsize: 51444
[startup+290.054 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 9889 0 7 0 28743 64 0 0 25 0 1 0 805749835 55988224 8352 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13669 8352 300 300 0 13369 0
vsize: 54676
[startup+300.053 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 9962 0 7 0 29742 65 0 0 25 0 1 0 805749835 56152064 8425 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13709 8425 300 300 0 13409 0
vsize: 54836
[startup+310.053 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 10120 0 7 0 30741 66 0 0 25 0 1 0 805749835 56315904 8583 4294967295 134512640 135726644 3221224576 3221223072 134744172 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13749 8583 300 300 0 13449 0
vsize: 54996
[startup+320.054 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 10316 0 7 0 31740 68 0 0 25 0 1 0 805749835 56512512 8779 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13797 8779 300 300 0 13497 0
vsize: 55188
[startup+330.055 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 10522 0 7 0 32738 70 0 0 25 0 1 0 805749835 56709120 8985 4294967295 134512640 135726644 3221224576 3221223088 134742890 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13845 8985 300 300 0 13545 0
vsize: 55380
[startup+340.056 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 10816 0 7 0 33736 72 0 0 25 0 1 0 805749835 57495552 9279 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14037 9279 300 300 0 13737 0
vsize: 56148
[startup+350.056 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11079 0 7 0 34736 73 0 0 25 0 1 0 805749835 57888768 9542 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14133 9542 300 300 0 13833 0
vsize: 56532
[startup+360.057 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11142 0 7 0 35735 74 0 0 25 0 1 0 805749835 58085376 9605 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14181 9605 300 300 0 13881 0
vsize: 56724
[startup+370.058 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11168 0 7 0 36734 74 0 0 25 0 1 0 805749835 58085376 9631 4294967295 134512640 135726644 3221224576 3221223088 134742890 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14181 9631 300 300 0 13881 0
vsize: 56724
[startup+380.058 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11197 0 7 0 37734 75 0 0 25 0 1 0 805749835 58085376 9660 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14181 9660 300 300 0 13881 0
vsize: 56724
[startup+390.058 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11225 0 7 0 38734 76 0 0 25 0 1 0 805749835 58085376 9688 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14181 9688 300 300 0 13881 0
vsize: 56724
[startup+400.059 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11253 0 7 0 39733 76 0 0 25 0 1 0 805749835 58085376 9716 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14181 9716 300 300 0 13881 0
vsize: 56724
[startup+410.059 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11275 0 7 0 40732 78 0 0 25 0 1 0 805749835 58085376 9738 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14181 9738 300 300 0 13881 0
vsize: 56724
[startup+420.06 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11298 0 7 0 41732 78 0 0 25 0 1 0 805749835 58085376 9761 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14181 9761 300 300 0 13881 0
vsize: 56724
[startup+430.06 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11323 0 7 0 42731 79 0 0 25 0 1 0 805749835 58085376 9786 4294967295 134512640 135726644 3221224576 3221223088 134742928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14181 9786 300 300 0 13881 0
vsize: 56724
[startup+440.061 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11359 0 7 0 43731 80 0 0 25 0 1 0 805749835 58085376 9822 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14181 9822 300 300 0 13881 0
vsize: 56724
[startup+450.062 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11403 0 7 0 44730 80 0 0 25 0 1 0 805749835 58220544 9866 4294967295 134512640 135726644 3221224576 3221223168 134760396 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14214 9866 300 300 0 13914 0
vsize: 56856
[startup+460.062 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11447 0 7 0 45730 81 0 0 25 0 1 0 805749835 58351616 9910 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14246 9910 300 300 0 13946 0
vsize: 56984
[startup+470.063 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11506 0 7 0 46729 82 0 0 25 0 1 0 805749835 58503168 9969 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14283 9969 300 300 0 13983 0
vsize: 57132
[startup+480.062 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11541 0 7 0 47728 83 0 0 25 0 1 0 805749835 58503168 10004 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14283 10004 300 300 0 13983 0
vsize: 57132
[startup+490.063 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11584 0 7 0 48727 84 0 0 25 0 1 0 805749835 58621952 10047 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14312 10047 300 300 0 14012 0
vsize: 57248
[startup+500.064 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11618 0 7 0 49727 84 0 0 25 0 1 0 805749835 58621952 10081 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14312 10081 300 300 0 14012 0
vsize: 57248
[startup+510.064 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11660 0 7 0 50727 85 0 0 25 0 1 0 805749835 58765312 10123 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14347 10123 300 300 0 14047 0
vsize: 57388
[startup+520.065 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11720 0 7 0 51726 86 0 0 25 0 1 0 805749835 58941440 10183 4294967295 134512640 135726644 3221224576 3221223072 134744211 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14390 10183 300 300 0 14090 0
vsize: 57560
[startup+530.065 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11764 0 7 0 52725 88 0 0 25 0 1 0 805749835 59072512 10227 4294967295 134512640 135726644 3221224576 3221223088 134742892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14422 10227 300 300 0 14122 0
vsize: 57688
[startup+540.066 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11846 0 7 0 53724 89 0 0 25 0 1 0 805749835 59445248 10309 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14513 10309 300 300 0 14213 0
vsize: 58052
[startup+550.067 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11894 0 7 0 54724 89 0 0 25 0 1 0 805749835 59641856 10357 4294967295 134512640 135726644 3221224576 3221223184 134741148 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14561 10357 300 300 0 14261 0
vsize: 58244
[startup+560.067 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11950 0 7 0 55723 90 0 0 25 0 1 0 805749835 59838464 10413 4294967295 134512640 135726644 3221224576 3221223184 134741128 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14609 10413 300 300 0 14309 0
vsize: 58436
[startup+570.067 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 11976 0 7 0 56723 90 0 0 25 0 1 0 805749835 59838464 10439 4294967295 134512640 135726644 3221224576 3221223088 134742897 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14609 10439 300 300 0 14309 0
vsize: 58436
[startup+580.067 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 12029 0 7 0 57722 91 0 0 25 0 1 0 805749835 59953152 10492 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14637 10492 300 300 0 14337 0
vsize: 58548
[startup+590.068 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 12077 0 7 0 58722 92 0 0 25 0 1 0 805749835 60088320 10540 4294967295 134512640 135726644 3221224576 3221223072 134744246 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14670 10540 300 300 0 14370 0
vsize: 58680
[startup+600.068 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 12134 0 7 0 59721 92 0 0 25 0 1 0 805749835 60223488 10597 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14703 10597 300 300 0 14403 0
vsize: 58812
[startup+610.068 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 12177 0 7 0 60721 93 0 0 25 0 1 0 805749835 60354560 10640 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14735 10640 300 300 0 14435 0
vsize: 58940
[startup+620.069 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 12225 0 7 0 61720 94 0 0 25 0 1 0 805749835 60354560 10688 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14735 10688 300 300 0 14435 0
vsize: 58940
[startup+630.069 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 12271 0 7 0 62720 95 0 0 25 0 1 0 805749835 60489728 10734 4294967295 134512640 135726644 3221224576 3221223088 134742633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14768 10734 300 300 0 14468 0
vsize: 59072
[startup+640.07 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 12319 0 7 0 63719 95 0 0 25 0 1 0 805749835 60624896 10782 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14801 10782 300 300 0 14501 0
vsize: 59204
[startup+650.071 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 13896 0 7 0 64716 99 0 0 25 0 1 0 805749835 67035136 10822 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16366 10822 300 300 0 16066 0
vsize: 65464
[startup+660.07 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 13943 0 7 0 65716 99 0 0 25 0 1 0 805749835 67035136 10869 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16366 10869 300 300 0 16066 0
vsize: 65464
[startup+670.071 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 13983 0 7 0 66715 100 0 0 25 0 1 0 805749835 67149824 10909 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16394 10909 300 300 0 16094 0
vsize: 65576
[startup+680.072 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14036 0 7 0 67714 101 0 0 25 0 1 0 805749835 67264512 10962 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16422 10962 300 300 0 16122 0
vsize: 65688
[startup+690.073 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14080 0 7 0 68714 102 0 0 25 0 1 0 805749835 67391488 11006 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16453 11006 300 300 0 16153 0
vsize: 65812
[startup+700.074 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14118 0 7 0 69713 103 0 0 25 0 1 0 805749835 67391488 11044 4294967295 134512640 135726644 3221224576 3221222896 134729220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16453 11044 300 300 0 16153 0
vsize: 65812
[startup+710.074 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14145 0 7 0 70712 104 0 0 25 0 1 0 805749835 67506176 11071 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16481 11071 300 300 0 16181 0
vsize: 65924
[startup+720.075 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14187 0 7 0 71712 105 0 0 25 0 1 0 805749835 67633152 11113 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16512 11113 300 300 0 16212 0
vsize: 66048
[startup+730.075 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14246 0 7 0 72711 106 0 0 25 0 1 0 805749835 67756032 11172 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16542 11172 300 300 0 16242 0
vsize: 66168
[startup+740.075 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14297 0 7 0 73710 107 0 0 25 0 1 0 805749835 67891200 11223 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16575 11223 300 300 0 16275 0
vsize: 66300
[startup+750.075 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14329 0 7 0 74710 107 0 0 25 0 1 0 805749835 67891200 11255 4294967295 134512640 135726644 3221224576 3221223072 134744074 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16575 11255 300 300 0 16275 0
vsize: 66300
[startup+760.076 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14383 0 7 0 75709 108 0 0 25 0 1 0 805749835 68026368 11309 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16608 11309 300 300 0 16308 0
vsize: 66432
[startup+770.076 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14443 0 7 0 76708 109 0 0 25 0 1 0 805749835 68268032 11369 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16667 11369 300 300 0 16367 0
vsize: 66668
[startup+780.077 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14478 0 7 0 77707 110 0 0 25 0 1 0 805749835 68268032 11404 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16667 11404 300 300 0 16367 0
vsize: 66668
[startup+790.077 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14531 0 7 0 78706 111 0 0 25 0 1 0 805749835 68403200 11457 4294967295 134512640 135726644 3221224576 3221223120 134736717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16700 11457 300 300 0 16400 0
vsize: 66800
[startup+800.076 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14562 0 7 0 79705 113 0 0 25 0 1 0 805749835 68517888 11488 4294967295 134512640 135726644 3221224576 3221223184 134741252 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16728 11488 300 300 0 16428 0
vsize: 66912
[startup+810.076 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14620 0 7 0 80704 114 0 0 25 0 1 0 805749835 68653056 11546 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16761 11546 300 300 0 16461 0
vsize: 67044
[startup+820.077 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14656 0 7 0 81704 114 0 0 25 0 1 0 805749835 68653056 11582 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16761 11582 300 300 0 16461 0
vsize: 67044
[startup+830.078 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14702 0 7 0 82703 115 0 0 25 0 1 0 805749835 68788224 11628 4294967295 134512640 135726644 3221224576 3221222816 134782799 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16794 11628 300 300 0 16494 0
vsize: 67176
[startup+840.077 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14750 0 7 0 83703 116 0 0 25 0 1 0 805749835 68907008 11676 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16823 11676 300 300 0 16523 0
vsize: 67292
[startup+850.078 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14809 0 7 0 84701 117 0 0 25 0 1 0 805749835 69025792 11735 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16852 11735 300 300 0 16552 0
vsize: 67408
[startup+860.078 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14851 0 7 0 85701 118 0 0 25 0 1 0 805749835 69025792 11777 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16852 11777 300 300 0 16552 0
vsize: 67408
[startup+870.079 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14895 0 7 0 86700 119 0 0 25 0 1 0 805749835 69160960 11821 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16885 11821 300 300 0 16585 0
vsize: 67540
[startup+880.08 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14926 0 7 0 87700 119 0 0 25 0 1 0 805749835 69160960 11852 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16885 11852 300 300 0 16585 0
vsize: 67540
[startup+890.079 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 14969 0 7 0 88699 120 0 0 25 0 1 0 805749835 69296128 11895 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16918 11895 300 300 0 16618 0
vsize: 67672
[startup+900.079 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15024 0 7 0 89698 121 0 0 25 0 1 0 805749835 69427200 11950 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16950 11950 300 300 0 16650 0
vsize: 67800
[startup+910.079 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15058 0 7 0 90697 122 0 0 25 0 1 0 805749835 69427200 11984 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16950 11984 300 300 0 16650 0
vsize: 67800
[startup+920.08 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15088 0 7 0 91697 122 0 0 25 0 1 0 805749835 69603328 12014 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16993 12014 300 300 0 16693 0
vsize: 67972
[startup+930.08 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15135 0 7 0 92697 123 0 0 25 0 1 0 805749835 69603328 12061 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16993 12061 300 300 0 16693 0
vsize: 67972
[startup+940.08 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15215 0 7 0 93696 124 0 0 25 0 1 0 805749835 70131712 12141 4294967295 134512640 135726644 3221224576 3221223088 134742635 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17122 12141 300 300 0 16822 0
vsize: 68488
[startup+950.08 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15249 0 7 0 94696 125 0 0 25 0 1 0 805749835 70131712 12175 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17122 12175 300 300 0 16822 0
vsize: 68488
[startup+960.08 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15283 0 7 0 95695 126 0 0 25 0 1 0 805749835 70131712 12209 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17122 12209 300 300 0 16822 0
vsize: 68488
[startup+970.081 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15339 0 7 0 96694 127 0 0 25 0 1 0 805749835 70266880 12265 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17155 12265 300 300 0 16855 0
vsize: 68620
[startup+980.08 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15379 0 7 0 97693 128 0 0 25 0 1 0 805749835 70389760 12305 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17185 12305 300 300 0 16885 0
vsize: 68740
[startup+990.08 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15407 0 7 0 98693 128 0 0 25 0 1 0 805749835 70389760 12333 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17185 12333 300 300 0 16885 0
vsize: 68740
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15452 0 7 0 99692 129 0 0 25 0 1 0 805749835 70524928 12378 4294967295 134512640 135726644 3221224576 3221223072 134744187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17218 12378 300 300 0 16918 0
vsize: 68872
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15495 0 7 0 100691 130 0 0 25 0 1 0 805749835 70668288 12421 4294967295 134512640 135726644 3221224576 3221223120 134736802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17253 12421 300 300 0 16953 0
vsize: 69012
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15529 0 7 0 101691 131 0 0 25 0 1 0 805749835 70787072 12455 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17282 12455 300 300 0 16982 0
vsize: 69128
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15563 0 7 0 102691 131 0 0 25 0 1 0 805749835 70787072 12489 4294967295 134512640 135726644 3221224576 3221222712 134761838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17282 12489 300 300 0 16982 0
vsize: 69128
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15627 0 7 0 103690 132 0 0 25 0 1 0 805749835 71102464 12553 4294967295 134512640 135726644 3221224576 3221223056 134729277 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17359 12553 300 300 0 17059 0
vsize: 69436
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15684 0 7 0 104690 132 0 0 25 0 1 0 805749835 71299072 12610 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17407 12610 300 300 0 17107 0
vsize: 69628
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15724 0 7 0 105690 132 0 0 25 0 1 0 805749835 71495680 12650 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17455 12650 300 300 0 17155 0
vsize: 69820
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15793 0 7 0 106689 134 0 0 25 0 1 0 805749835 71888896 12719 4294967295 134512640 135726644 3221224576 3221223072 134744229 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17551 12719 300 300 0 17251 0
vsize: 70204
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 15853 0 7 0 107688 134 0 0 25 0 1 0 805749835 72085504 12779 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17599 12779 300 300 0 17299 0
vsize: 70396
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16098 0 7 0 108687 135 0 0 25 0 1 0 805749835 72478720 13024 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17695 13024 300 300 0 17395 0
vsize: 70780
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16236 0 7 0 109686 137 0 0 25 0 1 0 805749835 73068544 13162 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17839 13162 300 300 0 17539 0
vsize: 71356
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16282 0 7 0 110685 138 0 0 25 0 1 0 805749835 73068544 13208 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17839 13208 300 300 0 17539 0
vsize: 71356
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16320 0 7 0 111685 138 0 0 25 0 1 0 805749835 73265152 13246 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17887 13246 300 300 0 17587 0
vsize: 71548
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16384 0 7 0 112684 140 0 0 25 0 1 0 805749835 73461760 13310 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17935 13310 300 300 0 17635 0
vsize: 71740
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16404 0 7 0 113683 141 0 0 25 0 1 0 805749835 73461760 13330 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17935 13330 300 300 0 17635 0
vsize: 71740
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16434 0 7 0 114682 142 0 0 25 0 1 0 805749835 73658368 13360 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17983 13360 300 300 0 17683 0
vsize: 71932
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16464 0 7 0 115681 143 0 0 25 0 1 0 805749835 73658368 13390 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17983 13390 300 300 0 17683 0
vsize: 71932
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16494 0 7 0 116681 143 0 0 25 0 1 0 805749835 73658368 13420 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17983 13420 300 300 0 17683 0
vsize: 71932
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16513 0 7 0 117680 144 0 0 25 0 1 0 805749835 73658368 13439 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17983 13439 300 300 0 17683 0
vsize: 71932
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16615 0 7 0 118679 145 0 0 25 0 1 0 805749835 74248192 13541 4294967295 134512640 135726644 3221224576 3221223088 134742931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18127 13541 300 300 0 17827 0
vsize: 72508
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16645 0 7 0 119679 146 0 0 25 0 1 0 805749835 74444800 13571 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18175 13571 300 300 0 17875 0
vsize: 72700
[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 1635
Raw data (stat): 1635 (pb2sat) R 1634 25830 25829 0 -1 0 16675 0 7 0 120678 147 0 0 25 0 1 0 805749835 74444800 13601 4294967295 134512640 135726644 3221224576 3221223088 134742897 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18175 13601 300 300 0 17875 0
vsize: 72700
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.37 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 1635
Raw data (stat): 1635 (pb2sat) Z 1634 25830 25829 0 -1 12 16676 0 7 0 120704 149 0 0 25 0 1 0 805749835 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): 1210.37
CPU time (s): 1208.54
CPU user time (s): 1207.04
CPU system time (s): 1.49977
CPU usage (%): 99.849
Max. virtual memory (Kb): 72700
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####