PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
MD5SUM	85d4e2fa5fd7a61a85d3ecb1e311bddb
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	41
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.083986
Number of variables	2800
Total number of constraints	150
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	40
Trace number 34712

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-28 10:10:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23941 boxname=wulflinc20 idbench=15 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  85d4e2fa5fd7a61a85d3ecb1e311bddb  /oldhome/oroussel/tmp/wulflinc20/normalized-chnl35_40_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc20/normalized-chnl35_40_pb.cnf.cr.opb
IDLAUNCH: 23941
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        515920 kB
Buffers:         36964 kB
Cached:         458772 kB
SwapCached:        664 kB
Active:          50984 kB
Inactive:       446848 kB
HighTotal:      131008 kB
HighFree:          812 kB
LowTotal:       903652 kB
LowFree:        515108 kB
SwapTotal:     2097892 kB
SwapFree:      2096304 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15324 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:31:51 (client local time) WITH STATUS 0 IN 1209.14 SECONDS
stats: 23941 7 1209.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 2730/8260	Time: 50.3843/86400
Decision: 2730/8260	Time: 52.1051/86400
Decision: 2730/8260	Time: 54.2827/86400
Decision: 2730/8260	Time: 56.1175/86400
Decision: 2730/8260	Time: 57.8492/86400
Decision: 2730/8260	Time: 59.7319/86400
Decision: 2730/8260	Time: 61.5086/86400
Decision: 2730/8260	Time: 63.4893/86400
Decision: 2730/8260	Time: 65.2251/86400
Decision: 2730/8260	Time: 67.0188/86400
Decision: 2730/8260	Time: 69.3265/86400
Decision: 2730/8260	Time: 71.2282/86400
Decision: 2730/8260	Time: 73.3518/86400
Decision: 2730/8260	Time: 75.6035/86400
Decision: 2730/8260	Time: 77.7532/86400
Decision: 2730/8260	Time: 79.9119/86400
Decision: 2730/8260	Time: 81.9655/86400
Decision: 2730/8260	Time: 83.9602/86400
Decision: 2730/8260	Time: 85.821/86400
Decision: 2730/8260	Time: 87.8226/86400
Decision: 2730/8260	Time: 90.2653/86400
Decision: 2730/8260	Time: 92.221/86400
Decision: 2730/8260	Time: 94.2567/86400
Decision: 2730/8260	Time: 96.4133/86400
Decision: 2730/8260	Time: 98.642/86400
Decision: 2730/8260	Time: 101.295/86400
Decision: 2730/8260	Time: 103.362/86400
Decision: 2730/8260	Time: 105.58/86400
Decision: 2730/8260	Time: 107.81/86400
Decision: 2730/8260	Time: 110.056/86400
Decision: 2730/8260	Time: 112.599/86400
Decision: 2730/8260	Time: 114.788/86400
Decision: 2730/8260	Time: 116.989/86400
Decision: 2730/8260	Time: 119.273/86400
Decision: 2730/8260	Time: 121.751/86400
Decision: 2730/8260	Time: 124.521/86400
Decision: 2730/8260	Time: 126.751/86400
Decision: 2730/8260	Time: 129.245/86400
Decision: 2730/8260	Time: 131.497/86400
Decision: 2730/8260	Time: 133.737/86400
Decision: 2730/8260	Time: 136.568/86400
Decision: 2730/8260	Time: 139.052/86400
Decision: 2730/8260	Time: 141.599/86400
Decision: 2730/8260	Time: 144.184/86400
Decision: 2730/8260	Time: 146.565/86400
Decision: 2730/8260	Time: 149.362/86400
Decision: 2730/8260	Time: 151.864/86400
Decision: 2730/8260	Time: 154.257/86400
Decision: 2730/8260	Time: 156.847/86400
Decision: 2730/8260	Time: 159.179/86400
Decision: 2730/8260	Time: 161.982/86400
Decision: 2730/8260	Time: 164.494/86400
Decision: 2730/8260	Time: 166.956/86400
Decision: 2730/8260	Time: 169.36/86400
Decision: 2730/8260	Time: 171.748/86400
Decision: 2730/8260	Time: 174.723/86400
Decision: 2730/8260	Time: 177.159/86400
Decision: 2730/8260	Time: 179.657/86400
Decision: 2730/8260	Time: 181.977/86400
Decision: 2730/8260	Time: 184.391/86400
Decision: 2730/8260	Time: 187.357/86400
Decision: 2730/8260	Time: 189.78/86400
Decision: 2730/8260	Time: 192.189/86400
Decision: 2730/8260	Time: 194.614/86400
Decision: 2730/8260	Time: 197.075/86400
Decision: 2730/8260	Time: 200.25/86400
Decision: 2730/8260	Time: 202.883/86400
Decision: 2730/8260	Time: 205.28/86400
Decision: 2730/8260	Time: 207.73/86400
Decision: 2730/8260	Time: 210.195/86400
Decision: 2730/8260	Time: 213.175/86400
Decision: 2730/8260	Time: 215.614/86400
Decision: 2730/8260	Time: 218.269/86400
Decision: 2730/8260	Time: 220.79/86400
Decision: 2730/8260	Time: 223.362/86400
Decision: 2730/8260	Time: 226.353/86400
Decision: 2730/8260	Time: 228.874/86400
Decision: 2730/8260	Time: 231.316/86400
Decision: 2730/8260	Time: 233.778/86400
Decision: 2730/8260	Time: 236.231/86400
Decision: 2730/8260	Time: 239.352/86400
Decision: 2730/8260	Time: 241.961/86400
Decision: 2730/8260	Time: 244.527/86400
Decision: 2730/8260	Time: 247.081/86400
Decision: 2730/8260	Time: 249.61/86400
Decision: 2730/8260	Time: 252.693/86400
Decision: 2730/8260	Time: 255.284/86400
Decision: 2730/8260	Time: 257.841/86400
Decision: 2730/8260	Time: 260.344/86400
Decision: 2730/8260	Time: 262.847/86400
Decision: 2730/8260	Time: 265.684/86400
Decision: 2730/8260	Time: 268.186/86400
Decision: 2730/8260	Time: 270.748/86400
Decision: 2730/8260	Time: 273.249/86400
Decision: 2730/8260	Time: 280.228/86400
Decision: 2730/8260	Time: 282.107/86400
Decision: 2730/8260	Time: 284.284/86400
Decision: 2730/8260	Time: 286.176/86400
Decision: 2730/8260	Time: 288.231/86400
Decision: 2730/8260	Time: 290.295/86400
Decision: 2730/8260	Time: 292.101/86400
Decision: 2730/8260	Time: 295.121/86400
Decision: 2730/8260	Time: 296.77/86400
Decision: 2730/8260	Time: 298.29/86400
Decision: 2730/8260	Time: 299.917/86400
Decision: 2730/8260	Time: 301.545/86400
Decision: 2730/8260	Time: 303.174/86400
Decision: 2730/8260	Time: 304.74/86400
Decision: 2730/8260	Time: 306.428/86400
Decision: 2730/8260	Time: 307.977/86400
Decision: 2730/8260	Time: 309.827/86400
Decision: 2730/8260	Time: 311.426/86400
Decision: 2730/8260	Time: 313.042/86400
Decision: 2730/8260	Time: 314.717/86400
Decision: 2730/8260	Time: 316.258/86400
Decision: 2730/8260	Time: 318.112/86400
Decision: 2730/8260	Time: 319.82/86400
Decision: 2730/8260	Time: 321.637/86400
Decision: 2730/8260	Time: 323.381/86400
Decision: 2730/8260	Time: 325.128/86400
Decision: 2730/8260	Time: 327.161/86400
Decision: 2730/8260	Time: 328.966/86400
Decision: 2730/8260	Time: 330.777/86400
Decision: 2730/8260	Time: 332.633/86400
Decision: 2730/8260	Time: 334.64/86400
Decision: 2730/8260	Time: 336.717/86400
Decision: 2730/8260	Time: 338.524/86400
Decision: 2730/8260	Time: 340.319/86400
Decision: 2730/8260	Time: 342.226/86400
Decision: 2730/8260	Time: 344.115/86400
Decision: 2730/8260	Time: 346.386/86400
Decision: 2730/8260	Time: 348.42/86400
Decision: 2730/8260	Time: 350.402/86400
Decision: 2730/8260	Time: 352.362/86400
Decision: 2730/8260	Time: 354.383/86400
Decision: 2730/8260	Time: 356.721/86400
Decision: 2730/8260	Time: 358.763/86400
Decision: 2730/8260	Time: 360.989/86400
Decision: 2730/8260	Time: 363.184/86400
Decision: 2730/8260	Time: 365.208/86400
Decision: 2730/8260	Time: 367.653/86400
Decision: 2730/8260	Time: 369.897/86400
Decision: 2730/8260	Time: 372.048/86400
Decision: 2730/8260	Time: 374.187/86400
Decision: 2730/8260	Time: 375.942/86400
Decision: 2730/8260	Time: 378.134/86400
Decision: 2730/8260	Time: 379.833/86400
Decision: 2730/8260	Time: 381.643/86400
Decision: 2730/8260	Time: 383.641/86400
Decision: 2730/8260	Time: 385.613/86400
Decision: 2730/8260	Time: 387.758/86400
Decision: 2730/8260	Time: 389.929/86400
Decision: 2730/8260	Time: 392.049/86400
Decision: 2730/8260	Time: 393.961/86400
Decision: 2730/8260	Time: 396.001/86400
Decision: 2730/8260	Time: 398.306/86400
Decision: 2730/8260	Time: 400.418/86400
Decision: 2730/8260	Time: 402.575/86400
Decision: 2730/8260	Time: 404.653/86400
Decision: 2730/8260	Time: 406.572/86400
Decision: 2730/8260	Time: 408.77/86400
Decision: 2730/8260	Time: 410.827/86400
Decision: 2730/8260	Time: 412.852/86400
Decision: 2730/8260	Time: 414.955/86400
Decision: 2730/8260	Time: 417.181/86400
Decision: 2730/8260	Time: 419.739/86400
Decision: 2730/8260	Time: 421.973/86400
Decision: 2730/8260	Time: 424.234/86400
Decision: 2730/8260	Time: 426.412/86400
Decision: 2730/8260	Time: 428.57/86400
Decision: 2730/8260	Time: 431.159/86400
Decision: 2730/8260	Time: 433.508/86400
Decision: 2730/8260	Time: 435.898/86400
Decision: 2730/8260	Time: 438.108/86400
Decision: 2730/8260	Time: 440.362/86400
Decision: 2730/8260	Time: 443.232/86400
Decision: 2730/8260	Time: 445.568/86400
Decision: 2730/8260	Time: 447.914/86400
Decision: 2730/8260	Time: 450.247/86400
Decision: 2730/8260	Time: 452.639/86400
Decision: 2730/8260	Time: 455.623/86400
Decision: 2730/8260	Time: 458.148/86400
Decision: 2730/8260	Time: 460.632/86400
Decision: 2730/8260	Time: 463.104/86400
Decision: 2730/8260	Time: 465.53/86400
Decision: 2730/8260	Time: 469.406/86400
Decision: 2730/8260	Time: 471.363/86400
Decision: 2730/8260	Time: 472.57/86400
Decision: 2730/8260	Time: 474.071/86400
Decision: 2730/8260	Time: 475.516/86400
Decision: 2730/8260	Time: 477.397/86400
Decision: 2730/8260	Time: 479.158/86400
Decision: 2730/8260	Time: 480.622/86400
Decision: 2730/8260	Time: 482.329/86400
Decision: 2730/8260	Time: 483.736/86400
Decision: 2730/8260	Time: 485.312/86400
Decision: 2730/8260	Time: 486.714/86400
Decision: 2730/8260	Time: 488.25/86400
Decision: 2730/8260	Time: 491.033/86400
Decision: 2730/8260	Time: 492.548/86400
Decision: 2730/8260	Time: 493.924/86400
Decision: 2730/8260	Time: 495.366/86400
Decision: 2730/8260	Time: 496.772/86400
Decision: 2730/8260	Time: 498.705/86400
Decision: 2730/8260	Time: 500.004/86400
Decision: 2730/8260	Time: 501.442/86400
Decision: 2730/8260	Time: 503.028/86400
Decision: 2730/8260	Time: 505.298/86400
Decision: 2730/8260	Time: 506.787/86400
Decision: 2730/8260	Time: 508.151/86400
Decision: 2730/8260	Time: 510.666/86400
Decision: 2730/8260	Time: 512.253/86400
Decision: 2730/8260	Time: 514.325/86400
Decision: 2730/8260	Time: 515.678/86400
Decision: 2730/8260	Time: 517.853/86400
Decision: 2730/8260	Time: 519.572/86400
Decision: 2730/8260	Time: 522.451/86400
Decision: 2730/8260	Time: 523.92/86400
Decision: 2730/8260	Time: 525.711/86400
Decision: 2730/8260	Time: 527.213/86400
Decision: 2730/8260	Time: 528.911/86400
Decision: 2730/8260	Time: 530.621/86400
Decision: 2730/8260	Time: 532.39/86400
Decision: 2730/8260	Time: 534.078/86400
Decision: 2730/8260	Time: 535.781/86400
Decision: 2730/8260	Time: 537.713/86400
Decision: 2730/8260	Time: 539.467/86400
Decision: 2730/8260	Time: 541.161/86400
Decision: 2730/8260	Time: 543.953/86400
Decision: 2730/8260	Time: 545.572/86400
Decision: 2730/8260	Time: 548.57/86400
Decision: 2730/8260	Time: 549.868/86400
Decision: 2730/8260	Time: 551.076/86400
Decision: 2730/8260	Time: 552.558/86400
Decision: 2730/8260	Time: 554.283/86400
Decision: 2730/8260	Time: 555.464/86400
Decision: 2730/8260	Time: 556.704/86400
Decision: 2730/8260	Time: 558.213/86400
Decision: 2730/8260	Time: 559.694/86400
Decision: 2730/8260	Time: 561.4/86400
Decision: 2730/8260	Time: 563.326/86400
Decision: 2730/8260	Time: 565.07/86400
Decision: 2730/8260	Time: 566.803/86400
Decision: 2730/8260	Time: 568.43/86400
Decision: 2730/8260	Time: 570.032/86400
Decision: 2730/8260	Time: 571.815/86400
Decision: 2730/8260	Time: 573.557/86400
Decision: 2730/8260	Time: 575.375/86400
Decision: 2730/8260	Time: 577.263/86400
Decision: 2730/8260	Time: 579.218/86400
Decision: 2730/8260	Time: 581.259/86400
Decision: 2730/8260	Time: 583.134/86400
Decision: 2730/8260	Time: 585.038/86400
Decision: 2730/8260	Time: 586.926/86400
Decision: 2730/8260	Time: 588.835/86400
Decision: 2730/8260	Time: 591.036/86400
Decision: 2730/8260	Time: 592.972/86400
Decision: 2730/8260	Time: 594.88/86400
Decision: 2730/8260	Time: 596.817/86400
Decision: 2730/8260	Time: 598.816/86400
Decision: 2730/8260	Time: 601.011/86400
Decision: 2730/8260	Time: 603.013/86400
Decision: 2730/8260	Time: 605.381/86400
Decision: 2730/8260	Time: 607.482/86400
Decision: 2730/8260	Time: 609.724/86400
Decision: 2730/8260	Time: 612.301/86400
Decision: 2730/8260	Time: 614.439/86400
Decision: 2730/8260	Time: 616.525/86400
Decision: 2730/8260	Time: 618.637/86400
Decision: 2730/8260	Time: 620.927/86400
Decision: 2730/8260	Time: 623.477/86400
Decision: 2730/8260	Time: 625.646/86400
Decision: 2730/8260	Time: 627.958/86400
Decision: 2730/8260	Time: 630.343/86400
Decision: 2730/8260	Time: 632.533/86400
Decision: 2730/8260	Time: 635.18/86400
Decision: 2730/8260	Time: 637.414/86400
Decision: 2730/8260	Time: 639.695/86400
Decision: 2730/8260	Time: 641.944/86400
Decision: 2730/8260	Time: 644.374/86400
Decision: 2730/8260	Time: 647.253/86400
Decision: 2730/8260	Time: 649.587/86400
Decision: 2730/8260	Time: 652.047/86400
Decision: 2730/8260	Time: 654.35/86400
Decision: 2730/8260	Time: 656.803/86400
Decision: 2730/8260	Time: 659.699/86400
Decision: 2730/8260	Time: 662.155/86400
Decision: 2730/8260	Time: 664.592/86400
Decision: 2730/8260	Time: 666.901/86400
Decision: 2730/8260	Time: 669.277/86400
Decision: 2730/8260	Time: 672.483/86400
Decision: 2730/8260	Time: 675.258/86400
Decision: 2730/8260	Time: 677.756/86400
Decision: 2730/8260	Time: 680.177/86400
Decision: 2730/8260	Time: 682.702/86400
Decision: 2730/8260	Time: 685.695/86400
Decision: 2730/8260	Time: 688.099/86400
Decision: 2730/8260	Time: 690.642/86400
Decision: 2730/8260	Time: 693.026/86400
Decision: 2730/8260	Time: 695.535/86400
Decision: 2730/8260	Time: 698.495/86400
Decision: 2730/8260	Time: 700.878/86400
Decision: 2730/8260	Time: 703.292/86400
Decision: 2730/8260	Time: 705.591/86400
Decision: 2730/8260	Time: 708.021/86400
Decision: 2730/8260	Time: 711.173/86400
Decision: 2730/8260	Time: 713.822/86400
Decision: 2730/8260	Time: 716.402/86400
Decision: 2730/8260	Time: 719.174/86400
Decision: 2730/8260	Time: 721.67/86400
Decision: 2730/8260	Time: 724.903/86400
Decision: 2730/8260	Time: 727.621/86400
Decision: 2730/8260	Time: 730.3/86400
Decision: 2730/8260	Time: 732.911/86400
Decision: 2730/8260	Time: 735.583/86400
Decision: 2730/8260	Time: 738.968/86400
Decision: 2730/8260	Time: 741.621/86400
Decision: 2730/8260	Time: 744.258/86400
Decision: 2730/8260	Time: 747.029/86400
Decision: 2730/8260	Time: 749.767/86400
Decision: 2730/8260	Time: 753.184/86400
Decision: 2730/8260	Time: 755.897/86400
Decision: 2730/8260	Time: 758.576/86400
Decision: 2730/8260	Time: 761.444/86400
Decision: 2730/8260	Time: 764.209/86400
Decision: 2730/8260	Time: 767.613/86400
Decision: 2730/8260	Time: 770.473/86400
Decision: 2730/8260	Time: 773.425/86400
Decision: 2730/8260	Time: 776.322/86400
Decision: 2730/8260	Time: 779.011/86400
Decision: 2730/8260	Time: 782.567/86400
Decision: 2730/8260	Time: 785.349/86400
Decision: 2730/8260	Time: 788.166/86400
Decision: 2730/8260	Time: 791.117/86400
Decision: 2730/8260	Time: 793.917/86400
Decision: 2730/8260	Time: 797.419/86400
Decision: 2730/8260	Time: 800.37/86400
Decision: 2730/8260	Time: 803.278/86400
Decision: 2730/8260	Time: 806.248/86400
Decision: 2730/8260	Time: 809.139/86400
Decision: 2730/8260	Time: 812.824/86400
Decision: 2730/8260	Time: 815.659/86400
Decision: 2730/8260	Time: 818.62/86400
Decision: 2730/8260	Time: 821.61/86400
Decision: 2730/8260	Time: 824.553/86400
Decision: 2730/8260	Time: 828.116/86400
Decision: 2730/8260	Time: 830.89/86400
Decision: 2730/8260	Time: 833.732/86400
Decision: 2730/8260	Time: 836.453/86400
Decision: 2730/8260	Time: 839.228/86400
Decision: 2730/8260	Time: 842.714/86400
Decision: 2730/8260	Time: 845.447/86400
Decision: 2730/8260	Time: 848.313/86400
Decision: 2730/8260	Time: 851.322/86400
Decision: 2730/8260	Time: 854.11/86400
Decision: 2730/8260	Time: 857.907/86400
Decision: 2730/8260	Time: 860.944/86400
Decision: 2730/8260	Time: 863.791/86400
Decision: 2730/8260	Time: 866.663/86400
Decision: 2730/8260	Time: 869.394/86400
Decision: 2730/8260	Time: 873.001/86400
Decision: 2730/8260	Time: 875.97/86400
Decision: 2730/8260	Time: 879.028/86400
Decision: 2730/8260	Time: 881.988/86400
Decision: 2730/8260	Time: 884.901/86400
Decision: 2730/8260	Time: 888.465/86400
Decision: 2730/8260	Time: 891.248/86400
Decision: 2730/8260	Time: 894.145/86400
Decision: 2730/8260	Time: 897.258/86400
Decision: 2730/8260	Time: 900.209/86400
Decision: 2730/8260	Time: 903.891/86400
Decision: 2730/8260	Time: 906.725/86400
Decision: 2730/8260	Time: 909.793/86400
Decision: 2730/8260	Time: 912.855/86400
Decision: 2730/8260	Time: 915.622/86400
Decision: 2730/8260	Time: 919.218/86400
Decision: 2730/8260	Time: 922.149/86400
Decision: 2730/8260	Time: 925.075/86400
Decision: 2730/8260	Time: 928.1/86400
Decision: 2730/8260	Time: 931.167/86400
Decision: 2730/8260	Time: 934.978/86400
Decision: 2730/8260	Time: 938.099/86400
Decision: 2730/8260	Time: 941.088/86400
Decision: 2730/8260	Time: 944.069/86400
Decision: 2730/8260	Time: 947.17/86400
Decision: 2730/8260	Time: 951.041/86400
Decision: 2730/8260	Time: 953.927/86400
Decision: 2730/8260	Time: 957.017/86400
Decision: 2730/8260	Time: 960.077/86400
Decision: 2730/8260	Time: 963.257/86400
Decision: 2730/8260	Time: 967.172/86400
Decision: 2730/8260	Time: 970.276/86400
Decision: 2730/8260	Time: 973.372/86400
Decision: 2730/8260	Time: 976.515/86400
Decision: 2730/8260	Time: 979.781/86400
Decision: 2730/8260	Time: 983.577/86400
Decision: 2730/8260	Time: 986.503/86400
Decision: 2730/8260	Time: 989.387/86400
Decision: 2730/8260	Time: 992.464/86400
Decision: 2730/8260	Time: 995.473/86400
Decision: 2730/8260	Time: 999.39/86400
Decision: 2730/8260	Time: 1002.52/86400
Decision: 2730/8260	Time: 1005.79/86400
Decision: 2730/8260	Time: 1008.96/86400
Decision: 2730/8260	Time: 1011.93/86400
Decision: 2730/8260	Time: 1015.66/86400
Decision: 2730/8260	Time: 1018.71/86400
Decision: 2730/8260	Time: 1021.78/86400
Decision: 2730/8260	Time: 1024.84/86400
Decision: 2730/8260	Time: 1027.9/86400
Decision: 2730/8260	Time: 1031.62/86400
Decision: 2730/8260	Time: 1034.74/86400
Decision: 2730/8260	Time: 1037.86/86400
Decision: 2730/8260	Time: 1041.06/86400
Decision: 2730/8260	Time: 1044.42/86400
Decision: 2730/8260	Time: 1048.28/86400
Decision: 2730/8260	Time: 1051.48/86400
Decision: 2730/8260	Time: 1054.55/86400
Decision: 2730/8260	Time: 1057.79/86400
Decision: 2730/8260	Time: 1061.27/86400
Decision: 2730/8260	Time: 1065.42/86400
Decision: 2730/8260	Time: 1068.69/86400
Decision: 2730/8260	Time: 1072.04/86400
Decision: 2730/8260	Time: 1075.26/86400
Decision: 2730/8260	Time: 1078.42/86400
Decision: 2730/8260	Time: 1082.36/86400
Decision: 2730/8260	Time: 1085.51/86400
Decision: 2730/8260	Time: 1088.81/86400
Decision: 2730/8260	Time: 1092.14/86400
Decision: 2730/8260	Time: 1095.31/86400
Decision: 2730/8260	Time: 1099.36/86400
Decision: 2730/8260	Time: 1102.64/86400
Decision: 2730/8260	Time: 1106.01/86400
Decision: 2730/8260	Time: 1109.26/86400
Decision: 2730/8260	Time: 1112.45/86400
Decision: 2730/8260	Time: 1116.55/86400
Decision: 2730/8260	Time: 1119.94/86400
Decision: 2730/8260	Time: 1123.32/86400
Decision: 2730/8260	Time: 1126.62/86400
Decision: 2730/8260	Time: 1129.97/86400
Decision: 2730/8260	Time: 1134.37/86400
Decision: 2730/8260	Time: 1137.81/86400
Decision: 2730/8260	Time: 1141.06/86400
Decision: 2730/8260	Time: 1144.54/86400
Decision: 2730/8260	Time: 1147.87/86400
Decision: 2730/8260	Time: 1152.26/86400
Decision: 2730/8260	Time: 1155.54/86400
Decision: 2730/8260	Time: 1159.08/86400
Decision: 2730/8260	Time: 1162.28/86400
Decision: 2730/8260	Time: 1165.45/86400
Decision: 2730/8260	Time: 1169.7/86400
Decision: 2730/8260	Time: 1173.06/86400
Decision: 2730/8260	Time: 1176.43/86400
Decision: 2730/8260	Time: 1179.87/86400
Decision: 2730/8260	Time: 1183.27/86400
Decision: 2730/8260	Time: 1187.41/86400
Decision: 2730/8260	Time: 1190.66/86400
Decision: 2730/8260	Time: 1194.05/86400
Decision: 2730/8260	Time: 1197.48/86400
Decision: 2730/8260	Time: 1200.89/86400
Decision: 2730/8260	Time: 1205.19/86400
Decision: 2730/8260	Time: 1208.5/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.73 0.23 0.08 2/54 8703
Raw data (stat): 8703 (runsolver) D 8702 25399 25398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 863982812 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 1880 0 9 0 827 5 0 0 25 0 1 0 863982812 8855552 1468 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2162 1468 300 300 0 1862 0
vsize: 8648
[startup+20.001 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 2484 0 9 0 1825 8 0 0 25 0 1 0 863982812 13189120 2072 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3220 2072 300 300 0 2920 0
vsize: 12880
[startup+30.0017 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 2960 0 9 0 2824 9 0 0 25 0 1 0 863982812 13336576 2548 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3256 2548 300 300 0 2956 0
vsize: 13024
[startup+40.0024 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 3359 0 9 0 3822 12 0 0 25 0 1 0 863982812 21864448 2947 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5338 2947 300 300 0 5038 0
vsize: 21352
[startup+50.0021 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 3895 0 9 0 4821 12 0 0 25 0 1 0 863982812 22003712 3483 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5372 3483 300 300 0 5072 0
vsize: 21488
[startup+60.0018 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 4969 0 9 0 5817 16 0 0 25 0 1 0 863982812 23199744 4557 4294967295 134512640 135726644 3221224576 3221222896 134729041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5664 4557 300 300 0 5364 0
vsize: 22656
[startup+70.0015 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 6006 0 9 0 6814 19 0 0 25 0 1 0 863982812 25182208 5401 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6148 5401 300 300 0 5848 0
vsize: 24592
[startup+80.0022 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 6641 0 9 0 7812 22 0 0 25 0 1 0 863982812 43278336 6036 4294967295 134512640 135726644 3221224576 3221222816 134782828 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10566 6036 300 300 0 10266 0
vsize: 42264
[startup+90.0022 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 7087 0 9 0 8810 24 0 0 25 0 1 0 863982812 44494848 6482 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10863 6482 300 300 0 10563 0
vsize: 43452
[startup+100.002 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 7520 0 9 0 9808 25 0 0 25 0 1 0 863982812 45182976 6915 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11031 6915 300 300 0 10731 0
vsize: 44124
[startup+110.002 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 8076 0 9 0 10806 27 0 0 25 0 1 0 863982812 46125056 7471 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11261 7471 300 300 0 10961 0
vsize: 45044
[startup+120.002 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 8584 0 9 0 11805 29 0 0 25 0 1 0 863982812 46809088 7979 4294967295 134512640 135726644 3221224576 3221222816 134783010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11428 7979 300 300 0 11128 0
vsize: 45712
[startup+130.003 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 8974 0 9 0 12803 31 0 0 25 0 1 0 863982812 47333376 8369 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11556 8369 300 300 0 11256 0
vsize: 46224
[startup+140.003 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 9658 0 9 0 13802 33 0 0 25 0 1 0 863982812 48119808 9053 4294967295 134512640 135726644 3221224576 3221223120 134736632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11748 9053 300 300 0 11448 0
vsize: 46992
[startup+150.003 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 10373 0 9 0 14799 36 0 0 25 0 1 0 863982812 48963584 9768 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11954 9768 300 300 0 11654 0
vsize: 47816
[startup+160.004 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 10522 0 9 0 15797 37 0 0 25 0 1 0 863982812 49307648 9917 4294967295 134512640 135726644 3221224576 3221223056 134729226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12038 9917 300 300 0 11738 0
vsize: 48152
[startup+170.003 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 10717 0 9 0 16796 38 0 0 25 0 1 0 863982812 49676288 10112 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12128 10112 300 300 0 11828 0
vsize: 48512
[startup+180.004 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 11220 0 9 0 17795 40 0 0 25 0 1 0 863982812 51838976 10230 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12656 10230 300 300 0 12356 0
vsize: 50624
[startup+190.004 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 11326 0 9 0 18795 41 0 0 25 0 1 0 863982812 52117504 10336 4294967295 134512640 135726644 3221224576 3221223056 134729212 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12724 10336 300 300 0 12424 0
vsize: 50896
[startup+200.004 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 11426 0 9 0 19794 42 0 0 25 0 1 0 863982812 52510720 10436 4294967295 134512640 135726644 3221224576 3221223172 134743856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 10436 300 300 0 12520 0
vsize: 51280
[startup+210.004 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 11541 0 9 0 20793 43 0 0 25 0 1 0 863982812 52723712 10551 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12872 10551 300 300 0 12572 0
vsize: 51488
[startup+220.003 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 11893 0 9 0 21792 44 0 0 25 0 1 0 863982812 53133312 10903 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12972 10903 300 300 0 12672 0
vsize: 51888
[startup+230.004 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 12095 0 9 0 22791 45 0 0 25 0 1 0 863982812 53395456 11105 4294967295 134512640 135726644 3221224576 3221223168 134760075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13036 11105 300 300 0 12736 0
vsize: 52144
[startup+240.003 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 12336 0 9 0 23790 46 0 0 25 0 1 0 863982812 53805056 11346 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13136 11346 300 300 0 12836 0
vsize: 52544
[startup+250.003 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 12542 0 9 0 24789 47 0 0 25 0 1 0 863982812 54181888 11552 4294967295 134512640 135726644 3221224576 3221222904 134810890 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13228 11552 300 300 0 12928 0
vsize: 52912
[startup+260.004 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 12890 0 9 0 25788 49 0 0 25 0 1 0 863982812 54411264 11900 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13284 11900 300 300 0 12984 0
vsize: 53136
[startup+270.004 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 12960 0 9 0 26787 49 0 0 25 0 1 0 863982812 54677504 11970 4294967295 134512640 135726644 3221224576 3221223088 134742904 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13349 11970 300 300 0 13049 0
vsize: 53396
[startup+280.004 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13096 0 9 0 27785 52 0 0 25 0 1 0 863982812 55283712 12106 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13497 12106 300 300 0 13197 0
vsize: 53988
[startup+290.005 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13133 0 9 0 28781 56 0 0 25 0 1 0 863982812 55283712 12143 4294967295 134512640 135726644 3221224576 3221223072 134744172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13497 12143 300 300 0 13197 0
vsize: 53988
[startup+300.005 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13190 0 9 0 29778 59 0 0 25 0 1 0 863982812 55418880 12200 4294967295 134512640 135726644 3221224576 3221222960 134758304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13530 12200 300 300 0 13230 0
vsize: 54120
[startup+310.004 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13244 0 9 0 30776 61 0 0 25 0 1 0 863982812 55566336 12254 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13566 12254 300 300 0 13266 0
vsize: 54264
[startup+320.004 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13289 0 9 0 31775 62 0 0 25 0 1 0 863982812 55640064 12299 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13584 12299 300 300 0 13284 0
vsize: 54336
[startup+330.005 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13336 0 9 0 32774 63 0 0 25 0 1 0 863982812 55726080 12346 4294967295 134512640 135726644 3221224576 3221222756 135277527 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13605 12346 300 300 0 13305 0
vsize: 54420
[startup+340.006 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13380 0 9 0 33774 64 0 0 25 0 1 0 863982812 55799808 12390 4294967295 134512640 135726644 3221224576 3221223168 134760221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13623 12390 300 300 0 13323 0
vsize: 54492
[startup+350.005 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13417 0 9 0 34773 65 0 0 25 0 1 0 863982812 55873536 12427 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13641 12427 300 300 0 13341 0
vsize: 54564
[startup+360.006 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13460 0 9 0 35773 65 0 0 25 0 1 0 863982812 55943168 12470 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13658 12470 300 300 0 13358 0
vsize: 54632
[startup+370.006 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13503 0 9 0 36772 66 0 0 25 0 1 0 863982812 56102912 12513 4294967295 134512640 135726644 3221224576 3221222816 134782624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13697 12513 300 300 0 13397 0
vsize: 54788
[startup+380.006 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 13620 0 9 0 37770 69 0 0 25 0 1 0 863982812 56487936 12630 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13791 12630 300 300 0 13491 0
vsize: 55164
[startup+390.007 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 14418 0 9 0 38767 72 0 0 25 0 1 0 863982812 59633664 12659 4294967295 134512640 135726644 3221224576 3221222768 135287555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14559 12659 300 300 0 14259 0
vsize: 58236
[startup+400.007 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 14447 0 9 0 39766 73 0 0 25 0 1 0 863982812 59703296 12688 4294967295 134512640 135726644 3221224576 3221223088 134742913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14576 12688 300 300 0 14276 0
vsize: 58304
[startup+410.007 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 14475 0 9 0 40766 74 0 0 25 0 1 0 863982812 59703296 12716 4294967295 134512640 135726644 3221224576 3221222800 134810285 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14576 12716 300 300 0 14276 0
vsize: 58304
[startup+420.007 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 14513 0 9 0 41764 75 0 0 25 0 1 0 863982812 59777024 12754 4294967295 134512640 135726644 3221224576 3221222912 134763531 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14594 12754 300 300 0 14294 0
vsize: 58376
[startup+430.007 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 14548 0 9 0 42764 76 0 0 25 0 1 0 863982812 59846656 12789 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14611 12789 300 300 0 14311 0
vsize: 58444
[startup+440.007 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 14587 0 9 0 43764 76 0 0 25 0 1 0 863982812 59924480 12828 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14630 12828 300 300 0 14330 0
vsize: 58520
[startup+450.007 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 14645 0 9 0 44763 77 0 0 25 0 1 0 863982812 60157952 12886 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14687 12886 300 300 0 14387 0
vsize: 58748
[startup+460.008 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 14695 0 9 0 45762 78 0 0 25 0 1 0 863982812 60248064 12936 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14709 12936 300 300 0 14409 0
vsize: 58836
[startup+470.007 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 14833 0 9 0 46759 81 0 0 25 0 1 0 863982812 60780544 13074 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14839 13074 300 300 0 14539 0
vsize: 59356
[startup+480.007 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 14971 0 9 0 47757 83 0 0 25 0 1 0 863982812 61272064 13212 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14959 13212 300 300 0 14659 0
vsize: 59836
[startup+490.007 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15048 0 9 0 48751 90 0 0 25 0 1 0 863982812 61480960 13289 4294967295 134512640 135726644 3221224576 3221222896 134729202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15010 13289 300 300 0 14710 0
vsize: 60040
[startup+500.007 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15106 0 9 0 49744 96 0 0 25 0 1 0 863982812 61616128 13347 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15043 13347 300 300 0 14743 0
vsize: 60172
[startup+510.007 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15157 0 9 0 50740 101 0 0 25 0 1 0 863982812 61714432 13398 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15067 13398 300 300 0 14767 0
vsize: 60268
[startup+520.006 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15209 0 9 0 51732 109 0 0 25 0 1 0 863982812 61829120 13450 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15095 13450 300 300 0 14795 0
vsize: 60380
[startup+530.006 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15253 0 9 0 52728 113 0 0 25 0 1 0 863982812 61956096 13494 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15126 13494 300 300 0 14826 0
vsize: 60504
[startup+540.005 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15288 0 9 0 53728 113 0 0 25 0 1 0 863982812 62029824 13529 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15144 13529 300 300 0 14844 0
vsize: 60576
[startup+550.005 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15346 0 9 0 54722 119 0 0 25 0 1 0 863982812 62164992 13587 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15177 13587 300 300 0 14877 0
vsize: 60708
[startup+560.006 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15410 0 9 0 55720 122 0 0 25 0 1 0 863982812 62300160 13651 4294967295 134512640 135726644 3221224576 3221223168 134760180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15210 13651 300 300 0 14910 0
vsize: 60840
[startup+570.006 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15442 0 9 0 56719 123 0 0 25 0 1 0 863982812 62300160 13683 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15210 13683 300 300 0 14910 0
vsize: 60840
[startup+580.005 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15484 0 9 0 57719 123 0 0 25 0 1 0 863982812 62443520 13725 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15245 13725 300 300 0 14945 0
vsize: 60980
[startup+590.005 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15524 0 9 0 58718 124 0 0 25 0 1 0 863982812 62517248 13765 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15263 13765 300 300 0 14963 0
vsize: 61052
[startup+600.005 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15561 0 9 0 59717 125 0 0 25 0 1 0 863982812 62517248 13802 4294967295 134512640 135726644 3221224576 3221223120 134736620 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15263 13802 300 300 0 14963 0
vsize: 61052
[startup+610.005 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15604 0 9 0 60716 126 0 0 25 0 1 0 863982812 62685184 13845 4294967295 134512640 135726644 3221224576 3221222896 134729202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15304 13845 300 300 0 15004 0
vsize: 61216
[startup+620.004 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15641 0 9 0 61716 127 0 0 25 0 1 0 863982812 62758912 13882 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15322 13882 300 300 0 15022 0
vsize: 61288
[startup+630.004 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15680 0 9 0 62716 127 0 0 25 0 1 0 863982812 62849024 13921 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15344 13921 300 300 0 15044 0
vsize: 61376
[startup+640.005 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15723 0 9 0 63716 127 0 0 25 0 1 0 863982812 62918656 13964 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15361 13964 300 300 0 15061 0
vsize: 61444
[startup+650.004 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15788 0 9 0 64715 128 0 0 25 0 1 0 863982812 63131648 14029 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15413 14029 300 300 0 15113 0
vsize: 61652
[startup+660.004 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15858 0 9 0 65714 129 0 0 25 0 1 0 863982812 63377408 14099 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15473 14099 300 300 0 15173 0
vsize: 61892
[startup+670.004 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 15935 0 9 0 66714 130 0 0 25 0 1 0 863982812 63606784 14176 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15529 14176 300 300 0 15229 0
vsize: 62116
[startup+680.003 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 16030 0 9 0 67713 131 0 0 25 0 1 0 863982812 63967232 14271 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15617 14271 300 300 0 15317 0
vsize: 62468
[startup+690.003 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 16118 0 9 0 68712 131 0 0 25 0 1 0 863982812 64278528 14359 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15693 14359 300 300 0 15393 0
vsize: 62772
[startup+700.003 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 16192 0 9 0 69712 132 0 0 25 0 1 0 863982812 64458752 14433 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15737 14433 300 300 0 15437 0
vsize: 62948
[startup+710.003 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 16270 0 9 0 70711 133 0 0 25 0 1 0 863982812 64720896 14511 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15801 14511 300 300 0 15501 0
vsize: 63204
[startup+720.003 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 16355 0 9 0 71710 134 0 0 25 0 1 0 863982812 64983040 14596 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15865 14596 300 300 0 15565 0
vsize: 63460
[startup+730.003 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 16839 0 9 0 72709 135 0 0 25 0 1 0 863982812 65540096 15080 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16001 15080 300 300 0 15701 0
vsize: 64004
[startup+740.003 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 17535 0 9 0 73706 138 0 0 25 0 1 0 863982812 99422208 15776 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24273 15776 300 300 0 23973 0
vsize: 97092
[startup+750.003 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 17716 0 9 0 74705 139 0 0 25 0 1 0 863982812 100110336 15957 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24441 15957 300 300 0 24141 0
vsize: 97764
[startup+760.004 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 18024 0 9 0 75705 140 0 0 25 0 1 0 863982812 100474880 16265 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24530 16265 300 300 0 24230 0
vsize: 98120
[startup+770.003 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 18449 0 9 0 76704 141 0 0 25 0 1 0 863982812 101015552 16690 4294967295 134512640 135726644 3221224576 3221223072 134744172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24662 16690 300 300 0 24362 0
vsize: 98648
[startup+780.003 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 18734 0 9 0 77702 143 0 0 25 0 1 0 863982812 101474304 16975 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24774 16975 300 300 0 24474 0
vsize: 99096
[startup+790.003 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 19006 0 9 0 78702 144 0 0 25 0 1 0 863982812 101605376 17247 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24806 17247 300 300 0 24506 0
vsize: 99224
[startup+800.003 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 19116 0 9 0 79701 144 0 0 25 0 1 0 863982812 102146048 17357 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24938 17357 300 300 0 24638 0
vsize: 99752
[startup+810.004 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 21198 0 9 0 80696 150 0 0 25 0 1 0 863982812 108699648 17902 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26538 17902 300 300 0 26238 0
vsize: 106152
[startup+820.003 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 21485 0 9 0 81694 152 0 0 25 0 1 0 863982812 108896256 18189 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26586 18189 300 300 0 26286 0
vsize: 106344
[startup+830.003 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 21560 0 9 0 82693 153 0 0 25 0 1 0 863982812 109142016 18264 4294967295 134512640 135726644 3221224576 3221223200 134779687 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26646 18264 300 300 0 26346 0
vsize: 106584
[startup+840.002 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 21624 0 9 0 83692 154 0 0 25 0 1 0 863982812 109371392 18328 4294967295 134512640 135726644 3221224576 3221223200 134744513 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26702 18328 300 300 0 26402 0
vsize: 106808
[startup+850.002 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 21705 0 9 0 84692 154 0 0 25 0 1 0 863982812 109633536 18409 4294967295 134512640 135726644 3221224576 3221223088 134742627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26766 18409 300 300 0 26466 0
vsize: 107064
[startup+860.003 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 21776 0 9 0 85691 155 0 0 25 0 1 0 863982812 109912064 18480 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26834 18480 300 300 0 26534 0
vsize: 107336
[startup+870.003 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 21834 0 9 0 86691 156 0 0 25 0 1 0 863982812 110075904 18538 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26874 18538 300 300 0 26574 0
vsize: 107496
[startup+880.002 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 21875 0 9 0 87690 156 0 0 25 0 1 0 863982812 110174208 18579 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26898 18579 300 300 0 26598 0
vsize: 107592
[startup+890.003 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 21937 0 9 0 88690 157 0 0 25 0 1 0 863982812 110305280 18641 4294967295 134512640 135726644 3221224576 3221223200 134779424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26930 18641 300 300 0 26630 0
vsize: 107720
[startup+900.003 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 21998 0 9 0 89689 158 0 0 25 0 1 0 863982812 110551040 18702 4294967295 134512640 135726644 3221224576 3221222816 135279136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26990 18702 300 300 0 26690 0
vsize: 107960
[startup+910.003 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 22298 0 9 0 90688 159 0 0 25 0 1 0 863982812 110632960 19002 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27010 19002 300 300 0 26710 0
vsize: 108040
[startup+920.003 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 22349 0 9 0 91687 160 0 0 25 0 1 0 863982812 110780416 19053 4294967295 134512640 135726644 3221224576 3221223088 134742591 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27046 19053 300 300 0 26746 0
vsize: 108184
[startup+930.003 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 22421 0 9 0 92687 161 0 0 25 0 1 0 863982812 111091712 19125 4294967295 134512640 135726644 3221224576 3221222712 134761838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27122 19125 300 300 0 26822 0
vsize: 108488
[startup+940.002 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 22500 0 9 0 93686 161 0 0 25 0 1 0 863982812 111304704 19204 4294967295 134512640 135726644 3221224576 3221222764 134761832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27174 19204 300 300 0 26874 0
vsize: 108696
[startup+950.002 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 22665 0 9 0 94685 163 0 0 25 0 1 0 863982812 111534080 19369 4294967295 134512640 135726644 3221224576 3221223056 134729212 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27230 19369 300 300 0 26930 0
vsize: 108920
[startup+960.002 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 22836 0 9 0 95684 164 0 0 25 0 1 0 863982812 111763456 19540 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27286 19540 300 300 0 26986 0
vsize: 109144
[startup+970.001 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 23112 0 9 0 96683 165 0 0 25 0 1 0 863982812 111910912 19816 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27322 19816 300 300 0 27022 0
vsize: 109288
[startup+980.001 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 23198 0 9 0 97682 166 0 0 25 0 1 0 863982812 112205824 19902 4294967295 134512640 135726644 3221224576 3221222896 134728997 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27394 19902 300 300 0 27094 0
vsize: 109576
[startup+990.002 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 23470 0 9 0 98680 168 0 0 25 0 1 0 863982812 112320512 20174 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27422 20174 300 300 0 27122 0
vsize: 109688
[startup+1000 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 23519 0 9 0 99680 168 0 0 25 0 1 0 863982812 112533504 20223 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27474 20223 300 300 0 27174 0
vsize: 109896
[startup+1010 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 23592 0 9 0 100680 169 0 0 25 0 1 0 863982812 112828416 20296 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27546 20296 300 300 0 27246 0
vsize: 110184
[startup+1020 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 23710 0 9 0 101679 169 0 0 25 0 1 0 863982812 112975872 20414 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27582 20414 300 300 0 27282 0
vsize: 110328
[startup+1030 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 23791 0 9 0 102679 170 0 0 25 0 1 0 863982812 113238016 20495 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27646 20495 300 300 0 27346 0
vsize: 110584
[startup+1040 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 23849 0 9 0 103678 171 0 0 25 0 1 0 863982812 113467392 20553 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27702 20553 300 300 0 27402 0
vsize: 110808
[startup+1050 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 24055 0 9 0 104677 172 0 0 25 0 1 0 863982812 113664000 20759 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27750 20759 300 300 0 27450 0
vsize: 111000
[startup+1060 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 24134 0 9 0 105677 172 0 0 25 0 1 0 863982812 113795072 20838 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27782 20838 300 300 0 27482 0
vsize: 111128
[startup+1070 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 24533 0 9 0 106675 175 0 0 25 0 1 0 863982812 113926144 21237 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27814 21237 300 300 0 27514 0
vsize: 111256
[startup+1080 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 24843 0 9 0 107673 176 0 0 25 0 1 0 863982812 114188288 21547 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27878 21547 300 300 0 27578 0
vsize: 111512
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 25104 0 9 0 108672 177 0 0 25 0 1 0 863982812 114614272 21808 4294967295 134512640 135726644 3221224576 3221223088 134742904 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27982 21808 300 300 0 27682 0
vsize: 111928
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 25277 0 9 0 109672 178 0 0 25 0 1 0 863982812 114810880 21981 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28030 21981 300 300 0 27730 0
vsize: 112120
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 25367 0 9 0 110671 179 0 0 25 0 1 0 863982812 115171328 22071 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28118 22071 300 300 0 27818 0
vsize: 112472
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 25702 0 9 0 111669 181 0 0 25 0 1 0 863982812 115499008 22406 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28198 22406 300 300 0 27898 0
vsize: 112792
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 25907 0 9 0 112669 181 0 0 25 0 1 0 863982812 116121600 22611 4294967295 134512640 135726644 3221224576 3221223160 134760063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28350 22611 300 300 0 28050 0
vsize: 113400
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 26257 0 9 0 113668 182 0 0 25 0 1 0 863982812 116547584 22961 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28454 22961 300 300 0 28154 0
vsize: 113816
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 26387 0 9 0 114662 183 0 0 25 0 1 0 863982812 116711424 23091 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28494 23091 300 300 0 28194 0
vsize: 113976
[startup+1160.43 s]
Raw data (loadavg): 0.99 0.97 0.70 4/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 26676 0 9 0 115704 184 0 0 25 0 1 0 863982812 117170176 23380 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28606 23380 300 300 0 28306 0
vsize: 114424
[startup+1170.43 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 26819 0 9 0 116704 185 0 0 25 0 1 0 863982812 117760000 23523 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28750 23523 300 300 0 28450 0
vsize: 115000
[startup+1180.43 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 26931 0 9 0 117703 186 0 0 25 0 1 0 863982812 118251520 23635 4294967295 134512640 135726644 3221224576 3221222800 134810195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28870 23635 300 300 0 28570 0
vsize: 115480
[startup+1190.43 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 27016 0 9 0 118702 186 0 0 25 0 1 0 863982812 118579200 23720 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28950 23720 300 300 0 28650 0
vsize: 115800
[startup+1200.43 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 27086 0 9 0 119702 187 0 0 25 0 1 0 863982812 118910976 23790 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29031 23790 300 300 0 28731 0
vsize: 116124
[startup+1210.43 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 8703
Raw data (stat): 8703 (pb2sat) R 8702 25399 25398 0 -1 0 27183 0 9 0 120702 188 0 0 25 0 1 0 863982812 119009280 23887 4294967295 134512640 135726644 3221224576 3221223184 134741148 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29055 23887 300 300 0 28755 0
vsize: 116220
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.67 s]
Raw data (loadavg): 0.99 0.97 0.72 1/54 8703
Raw data (stat): 8703 (pb2sat) Z 8702 25399 25398 0 -1 12 27184 0 9 0 120721 192 0 0 25 0 1 0 863982812 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1210.67
CPU time (s): 1209.14
CPU user time (s): 1207.21
CPU system time (s): 1.92671
CPU usage (%): 99.8735
Max. virtual memory (Kb): 116220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####