PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
MD5SUM	3c9e81ddaaf37dd621fe2bc839a3f27f
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	42
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.098984
Number of variables	3280
Total number of constraints	162
Number of constraints which are clauses	82
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	41
Trace number 34676

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-28 10:10:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23943 boxname=wulflinc26 idbench=17 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3c9e81ddaaf37dd621fe2bc839a3f27f  /oldhome/oroussel/tmp/wulflinc26/normalized-chnl40_41_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-chnl40_41_pb.cnf.cr.opb
IDLAUNCH: 23943
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        545980 kB
Buffers:         32152 kB
Cached:         425288 kB
SwapCached:        744 kB
Active:          25548 kB
Inactive:       433976 kB
HighTotal:      131008 kB
HighFree:        47572 kB
LowTotal:       903652 kB
LowFree:        498408 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            23384 kB
Committed_AS:    63720 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:30:45 (client local time) WITH STATUS 0 IN 1210.25 SECONDS
stats: 23943 7 1210.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 3200/9680	Time: 57.4523/86400
Decision: 3200/9680	Time: 59.339/86400
Decision: 3200/9680	Time: 61.3357/86400
Decision: 3200/9680	Time: 63.2174/86400
Decision: 3200/9680	Time: 65.3051/86400
Decision: 3200/9680	Time: 67.4517/86400
Decision: 3200/9680	Time: 69.1375/86400
Decision: 3200/9680	Time: 71.4921/86400
Decision: 3200/9680	Time: 73.2069/86400
Decision: 3200/9680	Time: 74.9986/86400
Decision: 3200/9680	Time: 77.0733/86400
Decision: 3200/9680	Time: 78.866/86400
Decision: 3200/9680	Time: 80.5208/86400
Decision: 3200/9680	Time: 82.3355/86400
Decision: 3200/9680	Time: 84.1402/86400
Decision: 3200/9680	Time: 92.4/86400
Decision: 3200/9680	Time: 94.2267/86400
Decision: 3200/9680	Time: 96.3174/86400
Decision: 3200/9680	Time: 98.2631/86400
Decision: 3200/9680	Time: 100.311/86400
Decision: 3200/9680	Time: 102.43/86400
Decision: 3200/9680	Time: 104.249/86400
Decision: 3200/9680	Time: 106.063/86400
Decision: 3200/9680	Time: 107.59/86400
Decision: 3200/9680	Time: 109.419/86400
Decision: 3200/9680	Time: 111.71/86400
Decision: 3200/9680	Time: 113.626/86400
Decision: 3200/9680	Time: 115.507/86400
Decision: 3200/9680	Time: 117.567/86400
Decision: 3200/9680	Time: 119.394/86400
Decision: 3200/9680	Time: 121.477/86400
Decision: 3200/9680	Time: 123.344/86400
Decision: 3200/9680	Time: 125.341/86400
Decision: 3200/9680	Time: 127.414/86400
Decision: 3200/9680	Time: 129.492/86400
Decision: 3200/9680	Time: 131.771/86400
Decision: 3200/9680	Time: 133.897/86400
Decision: 3200/9680	Time: 135.829/86400
Decision: 3200/9680	Time: 137.667/86400
Decision: 3200/9680	Time: 139.59/86400
Decision: 3200/9680	Time: 141.846/86400
Decision: 3200/9680	Time: 144.003/86400
Decision: 3200/9680	Time: 146.121/86400
Decision: 3200/9680	Time: 151.004/86400
Decision: 3200/9680	Time: 152.515/86400
Decision: 3200/9680	Time: 154.585/86400
Decision: 3200/9680	Time: 156.171/86400
Decision: 3200/9680	Time: 157.78/86400
Decision: 3200/9680	Time: 159.508/86400
Decision: 3200/9680	Time: 161.656/86400
Decision: 3200/9680	Time: 163.62/86400
Decision: 3200/9680	Time: 170.185/86400
Decision: 3200/9680	Time: 172.15/86400
Decision: 3200/9680	Time: 174.17/86400
Decision: 3200/9680	Time: 175.993/86400
Decision: 3200/9680	Time: 177.978/86400
Decision: 3200/9680	Time: 179.807/86400
Decision: 3200/9680	Time: 181.525/86400
Decision: 3200/9680	Time: 183.199/86400
Decision: 3200/9680	Time: 184.98/86400
Decision: 3200/9680	Time: 187.012/86400
Decision: 3200/9680	Time: 188.693/86400
Decision: 3200/9680	Time: 190.393/86400
Decision: 3200/9680	Time: 192.094/86400
Decision: 3200/9680	Time: 193.784/86400
Decision: 3200/9680	Time: 195.843/86400
Decision: 3200/9680	Time: 197.526/86400
Decision: 3200/9680	Time: 199.238/86400
Decision: 3200/9680	Time: 201.17/86400
Decision: 3200/9680	Time: 207.158/86400
Decision: 3200/9680	Time: 208.839/86400
Decision: 3200/9680	Time: 210.322/86400
Decision: 3200/9680	Time: 211.809/86400
Decision: 3200/9680	Time: 213.808/86400
Decision: 3200/9680	Time: 215.165/86400
Decision: 3200/9680	Time: 216.831/86400
Decision: 3200/9680	Time: 218.471/86400
Decision: 3200/9680	Time: 220.013/86400
Decision: 3200/9680	Time: 221.515/86400
Decision: 3200/9680	Time: 223.153/86400
Decision: 3200/9680	Time: 230.879/86400
Decision: 3200/9680	Time: 232.373/86400
Decision: 3200/9680	Time: 234.004/86400
Decision: 3200/9680	Time: 235.865/86400
Decision: 3200/9680	Time: 237.628/86400
Decision: 3200/9680	Time: 239.383/86400
Decision: 3200/9680	Time: 240.754/86400
Decision: 3200/9680	Time: 242.149/86400
Decision: 3200/9680	Time: 243.639/86400
Decision: 3200/9680	Time: 245.024/86400
Decision: 3200/9680	Time: 246.627/86400
Decision: 3200/9680	Time: 248.167/86400
Decision: 3200/9680	Time: 249.673/86400
Decision: 3200/9680	Time: 251.193/86400
Decision: 3200/9680	Time: 252.723/86400
Decision: 3200/9680	Time: 254.488/86400
Decision: 3200/9680	Time: 256.099/86400
Decision: 3200/9680	Time: 257.902/86400
Decision: 3200/9680	Time: 259.646/86400
Decision: 3200/9680	Time: 261.281/86400
Decision: 3200/9680	Time: 263.2/86400
Decision: 3200/9680	Time: 264.979/86400
Decision: 3200/9680	Time: 266.728/86400
Decision: 3200/9680	Time: 268.455/86400
Decision: 3200/9680	Time: 270.347/86400
Decision: 3200/9680	Time: 272.303/86400
Decision: 3200/9680	Time: 274.07/86400
Decision: 3200/9680	Time: 275.868/86400
Decision: 3200/9680	Time: 277.672/86400
Decision: 3200/9680	Time: 287.109/86400
Decision: 3200/9680	Time: 288.808/86400
Decision: 3200/9680	Time: 290.875/86400
Decision: 3200/9680	Time: 292.101/86400
Decision: 3200/9680	Time: 295.223/86400
Decision: 3200/9680	Time: 297.73/86400
Decision: 3200/9680	Time: 299.62/86400
Decision: 3200/9680	Time: 301.107/86400
Decision: 3200/9680	Time: 302.542/86400
Decision: 3200/9680	Time: 304.354/86400
Decision: 3200/9680	Time: 305.784/86400
Decision: 3200/9680	Time: 307.393/86400
Decision: 3200/9680	Time: 308.896/86400
Decision: 3200/9680	Time: 310.436/86400
Decision: 3200/9680	Time: 311.89/86400
Decision: 3200/9680	Time: 313.492/86400
Decision: 3200/9680	Time: 315.312/86400
Decision: 3200/9680	Time: 316.907/86400
Decision: 3200/9680	Time: 318.517/86400
Decision: 3200/9680	Time: 320.216/86400
Decision: 3200/9680	Time: 321.89/86400
Decision: 3200/9680	Time: 323.75/86400
Decision: 3200/9680	Time: 325.412/86400
Decision: 3200/9680	Time: 327.188/86400
Decision: 3200/9680	Time: 328.857/86400
Decision: 3200/9680	Time: 330.659/86400
Decision: 3200/9680	Time: 332.523/86400
Decision: 3200/9680	Time: 334.378/86400
Decision: 3200/9680	Time: 336.126/86400
Decision: 3200/9680	Time: 337.809/86400
Decision: 3200/9680	Time: 341.972/86400
Decision: 3200/9680	Time: 343.586/86400
Decision: 3200/9680	Time: 345.09/86400
Decision: 3200/9680	Time: 346.498/86400
Decision: 3200/9680	Time: 348.073/86400
Decision: 3200/9680	Time: 349.61/86400
Decision: 3200/9680	Time: 351.419/86400
Decision: 3200/9680	Time: 353.14/86400
Decision: 3200/9680	Time: 354.748/86400
Decision: 3200/9680	Time: 356.414/86400
Decision: 3200/9680	Time: 357.979/86400
Decision: 3200/9680	Time: 359.669/86400
Decision: 3200/9680	Time: 361.141/86400
Decision: 3200/9680	Time: 362.75/86400
Decision: 3200/9680	Time: 364.29/86400
Decision: 3200/9680	Time: 366.054/86400
Decision: 3200/9680	Time: 367.744/86400
Decision: 3200/9680	Time: 371.735/86400
Decision: 3200/9680	Time: 373.564/86400
Decision: 3200/9680	Time: 375.225/86400
Decision: 3200/9680	Time: 376.768/86400
Decision: 3200/9680	Time: 378.424/86400
Decision: 3200/9680	Time: 379.966/86400
Decision: 3200/9680	Time: 381.548/86400
Decision: 3200/9680	Time: 383.074/86400
Decision: 3200/9680	Time: 384.499/86400
Decision: 3200/9680	Time: 386.034/86400
Decision: 3200/9680	Time: 387.426/86400
Decision: 3200/9680	Time: 393.617/86400
Decision: 3200/9680	Time: 395.251/86400
Decision: 3200/9680	Time: 397.123/86400
Decision: 3200/9680	Time: 398.978/86400
Decision: 3200/9680	Time: 400.62/86400
Decision: 3200/9680	Time: 402.254/86400
Decision: 3200/9680	Time: 403.961/86400
Decision: 3200/9680	Time: 405.529/86400
Decision: 3200/9680	Time: 407.307/86400
Decision: 3200/9680	Time: 408.876/86400
Decision: 3200/9680	Time: 410.591/86400
Decision: 3200/9680	Time: 412.337/86400
Decision: 3200/9680	Time: 414.113/86400
Decision: 3200/9680	Time: 415.862/86400
Decision: 3200/9680	Time: 417.606/86400
Decision: 3200/9680	Time: 419.375/86400
Decision: 3200/9680	Time: 421.235/86400
Decision: 3200/9680	Time: 423.168/86400
Decision: 3200/9680	Time: 425.307/86400
Decision: 3200/9680	Time: 427.251/86400
Decision: 3200/9680	Time: 429.166/86400
Decision: 3200/9680	Time: 431.049/86400
Decision: 3200/9680	Time: 432.938/86400
Decision: 3200/9680	Time: 435.212/86400
Decision: 3200/9680	Time: 437.044/86400
Decision: 3200/9680	Time: 439.03/86400
Decision: 3200/9680	Time: 440.981/86400
Decision: 3200/9680	Time: 442.83/86400
Decision: 3200/9680	Time: 444.962/86400
Decision: 3200/9680	Time: 446.889/86400
Decision: 3200/9680	Time: 459.109/86400
Decision: 3200/9680	Time: 460.714/86400
Decision: 3200/9680	Time: 462.089/86400
Decision: 3200/9680	Time: 463.78/86400
Decision: 3200/9680	Time: 465.182/86400
Decision: 3200/9680	Time: 466.73/86400
Decision: 3200/9680	Time: 470.934/86400
Decision: 3200/9680	Time: 472.489/86400
Decision: 3200/9680	Time: 474.037/86400
Decision: 3200/9680	Time: 475.487/86400
Decision: 3200/9680	Time: 476.957/86400
Decision: 3200/9680	Time: 478.339/86400
Decision: 3200/9680	Time: 479.647/86400
Decision: 3200/9680	Time: 481.535/86400
Decision: 3200/9680	Time: 482.966/86400
Decision: 3200/9680	Time: 484.493/86400
Decision: 3200/9680	Time: 485.91/86400
Decision: 3200/9680	Time: 487.59/86400
Decision: 3200/9680	Time: 489.415/86400
Decision: 3200/9680	Time: 490.995/86400
Decision: 3200/9680	Time: 492.591/86400
Decision: 3200/9680	Time: 494.211/86400
Decision: 3200/9680	Time: 496.408/86400
Decision: 3200/9680	Time: 498.181/86400
Decision: 3200/9680	Time: 499.863/86400
Decision: 3200/9680	Time: 501.349/86400
Decision: 3200/9680	Time: 503.028/86400
Decision: 3200/9680	Time: 504.63/86400
Decision: 3200/9680	Time: 506.344/86400
Decision: 3200/9680	Time: 508.066/86400
Decision: 3200/9680	Time: 509.626/86400
Decision: 3200/9680	Time: 511.269/86400
Decision: 3200/9680	Time: 513.054/86400
Decision: 3200/9680	Time: 514.829/86400
Decision: 3200/9680	Time: 516.492/86400
Decision: 3200/9680	Time: 518.283/86400
Decision: 3200/9680	Time: 519.98/86400
Decision: 3200/9680	Time: 521.706/86400
Decision: 3200/9680	Time: 523.642/86400
Decision: 3200/9680	Time: 525.529/86400
Decision: 3200/9680	Time: 527.464/86400
Decision: 3200/9680	Time: 529.185/86400
Decision: 3200/9680	Time: 531.221/86400
Decision: 3200/9680	Time: 533.624/86400
Decision: 3200/9680	Time: 535.621/86400
Decision: 3200/9680	Time: 537.528/86400
Decision: 3200/9680	Time: 539.395/86400
Decision: 3200/9680	Time: 541.327/86400
Decision: 3200/9680	Time: 543.573/86400
Decision: 3200/9680	Time: 545.345/86400
Decision: 3200/9680	Time: 547.334/86400
Decision: 3200/9680	Time: 549.157/86400
Decision: 3200/9680	Time: 551.243/86400
Decision: 3200/9680	Time: 553.449/86400
Decision: 3200/9680	Time: 555.398/86400
Decision: 3200/9680	Time: 557.418/86400
Decision: 3200/9680	Time: 559.245/86400
Decision: 3200/9680	Time: 561.4/86400
Decision: 3200/9680	Time: 563.534/86400
Decision: 3200/9680	Time: 565.524/86400
Decision: 3200/9680	Time: 567.615/86400
Decision: 3200/9680	Time: 569.553/86400
Decision: 3200/9680	Time: 572.944/86400
Decision: 3200/9680	Time: 576.069/86400
Decision: 3200/9680	Time: 578.897/86400
Decision: 3200/9680	Time: 581.095/86400
Decision: 3200/9680	Time: 583.128/86400
Decision: 3200/9680	Time: 585.571/86400
Decision: 3200/9680	Time: 588.028/86400
Decision: 3200/9680	Time: 590.222/86400
Decision: 3200/9680	Time: 592.542/86400
Decision: 3200/9680	Time: 594.645/86400
Decision: 3200/9680	Time: 596.674/86400
Decision: 3200/9680	Time: 599.307/86400
Decision: 3200/9680	Time: 601.471/86400
Decision: 3200/9680	Time: 603.644/86400
Decision: 3200/9680	Time: 605.869/86400
Decision: 3200/9680	Time: 608.08/86400
Decision: 3200/9680	Time: 610.73/86400
Decision: 3200/9680	Time: 620.506/86400
Decision: 3200/9680	Time: 622.087/86400
Decision: 3200/9680	Time: 623.502/86400
Decision: 3200/9680	Time: 624.932/86400
Decision: 3200/9680	Time: 626.632/86400
Decision: 3200/9680	Time: 631.533/86400
Decision: 3200/9680	Time: 633.133/86400
Decision: 3200/9680	Time: 634.729/86400
Decision: 3200/9680	Time: 636.239/86400
Decision: 3200/9680	Time: 637.812/86400
Decision: 3200/9680	Time: 639.167/86400
Decision: 3200/9680	Time: 640.666/86400
Decision: 3200/9680	Time: 642.341/86400
Decision: 3200/9680	Time: 643.989/86400
Decision: 3200/9680	Time: 645.712/86400
Decision: 3200/9680	Time: 647.319/86400
Decision: 3200/9680	Time: 648.797/86400
Decision: 3200/9680	Time: 650.37/86400
Decision: 3200/9680	Time: 652.284/86400
Decision: 3200/9680	Time: 654.223/86400
Decision: 3200/9680	Time: 656.067/86400
Decision: 3200/9680	Time: 657.83/86400
Decision: 3200/9680	Time: 668.274/86400
Decision: 3200/9680	Time: 669.963/86400
Decision: 3200/9680	Time: 671.626/86400
Decision: 3200/9680	Time: 673.044/86400
Decision: 3200/9680	Time: 674.376/86400
Decision: 3200/9680	Time: 675.908/86400
Decision: 3200/9680	Time: 677.381/86400
Decision: 3200/9680	Time: 678.961/86400
Decision: 3200/9680	Time: 680.42/86400
Decision: 3200/9680	Time: 681.96/86400
Decision: 3200/9680	Time: 683.381/86400
Decision: 3200/9680	Time: 684.984/86400
Decision: 3200/9680	Time: 686.767/86400
Decision: 3200/9680	Time: 688.614/86400
Decision: 3200/9680	Time: 690.424/86400
Decision: 3200/9680	Time: 692.177/86400
Decision: 3200/9680	Time: 693.802/86400
Decision: 3200/9680	Time: 695.66/86400
Decision: 3200/9680	Time: 697.278/86400
Decision: 3200/9680	Time: 698.989/86400
Decision: 3200/9680	Time: 700.806/86400
Decision: 3200/9680	Time: 702.792/86400
Decision: 3200/9680	Time: 709.873/86400
Decision: 3200/9680	Time: 711.229/86400
Decision: 3200/9680	Time: 712.821/86400
Decision: 3200/9680	Time: 714.289/86400
Decision: 3200/9680	Time: 715.767/86400
Decision: 3200/9680	Time: 720.723/86400
Decision: 3200/9680	Time: 722.293/86400
Decision: 3200/9680	Time: 723.65/86400
Decision: 3200/9680	Time: 725.114/86400
Decision: 3200/9680	Time: 726.736/86400
Decision: 3200/9680	Time: 728.396/86400
Decision: 3200/9680	Time: 729.981/86400
Decision: 3200/9680	Time: 731.503/86400
Decision: 3200/9680	Time: 732.916/86400
Decision: 3200/9680	Time: 734.394/86400
Decision: 3200/9680	Time: 736.073/86400
Decision: 3200/9680	Time: 737.617/86400
Decision: 3200/9680	Time: 739.299/86400
Decision: 3200/9680	Time: 740.851/86400
Decision: 3200/9680	Time: 742.484/86400
Decision: 3200/9680	Time: 744.571/86400
Decision: 3200/9680	Time: 746.302/86400
Decision: 3200/9680	Time: 748.133/86400
Decision: 3200/9680	Time: 749.955/86400
Decision: 3200/9680	Time: 751.616/86400
Decision: 3200/9680	Time: 753.556/86400
Decision: 3200/9680	Time: 755.275/86400
Decision: 3200/9680	Time: 757.171/86400
Decision: 3200/9680	Time: 759.099/86400
Decision: 3200/9680	Time: 760.77/86400
Decision: 3200/9680	Time: 762.825/86400
Decision: 3200/9680	Time: 764.54/86400
Decision: 3200/9680	Time: 766.49/86400
Decision: 3200/9680	Time: 768.146/86400
Decision: 3200/9680	Time: 770.088/86400
Decision: 3200/9680	Time: 772.335/86400
Decision: 3200/9680	Time: 774.291/86400
Decision: 3200/9680	Time: 776.433/86400
Decision: 3200/9680	Time: 778.334/86400
Decision: 3200/9680	Time: 780.432/86400
Decision: 3200/9680	Time: 782.491/86400
Decision: 3200/9680	Time: 784.576/86400
Decision: 3200/9680	Time: 786.641/86400
Decision: 3200/9680	Time: 797.52/86400
Decision: 3200/9680	Time: 799.249/86400
Decision: 3200/9680	Time: 802.829/86400
Decision: 3200/9680	Time: 804.129/86400
Decision: 3200/9680	Time: 805.515/86400
Decision: 3200/9680	Time: 806.788/86400
Decision: 3200/9680	Time: 808.121/86400
Decision: 3200/9680	Time: 809.891/86400
Decision: 3200/9680	Time: 811.655/86400
Decision: 3200/9680	Time: 813.058/86400
Decision: 3200/9680	Time: 814.653/86400
Decision: 3200/9680	Time: 816.157/86400
Decision: 3200/9680	Time: 817.713/86400
Decision: 3200/9680	Time: 819.265/86400
Decision: 3200/9680	Time: 820.954/86400
Decision: 3200/9680	Time: 822.661/86400
Decision: 3200/9680	Time: 824.315/86400
Decision: 3200/9680	Time: 826.226/86400
Decision: 3200/9680	Time: 827.754/86400
Decision: 3200/9680	Time: 829.974/86400
Decision: 3200/9680	Time: 831.767/86400
Decision: 3200/9680	Time: 833.36/86400
Decision: 3200/9680	Time: 835.933/86400
Decision: 3200/9680	Time: 837.687/86400
Decision: 3200/9680	Time: 839.678/86400
Decision: 3200/9680	Time: 841.352/86400
Decision: 3200/9680	Time: 843.156/86400
Decision: 3200/9680	Time: 844.98/86400
Decision: 3200/9680	Time: 846.912/86400
Decision: 3200/9680	Time: 848.518/86400
Decision: 3200/9680	Time: 850.319/86400
Decision: 3200/9680	Time: 852.491/86400
Decision: 3200/9680	Time: 854.409/86400
Decision: 3200/9680	Time: 856.411/86400
Decision: 3200/9680	Time: 858.078/86400
Decision: 3200/9680	Time: 860.045/86400
Decision: 3200/9680	Time: 861.884/86400
Decision: 3200/9680	Time: 864.282/86400
Decision: 3200/9680	Time: 866.208/86400
Decision: 3200/9680	Time: 868.024/86400
Decision: 3200/9680	Time: 869.855/86400
Decision: 3200/9680	Time: 871.927/86400
Decision: 3200/9680	Time: 874.585/86400
Decision: 3200/9680	Time: 876.601/86400
Decision: 3200/9680	Time: 878.922/86400
Decision: 3200/9680	Time: 880.763/86400
Decision: 3200/9680	Time: 882.46/86400
Decision: 3200/9680	Time: 889.878/86400
Decision: 3200/9680	Time: 892.1/86400
Decision: 3200/9680	Time: 894.38/86400
Decision: 3200/9680	Time: 896.207/86400
Decision: 3200/9680	Time: 898.523/86400
Decision: 3200/9680	Time: 900.568/86400
Decision: 3200/9680	Time: 902.451/86400
Decision: 3200/9680	Time: 904.091/86400
Decision: 3200/9680	Time: 907.201/86400
Decision: 3200/9680	Time: 908.937/86400
Decision: 3200/9680	Time: 910.706/86400
Decision: 3200/9680	Time: 912.234/86400
Decision: 3200/9680	Time: 913.937/86400
Decision: 3200/9680	Time: 915.687/86400
Decision: 3200/9680	Time: 917.42/86400
Decision: 3200/9680	Time: 923.988/86400
Decision: 3200/9680	Time: 925.561/86400
Decision: 3200/9680	Time: 926.979/86400
Decision: 3200/9680	Time: 929.703/86400
Decision: 3200/9680	Time: 931.539/86400
Decision: 3200/9680	Time: 933.224/86400
Decision: 3200/9680	Time: 934.617/86400
Decision: 3200/9680	Time: 936.111/86400
Decision: 3200/9680	Time: 937.657/86400
Decision: 3200/9680	Time: 941.048/86400
Decision: 3200/9680	Time: 942.467/86400
Decision: 3200/9680	Time: 946.24/86400
Decision: 3200/9680	Time: 947.743/86400
Decision: 3200/9680	Time: 949.174/86400
Decision: 3200/9680	Time: 950.873/86400
Decision: 3200/9680	Time: 952.377/86400
Decision: 3200/9680	Time: 954.043/86400
Decision: 3200/9680	Time: 955.621/86400
Decision: 3200/9680	Time: 957.118/86400
Decision: 3200/9680	Time: 959.243/86400
Decision: 3200/9680	Time: 961.121/86400
Decision: 3200/9680	Time: 962.636/86400
Decision: 3200/9680	Time: 964.652/86400
Decision: 3200/9680	Time: 966.33/86400
Decision: 3200/9680	Time: 968.488/86400
Decision: 3200/9680	Time: 970.413/86400
Decision: 3200/9680	Time: 972.132/86400
Decision: 3200/9680	Time: 974.567/86400
Decision: 3200/9680	Time: 976.389/86400
Decision: 3200/9680	Time: 978.649/86400
Decision: 3200/9680	Time: 981.005/86400
Decision: 3200/9680	Time: 982.834/86400
Decision: 3200/9680	Time: 984.606/86400
Decision: 3200/9680	Time: 986.405/86400
Decision: 3200/9680	Time: 988.021/86400
Decision: 3200/9680	Time: 990.025/86400
Decision: 3200/9680	Time: 991.852/86400
Decision: 3200/9680	Time: 993.641/86400
Decision: 3200/9680	Time: 995.321/86400
Decision: 3200/9680	Time: 997.17/86400
Decision: 3200/9680	Time: 999.229/86400
Decision: 3200/9680	Time: 1001.24/86400
Decision: 3200/9680	Time: 1003.35/86400
Decision: 3200/9680	Time: 1005.21/86400
Decision: 3200/9680	Time: 1007.16/86400
Decision: 3200/9680	Time: 1009.23/86400
Decision: 3200/9680	Time: 1011.17/86400
Decision: 3200/9680	Time: 1013.19/86400
Decision: 3200/9680	Time: 1015.22/86400
Decision: 3200/9680	Time: 1017.44/86400
Decision: 3200/9680	Time: 1019.69/86400
Decision: 3200/9680	Time: 1033.23/86400
Decision: 3200/9680	Time: 1035.39/86400
Decision: 3200/9680	Time: 1037.23/86400
Decision: 3200/9680	Time: 1039.13/86400
Decision: 3200/9680	Time: 1041.28/86400
Decision: 3200/9680	Time: 1043.13/86400
Decision: 3200/9680	Time: 1045.22/86400
Decision: 3200/9680	Time: 1057.57/86400
Decision: 3200/9680	Time: 1059.5/86400
Decision: 3200/9680	Time: 1061.07/86400
Decision: 3200/9680	Time: 1062.73/86400
Decision: 3200/9680	Time: 1064.3/86400
Decision: 3200/9680	Time: 1065.84/86400
Decision: 3200/9680	Time: 1067.54/86400
Decision: 3200/9680	Time: 1069.23/86400
Decision: 3200/9680	Time: 1070.81/86400
Decision: 3200/9680	Time: 1072.44/86400
Decision: 3200/9680	Time: 1074.3/86400
Decision: 3200/9680	Time: 1075.86/86400
Decision: 3200/9680	Time: 1077.85/86400
Decision: 3200/9680	Time: 1079.45/86400
Decision: 3200/9680	Time: 1081.41/86400
Decision: 3200/9680	Time: 1083.5/86400
Decision: 3200/9680	Time: 1085.55/86400
Decision: 3200/9680	Time: 1087.65/86400
Decision: 3200/9680	Time: 1089.52/86400
Decision: 3200/9680	Time: 1091.47/86400
Decision: 3200/9680	Time: 1093.51/86400
Decision: 3200/9680	Time: 1095.32/86400
Decision: 3200/9680	Time: 1097.48/86400
Decision: 3200/9680	Time: 1099.62/86400
Decision: 3200/9680	Time: 1101.65/86400
Decision: 3200/9680	Time: 1103.68/86400
Decision: 3200/9680	Time: 1105.57/86400
Decision: 3200/9680	Time: 1107.76/86400
Decision: 3200/9680	Time: 1110.33/86400
Decision: 3200/9680	Time: 1112.34/86400
Decision: 3200/9680	Time: 1114.33/86400
Decision: 3200/9680	Time: 1116.18/86400
Decision: 3200/9680	Time: 1118.62/86400
Decision: 3200/9680	Time: 1120.69/86400
Decision: 3200/9680	Time: 1122.62/86400
Decision: 3200/9680	Time: 1124.61/86400
Decision: 3200/9680	Time: 1126.73/86400
Decision: 3200/9680	Time: 1128.9/86400
Decision: 3200/9680	Time: 1131.17/86400
Decision: 3200/9680	Time: 1133.65/86400
Decision: 3200/9680	Time: 1135.67/86400
Decision: 3200/9680	Time: 1137.77/86400
Decision: 3200/9680	Time: 1140.16/86400
Decision: 3200/9680	Time: 1142.15/86400
Decision: 3200/9680	Time: 1144.25/86400
Decision: 3200/9680	Time: 1157.6/86400
Decision: 3200/9680	Time: 1159.29/86400
Decision: 3200/9680	Time: 1160.87/86400
Decision: 3200/9680	Time: 1162.23/86400
Decision: 3200/9680	Time: 1163.79/86400
Decision: 3200/9680	Time: 1165.23/86400
Decision: 3200/9680	Time: 1166.95/86400
Decision: 3200/9680	Time: 1168.41/86400
Decision: 3200/9680	Time: 1169.88/86400
Decision: 3200/9680	Time: 1171.24/86400
Decision: 3200/9680	Time: 1172.83/86400
Decision: 3200/9680	Time: 1174.2/86400
Decision: 3200/9680	Time: 1176.71/86400
Decision: 3200/9680	Time: 1178.29/86400
Decision: 3200/9680	Time: 1179.77/86400
Decision: 3200/9680	Time: 1181.39/86400
Decision: 3200/9680	Time: 1183.43/86400
Decision: 3200/9680	Time: 1185.34/86400
Decision: 3200/9680	Time: 1187.02/86400
Decision: 3200/9680	Time: 1188.64/86400
Decision: 3200/9680	Time: 1190.69/86400
Decision: 3200/9680	Time: 1192.42/86400
Decision: 3200/9680	Time: 1194.42/86400
Decision: 3200/9680	Time: 1196.18/86400
Decision: 3200/9680	Time: 1197.97/86400
Decision: 3200/9680	Time: 1199.54/86400
Decision: 3200/9680	Time: 1201.42/86400
Decision: 3200/9680	Time: 1203.64/86400
Decision: 3200/9680	Time: 1205.69/86400
Decision: 3200/9680	Time: 1207.51/86400
Decision: 3200/9680	Time: 1209.05/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 32467
Raw data (stat): 32467 (runsolver) D 32466 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 863981845 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+9.99984 s]
Raw data (loadavg): 0.15 0.03 0.01 1/54 32467
Raw data (stat): 32467 (pb2sat) D 32466 20687 20686 0 -1 0 9 0 1 0 0 0 0 0 21 0 1 0 863981845 1261568 3 4294967295 134512640 135726644 3221224576 3221224540 135144024 0 0 7 0 3222515881 0 0 17 1 0 0
Raw data (statm): 308 3 300 300 0 8 0
vsize: 1232
[startup+21.2521 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 2079 0 8 0 968 6 0 0 25 0 1 0 863981845 8908800 1666 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2175 1666 300 300 0 1875 0
vsize: 8700
[startup+31.2517 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 2685 0 8 0 1966 8 0 0 25 0 1 0 863981845 13242368 2272 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3233 2272 300 300 0 2933 0
vsize: 12932
[startup+41.2524 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 3166 0 8 0 2965 10 0 0 25 0 1 0 863981845 13381632 2753 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3267 2753 300 300 0 2967 0
vsize: 13068
[startup+51.2521 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 3580 0 8 0 3963 11 0 0 25 0 1 0 863981845 21917696 3167 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5351 3167 300 300 0 5051 0
vsize: 21404
[startup+61.2518 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 4013 0 8 0 4962 13 0 0 25 0 1 0 863981845 22065152 3600 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5387 3600 300 300 0 5087 0
vsize: 21548
[startup+71.2515 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 4621 0 8 0 5960 15 0 0 25 0 1 0 863981845 22339584 4208 4294967295 134512640 135726644 3221224576 3221223088 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5454 4208 300 300 0 5154 0
vsize: 21816
[startup+81.2512 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 6057 0 8 0 6955 19 0 0 25 0 1 0 863981845 25178112 5451 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6147 5451 300 300 0 5847 0
vsize: 24588
[startup+91.2518 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 6667 0 8 0 7951 23 0 0 25 0 1 0 863981845 43307008 6061 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10573 6061 300 300 0 10273 0
vsize: 42292
[startup+101.251 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 7363 0 8 0 8945 30 0 0 25 0 1 0 863981845 44937216 6757 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10971 6757 300 300 0 10671 0
vsize: 43884
[startup+111.251 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 7645 0 8 0 9941 33 0 0 25 0 1 0 863981845 45977600 7039 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11225 7039 300 300 0 10925 0
vsize: 44900
[startup+121.251 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 7806 0 8 0 10940 35 0 0 25 0 1 0 863981845 46592000 7200 4294967295 134512640 135726644 3221224576 3221223088 134742890 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11375 7200 300 300 0 11075 0
vsize: 45500
[startup+131.25 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 8048 0 8 0 11938 36 0 0 25 0 1 0 863981845 47411200 7442 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11575 7442 300 300 0 11275 0
vsize: 46300
[startup+141.251 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 8223 0 8 0 12938 37 0 0 25 0 1 0 863981845 48164864 7617 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11759 7617 300 300 0 11459 0
vsize: 47036
[startup+151.251 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 8425 0 8 0 13936 39 0 0 25 0 1 0 863981845 48893952 7819 4294967295 134512640 135726644 3221224576 3221223088 134742931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11937 7819 300 300 0 11637 0
vsize: 47748
[startup+161.25 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 8644 0 8 0 14933 42 0 0 25 0 1 0 863981845 49704960 8038 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12135 8038 300 300 0 11835 0
vsize: 48540
[startup+171.251 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 8685 0 8 0 15932 44 0 0 25 0 1 0 863981845 49704960 8079 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12135 8079 300 300 0 11835 0
vsize: 48540
[startup+181.252 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 8697 0 8 0 16929 46 0 0 25 0 1 0 863981845 49704960 8091 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12135 8091 300 300 0 11835 0
vsize: 48540
[startup+191.252 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9102 0 8 0 17927 48 0 0 25 0 1 0 863981845 51277824 8111 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12519 8111 300 300 0 12219 0
vsize: 50076
[startup+201.252 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9125 0 8 0 18927 49 0 0 25 0 1 0 863981845 51277824 8134 4294967295 134512640 135726644 3221224576 3221222832 134763416 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12519 8134 300 300 0 12219 0
vsize: 50076
[startup+211.252 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9182 0 8 0 19926 50 0 0 25 0 1 0 863981845 51458048 8191 4294967295 134512640 135726644 3221224576 3221223184 134741185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12563 8191 300 300 0 12263 0
vsize: 50252
[startup+221.251 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9309 0 8 0 20922 54 0 0 25 0 1 0 863981845 51867648 8318 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12663 8318 300 300 0 12363 0
vsize: 50652
[startup+231.251 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9342 0 8 0 21921 55 0 0 25 0 1 0 863981845 51929088 8351 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12678 8351 300 300 0 12378 0
vsize: 50712
[startup+241.252 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9355 0 8 0 22918 59 0 0 25 0 1 0 863981845 51929088 8364 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12678 8364 300 300 0 12378 0
vsize: 50712
[startup+251.253 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9447 0 8 0 23916 61 0 0 25 0 1 0 863981845 52240384 8456 4294967295 134512640 135726644 3221224576 3221223200 134779720 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12754 8456 300 300 0 12454 0
vsize: 51016
[startup+261.252 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9488 0 8 0 24915 62 0 0 25 0 1 0 863981845 52240384 8497 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12754 8497 300 300 0 12454 0
vsize: 51016
[startup+271.252 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9528 0 8 0 25914 63 0 0 25 0 1 0 863981845 52301824 8537 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12769 8537 300 300 0 12469 0
vsize: 51076
[startup+281.252 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9572 0 8 0 26913 64 0 0 25 0 1 0 863981845 52420608 8581 4294967295 134512640 135726644 3221224576 3221222960 134758411 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12798 8581 300 300 0 12498 0
vsize: 51192
[startup+291.253 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9629 0 8 0 27912 66 0 0 25 0 1 0 863981845 52613120 8638 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12845 8638 300 300 0 12545 0
vsize: 51380
[startup+301.253 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9734 0 8 0 28909 69 0 0 25 0 1 0 863981845 52989952 8743 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12937 8743 300 300 0 12637 0
vsize: 51748
[startup+311.252 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9783 0 8 0 29903 75 0 0 25 0 1 0 863981845 53080064 8792 4294967295 134512640 135726644 3221224576 3221223184 134744653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12959 8792 300 300 0 12659 0
vsize: 51836
[startup+321.252 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9815 0 8 0 30902 76 0 0 25 0 1 0 863981845 53080064 8824 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12959 8824 300 300 0 12659 0
vsize: 51836
[startup+331.252 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9854 0 8 0 31901 78 0 0 25 0 1 0 863981845 53141504 8863 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12974 8863 300 300 0 12674 0
vsize: 51896
[startup+341.252 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9891 0 8 0 32900 79 0 0 25 0 1 0 863981845 53198848 8900 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12988 8900 300 300 0 12688 0
vsize: 51952
[startup+351.252 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 9944 0 8 0 33898 80 0 0 25 0 1 0 863981845 53395456 8953 4294967295 134512640 135726644 3221224576 3221223184 134741128 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13036 8953 300 300 0 12736 0
vsize: 52144
[startup+361.251 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 10049 0 8 0 34897 82 0 0 25 0 1 0 863981845 53665792 9058 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13102 9058 300 300 0 12802 0
vsize: 52408
[startup+371.251 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 10849 0 8 0 35893 86 0 0 25 0 1 0 863981845 56872960 9089 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13885 9089 300 300 0 13585 0
vsize: 55540
[startup+381.25 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 10882 0 8 0 36892 87 0 0 25 0 1 0 863981845 56872960 9122 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13885 9122 300 300 0 13585 0
vsize: 55540
[startup+391.251 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 10972 0 8 0 37889 90 0 0 25 0 1 0 863981845 57204736 9212 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13966 9212 300 300 0 13666 0
vsize: 55864
[startup+401.251 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 10997 0 8 0 38886 93 0 0 25 0 1 0 863981845 57204736 9237 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13966 9237 300 300 0 13666 0
vsize: 55864
[startup+411.25 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11026 0 8 0 39881 99 0 0 25 0 1 0 863981845 57262080 9266 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13980 9266 300 300 0 13680 0
vsize: 55920
[startup+421.251 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11064 0 8 0 40881 99 0 0 25 0 1 0 863981845 57319424 9304 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13994 9304 300 300 0 13694 0
vsize: 55976
[startup+431.251 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11106 0 8 0 41880 100 0 0 25 0 1 0 863981845 57397248 9346 4294967295 134512640 135726644 3221224576 3221223200 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14013 9346 300 300 0 13713 0
vsize: 56052
[startup+441.251 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11170 0 8 0 42879 101 0 0 25 0 1 0 863981845 57573376 9410 4294967295 134512640 135726644 3221224576 3221223120 134736717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14056 9410 300 300 0 13756 0
vsize: 56224
[startup+451.251 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11283 0 8 0 43879 102 0 0 25 0 1 0 863981845 57905152 9523 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14137 9523 300 300 0 13837 0
vsize: 56548
[startup+461.251 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11442 0 8 0 44877 103 0 0 25 0 1 0 863981845 58511360 9682 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14285 9682 300 300 0 13985 0
vsize: 57140
[startup+471.251 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11530 0 8 0 45874 106 0 0 25 0 1 0 863981845 58888192 9770 4294967295 134512640 135726644 3221224576 3221222896 134729058 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14377 9770 300 300 0 14077 0
vsize: 57508
[startup+481.251 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11563 0 8 0 46872 109 0 0 25 0 1 0 863981845 58888192 9803 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14377 9803 300 300 0 14077 0
vsize: 57508
[startup+491.252 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11598 0 8 0 47869 112 0 0 25 0 1 0 863981845 58953728 9838 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14393 9838 300 300 0 14093 0
vsize: 57572
[startup+501.251 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11635 0 8 0 48868 113 0 0 25 0 1 0 863981845 59015168 9875 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14408 9875 300 300 0 14108 0
vsize: 57632
[startup+511.251 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11697 0 8 0 49867 115 0 0 25 0 1 0 863981845 59150336 9937 4294967295 134512640 135726644 3221224576 3221223120 134736830 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14441 9937 300 300 0 14141 0
vsize: 57764
[startup+521.252 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11731 0 8 0 50866 116 0 0 25 0 1 0 863981845 59211776 9971 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14456 9971 300 300 0 14156 0
vsize: 57824
[startup+531.252 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11771 0 8 0 51866 116 0 0 25 0 1 0 863981845 59277312 10011 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14472 10011 300 300 0 14172 0
vsize: 57888
[startup+541.252 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11802 0 8 0 52865 117 0 0 25 0 1 0 863981845 59277312 10042 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14472 10042 300 300 0 14172 0
vsize: 57888
[startup+551.253 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11838 0 8 0 53864 118 0 0 25 0 1 0 863981845 59338752 10078 4294967295 134512640 135726644 3221224576 3221223184 134741128 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14487 10078 300 300 0 14187 0
vsize: 57948
[startup+561.252 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11897 0 8 0 54864 119 0 0 25 0 1 0 863981845 59498496 10137 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14526 10137 300 300 0 14226 0
vsize: 58104
[startup+571.253 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 11957 0 8 0 55863 120 0 0 25 0 1 0 863981845 59666432 10197 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14567 10197 300 300 0 14267 0
vsize: 58268
[startup+581.253 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 12014 0 8 0 56862 120 0 0 25 0 1 0 863981845 59846656 10254 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14611 10254 300 300 0 14311 0
vsize: 58444
[startup+591.254 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 12139 0 8 0 57860 123 0 0 25 0 1 0 863981845 60264448 10379 4294967295 134512640 135726644 3221224576 3221222756 135277546 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14713 10379 300 300 0 14413 0
vsize: 58852
[startup+601.254 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 12198 0 8 0 58859 124 0 0 25 0 1 0 863981845 60469248 10438 4294967295 134512640 135726644 3221224576 3221223072 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14763 10438 300 300 0 14463 0
vsize: 59052
[startup+611.254 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 12703 0 8 0 59857 126 0 0 25 0 1 0 863981845 60792832 10943 4294967295 134512640 135726644 3221224576 3221223072 134744246 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14842 10943 300 300 0 14542 0
vsize: 59368
[startup+621.253 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13029 0 8 0 60856 128 0 0 25 0 1 0 863981845 61112320 11269 4294967295 134512640 135726644 3221224576 3221222788 134809994 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14920 11269 300 300 0 14620 0
vsize: 59680
[startup+631.253 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13158 0 8 0 61851 132 0 0 25 0 1 0 863981845 61554688 11398 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15028 11398 300 300 0 14728 0
vsize: 60112
[startup+641.254 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13446 0 8 0 62848 136 0 0 25 0 1 0 863981845 61775872 11686 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15082 11686 300 300 0 14782 0
vsize: 60328
[startup+651.254 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13473 0 8 0 63846 138 0 0 25 0 1 0 863981845 61775872 11713 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15082 11713 300 300 0 14782 0
vsize: 60328
[startup+661.253 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13506 0 8 0 64845 139 0 0 25 0 1 0 863981845 61833216 11746 4294967295 134512640 135726644 3221224576 3221223120 134736730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15096 11746 300 300 0 14796 0
vsize: 60384
[startup+671.254 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13528 0 8 0 65844 141 0 0 25 0 1 0 863981845 61833216 11768 4294967295 134512640 135726644 3221224576 3221223184 134741150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15096 11768 300 300 0 14796 0
vsize: 60384
[startup+681.253 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13622 0 8 0 66839 146 0 0 25 0 1 0 863981845 62205952 11862 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15187 11862 300 300 0 14887 0
vsize: 60748
[startup+691.254 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13654 0 8 0 67839 146 0 0 25 0 1 0 863981845 62205952 11894 4294967295 134512640 135726644 3221224576 3221223120 134736830 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15187 11894 300 300 0 14887 0
vsize: 60748
[startup+701.255 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13683 0 8 0 68838 147 0 0 25 0 1 0 863981845 62205952 11923 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15187 11923 300 300 0 14887 0
vsize: 60748
[startup+711.255 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13717 0 8 0 69836 149 0 0 25 0 1 0 863981845 62271488 11957 4294967295 134512640 135726644 3221224576 3221223120 134736822 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15203 11957 300 300 0 14903 0
vsize: 60812
[startup+721.255 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13730 0 8 0 70831 155 0 0 25 0 1 0 863981845 62271488 11970 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15203 11970 300 300 0 14903 0
vsize: 60812
[startup+731.256 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13829 0 8 0 71827 159 0 0 25 0 1 0 863981845 62607360 12069 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15285 12069 300 300 0 14985 0
vsize: 61140
[startup+741.256 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 13859 0 8 0 72825 161 0 0 25 0 1 0 863981845 62607360 12099 4294967295 134512640 135726644 3221224576 3221223072 134744274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15285 12099 300 300 0 14985 0
vsize: 61140
[startup+751.256 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15430 0 8 0 73821 165 0 0 25 0 1 0 863981845 68960256 12133 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16836 12133 300 300 0 16536 0
vsize: 67344
[startup+761.256 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15459 0 8 0 74820 166 0 0 25 0 1 0 863981845 68960256 12162 4294967295 134512640 135726644 3221224576 3221222896 134729229 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16836 12162 300 300 0 16536 0
vsize: 67344
[startup+771.257 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15496 0 8 0 75820 167 0 0 25 0 1 0 863981845 69029888 12199 4294967295 134512640 135726644 3221224576 3221223120 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16853 12199 300 300 0 16553 0
vsize: 67412
[startup+781.256 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15533 0 8 0 76819 168 0 0 25 0 1 0 863981845 69103616 12236 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16871 12236 300 300 0 16571 0
vsize: 67484
[startup+791.257 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15567 0 8 0 77818 169 0 0 25 0 1 0 863981845 69165056 12270 4294967295 134512640 135726644 3221224576 3221222816 134782976 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16886 12270 300 300 0 16586 0
vsize: 67544
[startup+801.257 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15589 0 8 0 78817 170 0 0 25 0 1 0 863981845 69165056 12292 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16886 12292 300 300 0 16586 0
vsize: 67544
[startup+811.258 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15723 0 8 0 79813 174 0 0 25 0 1 0 863981845 69705728 12426 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17018 12426 300 300 0 16718 0
vsize: 68072
[startup+821.258 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15757 0 8 0 80808 180 0 0 25 0 1 0 863981845 69705728 12460 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17018 12460 300 300 0 16718 0
vsize: 68072
[startup+831.258 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15790 0 8 0 81807 181 0 0 25 0 1 0 863981845 69767168 12493 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17033 12493 300 300 0 16733 0
vsize: 68132
[startup+841.258 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15820 0 8 0 82806 182 0 0 25 0 1 0 863981845 69767168 12523 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17033 12523 300 300 0 16733 0
vsize: 68132
[startup+851.258 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15853 0 8 0 83805 183 0 0 25 0 1 0 863981845 69832704 12556 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17049 12556 300 300 0 16749 0
vsize: 68196
[startup+861.258 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15891 0 8 0 84804 184 0 0 25 0 1 0 863981845 69890048 12594 4294967295 134512640 135726644 3221224576 3221222948 134759603 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17063 12594 300 300 0 16763 0
vsize: 68252
[startup+871.258 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15923 0 8 0 85803 185 0 0 25 0 1 0 863981845 69959680 12626 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17080 12626 300 300 0 16780 0
vsize: 68320
[startup+881.258 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15959 0 8 0 86801 187 0 0 25 0 1 0 863981845 70021120 12662 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17095 12662 300 300 0 16795 0
vsize: 68380
[startup+891.259 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 15996 0 8 0 87800 188 0 0 25 0 1 0 863981845 70086656 12699 4294967295 134512640 135726644 3221224576 3221223120 134736707 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17111 12699 300 300 0 16811 0
vsize: 68444
[startup+901.26 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16013 0 8 0 88798 191 0 0 25 0 1 0 863981845 70086656 12716 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17111 12716 300 300 0 16811 0
vsize: 68444
[startup+911.259 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16066 0 8 0 89797 192 0 0 25 0 1 0 863981845 70234112 12769 4294967295 134512640 135726644 3221224576 3221222960 134758002 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17147 12769 300 300 0 16847 0
vsize: 68588
[startup+921.259 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16170 0 8 0 90794 195 0 0 25 0 1 0 863981845 70598656 12873 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17236 12873 300 300 0 16936 0
vsize: 68944
[startup+931.259 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16199 0 8 0 91792 197 0 0 25 0 1 0 863981845 70598656 12902 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17236 12902 300 300 0 16936 0
vsize: 68944
[startup+941.259 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16276 0 8 0 92785 204 0 0 25 0 1 0 863981845 70868992 12979 4294967295 134512640 135726644 3221224576 3221222912 134735602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17302 12979 300 300 0 17002 0
vsize: 69208
[startup+951.259 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16314 0 8 0 93784 206 0 0 25 0 1 0 863981845 70942720 13017 4294967295 134512640 135726644 3221224576 3221223184 134741161 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17320 13017 300 300 0 17020 0
vsize: 69280
[startup+961.259 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16368 0 8 0 94777 213 0 0 25 0 1 0 863981845 71094272 13071 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17357 13071 300 300 0 17057 0
vsize: 69428
[startup+971.259 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16396 0 8 0 95776 214 0 0 25 0 1 0 863981845 71094272 13099 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17357 13099 300 300 0 17057 0
vsize: 69428
[startup+981.259 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16424 0 8 0 96775 215 0 0 25 0 1 0 863981845 71094272 13127 4294967295 134512640 135726644 3221224576 3221223120 134736802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17357 13127 300 300 0 17057 0
vsize: 69428
[startup+991.26 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16454 0 8 0 97775 216 0 0 25 0 1 0 863981845 71151616 13157 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17371 13157 300 300 0 17071 0
vsize: 69484
[startup+1001.26 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16491 0 8 0 98774 217 0 0 25 0 1 0 863981845 71217152 13194 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17387 13194 300 300 0 17087 0
vsize: 69548
[startup+1011.26 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16522 0 8 0 99773 218 0 0 25 0 1 0 863981845 71278592 13225 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17402 13225 300 300 0 17102 0
vsize: 69608
[startup+1021.26 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16555 0 8 0 100772 219 0 0 25 0 1 0 863981845 71278592 13258 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17402 13258 300 300 0 17102 0
vsize: 69608
[startup+1031.26 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16586 0 8 0 101772 220 0 0 25 0 1 0 863981845 71340032 13289 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17417 13289 300 300 0 17117 0
vsize: 69668
[startup+1041.26 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16589 0 8 0 102768 223 0 0 25 0 1 0 863981845 71340032 13292 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17417 13292 300 300 0 17117 0
vsize: 69668
[startup+1051.26 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16646 0 8 0 103766 225 0 0 25 0 1 0 863981845 71548928 13349 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17468 13349 300 300 0 17168 0
vsize: 69872
[startup+1061.26 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16668 0 8 0 104764 228 0 0 25 0 1 0 863981845 71548928 13371 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17468 13371 300 300 0 17168 0
vsize: 69872
[startup+1071.26 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16792 0 8 0 105760 232 0 0 25 0 1 0 863981845 72069120 13495 4294967295 134512640 135726644 3221224576 3221223088 134742632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17595 13495 300 300 0 17295 0
vsize: 70380
[startup+1081.26 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16822 0 8 0 106759 234 0 0 25 0 1 0 863981845 72069120 13525 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17595 13525 300 300 0 17295 0
vsize: 70380
[startup+1091.26 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16852 0 8 0 107758 234 0 0 25 0 1 0 863981845 72069120 13555 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17595 13555 300 300 0 17295 0
vsize: 70380
[startup+1101.26 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16879 0 8 0 108757 236 0 0 25 0 1 0 863981845 72134656 13582 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17611 13582 300 300 0 17311 0
vsize: 70444
[startup+1111.26 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16900 0 8 0 109757 236 0 0 25 0 1 0 863981845 72134656 13603 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17611 13603 300 300 0 17311 0
vsize: 70444
[startup+1121.26 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16928 0 8 0 110756 236 0 0 25 0 1 0 863981845 72134656 13631 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17611 13631 300 300 0 17311 0
vsize: 70444
[startup+1131.26 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16953 0 8 0 111756 237 0 0 25 0 1 0 863981845 72196096 13656 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17626 13656 300 300 0 17326 0
vsize: 70504
[startup+1141.26 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 16985 0 8 0 112755 238 0 0 25 0 1 0 863981845 72196096 13688 4294967295 134512640 135726644 3221224576 3221223168 134760185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17626 13688 300 300 0 17326 0
vsize: 70504
[startup+1151.26 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 17020 0 8 0 113755 239 0 0 25 0 1 0 863981845 72278016 13723 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17646 13723 300 300 0 17346 0
vsize: 70584
[startup+1161.26 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 17045 0 8 0 114752 241 0 0 25 0 1 0 863981845 72339456 13748 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17661 13748 300 300 0 17361 0
vsize: 70644
[startup+1171.26 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 17189 0 8 0 115749 245 0 0 25 0 1 0 863981845 72941568 13892 4294967295 134512640 135726644 3221224576 3221223120 134736739 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17808 13892 300 300 0 17508 0
vsize: 71232
[startup+1181.26 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 17220 0 8 0 116748 246 0 0 25 0 1 0 863981845 72941568 13923 4294967295 134512640 135726644 3221224576 3221223168 134760006 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17808 13923 300 300 0 17508 0
vsize: 71232
[startup+1191.26 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 17260 0 8 0 117747 247 0 0 25 0 1 0 863981845 72998912 13963 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17822 13963 300 300 0 17522 0
vsize: 71288
[startup+1201.26 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 17293 0 8 0 118747 247 0 0 25 0 1 0 863981845 73064448 13996 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17838 13996 300 300 0 17538 0
vsize: 71352
[startup+1211.26 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 17329 0 8 0 119745 249 0 0 25 0 1 0 863981845 73064448 14032 4294967295 134512640 135726644 3221224576 3221223088 134742923 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17838 14032 300 300 0 17538 0
vsize: 71352
[startup+1221.26 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 32467
Raw data (stat): 32467 (pb2sat) R 32466 20687 20686 0 -1 0 17366 0 8 0 120745 250 0 0 25 0 1 0 863981845 73125888 14069 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17853 14069 300 300 0 17553 0
vsize: 71412
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1221.55 s]
Raw data (loadavg): 0.99 0.97 0.70 1/54 32467
Raw data (stat): 32467 (pb2sat) Z 32466 20687 20686 0 -1 12 17367 0 8 0 120771 252 0 0 25 0 1 0 863981845 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): 1221.55
CPU time (s): 1210.25
CPU user time (s): 1207.72
CPU system time (s): 2.52761
CPU usage (%): 99.0744
Max. virtual memory (Kb): 71412
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####