PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
MD5SUM	6c328ef6f9d8d5a179eec9bf3550b7fd
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	26
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.027995
Number of variables	1000
Total number of constraints	90
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	25
Trace number 34681

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-28 10:10:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23935 boxname=wulflinc9 idbench=9 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6c328ef6f9d8d5a179eec9bf3550b7fd  /oldhome/oroussel/tmp/wulflinc9/normalized-chnl20_25_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-chnl20_25_pb.cnf.cr.opb
IDLAUNCH: 23935
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        654224 kB
Buffers:         35052 kB
Cached:         321860 kB
SwapCached:        564 kB
Active:          44860 kB
Inactive:       314132 kB
HighTotal:      131008 kB
HighFree:        24500 kB
LowTotal:       903652 kB
LowFree:        629724 kB
SwapTotal:     2097136 kB
SwapFree:      2095636 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15772 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:30:34 (client local time) WITH STATUS 0 IN 1208.93 SECONDS
stats: 23935 7 1208.93 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 960/2920	Time: 26.8619/86400
Decision: 960/2920	Time: 27.7998/86400
Decision: 960/2920	Time: 28.6576/86400
Decision: 960/2920	Time: 29.6085/86400
Decision: 960/2920	Time: 30.6193/86400
Decision: 960/2920	Time: 31.8122/86400
Decision: 960/2920	Time: 32.865/86400
Decision: 960/2920	Time: 33.9978/86400
Decision: 960/2920	Time: 35.1267/86400
Decision: 960/2920	Time: 36.2955/86400
Decision: 960/2920	Time: 37.6353/86400
Decision: 960/2920	Time: 38.8711/86400
Decision: 960/2920	Time: 40.1159/86400
Decision: 960/2920	Time: 41.3077/86400
Decision: 960/2920	Time: 42.4316/86400
Decision: 960/2920	Time: 43.9053/86400
Decision: 960/2920	Time: 45.1141/86400
Decision: 960/2920	Time: 46.4279/86400
Decision: 960/2920	Time: 47.7037/86400
Decision: 960/2920	Time: 49.0925/86400
Decision: 960/2920	Time: 50.5153/86400
Decision: 960/2920	Time: 51.8761/86400
Decision: 960/2920	Time: 53.2859/86400
Decision: 960/2920	Time: 54.5567/86400
Decision: 960/2920	Time: 55.9025/86400
Decision: 960/2920	Time: 57.5712/86400
Decision: 960/2920	Time: 58.92/86400
Decision: 960/2920	Time: 60.3978/86400
Decision: 960/2920	Time: 61.7006/86400
Decision: 960/2920	Time: 63.0744/86400
Decision: 960/2920	Time: 64.6592/86400
Decision: 960/2920	Time: 66.1319/86400
Decision: 960/2920	Time: 67.6497/86400
Decision: 960/2920	Time: 69.0885/86400
Decision: 960/2920	Time: 70.6353/86400
Decision: 960/2920	Time: 72.404/86400
Decision: 960/2920	Time: 73.9348/86400
Decision: 960/2920	Time: 75.3975/86400
Decision: 960/2920	Time: 77.0693/86400
Decision: 960/2920	Time: 78.5481/86400
Decision: 960/2920	Time: 80.3678/86400
Decision: 960/2920	Time: 81.9355/86400
Decision: 960/2920	Time: 83.2933/86400
Decision: 960/2920	Time: 85.0461/86400
Decision: 960/2920	Time: 86.7108/86400
Decision: 960/2920	Time: 88.5405/86400
Decision: 960/2920	Time: 90.1013/86400
Decision: 960/2920	Time: 91.6881/86400
Decision: 960/2920	Time: 93.2658/86400
Decision: 960/2920	Time: 94.8466/86400
Decision: 960/2920	Time: 96.6573/86400
Decision: 960/2920	Time: 98.2881/86400
Decision: 960/2920	Time: 99.8738/86400
Decision: 960/2920	Time: 101.461/86400
Decision: 960/2920	Time: 103.032/86400
Decision: 960/2920	Time: 104.803/86400
Decision: 960/2920	Time: 106.382/86400
Decision: 960/2920	Time: 107.874/86400
Decision: 960/2920	Time: 109.412/86400
Decision: 960/2920	Time: 110.954/86400
Decision: 960/2920	Time: 112.687/86400
Decision: 960/2920	Time: 114.299/86400
Decision: 960/2920	Time: 115.808/86400
Decision: 960/2920	Time: 117.31/86400
Decision: 960/2920	Time: 118.848/86400
Decision: 960/2920	Time: 120.711/86400
Decision: 960/2920	Time: 122.32/86400
Decision: 960/2920	Time: 123.902/86400
Decision: 960/2920	Time: 125.448/86400
Decision: 960/2920	Time: 127.087/86400
Decision: 960/2920	Time: 129.063/86400
Decision: 960/2920	Time: 130.79/86400
Decision: 960/2920	Time: 132.654/86400
Decision: 960/2920	Time: 134.337/86400
Decision: 960/2920	Time: 135.996/86400
Decision: 960/2920	Time: 137.98/86400
Decision: 960/2920	Time: 139.587/86400
Decision: 960/2920	Time: 141.182/86400
Decision: 960/2920	Time: 142.752/86400
Decision: 960/2920	Time: 144.403/86400
Decision: 960/2920	Time: 146.335/86400
Decision: 960/2920	Time: 147.853/86400
Decision: 960/2920	Time: 149.581/86400
Decision: 960/2920	Time: 151.326/86400
Decision: 960/2920	Time: 152.981/86400
Decision: 960/2920	Time: 154.982/86400
Decision: 960/2920	Time: 156.614/86400
Decision: 960/2920	Time: 158.294/86400
Decision: 960/2920	Time: 160.257/86400
Decision: 960/2920	Time: 161.927/86400
Decision: 960/2920	Time: 164.099/86400
Decision: 960/2920	Time: 165.866/86400
Decision: 960/2920	Time: 167.508/86400
Decision: 960/2920	Time: 169.211/86400
Decision: 960/2920	Time: 170.845/86400
Decision: 960/2920	Time: 172.959/86400
Decision: 960/2920	Time: 174.665/86400
Decision: 960/2920	Time: 176.512/86400
Decision: 960/2920	Time: 178.314/86400
Decision: 960/2920	Time: 180.281/86400
Decision: 960/2920	Time: 182.413/86400
Decision: 960/2920	Time: 184.112/86400
Decision: 960/2920	Time: 185.863/86400
Decision: 960/2920	Time: 187.61/86400
Decision: 960/2920	Time: 189.369/86400
Decision: 960/2920	Time: 191.503/86400
Decision: 960/2920	Time: 193.292/86400
Decision: 960/2920	Time: 195.066/86400
Decision: 960/2920	Time: 196.97/86400
Decision: 960/2920	Time: 198.778/86400
Decision: 960/2920	Time: 201.012/86400
Decision: 960/2920	Time: 202.821/86400
Decision: 960/2920	Time: 204.637/86400
Decision: 960/2920	Time: 206.601/86400
Decision: 960/2920	Time: 208.548/86400
Decision: 960/2920	Time: 210.816/86400
Decision: 960/2920	Time: 212.701/86400
Decision: 960/2920	Time: 214.832/86400
Decision: 960/2920	Time: 216.828/86400
Decision: 960/2920	Time: 218.714/86400
Decision: 960/2920	Time: 221.065/86400
Decision: 960/2920	Time: 223.103/86400
Decision: 960/2920	Time: 225.308/86400
Decision: 960/2920	Time: 227.388/86400
Decision: 960/2920	Time: 229.263/86400
Decision: 960/2920	Time: 231.563/86400
Decision: 960/2920	Time: 233.464/86400
Decision: 960/2920	Time: 235.472/86400
Decision: 960/2920	Time: 237.623/86400
Decision: 960/2920	Time: 239.555/86400
Decision: 960/2920	Time: 241.885/86400
Decision: 960/2920	Time: 243.794/86400
Decision: 960/2920	Time: 245.631/86400
Decision: 960/2920	Time: 247.429/86400
Decision: 960/2920	Time: 249.25/86400
Decision: 960/2920	Time: 251.59/86400
Decision: 960/2920	Time: 253.369/86400
Decision: 960/2920	Time: 255.104/86400
Decision: 960/2920	Time: 257.042/86400
Decision: 960/2920	Time: 259.205/86400
Decision: 960/2920	Time: 261.614/86400
Decision: 960/2920	Time: 263.573/86400
Decision: 960/2920	Time: 265.438/86400
Decision: 960/2920	Time: 267.394/86400
Decision: 960/2920	Time: 269.341/86400
Decision: 960/2920	Time: 271.682/86400
Decision: 960/2920	Time: 273.651/86400
Decision: 960/2920	Time: 275.501/86400
Decision: 960/2920	Time: 277.388/86400
Decision: 960/2920	Time: 279.308/86400
Decision: 960/2920	Time: 281.579/86400
Decision: 960/2920	Time: 283.526/86400
Decision: 960/2920	Time: 285.542/86400
Decision: 960/2920	Time: 287.535/86400
Decision: 960/2920	Time: 289.446/86400
Decision: 960/2920	Time: 291.859/86400
Decision: 960/2920	Time: 293.8/86400
Decision: 960/2920	Time: 295.931/86400
Decision: 960/2920	Time: 297.954/86400
Decision: 960/2920	Time: 300.073/86400
Decision: 960/2920	Time: 302.439/86400
Decision: 960/2920	Time: 304.525/86400
Decision: 960/2920	Time: 306.636/86400
Decision: 960/2920	Time: 308.971/86400
Decision: 960/2920	Time: 311.155/86400
Decision: 960/2920	Time: 313.75/86400
Decision: 960/2920	Time: 315.953/86400
Decision: 960/2920	Time: 318.053/86400
Decision: 960/2920	Time: 320.08/86400
Decision: 960/2920	Time: 322.086/86400
Decision: 960/2920	Time: 324.513/86400
Decision: 960/2920	Time: 326.456/86400
Decision: 960/2920	Time: 328.429/86400
Decision: 960/2920	Time: 330.305/86400
Decision: 960/2920	Time: 332.264/86400
Decision: 960/2920	Time: 334.705/86400
Decision: 960/2920	Time: 336.839/86400
Decision: 960/2920	Time: 338.882/86400
Decision: 960/2920	Time: 340.965/86400
Decision: 960/2920	Time: 343.122/86400
Decision: 960/2920	Time: 345.599/86400
Decision: 960/2920	Time: 347.745/86400
Decision: 960/2920	Time: 349.69/86400
Decision: 960/2920	Time: 351.613/86400
Decision: 960/2920	Time: 353.609/86400
Decision: 960/2920	Time: 356.199/86400
Decision: 960/2920	Time: 358.432/86400
Decision: 960/2920	Time: 360.509/86400
Decision: 960/2920	Time: 362.64/86400
Decision: 960/2920	Time: 364.932/86400
Decision: 960/2920	Time: 367.521/86400
Decision: 960/2920	Time: 369.73/86400
Decision: 960/2920	Time: 371.942/86400
Decision: 960/2920	Time: 374.168/86400
Decision: 960/2920	Time: 376.499/86400
Decision: 960/2920	Time: 379.337/86400
Decision: 960/2920	Time: 381.52/86400
Decision: 960/2920	Time: 383.793/86400
Decision: 960/2920	Time: 386.192/86400
Decision: 960/2920	Time: 388.448/86400
Decision: 960/2920	Time: 391.218/86400
Decision: 960/2920	Time: 393.486/86400
Decision: 960/2920	Time: 395.794/86400
Decision: 960/2920	Time: 398.049/86400
Decision: 960/2920	Time: 400.413/86400
Decision: 960/2920	Time: 403.64/86400
Decision: 960/2920	Time: 405.994/86400
Decision: 960/2920	Time: 408.223/86400
Decision: 960/2920	Time: 410.686/86400
Decision: 960/2920	Time: 413.357/86400
Decision: 960/2920	Time: 416.206/86400
Decision: 960/2920	Time: 418.444/86400
Decision: 960/2920	Time: 420.848/86400
Decision: 960/2920	Time: 423.051/86400
Decision: 960/2920	Time: 425.357/86400
Decision: 960/2920	Time: 428.221/86400
Decision: 960/2920	Time: 430.358/86400
Decision: 960/2920	Time: 432.472/86400
Decision: 960/2920	Time: 434.729/86400
Decision: 960/2920	Time: 436.914/86400
Decision: 960/2920	Time: 439.818/86400
Decision: 960/2920	Time: 442.103/86400
Decision: 960/2920	Time: 444.434/86400
Decision: 960/2920	Time: 446.988/86400
Decision: 960/2920	Time: 449.394/86400
Decision: 960/2920	Time: 452.428/86400
Decision: 960/2920	Time: 454.931/86400
Decision: 960/2920	Time: 457.281/86400
Decision: 960/2920	Time: 459.678/86400
Decision: 960/2920	Time: 462.285/86400
Decision: 960/2920	Time: 465.265/86400
Decision: 960/2920	Time: 467.618/86400
Decision: 960/2920	Time: 469.914/86400
Decision: 960/2920	Time: 472.276/86400
Decision: 960/2920	Time: 474.639/86400
Decision: 960/2920	Time: 477.649/86400
Decision: 960/2920	Time: 479.925/86400
Decision: 960/2920	Time: 482.479/86400
Decision: 960/2920	Time: 484.824/86400
Decision: 960/2920	Time: 486.956/86400
Decision: 960/2920	Time: 489.8/86400
Decision: 960/2920	Time: 492.02/86400
Decision: 960/2920	Time: 494.267/86400
Decision: 960/2920	Time: 496.502/86400
Decision: 960/2920	Time: 498.797/86400
Decision: 960/2920	Time: 501.617/86400
Decision: 960/2920	Time: 503.933/86400
Decision: 960/2920	Time: 506.197/86400
Decision: 960/2920	Time: 508.314/86400
Decision: 960/2920	Time: 510.645/86400
Decision: 960/2920	Time: 513.419/86400
Decision: 960/2920	Time: 515.594/86400
Decision: 960/2920	Time: 517.759/86400
Decision: 960/2920	Time: 519.902/86400
Decision: 960/2920	Time: 521.98/86400
Decision: 960/2920	Time: 524.594/86400
Decision: 960/2920	Time: 526.698/86400
Decision: 960/2920	Time: 528.79/86400
Decision: 960/2920	Time: 531.134/86400
Decision: 960/2920	Time: 533.55/86400
Decision: 960/2920	Time: 536.41/86400
Decision: 960/2920	Time: 538.548/86400
Decision: 960/2920	Time: 540.706/86400
Decision: 960/2920	Time: 542.861/86400
Decision: 960/2920	Time: 545.198/86400
Decision: 960/2920	Time: 547.894/86400
Decision: 960/2920	Time: 550.175/86400
Decision: 960/2920	Time: 552.54/86400
Decision: 960/2920	Time: 555.017/86400
Decision: 960/2920	Time: 557.259/86400
Decision: 960/2920	Time: 560.003/86400
Decision: 960/2920	Time: 562.368/86400
Decision: 960/2920	Time: 564.541/86400
Decision: 960/2920	Time: 566.84/86400
Decision: 960/2920	Time: 569.057/86400
Decision: 960/2920	Time: 571.737/86400
Decision: 960/2920	Time: 574.08/86400
Decision: 960/2920	Time: 576.47/86400
Decision: 960/2920	Time: 578.807/86400
Decision: 960/2920	Time: 581.053/86400
Decision: 960/2920	Time: 583.914/86400
Decision: 960/2920	Time: 586.096/86400
Decision: 960/2920	Time: 588.385/86400
Decision: 960/2920	Time: 590.622/86400
Decision: 960/2920	Time: 593.034/86400
Decision: 960/2920	Time: 595.821/86400
Decision: 960/2920	Time: 598.162/86400
Decision: 960/2920	Time: 600.647/86400
Decision: 960/2920	Time: 603.056/86400
Decision: 960/2920	Time: 605.56/86400
Decision: 960/2920	Time: 608.744/86400
Decision: 960/2920	Time: 611.288/86400
Decision: 960/2920	Time: 613.56/86400
Decision: 960/2920	Time: 616.054/86400
Decision: 960/2920	Time: 618.462/86400
Decision: 960/2920	Time: 621.573/86400
Decision: 960/2920	Time: 624.125/86400
Decision: 960/2920	Time: 626.431/86400
Decision: 960/2920	Time: 628.961/86400
Decision: 960/2920	Time: 631.342/86400
Decision: 960/2920	Time: 634.693/86400
Decision: 960/2920	Time: 636.945/86400
Decision: 960/2920	Time: 639.729/86400
Decision: 960/2920	Time: 642.002/86400
Decision: 960/2920	Time: 644.429/86400
Decision: 960/2920	Time: 647.559/86400
Decision: 960/2920	Time: 650.12/86400
Decision: 960/2920	Time: 652.711/86400
Decision: 960/2920	Time: 655.276/86400
Decision: 960/2920	Time: 657.828/86400
Decision: 960/2920	Time: 661.029/86400
Decision: 960/2920	Time: 663.713/86400
Decision: 960/2920	Time: 666.539/86400
Decision: 960/2920	Time: 669.154/86400
Decision: 960/2920	Time: 671.744/86400
Decision: 960/2920	Time: 675.193/86400
Decision: 960/2920	Time: 677.686/86400
Decision: 960/2920	Time: 680.226/86400
Decision: 960/2920	Time: 682.923/86400
Decision: 960/2920	Time: 685.535/86400
Decision: 960/2920	Time: 688.735/86400
Decision: 960/2920	Time: 691.191/86400
Decision: 960/2920	Time: 693.787/86400
Decision: 960/2920	Time: 696.156/86400
Decision: 960/2920	Time: 698.745/86400
Decision: 960/2920	Time: 701.736/86400
Decision: 960/2920	Time: 704.165/86400
Decision: 960/2920	Time: 706.709/86400
Decision: 960/2920	Time: 709.104/86400
Decision: 960/2920	Time: 711.51/86400
Decision: 960/2920	Time: 714.505/86400
Decision: 960/2920	Time: 716.914/86400
Decision: 960/2920	Time: 719.399/86400
Decision: 960/2920	Time: 721.715/86400
Decision: 960/2920	Time: 724.249/86400
Decision: 960/2920	Time: 727.262/86400
Decision: 960/2920	Time: 729.622/86400
Decision: 960/2920	Time: 732.031/86400
Decision: 960/2920	Time: 734.34/86400
Decision: 960/2920	Time: 736.769/86400
Decision: 960/2920	Time: 739.782/86400
Decision: 960/2920	Time: 741.971/86400
Decision: 960/2920	Time: 744.437/86400
Decision: 960/2920	Time: 747.02/86400
Decision: 960/2920	Time: 749.396/86400
Decision: 960/2920	Time: 752.517/86400
Decision: 960/2920	Time: 754.88/86400
Decision: 960/2920	Time: 757.298/86400
Decision: 960/2920	Time: 759.955/86400
Decision: 960/2920	Time: 762.467/86400
Decision: 960/2920	Time: 765.521/86400
Decision: 960/2920	Time: 768.107/86400
Decision: 960/2920	Time: 770.633/86400
Decision: 960/2920	Time: 773.147/86400
Decision: 960/2920	Time: 775.626/86400
Decision: 960/2920	Time: 778.514/86400
Decision: 960/2920	Time: 780.91/86400
Decision: 960/2920	Time: 783.358/86400
Decision: 960/2920	Time: 785.829/86400
Decision: 960/2920	Time: 788.332/86400
Decision: 960/2920	Time: 791.476/86400
Decision: 960/2920	Time: 793.846/86400
Decision: 960/2920	Time: 796.237/86400
Decision: 960/2920	Time: 798.838/86400
Decision: 960/2920	Time: 801.416/86400
Decision: 960/2920	Time: 804.552/86400
Decision: 960/2920	Time: 806.887/86400
Decision: 960/2920	Time: 809.692/86400
Decision: 960/2920	Time: 812.206/86400
Decision: 960/2920	Time: 814.708/86400
Decision: 960/2920	Time: 818.147/86400
Decision: 960/2920	Time: 820.889/86400
Decision: 960/2920	Time: 823.256/86400
Decision: 960/2920	Time: 825.763/86400
Decision: 960/2920	Time: 828.365/86400
Decision: 960/2920	Time: 831.585/86400
Decision: 960/2920	Time: 834.046/86400
Decision: 960/2920	Time: 836.65/86400
Decision: 960/2920	Time: 839.092/86400
Decision: 960/2920	Time: 841.789/86400
Decision: 960/2920	Time: 845.166/86400
Decision: 960/2920	Time: 846.972/86400
Decision: 960/2920	Time: 848.661/86400
Decision: 960/2920	Time: 850.262/86400
Decision: 960/2920	Time: 851.897/86400
Decision: 960/2920	Time: 853.839/86400
Decision: 960/2920	Time: 855.563/86400
Decision: 960/2920	Time: 857.423/86400
Decision: 960/2920	Time: 859.213/86400
Decision: 960/2920	Time: 860.997/86400
Decision: 960/2920	Time: 863.025/86400
Decision: 960/2920	Time: 864.802/86400
Decision: 960/2920	Time: 866.704/86400
Decision: 960/2920	Time: 868.508/86400
Decision: 960/2920	Time: 870.459/86400
Decision: 960/2920	Time: 872.581/86400
Decision: 960/2920	Time: 874.623/86400
Decision: 960/2920	Time: 876.512/86400
Decision: 960/2920	Time: 878.414/86400
Decision: 960/2920	Time: 880.527/86400
Decision: 960/2920	Time: 882.709/86400
Decision: 960/2920	Time: 884.688/86400
Decision: 960/2920	Time: 886.733/86400
Decision: 960/2920	Time: 888.82/86400
Decision: 960/2920	Time: 890.897/86400
Decision: 960/2920	Time: 893.405/86400
Decision: 960/2920	Time: 895.602/86400
Decision: 960/2920	Time: 897.495/86400
Decision: 960/2920	Time: 899.493/86400
Decision: 960/2920	Time: 901.523/86400
Decision: 960/2920	Time: 903.82/86400
Decision: 960/2920	Time: 905.966/86400
Decision: 960/2920	Time: 907.964/86400
Decision: 960/2920	Time: 909.948/86400
Decision: 960/2920	Time: 912.153/86400
Decision: 960/2920	Time: 914.544/86400
Decision: 960/2920	Time: 916.681/86400
Decision: 960/2920	Time: 918.754/86400
Decision: 960/2920	Time: 920.663/86400
Decision: 960/2920	Time: 922.666/86400
Decision: 960/2920	Time: 925.101/86400
Decision: 960/2920	Time: 927.091/86400
Decision: 960/2920	Time: 929.113/86400
Decision: 960/2920	Time: 931.239/86400
Decision: 960/2920	Time: 933.222/86400
Decision: 960/2920	Time: 935.806/86400
Decision: 960/2920	Time: 937.776/86400
Decision: 960/2920	Time: 940.003/86400
Decision: 960/2920	Time: 942.031/86400
Decision: 960/2920	Time: 944.202/86400
Decision: 960/2920	Time: 946.748/86400
Decision: 960/2920	Time: 948.786/86400
Decision: 960/2920	Time: 950.951/86400
Decision: 960/2920	Time: 953.032/86400
Decision: 960/2920	Time: 955.107/86400
Decision: 960/2920	Time: 957.615/86400
Decision: 960/2920	Time: 959.724/86400
Decision: 960/2920	Time: 961.858/86400
Decision: 960/2920	Time: 963.949/86400
Decision: 960/2920	Time: 966.122/86400
Decision: 960/2920	Time: 969.012/86400
Decision: 960/2920	Time: 971.195/86400
Decision: 960/2920	Time: 973.401/86400
Decision: 960/2920	Time: 975.573/86400
Decision: 960/2920	Time: 977.792/86400
Decision: 960/2920	Time: 980.48/86400
Decision: 960/2920	Time: 982.63/86400
Decision: 960/2920	Time: 984.815/86400
Decision: 960/2920	Time: 987.219/86400
Decision: 960/2920	Time: 989.525/86400
Decision: 960/2920	Time: 992.239/86400
Decision: 960/2920	Time: 994.534/86400
Decision: 960/2920	Time: 996.797/86400
Decision: 960/2920	Time: 998.866/86400
Decision: 960/2920	Time: 1001.01/86400
Decision: 960/2920	Time: 1003.82/86400
Decision: 960/2920	Time: 1006.04/86400
Decision: 960/2920	Time: 1008.41/86400
Decision: 960/2920	Time: 1010.76/86400
Decision: 960/2920	Time: 1013.07/86400
Decision: 960/2920	Time: 1015.91/86400
Decision: 960/2920	Time: 1018.21/86400
Decision: 960/2920	Time: 1020.53/86400
Decision: 960/2920	Time: 1022.76/86400
Decision: 960/2920	Time: 1025.26/86400
Decision: 960/2920	Time: 1028.13/86400
Decision: 960/2920	Time: 1030.38/86400
Decision: 960/2920	Time: 1032.71/86400
Decision: 960/2920	Time: 1035.02/86400
Decision: 960/2920	Time: 1037.35/86400
Decision: 960/2920	Time: 1040.17/86400
Decision: 960/2920	Time: 1042.53/86400
Decision: 960/2920	Time: 1044.84/86400
Decision: 960/2920	Time: 1047.27/86400
Decision: 960/2920	Time: 1049.64/86400
Decision: 960/2920	Time: 1052.65/86400
Decision: 960/2920	Time: 1055.12/86400
Decision: 960/2920	Time: 1057.37/86400
Decision: 960/2920	Time: 1059.83/86400
Decision: 960/2920	Time: 1062.08/86400
Decision: 960/2920	Time: 1064.89/86400
Decision: 960/2920	Time: 1067.17/86400
Decision: 960/2920	Time: 1069.66/86400
Decision: 960/2920	Time: 1072.21/86400
Decision: 960/2920	Time: 1074.72/86400
Decision: 960/2920	Time: 1077.68/86400
Decision: 960/2920	Time: 1080.13/86400
Decision: 960/2920	Time: 1082.67/86400
Decision: 960/2920	Time: 1085.17/86400
Decision: 960/2920	Time: 1087.53/86400
Decision: 960/2920	Time: 1090.76/86400
Decision: 960/2920	Time: 1093.04/86400
Decision: 960/2920	Time: 1095.67/86400
Decision: 960/2920	Time: 1098.3/86400
Decision: 960/2920	Time: 1100.8/86400
Decision: 960/2920	Time: 1103.76/86400
Decision: 960/2920	Time: 1106.18/86400
Decision: 960/2920	Time: 1108.89/86400
Decision: 960/2920	Time: 1111.55/86400
Decision: 960/2920	Time: 1113.86/86400
Decision: 960/2920	Time: 1117.23/86400
Decision: 960/2920	Time: 1119.88/86400
Decision: 960/2920	Time: 1122.41/86400
Decision: 960/2920	Time: 1124.92/86400
Decision: 960/2920	Time: 1127.34/86400
Decision: 960/2920	Time: 1130.49/86400
Decision: 960/2920	Time: 1133.14/86400
Decision: 960/2920	Time: 1135.62/86400
Decision: 960/2920	Time: 1138.28/86400
Decision: 960/2920	Time: 1140.86/86400
Decision: 960/2920	Time: 1144.26/86400
Decision: 960/2920	Time: 1146.89/86400
Decision: 960/2920	Time: 1149.53/86400
Decision: 960/2920	Time: 1152.16/86400
Decision: 960/2920	Time: 1154.77/86400
Decision: 960/2920	Time: 1157.92/86400
Decision: 960/2920	Time: 1160.65/86400
Decision: 960/2920	Time: 1163.26/86400
Decision: 960/2920	Time: 1165.88/86400
Decision: 960/2920	Time: 1168.49/86400
Decision: 960/2920	Time: 1171.73/86400
Decision: 960/2920	Time: 1174.72/86400
Decision: 960/2920	Time: 1177.47/86400
Decision: 960/2920	Time: 1180.13/86400
Decision: 960/2920	Time: 1182.88/86400
Decision: 960/2920	Time: 1186.15/86400
Decision: 960/2920	Time: 1188.85/86400
Decision: 960/2920	Time: 1191.75/86400
Decision: 960/2920	Time: 1194.34/86400
Decision: 960/2920	Time: 1197.2/86400
Decision: 960/2920	Time: 1200.56/86400
Decision: 960/2920	Time: 1203.38/86400
Decision: 960/2920	Time: 1206.11/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.09 0.03 0.01 1/54 15903
Raw data (stat): 15903 (runsolver) D 15902 3944 3943 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 805752867 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.057 s]
Raw data (loadavg): 0.23 0.06 0.02 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 1181 0 8 0 844 4 0 0 25 0 1 0 805752867 6983680 1088 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1705 1088 300 300 0 1405 0
vsize: 6820
[startup+20.0689 s]
Raw data (loadavg): 0.35 0.09 0.02 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 1688 0 8 0 1843 6 0 0 25 0 1 0 805752867 11464704 1595 4294967295 134512640 135726644 3221224576 3221222648 135280923 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2799 1595 300 300 0 2499 0
vsize: 11196
[startup+30.0689 s]
Raw data (loadavg): 0.45 0.12 0.03 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 2356 0 8 0 2841 8 0 0 25 0 1 0 805752867 12025856 2263 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2936 2263 300 300 0 2636 0
vsize: 11744
[startup+40.0698 s]
Raw data (loadavg): 0.53 0.15 0.04 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 3368 0 8 0 3836 12 0 0 25 0 1 0 805752867 22155264 3178 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5409 3178 300 300 0 5109 0
vsize: 21636
[startup+50.0699 s]
Raw data (loadavg): 0.60 0.18 0.05 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 3945 0 8 0 4832 15 0 0 25 0 1 0 805752867 23134208 3755 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5648 3755 300 300 0 5348 0
vsize: 22592
[startup+60.0707 s]
Raw data (loadavg): 0.66 0.20 0.06 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 4474 0 8 0 5829 18 0 0 25 0 1 0 805752867 24133632 4284 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5892 4284 300 300 0 5592 0
vsize: 23568
[startup+70.0714 s]
Raw data (loadavg): 0.71 0.23 0.07 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 4925 0 8 0 6827 20 0 0 25 0 1 0 805752867 25657344 4542 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6264 4542 300 300 0 5964 0
vsize: 25056
[startup+80.071 s]
Raw data (loadavg): 0.76 0.26 0.08 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 5519 0 8 0 7825 23 0 0 25 0 1 0 805752867 26312704 5136 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6424 5136 300 300 0 6124 0
vsize: 25696
[startup+90.0719 s]
Raw data (loadavg): 0.79 0.28 0.09 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 5859 0 8 0 8823 25 0 0 25 0 1 0 805752867 27004928 5476 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6593 5476 300 300 0 6293 0
vsize: 26372
[startup+100.072 s]
Raw data (loadavg): 0.83 0.30 0.10 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 6032 0 8 0 9821 27 0 0 25 0 1 0 805752867 27414528 5649 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6693 5649 300 300 0 6393 0
vsize: 26772
[startup+110.073 s]
Raw data (loadavg): 0.85 0.33 0.11 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 6330 0 8 0 10820 28 0 0 25 0 1 0 805752867 27709440 5947 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6765 5947 300 300 0 6465 0
vsize: 27060
[startup+120.073 s]
Raw data (loadavg): 0.87 0.35 0.12 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 6527 0 8 0 11819 29 0 0 25 0 1 0 805752867 28168192 6144 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6877 6144 300 300 0 6577 0
vsize: 27508
[startup+130.073 s]
Raw data (loadavg): 0.89 0.37 0.13 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 6765 0 8 0 12818 31 0 0 25 0 1 0 805752867 28463104 6382 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6949 6382 300 300 0 6649 0
vsize: 27796
[startup+140.073 s]
Raw data (loadavg): 0.91 0.39 0.14 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 7572 0 8 0 13815 34 0 0 25 0 1 0 805752867 47403008 6804 4294967295 134512640 135726644 3221224576 3221222936 134809851 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11573 6804 300 300 0 11273 0
vsize: 46292
[startup+150.074 s]
Raw data (loadavg): 0.92 0.41 0.15 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 7694 0 8 0 14815 34 0 0 25 0 1 0 805752867 48058368 6926 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11733 6926 300 300 0 11433 0
vsize: 46932
[startup+160.075 s]
Raw data (loadavg): 0.93 0.43 0.15 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 7854 0 8 0 15814 35 0 0 25 0 1 0 805752867 48549888 7086 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11853 7086 300 300 0 11553 0
vsize: 47412
[startup+170.075 s]
Raw data (loadavg): 0.94 0.45 0.16 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 8168 0 8 0 16813 36 0 0 25 0 1 0 805752867 49205248 7400 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12013 7400 300 300 0 11713 0
vsize: 48052
[startup+180.075 s]
Raw data (loadavg): 0.95 0.46 0.17 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 8468 0 8 0 17811 38 0 0 25 0 1 0 805752867 49369088 7700 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12053 7700 300 300 0 11753 0
vsize: 48212
[startup+190.076 s]
Raw data (loadavg): 0.96 0.48 0.18 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 8574 0 8 0 18811 39 0 0 25 0 1 0 805752867 49860608 7806 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12173 7806 300 300 0 11873 0
vsize: 48692
[startup+200.076 s]
Raw data (loadavg): 0.96 0.50 0.19 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 8846 0 8 0 19809 41 0 0 25 0 1 0 805752867 50515968 8078 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12333 8078 300 300 0 12033 0
vsize: 49332
[startup+210.076 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 9422 0 8 0 20806 44 0 0 25 0 1 0 805752867 51171328 8654 4294967295 134512640 135726644 3221224576 3221223088 134742955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12493 8654 300 300 0 12193 0
vsize: 49972
[startup+220.078 s]
Raw data (loadavg): 0.97 0.53 0.20 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 9918 0 8 0 21804 46 0 0 25 0 1 0 805752867 51826688 9150 4294967295 134512640 135726644 3221224576 3221223088 134742897 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12653 9150 300 300 0 12353 0
vsize: 50612
[startup+230.077 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 10144 0 8 0 22803 48 0 0 25 0 1 0 805752867 52154368 9376 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12733 9376 300 300 0 12433 0
vsize: 50932
[startup+240.078 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 10272 0 8 0 23802 48 0 0 25 0 1 0 805752867 52482048 9504 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12813 9504 300 300 0 12513 0
vsize: 51252
[startup+250.078 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 10440 0 8 0 24801 50 0 0 25 0 1 0 805752867 52645888 9672 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12853 9672 300 300 0 12553 0
vsize: 51412
[startup+260.079 s]
Raw data (loadavg): 0.98 0.59 0.24 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 10523 0 8 0 25800 51 0 0 25 0 1 0 805752867 52973568 9755 4294967295 134512640 135726644 3221224576 3221222816 134783024 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12933 9755 300 300 0 12633 0
vsize: 51732
[startup+270.079 s]
Raw data (loadavg): 0.99 0.60 0.24 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 10577 0 8 0 26800 52 0 0 25 0 1 0 805752867 52973568 9809 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12933 9809 300 300 0 12633 0
vsize: 51732
[startup+280.08 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 10645 0 8 0 27799 53 0 0 25 0 1 0 805752867 53137408 9877 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12973 9877 300 300 0 12673 0
vsize: 51892
[startup+290.08 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 10782 0 8 0 28799 53 0 0 25 0 1 0 805752867 53497856 10014 4294967295 134512640 135726644 3221224576 3221223120 134736650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13061 10014 300 300 0 12761 0
vsize: 52244
[startup+300.08 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 10843 0 8 0 29798 54 0 0 25 0 1 0 805752867 53661696 10075 4294967295 134512640 135726644 3221224576 3221223120 134736698 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13101 10075 300 300 0 12801 0
vsize: 52404
[startup+310.081 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 11091 0 8 0 30796 56 0 0 25 0 1 0 805752867 53661696 10323 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13101 10323 300 300 0 12801 0
vsize: 52404
[startup+320.081 s]
Raw data (loadavg): 0.99 0.66 0.28 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 11420 0 8 0 31794 58 0 0 25 0 1 0 805752867 53989376 10652 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13181 10652 300 300 0 12881 0
vsize: 52724
[startup+330.081 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 12223 0 8 0 32792 60 0 0 25 0 1 0 805752867 57135104 10686 4294967295 134512640 135726644 3221224576 3221223088 134742890 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13949 10686 300 300 0 13649 0
vsize: 55796
[startup+340.082 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 12306 0 8 0 33791 61 0 0 25 0 1 0 805752867 57495552 10769 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14037 10769 300 300 0 13737 0
vsize: 56148
[startup+350.082 s]
Raw data (loadavg): 0.99 0.69 0.30 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 12378 0 8 0 34791 62 0 0 25 0 1 0 805752867 57659392 10841 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14077 10841 300 300 0 13777 0
vsize: 56308
[startup+360.083 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 12502 0 8 0 35790 63 0 0 25 0 1 0 805752867 57823232 10965 4294967295 134512640 135726644 3221224576 3221223088 134742627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14117 10965 300 300 0 13817 0
vsize: 56468
[startup+370.084 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 12797 0 8 0 36789 64 0 0 25 0 1 0 805752867 57823232 11260 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14117 11260 300 300 0 13817 0
vsize: 56468
[startup+380.084 s]
Raw data (loadavg): 0.99 0.72 0.32 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 13331 0 8 0 37787 66 0 0 25 0 1 0 805752867 57987072 11794 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14157 11794 300 300 0 13857 0
vsize: 56628
[startup+390.084 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 13732 0 8 0 38786 68 0 0 25 0 1 0 805752867 58576896 12195 4294967295 134512640 135726644 3221224576 3221223088 134742591 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14301 12195 300 300 0 14001 0
vsize: 57204
[startup+400.084 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 14138 0 8 0 39784 70 0 0 25 0 1 0 805752867 59363328 12601 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14493 12601 300 300 0 14193 0
vsize: 57972
[startup+410.085 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 14531 0 8 0 40783 71 0 0 25 0 1 0 805752867 60346368 12994 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14733 12994 300 300 0 14433 0
vsize: 58932
[startup+420.085 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 14857 0 8 0 41782 72 0 0 25 0 1 0 805752867 60936192 13320 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14877 13320 300 300 0 14577 0
vsize: 59508
[startup+430.085 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15033 0 8 0 42782 73 0 0 25 0 1 0 805752867 61526016 13496 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15021 13496 300 300 0 14721 0
vsize: 60084
[startup+440.086 s]
Raw data (loadavg): 0.99 0.77 0.36 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15071 0 8 0 43781 74 0 0 25 0 1 0 805752867 61722624 13534 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15069 13534 300 300 0 14769 0
vsize: 60276
[startup+450.086 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15141 0 8 0 44780 75 0 0 25 0 1 0 805752867 61919232 13604 4294967295 134512640 135726644 3221224576 3221222788 134810018 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15117 13604 300 300 0 14817 0
vsize: 60468
[startup+460.088 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15190 0 8 0 45779 76 0 0 25 0 1 0 805752867 62115840 13653 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15165 13653 300 300 0 14865 0
vsize: 60660
[startup+470.088 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15255 0 8 0 46779 76 0 0 25 0 1 0 805752867 62312448 13718 4294967295 134512640 135726644 3221224576 3221223184 134741128 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15213 13718 300 300 0 14913 0
vsize: 60852
[startup+480.088 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15309 0 8 0 47777 78 0 0 25 0 1 0 805752867 62509056 13772 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15261 13772 300 300 0 14961 0
vsize: 61044
[startup+490.089 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15388 0 8 0 48776 79 0 0 25 0 1 0 805752867 62902272 13851 4294967295 134512640 135726644 3221224576 3221223120 134736822 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15357 13851 300 300 0 15057 0
vsize: 61428
[startup+500.088 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15425 0 8 0 49775 81 0 0 25 0 1 0 805752867 62902272 13888 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15357 13888 300 300 0 15057 0
vsize: 61428
[startup+510.089 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15485 0 8 0 50775 81 0 0 25 0 1 0 805752867 63098880 13948 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15405 13948 300 300 0 15105 0
vsize: 61620
[startup+520.089 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15526 0 8 0 51774 82 0 0 25 0 1 0 805752867 63295488 13989 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15453 13989 300 300 0 15153 0
vsize: 61812
[startup+530.09 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15567 0 8 0 52773 84 0 0 25 0 1 0 805752867 63492096 14030 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15501 14030 300 300 0 15201 0
vsize: 62004
[startup+540.09 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15597 0 8 0 53772 84 0 0 25 0 1 0 805752867 63492096 14060 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15501 14060 300 300 0 15201 0
vsize: 62004
[startup+550.09 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15627 0 8 0 54772 85 0 0 25 0 1 0 805752867 63492096 14090 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15501 14090 300 300 0 15201 0
vsize: 62004
[startup+560.091 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15664 0 8 0 55771 86 0 0 25 0 1 0 805752867 63688704 14127 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15549 14127 300 300 0 15249 0
vsize: 62196
[startup+570.091 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15692 0 8 0 56771 86 0 0 25 0 1 0 805752867 63688704 14155 4294967295 134512640 135726644 3221224576 3221223248 134745056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15549 14155 300 300 0 15249 0
vsize: 62196
[startup+580.091 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15766 0 8 0 57771 87 0 0 25 0 1 0 805752867 64081920 14229 4294967295 134512640 135726644 3221224576 3221223088 134742928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15645 14229 300 300 0 15345 0
vsize: 62580
[startup+590.092 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15796 0 8 0 58770 88 0 0 25 0 1 0 805752867 64081920 14259 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15645 14259 300 300 0 15345 0
vsize: 62580
[startup+600.091 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15837 0 8 0 59769 89 0 0 25 0 1 0 805752867 64278528 14300 4294967295 134512640 135726644 3221224576 3221223184 134741284 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15693 14300 300 300 0 15393 0
vsize: 62772
[startup+610.092 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 15912 0 8 0 60769 89 0 0 25 0 1 0 805752867 64475136 14375 4294967295 134512640 135726644 3221224576 3221223200 134779687 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15741 14375 300 300 0 15441 0
vsize: 62964
[startup+620.093 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 16169 0 8 0 61768 90 0 0 25 0 1 0 805752867 64868352 14632 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15837 14632 300 300 0 15537 0
vsize: 63348
[startup+630.092 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 16331 0 8 0 62767 91 0 0 25 0 1 0 805752867 98619392 14794 4294967295 134512640 135726644 3221224576 3221223088 134742633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24077 14794 300 300 0 23777 0
vsize: 96308
[startup+640.093 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 16646 0 8 0 63766 92 0 0 25 0 1 0 805752867 99209216 15109 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24221 15109 300 300 0 23921 0
vsize: 96884
[startup+650.093 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17135 0 8 0 64765 94 0 0 25 0 1 0 805752867 99995648 15598 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24413 15598 300 300 0 24113 0
vsize: 97652
[startup+660.094 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17218 0 8 0 65764 95 0 0 25 0 1 0 805752867 100192256 15681 4294967295 134512640 135726644 3221224576 3221223072 134744268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24461 15681 300 300 0 24161 0
vsize: 97844
[startup+670.094 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17306 0 8 0 66763 96 0 0 25 0 1 0 805752867 100585472 15769 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24557 15769 300 300 0 24257 0
vsize: 98228
[startup+680.093 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17626 0 8 0 67761 98 0 0 25 0 1 0 805752867 101175296 16089 4294967295 134512640 135726644 3221224576 3221223120 134736688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24701 16089 300 300 0 24401 0
vsize: 98804
[startup+690.094 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17708 0 8 0 68760 99 0 0 25 0 1 0 805752867 101371904 16171 4294967295 134512640 135726644 3221224576 3221223200 134779687 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24749 16171 300 300 0 24449 0
vsize: 98996
[startup+700.094 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17746 0 8 0 69759 100 0 0 25 0 1 0 805752867 101371904 16209 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24749 16209 300 300 0 24449 0
vsize: 98996
[startup+710.095 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17810 0 8 0 70759 101 0 0 25 0 1 0 805752867 101568512 16273 4294967295 134512640 135726644 3221224576 3221223088 134742913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24797 16273 300 300 0 24497 0
vsize: 99188
[startup+720.095 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17865 0 8 0 71758 102 0 0 25 0 1 0 805752867 101765120 16328 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24845 16328 300 300 0 24545 0
vsize: 99380
[startup+730.095 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17901 0 8 0 72757 103 0 0 25 0 1 0 805752867 101961728 16364 4294967295 134512640 135726644 3221224576 3221222896 134729220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24893 16364 300 300 0 24593 0
vsize: 99572
[startup+740.096 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17931 0 8 0 73757 104 0 0 25 0 1 0 805752867 101961728 16394 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24893 16394 300 300 0 24593 0
vsize: 99572
[startup+750.096 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17961 0 8 0 74756 105 0 0 25 0 1 0 805752867 101961728 16424 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24893 16424 300 300 0 24593 0
vsize: 99572
[startup+760.097 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 17997 0 8 0 75755 106 0 0 25 0 1 0 805752867 102158336 16460 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24941 16460 300 300 0 24641 0
vsize: 99764
[startup+770.098 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 18015 0 8 0 76754 107 0 0 25 0 1 0 805752867 102158336 16478 4294967295 134512640 135726644 3221224576 3221222896 134729152 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24941 16478 300 300 0 24641 0
vsize: 99764
[startup+780.098 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19592 0 8 0 77750 111 0 0 25 0 1 0 805752867 108646400 16518 4294967295 134512640 135726644 3221224576 3221223200 134779679 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26525 16518 300 300 0 26225 0
vsize: 106100
[startup+790.098 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19647 0 8 0 78749 112 0 0 25 0 1 0 805752867 108843008 16573 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26573 16573 300 300 0 26273 0
vsize: 106292
[startup+800.098 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19686 0 8 0 79748 113 0 0 25 0 1 0 805752867 108843008 16612 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26573 16612 300 300 0 26273 0
vsize: 106292
[startup+810.098 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19736 0 8 0 80748 114 0 0 25 0 1 0 805752867 109039616 16662 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26621 16662 300 300 0 26321 0
vsize: 106484
[startup+820.099 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19776 0 8 0 81748 114 0 0 25 0 1 0 805752867 109236224 16702 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26669 16702 300 300 0 26369 0
vsize: 106676
[startup+830.098 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19810 0 8 0 82747 115 0 0 25 0 1 0 805752867 109236224 16736 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26669 16736 300 300 0 26369 0
vsize: 106676
[startup+840.099 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19849 0 8 0 83746 116 0 0 25 0 1 0 805752867 109432832 16775 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26717 16775 300 300 0 26417 0
vsize: 106868
[startup+850.099 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19930 0 8 0 84746 117 0 0 25 0 1 0 805752867 109826048 16856 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 16856 300 300 0 26513 0
vsize: 107252
[startup+860.098 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19954 0 8 0 85745 117 0 0 25 0 1 0 805752867 109826048 16880 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 16880 300 300 0 26513 0
vsize: 107252
[startup+870.099 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19976 0 8 0 86745 118 0 0 25 0 1 0 805752867 109826048 16902 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 16902 300 300 0 26513 0
vsize: 107252
[startup+880.099 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 19996 0 8 0 87744 119 0 0 25 0 1 0 805752867 109826048 16922 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 16922 300 300 0 26513 0
vsize: 107252
[startup+890.1 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20017 0 8 0 88743 120 0 0 25 0 1 0 805752867 109826048 16943 4294967295 134512640 135726644 3221224576 3221223088 134742960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 16943 300 300 0 26513 0
vsize: 107252
[startup+900.1 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20036 0 8 0 89742 121 0 0 25 0 1 0 805752867 109826048 16962 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 16962 300 300 0 26513 0
vsize: 107252
[startup+910.1 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20055 0 8 0 90742 122 0 0 25 0 1 0 805752867 109826048 16981 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 16981 300 300 0 26513 0
vsize: 107252
[startup+920.101 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20074 0 8 0 91742 122 0 0 25 0 1 0 805752867 109826048 17000 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 17000 300 300 0 26513 0
vsize: 107252
[startup+930.101 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20095 0 8 0 92742 123 0 0 25 0 1 0 805752867 109826048 17021 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 17021 300 300 0 26513 0
vsize: 107252
[startup+940.102 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20113 0 8 0 93741 124 0 0 25 0 1 0 805752867 109826048 17039 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 17039 300 300 0 26513 0
vsize: 107252
[startup+950.102 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20132 0 8 0 94740 124 0 0 25 0 1 0 805752867 109826048 17058 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 17058 300 300 0 26513 0
vsize: 107252
[startup+960.101 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20151 0 8 0 95739 126 0 0 25 0 1 0 805752867 109826048 17077 4294967295 134512640 135726644 3221224576 3221222896 134729020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 17077 300 300 0 26513 0
vsize: 107252
[startup+970.101 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20175 0 8 0 96738 126 0 0 25 0 1 0 805752867 109826048 17101 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26813 17101 300 300 0 26513 0
vsize: 107252
[startup+980.101 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20214 0 8 0 97738 127 0 0 25 0 1 0 805752867 109961216 17140 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26846 17140 300 300 0 26546 0
vsize: 107384
[startup+990.102 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20240 0 8 0 98737 128 0 0 25 0 1 0 805752867 109961216 17166 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26846 17166 300 300 0 26546 0
vsize: 107384
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20283 0 8 0 99737 129 0 0 25 0 1 0 805752867 109961216 17209 4294967295 134512640 135726644 3221224576 3221223088 134742633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26846 17209 300 300 0 26546 0
vsize: 107384
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20310 0 8 0 100736 129 0 0 25 0 1 0 805752867 110075904 17236 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26874 17236 300 300 0 26574 0
vsize: 107496
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20337 0 8 0 101736 130 0 0 25 0 1 0 805752867 110075904 17263 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26874 17263 300 300 0 26574 0
vsize: 107496
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20369 0 8 0 102735 131 0 0 25 0 1 0 805752867 110198784 17295 4294967295 134512640 135726644 3221224576 3221222816 134782645 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26904 17295 300 300 0 26604 0
vsize: 107616
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20400 0 8 0 103735 131 0 0 25 0 1 0 805752867 110198784 17326 4294967295 134512640 135726644 3221224576 3221223184 134741161 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26904 17326 300 300 0 26604 0
vsize: 107616
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20426 0 8 0 104734 133 0 0 25 0 1 0 805752867 110198784 17352 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26904 17352 300 300 0 26604 0
vsize: 107616
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20455 0 8 0 105733 134 0 0 25 0 1 0 805752867 110333952 17381 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26937 17381 300 300 0 26637 0
vsize: 107748
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20492 0 8 0 106732 135 0 0 25 0 1 0 805752867 110473216 17418 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26971 17418 300 300 0 26671 0
vsize: 107884
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20529 0 8 0 107732 135 0 0 25 0 1 0 805752867 110473216 17455 4294967295 134512640 135726644 3221224576 3221223168 134760188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26971 17455 300 300 0 26671 0
vsize: 107884
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20556 0 8 0 108731 136 0 0 25 0 1 0 805752867 110669824 17482 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27019 17482 300 300 0 26719 0
vsize: 108076
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20585 0 8 0 109731 136 0 0 25 0 1 0 805752867 110669824 17511 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27019 17511 300 300 0 26719 0
vsize: 108076
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20616 0 8 0 110730 137 0 0 25 0 1 0 805752867 110669824 17542 4294967295 134512640 135726644 3221224576 3221223088 134742617 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27019 17542 300 300 0 26719 0
vsize: 108076
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20660 0 8 0 111730 138 0 0 25 0 1 0 805752867 110804992 17586 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27052 17586 300 300 0 26752 0
vsize: 108208
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20706 0 8 0 112729 138 0 0 25 0 1 0 805752867 110944256 17632 4294967295 134512640 135726644 3221224576 3221222916 135280585 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27086 17632 300 300 0 26786 0
vsize: 108344
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20722 0 8 0 113729 139 0 0 25 0 1 0 805752867 110944256 17648 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27086 17648 300 300 0 26786 0
vsize: 108344
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20770 0 8 0 114729 139 0 0 25 0 1 0 805752867 111140864 17696 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27134 17696 300 300 0 26834 0
vsize: 108536
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20895 0 8 0 115727 141 0 0 25 0 1 0 805752867 111337472 17821 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27182 17821 300 300 0 26882 0
vsize: 108728
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20927 0 8 0 116727 141 0 0 25 0 1 0 805752867 111337472 17853 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27182 17853 300 300 0 26882 0
vsize: 108728
[startup+1180.11 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 20983 0 8 0 117726 142 0 0 25 0 1 0 805752867 111534080 17909 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27230 17909 300 300 0 26930 0
vsize: 108920
[startup+1190.11 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 21246 0 8 0 118725 144 0 0 25 0 1 0 805752867 111730688 18172 4294967295 134512640 135726644 3221224576 3221223088 134742952 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27278 18172 300 300 0 26978 0
vsize: 109112
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 21382 0 8 0 119724 145 0 0 25 0 1 0 805752867 111927296 18308 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27326 18308 300 300 0 27026 0
vsize: 109304
[startup+1210.11 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 15903
Raw data (stat): 15903 (pb2sat) R 15902 3944 3943 0 -1 0 21685 0 8 0 120723 146 0 0 25 0 1 0 805752867 112123904 18611 4294967295 134512640 135726644 3221224576 3221223088 134742928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27374 18611 300 300 0 27074 0
vsize: 109496
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.46 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 15903
Raw data (stat): 15903 (pb2sat) Z 15902 3944 3943 0 -1 12 21686 0 8 0 120743 149 0 0 23 0 1 0 805752867 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1210.46
CPU time (s): 1208.93
CPU user time (s): 1207.44
CPU system time (s): 1.49677
CPU usage (%): 99.8743
Max. virtual memory (Kb): 109496
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####