PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
MD5SUM	ce39bf71367df072c91f9b7587480c93
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	21
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.017996
Number of variables	600
Total number of constraints	70
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	20
Trace number 34682

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        899176 kB
Buffers:         31948 kB
Cached:          82392 kB
SwapCached:        240 kB
Active:          42988 kB
Inactive:        73940 kB
HighTotal:      131008 kB
HighFree:        46452 kB
LowTotal:       903652 kB
LowFree:        852724 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6320 kB
Slab:            12860 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:30:38 (client local time) WITH STATUS 0 IN 1208.12 SECONDS
stats: 23932 7 1208.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 570/1740	Time: 19.831/86400
Decision: 570/1740	Time: 20.5049/86400
Decision: 570/1740	Time: 21.2328/86400
Decision: 570/1740	Time: 22.2386/86400
Decision: 570/1740	Time: 23.1035/86400
Decision: 570/1740	Time: 24.0123/86400
Decision: 570/1740	Time: 24.8852/86400
Decision: 570/1740	Time: 26.199/86400
Decision: 570/1740	Time: 27.1679/86400
Decision: 570/1740	Time: 28.1137/86400
Decision: 570/1740	Time: 29.3495/86400
Decision: 570/1740	Time: 30.3614/86400
Decision: 570/1740	Time: 31.4602/86400
Decision: 570/1740	Time: 32.602/86400
Decision: 570/1740	Time: 33.8569/86400
Decision: 570/1740	Time: 35.2666/86400
Decision: 570/1740	Time: 36.3875/86400
Decision: 570/1740	Time: 37.6273/86400
Decision: 570/1740	Time: 38.9121/86400
Decision: 570/1740	Time: 40.0819/86400
Decision: 570/1740	Time: 41.5327/86400
Decision: 570/1740	Time: 42.5745/86400
Decision: 570/1740	Time: 44.0173/86400
Decision: 570/1740	Time: 45.3181/86400
Decision: 570/1740	Time: 46.5129/86400
Decision: 570/1740	Time: 47.8687/86400
Decision: 570/1740	Time: 49.1235/86400
Decision: 570/1740	Time: 50.3263/86400
Decision: 570/1740	Time: 51.6002/86400
Decision: 570/1740	Time: 53.1669/86400
Decision: 570/1740	Time: 54.5767/86400
Decision: 570/1740	Time: 56.1375/86400
Decision: 570/1740	Time: 57.3413/86400
Decision: 570/1740	Time: 58.6361/86400
Decision: 570/1740	Time: 59.9749/86400
Decision: 570/1740	Time: 61.6136/86400
Decision: 570/1740	Time: 62.9624/86400
Decision: 570/1740	Time: 64.2912/86400
Decision: 570/1740	Time: 65.732/86400
Decision: 570/1740	Time: 67.1558/86400
Decision: 570/1740	Time: 68.8405/86400
Decision: 570/1740	Time: 70.3013/86400
Decision: 570/1740	Time: 71.9831/86400
Decision: 570/1740	Time: 73.3848/86400
Decision: 570/1740	Time: 74.8516/86400
Decision: 570/1740	Time: 76.5354/86400
Decision: 570/1740	Time: 77.9631/86400
Decision: 570/1740	Time: 79.4779/86400
Decision: 570/1740	Time: 80.9897/86400
Decision: 570/1740	Time: 82.4525/86400
Decision: 570/1740	Time: 84.1292/86400
Decision: 570/1740	Time: 85.62/86400
Decision: 570/1740	Time: 87.1088/86400
Decision: 570/1740	Time: 88.6365/86400
Decision: 570/1740	Time: 90.1543/86400
Decision: 570/1740	Time: 91.959/86400
Decision: 570/1740	Time: 93.6148/86400
Decision: 570/1740	Time: 95.2345/86400
Decision: 570/1740	Time: 97.0992/86400
Decision: 570/1740	Time: 98.694/86400
Decision: 570/1740	Time: 100.678/86400
Decision: 570/1740	Time: 102.216/86400
Decision: 570/1740	Time: 103.877/86400
Decision: 570/1740	Time: 105.585/86400
Decision: 570/1740	Time: 107.139/86400
Decision: 570/1740	Time: 109.026/86400
Decision: 570/1740	Time: 110.724/86400
Decision: 570/1740	Time: 112.272/86400
Decision: 570/1740	Time: 114.155/86400
Decision: 570/1740	Time: 116.107/86400
Decision: 570/1740	Time: 118.394/86400
Decision: 570/1740	Time: 120.026/86400
Decision: 570/1740	Time: 121.585/86400
Decision: 570/1740	Time: 123.387/86400
Decision: 570/1740	Time: 125.161/86400
Decision: 570/1740	Time: 127.399/86400
Decision: 570/1740	Time: 129.071/86400
Decision: 570/1740	Time: 131.055/86400
Decision: 570/1740	Time: 133.023/86400
Decision: 570/1740	Time: 134.846/86400
Decision: 570/1740	Time: 137.226/86400
Decision: 570/1740	Time: 139.09/86400
Decision: 570/1740	Time: 140.824/86400
Decision: 570/1740	Time: 142.576/86400
Decision: 570/1740	Time: 144.672/86400
Decision: 570/1740	Time: 146.842/86400
Decision: 570/1740	Time: 148.756/86400
Decision: 570/1740	Time: 150.786/86400
Decision: 570/1740	Time: 152.722/86400
Decision: 570/1740	Time: 154.635/86400
Decision: 570/1740	Time: 156.982/86400
Decision: 570/1740	Time: 158.816/86400
Decision: 570/1740	Time: 160.656/86400
Decision: 570/1740	Time: 162.839/86400
Decision: 570/1740	Time: 164.762/86400
Decision: 570/1740	Time: 167.137/86400
Decision: 570/1740	Time: 169.096/86400
Decision: 570/1740	Time: 171.052/86400
Decision: 570/1740	Time: 173.088/86400
Decision: 570/1740	Time: 174.833/86400
Decision: 570/1740	Time: 177.061/86400
Decision: 570/1740	Time: 179.159/86400
Decision: 570/1740	Time: 181.418/86400
Decision: 570/1740	Time: 183.219/86400
Decision: 570/1740	Time: 185.092/86400
Decision: 570/1740	Time: 187.275/86400
Decision: 570/1740	Time: 189.143/86400
Decision: 570/1740	Time: 190.89/86400
Decision: 570/1740	Time: 192.836/86400
Decision: 570/1740	Time: 194.906/86400
Decision: 570/1740	Time: 197.065/86400
Decision: 570/1740	Time: 199.034/86400
Decision: 570/1740	Time: 200.816/86400
Decision: 570/1740	Time: 202.601/86400
Decision: 570/1740	Time: 204.446/86400
Decision: 570/1740	Time: 206.779/86400
Decision: 570/1740	Time: 208.68/86400
Decision: 570/1740	Time: 210.962/86400
Decision: 570/1740	Time: 213.024/86400
Decision: 570/1740	Time: 215.011/86400
Decision: 570/1740	Time: 217.509/86400
Decision: 570/1740	Time: 219.451/86400
Decision: 570/1740	Time: 221.551/86400
Decision: 570/1740	Time: 223.651/86400
Decision: 570/1740	Time: 225.511/86400
Decision: 570/1740	Time: 227.906/86400
Decision: 570/1740	Time: 229.953/86400
Decision: 570/1740	Time: 232.04/86400
Decision: 570/1740	Time: 234.157/86400
Decision: 570/1740	Time: 236.344/86400
Decision: 570/1740	Time: 238.799/86400
Decision: 570/1740	Time: 241.143/86400
Decision: 570/1740	Time: 243.28/86400
Decision: 570/1740	Time: 245.68/86400
Decision: 570/1740	Time: 248.141/86400
Decision: 570/1740	Time: 250.817/86400
Decision: 570/1740	Time: 253.181/86400
Decision: 570/1740	Time: 255.431/86400
Decision: 570/1740	Time: 257.753/86400
Decision: 570/1740	Time: 260.09/86400
Decision: 570/1740	Time: 262.745/86400
Decision: 570/1740	Time: 265.048/86400
Decision: 570/1740	Time: 267.443/86400
Decision: 570/1740	Time: 269.907/86400
Decision: 570/1740	Time: 272.74/86400
Decision: 570/1740	Time: 275.581/86400
Decision: 570/1740	Time: 278.248/86400
Decision: 570/1740	Time: 280.617/86400
Decision: 570/1740	Time: 283.237/86400
Decision: 570/1740	Time: 285.81/86400
Decision: 570/1740	Time: 289.002/86400
Decision: 570/1740	Time: 291.844/86400
Decision: 570/1740	Time: 294.431/86400
Decision: 570/1740	Time: 296.938/86400
Decision: 570/1740	Time: 299.73/86400
Decision: 570/1740	Time: 303.176/86400
Decision: 570/1740	Time: 305.73/86400
Decision: 570/1740	Time: 308.298/86400
Decision: 570/1740	Time: 310.774/86400
Decision: 570/1740	Time: 313.431/86400
Decision: 570/1740	Time: 316.823/86400
Decision: 570/1740	Time: 319.472/86400
Decision: 570/1740	Time: 322.334/86400
Decision: 570/1740	Time: 325.259/86400
Decision: 570/1740	Time: 327.745/86400
Decision: 570/1740	Time: 331.025/86400
Decision: 570/1740	Time: 333.694/86400
Decision: 570/1740	Time: 336.497/86400
Decision: 570/1740	Time: 339.14/86400
Decision: 570/1740	Time: 341.803/86400
Decision: 570/1740	Time: 345.08/86400
Decision: 570/1740	Time: 347.722/86400
Decision: 570/1740	Time: 350.508/86400
Decision: 570/1740	Time: 353.164/86400
Decision: 570/1740	Time: 356.022/86400
Decision: 570/1740	Time: 359.322/86400
Decision: 570/1740	Time: 362.202/86400
Decision: 570/1740	Time: 364.675/86400
Decision: 570/1740	Time: 367.469/86400
Decision: 570/1740	Time: 370.274/86400
Decision: 570/1740	Time: 374.73/86400
Decision: 570/1740	Time: 377.238/86400
Decision: 570/1740	Time: 379.926/86400
Decision: 570/1740	Time: 382.505/86400
Decision: 570/1740	Time: 385.096/86400
Decision: 570/1740	Time: 388.145/86400
Decision: 570/1740	Time: 390.799/86400
Decision: 570/1740	Time: 393.363/86400
Decision: 570/1740	Time: 396.02/86400
Decision: 570/1740	Time: 398.67/86400
Decision: 570/1740	Time: 402.058/86400
Decision: 570/1740	Time: 404.655/86400
Decision: 570/1740	Time: 407.087/86400
Decision: 570/1740	Time: 409.666/86400
Decision: 570/1740	Time: 412.349/86400
Decision: 570/1740	Time: 415.807/86400
Decision: 570/1740	Time: 418.355/86400
Decision: 570/1740	Time: 420.803/86400
Decision: 570/1740	Time: 423.166/86400
Decision: 570/1740	Time: 425.699/86400
Decision: 570/1740	Time: 429.297/86400
Decision: 570/1740	Time: 431.991/86400
Decision: 570/1740	Time: 434.678/86400
Decision: 570/1740	Time: 437.214/86400
Decision: 570/1740	Time: 440.075/86400
Decision: 570/1740	Time: 443.485/86400
Decision: 570/1740	Time: 446.388/86400
Decision: 570/1740	Time: 449.2/86400
Decision: 570/1740	Time: 452.012/86400
Decision: 570/1740	Time: 454.943/86400
Decision: 570/1740	Time: 458.701/86400
Decision: 570/1740	Time: 461.602/86400
Decision: 570/1740	Time: 464.321/86400
Decision: 570/1740	Time: 467.253/86400
Decision: 570/1740	Time: 469.598/86400
Decision: 570/1740	Time: 473.143/86400
Decision: 570/1740	Time: 476.435/86400
Decision: 570/1740	Time: 479.08/86400
Decision: 570/1740	Time: 481.815/86400
Decision: 570/1740	Time: 484.839/86400
Decision: 570/1740	Time: 488.323/86400
Decision: 570/1740	Time: 491.084/86400
Decision: 570/1740	Time: 493.906/86400
Decision: 570/1740	Time: 496.985/86400
Decision: 570/1740	Time: 499.853/86400
Decision: 570/1740	Time: 503.31/86400
Decision: 570/1740	Time: 505.894/86400
Decision: 570/1740	Time: 509.135/86400
Decision: 570/1740	Time: 512.114/86400
Decision: 570/1740	Time: 514.858/86400
Decision: 570/1740	Time: 518.336/86400
Decision: 570/1740	Time: 521.355/86400
Decision: 570/1740	Time: 523.883/86400
Decision: 570/1740	Time: 526.646/86400
Decision: 570/1740	Time: 529.328/86400
Decision: 570/1740	Time: 532.844/86400
Decision: 570/1740	Time: 535.642/86400
Decision: 570/1740	Time: 538.509/86400
Decision: 570/1740	Time: 541.167/86400
Decision: 570/1740	Time: 543.721/86400
Decision: 570/1740	Time: 547.414/86400
Decision: 570/1740	Time: 550.335/86400
Decision: 570/1740	Time: 553.205/86400
Decision: 570/1740	Time: 555.866/86400
Decision: 570/1740	Time: 558.821/86400
Decision: 570/1740	Time: 562.36/86400
Decision: 570/1740	Time: 565.154/86400
Decision: 570/1740	Time: 567.818/86400
Decision: 570/1740	Time: 570.336/86400
Decision: 570/1740	Time: 572.873/86400
Decision: 570/1740	Time: 575.899/86400
Decision: 570/1740	Time: 578.593/86400
Decision: 570/1740	Time: 581.362/86400
Decision: 570/1740	Time: 584.15/86400
Decision: 570/1740	Time: 587.025/86400
Decision: 570/1740	Time: 590.255/86400
Decision: 570/1740	Time: 592.903/86400
Decision: 570/1740	Time: 595.671/86400
Decision: 570/1740	Time: 598.293/86400
Decision: 570/1740	Time: 600.906/86400
Decision: 570/1740	Time: 604.269/86400
Decision: 570/1740	Time: 607.03/86400
Decision: 570/1740	Time: 609.655/86400
Decision: 570/1740	Time: 612.22/86400
Decision: 570/1740	Time: 614.994/86400
Decision: 570/1740	Time: 618.156/86400
Decision: 570/1740	Time: 620.571/86400
Decision: 570/1740	Time: 623.223/86400
Decision: 570/1740	Time: 625.94/86400
Decision: 570/1740	Time: 628.779/86400
Decision: 570/1740	Time: 632.244/86400
Decision: 570/1740	Time: 634.829/86400
Decision: 570/1740	Time: 637.704/86400
Decision: 570/1740	Time: 640.392/86400
Decision: 570/1740	Time: 643.237/86400
Decision: 570/1740	Time: 646.738/86400
Decision: 570/1740	Time: 649.469/86400
Decision: 570/1740	Time: 652.288/86400
Decision: 570/1740	Time: 654.86/86400
Decision: 570/1740	Time: 657.654/86400
Decision: 570/1740	Time: 660.849/86400
Decision: 570/1740	Time: 663.565/86400
Decision: 570/1740	Time: 666.42/86400
Decision: 570/1740	Time: 669.002/86400
Decision: 570/1740	Time: 671.867/86400
Decision: 570/1740	Time: 675.357/86400
Decision: 570/1740	Time: 678.008/86400
Decision: 570/1740	Time: 681.054/86400
Decision: 570/1740	Time: 683.738/86400
Decision: 570/1740	Time: 686.437/86400
Decision: 570/1740	Time: 689.715/86400
Decision: 570/1740	Time: 692.428/86400
Decision: 570/1740	Time: 695.084/86400
Decision: 570/1740	Time: 697.851/86400
Decision: 570/1740	Time: 700.796/86400
Decision: 570/1740	Time: 704.055/86400
Decision: 570/1740	Time: 707.058/86400
Decision: 570/1740	Time: 709.826/86400
Decision: 570/1740	Time: 712.658/86400
Decision: 570/1740	Time: 715.492/86400
Decision: 570/1740	Time: 719.022/86400
Decision: 570/1740	Time: 721.591/86400
Decision: 570/1740	Time: 724.411/86400
Decision: 570/1740	Time: 727.056/86400
Decision: 570/1740	Time: 729.868/86400
Decision: 570/1740	Time: 733.453/86400
Decision: 570/1740	Time: 736.242/86400
Decision: 570/1740	Time: 739.079/86400
Decision: 570/1740	Time: 741.903/86400
Decision: 570/1740	Time: 744.683/86400
Decision: 570/1740	Time: 748.021/86400
Decision: 570/1740	Time: 750.833/86400
Decision: 570/1740	Time: 753.513/86400
Decision: 570/1740	Time: 756.161/86400
Decision: 570/1740	Time: 758.901/86400
Decision: 570/1740	Time: 762.152/86400
Decision: 570/1740	Time: 765.029/86400
Decision: 570/1740	Time: 767.563/86400
Decision: 570/1740	Time: 770.154/86400
Decision: 570/1740	Time: 772.859/86400
Decision: 570/1740	Time: 776.28/86400
Decision: 570/1740	Time: 778.862/86400
Decision: 570/1740	Time: 781.448/86400
Decision: 570/1740	Time: 784.169/86400
Decision: 570/1740	Time: 786.73/86400
Decision: 570/1740	Time: 789.875/86400
Decision: 570/1740	Time: 792.542/86400
Decision: 570/1740	Time: 795.284/86400
Decision: 570/1740	Time: 797.809/86400
Decision: 570/1740	Time: 800.629/86400
Decision: 570/1740	Time: 803.965/86400
Decision: 570/1740	Time: 806.55/86400
Decision: 570/1740	Time: 809.248/86400
Decision: 570/1740	Time: 812.026/86400
Decision: 570/1740	Time: 814.759/86400
Decision: 570/1740	Time: 818.134/86400
Decision: 570/1740	Time: 821.358/86400
Decision: 570/1740	Time: 824.411/86400
Decision: 570/1740	Time: 827.198/86400
Decision: 570/1740	Time: 830/86400
Decision: 570/1740	Time: 833.561/86400
Decision: 570/1740	Time: 836.107/86400
Decision: 570/1740	Time: 838.734/86400
Decision: 570/1740	Time: 841.588/86400
Decision: 570/1740	Time: 844.607/86400
Decision: 570/1740	Time: 848.304/86400
Decision: 570/1740	Time: 851.02/86400
Decision: 570/1740	Time: 853.976/86400
Decision: 570/1740	Time: 857.129/86400
Decision: 570/1740	Time: 859.89/86400
Decision: 570/1740	Time: 863.535/86400
Decision: 570/1740	Time: 866.587/86400
Decision: 570/1740	Time: 869.741/86400
Decision: 570/1740	Time: 872.776/86400
Decision: 570/1740	Time: 875.488/86400
Decision: 570/1740	Time: 879.214/86400
Decision: 570/1740	Time: 882.253/86400
Decision: 570/1740	Time: 885.464/86400
Decision: 570/1740	Time: 888.408/86400
Decision: 570/1740	Time: 891.27/86400
Decision: 570/1740	Time: 894.591/86400
Decision: 570/1740	Time: 897.266/86400
Decision: 570/1740	Time: 900.262/86400
Decision: 570/1740	Time: 903.311/86400
Decision: 570/1740	Time: 906.167/86400
Decision: 570/1740	Time: 909.778/86400
Decision: 570/1740	Time: 912.584/86400
Decision: 570/1740	Time: 915.442/86400
Decision: 570/1740	Time: 918.413/86400
Decision: 570/1740	Time: 921.423/86400
Decision: 570/1740	Time: 925.047/86400
Decision: 570/1740	Time: 927.653/86400
Decision: 570/1740	Time: 930.37/86400
Decision: 570/1740	Time: 933.175/86400
Decision: 570/1740	Time: 936.029/86400
Decision: 570/1740	Time: 939.428/86400
Decision: 570/1740	Time: 942.406/86400
Decision: 570/1740	Time: 945.279/86400
Decision: 570/1740	Time: 948.384/86400
Decision: 570/1740	Time: 951.52/86400
Decision: 570/1740	Time: 954.897/86400
Decision: 570/1740	Time: 957.518/86400
Decision: 570/1740	Time: 960.389/86400
Decision: 570/1740	Time: 963.225/86400
Decision: 570/1740	Time: 965.968/86400
Decision: 570/1740	Time: 969.782/86400
Decision: 570/1740	Time: 972.807/86400
Decision: 570/1740	Time: 975.597/86400
Decision: 570/1740	Time: 978.549/86400
Decision: 570/1740	Time: 981.46/86400
Decision: 570/1740	Time: 985.206/86400
Decision: 570/1740	Time: 988.07/86400
Decision: 570/1740	Time: 991.013/86400
Decision: 570/1740	Time: 993.939/86400
Decision: 570/1740	Time: 996.543/86400
Decision: 570/1740	Time: 999.885/86400
Decision: 570/1740	Time: 1002.82/86400
Decision: 570/1740	Time: 1005.88/86400
Decision: 570/1740	Time: 1008.7/86400
Decision: 570/1740	Time: 1011.68/86400
Decision: 570/1740	Time: 1015.35/86400
Decision: 570/1740	Time: 1018.12/86400
Decision: 570/1740	Time: 1021.07/86400
Decision: 570/1740	Time: 1024.05/86400
Decision: 570/1740	Time: 1026.77/86400
Decision: 570/1740	Time: 1030.43/86400
Decision: 570/1740	Time: 1033.36/86400
Decision: 570/1740	Time: 1036.62/86400
Decision: 570/1740	Time: 1039.59/86400
Decision: 570/1740	Time: 1042.53/86400
Decision: 570/1740	Time: 1046.29/86400
Decision: 570/1740	Time: 1049.02/86400
Decision: 570/1740	Time: 1051.85/86400
Decision: 570/1740	Time: 1054.98/86400
Decision: 570/1740	Time: 1057.98/86400
Decision: 570/1740	Time: 1061.59/86400
Decision: 570/1740	Time: 1064.44/86400
Decision: 570/1740	Time: 1067.17/86400
Decision: 570/1740	Time: 1070.09/86400
Decision: 570/1740	Time: 1072.9/86400
Decision: 570/1740	Time: 1076.26/86400
Decision: 570/1740	Time: 1079.2/86400
Decision: 570/1740	Time: 1082.07/86400
Decision: 570/1740	Time: 1085.05/86400
Decision: 570/1740	Time: 1088.06/86400
Decision: 570/1740	Time: 1091.8/86400
Decision: 570/1740	Time: 1094.63/86400
Decision: 570/1740	Time: 1097.56/86400
Decision: 570/1740	Time: 1100.32/86400
Decision: 570/1740	Time: 1102.98/86400
Decision: 570/1740	Time: 1106.82/86400
Decision: 570/1740	Time: 1109.6/86400
Decision: 570/1740	Time: 1112.44/86400
Decision: 570/1740	Time: 1115.3/86400
Decision: 570/1740	Time: 1118.24/86400
Decision: 570/1740	Time: 1122.14/86400
Decision: 570/1740	Time: 1125.06/86400
Decision: 570/1740	Time: 1127.97/86400
Decision: 570/1740	Time: 1130.84/86400
Decision: 570/1740	Time: 1133.76/86400
Decision: 570/1740	Time: 1137.45/86400
Decision: 570/1740	Time: 1140.35/86400
Decision: 570/1740	Time: 1143.33/86400
Decision: 570/1740	Time: 1146.19/86400
Decision: 570/1740	Time: 1148.89/86400
Decision: 570/1740	Time: 1152.55/86400
Decision: 570/1740	Time: 1155.51/86400
Decision: 570/1740	Time: 1158.31/86400
Decision: 570/1740	Time: 1161.33/86400
Decision: 570/1740	Time: 1163.94/86400
Decision: 570/1740	Time: 1167.41/86400
Decision: 570/1740	Time: 1170.49/86400
Decision: 570/1740	Time: 1173.5/86400
Decision: 570/1740	Time: 1176.77/86400
Decision: 570/1740	Time: 1179.45/86400
Decision: 570/1740	Time: 1183.33/86400
Decision: 570/1740	Time: 1186.29/86400
Decision: 570/1740	Time: 1189.08/86400
Decision: 570/1740	Time: 1191.88/86400
Decision: 570/1740	Time: 1194.89/86400
Decision: 570/1740	Time: 1198.45/86400
Decision: 570/1740	Time: 1201.46/86400
Decision: 570/1740	Time: 1204.65/86400
Decision: 570/1740	Time: 1207.63/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.23 0.05 0.02 2/54 26801
Raw data (stat): 26801 (runsolver) R 26800 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805746748 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.35 0.08 0.03 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 940 0 9 0 755 3 0 0 25 0 1 0 805746748 6516736 936 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1591 936 300 300 0 1291 0
vsize: 6364
[startup+20.0013 s]
Raw data (loadavg): 0.45 0.11 0.04 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 1525 0 9 0 1753 5 0 0 25 0 1 0 805746748 7139328 1472 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1743 1472 300 300 0 1443 0
vsize: 6972
[startup+30.0196 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 2552 0 9 0 2750 9 0 0 25 0 1 0 805746748 12816384 2402 4294967295 134512640 135726644 3221224576 3221222912 134763538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3129 2402 300 300 0 2829 0
vsize: 12516
[startup+40.0638 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 3343 0 9 0 3752 12 0 0 25 0 1 0 805746748 22204416 3193 4294967295 134512640 135726644 3221224576 3221223088 134742647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5421 3193 300 300 0 5121 0
vsize: 21684
[startup+50.0957 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 3814 0 9 0 4754 14 0 0 25 0 1 0 805746748 23302144 3664 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5689 3664 300 300 0 5389 0
vsize: 22756
[startup+60.0958 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 4190 0 9 0 5752 16 0 0 25 0 1 0 805746748 24891392 3847 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6077 3847 300 300 0 5777 0
vsize: 24308
[startup+70.0964 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 4813 0 9 0 6749 18 0 0 25 0 1 0 805746748 26038272 4470 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6357 4470 300 300 0 6057 0
vsize: 25428
[startup+80.0972 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 5232 0 9 0 7748 20 0 0 25 0 1 0 805746748 26529792 4889 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6477 4889 300 300 0 6177 0
vsize: 25908
[startup+90.097 s]
Raw data (loadavg): 0.83 0.29 0.10 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 5457 0 9 0 8746 22 0 0 25 0 1 0 805746748 27021312 5114 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6597 5114 300 300 0 6297 0
vsize: 26388
[startup+100.098 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 5737 0 9 0 9745 23 0 0 25 0 1 0 805746748 27348992 5394 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6677 5394 300 300 0 6377 0
vsize: 26708
[startup+110.099 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 6050 0 9 0 10743 25 0 0 25 0 1 0 805746748 27676672 5707 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6757 5707 300 300 0 6457 0
vsize: 27028
[startup+120.099 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 6511 0 9 0 11742 26 0 0 25 0 1 0 805746748 28233728 6168 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6893 6168 300 300 0 6593 0
vsize: 27572
[startup+130.099 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 6886 0 9 0 12740 29 0 0 25 0 1 0 805746748 28823552 6543 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7037 6543 300 300 0 6737 0
vsize: 28148
[startup+140.099 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 7708 0 9 0 13737 31 0 0 25 0 1 0 805746748 48353280 6980 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11805 6980 300 300 0 11505 0
vsize: 47220
[startup+150.1 s]
Raw data (loadavg): 0.93 0.42 0.16 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 7873 0 9 0 14737 32 0 0 25 0 1 0 805746748 48746496 7145 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11901 7145 300 300 0 11601 0
vsize: 47604
[startup+160.1 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 8177 0 9 0 15735 34 0 0 25 0 1 0 805746748 49532928 7449 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12093 7449 300 300 0 11793 0
vsize: 48372
[startup+170.101 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 8571 0 9 0 16734 35 0 0 25 0 1 0 805746748 49729536 7843 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12141 7843 300 300 0 11841 0
vsize: 48564
[startup+180.1 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 8752 0 9 0 17732 37 0 0 25 0 1 0 805746748 50319360 8024 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12285 8024 300 300 0 11985 0
vsize: 49140
[startup+190.101 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 8971 0 9 0 18731 39 0 0 25 0 1 0 805746748 51105792 8243 4294967295 134512640 135726644 3221224576 3221223056 134729242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12477 8243 300 300 0 12177 0
vsize: 49908
[startup+200.102 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 9089 0 9 0 19730 40 0 0 25 0 1 0 805746748 51499008 8361 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12573 8361 300 300 0 12273 0
vsize: 50292
[startup+210.102 s]
Raw data (loadavg): 0.97 0.52 0.21 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 9160 0 9 0 20730 41 0 0 25 0 1 0 805746748 51695616 8432 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12621 8432 300 300 0 12321 0
vsize: 50484
[startup+220.103 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 9347 0 9 0 21728 42 0 0 25 0 1 0 805746748 52088832 8619 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12717 8619 300 300 0 12417 0
vsize: 50868
[startup+230.104 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 9588 0 9 0 22726 45 0 0 25 0 1 0 805746748 52678656 8860 4294967295 134512640 135726644 3221224576 3221223200 134779440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12861 8860 300 300 0 12561 0
vsize: 51444
[startup+240.103 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 9885 0 9 0 23724 47 0 0 25 0 1 0 805746748 53071872 9157 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12957 9157 300 300 0 12657 0
vsize: 51828
[startup+250.104 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 10198 0 9 0 24722 49 0 0 25 0 1 0 805746748 53268480 9470 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13005 9470 300 300 0 12705 0
vsize: 52020
[startup+260.105 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 10568 0 9 0 25720 51 0 0 25 0 1 0 805746748 53268480 9840 4294967295 134512640 135726644 3221224576 3221223088 134742952 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13005 9840 300 300 0 12705 0
vsize: 52020
[startup+270.106 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 10844 0 9 0 26719 53 0 0 25 0 1 0 805746748 53661696 10116 4294967295 134512640 135726644 3221224576 3221223072 134744268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13101 10116 300 300 0 12801 0
vsize: 52404
[startup+280.107 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 11274 0 9 0 27717 55 0 0 25 0 1 0 805746748 53796864 10546 4294967295 134512640 135726644 3221224576 3221222912 134763511 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13134 10546 300 300 0 12834 0
vsize: 52536
[startup+290.107 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 11693 0 9 0 28714 58 0 0 25 0 1 0 805746748 54128640 10965 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13215 10965 300 300 0 12915 0
vsize: 52860
[startup+300.108 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 12105 0 9 0 29712 60 0 0 25 0 1 0 805746748 54595584 11377 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13329 11377 300 300 0 13029 0
vsize: 53316
[startup+310.108 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 12368 0 9 0 30711 62 0 0 25 0 1 0 805746748 55136256 11640 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13461 11640 300 300 0 13161 0
vsize: 53844
[startup+320.109 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 12494 0 9 0 31710 63 0 0 25 0 1 0 805746748 55406592 11766 4294967295 134512640 135726644 3221224576 3221223120 134736686 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13527 11766 300 300 0 13227 0
vsize: 54108
[startup+330.11 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 12948 0 9 0 32709 64 0 0 25 0 1 0 805746748 56217600 12220 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13725 12220 300 300 0 13425 0
vsize: 54900
[startup+340.11 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 13116 0 9 0 33707 66 0 0 25 0 1 0 805746748 56487936 12388 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13791 12388 300 300 0 13491 0
vsize: 55164
[startup+350.11 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 13204 0 9 0 34707 67 0 0 25 0 1 0 805746748 56893440 12476 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13890 12476 300 300 0 13590 0
vsize: 55560
[startup+360.111 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 14095 0 9 0 35704 69 0 0 25 0 1 0 805746748 60579840 12598 4294967295 134512640 135726644 3221224576 3221222720 134782184 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14790 12598 300 300 0 14490 0
vsize: 59160
[startup+370.112 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 14296 0 9 0 36703 71 0 0 25 0 1 0 805746748 61255680 12799 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14955 12799 300 300 0 14655 0
vsize: 59820
[startup+380.113 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 14639 0 9 0 37702 72 0 0 25 0 1 0 805746748 62201856 13142 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15186 13142 300 300 0 14886 0
vsize: 60744
[startup+390.113 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 14701 0 9 0 38701 73 0 0 25 0 1 0 805746748 62472192 13204 4294967295 134512640 135726644 3221224576 3221223200 134779430 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15252 13204 300 300 0 14952 0
vsize: 61008
[startup+400.114 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 14754 0 9 0 39701 74 0 0 25 0 1 0 805746748 62607360 13257 4294967295 134512640 135726644 3221224576 3221222896 134729208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15285 13257 300 300 0 14985 0
vsize: 61140
[startup+410.114 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 14861 0 9 0 40700 75 0 0 25 0 1 0 805746748 63148032 13364 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15417 13364 300 300 0 15117 0
vsize: 61668
[startup+420.115 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 14927 0 9 0 41700 75 0 0 25 0 1 0 805746748 63418368 13430 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15483 13430 300 300 0 15183 0
vsize: 61932
[startup+430.116 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 14992 0 9 0 42699 76 0 0 25 0 1 0 805746748 63688704 13495 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15549 13495 300 300 0 15249 0
vsize: 62196
[startup+440.116 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 15067 0 9 0 43699 77 0 0 25 0 1 0 805746748 64094208 13570 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15648 13570 300 300 0 15348 0
vsize: 62592
[startup+450.117 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 15342 0 9 0 44698 78 0 0 25 0 1 0 805746748 64770048 13845 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15813 13845 300 300 0 15513 0
vsize: 63252
[startup+460.117 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 15761 0 9 0 45696 80 0 0 25 0 1 0 805746748 99000320 14264 4294967295 134512640 135726644 3221224576 3221223088 134742890 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24170 14264 300 300 0 23870 0
vsize: 96680
[startup+470.117 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 15839 0 9 0 46695 81 0 0 25 0 1 0 805746748 99405824 14342 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24269 14342 300 300 0 23969 0
vsize: 97076
[startup+480.118 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 15911 0 9 0 47694 82 0 0 25 0 1 0 805746748 99811328 14414 4294967295 134512640 135726644 3221224576 3221222960 134758323 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24368 14414 300 300 0 24068 0
vsize: 97472
[startup+490.118 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 15946 0 9 0 48694 82 0 0 25 0 1 0 805746748 99946496 14449 4294967295 134512640 135726644 3221224576 3221223088 134742850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24401 14449 300 300 0 24101 0
vsize: 97604
[startup+500.119 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 16103 0 9 0 49693 83 0 0 25 0 1 0 805746748 100216832 14606 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24467 14606 300 300 0 24167 0
vsize: 97868
[startup+510.119 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 16361 0 9 0 50692 85 0 0 25 0 1 0 805746748 100757504 14864 4294967295 134512640 135726644 3221224576 3221222912 135280450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24599 14864 300 300 0 24299 0
vsize: 98396
[startup+520.119 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 16474 0 9 0 51691 86 0 0 25 0 1 0 805746748 101433344 14977 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24764 14977 300 300 0 24464 0
vsize: 99056
[startup+530.119 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 16585 0 9 0 52690 87 0 0 25 0 1 0 805746748 102109184 15088 4294967295 134512640 135726644 3221224576 3221223072 134744238 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24929 15088 300 300 0 24629 0
vsize: 99716
[startup+540.12 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 16708 0 9 0 53690 88 0 0 25 0 1 0 805746748 102379520 15211 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24995 15211 300 300 0 24695 0
vsize: 99980
[startup+550.121 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 16765 0 9 0 54690 88 0 0 25 0 1 0 805746748 102649856 15268 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25061 15268 300 300 0 24761 0
vsize: 100244
[startup+560.121 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 16851 0 9 0 55689 89 0 0 25 0 1 0 805746748 103055360 15354 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25160 15354 300 300 0 24860 0
vsize: 100640
[startup+570.121 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 16928 0 9 0 56688 90 0 0 25 0 1 0 805746748 103055360 15431 4294967295 134512640 135726644 3221224576 3221223088 134742614 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25160 15431 300 300 0 24860 0
vsize: 100640
[startup+580.122 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 16973 0 9 0 57688 90 0 0 25 0 1 0 805746748 103190528 15476 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25193 15476 300 300 0 24893 0
vsize: 100772
[startup+590.122 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17006 0 9 0 58687 91 0 0 25 0 1 0 805746748 103325696 15509 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25226 15509 300 300 0 24926 0
vsize: 100904
[startup+600.123 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17042 0 9 0 59687 92 0 0 25 0 1 0 805746748 103460864 15545 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25259 15545 300 300 0 24959 0
vsize: 101036
[startup+610.124 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17078 0 9 0 60686 93 0 0 25 0 1 0 805746748 103596032 15581 4294967295 134512640 135726644 3221224576 3221223184 134741244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25292 15581 300 300 0 24992 0
vsize: 101168
[startup+620.124 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17095 0 9 0 61685 93 0 0 25 0 1 0 805746748 103596032 15598 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25292 15598 300 300 0 24992 0
vsize: 101168
[startup+630.125 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17127 0 9 0 62685 94 0 0 25 0 1 0 805746748 103731200 15630 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25325 15630 300 300 0 25025 0
vsize: 101300
[startup+640.126 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17179 0 9 0 63685 94 0 0 25 0 1 0 805746748 104001536 15682 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25391 15682 300 300 0 25091 0
vsize: 101564
[startup+650.126 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17214 0 9 0 64684 95 0 0 25 0 1 0 805746748 104136704 15717 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25424 15717 300 300 0 25124 0
vsize: 101696
[startup+660.126 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17255 0 9 0 65683 96 0 0 25 0 1 0 805746748 104271872 15758 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25457 15758 300 300 0 25157 0
vsize: 101828
[startup+670.126 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17281 0 9 0 66683 97 0 0 25 0 1 0 805746748 104271872 15784 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25457 15784 300 300 0 25157 0
vsize: 101828
[startup+680.126 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17365 0 9 0 67682 98 0 0 25 0 1 0 805746748 104812544 15868 4294967295 134512640 135726644 3221224576 3221223088 134742890 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25589 15868 300 300 0 25289 0
vsize: 102356
[startup+690.126 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17510 0 9 0 68682 99 0 0 25 0 1 0 805746748 105082880 16013 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25655 16013 300 300 0 25355 0
vsize: 102620
[startup+700.127 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17559 0 9 0 69681 99 0 0 25 0 1 0 805746748 105082880 16062 4294967295 134512640 135726644 3221224576 3221223088 134742923 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25655 16062 300 300 0 25355 0
vsize: 102620
[startup+710.128 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17632 0 9 0 70681 100 0 0 25 0 1 0 805746748 105488384 16135 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25754 16135 300 300 0 25454 0
vsize: 103016
[startup+720.128 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17693 0 9 0 71680 101 0 0 25 0 1 0 805746748 105758720 16196 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25820 16196 300 300 0 25520 0
vsize: 103280
[startup+730.129 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17725 0 9 0 72679 102 0 0 25 0 1 0 805746748 105893888 16228 4294967295 134512640 135726644 3221224576 3221223072 134744195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25853 16228 300 300 0 25553 0
vsize: 103412
[startup+740.128 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17744 0 9 0 73679 102 0 0 25 0 1 0 805746748 105893888 16247 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25853 16247 300 300 0 25553 0
vsize: 103412
[startup+750.129 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17779 0 9 0 74678 103 0 0 25 0 1 0 805746748 106029056 16282 4294967295 134512640 135726644 3221224576 3221223200 134779687 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25886 16282 300 300 0 25586 0
vsize: 103544
[startup+760.129 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17795 0 9 0 75678 104 0 0 25 0 1 0 805746748 106029056 16298 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25886 16298 300 300 0 25586 0
vsize: 103544
[startup+770.129 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17808 0 9 0 76677 105 0 0 25 0 1 0 805746748 106029056 16311 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25886 16311 300 300 0 25586 0
vsize: 103544
[startup+780.13 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17857 0 9 0 77676 106 0 0 25 0 1 0 805746748 106299392 16360 4294967295 134512640 135726644 3221224576 3221222896 134729095 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25952 16360 300 300 0 25652 0
vsize: 103808
[startup+790.13 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17876 0 9 0 78676 106 0 0 25 0 1 0 805746748 106299392 16379 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25952 16379 300 300 0 25652 0
vsize: 103808
[startup+800.13 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17892 0 9 0 79676 107 0 0 25 0 1 0 805746748 106299392 16395 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25952 16395 300 300 0 25652 0
vsize: 103808
[startup+810.13 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17912 0 9 0 80675 108 0 0 25 0 1 0 805746748 106299392 16415 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25952 16415 300 300 0 25652 0
vsize: 103808
[startup+820.13 s]
Raw data (loadavg): 1.07 0.94 0.57 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17928 0 9 0 81673 109 0 0 25 0 1 0 805746748 106299392 16431 4294967295 134512640 135726644 3221224576 3221223200 134779424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25952 16431 300 300 0 25652 0
vsize: 103808
[startup+830.131 s]
Raw data (loadavg): 1.14 0.96 0.58 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 17980 0 9 0 82673 110 0 0 25 0 1 0 805746748 106569728 16483 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26018 16483 300 300 0 25718 0
vsize: 104072
[startup+840.131 s]
Raw data (loadavg): 1.11 0.96 0.58 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 18016 0 9 0 83672 111 0 0 25 0 1 0 805746748 106704896 16519 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26051 16519 300 300 0 25751 0
vsize: 104204
[startup+850.132 s]
Raw data (loadavg): 1.10 0.96 0.59 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 18049 0 9 0 84672 111 0 0 25 0 1 0 805746748 106840064 16552 4294967295 134512640 135726644 3221224576 3221223200 134779424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26084 16552 300 300 0 25784 0
vsize: 104336
[startup+860.131 s]
Raw data (loadavg): 1.08 0.96 0.59 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 18089 0 9 0 85671 112 0 0 25 0 1 0 805746748 106975232 16592 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26117 16592 300 300 0 25817 0
vsize: 104468
[startup+870.131 s]
Raw data (loadavg): 1.07 0.96 0.60 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 18128 0 9 0 86671 113 0 0 25 0 1 0 805746748 106975232 16631 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26117 16631 300 300 0 25817 0
vsize: 104468
[startup+880.132 s]
Raw data (loadavg): 1.06 0.96 0.60 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 18257 0 9 0 87670 114 0 0 25 0 1 0 805746748 107110400 16760 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26150 16760 300 300 0 25850 0
vsize: 104600
[startup+890.133 s]
Raw data (loadavg): 1.05 0.96 0.60 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 19809 0 9 0 88667 117 0 0 25 0 1 0 805746748 113401856 16775 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27686 16775 300 300 0 27386 0
vsize: 110744
[startup+900.134 s]
Raw data (loadavg): 1.04 0.97 0.61 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 19842 0 9 0 89667 118 0 0 25 0 1 0 805746748 113537024 16808 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27719 16808 300 300 0 27419 0
vsize: 110876
[startup+910.133 s]
Raw data (loadavg): 1.03 0.97 0.61 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 19860 0 9 0 90666 118 0 0 25 0 1 0 805746748 113537024 16826 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27719 16826 300 300 0 27419 0
vsize: 110876
[startup+920.133 s]
Raw data (loadavg): 1.03 0.97 0.62 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 19880 0 9 0 91666 119 0 0 25 0 1 0 805746748 113537024 16846 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27719 16846 300 300 0 27419 0
vsize: 110876
[startup+930.134 s]
Raw data (loadavg): 1.02 0.97 0.62 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 19894 0 9 0 92665 120 0 0 25 0 1 0 805746748 113537024 16860 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27719 16860 300 300 0 27419 0
vsize: 110876
[startup+940.134 s]
Raw data (loadavg): 1.02 0.97 0.62 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 19937 0 9 0 93665 120 0 0 25 0 1 0 805746748 113672192 16903 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27752 16903 300 300 0 27452 0
vsize: 111008
[startup+950.135 s]
Raw data (loadavg): 1.02 0.97 0.63 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 19997 0 9 0 94665 120 0 0 25 0 1 0 805746748 113942528 16963 4294967295 134512640 135726644 3221224576 3221223088 134742601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27818 16963 300 300 0 27518 0
vsize: 111272
[startup+960.136 s]
Raw data (loadavg): 1.01 0.97 0.63 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20014 0 9 0 95664 121 0 0 25 0 1 0 805746748 113942528 16980 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27818 16980 300 300 0 27518 0
vsize: 111272
[startup+970.135 s]
Raw data (loadavg): 1.01 0.97 0.63 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20035 0 9 0 96664 121 0 0 25 0 1 0 805746748 113942528 17001 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27818 17001 300 300 0 27518 0
vsize: 111272
[startup+980.136 s]
Raw data (loadavg): 1.01 0.97 0.64 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20073 0 9 0 97664 122 0 0 25 0 1 0 805746748 114077696 17039 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27851 17039 300 300 0 27551 0
vsize: 111404
[startup+990.137 s]
Raw data (loadavg): 1.01 0.97 0.64 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20225 0 9 0 98663 123 0 0 25 0 1 0 805746748 114077696 17191 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27851 17191 300 300 0 27551 0
vsize: 111404
[startup+1000.14 s]
Raw data (loadavg): 1.00 0.97 0.64 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20241 0 9 0 99662 124 0 0 25 0 1 0 805746748 114077696 17207 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27851 17207 300 300 0 27551 0
vsize: 111404
[startup+1010.14 s]
Raw data (loadavg): 1.00 0.97 0.65 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20261 0 9 0 100662 125 0 0 25 0 1 0 805746748 114077696 17227 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27851 17227 300 300 0 27551 0
vsize: 111404
[startup+1020.14 s]
Raw data (loadavg): 1.00 0.97 0.65 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20274 0 9 0 101662 125 0 0 25 0 1 0 805746748 114077696 17240 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27851 17240 300 300 0 27551 0
vsize: 111404
[startup+1030.14 s]
Raw data (loadavg): 1.00 0.97 0.65 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20313 0 9 0 102662 125 0 0 25 0 1 0 805746748 114212864 17279 4294967295 134512640 135726644 3221224576 3221222816 134783015 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27884 17279 300 300 0 27584 0
vsize: 111536
[startup+1040.14 s]
Raw data (loadavg): 1.00 0.97 0.66 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20327 0 9 0 103661 126 0 0 25 0 1 0 805746748 114212864 17293 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27884 17293 300 300 0 27584 0
vsize: 111536
[startup+1050.14 s]
Raw data (loadavg): 1.00 0.97 0.66 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20341 0 9 0 104661 126 0 0 25 0 1 0 805746748 114212864 17307 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27884 17307 300 300 0 27584 0
vsize: 111536
[startup+1060.14 s]
Raw data (loadavg): 1.00 0.97 0.66 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20358 0 9 0 105660 127 0 0 25 0 1 0 805746748 114212864 17324 4294967295 134512640 135726644 3221224576 3221223088 134742632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27884 17324 300 300 0 27584 0
vsize: 111536
[startup+1070.14 s]
Raw data (loadavg): 1.00 0.97 0.66 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20389 0 9 0 106660 128 0 0 25 0 1 0 805746748 114348032 17355 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27917 17355 300 300 0 27617 0
vsize: 111668
[startup+1080.14 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20404 0 9 0 107660 128 0 0 25 0 1 0 805746748 114348032 17370 4294967295 134512640 135726644 3221224576 3221222912 135280427 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27917 17370 300 300 0 27617 0
vsize: 111668
[startup+1090.14 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20425 0 9 0 108659 129 0 0 25 0 1 0 805746748 114348032 17391 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27917 17391 300 300 0 27617 0
vsize: 111668
[startup+1100.14 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20449 0 9 0 109658 130 0 0 25 0 1 0 805746748 114348032 17415 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27917 17415 300 300 0 27617 0
vsize: 111668
[startup+1110.14 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20466 0 9 0 110658 130 0 0 25 0 1 0 805746748 114348032 17432 4294967295 134512640 135726644 3221224576 3221222904 134810857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27917 17432 300 300 0 27617 0
vsize: 111668
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20481 0 9 0 111658 131 0 0 25 0 1 0 805746748 114348032 17447 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27917 17447 300 300 0 27617 0
vsize: 111668
[startup+1130.14 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20606 0 9 0 112657 132 0 0 25 0 1 0 805746748 114483200 17572 4294967295 134512640 135726644 3221224576 3221223088 134742591 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27950 17572 300 300 0 27650 0
vsize: 111800
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20622 0 9 0 113656 133 0 0 25 0 1 0 805746748 114483200 17588 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27950 17588 300 300 0 27650 0
vsize: 111800
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20658 0 9 0 114656 133 0 0 25 0 1 0 805746748 114618368 17624 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27983 17624 300 300 0 27683 0
vsize: 111932
[startup+1160.14 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20673 0 9 0 115656 134 0 0 25 0 1 0 805746748 114618368 17639 4294967295 134512640 135726644 3221224576 3221223088 134742558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27983 17639 300 300 0 27683 0
vsize: 111932
[startup+1170.14 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20688 0 9 0 116655 134 0 0 25 0 1 0 805746748 114618368 17654 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27983 17654 300 300 0 27683 0
vsize: 111932
[startup+1180.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20702 0 9 0 117655 135 0 0 25 0 1 0 805746748 114618368 17668 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27983 17668 300 300 0 27683 0
vsize: 111932
[startup+1190.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20717 0 9 0 118654 136 0 0 25 0 1 0 805746748 114618368 17683 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27983 17683 300 300 0 27683 0
vsize: 111932
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20732 0 9 0 119654 136 0 0 25 0 1 0 805746748 114618368 17698 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27983 17698 300 300 0 27683 0
vsize: 111932
[startup+1210.15 s]
Raw data (loadavg): 1.00 0.97 0.71 2/54 26801
Raw data (stat): 26801 (pb2sat) R 26800 20224 20223 0 -1 0 20766 0 9 0 120653 137 0 0 25 0 1 0 805746748 114753536 17732 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28016 17732 300 300 0 27716 0
vsize: 112064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.47 s]
Raw data (loadavg): 1.00 0.97 0.71 1/54 26801
Raw data (stat): 26801 (pb2sat) Z 26800 20224 20223 0 -1 12 20767 0 9 0 120670 141 0 0 22 0 1 0 805746748 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.47
CPU time (s): 1208.12
CPU user time (s): 1206.7
CPU system time (s): 1.41179
CPU usage (%): 99.8053
Max. virtual memory (Kb): 112064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####