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-chnl15_16_pb.cnf.cr.opb
MD5SUM	3f8902c4e8af50006f671e2bddb3e9aa
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	17
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.013997
Number of variables	480
Total number of constraints	62
Number of constraints which are clauses	32
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	16
Trace number 34670

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        524056 kB
Buffers:         37496 kB
Cached:         449236 kB
SwapCached:        760 kB
Active:          72376 kB
Inactive:       416724 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        523804 kB
SwapTotal:     2097136 kB
SwapFree:      2095368 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            15792 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:30:31 (client local time) WITH STATUS 0 IN 1205 SECONDS
stats: 23931 7 1205 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 450/1380	Time: 17.8633/86400
Decision: 450/1380	Time: 18.3062/86400
Decision: 450/1380	Time: 18.7801/86400
Decision: 450/1380	Time: 19.413/86400
Decision: 450/1380	Time: 19.956/86400
Decision: 450/1380	Time: 20.9628/86400
Decision: 450/1380	Time: 21.5727/86400
Decision: 450/1380	Time: 22.3166/86400
Decision: 450/1380	Time: 23.0635/86400
Decision: 450/1380	Time: 23.7914/86400
Decision: 450/1380	Time: 24.7522/86400
Decision: 450/1380	Time: 25.4951/86400
Decision: 450/1380	Time: 26.353/86400
Decision: 450/1380	Time: 27.2779/86400
Decision: 450/1380	Time: 28.2227/86400
Decision: 450/1380	Time: 29.0596/86400
Decision: 450/1380	Time: 29.9484/86400
Decision: 450/1380	Time: 30.8643/86400
Decision: 450/1380	Time: 31.7532/86400
Decision: 450/1380	Time: 32.739/86400
Decision: 450/1380	Time: 33.7649/86400
Decision: 450/1380	Time: 34.8717/86400
Decision: 450/1380	Time: 35.9015/86400
Decision: 450/1380	Time: 36.8574/86400
Decision: 450/1380	Time: 37.9112/86400
Decision: 450/1380	Time: 39.1171/86400
Decision: 450/1380	Time: 40.2189/86400
Decision: 450/1380	Time: 41.4377/86400
Decision: 450/1380	Time: 42.6675/86400
Decision: 450/1380	Time: 43.7543/86400
Decision: 450/1380	Time: 44.9892/86400
Decision: 450/1380	Time: 46.101/86400
Decision: 450/1380	Time: 47.3768/86400
Decision: 450/1380	Time: 48.6676/86400
Decision: 450/1380	Time: 50.0524/86400
Decision: 450/1380	Time: 51.4562/86400
Decision: 450/1380	Time: 52.756/86400
Decision: 450/1380	Time: 53.9758/86400
Decision: 450/1380	Time: 55.2876/86400
Decision: 450/1380	Time: 56.3384/86400
Decision: 450/1380	Time: 57.9772/86400
Decision: 450/1380	Time: 59.318/86400
Decision: 450/1380	Time: 60.4868/86400
Decision: 450/1380	Time: 61.6736/86400
Decision: 450/1380	Time: 63.0174/86400
Decision: 450/1380	Time: 64.4942/86400
Decision: 450/1380	Time: 65.875/86400
Decision: 450/1380	Time: 67.3948/86400
Decision: 450/1380	Time: 68.7066/86400
Decision: 450/1380	Time: 70.0024/86400
Decision: 450/1380	Time: 71.7201/86400
Decision: 450/1380	Time: 73.0329/86400
Decision: 450/1380	Time: 74.3677/86400
Decision: 450/1380	Time: 75.9625/86400
Decision: 450/1380	Time: 77.2942/86400
Decision: 450/1380	Time: 79.4059/86400
Decision: 450/1380	Time: 80.7847/86400
Decision: 450/1380	Time: 82.4265/86400
Decision: 450/1380	Time: 84.0742/86400
Decision: 450/1380	Time: 85.65/86400
Decision: 450/1380	Time: 87.4887/86400
Decision: 450/1380	Time: 88.9625/86400
Decision: 450/1380	Time: 90.4822/86400
Decision: 450/1380	Time: 92.042/86400
Decision: 450/1380	Time: 93.7108/86400
Decision: 450/1380	Time: 95.5585/86400
Decision: 450/1380	Time: 97.3822/86400
Decision: 450/1380	Time: 99.0799/86400
Decision: 450/1380	Time: 100.935/86400
Decision: 450/1380	Time: 102.658/86400
Decision: 450/1380	Time: 104.673/86400
Decision: 450/1380	Time: 106.518/86400
Decision: 450/1380	Time: 108.735/86400
Decision: 450/1380	Time: 110.519/86400
Decision: 450/1380	Time: 112.219/86400
Decision: 450/1380	Time: 114.193/86400
Decision: 450/1380	Time: 116.375/86400
Decision: 450/1380	Time: 118.351/86400
Decision: 450/1380	Time: 120.358/86400
Decision: 450/1380	Time: 122.315/86400
Decision: 450/1380	Time: 124.481/86400
Decision: 450/1380	Time: 126.698/86400
Decision: 450/1380	Time: 128.638/86400
Decision: 450/1380	Time: 130.725/86400
Decision: 450/1380	Time: 133.012/86400
Decision: 450/1380	Time: 135.434/86400
Decision: 450/1380	Time: 137.577/86400
Decision: 450/1380	Time: 139.707/86400
Decision: 450/1380	Time: 141.743/86400
Decision: 450/1380	Time: 143.564/86400
Decision: 450/1380	Time: 145.749/86400
Decision: 450/1380	Time: 147.766/86400
Decision: 450/1380	Time: 149.912/86400
Decision: 450/1380	Time: 151.75/86400
Decision: 450/1380	Time: 154.266/86400
Decision: 450/1380	Time: 156.462/86400
Decision: 450/1380	Time: 158.52/86400
Decision: 450/1380	Time: 160.612/86400
Decision: 450/1380	Time: 163.062/86400
Decision: 450/1380	Time: 165.386/86400
Decision: 450/1380	Time: 167.512/86400
Decision: 450/1380	Time: 169.753/86400
Decision: 450/1380	Time: 171.706/86400
Decision: 450/1380	Time: 173.618/86400
Decision: 450/1380	Time: 175.537/86400
Decision: 450/1380	Time: 178.302/86400
Decision: 450/1380	Time: 180.514/86400
Decision: 450/1380	Time: 182.534/86400
Decision: 450/1380	Time: 184.663/86400
Decision: 450/1380	Time: 186.842/86400
Decision: 450/1380	Time: 189.246/86400
Decision: 450/1380	Time: 191.411/86400
Decision: 450/1380	Time: 193.409/86400
Decision: 450/1380	Time: 195.714/86400
Decision: 450/1380	Time: 197.667/86400
Decision: 450/1380	Time: 200.183/86400
Decision: 450/1380	Time: 202.568/86400
Decision: 450/1380	Time: 205.13/86400
Decision: 450/1380	Time: 207.547/86400
Decision: 450/1380	Time: 209.955/86400
Decision: 450/1380	Time: 212.477/86400
Decision: 450/1380	Time: 214.974/86400
Decision: 450/1380	Time: 217.233/86400
Decision: 450/1380	Time: 219.574/86400
Decision: 450/1380	Time: 221.916/86400
Decision: 450/1380	Time: 224.461/86400
Decision: 450/1380	Time: 227.262/86400
Decision: 450/1380	Time: 229.65/86400
Decision: 450/1380	Time: 231.652/86400
Decision: 450/1380	Time: 234.078/86400
Decision: 450/1380	Time: 236.462/86400
Decision: 450/1380	Time: 238.619/86400
Decision: 450/1380	Time: 240.862/86400
Decision: 450/1380	Time: 242.991/86400
Decision: 450/1380	Time: 245.219/86400
Decision: 450/1380	Time: 247.719/86400
Decision: 450/1380	Time: 250.188/86400
Decision: 450/1380	Time: 252.592/86400
Decision: 450/1380	Time: 255.127/86400
Decision: 450/1380	Time: 257.221/86400
Decision: 450/1380	Time: 259.514/86400
Decision: 450/1380	Time: 261.677/86400
Decision: 450/1380	Time: 263.524/86400
Decision: 450/1380	Time: 265.641/86400
Decision: 450/1380	Time: 267.777/86400
Decision: 450/1380	Time: 269.985/86400
Decision: 450/1380	Time: 271.914/86400
Decision: 450/1380	Time: 273.841/86400
Decision: 450/1380	Time: 275.993/86400
Decision: 450/1380	Time: 277.951/86400
Decision: 450/1380	Time: 280.469/86400
Decision: 450/1380	Time: 282.809/86400
Decision: 450/1380	Time: 285.011/86400
Decision: 450/1380	Time: 287.251/86400
Decision: 450/1380	Time: 289.683/86400
Decision: 450/1380	Time: 292.707/86400
Decision: 450/1380	Time: 294.674/86400
Decision: 450/1380	Time: 296.933/86400
Decision: 450/1380	Time: 299.18/86400
Decision: 450/1380	Time: 301.272/86400
Decision: 450/1380	Time: 303.991/86400
Decision: 450/1380	Time: 306.393/86400
Decision: 450/1380	Time: 308.735/86400
Decision: 450/1380	Time: 311.063/86400
Decision: 450/1380	Time: 313.272/86400
Decision: 450/1380	Time: 315.784/86400
Decision: 450/1380	Time: 317.988/86400
Decision: 450/1380	Time: 320.195/86400
Decision: 450/1380	Time: 322.821/86400
Decision: 450/1380	Time: 325.217/86400
Decision: 450/1380	Time: 327.654/86400
Decision: 450/1380	Time: 329.912/86400
Decision: 450/1380	Time: 332.139/86400
Decision: 450/1380	Time: 334.401/86400
Decision: 450/1380	Time: 336.38/86400
Decision: 450/1380	Time: 338.702/86400
Decision: 450/1380	Time: 340.92/86400
Decision: 450/1380	Time: 342.826/86400
Decision: 450/1380	Time: 344.797/86400
Decision: 450/1380	Time: 346.729/86400
Decision: 450/1380	Time: 349.237/86400
Decision: 450/1380	Time: 351.477/86400
Decision: 450/1380	Time: 353.713/86400
Decision: 450/1380	Time: 355.759/86400
Decision: 450/1380	Time: 358.419/86400
Decision: 450/1380	Time: 360.517/86400
Decision: 450/1380	Time: 362.64/86400
Decision: 450/1380	Time: 364.854/86400
Decision: 450/1380	Time: 366.971/86400
Decision: 450/1380	Time: 369.094/86400
Decision: 450/1380	Time: 371.492/86400
Decision: 450/1380	Time: 373.612/86400
Decision: 450/1380	Time: 375.747/86400
Decision: 450/1380	Time: 377.728/86400
Decision: 450/1380	Time: 379.92/86400
Decision: 450/1380	Time: 382.215/86400
Decision: 450/1380	Time: 384.509/86400
Decision: 450/1380	Time: 386.725/86400
Decision: 450/1380	Time: 388.896/86400
Decision: 450/1380	Time: 391.088/86400
Decision: 450/1380	Time: 393.421/86400
Decision: 450/1380	Time: 395.574/86400
Decision: 450/1380	Time: 397.663/86400
Decision: 450/1380	Time: 400.258/86400
Decision: 450/1380	Time: 402.7/86400
Decision: 450/1380	Time: 405.508/86400
Decision: 450/1380	Time: 407.999/86400
Decision: 450/1380	Time: 410.643/86400
Decision: 450/1380	Time: 412.534/86400
Decision: 450/1380	Time: 414.522/86400
Decision: 450/1380	Time: 416.77/86400
Decision: 450/1380	Time: 418.878/86400
Decision: 450/1380	Time: 420.791/86400
Decision: 450/1380	Time: 422.751/86400
Decision: 450/1380	Time: 425.059/86400
Decision: 450/1380	Time: 427.344/86400
Decision: 450/1380	Time: 429.543/86400
Decision: 450/1380	Time: 431.93/86400
Decision: 450/1380	Time: 434.41/86400
Decision: 450/1380	Time: 436.449/86400
Decision: 450/1380	Time: 438.864/86400
Decision: 450/1380	Time: 440.997/86400
Decision: 450/1380	Time: 443.287/86400
Decision: 450/1380	Time: 445.38/86400
Decision: 450/1380	Time: 448.002/86400
Decision: 450/1380	Time: 450.753/86400
Decision: 450/1380	Time: 452.989/86400
Decision: 450/1380	Time: 455.488/86400
Decision: 450/1380	Time: 457.99/86400
Decision: 450/1380	Time: 460.745/86400
Decision: 450/1380	Time: 463.182/86400
Decision: 450/1380	Time: 465.439/86400
Decision: 450/1380	Time: 468.031/86400
Decision: 450/1380	Time: 470.529/86400
Decision: 450/1380	Time: 473.092/86400
Decision: 450/1380	Time: 475.896/86400
Decision: 450/1380	Time: 478.448/86400
Decision: 450/1380	Time: 480.895/86400
Decision: 450/1380	Time: 483.384/86400
Decision: 450/1380	Time: 485.69/86400
Decision: 450/1380	Time: 488.595/86400
Decision: 450/1380	Time: 490.886/86400
Decision: 450/1380	Time: 493.357/86400
Decision: 450/1380	Time: 495.803/86400
Decision: 450/1380	Time: 498.12/86400
Decision: 450/1380	Time: 500.493/86400
Decision: 450/1380	Time: 502.721/86400
Decision: 450/1380	Time: 504.992/86400
Decision: 450/1380	Time: 507.11/86400
Decision: 450/1380	Time: 509.222/86400
Decision: 450/1380	Time: 511.596/86400
Decision: 450/1380	Time: 513.492/86400
Decision: 450/1380	Time: 515.762/86400
Decision: 450/1380	Time: 517.954/86400
Decision: 450/1380	Time: 520.307/86400
Decision: 450/1380	Time: 522.701/86400
Decision: 450/1380	Time: 525.252/86400
Decision: 450/1380	Time: 527.737/86400
Decision: 450/1380	Time: 530.272/86400
Decision: 450/1380	Time: 532.644/86400
Decision: 450/1380	Time: 535.429/86400
Decision: 450/1380	Time: 537.856/86400
Decision: 450/1380	Time: 540.269/86400
Decision: 450/1380	Time: 542.77/86400
Decision: 450/1380	Time: 545.446/86400
Decision: 450/1380	Time: 548.437/86400
Decision: 450/1380	Time: 551.011/86400
Decision: 450/1380	Time: 553.646/86400
Decision: 450/1380	Time: 556.304/86400
Decision: 450/1380	Time: 559.126/86400
Decision: 450/1380	Time: 562.187/86400
Decision: 450/1380	Time: 564.703/86400
Decision: 450/1380	Time: 567.616/86400
Decision: 450/1380	Time: 570.091/86400
Decision: 450/1380	Time: 572.699/86400
Decision: 450/1380	Time: 575.607/86400
Decision: 450/1380	Time: 578.313/86400
Decision: 450/1380	Time: 581.151/86400
Decision: 450/1380	Time: 583.908/86400
Decision: 450/1380	Time: 586.905/86400
Decision: 450/1380	Time: 590.209/86400
Decision: 450/1380	Time: 593.313/86400
Decision: 450/1380	Time: 596.149/86400
Decision: 450/1380	Time: 598.993/86400
Decision: 450/1380	Time: 601.705/86400
Decision: 450/1380	Time: 604.966/86400
Decision: 450/1380	Time: 607.788/86400
Decision: 450/1380	Time: 610.733/86400
Decision: 450/1380	Time: 613.502/86400
Decision: 450/1380	Time: 616/86400
Decision: 450/1380	Time: 619.018/86400
Decision: 450/1380	Time: 621.525/86400
Decision: 450/1380	Time: 623.996/86400
Decision: 450/1380	Time: 626.787/86400
Decision: 450/1380	Time: 629.743/86400
Decision: 450/1380	Time: 632.644/86400
Decision: 450/1380	Time: 635.348/86400
Decision: 450/1380	Time: 637.689/86400
Decision: 450/1380	Time: 641.002/86400
Decision: 450/1380	Time: 643.822/86400
Decision: 450/1380	Time: 647.224/86400
Decision: 450/1380	Time: 650.108/86400
Decision: 450/1380	Time: 653.026/86400
Decision: 450/1380	Time: 656.037/86400
Decision: 450/1380	Time: 659.293/86400
Decision: 450/1380	Time: 662.422/86400
Decision: 450/1380	Time: 665.285/86400
Decision: 450/1380	Time: 667.715/86400
Decision: 450/1380	Time: 670.455/86400
Decision: 450/1380	Time: 673.218/86400
Decision: 450/1380	Time: 676.527/86400
Decision: 450/1380	Time: 679.289/86400
Decision: 450/1380	Time: 682.047/86400
Decision: 450/1380	Time: 684.753/86400
Decision: 450/1380	Time: 687.705/86400
Decision: 450/1380	Time: 691.095/86400
Decision: 450/1380	Time: 693.498/86400
Decision: 450/1380	Time: 696.165/86400
Decision: 450/1380	Time: 699.08/86400
Decision: 450/1380	Time: 701.885/86400
Decision: 450/1380	Time: 705.008/86400
Decision: 450/1380	Time: 707.819/86400
Decision: 450/1380	Time: 710.702/86400
Decision: 450/1380	Time: 713.741/86400
Decision: 450/1380	Time: 716.853/86400
Decision: 450/1380	Time: 720.272/86400
Decision: 450/1380	Time: 723.547/86400
Decision: 450/1380	Time: 726.524/86400
Decision: 450/1380	Time: 729.688/86400
Decision: 450/1380	Time: 734.119/86400
Decision: 450/1380	Time: 738.279/86400
Decision: 450/1380	Time: 741.465/86400
Decision: 450/1380	Time: 745.042/86400
Decision: 450/1380	Time: 748.553/86400
Decision: 450/1380	Time: 752.096/86400
Decision: 450/1380	Time: 755.978/86400
Decision: 450/1380	Time: 759.02/86400
Decision: 450/1380	Time: 762.26/86400
Decision: 450/1380	Time: 765.803/86400
Decision: 450/1380	Time: 769.044/86400
Decision: 450/1380	Time: 772.459/86400
Decision: 450/1380	Time: 775.644/86400
Decision: 450/1380	Time: 779.276/86400
Decision: 450/1380	Time: 782.934/86400
Decision: 450/1380	Time: 786.384/86400
Decision: 450/1380	Time: 790.266/86400
Decision: 450/1380	Time: 794.477/86400
Decision: 450/1380	Time: 797.646/86400
Decision: 450/1380	Time: 801.142/86400
Decision: 450/1380	Time: 804.219/86400
Decision: 450/1380	Time: 807.615/86400
Decision: 450/1380	Time: 810.883/86400
Decision: 450/1380	Time: 814.003/86400
Decision: 450/1380	Time: 817.313/86400
Decision: 450/1380	Time: 820.442/86400
Decision: 450/1380	Time: 824/86400
Decision: 450/1380	Time: 826.986/86400
Decision: 450/1380	Time: 830.077/86400
Decision: 450/1380	Time: 833.445/86400
Decision: 450/1380	Time: 836.578/86400
Decision: 450/1380	Time: 840.377/86400
Decision: 450/1380	Time: 843.643/86400
Decision: 450/1380	Time: 846.992/86400
Decision: 450/1380	Time: 850.184/86400
Decision: 450/1380	Time: 853.348/86400
Decision: 450/1380	Time: 856.746/86400
Decision: 450/1380	Time: 859.621/86400
Decision: 450/1380	Time: 862.893/86400
Decision: 450/1380	Time: 865.861/86400
Decision: 450/1380	Time: 869.175/86400
Decision: 450/1380	Time: 872.591/86400
Decision: 450/1380	Time: 875.465/86400
Decision: 450/1380	Time: 877.943/86400
Decision: 450/1380	Time: 880.86/86400
Decision: 450/1380	Time: 883.317/86400
Decision: 450/1380	Time: 886.117/86400
Decision: 450/1380	Time: 888.785/86400
Decision: 450/1380	Time: 891.648/86400
Decision: 450/1380	Time: 894.579/86400
Decision: 450/1380	Time: 897.006/86400
Decision: 450/1380	Time: 900.171/86400
Decision: 450/1380	Time: 902.97/86400
Decision: 450/1380	Time: 905.655/86400
Decision: 450/1380	Time: 908.657/86400
Decision: 450/1380	Time: 911.524/86400
Decision: 450/1380	Time: 914.679/86400
Decision: 450/1380	Time: 917.865/86400
Decision: 450/1380	Time: 920.83/86400
Decision: 450/1380	Time: 923.879/86400
Decision: 450/1380	Time: 927.109/86400
Decision: 450/1380	Time: 930.489/86400
Decision: 450/1380	Time: 933.528/86400
Decision: 450/1380	Time: 936.794/86400
Decision: 450/1380	Time: 939.669/86400
Decision: 450/1380	Time: 942.626/86400
Decision: 450/1380	Time: 945.656/86400
Decision: 450/1380	Time: 948.485/86400
Decision: 450/1380	Time: 951.748/86400
Decision: 450/1380	Time: 954.634/86400
Decision: 450/1380	Time: 957.461/86400
Decision: 450/1380	Time: 960.451/86400
Decision: 450/1380	Time: 963.287/86400
Decision: 450/1380	Time: 966.23/86400
Decision: 450/1380	Time: 969.209/86400
Decision: 450/1380	Time: 971.973/86400
Decision: 450/1380	Time: 975.305/86400
Decision: 450/1380	Time: 978.662/86400
Decision: 450/1380	Time: 981.678/86400
Decision: 450/1380	Time: 984.459/86400
Decision: 450/1380	Time: 987.312/86400
Decision: 450/1380	Time: 990.649/86400
Decision: 450/1380	Time: 993.569/86400
Decision: 450/1380	Time: 996.58/86400
Decision: 450/1380	Time: 999.854/86400
Decision: 450/1380	Time: 1003.41/86400
Decision: 450/1380	Time: 1006.84/86400
Decision: 450/1380	Time: 1010.3/86400
Decision: 450/1380	Time: 1013.3/86400
Decision: 450/1380	Time: 1016.1/86400
Decision: 450/1380	Time: 1019.43/86400
Decision: 450/1380	Time: 1023.07/86400
Decision: 450/1380	Time: 1026.23/86400
Decision: 450/1380	Time: 1029.39/86400
Decision: 450/1380	Time: 1032.76/86400
Decision: 450/1380	Time: 1036.31/86400
Decision: 450/1380	Time: 1040.2/86400
Decision: 450/1380	Time: 1043.79/86400
Decision: 450/1380	Time: 1047.04/86400
Decision: 450/1380	Time: 1050.78/86400
Decision: 450/1380	Time: 1053.99/86400
Decision: 450/1380	Time: 1058.32/86400
Decision: 450/1380	Time: 1061.48/86400
Decision: 450/1380	Time: 1065.25/86400
Decision: 450/1380	Time: 1068.42/86400
Decision: 450/1380	Time: 1071.53/86400
Decision: 450/1380	Time: 1075.15/86400
Decision: 450/1380	Time: 1078.37/86400
Decision: 450/1380	Time: 1081.81/86400
Decision: 450/1380	Time: 1085.17/86400
Decision: 450/1380	Time: 1088.83/86400
Decision: 450/1380	Time: 1092.66/86400
Decision: 450/1380	Time: 1096.55/86400
Decision: 450/1380	Time: 1100.14/86400
Decision: 450/1380	Time: 1103.4/86400
Decision: 450/1380	Time: 1106.53/86400
Decision: 450/1380	Time: 1110.66/86400
Decision: 450/1380	Time: 1113.98/86400
Decision: 450/1380	Time: 1117.53/86400
Decision: 450/1380	Time: 1120.71/86400
Decision: 450/1380	Time: 1124.01/86400
Decision: 450/1380	Time: 1128.3/86400
Decision: 450/1380	Time: 1132.07/86400
Decision: 450/1380	Time: 1135.7/86400
Decision: 450/1380	Time: 1139.31/86400
Decision: 450/1380	Time: 1142.67/86400
Decision: 450/1380	Time: 1146.48/86400
Decision: 450/1380	Time: 1150.03/86400
Decision: 450/1380	Time: 1153.71/86400
Decision: 450/1380	Time: 1157.37/86400
Decision: 450/1380	Time: 1161.21/86400
Decision: 450/1380	Time: 1165.46/86400
Decision: 450/1380	Time: 1169.13/86400
Decision: 450/1380	Time: 1172.45/86400
Decision: 450/1380	Time: 1175.87/86400
Decision: 450/1380	Time: 1179.58/86400
Decision: 450/1380	Time: 1183.78/86400
Decision: 450/1380	Time: 1187.41/86400
Decision: 450/1380	Time: 1191.03/86400
Decision: 450/1380	Time: 1194.8/86400
Decision: 450/1380	Time: 1198.58/86400
Decision: 450/1380	Time: 1203.07/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.08 0.02 0.01 2/55 18227
Raw data (stat): 18227 (runsolver) R 18226 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 748897230 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.22 0.05 0.02 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 725 0 9 0 454 2 0 0 25 0 1 0 748897230 4423680 722 4294967295 134512640 135726644 3221224576 3221222816 134782792 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1080 722 300 300 0 780 0
vsize: 4320
[startup+20.0747 s]
Raw data (loadavg): 0.34 0.08 0.02 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 1270 0 9 0 1460 4 0 0 25 0 1 0 748897230 6995968 1218 4294967295 134512640 135726644 3221224576 3221223120 134736684 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1708 1218 300 300 0 1408 0
vsize: 6832
[startup+30.0745 s]
Raw data (loadavg): 0.44 0.11 0.03 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 2191 0 9 0 2455 8 0 0 25 0 1 0 748897230 12853248 2042 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3138 2042 300 300 0 2838 0
vsize: 12552
[startup+40.0743 s]
Raw data (loadavg): 0.53 0.14 0.04 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 2483 0 9 0 3452 10 0 0 25 0 1 0 748897230 13598720 2334 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3320 2334 300 300 0 3020 0
vsize: 13280
[startup+50.0755 s]
Raw data (loadavg): 0.60 0.17 0.05 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 2658 0 9 0 4451 12 0 0 25 0 1 0 748897230 14073856 2509 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3436 2509 300 300 0 3136 0
vsize: 13744
[startup+60.0758 s]
Raw data (loadavg): 0.66 0.19 0.06 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 3199 0 9 0 5449 14 0 0 25 0 1 0 748897230 15843328 2857 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3868 2857 300 300 0 3568 0
vsize: 15472
[startup+70.0756 s]
Raw data (loadavg): 0.71 0.22 0.07 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 3507 0 9 0 6447 16 0 0 25 0 1 0 748897230 16498688 3165 4294967295 134512640 135726644 3221224576 3221223072 134744214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4028 3165 300 300 0 3728 0
vsize: 16112
[startup+80.0764 s]
Raw data (loadavg): 0.76 0.24 0.08 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 3951 0 9 0 7444 19 0 0 25 0 1 0 748897230 17317888 3609 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4228 3609 300 300 0 3928 0
vsize: 16912
[startup+90.0761 s]
Raw data (loadavg): 0.79 0.27 0.09 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 4199 0 9 0 8442 20 0 0 25 0 1 0 748897230 17973248 3857 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4388 3857 300 300 0 4088 0
vsize: 17552
[startup+100.077 s]
Raw data (loadavg): 0.82 0.29 0.10 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 4556 0 9 0 9439 24 0 0 25 0 1 0 748897230 26361856 4214 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6436 4214 300 300 0 6136 0
vsize: 25744
[startup+110.078 s]
Raw data (loadavg): 0.85 0.31 0.11 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 4878 0 9 0 10438 25 0 0 25 0 1 0 748897230 26722304 4536 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6524 4536 300 300 0 6224 0
vsize: 26096
[startup+120.078 s]
Raw data (loadavg): 0.87 0.34 0.12 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 5193 0 9 0 11436 27 0 0 25 0 1 0 748897230 27508736 4851 4294967295 134512640 135726644 3221224576 3221223072 134744257 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6716 4851 300 300 0 6416 0
vsize: 26864
[startup+130.078 s]
Raw data (loadavg): 0.89 0.36 0.13 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 5882 0 9 0 12434 30 0 0 25 0 1 0 748897230 29671424 5155 4294967295 134512640 135726644 3221224576 3221223072 134744280 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7244 5155 300 300 0 6944 0
vsize: 28976
[startup+140.078 s]
Raw data (loadavg): 0.91 0.38 0.14 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 6350 0 9 0 13431 32 0 0 25 0 1 0 748897230 31244288 5623 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7628 5623 300 300 0 7328 0
vsize: 30512
[startup+150.079 s]
Raw data (loadavg): 0.92 0.40 0.15 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 6698 0 9 0 14430 34 0 0 25 0 1 0 748897230 32030720 5971 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7820 5971 300 300 0 7520 0
vsize: 31280
[startup+160.078 s]
Raw data (loadavg): 0.93 0.42 0.15 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 6792 0 9 0 15430 34 0 0 25 0 1 0 748897230 32227328 6065 4294967295 134512640 135726644 3221224576 3221223232 134745088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7868 6065 300 300 0 7568 0
vsize: 31472
[startup+170.079 s]
Raw data (loadavg): 0.94 0.44 0.16 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 6890 0 9 0 16428 36 0 0 25 0 1 0 748897230 32620544 6163 4294967295 134512640 135726644 3221224576 3221223220 134744672 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7964 6163 300 300 0 7664 0
vsize: 31856
[startup+180.079 s]
Raw data (loadavg): 0.95 0.45 0.17 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 6976 0 9 0 17427 37 0 0 25 0 1 0 748897230 33013760 6249 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8060 6249 300 300 0 7760 0
vsize: 32240
[startup+190.08 s]
Raw data (loadavg): 0.96 0.47 0.18 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 7072 0 9 0 18426 38 0 0 25 0 1 0 748897230 33210368 6345 4294967295 134512640 135726644 3221224576 3221223088 134742630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8108 6345 300 300 0 7808 0
vsize: 32432
[startup+200.081 s]
Raw data (loadavg): 0.96 0.49 0.19 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 7261 0 9 0 19424 40 0 0 25 0 1 0 748897230 33603584 6534 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8204 6534 300 300 0 7904 0
vsize: 32816
[startup+210.08 s]
Raw data (loadavg): 0.97 0.51 0.20 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 7480 0 9 0 20423 42 0 0 25 0 1 0 748897230 33603584 6753 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8204 6753 300 300 0 7904 0
vsize: 32816
[startup+220.08 s]
Raw data (loadavg): 0.97 0.52 0.20 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 7705 0 9 0 21421 43 0 0 25 0 1 0 748897230 33800192 6978 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8252 6978 300 300 0 7952 0
vsize: 33008
[startup+230.081 s]
Raw data (loadavg): 0.98 0.54 0.21 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 7819 0 9 0 22420 45 0 0 25 0 1 0 748897230 33996800 7092 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8300 7092 300 300 0 8000 0
vsize: 33200
[startup+240.081 s]
Raw data (loadavg): 0.98 0.55 0.22 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 7999 0 9 0 23418 46 0 0 25 0 1 0 748897230 34193408 7272 4294967295 134512640 135726644 3221224576 3221223056 134729277 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8348 7272 300 300 0 8048 0
vsize: 33392
[startup+250.081 s]
Raw data (loadavg): 0.98 0.57 0.23 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 8106 0 9 0 24417 48 0 0 25 0 1 0 748897230 34193408 7379 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8348 7379 300 300 0 8048 0
vsize: 33392
[startup+260.082 s]
Raw data (loadavg): 0.98 0.58 0.24 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 8150 0 9 0 25416 49 0 0 25 0 1 0 748897230 34390016 7423 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8396 7423 300 300 0 8096 0
vsize: 33584
[startup+270.082 s]
Raw data (loadavg): 0.99 0.59 0.24 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 8228 0 9 0 26415 50 0 0 25 0 1 0 748897230 34586624 7501 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8444 7501 300 300 0 8144 0
vsize: 33776
[startup+280.082 s]
Raw data (loadavg): 0.99 0.61 0.25 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 8270 0 9 0 27414 52 0 0 25 0 1 0 748897230 34586624 7543 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8444 7543 300 300 0 8144 0
vsize: 33776
[startup+290.083 s]
Raw data (loadavg): 0.99 0.62 0.26 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 8306 0 9 0 28413 52 0 0 25 0 1 0 748897230 34783232 7579 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8492 7579 300 300 0 8192 0
vsize: 33968
[startup+300.083 s]
Raw data (loadavg): 0.99 0.63 0.27 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 8327 0 9 0 29413 53 0 0 25 0 1 0 748897230 34783232 7600 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8492 7600 300 300 0 8192 0
vsize: 33968
[startup+310.083 s]
Raw data (loadavg): 0.99 0.64 0.28 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 8355 0 9 0 30412 54 0 0 25 0 1 0 748897230 34783232 7628 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8492 7628 300 300 0 8192 0
vsize: 33968
[startup+320.083 s]
Raw data (loadavg): 0.99 0.65 0.28 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 8399 0 9 0 31412 54 0 0 25 0 1 0 748897230 34783232 7672 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8492 7672 300 300 0 8192 0
vsize: 33968
[startup+330.082 s]
Raw data (loadavg): 0.99 0.66 0.29 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 8459 0 9 0 32411 55 0 0 25 0 1 0 748897230 34783232 7732 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8492 7732 300 300 0 8192 0
vsize: 33968
[startup+340.082 s]
Raw data (loadavg): 0.99 0.67 0.30 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9314 0 9 0 33408 58 0 0 25 0 1 0 748897230 37928960 7818 4294967295 134512640 135726644 3221224576 3221223184 134741131 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9260 7818 300 300 0 8960 0
vsize: 37040
[startup+350.084 s]
Raw data (loadavg): 0.99 0.68 0.30 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9341 0 9 0 34407 59 0 0 25 0 1 0 748897230 37928960 7845 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9260 7845 300 300 0 8960 0
vsize: 37040
[startup+360.084 s]
Raw data (loadavg): 0.99 0.69 0.31 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9387 0 9 0 35407 60 0 0 25 0 1 0 748897230 38051840 7891 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9290 7891 300 300 0 8990 0
vsize: 37160
[startup+370.084 s]
Raw data (loadavg): 0.99 0.70 0.32 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9414 0 9 0 36405 62 0 0 25 0 1 0 748897230 38051840 7918 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9290 7918 300 300 0 8990 0
vsize: 37160
[startup+380.084 s]
Raw data (loadavg): 0.99 0.71 0.32 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9470 0 9 0 37405 62 0 0 25 0 1 0 748897230 38182912 7974 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9322 7974 300 300 0 9022 0
vsize: 37288
[startup+390.084 s]
Raw data (loadavg): 0.99 0.72 0.33 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9512 0 9 0 38404 63 0 0 25 0 1 0 748897230 38309888 8016 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9353 8016 300 300 0 9053 0
vsize: 37412
[startup+400.085 s]
Raw data (loadavg): 0.99 0.73 0.34 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9535 0 9 0 39404 64 0 0 25 0 1 0 748897230 38309888 8039 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9353 8039 300 300 0 9053 0
vsize: 37412
[startup+410.086 s]
Raw data (loadavg): 0.99 0.74 0.34 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9567 0 9 0 40403 65 0 0 25 0 1 0 748897230 38309888 8071 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9353 8071 300 300 0 9053 0
vsize: 37412
[startup+420.086 s]
Raw data (loadavg): 0.99 0.75 0.35 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9630 0 9 0 41403 65 0 0 25 0 1 0 748897230 38580224 8134 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9419 8134 300 300 0 9119 0
vsize: 37676
[startup+430.086 s]
Raw data (loadavg): 0.99 0.76 0.36 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9673 0 9 0 42402 66 0 0 25 0 1 0 748897230 38580224 8177 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9419 8177 300 300 0 9119 0
vsize: 37676
[startup+440.087 s]
Raw data (loadavg): 0.99 0.76 0.36 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9701 0 9 0 43401 67 0 0 25 0 1 0 748897230 38715392 8205 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9452 8205 300 300 0 9152 0
vsize: 37808
[startup+450.087 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9729 0 9 0 44400 68 0 0 25 0 1 0 748897230 38715392 8233 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9452 8233 300 300 0 9152 0
vsize: 37808
[startup+460.086 s]
Raw data (loadavg): 0.99 0.78 0.38 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9755 0 9 0 45400 69 0 0 25 0 1 0 748897230 38715392 8259 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9452 8259 300 300 0 9152 0
vsize: 37808
[startup+470.087 s]
Raw data (loadavg): 0.99 0.78 0.38 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9789 0 9 0 46399 69 0 0 25 0 1 0 748897230 38838272 8293 4294967295 134512640 135726644 3221224576 3221223168 134760180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9482 8293 300 300 0 9182 0
vsize: 37928
[startup+480.087 s]
Raw data (loadavg): 0.99 0.79 0.39 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9842 0 9 0 47399 70 0 0 25 0 1 0 748897230 38838272 8346 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9482 8346 300 300 0 9182 0
vsize: 37928
[startup+490.087 s]
Raw data (loadavg): 0.99 0.80 0.39 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 9918 0 9 0 48398 70 0 0 25 0 1 0 748897230 38973440 8422 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9515 8422 300 300 0 9215 0
vsize: 38060
[startup+500.086 s]
Raw data (loadavg): 0.99 0.80 0.40 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10043 0 9 0 49397 72 0 0 25 0 1 0 748897230 39133184 8547 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9554 8547 300 300 0 9254 0
vsize: 38216
[startup+510.086 s]
Raw data (loadavg): 0.99 0.81 0.41 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10087 0 9 0 50396 73 0 0 25 0 1 0 748897230 39268352 8591 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9587 8591 300 300 0 9287 0
vsize: 38348
[startup+520.086 s]
Raw data (loadavg): 0.99 0.81 0.41 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10121 0 9 0 51396 73 0 0 25 0 1 0 748897230 39268352 8625 4294967295 134512640 135726644 3221224576 3221223120 134736686 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9587 8626 300 300 0 9287 0
vsize: 38348
[startup+530.086 s]
Raw data (loadavg): 0.99 0.82 0.42 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10143 0 9 0 52396 73 0 0 25 0 1 0 748897230 39268352 8647 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9587 8647 300 300 0 9287 0
vsize: 38348
[startup+540.085 s]
Raw data (loadavg): 0.99 0.83 0.42 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10172 0 9 0 53396 74 0 0 25 0 1 0 748897230 39268352 8676 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9587 8676 300 300 0 9287 0
vsize: 38348
[startup+550.086 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10244 0 9 0 54396 74 0 0 25 0 1 0 748897230 56201216 8748 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13721 8748 300 300 0 13421 0
vsize: 54884
[startup+560.086 s]
Raw data (loadavg): 0.99 0.84 0.43 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10477 0 9 0 55395 75 0 0 25 0 1 0 748897230 56201216 8981 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13721 8981 300 300 0 13421 0
vsize: 54884
[startup+570.086 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10649 0 9 0 56393 77 0 0 25 0 1 0 748897230 56201216 9153 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13721 9153 300 300 0 13421 0
vsize: 54884
[startup+580.087 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10693 0 9 0 57393 78 0 0 25 0 1 0 748897230 56336384 9197 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13754 9197 300 300 0 13454 0
vsize: 55016
[startup+590.087 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10744 0 9 0 58392 78 0 0 25 0 1 0 748897230 56471552 9248 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13787 9248 300 300 0 13487 0
vsize: 55148
[startup+600.087 s]
Raw data (loadavg): 0.99 0.85 0.46 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 10863 0 9 0 59392 79 0 0 25 0 1 0 748897230 57147392 9367 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13952 9367 300 300 0 13652 0
vsize: 55808
[startup+610.087 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 11095 0 9 0 60391 80 0 0 25 0 1 0 748897230 57282560 9599 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13985 9599 300 300 0 13685 0
vsize: 55940
[startup+620.087 s]
Raw data (loadavg): 0.99 0.86 0.47 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 11119 0 9 0 61390 80 0 0 25 0 1 0 748897230 57282560 9623 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13985 9623 300 300 0 13685 0
vsize: 55940
[startup+630.086 s]
Raw data (loadavg): 0.99 0.87 0.47 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 11156 0 9 0 62390 81 0 0 25 0 1 0 748897230 57417728 9660 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14018 9660 300 300 0 13718 0
vsize: 56072
[startup+640.086 s]
Raw data (loadavg): 0.99 0.87 0.48 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 11179 0 9 0 63390 81 0 0 25 0 1 0 748897230 57417728 9683 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14018 9683 300 300 0 13718 0
vsize: 56072
[startup+650.088 s]
Raw data (loadavg): 0.99 0.87 0.48 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 11400 0 9 0 64389 82 0 0 25 0 1 0 748897230 58228736 9904 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14216 9904 300 300 0 13916 0
vsize: 56864
[startup+660.088 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 11501 0 9 0 65388 83 0 0 25 0 1 0 748897230 58499072 10005 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14282 10005 300 300 0 13982 0
vsize: 57128
[startup+670.087 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 11682 0 9 0 66388 84 0 0 25 0 1 0 748897230 58904576 10186 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14381 10186 300 300 0 14081 0
vsize: 57524
[startup+680.087 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 11853 0 9 0 67387 85 0 0 25 0 1 0 748897230 59039744 10357 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14414 10357 300 300 0 14114 0
vsize: 57656
[startup+690.087 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 11967 0 9 0 68387 85 0 0 25 0 1 0 748897230 59580416 10471 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14546 10471 300 300 0 14246 0
vsize: 58184
[startup+700.087 s]
Raw data (loadavg): 0.99 0.89 0.51 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 12024 0 9 0 69386 86 0 0 25 0 1 0 748897230 59850752 10528 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14612 10528 300 300 0 14312 0
vsize: 58448
[startup+710.087 s]
Raw data (loadavg): 0.99 0.89 0.51 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 12083 0 9 0 70386 86 0 0 25 0 1 0 748897230 60121088 10587 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14678 10587 300 300 0 14378 0
vsize: 58712
[startup+720.087 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 12212 0 9 0 71385 87 0 0 25 0 1 0 748897230 60932096 10716 4294967295 134512640 135726644 3221224576 3221223072 134744246 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14876 10716 300 300 0 14576 0
vsize: 59504
[startup+730.087 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 12385 0 9 0 72384 89 0 0 25 0 1 0 748897230 61607936 10889 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15041 10889 300 300 0 14741 0
vsize: 60164
[startup+740.087 s]
Raw data (loadavg): 0.99 0.90 0.53 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 12711 0 9 0 73383 90 0 0 25 0 1 0 748897230 62554112 11215 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15272 11215 300 300 0 14972 0
vsize: 61088
[startup+750.087 s]
Raw data (loadavg): 0.99 0.91 0.53 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 12931 0 9 0 74382 91 0 0 25 0 1 0 748897230 62959616 11435 4294967295 134512640 135726644 3221224576 3221223088 134742928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15371 11435 300 300 0 15071 0
vsize: 61484
[startup+760.088 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 13242 0 9 0 75381 92 0 0 25 0 1 0 748897230 63905792 11746 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15602 11746 300 300 0 15302 0
vsize: 62408
[startup+770.089 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 13328 0 9 0 76381 92 0 0 25 0 1 0 748897230 64311296 11832 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15701 11832 300 300 0 15401 0
vsize: 62804
[startup+780.089 s]
Raw data (loadavg): 0.99 0.91 0.55 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 13517 0 9 0 77380 93 0 0 25 0 1 0 748897230 64716800 12021 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15800 12021 300 300 0 15500 0
vsize: 63200
[startup+790.089 s]
Raw data (loadavg): 0.99 0.92 0.55 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 13609 0 9 0 78379 94 0 0 25 0 1 0 748897230 65257472 12113 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15932 12113 300 300 0 15632 0
vsize: 63728
[startup+800.088 s]
Raw data (loadavg): 0.99 0.92 0.55 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 13790 0 9 0 79379 95 0 0 25 0 1 0 748897230 65662976 12294 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16031 12294 300 300 0 15731 0
vsize: 64124
[startup+810.088 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 13996 0 9 0 80377 97 0 0 25 0 1 0 748897230 65798144 12500 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16064 12500 300 300 0 15764 0
vsize: 64256
[startup+820.088 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 14084 0 9 0 81377 98 0 0 25 0 1 0 748897230 65933312 12588 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16097 12588 300 300 0 15797 0
vsize: 64388
[startup+830.089 s]
Raw data (loadavg): 0.99 0.92 0.57 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 14138 0 9 0 82376 98 0 0 25 0 1 0 748897230 66203648 12642 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16163 12642 300 300 0 15863 0
vsize: 64652
[startup+840.089 s]
Raw data (loadavg): 0.99 0.93 0.57 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 14155 0 9 0 83375 99 0 0 25 0 1 0 748897230 66203648 12659 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16163 12659 300 300 0 15863 0
vsize: 64652
[startup+850.09 s]
Raw data (loadavg): 0.99 0.93 0.57 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 15768 0 9 0 84372 103 0 0 25 0 1 0 748897230 72900608 12735 4294967295 134512640 135726644 3221224576 3221223120 134736667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17798 12735 300 300 0 17498 0
vsize: 71192
[startup+860.09 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 15800 0 9 0 85371 104 0 0 25 0 1 0 748897230 73035776 12767 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17831 12767 300 300 0 17531 0
vsize: 71324
[startup+870.09 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 15831 0 9 0 86371 105 0 0 25 0 1 0 748897230 73170944 12798 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17864 12798 300 300 0 17564 0
vsize: 71456
[startup+880.09 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 15862 0 9 0 87371 105 0 0 25 0 1 0 748897230 73306112 12829 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17897 12829 300 300 0 17597 0
vsize: 71588
[startup+890.09 s]
Raw data (loadavg): 0.99 0.94 0.59 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 15894 0 9 0 88371 105 0 0 25 0 1 0 748897230 73441280 12861 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17930 12861 300 300 0 17630 0
vsize: 71720
[startup+900.091 s]
Raw data (loadavg): 0.99 0.94 0.59 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 15932 0 9 0 89371 105 0 0 25 0 1 0 748897230 73576448 12899 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17963 12899 300 300 0 17663 0
vsize: 71852
[startup+910.091 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 15949 0 9 0 90370 106 0 0 25 0 1 0 748897230 73576448 12916 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17963 12916 300 300 0 17663 0
vsize: 71852
[startup+920.091 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 15997 0 9 0 91370 106 0 0 25 0 1 0 748897230 73846784 12964 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18029 12964 300 300 0 17729 0
vsize: 72116
[startup+930.091 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16047 0 9 0 92370 107 0 0 25 0 1 0 748897230 74117120 13014 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18095 13014 300 300 0 17795 0
vsize: 72380
[startup+940.091 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16078 0 9 0 93369 108 0 0 25 0 1 0 748897230 74252288 13045 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18128 13045 300 300 0 17828 0
vsize: 72512
[startup+950.091 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16116 0 9 0 94368 108 0 0 25 0 1 0 748897230 74387456 13083 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18161 13083 300 300 0 17861 0
vsize: 72644
[startup+960.092 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16146 0 9 0 95368 109 0 0 25 0 1 0 748897230 74522624 13113 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18194 13113 300 300 0 17894 0
vsize: 72776
[startup+970.091 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16180 0 9 0 96368 109 0 0 25 0 1 0 748897230 74657792 13147 4294967295 134512640 135726644 3221224576 3221223120 134736737 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18227 13147 300 300 0 17927 0
vsize: 72908
[startup+980.091 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16215 0 9 0 97367 110 0 0 25 0 1 0 748897230 74792960 13182 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18260 13182 300 300 0 17960 0
vsize: 73040
[startup+990.091 s]
Raw data (loadavg): 0.99 0.95 0.63 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16230 0 9 0 98367 110 0 0 25 0 1 0 748897230 74792960 13197 4294967295 134512640 135726644 3221224576 3221223072 134744280 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18260 13197 300 300 0 17960 0
vsize: 73040
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.95 0.63 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16262 0 9 0 99366 111 0 0 25 0 1 0 748897230 74928128 13229 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18293 13229 300 300 0 17993 0
vsize: 73172
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16277 0 9 0 100366 111 0 0 25 0 1 0 748897230 74928128 13244 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18293 13244 300 300 0 17993 0
vsize: 73172
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16316 0 9 0 101366 112 0 0 25 0 1 0 748897230 75063296 13283 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18326 13283 300 300 0 18026 0
vsize: 73304
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16349 0 9 0 102365 113 0 0 25 0 1 0 748897230 75198464 13316 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18359 13316 300 300 0 18059 0
vsize: 73436
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16417 0 9 0 103365 113 0 0 25 0 1 0 748897230 75603968 13384 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18458 13384 300 300 0 18158 0
vsize: 73832
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16446 0 9 0 104364 114 0 0 25 0 1 0 748897230 75739136 13413 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18491 13413 300 300 0 18191 0
vsize: 73964
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16466 0 9 0 105363 115 0 0 25 0 1 0 748897230 75739136 13433 4294967295 134512640 135726644 3221224576 3221223200 134744620 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18491 13433 300 300 0 18191 0
vsize: 73964
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.96 0.65 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16503 0 9 0 106363 116 0 0 25 0 1 0 748897230 75874304 13470 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18524 13470 300 300 0 18224 0
vsize: 74096
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16519 0 9 0 107362 116 0 0 25 0 1 0 748897230 75874304 13486 4294967295 134512640 135726644 3221224576 3221223088 134742952 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18524 13486 300 300 0 18224 0
vsize: 74096
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16552 0 9 0 108362 117 0 0 25 0 1 0 748897230 76009472 13519 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18557 13519 300 300 0 18257 0
vsize: 74228
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16566 0 9 0 109361 117 0 0 25 0 1 0 748897230 76009472 13533 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18557 13533 300 300 0 18257 0
vsize: 74228
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16585 0 9 0 110360 118 0 0 25 0 1 0 748897230 76009472 13552 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18557 13552 300 300 0 18257 0
vsize: 74228
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16608 0 9 0 111360 119 0 0 25 0 1 0 748897230 76009472 13575 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18557 13575 300 300 0 18257 0
vsize: 74228
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16668 0 9 0 112360 119 0 0 25 0 1 0 748897230 76279808 13635 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18623 13635 300 300 0 18323 0
vsize: 74492
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16702 0 9 0 113359 120 0 0 25 0 1 0 748897230 76279808 13669 4294967295 134512640 135726644 3221224576 3221222960 134758393 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18623 13669 300 300 0 18323 0
vsize: 74492
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16805 0 9 0 114359 121 0 0 25 0 1 0 748897230 76279808 13772 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18623 13772 300 300 0 18323 0
vsize: 74492
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 16860 0 9 0 115358 121 0 0 25 0 1 0 748897230 76279808 13827 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18623 13827 300 300 0 18323 0
vsize: 74492
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.68 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 17055 0 9 0 116357 122 0 0 25 0 1 0 748897230 76279808 14022 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18623 14022 300 300 0 18323 0
vsize: 74492
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.69 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 17084 0 9 0 117357 123 0 0 25 0 1 0 748897230 76279808 14051 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18623 14051 300 300 0 18323 0
vsize: 74492
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.97 0.69 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 17198 0 9 0 118356 124 0 0 25 0 1 0 748897230 76279808 14165 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18623 14165 300 300 0 18323 0
vsize: 74492
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.69 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 17217 0 9 0 119356 124 0 0 25 0 1 0 748897230 76279808 14184 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18623 14184 300 300 0 18323 0
vsize: 74492
[startup+1210.09 s]
Raw data (loadavg): 0.99 0.97 0.69 2/55 18227
Raw data (stat): 18227 (pb2sat) R 18226 8378 8377 0 -1 0 17255 0 9 0 120355 125 0 0 25 0 1 0 748897230 76414976 14222 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18656 14222 300 300 0 18356 0
vsize: 74624
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.28 s]
Raw data (loadavg): 0.99 0.97 0.69 1/55 18227
Raw data (stat): 18227 (pb2sat) Z 18226 8378 8377 0 -1 12 17256 0 9 0 120371 128 0 0 25 0 1 0 748897230 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.28
CPU time (s): 1205
CPU user time (s): 1203.71
CPU system time (s): 1.2858
CPU usage (%): 99.5635
Max. virtual memory (Kb): 74624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####