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-chnl50_51_pb.cnf.cr.opb
MD5SUM	00bdc6bb9bafd4b1100d8bfa4f886626
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	52
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.156976
Number of variables	5100
Total number of constraints	202
Number of constraints which are clauses	102
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	51
Trace number 34678

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-28 10:10:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23946 boxname=wulflinc28 idbench=20 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  00bdc6bb9bafd4b1100d8bfa4f886626  /oldhome/oroussel/tmp/wulflinc28/normalized-chnl50_51_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-chnl50_51_pb.cnf.cr.opb
IDLAUNCH: 23946
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        613104 kB
Buffers:         40764 kB
Cached:         339724 kB
SwapCached:        788 kB
Active:          94680 kB
Inactive:       305960 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        612852 kB
SwapTotal:     2097640 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5460 kB
Slab:            15300 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:30:52 (client local time) WITH STATUS 0 IN 1209.31 SECONDS
stats: 23946 7 1209.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 5000/15100	Time: 73.9968/86400
Decision: 5000/15100	Time: 76.5724/86400
Decision: 5000/15100	Time: 79.4639/86400
Decision: 5000/15100	Time: 82.0925/86400
Decision: 5000/15100	Time: 85.302/86400
Decision: 5000/15100	Time: 88.3926/86400
Decision: 5000/15100	Time: 90.6862/86400
Decision: 5000/15100	Time: 93.5808/86400
Decision: 5000/15100	Time: 96.0724/86400
Decision: 5000/15100	Time: 98.3321/86400
Decision: 5000/15100	Time: 101.492/86400
Decision: 5000/15100	Time: 104.125/86400
Decision: 5000/15100	Time: 106.556/86400
Decision: 5000/15100	Time: 112.1/86400
Decision: 5000/15100	Time: 114.174/86400
Decision: 5000/15100	Time: 116.578/86400
Decision: 5000/15100	Time: 118.774/86400
Decision: 5000/15100	Time: 120.892/86400
Decision: 5000/15100	Time: 123.115/86400
Decision: 5000/15100	Time: 125.276/86400
Decision: 5000/15100	Time: 127.681/86400
Decision: 5000/15100	Time: 129.766/86400
Decision: 5000/15100	Time: 132.315/86400
Decision: 5000/15100	Time: 134.351/86400
Decision: 5000/15100	Time: 136.09/86400
Decision: 5000/15100	Time: 138.171/86400
Decision: 5000/15100	Time: 140.168/86400
Decision: 5000/15100	Time: 142.332/86400
Decision: 5000/15100	Time: 144.478/86400
Decision: 5000/15100	Time: 146.383/86400
Decision: 5000/15100	Time: 148.713/86400
Decision: 5000/15100	Time: 150.782/86400
Decision: 5000/15100	Time: 152.863/86400
Decision: 5000/15100	Time: 154.863/86400
Decision: 5000/15100	Time: 157.03/86400
Decision: 5000/15100	Time: 159.26/86400
Decision: 5000/15100	Time: 161.254/86400
Decision: 5000/15100	Time: 172.427/86400
Decision: 5000/15100	Time: 174.565/86400
Decision: 5000/15100	Time: 177.344/86400
Decision: 5000/15100	Time: 179.412/86400
Decision: 5000/15100	Time: 181.213/86400
Decision: 5000/15100	Time: 183.158/86400
Decision: 5000/15100	Time: 184.992/86400
Decision: 5000/15100	Time: 186.694/86400
Decision: 5000/15100	Time: 188.599/86400
Decision: 5000/15100	Time: 190.315/86400
Decision: 5000/15100	Time: 192.108/86400
Decision: 5000/15100	Time: 194.179/86400
Decision: 5000/15100	Time: 196.146/86400
Decision: 5000/15100	Time: 198.217/86400
Decision: 5000/15100	Time: 199.985/86400
Decision: 5000/15100	Time: 201.909/86400
Decision: 5000/15100	Time: 203.759/86400
Decision: 5000/15100	Time: 205.545/86400
Decision: 5000/15100	Time: 207.616/86400
Decision: 5000/15100	Time: 209.446/86400
Decision: 5000/15100	Time: 211.433/86400
Decision: 5000/15100	Time: 213.379/86400
Decision: 5000/15100	Time: 215.314/86400
Decision: 5000/15100	Time: 217.491/86400
Decision: 5000/15100	Time: 219.548/86400
Decision: 5000/15100	Time: 221.742/86400
Decision: 5000/15100	Time: 223.853/86400
Decision: 5000/15100	Time: 226.008/86400
Decision: 5000/15100	Time: 228.325/86400
Decision: 5000/15100	Time: 230.5/86400
Decision: 5000/15100	Time: 232.746/86400
Decision: 5000/15100	Time: 234.91/86400
Decision: 5000/15100	Time: 237.093/86400
Decision: 5000/15100	Time: 239.557/86400
Decision: 5000/15100	Time: 242.008/86400
Decision: 5000/15100	Time: 244.343/86400
Decision: 5000/15100	Time: 246.611/86400
Decision: 5000/15100	Time: 248.857/86400
Decision: 5000/15100	Time: 251.584/86400
Decision: 5000/15100	Time: 253.908/86400
Decision: 5000/15100	Time: 256.224/86400
Decision: 5000/15100	Time: 258.501/86400
Decision: 5000/15100	Time: 263.267/86400
Decision: 5000/15100	Time: 265.782/86400
Decision: 5000/15100	Time: 267.827/86400
Decision: 5000/15100	Time: 270.004/86400
Decision: 5000/15100	Time: 272.219/86400
Decision: 5000/15100	Time: 274.224/86400
Decision: 5000/15100	Time: 276.444/86400
Decision: 5000/15100	Time: 278.776/86400
Decision: 5000/15100	Time: 281.022/86400
Decision: 5000/15100	Time: 283.368/86400
Decision: 5000/15100	Time: 285.57/86400
Decision: 5000/15100	Time: 288/86400
Decision: 5000/15100	Time: 290.255/86400
Decision: 5000/15100	Time: 304.917/86400
Decision: 5000/15100	Time: 306.874/86400
Decision: 5000/15100	Time: 309.121/86400
Decision: 5000/15100	Time: 311.473/86400
Decision: 5000/15100	Time: 313.207/86400
Decision: 5000/15100	Time: 314.999/86400
Decision: 5000/15100	Time: 316.946/86400
Decision: 5000/15100	Time: 318.507/86400
Decision: 5000/15100	Time: 320.567/86400
Decision: 5000/15100	Time: 322.508/86400
Decision: 5000/15100	Time: 324.306/86400
Decision: 5000/15100	Time: 325.959/86400
Decision: 5000/15100	Time: 327.82/86400
Decision: 5000/15100	Time: 329.819/86400
Decision: 5000/15100	Time: 331.626/86400
Decision: 5000/15100	Time: 333.585/86400
Decision: 5000/15100	Time: 335.569/86400
Decision: 5000/15100	Time: 337.481/86400
Decision: 5000/15100	Time: 339.723/86400
Decision: 5000/15100	Time: 341.811/86400
Decision: 5000/15100	Time: 343.734/86400
Decision: 5000/15100	Time: 345.851/86400
Decision: 5000/15100	Time: 347.736/86400
Decision: 5000/15100	Time: 349.951/86400
Decision: 5000/15100	Time: 352.056/86400
Decision: 5000/15100	Time: 354.113/86400
Decision: 5000/15100	Time: 367.5/86400
Decision: 5000/15100	Time: 369.387/86400
Decision: 5000/15100	Time: 371.73/86400
Decision: 5000/15100	Time: 374.08/86400
Decision: 5000/15100	Time: 376.52/86400
Decision: 5000/15100	Time: 378.832/86400
Decision: 5000/15100	Time: 380.731/86400
Decision: 5000/15100	Time: 383.043/86400
Decision: 5000/15100	Time: 385.383/86400
Decision: 5000/15100	Time: 387.857/86400
Decision: 5000/15100	Time: 389.853/86400
Decision: 5000/15100	Time: 392.029/86400
Decision: 5000/15100	Time: 394.3/86400
Decision: 5000/15100	Time: 396.433/86400
Decision: 5000/15100	Time: 398.362/86400
Decision: 5000/15100	Time: 400.451/86400
Decision: 5000/15100	Time: 402.76/86400
Decision: 5000/15100	Time: 405.072/86400
Decision: 5000/15100	Time: 407.102/86400
Decision: 5000/15100	Time: 409.203/86400
Decision: 5000/15100	Time: 411.296/86400
Decision: 5000/15100	Time: 413.462/86400
Decision: 5000/15100	Time: 415.847/86400
Decision: 5000/15100	Time: 417.974/86400
Decision: 5000/15100	Time: 420.021/86400
Decision: 5000/15100	Time: 422.277/86400
Decision: 5000/15100	Time: 424.315/86400
Decision: 5000/15100	Time: 426.864/86400
Decision: 5000/15100	Time: 429.095/86400
Decision: 5000/15100	Time: 431.42/86400
Decision: 5000/15100	Time: 433.745/86400
Decision: 5000/15100	Time: 436.05/86400
Decision: 5000/15100	Time: 438.687/86400
Decision: 5000/15100	Time: 441.147/86400
Decision: 5000/15100	Time: 443.505/86400
Decision: 5000/15100	Time: 445.928/86400
Decision: 5000/15100	Time: 448.117/86400
Decision: 5000/15100	Time: 450.685/86400
Decision: 5000/15100	Time: 453.045/86400
Decision: 5000/15100	Time: 455.49/86400
Decision: 5000/15100	Time: 457.956/86400
Decision: 5000/15100	Time: 460.342/86400
Decision: 5000/15100	Time: 463.078/86400
Decision: 5000/15100	Time: 465.483/86400
Decision: 5000/15100	Time: 467.897/86400
Decision: 5000/15100	Time: 470.124/86400
Decision: 5000/15100	Time: 472.554/86400
Decision: 5000/15100	Time: 495.827/86400
Decision: 5000/15100	Time: 497.62/86400
Decision: 5000/15100	Time: 499.691/86400
Decision: 5000/15100	Time: 502.056/86400
Decision: 5000/15100	Time: 503.861/86400
Decision: 5000/15100	Time: 505.92/86400
Decision: 5000/15100	Time: 507.984/86400
Decision: 5000/15100	Time: 509.896/86400
Decision: 5000/15100	Time: 511.851/86400
Decision: 5000/15100	Time: 513.864/86400
Decision: 5000/15100	Time: 516.343/86400
Decision: 5000/15100	Time: 518.474/86400
Decision: 5000/15100	Time: 520.718/86400
Decision: 5000/15100	Time: 522.753/86400
Decision: 5000/15100	Time: 524.751/86400
Decision: 5000/15100	Time: 526.968/86400
Decision: 5000/15100	Time: 529.229/86400
Decision: 5000/15100	Time: 531.23/86400
Decision: 5000/15100	Time: 533.162/86400
Decision: 5000/15100	Time: 535.128/86400
Decision: 5000/15100	Time: 537.41/86400
Decision: 5000/15100	Time: 539.543/86400
Decision: 5000/15100	Time: 541.571/86400
Decision: 5000/15100	Time: 543.64/86400
Decision: 5000/15100	Time: 545.707/86400
Decision: 5000/15100	Time: 548.093/86400
Decision: 5000/15100	Time: 550.231/86400
Decision: 5000/15100	Time: 552.404/86400
Decision: 5000/15100	Time: 554.435/86400
Decision: 5000/15100	Time: 556.543/86400
Decision: 5000/15100	Time: 559.061/86400
Decision: 5000/15100	Time: 561.113/86400
Decision: 5000/15100	Time: 563.479/86400
Decision: 5000/15100	Time: 565.764/86400
Decision: 5000/15100	Time: 568.007/86400
Decision: 5000/15100	Time: 570.354/86400
Decision: 5000/15100	Time: 582.824/86400
Decision: 5000/15100	Time: 584.814/86400
Decision: 5000/15100	Time: 586.9/86400
Decision: 5000/15100	Time: 588.801/86400
Decision: 5000/15100	Time: 591.16/86400
Decision: 5000/15100	Time: 593.145/86400
Decision: 5000/15100	Time: 595.143/86400
Decision: 5000/15100	Time: 597.174/86400
Decision: 5000/15100	Time: 599.117/86400
Decision: 5000/15100	Time: 601.284/86400
Decision: 5000/15100	Time: 603.449/86400
Decision: 5000/15100	Time: 605.349/86400
Decision: 5000/15100	Time: 607.376/86400
Decision: 5000/15100	Time: 616.205/86400
Decision: 5000/15100	Time: 618.785/86400
Decision: 5000/15100	Time: 620.963/86400
Decision: 5000/15100	Time: 623.106/86400
Decision: 5000/15100	Time: 625.318/86400
Decision: 5000/15100	Time: 627.458/86400
Decision: 5000/15100	Time: 629.596/86400
Decision: 5000/15100	Time: 631.734/86400
Decision: 5000/15100	Time: 634.01/86400
Decision: 5000/15100	Time: 636.204/86400
Decision: 5000/15100	Time: 638.248/86400
Decision: 5000/15100	Time: 640.772/86400
Decision: 5000/15100	Time: 642.781/86400
Decision: 5000/15100	Time: 645.054/86400
Decision: 5000/15100	Time: 647.263/86400
Decision: 5000/15100	Time: 649.811/86400
Decision: 5000/15100	Time: 652.475/86400
Decision: 5000/15100	Time: 660.772/86400
Decision: 5000/15100	Time: 663.16/86400
Decision: 5000/15100	Time: 665.285/86400
Decision: 5000/15100	Time: 667.263/86400
Decision: 5000/15100	Time: 669.346/86400
Decision: 5000/15100	Time: 671.375/86400
Decision: 5000/15100	Time: 673.376/86400
Decision: 5000/15100	Time: 675.339/86400
Decision: 5000/15100	Time: 677.44/86400
Decision: 5000/15100	Time: 679.585/86400
Decision: 5000/15100	Time: 681.363/86400
Decision: 5000/15100	Time: 683.653/86400
Decision: 5000/15100	Time: 686.038/86400
Decision: 5000/15100	Time: 687.859/86400
Decision: 5000/15100	Time: 690.17/86400
Decision: 5000/15100	Time: 692.247/86400
Decision: 5000/15100	Time: 694.162/86400
Decision: 5000/15100	Time: 703.993/86400
Decision: 5000/15100	Time: 706.148/86400
Decision: 5000/15100	Time: 708.747/86400
Decision: 5000/15100	Time: 711.156/86400
Decision: 5000/15100	Time: 713.114/86400
Decision: 5000/15100	Time: 715.068/86400
Decision: 5000/15100	Time: 717.178/86400
Decision: 5000/15100	Time: 719.193/86400
Decision: 5000/15100	Time: 721.27/86400
Decision: 5000/15100	Time: 723.227/86400
Decision: 5000/15100	Time: 725.117/86400
Decision: 5000/15100	Time: 727.151/86400
Decision: 5000/15100	Time: 729.39/86400
Decision: 5000/15100	Time: 731.617/86400
Decision: 5000/15100	Time: 733.945/86400
Decision: 5000/15100	Time: 736.203/86400
Decision: 5000/15100	Time: 738.194/86400
Decision: 5000/15100	Time: 740.465/86400
Decision: 5000/15100	Time: 742.953/86400
Decision: 5000/15100	Time: 745.34/86400
Decision: 5000/15100	Time: 747.562/86400
Decision: 5000/15100	Time: 749.806/86400
Decision: 5000/15100	Time: 752.322/86400
Decision: 5000/15100	Time: 754.741/86400
Decision: 5000/15100	Time: 757.005/86400
Decision: 5000/15100	Time: 759.262/86400
Decision: 5000/15100	Time: 761.436/86400
Decision: 5000/15100	Time: 776.988/86400
Decision: 5000/15100	Time: 779.253/86400
Decision: 5000/15100	Time: 781.274/86400
Decision: 5000/15100	Time: 783.119/86400
Decision: 5000/15100	Time: 785.043/86400
Decision: 5000/15100	Time: 787.013/86400
Decision: 5000/15100	Time: 789.027/86400
Decision: 5000/15100	Time: 790.983/86400
Decision: 5000/15100	Time: 793.04/86400
Decision: 5000/15100	Time: 795.028/86400
Decision: 5000/15100	Time: 797.564/86400
Decision: 5000/15100	Time: 799.611/86400
Decision: 5000/15100	Time: 801.754/86400
Decision: 5000/15100	Time: 803.925/86400
Decision: 5000/15100	Time: 805.977/86400
Decision: 5000/15100	Time: 808.196/86400
Decision: 5000/15100	Time: 810.326/86400
Decision: 5000/15100	Time: 812.333/86400
Decision: 5000/15100	Time: 814.533/86400
Decision: 5000/15100	Time: 816.881/86400
Decision: 5000/15100	Time: 819.687/86400
Decision: 5000/15100	Time: 822.259/86400
Decision: 5000/15100	Time: 824.711/86400
Decision: 5000/15100	Time: 827.163/86400
Decision: 5000/15100	Time: 829.363/86400
Decision: 5000/15100	Time: 831.79/86400
Decision: 5000/15100	Time: 833.904/86400
Decision: 5000/15100	Time: 836.212/86400
Decision: 5000/15100	Time: 848.946/86400
Decision: 5000/15100	Time: 851.228/86400
Decision: 5000/15100	Time: 858.127/86400
Decision: 5000/15100	Time: 859.64/86400
Decision: 5000/15100	Time: 861.514/86400
Decision: 5000/15100	Time: 863.523/86400
Decision: 5000/15100	Time: 865.45/86400
Decision: 5000/15100	Time: 867.371/86400
Decision: 5000/15100	Time: 869.106/86400
Decision: 5000/15100	Time: 870.969/86400
Decision: 5000/15100	Time: 872.806/86400
Decision: 5000/15100	Time: 874.848/86400
Decision: 5000/15100	Time: 877.036/86400
Decision: 5000/15100	Time: 878.99/86400
Decision: 5000/15100	Time: 880.782/86400
Decision: 5000/15100	Time: 882.809/86400
Decision: 5000/15100	Time: 884.833/86400
Decision: 5000/15100	Time: 887.254/86400
Decision: 5000/15100	Time: 889.295/86400
Decision: 5000/15100	Time: 891.408/86400
Decision: 5000/15100	Time: 893.628/86400
Decision: 5000/15100	Time: 895.709/86400
Decision: 5000/15100	Time: 898.17/86400
Decision: 5000/15100	Time: 900.174/86400
Decision: 5000/15100	Time: 902.22/86400
Decision: 5000/15100	Time: 904.301/86400
Decision: 5000/15100	Time: 906.498/86400
Decision: 5000/15100	Time: 908.963/86400
Decision: 5000/15100	Time: 911.207/86400
Decision: 5000/15100	Time: 913.283/86400
Decision: 5000/15100	Time: 915.677/86400
Decision: 5000/15100	Time: 918.132/86400
Decision: 5000/15100	Time: 920.568/86400
Decision: 5000/15100	Time: 923.008/86400
Decision: 5000/15100	Time: 925.073/86400
Decision: 5000/15100	Time: 927.49/86400
Decision: 5000/15100	Time: 929.921/86400
Decision: 5000/15100	Time: 932.484/86400
Decision: 5000/15100	Time: 934.799/86400
Decision: 5000/15100	Time: 937.167/86400
Decision: 5000/15100	Time: 939.699/86400
Decision: 5000/15100	Time: 942.285/86400
Decision: 5000/15100	Time: 944.993/86400
Decision: 5000/15100	Time: 947.883/86400
Decision: 5000/15100	Time: 950.301/86400
Decision: 5000/15100	Time: 952.756/86400
Decision: 5000/15100	Time: 955.19/86400
Decision: 5000/15100	Time: 958.12/86400
Decision: 5000/15100	Time: 960.795/86400
Decision: 5000/15100	Time: 963.315/86400
Decision: 5000/15100	Time: 965.925/86400
Decision: 5000/15100	Time: 968.6/86400
Decision: 5000/15100	Time: 971.566/86400
Decision: 5000/15100	Time: 974.124/86400
Decision: 5000/15100	Time: 976.798/86400
Decision: 5000/15100	Time: 979.342/86400
Decision: 5000/15100	Time: 981.778/86400
Decision: 5000/15100	Time: 996.612/86400
Decision: 5000/15100	Time: 999.071/86400
Decision: 5000/15100	Time: 1001.14/86400
Decision: 5000/15100	Time: 1003.03/86400
Decision: 5000/15100	Time: 1004.88/86400
Decision: 5000/15100	Time: 1006.78/86400
Decision: 5000/15100	Time: 1008.84/86400
Decision: 5000/15100	Time: 1010.85/86400
Decision: 5000/15100	Time: 1012.88/86400
Decision: 5000/15100	Time: 1015.04/86400
Decision: 5000/15100	Time: 1017.43/86400
Decision: 5000/15100	Time: 1019.61/86400
Decision: 5000/15100	Time: 1021.66/86400
Decision: 5000/15100	Time: 1023.75/86400
Decision: 5000/15100	Time: 1025.93/86400
Decision: 5000/15100	Time: 1028.13/86400
Decision: 5000/15100	Time: 1030.38/86400
Decision: 5000/15100	Time: 1032.83/86400
Decision: 5000/15100	Time: 1034.79/86400
Decision: 5000/15100	Time: 1037.01/86400
Decision: 5000/15100	Time: 1039.18/86400
Decision: 5000/15100	Time: 1050.25/86400
Decision: 5000/15100	Time: 1052.78/86400
Decision: 5000/15100	Time: 1055.32/86400
Decision: 5000/15100	Time: 1057.76/86400
Decision: 5000/15100	Time: 1060.79/86400
Decision: 5000/15100	Time: 1063.34/86400
Decision: 5000/15100	Time: 1065.81/86400
Decision: 5000/15100	Time: 1068.15/86400
Decision: 5000/15100	Time: 1070.62/86400
Decision: 5000/15100	Time: 1073.39/86400
Decision: 5000/15100	Time: 1075.73/86400
Decision: 5000/15100	Time: 1078.02/86400
Decision: 5000/15100	Time: 1080.39/86400
Decision: 5000/15100	Time: 1082.45/86400
Decision: 5000/15100	Time: 1085.36/86400
Decision: 5000/15100	Time: 1087.69/86400
Decision: 5000/15100	Time: 1090.57/86400
Decision: 5000/15100	Time: 1093.59/86400
Decision: 5000/15100	Time: 1096.27/86400
Decision: 5000/15100	Time: 1099.3/86400
Decision: 5000/15100	Time: 1101.95/86400
Decision: 5000/15100	Time: 1104.46/86400
Decision: 5000/15100	Time: 1107.06/86400
Decision: 5000/15100	Time: 1109.64/86400
Decision: 5000/15100	Time: 1112.41/86400
Decision: 5000/15100	Time: 1115.01/86400
Decision: 5000/15100	Time: 1117.47/86400
Decision: 5000/15100	Time: 1119.93/86400
Decision: 5000/15100	Time: 1122.97/86400
Decision: 5000/15100	Time: 1126/86400
Decision: 5000/15100	Time: 1129.16/86400
Decision: 5000/15100	Time: 1131.81/86400
Decision: 5000/15100	Time: 1134.54/86400
Decision: 5000/15100	Time: 1137.54/86400
Decision: 5000/15100	Time: 1141.61/86400
Decision: 5000/15100	Time: 1144.41/86400
Decision: 5000/15100	Time: 1170.18/86400
Decision: 5000/15100	Time: 1173.08/86400
Decision: 5000/15100	Time: 1176.11/86400
Decision: 5000/15100	Time: 1179.65/86400
Decision: 5000/15100	Time: 1182.38/86400
Decision: 5000/15100	Time: 1185.42/86400
Decision: 5000/15100	Time: 1188.3/86400
Decision: 5000/15100	Time: 1191.27/86400
Decision: 5000/15100	Time: 1194.86/86400
Decision: 5000/15100	Time: 1197.39/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.41 0.11 0.03 2/54 5105
Raw data (stat): 5105 (runsolver) R 5104 24821 24820 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 863983665 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.0005 s]
Raw data (loadavg): 0.50 0.13 0.04 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 2566 0 7 0 880 6 0 0 25 0 1 0 863983665 10117120 1952 4294967295 134512640 135726644 3221224576 3221223232 134731177 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2470 1952 300 300 0 2170 0
vsize: 9880
[startup+20.001 s]
Raw data (loadavg): 0.58 0.16 0.05 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 3302 0 7 0 1878 8 0 0 25 0 1 0 863983665 14446592 2688 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3527 2688 300 300 0 3227 0
vsize: 14108
[startup+30.0006 s]
Raw data (loadavg): 0.64 0.19 0.06 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 3872 0 7 0 2876 11 0 0 25 0 1 0 863983665 22974464 3258 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5609 3258 300 300 0 5309 0
vsize: 22436
[startup+40.0013 s]
Raw data (loadavg): 0.70 0.22 0.07 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 4317 0 7 0 3875 12 0 0 25 0 1 0 863983665 23113728 3703 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5643 3703 300 300 0 5343 0
vsize: 22572
[startup+50.0009 s]
Raw data (loadavg): 0.74 0.24 0.08 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 4940 0 7 0 4873 14 0 0 25 0 1 0 863983665 23261184 4326 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5679 4326 300 300 0 5379 0
vsize: 22716
[startup+60.0006 s]
Raw data (loadavg): 0.78 0.27 0.09 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 5456 0 7 0 5871 16 0 0 25 0 1 0 863983665 23261184 4842 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5679 4842 300 300 0 5379 0
vsize: 22716
[startup+70.0002 s]
Raw data (loadavg): 0.81 0.29 0.10 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 5909 0 7 0 6870 18 0 0 25 0 1 0 863983665 23261184 5295 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5679 5295 300 300 0 5379 0
vsize: 22716
[startup+79.9999 s]
Raw data (loadavg): 0.84 0.31 0.11 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 6665 0 7 0 7868 20 0 0 25 0 1 0 863983665 40644608 6051 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9923 6051 300 300 0 9623 0
vsize: 39692
[startup+90.0001 s]
Raw data (loadavg): 0.87 0.33 0.12 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 7899 0 7 0 8864 24 0 0 25 0 1 0 863983665 41979904 7285 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10249 7285 300 300 0 9949 0
vsize: 40996
[startup+99.9992 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 8679 0 7 0 9860 27 0 0 25 0 1 0 863983665 43384832 8065 4294967295 134512640 135726644 3221224576 3221223088 134742904 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10592 8065 300 300 0 10292 0
vsize: 42368
[startup+110 s]
Raw data (loadavg): 0.90 0.38 0.14 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 9368 0 7 0 10857 29 0 0 25 0 1 0 863983665 45166592 8754 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11027 8754 300 300 0 10727 0
vsize: 44108
[startup+120.001 s]
Raw data (loadavg): 0.92 0.40 0.14 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 9914 0 7 0 11853 34 0 0 25 0 1 0 863983665 45539328 9300 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11118 9300 300 300 0 10818 0
vsize: 44472
[startup+130 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 9956 0 7 0 12852 35 0 0 25 0 1 0 863983665 45645824 9342 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11144 9342 300 300 0 10844 0
vsize: 44576
[startup+140 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 10034 0 7 0 13851 36 0 0 25 0 1 0 863983665 45887488 9420 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11203 9420 300 300 0 10903 0
vsize: 44812
[startup+150 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 10145 0 7 0 14850 37 0 0 25 0 1 0 863983665 46260224 9531 4294967295 134512640 135726644 3221224576 3221223088 134742201 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11294 9531 300 300 0 10994 0
vsize: 45176
[startup+160 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 10675 0 7 0 15848 40 0 0 25 0 1 0 863983665 48340992 9676 4294967295 134512640 135726644 3221224576 3221222912 134763533 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11802 9676 300 300 0 11502 0
vsize: 47208
[startup+170 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 10916 0 7 0 16844 44 0 0 25 0 1 0 863983665 49393664 9917 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12059 9917 300 300 0 11759 0
vsize: 48236
[startup+180 s]
Raw data (loadavg): 0.97 0.50 0.20 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 11009 0 7 0 17839 49 0 0 25 0 1 0 863983665 49631232 10010 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12117 10010 300 300 0 11817 0
vsize: 48468
[startup+190 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 11042 0 7 0 18838 50 0 0 25 0 1 0 863983665 49672192 10043 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12127 10043 300 300 0 11827 0
vsize: 48508
[startup+200 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 11081 0 7 0 19837 51 0 0 25 0 1 0 863983665 49754112 10082 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12147 10082 300 300 0 11847 0
vsize: 48588
[startup+210 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 11137 0 7 0 20837 52 0 0 25 0 1 0 863983665 49889280 10138 4294967295 134512640 135726644 3221224576 3221223200 134744667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12180 10138 300 300 0 11880 0
vsize: 48720
[startup+220 s]
Raw data (loadavg): 0.98 0.56 0.23 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 11254 0 7 0 21836 53 0 0 25 0 1 0 863983665 50274304 10255 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12274 10255 300 300 0 11974 0
vsize: 49096
[startup+230 s]
Raw data (loadavg): 0.98 0.58 0.23 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 11454 0 7 0 22835 54 0 0 25 0 1 0 863983665 51023872 10455 4294967295 134512640 135726644 3221224576 3221223200 134779694 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12457 10455 300 300 0 12157 0
vsize: 49828
[startup+239.999 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 11638 0 7 0 23834 55 0 0 25 0 1 0 863983665 51793920 10639 4294967295 134512640 135726644 3221224576 3221222896 134729152 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12645 10639 300 300 0 12345 0
vsize: 50580
[startup+249.999 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 11785 0 7 0 24834 55 0 0 25 0 1 0 863983665 52228096 10786 4294967295 134512640 135726644 3221224576 3221223056 134729216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12751 10786 300 300 0 12451 0
vsize: 51004
[startup+260 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 11975 0 7 0 25833 56 0 0 25 0 1 0 863983665 52932608 10976 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12923 10976 300 300 0 12623 0
vsize: 51692
[startup+270 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12133 0 7 0 26829 60 0 0 25 0 1 0 863983665 53530624 11134 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13069 11134 300 300 0 12769 0
vsize: 52276
[startup+279.999 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12164 0 7 0 27829 61 0 0 25 0 1 0 863983665 53579776 11165 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13081 11165 300 300 0 12781 0
vsize: 52324
[startup+290 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12227 0 7 0 28827 63 0 0 25 0 1 0 863983665 53768192 11228 4294967295 134512640 135726644 3221224576 3221223184 134740844 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13127 11228 300 300 0 12827 0
vsize: 52508
[startup+299.999 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12256 0 7 0 29822 68 0 0 25 0 1 0 863983665 53907456 11257 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13161 11257 300 300 0 12861 0
vsize: 52644
[startup+309.999 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12319 0 7 0 30818 72 0 0 25 0 1 0 863983665 54083584 11320 4294967295 134512640 135726644 3221224576 3221222892 134810018 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13204 11320 300 300 0 12904 0
vsize: 52816
[startup+319.999 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12348 0 7 0 31818 72 0 0 25 0 1 0 863983665 54112256 11349 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13211 11349 300 300 0 12911 0
vsize: 52844
[startup+329.999 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12376 0 7 0 32817 73 0 0 25 0 1 0 863983665 54145024 11377 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13219 11377 300 300 0 12919 0
vsize: 52876
[startup+339.999 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12408 0 7 0 33816 74 0 0 25 0 1 0 863983665 54185984 11409 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13229 11409 300 300 0 12929 0
vsize: 52916
[startup+349.999 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12444 0 7 0 34816 75 0 0 25 0 1 0 863983665 54247424 11445 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13244 11445 300 300 0 12944 0
vsize: 52976
[startup+359.999 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12465 0 7 0 35814 78 0 0 25 0 1 0 863983665 54284288 11466 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13253 11466 300 300 0 12953 0
vsize: 53012
[startup+369.999 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12582 0 7 0 36809 83 0 0 25 0 1 0 863983665 54747136 11583 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13366 11583 300 300 0 13066 0
vsize: 53464
[startup+379.999 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 12607 0 7 0 37808 83 0 0 25 0 1 0 863983665 54775808 11608 4294967295 134512640 135726644 3221224576 3221222816 134782828 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13373 11608 300 300 0 13073 0
vsize: 53492
[startup+390 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 13400 0 7 0 38806 86 0 0 25 0 1 0 863983665 57937920 11632 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14145 11632 300 300 0 13845 0
vsize: 56580
[startup+399.999 s]
Raw data (loadavg): 0.99 0.75 0.36 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 13426 0 7 0 39805 87 0 0 25 0 1 0 863983665 57966592 11658 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14152 11658 300 300 0 13852 0
vsize: 56608
[startup+409.999 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 13451 0 7 0 40805 87 0 0 25 0 1 0 863983665 57982976 11683 4294967295 134512640 135726644 3221224576 3221222960 134758002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14156 11683 300 300 0 13856 0
vsize: 56624
[startup+419.998 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 13487 0 7 0 41804 88 0 0 25 0 1 0 863983665 58068992 11719 4294967295 134512640 135726644 3221224576 3221223168 134760191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14177 11719 300 300 0 13877 0
vsize: 56708
[startup+429.998 s]
Raw data (loadavg): 0.99 0.78 0.37 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 13525 0 7 0 42804 88 0 0 25 0 1 0 863983665 58142720 11757 4294967295 134512640 135726644 3221224576 3221222904 134810615 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14195 11757 300 300 0 13895 0
vsize: 56780
[startup+439.998 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 13580 0 7 0 43803 89 0 0 25 0 1 0 863983665 58294272 11812 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14232 11812 300 300 0 13932 0
vsize: 56928
[startup+449.998 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 13676 0 7 0 44802 90 0 0 25 0 1 0 863983665 58626048 11908 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14313 11908 300 300 0 14013 0
vsize: 57252
[startup+459.998 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 13825 0 7 0 45802 90 0 0 25 0 1 0 863983665 59166720 12057 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14445 12057 300 300 0 14145 0
vsize: 57780
[startup+469.998 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 13965 0 7 0 46802 91 0 0 25 0 1 0 863983665 59674624 12197 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14569 12197 300 300 0 14269 0
vsize: 58276
[startup+479.997 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14153 0 7 0 47799 94 0 0 25 0 1 0 863983665 60469248 12385 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14763 12385 300 300 0 14463 0
vsize: 59052
[startup+489.997 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14401 0 7 0 48795 98 0 0 25 0 1 0 863983665 61444096 12633 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15001 12633 300 300 0 14701 0
vsize: 60004
[startup+499.997 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14506 0 7 0 49793 100 0 0 25 0 1 0 863983665 61812736 12738 4294967295 134512640 135726644 3221224576 3221222904 134810927 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15091 12738 300 300 0 14791 0
vsize: 60364
[startup+509.997 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14526 0 7 0 50792 101 0 0 25 0 1 0 863983665 61812736 12758 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15091 12758 300 300 0 14791 0
vsize: 60364
[startup+519.996 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14545 0 7 0 51792 102 0 0 25 0 1 0 863983665 61812736 12777 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15091 12777 300 300 0 14791 0
vsize: 60364
[startup+529.995 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14565 0 7 0 52791 103 0 0 25 0 1 0 863983665 61812736 12797 4294967295 134512640 135726644 3221224576 3221222904 134811017 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15091 12797 300 300 0 14791 0
vsize: 60364
[startup+539.995 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14584 0 7 0 53790 104 0 0 25 0 1 0 863983665 61812736 12816 4294967295 134512640 135726644 3221224576 3221223072 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15091 12816 300 300 0 14791 0
vsize: 60364
[startup+549.995 s]
Raw data (loadavg): 0.99 0.85 0.44 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14603 0 7 0 54790 104 0 0 25 0 1 0 863983665 61812736 12835 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15091 12835 300 300 0 14791 0
vsize: 60364
[startup+559.995 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14623 0 7 0 55789 105 0 0 25 0 1 0 863983665 61812736 12855 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15091 12855 300 300 0 14791 0
vsize: 60364
[startup+569.995 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14640 0 7 0 56789 106 0 0 25 0 1 0 863983665 61812736 12872 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15091 12872 300 300 0 14791 0
vsize: 60364
[startup+579.994 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14769 0 7 0 57783 111 0 0 25 0 1 0 863983665 62369792 13001 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15227 13001 300 300 0 14927 0
vsize: 60908
[startup+589.994 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14836 0 7 0 58781 113 0 0 25 0 1 0 863983665 62537728 13068 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15268 13068 300 300 0 14968 0
vsize: 61072
[startup+599.993 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14858 0 7 0 59780 114 0 0 25 0 1 0 863983665 62537728 13090 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15268 13090 300 300 0 14968 0
vsize: 61072
[startup+609.993 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14878 0 7 0 60779 116 0 0 25 0 1 0 863983665 62550016 13110 4294967295 134512640 135726644 3221224576 3221223184 134741184 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15271 13110 300 300 0 14971 0
vsize: 61084
[startup+619.992 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14889 0 7 0 61774 121 0 0 25 0 1 0 863983665 62566400 13121 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15275 13121 300 300 0 14975 0
vsize: 61100
[startup+629.992 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14918 0 7 0 62773 122 0 0 25 0 1 0 863983665 62603264 13150 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15284 13150 300 300 0 14984 0
vsize: 61136
[startup+639.993 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14951 0 7 0 63773 123 0 0 25 0 1 0 863983665 62656512 13183 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15297 13183 300 300 0 14997 0
vsize: 61188
[startup+649.992 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14988 0 7 0 64772 124 0 0 25 0 1 0 863983665 62734336 13220 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15316 13220 300 300 0 15016 0
vsize: 61264
[startup+659.992 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 14998 0 7 0 65768 128 0 0 25 0 1 0 863983665 62746624 13230 4294967295 134512640 135726644 3221224576 3221223164 134744135 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15319 13230 300 300 0 15019 0
vsize: 61276
[startup+669.992 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15116 0 7 0 66766 130 0 0 25 0 1 0 863983665 63164416 13348 4294967295 134512640 135726644 3221224576 3221223072 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15421 13348 300 300 0 15121 0
vsize: 61684
[startup+679.991 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15141 0 7 0 67765 131 0 0 25 0 1 0 863983665 63180800 13373 4294967295 134512640 135726644 3221224576 3221222896 134729212 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15425 13373 300 300 0 15125 0
vsize: 61700
[startup+689.991 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15166 0 7 0 68764 132 0 0 25 0 1 0 863983665 63205376 13398 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15431 13398 300 300 0 15131 0
vsize: 61724
[startup+699.992 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15180 0 7 0 69762 135 0 0 25 0 1 0 863983665 63205376 13412 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15431 13412 300 300 0 15131 0
vsize: 61724
[startup+709.991 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15259 0 7 0 70758 139 0 0 25 0 1 0 863983665 63488000 13491 4294967295 134512640 135726644 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15500 13491 300 300 0 15200 0
vsize: 62000
[startup+719.991 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15282 0 7 0 71757 140 0 0 25 0 1 0 863983665 63508480 13514 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15505 13514 300 300 0 15205 0
vsize: 62020
[startup+729.991 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15302 0 7 0 72756 141 0 0 25 0 1 0 863983665 63508480 13534 4294967295 134512640 135726644 3221224576 3221222960 134759567 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15505 13534 300 300 0 15205 0
vsize: 62020
[startup+739.99 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15326 0 7 0 73755 142 0 0 25 0 1 0 863983665 63520768 13558 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15508 13558 300 300 0 15208 0
vsize: 62032
[startup+749.99 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15349 0 7 0 74755 143 0 0 25 0 1 0 863983665 63553536 13581 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15516 13581 300 300 0 15216 0
vsize: 62064
[startup+759.991 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15377 0 7 0 75754 143 0 0 25 0 1 0 863983665 63582208 13609 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15523 13609 300 300 0 15223 0
vsize: 62092
[startup+769.99 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15387 0 7 0 76751 147 0 0 25 0 1 0 863983665 63606784 13619 4294967295 134512640 135726644 3221224576 3221223072 134744172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15529 13619 300 300 0 15229 0
vsize: 62116
[startup+779.99 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15491 0 7 0 77746 152 0 0 25 0 1 0 863983665 64008192 13723 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15627 13723 300 300 0 15327 0
vsize: 62508
[startup+789.99 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15517 0 7 0 78746 152 0 0 25 0 1 0 863983665 64032768 13749 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15633 13749 300 300 0 15333 0
vsize: 62532
[startup+799.989 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15538 0 7 0 79745 153 0 0 25 0 1 0 863983665 64032768 13770 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15633 13770 300 300 0 15333 0
vsize: 62532
[startup+809.989 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15562 0 7 0 80744 154 0 0 25 0 1 0 863983665 64061440 13794 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15640 13794 300 300 0 15340 0
vsize: 62560
[startup+819.989 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15584 0 7 0 81744 155 0 0 25 0 1 0 863983665 64061440 13816 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15640 13816 300 300 0 15340 0
vsize: 62560
[startup+829.988 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15607 0 7 0 82743 156 0 0 25 0 1 0 863983665 64090112 13839 4294967295 134512640 135726644 3221224576 3221222940 134763496 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15647 13839 300 300 0 15347 0
vsize: 62588
[startup+839.989 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15628 0 7 0 83742 157 0 0 25 0 1 0 863983665 64126976 13860 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15656 13860 300 300 0 15356 0
vsize: 62624
[startup+849.989 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15632 0 7 0 84738 161 0 0 25 0 1 0 863983665 64126976 13864 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15656 13864 300 300 0 15356 0
vsize: 62624
[startup+859.988 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15744 0 7 0 85733 166 0 0 25 0 1 0 863983665 64548864 13976 4294967295 134512640 135726644 3221224576 3221223120 134736850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15759 13976 300 300 0 15459 0
vsize: 63036
[startup+869.988 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 15774 0 7 0 86732 167 0 0 25 0 1 0 863983665 64581632 14006 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15767 14006 300 300 0 15467 0
vsize: 63068
[startup+879.988 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17338 0 7 0 87727 172 0 0 25 0 1 0 863983665 70885376 14033 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17306 14033 300 300 0 17006 0
vsize: 69224
[startup+889.987 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17367 0 7 0 88727 173 0 0 25 0 1 0 863983665 70934528 14062 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17318 14062 300 300 0 17018 0
vsize: 69272
[startup+899.987 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17399 0 7 0 89726 174 0 0 25 0 1 0 863983665 70991872 14094 4294967295 134512640 135726644 3221224576 3221222824 135281758 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17332 14094 300 300 0 17032 0
vsize: 69328
[startup+909.988 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17431 0 7 0 90725 175 0 0 25 0 1 0 863983665 71032832 14126 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17342 14126 300 300 0 17042 0
vsize: 69368
[startup+919.987 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17463 0 7 0 91725 175 0 0 25 0 1 0 863983665 71094272 14158 4294967295 134512640 135726644 3221224576 3221223184 134741244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17357 14158 300 300 0 17057 0
vsize: 69428
[startup+929.987 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17485 0 7 0 92724 176 0 0 25 0 1 0 863983665 71106560 14180 4294967295 134512640 135726644 3221224576 3221223120 134736686 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17360 14180 300 300 0 17060 0
vsize: 69440
[startup+939.988 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17514 0 7 0 93723 177 0 0 25 0 1 0 863983665 71155712 14209 4294967295 134512640 135726644 3221224576 3221222912 134763545 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17372 14209 300 300 0 17072 0
vsize: 69488
[startup+949.987 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17544 0 7 0 94722 178 0 0 25 0 1 0 863983665 71225344 14239 4294967295 134512640 135726644 3221224576 3221222896 134729206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17389 14239 300 300 0 17089 0
vsize: 69556
[startup+959.987 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17600 0 7 0 95722 179 0 0 25 0 1 0 863983665 71389184 14295 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17429 14295 300 300 0 17129 0
vsize: 69716
[startup+969.988 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17676 0 7 0 96721 180 0 0 25 0 1 0 863983665 71634944 14371 4294967295 134512640 135726644 3221224576 3221223088 134742897 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17489 14371 300 300 0 17189 0
vsize: 69956
[startup+979.987 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17793 0 7 0 97720 181 0 0 25 0 1 0 863983665 72171520 14488 4294967295 134512640 135726644 3221224576 3221222824 135280958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17620 14488 300 300 0 17320 0
vsize: 70480
[startup+989.987 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 17956 0 7 0 98717 184 0 0 25 0 1 0 863983665 72728576 14651 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17756 14651 300 300 0 17456 0
vsize: 71024
[startup+999.987 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18010 0 7 0 99712 189 0 0 25 0 1 0 863983665 72888320 14705 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17795 14705 300 300 0 17495 0
vsize: 71180
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18035 0 7 0 100711 190 0 0 25 0 1 0 863983665 72904704 14730 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17799 14730 300 300 0 17499 0
vsize: 71196
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18055 0 7 0 101711 191 0 0 25 0 1 0 863983665 72904704 14750 4294967295 134512640 135726644 3221224576 3221223120 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17799 14750 300 300 0 17499 0
vsize: 71196
[startup+1029.99 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18082 0 7 0 102710 192 0 0 25 0 1 0 863983665 72941568 14777 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17808 14777 300 300 0 17508 0
vsize: 71232
[startup+1039.99 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18106 0 7 0 103709 193 0 0 25 0 1 0 863983665 72957952 14801 4294967295 134512640 135726644 3221224576 3221222896 134729245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17812 14801 300 300 0 17512 0
vsize: 71248
[startup+1049.99 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18111 0 7 0 104704 198 0 0 25 0 1 0 863983665 72957952 14806 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17812 14806 300 300 0 17512 0
vsize: 71248
[startup+1059.99 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18135 0 7 0 105703 199 0 0 25 0 1 0 863983665 72994816 14830 4294967295 134512640 135726644 3221224576 3221223168 134760191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17821 14830 300 300 0 17521 0
vsize: 71284
[startup+1069.99 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18158 0 7 0 106703 200 0 0 25 0 1 0 863983665 73027584 14853 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17829 14853 300 300 0 17529 0
vsize: 71316
[startup+1079.99 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18190 0 7 0 107703 200 0 0 25 0 1 0 863983665 73101312 14885 4294967295 134512640 135726644 3221224576 3221223176 134744138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17847 14885 300 300 0 17547 0
vsize: 71388
[startup+1089.99 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18220 0 7 0 108702 201 0 0 25 0 1 0 863983665 73146368 14915 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17858 14915 300 300 0 17558 0
vsize: 71432
[startup+1099.99 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18242 0 7 0 109702 202 0 0 25 0 1 0 863983665 73170944 14937 4294967295 134512640 135726644 3221224576 3221222648 135280664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17864 14937 300 300 0 17564 0
vsize: 71456
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18268 0 7 0 110701 203 0 0 25 0 1 0 863983665 73224192 14963 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17877 14963 300 300 0 17577 0
vsize: 71508
[startup+1119.99 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18322 0 7 0 111700 203 0 0 25 0 1 0 863983665 73379840 15017 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17915 15017 300 300 0 17615 0
vsize: 71660
[startup+1129.99 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18386 0 7 0 112699 204 0 0 25 0 1 0 863983665 73584640 15081 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17965 15081 300 300 0 17665 0
vsize: 71860
[startup+1139.99 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18529 0 7 0 113699 205 0 0 25 0 1 0 863983665 74117120 15224 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18095 15224 300 300 0 17795 0
vsize: 72380
[startup+1149.99 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18664 0 7 0 114697 207 0 0 25 0 1 0 863983665 74743808 15359 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18248 15359 300 300 0 17948 0
vsize: 72992
[startup+1159.99 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18802 0 7 0 115694 210 0 0 25 0 1 0 863983665 75300864 15497 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18384 15497 300 300 0 18084 0
vsize: 73536
[startup+1169.99 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 18903 0 7 0 116691 213 0 0 25 0 1 0 863983665 75718656 15598 4294967295 134512640 135726644 3221224576 3221223072 134744246 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18486 15598 300 300 0 18186 0
vsize: 73944
[startup+1179.99 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 19095 0 7 0 117690 214 0 0 25 0 1 0 863983665 76365824 15790 4294967295 134512640 135726644 3221224576 3221222896 134729206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18644 15790 300 300 0 18344 0
vsize: 74576
[startup+1189.99 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 19343 0 7 0 118689 215 0 0 25 0 1 0 863983665 76521472 16038 4294967295 134512640 135726644 3221224576 3221223072 134744195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18682 16038 300 300 0 18382 0
vsize: 74728
[startup+1199.99 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 19691 0 7 0 119688 217 0 0 25 0 1 0 863983665 76611584 16386 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18704 16386 300 300 0 18404 0
vsize: 74816
[startup+1209.99 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 5105
Raw data (stat): 5105 (pb2sat) R 5104 24821 24820 0 -1 0 19726 0 7 0 120685 220 0 0 25 0 1 0 863983665 76750848 16421 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18738 16421 300 300 0 18438 0
vsize: 74952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.24 s]
Raw data (loadavg): 0.99 0.97 0.70 1/54 5105
Raw data (stat): 5105 (pb2sat) Z 5104 24821 24820 0 -1 12 19727 0 7 0 120706 223 0 0 25 0 1 0 863983665 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.24
CPU time (s): 1209.31
CPU user time (s): 1207.07
CPU system time (s): 2.23966
CPU usage (%): 99.9229
Max. virtual memory (Kb): 74952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####