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/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb
MD5SUM	980dd801f0823d520b47724b99fabded
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 35657

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        827552 kB
Buffers:         35896 kB
Cached:         148692 kB
SwapCached:       1052 kB
Active:          82216 kB
Inactive:       104560 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        827300 kB
SwapTotal:     2097892 kB
SwapFree:      2095928 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            14648 kB
Committed_AS:    63804 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:44:42 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 24862 7 1200.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+0.232859 s]  setting bit 5 to 0

Decision: 345/1661	Time: 1.3148/86400
Decision: 345/1661	Time: 1.69774/86400
Decision: 345/1661	Time: 2.13368/86400
Decision: 345/1661	Time: 2.58761/86400
Decision: 345/1661	Time: 3.05854/86400
Decision: 345/1661	Time: 3.55546/86400
Decision: 345/1661	Time: 4.03239/86400
Decision: 345/1661	Time: 4.53631/86400
Decision: 345/1661	Time: 5.06823/86400
Decision: 345/1661	Time: 5.62214/86400
Decision: 345/1661	Time: 6.22705/86400
Decision: 345/1661	Time: 6.77097/86400
Decision: 345/1661	Time: 7.35888/86400
Decision: 345/1661	Time: 7.93279/86400
Decision: 345/1661	Time: 8.49071/86400
Decision: 345/1661	Time: 9.15261/86400
Decision: 345/1661	Time: 9.73852/86400
Decision: 345/1661	Time: 10.4084/86400
Decision: 345/1661	Time: 11.1223/86400
Decision: 345/1661	Time: 11.7592/86400
Decision: 345/1661	Time: 12.4921/86400
Decision: 345/1661	Time: 13.179/86400
Decision: 345/1661	Time: 13.8789/86400
Decision: 345/1661	Time: 14.5438/86400
Decision: 345/1661	Time: 15.2697/86400
Decision: 345/1661	Time: 16.0866/86400
Decision: 345/1661	Time: 16.8514/86400
Decision: 345/1661	Time: 17.6613/86400
Decision: 345/1661	Time: 18.4362/86400
Decision: 345/1661	Time: 19.1731/86400
Decision: 345/1661	Time: 20.0969/86400
Decision: 345/1661	Time: 20.9308/86400
Decision: 345/1661	Time: 21.7557/86400
Decision: 345/1661	Time: 22.6156/86400
Decision: 345/1661	Time: 23.5194/86400
Decision: 345/1661	Time: 24.4003/86400
Decision: 345/1661	Time: 25.3341/86400
Decision: 345/1661	Time: 26.269/86400
Decision: 345/1661	Time: 27.1819/86400
Decision: 345/1661	Time: 28.0697/86400
Decision: 345/1661	Time: 28.9446/86400
Decision: 345/1661	Time: 29.8745/86400
Decision: 345/1661	Time: 30.8213/86400
Decision: 345/1661	Time: 31.7472/86400
Decision: 345/1661	Time: 32.678/86400
Decision: 345/1661	Time: 33.7049/86400
Decision: 345/1661	Time: 34.7577/86400
Decision: 345/1661	Time: 35.8216/86400
Decision: 345/1661	Time: 36.8624/86400
Decision: 345/1661	Time: 37.8962/86400
Decision: 345/1661	Time: 38.9981/86400
Decision: 345/1661	Time: 39.9679/86400
Decision: 345/1661	Time: 41.0948/86400
Decision: 345/1661	Time: 42.1236/86400
Decision: 345/1661	Time: 43.1594/86400
Decision: 345/1661	Time: 44.1753/86400
Decision: 345/1661	Time: 45.1771/86400
Decision: 345/1661	Time: 46.305/86400
Decision: 345/1661	Time: 47.3878/86400
Decision: 345/1661	Time: 48.4676/86400
Decision: 345/1661	Time: 49.6085/86400
Decision: 345/1661	Time: 50.7423/86400
Decision: 345/1661	Time: 51.9161/86400
Decision: 345/1661	Time: 53.0209/86400
Decision: 345/1661	Time: 54.2388/86400
Decision: 345/1661	Time: 55.6565/86400
Decision: 345/1661	Time: 56.8324/86400
Decision: 345/1661	Time: 57.9242/86400
Decision: 345/1661	Time: 59.088/86400
Decision: 345/1661	Time: 60.2358/86400
Decision: 345/1661	Time: 61.4717/86400
Decision: 345/1661	Time: 62.7235/86400
Decision: 345/1661	Time: 63.9133/86400
Decision: 345/1661	Time: 65.0181/86400
Decision: 345/1661	Time: 66.4699/86400
Decision: 345/1661	Time: 67.8817/86400
Decision: 345/1661	Time: 69.1105/86400
Decision: 345/1661	Time: 70.3523/86400
Decision: 345/1661	Time: 71.6331/86400
Decision: 345/1661	Time: 72.8409/86400
Decision: 345/1661	Time: 74.2957/86400
Decision: 345/1661	Time: 75.6355/86400
Decision: 345/1661	Time: 77.0253/86400
Decision: 345/1661	Time: 78.2851/86400
Decision: 345/1661	Time: 79.6589/86400
Decision: 345/1661	Time: 81.0707/86400
Decision: 345/1661	Time: 82.6834/86400
Decision: 345/1661	Time: 84.0382/86400
Decision: 345/1661	Time: 85.525/86400
Decision: 345/1661	Time: 86.8558/86400
Decision: 345/1661	Time: 88.2786/86400
Decision: 345/1661	Time: 89.6454/86400
Decision: 345/1661	Time: 91.0442/86400
Decision: 345/1661	Time: 92.5789/86400
Decision: 345/1661	Time: 93.9087/86400
Decision: 345/1661	Time: 95.5555/86400
Decision: 345/1661	Time: 97.1312/86400
Decision: 345/1661	Time: 98.909/86400
Decision: 345/1661	Time: 100.423/86400
Decision: 345/1661	Time: 101.915/86400
Decision: 345/1661	Time: 103.389/86400
Decision: 345/1661	Time: 104.774/86400
Decision: 345/1661	Time: 106.229/86400
Decision: 345/1661	Time: 107.817/86400
Decision: 345/1661	Time: 109.376/86400
Decision: 345/1661	Time: 110.966/86400
Decision: 345/1661	Time: 112.542/86400
Decision: 345/1661	Time: 114.081/86400
Decision: 345/1661	Time: 115.641/86400
Decision: 345/1661	Time: 117.182/86400
Decision: 345/1661	Time: 118.983/86400
Decision: 345/1661	Time: 120.577/86400
Decision: 345/1661	Time: 122.163/86400
Decision: 345/1661	Time: 123.801/86400
Decision: 345/1661	Time: 125.336/86400
Decision: 345/1661	Time: 127.07/86400
Decision: 345/1661	Time: 128.819/86400
Decision: 345/1661	Time: 130.511/86400
Decision: 345/1661	Time: 132.184/86400
Decision: 345/1661	Time: 133.906/86400
Decision: 345/1661	Time: 135.864/86400
Decision: 345/1661	Time: 137.575/86400
Decision: 345/1661	Time: 139.325/86400
Decision: 345/1661	Time: 141.151/86400
Decision: 345/1661	Time: 142.742/86400
Decision: 345/1661	Time: 144.63/86400
Decision: 345/1661	Time: 146.204/86400
Decision: 345/1661	Time: 147.845/86400
Decision: 345/1661	Time: 149.524/86400
Decision: 345/1661	Time: 151.215/86400
Decision: 345/1661	Time: 152.964/86400
Decision: 345/1661	Time: 155.045/86400
Decision: 345/1661	Time: 156.751/86400
Decision: 345/1661	Time: 158.512/86400
Decision: 345/1661	Time: 160.417/86400
Decision: 345/1661	Time: 162.308/86400
Decision: 345/1661	Time: 164.379/86400
Decision: 345/1661	Time: 166.334/86400
Decision: 345/1661	Time: 168.313/86400
Decision: 345/1661	Time: 170.193/86400
Decision: 345/1661	Time: 172.366/86400
Decision: 345/1661	Time: 174.335/86400
Decision: 345/1661	Time: 176.151/86400
Decision: 345/1661	Time: 178.225/86400
Decision: 345/1661	Time: 180.23/86400
Decision: 345/1661	Time: 182.247/86400
Decision: 345/1661	Time: 184.147/86400
Decision: 345/1661	Time: 185.876/86400
Decision: 345/1661	Time: 187.758/86400
Decision: 345/1661	Time: 189.784/86400
Decision: 345/1661	Time: 191.69/86400
Decision: 345/1661	Time: 193.591/86400
Decision: 345/1661	Time: 195.645/86400
Decision: 345/1661	Time: 197.553/86400
Decision: 345/1661	Time: 199.667/86400
Decision: 345/1661	Time: 201.675/86400
Decision: 345/1661	Time: 203.434/86400
Decision: 345/1661	Time: 205.164/86400
Decision: 345/1661	Time: 207.107/86400
Decision: 345/1661	Time: 209.272/86400
Decision: 345/1661	Time: 211.399/86400
Decision: 345/1661	Time: 213.255/86400
Decision: 345/1661	Time: 215.003/86400
Decision: 345/1661	Time: 217.239/86400
Decision: 345/1661	Time: 219.287/86400
Decision: 345/1661	Time: 221.273/86400
Decision: 345/1661	Time: 223.243/86400
Decision: 345/1661	Time: 225.373/86400
Decision: 345/1661	Time: 227.329/86400
Decision: 345/1661	Time: 229.354/86400
Decision: 345/1661	Time: 231.751/86400
Decision: 345/1661	Time: 233.691/86400
Decision: 345/1661	Time: 236.046/86400
Decision: 345/1661	Time: 237.958/86400
Decision: 345/1661	Time: 240.217/86400
Decision: 345/1661	Time: 242.458/86400
Decision: 345/1661	Time: 245.021/86400
Decision: 345/1661	Time: 247.19/86400
Decision: 345/1661	Time: 249.599/86400
Decision: 345/1661	Time: 252.002/86400
Decision: 345/1661	Time: 254.246/86400
Decision: 345/1661	Time: 256.325/86400
Decision: 345/1661	Time: 258.692/86400
Decision: 345/1661	Time: 260.747/86400
Decision: 345/1661	Time: 262.785/86400
Decision: 345/1661	Time: 265.1/86400
Decision: 345/1661	Time: 266.997/86400
Decision: 345/1661	Time: 269.204/86400
Decision: 345/1661	Time: 271.463/86400
Decision: 345/1661	Time: 274.141/86400
Decision: 345/1661	Time: 276.961/86400
Decision: 345/1661	Time: 279.15/86400
Decision: 345/1661	Time: 281.602/86400
Decision: 345/1661	Time: 283.867/86400
Decision: 345/1661	Time: 286.085/86400
Decision: 345/1661	Time: 288.602/86400
Decision: 345/1661	Time: 290.599/86400
Decision: 345/1661	Time: 292.924/86400
Decision: 345/1661	Time: 294.883/86400
Decision: 345/1661	Time: 297.158/86400
Decision: 345/1661	Time: 299.578/86400
Decision: 345/1661	Time: 302.465/86400
Decision: 345/1661	Time: 304.866/86400
Decision: 345/1661	Time: 307.177/86400
Decision: 345/1661	Time: 309.77/86400
Decision: 345/1661	Time: 312.836/86400
Decision: 345/1661	Time: 315.185/86400
Decision: 345/1661	Time: 317.682/86400
Decision: 345/1661	Time: 320.202/86400
Decision: 345/1661	Time: 322.372/86400
Decision: 345/1661	Time: 325.115/86400
Decision: 345/1661	Time: 327.705/86400
Decision: 345/1661	Time: 330.123/86400
Decision: 345/1661	Time: 332.532/86400
Decision: 345/1661	Time: 335.326/86400
Decision: 345/1661	Time: 337.895/86400
Decision: 345/1661	Time: 340.39/86400
Decision: 345/1661	Time: 342.717/86400
Decision: 345/1661	Time: 345.243/86400
Decision: 345/1661	Time: 347.961/86400
Decision: 345/1661	Time: 350.859/86400
Decision: 345/1661	Time: 353.35/86400
Decision: 345/1661	Time: 355.989/86400
Decision: 345/1661	Time: 358.478/86400
Decision: 345/1661	Time: 361.102/86400
Decision: 345/1661	Time: 363.845/86400
Decision: 345/1661	Time: 366.286/86400
Decision: 345/1661	Time: 368.853/86400
Decision: 345/1661	Time: 371.299/86400
Decision: 345/1661	Time: 373.416/86400
Decision: 345/1661	Time: 376.537/86400
Decision: 345/1661	Time: 378.914/86400
Decision: 345/1661	Time: 381.411/86400
Decision: 345/1661	Time: 383.655/86400
Decision: 345/1661	Time: 386.178/86400
Decision: 345/1661	Time: 389.037/86400
Decision: 345/1661	Time: 391.597/86400
Decision: 345/1661	Time: 394.463/86400
Decision: 345/1661	Time: 396.963/86400
Decision: 345/1661	Time: 399.532/86400
Decision: 345/1661	Time: 402.054/86400
Decision: 345/1661	Time: 404.531/86400
Decision: 345/1661	Time: 406.956/86400
Decision: 345/1661	Time: 410.072/86400
Decision: 345/1661	Time: 412.869/86400
Decision: 345/1661	Time: 415.591/86400
Decision: 345/1661	Time: 418.069/86400
Decision: 345/1661	Time: 420.486/86400
Decision: 345/1661	Time: 422.721/86400
Decision: 345/1661	Time: 425.255/86400
Decision: 345/1661	Time: 427.851/86400
Decision: 345/1661	Time: 430.454/86400
Decision: 345/1661	Time: 433.079/86400
Decision: 345/1661	Time: 435.734/86400
Decision: 345/1661	Time: 439.548/86400
Decision: 345/1661	Time: 442.345/86400
Decision: 345/1661	Time: 445.017/86400
Decision: 345/1661	Time: 447.886/86400
Decision: 345/1661	Time: 450.64/86400
Decision: 345/1661	Time: 453.576/86400
Decision: 345/1661	Time: 456.611/86400
Decision: 345/1661	Time: 459.674/86400
Decision: 345/1661	Time: 462.3/86400
Decision: 345/1661	Time: 465.17/86400
Decision: 345/1661	Time: 467.952/86400
Decision: 345/1661	Time: 471.195/86400
Decision: 345/1661	Time: 473.964/86400
Decision: 345/1661	Time: 476.969/86400
Decision: 345/1661	Time: 479.763/86400
Decision: 345/1661	Time: 482.725/86400
Decision: 345/1661	Time: 486.361/86400
Decision: 345/1661	Time: 489.124/86400
Decision: 345/1661	Time: 491.786/86400
Decision: 345/1661	Time: 494.719/86400
Decision: 345/1661	Time: 497.485/86400
Decision: 345/1661	Time: 500.373/86400
Decision: 345/1661	Time: 503.278/86400
Decision: 345/1661	Time: 506.366/86400
Decision: 345/1661	Time: 509.258/86400
Decision: 345/1661	Time: 511.856/86400
Decision: 345/1661	Time: 515.549/86400
Decision: 345/1661	Time: 518.291/86400
Decision: 345/1661	Time: 521.258/86400
Decision: 345/1661	Time: 523.91/86400
Decision: 345/1661	Time: 526.893/86400
Decision: 345/1661	Time: 530.215/86400
Decision: 345/1661	Time: 532.886/86400
Decision: 345/1661	Time: 535.845/86400
Decision: 345/1661	Time: 538.972/86400
Decision: 345/1661	Time: 542.259/86400
Decision: 345/1661	Time: 545.386/86400
Decision: 345/1661	Time: 548.015/86400
Decision: 345/1661	Time: 550.739/86400
Decision: 345/1661	Time: 553.495/86400
Decision: 345/1661	Time: 556.249/86400
Decision: 345/1661	Time: 559.447/86400
Decision: 345/1661	Time: 562.516/86400
Decision: 345/1661	Time: 565.316/86400
Decision: 345/1661	Time: 568.502/86400
Decision: 345/1661	Time: 571.908/86400
Decision: 345/1661	Time: 575.673/86400
Decision: 345/1661	Time: 578.792/86400
Decision: 345/1661	Time: 581.682/86400
Decision: 345/1661	Time: 585.223/86400
Decision: 345/1661	Time: 588.325/86400
Decision: 345/1661	Time: 591.415/86400
Decision: 345/1661	Time: 594.07/86400
Decision: 345/1661	Time: 597.41/86400
Decision: 345/1661	Time: 600.737/86400
Decision: 345/1661	Time: 603.839/86400
Decision: 345/1661	Time: 607.156/86400
Decision: 345/1661	Time: 609.437/86400
Decision: 345/1661	Time: 612.524/86400
Decision: 345/1661	Time: 615.654/86400
Decision: 345/1661	Time: 618.437/86400
Decision: 345/1661	Time: 621.851/86400
Decision: 345/1661	Time: 624.183/86400
Decision: 345/1661	Time: 627.054/86400
Decision: 345/1661	Time: 630.486/86400
Decision: 345/1661	Time: 633.345/86400
Decision: 345/1661	Time: 636.751/86400
Decision: 345/1661	Time: 639.36/86400
Decision: 345/1661	Time: 642.605/86400
Decision: 345/1661	Time: 646.311/86400
Decision: 345/1661	Time: 649.262/86400
Decision: 345/1661	Time: 652.57/86400
Decision: 345/1661	Time: 656.091/86400
Decision: 345/1661	Time: 659.419/86400
Decision: 345/1661	Time: 663.089/86400
Decision: 345/1661	Time: 666.262/86400
Decision: 345/1661	Time: 669.614/86400
Decision: 345/1661	Time: 672.604/86400
Decision: 345/1661	Time: 675.554/86400
Decision: 345/1661	Time: 678.191/86400
Decision: 345/1661	Time: 681.082/86400
Decision: 345/1661	Time: 684.982/86400
Decision: 345/1661	Time: 688.427/86400
Decision: 345/1661	Time: 691.222/86400
Decision: 345/1661	Time: 694.596/86400
Decision: 345/1661	Time: 697.826/86400
Decision: 345/1661	Time: 701.487/86400
Decision: 345/1661	Time: 704.49/86400
Decision: 345/1661	Time: 708.096/86400
Decision: 345/1661	Time: 711.217/86400
Decision: 345/1661	Time: 714.253/86400
Decision: 345/1661	Time: 718.019/86400
Decision: 345/1661	Time: 722.089/86400
Decision: 345/1661	Time: 725.373/86400
Decision: 345/1661	Time: 728.062/86400
Decision: 345/1661	Time: 731.285/86400
Decision: 345/1661	Time: 734.914/86400
Decision: 345/1661	Time: 738.014/86400
Decision: 345/1661	Time: 741.302/86400
Decision: 345/1661	Time: 744.338/86400
Decision: 345/1661	Time: 747.941/86400
Decision: 345/1661	Time: 752.063/86400
Decision: 345/1661	Time: 755.456/86400
Decision: 345/1661	Time: 758.696/86400
Decision: 345/1661	Time: 761.264/86400
Decision: 345/1661	Time: 764.45/86400
Decision: 345/1661	Time: 768.37/86400
Decision: 345/1661	Time: 771.925/86400
Decision: 345/1661	Time: 775.032/86400
Decision: 345/1661	Time: 777.936/86400
Decision: 345/1661	Time: 781.483/86400
Decision: 345/1661	Time: 785.555/86400
Decision: 345/1661	Time: 789.612/86400
Decision: 345/1661	Time: 792.533/86400
Decision: 345/1661	Time: 795.723/86400
Decision: 345/1661	Time: 799.189/86400
Decision: 345/1661	Time: 803/86400
Decision: 345/1661	Time: 806.15/86400
Decision: 345/1661	Time: 808.932/86400
Decision: 345/1661	Time: 811.438/86400
Decision: 345/1661	Time: 814.583/86400
Decision: 345/1661	Time: 818.136/86400
Decision: 345/1661	Time: 821.479/86400
Decision: 345/1661	Time: 824.308/86400
Decision: 345/1661	Time: 827.583/86400
Decision: 345/1661	Time: 831.105/86400
Decision: 345/1661	Time: 834.788/86400
Decision: 345/1661	Time: 837.932/86400
Decision: 345/1661	Time: 841.397/86400
Decision: 345/1661	Time: 844.603/86400
Decision: 345/1661	Time: 848.044/86400
Decision: 345/1661	Time: 851.845/86400
Decision: 345/1661	Time: 854.614/86400
Decision: 345/1661	Time: 857.698/86400
Decision: 345/1661	Time: 860.93/86400
Decision: 345/1661	Time: 863.959/86400
Decision: 345/1661	Time: 867.618/86400
Decision: 345/1661	Time: 870.659/86400
Decision: 345/1661	Time: 873.443/86400
Decision: 345/1661	Time: 877.039/86400
Decision: 345/1661	Time: 879.749/86400
Decision: 345/1661	Time: 883.439/86400
Decision: 345/1661	Time: 886.795/86400
Decision: 345/1661	Time: 890.286/86400
Decision: 345/1661	Time: 893.553/86400
Decision: 345/1661	Time: 896.695/86400
Decision: 345/1661	Time: 900.62/86400
Decision: 345/1661	Time: 903.328/86400
Decision: 345/1661	Time: 906.76/86400
Decision: 345/1661	Time: 910.124/86400
Decision: 345/1661	Time: 913.812/86400
Decision: 345/1661	Time: 917.574/86400
Decision: 345/1661	Time: 920.521/86400
Decision: 345/1661	Time: 923.715/86400
Decision: 345/1661	Time: 926.939/86400
Decision: 345/1661	Time: 930.165/86400
Decision: 345/1661	Time: 933.597/86400
Decision: 345/1661	Time: 936.955/86400
Decision: 345/1661	Time: 939.909/86400
Decision: 345/1661	Time: 943.504/86400
Decision: 345/1661	Time: 946.41/86400
Decision: 345/1661	Time: 950.116/86400
Decision: 345/1661	Time: 953.789/86400
Decision: 345/1661	Time: 956.974/86400
Decision: 345/1661	Time: 960.355/86400
Decision: 345/1661	Time: 963.902/86400
Decision: 345/1661	Time: 967.834/86400
Decision: 345/1661	Time: 971.09/86400
Decision: 345/1661	Time: 974.273/86400
Decision: 345/1661	Time: 977.452/86400
Decision: 345/1661	Time: 980.724/86400
Decision: 345/1661	Time: 984.697/86400
Decision: 345/1661	Time: 988.118/86400
Decision: 345/1661	Time: 991.686/86400
Decision: 345/1661	Time: 995.219/86400
Decision: 345/1661	Time: 998.697/86400
Decision: 345/1661	Time: 1002.17/86400
Decision: 345/1661	Time: 1005.55/86400
Decision: 345/1661	Time: 1009.31/86400
Decision: 345/1661	Time: 1012.46/86400
Decision: 345/1661	Time: 1016.07/86400
Decision: 345/1661	Time: 1020.12/86400
Decision: 345/1661	Time: 1023.87/86400
Decision: 345/1661	Time: 1027.05/86400
Decision: 345/1661	Time: 1030.23/86400
Decision: 345/1661	Time: 1033.63/86400
Decision: 345/1661	Time: 1037.21/86400
Decision: 345/1661	Time: 1040.17/86400
Decision: 345/1661	Time: 1043.49/86400
Decision: 345/1661	Time: 1046.62/86400
Decision: 345/1661	Time: 1050.72/86400
Decision: 345/1661	Time: 1054.42/86400
Decision: 345/1661	Time: 1057.65/86400
Decision: 345/1661	Time: 1060.86/86400
Decision: 345/1661	Time: 1064.23/86400
Decision: 345/1661	Time: 1067.85/86400
Decision: 345/1661	Time: 1071.68/86400
Decision: 345/1661	Time: 1075.57/86400
Decision: 345/1661	Time: 1079.38/86400
Decision: 345/1661	Time: 1082.47/86400
Decision: 345/1661	Time: 1085.92/86400
Decision: 345/1661	Time: 1088.98/86400
Decision: 345/1661	Time: 1091.93/86400
Decision: 345/1661	Time: 1095.2/86400
Decision: 345/1661	Time: 1098.82/86400
Decision: 345/1661	Time: 1102.21/86400
Decision: 345/1661	Time: 1105.76/86400
Decision: 345/1661	Time: 1108.93/86400
Decision: 345/1661	Time: 1112.67/86400
Decision: 345/1661	Time: 1116.1/86400
Decision: 345/1661	Time: 1119.31/86400
Decision: 345/1661	Time: 1122.92/86400
Decision: 345/1661	Time: 1126.82/86400
Decision: 345/1661	Time: 1130.04/86400
Decision: 345/1661	Time: 1134.53/86400
Decision: 345/1661	Time: 1138.44/86400
Decision: 345/1661	Time: 1142.78/86400
Decision: 345/1661	Time: 1146.08/86400
Decision: 345/1661	Time: 1149.5/86400
Decision: 345/1661	Time: 1153.87/86400
Decision: 345/1661	Time: 1157.06/86400
Decision: 345/1661	Time: 1160.79/86400
Decision: 345/1661	Time: 1164.22/86400
Decision: 345/1661	Time: 1167.45/86400
Decision: 345/1661	Time: 1171.12/86400
Decision: 345/1661	Time: 1174.71/86400
Decision: 345/1661	Time: 1178.36/86400
Decision: 345/1661	Time: 1181.24/86400
Decision: 345/1661	Time: 1184.63/86400
Decision: 345/1661	Time: 1187.85/86400
Decision: 345/1661	Time: 1191.25/86400
Decision: 345/1661	Time: 1195.69/86400
Decision: 345/1661	Time: 1199.12/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.92 0.97 0.91 2/55 20805
Raw data (stat): 20805 (runsolver) R 20804 29618 29617 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865121196 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 20805
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 1024 0 0 0 995 4 0 0 25 0 1 0 865121196 5480448 855 4294967295 134512640 135726644 3221224576 3221223072 134744195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1338 855 300 300 0 1038 0
vsize: 5352
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 20805
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 1367 0 0 0 1991 7 0 0 25 0 1 0 865121196 5922816 1198 4294967295 134512640 135726644 3221224576 3221223072 134743925 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1446 1198 300 300 0 1146 0
vsize: 5784
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 20805
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 1844 0 0 0 2987 10 0 0 25 0 1 0 865121196 9281536 1482 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2266 1482 300 300 0 1966 0
vsize: 9064
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 20805
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 2085 0 0 0 3984 13 0 0 25 0 1 0 865121196 9609216 1723 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2346 1723 300 300 0 2046 0
vsize: 9384
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 20805
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 2372 0 0 0 4982 16 0 0 25 0 1 0 865121196 10297344 2010 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2514 2010 300 300 0 2214 0
vsize: 10056
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 20807
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 2600 0 0 0 5979 18 0 0 25 0 1 0 865121196 10739712 2238 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2622 2238 300 300 0 2322 0
vsize: 10488
[startup+70.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 20807
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 2795 0 0 0 6977 20 0 0 25 0 1 0 865121196 15327232 2433 4294967295 134512640 135726644 3221224576 3221223072 134744274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3742 2433 300 300 0 3442 0
vsize: 14968
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 20807
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 3378 0 0 0 7975 23 0 0 25 0 1 0 865121196 17096704 2631 4294967295 134512640 135726644 3221224576 3221223072 134744274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4174 2631 300 300 0 3874 0
vsize: 16696
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 20807
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 3542 0 0 0 8973 24 0 0 25 0 1 0 865121196 17293312 2795 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4222 2795 300 300 0 3922 0
vsize: 16888
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 20807
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 3718 0 0 0 9971 27 0 0 25 0 1 0 865121196 17428480 2971 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4255 2971 300 300 0 3955 0
vsize: 17020
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 20807
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 3912 0 0 0 10970 29 0 0 25 0 1 0 865121196 17854464 3165 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4359 3165 300 300 0 4059 0
vsize: 17436
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20809
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 4030 0 0 0 11969 29 0 0 25 0 1 0 865121196 17854464 3283 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4359 3283 300 300 0 4059 0
vsize: 17436
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20809
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 4218 0 0 0 12968 31 0 0 25 0 1 0 865121196 18395136 3471 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4491 3471 300 300 0 4191 0
vsize: 17964
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20809
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 4397 0 0 0 13966 32 0 0 25 0 1 0 865121196 18800640 3650 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4590 3650 300 300 0 4290 0
vsize: 18360
[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20809
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 4523 0 0 0 14966 34 0 0 25 0 1 0 865121196 18935808 3776 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4623 3776 300 300 0 4323 0
vsize: 18492
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20809
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 4679 0 0 0 15964 36 0 0 25 0 1 0 865121196 19341312 3932 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4722 3932 300 300 0 4422 0
vsize: 18888
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20809
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 4849 0 0 0 16963 37 0 0 25 0 1 0 865121196 19881984 4102 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4854 4102 300 300 0 4554 0
vsize: 19416
[startup+180.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 20811
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 4967 0 0 0 17962 38 0 0 25 0 1 0 865121196 19881984 4220 4294967295 134512640 135726644 3221224576 3221223196 134727353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4854 4220 300 300 0 4554 0
vsize: 19416
[startup+190.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20811
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 5064 0 0 0 18961 39 0 0 25 0 1 0 865121196 19881984 4317 4294967295 134512640 135726644 3221224576 3221223088 134742274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4854 4317 300 300 0 4554 0
vsize: 19416
[startup+200.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20811
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 5165 0 0 0 19960 41 0 0 25 0 1 0 865121196 28405760 4418 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6935 4418 300 300 0 6635 0
vsize: 27740
[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20811
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 5250 0 0 0 20959 42 0 0 25 0 1 0 865121196 28540928 4503 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6968 4503 300 300 0 6668 0
vsize: 27872
[startup+220.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20811
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 5356 0 0 0 21958 43 0 0 25 0 1 0 865121196 28688384 4609 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7004 4609 300 300 0 6704 0
vsize: 28016
[startup+230.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20811
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 5484 0 0 0 22957 44 0 0 25 0 1 0 865121196 28688384 4737 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7004 4737 300 300 0 6704 0
vsize: 28016
[startup+240.023 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 20813
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 6426 0 0 0 23954 47 0 0 25 0 1 0 865121196 32268288 4910 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7878 4910 300 300 0 7578 0
vsize: 31512
[startup+250.023 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 20813
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 6550 0 0 0 24954 48 0 0 25 0 1 0 865121196 32403456 5034 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7911 5034 300 300 0 7611 0
vsize: 31644
[startup+260.023 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 20813
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 6646 0 0 0 25951 50 0 0 25 0 1 0 865121196 32403456 5130 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7911 5130 300 300 0 7611 0
vsize: 31644
[startup+270.024 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 20813
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 6745 0 0 0 26950 52 0 0 25 0 1 0 865121196 32538624 5229 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7944 5229 300 300 0 7644 0
vsize: 31776
[startup+280.024 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 20813
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 6903 0 0 0 27948 54 0 0 25 0 1 0 865121196 33079296 5387 4294967295 134512640 135726644 3221224576 3221223120 134736737 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8076 5387 300 300 0 7776 0
vsize: 32304
[startup+290.024 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 20813
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 7017 0 0 0 28947 55 0 0 25 0 1 0 865121196 33079296 5501 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8076 5501 300 300 0 7776 0
vsize: 32304
[startup+300.025 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 20815
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 7145 0 0 0 29947 56 0 0 25 0 1 0 865121196 33214464 5629 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8109 5629 300 300 0 7809 0
vsize: 32436
[startup+310.025 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 20815
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 7276 0 0 0 30946 57 0 0 25 0 1 0 865121196 33345536 5727 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8141 5727 300 300 0 7841 0
vsize: 32564
[startup+320.039 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 20815
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 7458 0 0 0 31947 57 0 0 25 0 1 0 865121196 33878016 5876 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8271 5876 300 300 0 7971 0
vsize: 33084
[startup+330.053 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 20815
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 7582 0 0 0 32948 58 0 0 25 0 1 0 865121196 34009088 5967 4294967295 134512640 135726644 3221224576 3221223088 134742931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8303 5967 300 300 0 8003 0
vsize: 33212
[startup+340.053 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 20815
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 7725 0 0 0 33947 59 0 0 25 0 1 0 865121196 34140160 6077 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8335 6077 300 300 0 8035 0
vsize: 33340
[startup+350.055 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 20815
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 7858 0 0 0 34945 60 0 0 25 0 1 0 865121196 34271232 6177 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8367 6177 300 300 0 8067 0
vsize: 33468
[startup+360.056 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 20817
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 8054 0 0 0 35944 61 0 0 25 0 1 0 865121196 34799616 6307 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8496 6307 300 300 0 8196 0
vsize: 33984
[startup+370.056 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 20817
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 8133 0 0 0 36943 62 0 0 25 0 1 0 865121196 34799616 6386 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8496 6386 300 300 0 8196 0
vsize: 33984
[startup+380.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20817
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 8321 0 0 0 37942 63 0 0 25 0 1 0 865121196 35192832 6475 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8592 6475 300 300 0 8292 0
vsize: 34368
[startup+390.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20817
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 8440 0 0 0 38940 65 0 0 25 0 1 0 865121196 35323904 6561 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8624 6561 300 300 0 8324 0
vsize: 34496
[startup+400.058 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20817
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 8543 0 0 0 39939 66 0 0 25 0 1 0 865121196 35454976 6631 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8656 6631 300 300 0 8356 0
vsize: 34624
[startup+410.065 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20817
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 8693 0 0 0 40939 67 0 0 25 0 1 0 865121196 35749888 6748 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8728 6748 300 300 0 8428 0
vsize: 34912
[startup+420.073 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20819
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 8799 0 0 0 41939 68 0 0 25 0 1 0 865121196 35880960 6821 4294967295 134512640 135726644 3221224576 3221223200 134744570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8760 6821 300 300 0 8460 0
vsize: 35040
[startup+430.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20819
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 8965 0 0 0 42938 70 0 0 25 0 1 0 865121196 36143104 6921 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8824 6921 300 300 0 8524 0
vsize: 35296
[startup+440.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20819
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 9095 0 0 0 43938 71 0 0 25 0 1 0 865121196 36409344 7051 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8889 7051 300 300 0 8589 0
vsize: 35556
[startup+450.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20819
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 9175 0 0 0 44937 71 0 0 25 0 1 0 865121196 36409344 7131 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8889 7131 300 300 0 8589 0
vsize: 35556
[startup+460.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20819
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 9309 0 0 0 45937 72 0 0 25 0 1 0 865121196 36679680 7265 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8955 7265 300 300 0 8655 0
vsize: 35820
[startup+470.083 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20819
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 9431 0 0 0 46936 73 0 0 25 0 1 0 865121196 36843520 7387 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8995 7387 300 300 0 8695 0
vsize: 35980
[startup+480.083 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20821
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 9502 0 0 0 47936 74 0 0 25 0 1 0 865121196 36843520 7458 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8995 7458 300 300 0 8695 0
vsize: 35980
[startup+490.083 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20821
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 9603 0 0 0 48935 74 0 0 25 0 1 0 865121196 36843520 7559 4294967295 134512640 135726644 3221224576 3221223072 134744214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8995 7559 300 300 0 8695 0
vsize: 35980
[startup+500.084 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20821
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 9741 0 0 0 49934 75 0 0 25 0 1 0 865121196 36974592 7664 4294967295 134512640 135726644 3221224576 3221223088 134742614 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9027 7664 300 300 0 8727 0
vsize: 36108
[startup+510.084 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20821
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 9825 0 0 0 50933 76 0 0 25 0 1 0 865121196 36974592 7748 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9027 7748 300 300 0 8727 0
vsize: 36108
[startup+520.085 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20821
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 9903 0 0 0 51933 77 0 0 25 0 1 0 865121196 37105664 7826 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9059 7826 300 300 0 8759 0
vsize: 36236
[startup+530.086 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20821
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 9986 0 0 0 52930 79 0 0 25 0 1 0 865121196 37105664 7909 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9059 7909 300 300 0 8759 0
vsize: 36236
[startup+540.086 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20823
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10047 0 0 0 53929 80 0 0 25 0 1 0 865121196 37273600 7970 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9100 7970 300 300 0 8800 0
vsize: 36400
[startup+550.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20823
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10107 0 0 0 54929 81 0 0 25 0 1 0 865121196 54050816 8030 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13196 8030 300 300 0 12896 0
vsize: 52784
[startup+560.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20823
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10174 0 0 0 55928 82 0 0 25 0 1 0 865121196 54050816 8097 4294967295 134512640 135726644 3221224576 3221223072 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13196 8097 300 300 0 12896 0
vsize: 52784
[startup+570.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20823
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10244 0 0 0 56927 83 0 0 25 0 1 0 865121196 54050816 8167 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13196 8167 300 300 0 12896 0
vsize: 52784
[startup+580.089 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20823
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10337 0 0 0 57927 83 0 0 25 0 1 0 865121196 54185984 8260 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13229 8260 300 300 0 12929 0
vsize: 52916
[startup+590.089 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20823
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10433 0 0 0 58926 84 0 0 25 0 1 0 865121196 54382592 8356 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13277 8356 300 300 0 12977 0
vsize: 53108
[startup+600.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20825
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10521 0 0 0 59926 85 0 0 25 0 1 0 865121196 54513664 8411 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13309 8411 300 300 0 13009 0
vsize: 53236
[startup+610.091 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20825
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10637 0 0 0 60925 86 0 0 25 0 1 0 865121196 54644736 8494 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13341 8494 300 300 0 13041 0
vsize: 53364
[startup+620.092 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20825
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10768 0 0 0 61924 87 0 0 25 0 1 0 865121196 54775808 8592 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13373 8592 300 300 0 13073 0
vsize: 53492
[startup+630.093 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20825
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10824 0 0 0 62924 87 0 0 25 0 1 0 865121196 54775808 8648 4294967295 134512640 135726644 3221224576 3221223072 134744180 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13373 8648 300 300 0 13073 0
vsize: 53492
[startup+640.092 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20825
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10889 0 0 0 63923 88 0 0 25 0 1 0 865121196 54898688 8713 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13403 8713 300 300 0 13103 0
vsize: 53612
[startup+650.093 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20825
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 10966 0 0 0 64922 89 0 0 25 0 1 0 865121196 55050240 8790 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13440 8790 300 300 0 13140 0
vsize: 53760
[startup+660.094 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20827
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11014 0 0 0 65922 90 0 0 25 0 1 0 865121196 55050240 8838 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13440 8838 300 300 0 13140 0
vsize: 53760
[startup+670.094 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20827
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11113 0 0 0 66922 90 0 0 25 0 1 0 865121196 55050240 8937 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13440 8937 300 300 0 13140 0
vsize: 53760
[startup+680.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20827
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11168 0 0 0 67921 91 0 0 25 0 1 0 865121196 55185408 8992 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 8992 300 300 0 13173 0
vsize: 53892
[startup+690.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20827
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11224 0 0 0 68920 92 0 0 25 0 1 0 865121196 55185408 9048 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 9048 300 300 0 13173 0
vsize: 53892
[startup+700.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20827
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11316 0 0 0 69920 93 0 0 25 0 1 0 865121196 55185408 9140 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 9140 300 300 0 13173 0
vsize: 53892
[startup+710.097 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20827
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11348 0 0 0 70920 93 0 0 25 0 1 0 865121196 55312384 9172 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13504 9172 300 300 0 13204 0
vsize: 54016
[startup+720.097 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20829
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11432 0 0 0 71919 94 0 0 25 0 1 0 865121196 55312384 9256 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13504 9256 300 300 0 13204 0
vsize: 54016
[startup+730.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20829
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11586 0 0 0 72918 96 0 0 25 0 1 0 865121196 55570432 9377 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13567 9377 300 300 0 13267 0
vsize: 54268
[startup+740.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20829
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11639 0 0 0 73917 96 0 0 25 0 1 0 865121196 55570432 9430 4294967295 134512640 135726644 3221224576 3221223120 134736830 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13567 9430 300 300 0 13267 0
vsize: 54268
[startup+750.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20829
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11722 0 0 0 74916 97 0 0 25 0 1 0 865121196 55701504 9480 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13599 9480 300 300 0 13299 0
vsize: 54396
[startup+760.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20829
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11766 0 0 0 75916 98 0 0 25 0 1 0 865121196 55836672 9524 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13632 9524 300 300 0 13332 0
vsize: 54528
[startup+770.1 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20829
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 11779 0 0 0 76915 99 0 0 25 0 1 0 865121196 55836672 9537 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13632 9537 300 300 0 13332 0
vsize: 54528
[startup+780.101 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20831
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13392 0 0 0 77911 103 0 0 25 0 1 0 865121196 62418944 9580 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15239 9580 300 300 0 14939 0
vsize: 60956
[startup+790.101 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20831
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13461 0 0 0 78910 104 0 0 25 0 1 0 865121196 62541824 9649 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9649 300 300 0 14969 0
vsize: 61076
[startup+800.101 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20831
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13502 0 0 0 79909 105 0 0 25 0 1 0 865121196 62541824 9690 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9690 300 300 0 14969 0
vsize: 61076
[startup+810.101 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20831
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13551 0 0 0 80909 105 0 0 25 0 1 0 865121196 62541824 9739 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9739 300 300 0 14969 0
vsize: 61076
[startup+820.102 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20831
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13619 0 0 0 81908 106 0 0 25 0 1 0 865121196 62672896 9807 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 9807 300 300 0 15001 0
vsize: 61204
[startup+830.103 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20831
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13678 0 0 0 82908 107 0 0 25 0 1 0 865121196 62672896 9866 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 9866 300 300 0 15001 0
vsize: 61204
[startup+840.102 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20833
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13733 0 0 0 83907 107 0 0 25 0 1 0 865121196 62672896 9921 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 9921 300 300 0 15001 0
vsize: 61204
[startup+850.103 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20833
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13812 0 0 0 84907 108 0 0 25 0 1 0 865121196 62672896 10000 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 10000 300 300 0 15001 0
vsize: 61204
[startup+860.104 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20833
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13866 0 0 0 85907 109 0 0 25 0 1 0 865121196 62795776 10054 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15331 10054 300 300 0 15031 0
vsize: 61324
[startup+870.104 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20833
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13900 0 0 0 86906 109 0 0 25 0 1 0 865121196 62795776 10088 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15331 10088 300 300 0 15031 0
vsize: 61324
[startup+880.105 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20833
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13924 0 0 0 87906 109 0 0 25 0 1 0 865121196 62795776 10112 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15331 10112 300 300 0 15031 0
vsize: 61324
[startup+890.106 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20833
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13955 0 0 0 88906 110 0 0 25 0 1 0 865121196 62918656 10143 4294967295 134512640 135726644 3221224576 3221223088 134742632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15361 10143 300 300 0 15061 0
vsize: 61444
[startup+900.106 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20835
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 13986 0 0 0 89905 111 0 0 25 0 1 0 865121196 62918656 10174 4294967295 134512640 135726644 3221224576 3221223088 134742630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15361 10174 300 300 0 15061 0
vsize: 61444
[startup+910.106 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20835
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14013 0 0 0 90905 112 0 0 25 0 1 0 865121196 63045632 10201 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15392 10201 300 300 0 15092 0
vsize: 61568
[startup+920.107 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20835
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14075 0 0 0 91904 112 0 0 25 0 1 0 865121196 63045632 10263 4294967295 134512640 135726644 3221224576 3221223088 134742930 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15392 10263 300 300 0 15092 0
vsize: 61568
[startup+930.107 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20835
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14138 0 0 0 92904 113 0 0 25 0 1 0 865121196 63045632 10326 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15392 10326 300 300 0 15092 0
vsize: 61568
[startup+940.107 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20835
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14202 0 0 0 93903 114 0 0 25 0 1 0 865121196 63180800 10390 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10390 300 300 0 15125 0
vsize: 61700
[startup+950.108 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20835
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14270 0 0 0 94903 114 0 0 25 0 1 0 865121196 63180800 10458 4294967295 134512640 135726644 3221224576 3221223200 134779608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10458 300 300 0 15125 0
vsize: 61700
[startup+960.109 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20837
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14323 0 0 0 95903 114 0 0 25 0 1 0 865121196 63180800 10511 4294967295 134512640 135726644 3221224576 3221223088 134742815 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10511 300 300 0 15125 0
vsize: 61700
[startup+970.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20837
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14393 0 0 0 96903 115 0 0 25 0 1 0 865121196 63180800 10581 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10581 300 300 0 15125 0
vsize: 61700
[startup+980.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20837
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14450 0 0 0 97902 115 0 0 25 0 1 0 865121196 63180800 10638 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10638 300 300 0 15125 0
vsize: 61700
[startup+990.112 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20837
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14499 0 0 0 98902 116 0 0 25 0 1 0 865121196 63180800 10687 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10687 300 300 0 15125 0
vsize: 61700
[startup+1000.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20837
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14592 0 0 0 99902 116 0 0 25 0 1 0 865121196 63311872 10780 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15457 10780 300 300 0 15157 0
vsize: 61828
[startup+1010.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20837
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14636 0 0 0 100902 117 0 0 25 0 1 0 865121196 63311872 10824 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15457 10824 300 300 0 15157 0
vsize: 61828
[startup+1020.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20839
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14805 0 0 0 101901 118 0 0 25 0 1 0 865121196 63709184 10928 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15554 10928 300 300 0 15254 0
vsize: 62216
[startup+1030.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20839
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14927 0 0 0 102900 118 0 0 25 0 1 0 865121196 63971328 10985 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15618 10985 300 300 0 15318 0
vsize: 62472
[startup+1040.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20839
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 14987 0 0 0 103900 119 0 0 25 0 1 0 865121196 63971328 11045 4294967295 134512640 135726644 3221224576 3221223088 134742890 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15618 11045 300 300 0 15318 0
vsize: 62472
[startup+1050.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20839
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15107 0 0 0 104899 120 0 0 25 0 1 0 865121196 64233472 11100 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15682 11100 300 300 0 15382 0
vsize: 62728
[startup+1060.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20839
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15238 0 0 0 105898 121 0 0 25 0 1 0 865121196 64634880 11198 4294967295 134512640 135726644 3221224576 3221223072 134744268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15780 11198 300 300 0 15480 0
vsize: 63120
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20839
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15277 0 0 0 106898 121 0 0 25 0 1 0 865121196 64770048 11237 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15813 11237 300 300 0 15513 0
vsize: 63252
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20841
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15299 0 0 0 107897 122 0 0 25 0 1 0 865121196 64909312 11259 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11259 300 300 0 15547 0
vsize: 63388
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20841
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15311 0 0 0 108897 123 0 0 25 0 1 0 865121196 64909312 11271 4294967295 134512640 135726644 3221224576 3221223088 135279381 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11271 300 300 0 15547 0
vsize: 63388
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20841
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15329 0 0 0 109896 124 0 0 25 0 1 0 865121196 64909312 11289 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11289 300 300 0 15547 0
vsize: 63388
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20841
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15355 0 0 0 110896 124 0 0 25 0 1 0 865121196 64909312 11315 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11315 300 300 0 15547 0
vsize: 63388
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20841
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15385 0 0 0 111896 125 0 0 25 0 1 0 865121196 65044480 11345 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15880 11345 300 300 0 15580 0
vsize: 63520
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20841
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15436 0 0 0 112895 125 0 0 25 0 1 0 865121196 65175552 11363 4294967295 134512640 135726644 3221224576 3221223088 134742897 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15912 11363 300 300 0 15612 0
vsize: 63648
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20843
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15641 0 0 0 113894 126 0 0 25 0 1 0 865121196 65970176 11470 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16106 11470 300 300 0 15806 0
vsize: 64424
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20843
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15676 0 0 0 114893 127 0 0 25 0 1 0 865121196 65970176 11505 4294967295 134512640 135726644 3221224576 3221223072 134744189 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16106 11505 300 300 0 15806 0
vsize: 64424
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20843
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15766 0 0 0 115892 128 0 0 25 0 1 0 865121196 66232320 11530 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16170 11530 300 300 0 15870 0
vsize: 64680
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20843
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15778 0 0 0 116892 128 0 0 25 0 1 0 865121196 66232320 11542 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16170 11542 300 300 0 15870 0
vsize: 64680
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20843
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15861 0 0 0 117891 129 0 0 25 0 1 0 865121196 66494464 11560 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16234 11560 300 300 0 15934 0
vsize: 64936
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20843
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15876 0 0 0 118891 129 0 0 25 0 1 0 865121196 66494464 11575 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16234 11575 300 300 0 15934 0
vsize: 64936
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 20845
Raw data (stat): 20805 (pb2sat) R 20804 29618 29617 0 -1 0 15926 0 0 0 119890 130 0 0 25 0 1 0 865121196 66625536 11592 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16266 11592 300 300 0 15966 0
vsize: 65064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 20845
Raw data (stat): 20805 (pb2sat) Z 20804 29618 29617 0 -1 12 15927 0 0 0 119899 132 0 0 25 0 1 0 865121196 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): 1200.24
CPU time (s): 1200.33
CPU user time (s): 1199
CPU system time (s): 1.3288
CPU usage (%): 100.007
Max. virtual memory (Kb): 65064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####