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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
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.01384
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 35359

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-28 12:41:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24599 boxname=wulflinc26 idbench=1071 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 24599
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        727324 kB
Buffers:         32984 kB
Cached:         243372 kB
SwapCached:        744 kB
Active:          21760 kB
Inactive:       256696 kB
HighTotal:      131008 kB
HighFree:        34636 kB
LowTotal:       903652 kB
LowFree:        692688 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            23072 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:01:28 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 24599 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+0.234345 s]  setting bit 5 to 0

Decision: 345/1661	Time: 1.3268/86400
Decision: 345/1661	Time: 1.71174/86400
Decision: 345/1661	Time: 2.15167/86400
Decision: 345/1661	Time: 2.6096/86400
Decision: 345/1661	Time: 3.08353/86400
Decision: 345/1661	Time: 3.58745/86400
Decision: 345/1661	Time: 4.06638/86400
Decision: 345/1661	Time: 4.57331/86400
Decision: 345/1661	Time: 5.10922/86400
Decision: 345/1661	Time: 5.66614/86400
Decision: 345/1661	Time: 6.26505/86400
Decision: 345/1661	Time: 6.80497/86400
Decision: 345/1661	Time: 7.38988/86400
Decision: 345/1661	Time: 7.96079/86400
Decision: 345/1661	Time: 8.51071/86400
Decision: 345/1661	Time: 9.16861/86400
Decision: 345/1661	Time: 9.75952/86400
Decision: 345/1661	Time: 10.4324/86400
Decision: 345/1661	Time: 11.1483/86400
Decision: 345/1661	Time: 11.7872/86400
Decision: 345/1661	Time: 12.5221/86400
Decision: 345/1661	Time: 13.213/86400
Decision: 345/1661	Time: 13.9139/86400
Decision: 345/1661	Time: 14.5798/86400
Decision: 345/1661	Time: 15.3107/86400
Decision: 345/1661	Time: 16.1455/86400
Decision: 345/1661	Time: 16.9224/86400
Decision: 345/1661	Time: 17.7463/86400
Decision: 345/1661	Time: 18.5222/86400
Decision: 345/1661	Time: 19.2571/86400
Decision: 345/1661	Time: 20.1859/86400
Decision: 345/1661	Time: 21.0238/86400
Decision: 345/1661	Time: 21.8517/86400
Decision: 345/1661	Time: 22.7135/86400
Decision: 345/1661	Time: 23.6194/86400
Decision: 345/1661	Time: 24.5003/86400
Decision: 345/1661	Time: 25.4341/86400
Decision: 345/1661	Time: 26.373/86400
Decision: 345/1661	Time: 27.2849/86400
Decision: 345/1661	Time: 28.1877/86400
Decision: 345/1661	Time: 29.0786/86400
Decision: 345/1661	Time: 30.0174/86400
Decision: 345/1661	Time: 30.9663/86400
Decision: 345/1661	Time: 31.8932/86400
Decision: 345/1661	Time: 32.825/86400
Decision: 345/1661	Time: 33.8579/86400
Decision: 345/1661	Time: 34.9077/86400
Decision: 345/1661	Time: 35.9715/86400
Decision: 345/1661	Time: 37.0114/86400
Decision: 345/1661	Time: 38.0452/86400
Decision: 345/1661	Time: 39.149/86400
Decision: 345/1661	Time: 40.1179/86400
Decision: 345/1661	Time: 41.2427/86400
Decision: 345/1661	Time: 42.2666/86400
Decision: 345/1661	Time: 43.3014/86400
Decision: 345/1661	Time: 44.3183/86400
Decision: 345/1661	Time: 45.3181/86400
Decision: 345/1661	Time: 46.4399/86400
Decision: 345/1661	Time: 47.5218/86400
Decision: 345/1661	Time: 48.5976/86400
Decision: 345/1661	Time: 49.7444/86400
Decision: 345/1661	Time: 50.8773/86400
Decision: 345/1661	Time: 52.0521/86400
Decision: 345/1661	Time: 53.1529/86400
Decision: 345/1661	Time: 54.3677/86400
Decision: 345/1661	Time: 55.7845/86400
Decision: 345/1661	Time: 56.9403/86400
Decision: 345/1661	Time: 58.0202/86400
Decision: 345/1661	Time: 59.181/86400
Decision: 345/1661	Time: 60.3218/86400
Decision: 345/1661	Time: 61.5446/86400
Decision: 345/1661	Time: 62.7735/86400
Decision: 345/1661	Time: 63.9423/86400
Decision: 345/1661	Time: 65.0261/86400
Decision: 345/1661	Time: 66.4519/86400
Decision: 345/1661	Time: 67.8497/86400
Decision: 345/1661	Time: 69.0615/86400
Decision: 345/1661	Time: 70.2833/86400
Decision: 345/1661	Time: 71.5401/86400
Decision: 345/1661	Time: 72.7249/86400
Decision: 345/1661	Time: 74.1597/86400
Decision: 345/1661	Time: 75.4795/86400
Decision: 345/1661	Time: 76.8683/86400
Decision: 345/1661	Time: 78.1221/86400
Decision: 345/1661	Time: 79.4919/86400
Decision: 345/1661	Time: 80.9037/86400
Decision: 345/1661	Time: 82.5085/86400
Decision: 345/1661	Time: 83.8593/86400
Decision: 345/1661	Time: 85.338/86400
Decision: 345/1661	Time: 86.6628/86400
Decision: 345/1661	Time: 88.0876/86400
Decision: 345/1661	Time: 89.4484/86400
Decision: 345/1661	Time: 90.8422/86400
Decision: 345/1661	Time: 92.367/86400
Decision: 345/1661	Time: 93.6888/86400
Decision: 345/1661	Time: 95.3385/86400
Decision: 345/1661	Time: 96.9113/86400
Decision: 345/1661	Time: 98.681/86400
Decision: 345/1661	Time: 100.184/86400
Decision: 345/1661	Time: 101.667/86400
Decision: 345/1661	Time: 103.142/86400
Decision: 345/1661	Time: 104.52/86400
Decision: 345/1661	Time: 105.97/86400
Decision: 345/1661	Time: 107.552/86400
Decision: 345/1661	Time: 109.102/86400
Decision: 345/1661	Time: 110.695/86400
Decision: 345/1661	Time: 112.265/86400
Decision: 345/1661	Time: 113.794/86400
Decision: 345/1661	Time: 115.348/86400
Decision: 345/1661	Time: 116.879/86400
Decision: 345/1661	Time: 118.684/86400
Decision: 345/1661	Time: 120.269/86400
Decision: 345/1661	Time: 121.845/86400
Decision: 345/1661	Time: 123.473/86400
Decision: 345/1661	Time: 124.996/86400
Decision: 345/1661	Time: 126.729/86400
Decision: 345/1661	Time: 128.47/86400
Decision: 345/1661	Time: 130.158/86400
Decision: 345/1661	Time: 131.82/86400
Decision: 345/1661	Time: 133.536/86400
Decision: 345/1661	Time: 135.492/86400
Decision: 345/1661	Time: 137.192/86400
Decision: 345/1661	Time: 138.932/86400
Decision: 345/1661	Time: 140.74/86400
Decision: 345/1661	Time: 142.318/86400
Decision: 345/1661	Time: 144.203/86400
Decision: 345/1661	Time: 145.77/86400
Decision: 345/1661	Time: 147.401/86400
Decision: 345/1661	Time: 149.07/86400
Decision: 345/1661	Time: 150.748/86400
Decision: 345/1661	Time: 152.497/86400
Decision: 345/1661	Time: 154.562/86400
Decision: 345/1661	Time: 156.257/86400
Decision: 345/1661	Time: 158.007/86400
Decision: 345/1661	Time: 159.9/86400
Decision: 345/1661	Time: 161.786/86400
Decision: 345/1661	Time: 163.842/86400
Decision: 345/1661	Time: 165.778/86400
Decision: 345/1661	Time: 167.744/86400
Decision: 345/1661	Time: 169.611/86400
Decision: 345/1661	Time: 171.779/86400
Decision: 345/1661	Time: 173.733/86400
Decision: 345/1661	Time: 175.535/86400
Decision: 345/1661	Time: 177.589/86400
Decision: 345/1661	Time: 179.579/86400
Decision: 345/1661	Time: 181.595/86400
Decision: 345/1661	Time: 183.485/86400
Decision: 345/1661	Time: 185.204/86400
Decision: 345/1661	Time: 187.073/86400
Decision: 345/1661	Time: 189.079/86400
Decision: 345/1661	Time: 190.98/86400
Decision: 345/1661	Time: 192.873/86400
Decision: 345/1661	Time: 194.912/86400
Decision: 345/1661	Time: 196.808/86400
Decision: 345/1661	Time: 198.901/86400
Decision: 345/1661	Time: 200.905/86400
Decision: 345/1661	Time: 202.649/86400
Decision: 345/1661	Time: 204.367/86400
Decision: 345/1661	Time: 206.296/86400
Decision: 345/1661	Time: 208.442/86400
Decision: 345/1661	Time: 210.567/86400
Decision: 345/1661	Time: 212.412/86400
Decision: 345/1661	Time: 214.146/86400
Decision: 345/1661	Time: 216.36/86400
Decision: 345/1661	Time: 218.39/86400
Decision: 345/1661	Time: 220.375/86400
Decision: 345/1661	Time: 222.329/86400
Decision: 345/1661	Time: 224.438/86400
Decision: 345/1661	Time: 226.377/86400
Decision: 345/1661	Time: 228.384/86400
Decision: 345/1661	Time: 230.778/86400
Decision: 345/1661	Time: 232.702/86400
Decision: 345/1661	Time: 235.035/86400
Decision: 345/1661	Time: 236.934/86400
Decision: 345/1661	Time: 239.175/86400
Decision: 345/1661	Time: 241.411/86400
Decision: 345/1661	Time: 243.95/86400
Decision: 345/1661	Time: 246.101/86400
Decision: 345/1661	Time: 248.485/86400
Decision: 345/1661	Time: 250.864/86400
Decision: 345/1661	Time: 253.102/86400
Decision: 345/1661	Time: 255.162/86400
Decision: 345/1661	Time: 257.509/86400
Decision: 345/1661	Time: 259.547/86400
Decision: 345/1661	Time: 261.567/86400
Decision: 345/1661	Time: 263.873/86400
Decision: 345/1661	Time: 265.753/86400
Decision: 345/1661	Time: 267.939/86400
Decision: 345/1661	Time: 270.18/86400
Decision: 345/1661	Time: 272.834/86400
Decision: 345/1661	Time: 275.643/86400
Decision: 345/1661	Time: 277.815/86400
Decision: 345/1661	Time: 280.244/86400
Decision: 345/1661	Time: 282.487/86400
Decision: 345/1661	Time: 284.684/86400
Decision: 345/1661	Time: 287.194/86400
Decision: 345/1661	Time: 289.172/86400
Decision: 345/1661	Time: 291.471/86400
Decision: 345/1661	Time: 293.408/86400
Decision: 345/1661	Time: 295.663/86400
Decision: 345/1661	Time: 298.077/86400
Decision: 345/1661	Time: 300.939/86400
Decision: 345/1661	Time: 303.319/86400
Decision: 345/1661	Time: 305.61/86400
Decision: 345/1661	Time: 308.178/86400
Decision: 345/1661	Time: 311.235/86400
Decision: 345/1661	Time: 313.563/86400
Decision: 345/1661	Time: 316.035/86400
Decision: 345/1661	Time: 318.536/86400
Decision: 345/1661	Time: 320.683/86400
Decision: 345/1661	Time: 323.424/86400
Decision: 345/1661	Time: 325.99/86400
Decision: 345/1661	Time: 328.385/86400
Decision: 345/1661	Time: 330.774/86400
Decision: 345/1661	Time: 333.539/86400
Decision: 345/1661	Time: 336.104/86400
Decision: 345/1661	Time: 338.581/86400
Decision: 345/1661	Time: 340.886/86400
Decision: 345/1661	Time: 343.39/86400
Decision: 345/1661	Time: 346.082/86400
Decision: 345/1661	Time: 348.971/86400
Decision: 345/1661	Time: 351.442/86400
Decision: 345/1661	Time: 354.055/86400
Decision: 345/1661	Time: 356.518/86400
Decision: 345/1661	Time: 359.118/86400
Decision: 345/1661	Time: 361.858/86400
Decision: 345/1661	Time: 364.28/86400
Decision: 345/1661	Time: 366.822/86400
Decision: 345/1661	Time: 369.247/86400
Decision: 345/1661	Time: 371.344/86400
Decision: 345/1661	Time: 374.453/86400
Decision: 345/1661	Time: 376.808/86400
Decision: 345/1661	Time: 379.286/86400
Decision: 345/1661	Time: 381.537/86400
Decision: 345/1661	Time: 384.043/86400
Decision: 345/1661	Time: 386.891/86400
Decision: 345/1661	Time: 389.426/86400
Decision: 345/1661	Time: 392.262/86400
Decision: 345/1661	Time: 394.738/86400
Decision: 345/1661	Time: 397.283/86400
Decision: 345/1661	Time: 399.8/86400
Decision: 345/1661	Time: 402.253/86400
Decision: 345/1661	Time: 404.656/86400
Decision: 345/1661	Time: 407.74/86400
Decision: 345/1661	Time: 410.511/86400
Decision: 345/1661	Time: 413.225/86400
Decision: 345/1661	Time: 415.68/86400
Decision: 345/1661	Time: 418.076/86400
Decision: 345/1661	Time: 420.292/86400
Decision: 345/1661	Time: 422.803/86400
Decision: 345/1661	Time: 425.397/86400
Decision: 345/1661	Time: 427.977/86400
Decision: 345/1661	Time: 430.578/86400
Decision: 345/1661	Time: 433.207/86400
Decision: 345/1661	Time: 436.982/86400
Decision: 345/1661	Time: 439.776/86400
Decision: 345/1661	Time: 442.43/86400
Decision: 345/1661	Time: 445.271/86400
Decision: 345/1661	Time: 448.003/86400
Decision: 345/1661	Time: 450.907/86400
Decision: 345/1661	Time: 453.936/86400
Decision: 345/1661	Time: 456.974/86400
Decision: 345/1661	Time: 459.573/86400
Decision: 345/1661	Time: 462.417/86400
Decision: 345/1661	Time: 465.171/86400
Decision: 345/1661	Time: 468.407/86400
Decision: 345/1661	Time: 471.151/86400
Decision: 345/1661	Time: 474.131/86400
Decision: 345/1661	Time: 476.897/86400
Decision: 345/1661	Time: 479.83/86400
Decision: 345/1661	Time: 483.452/86400
Decision: 345/1661	Time: 486.188/86400
Decision: 345/1661	Time: 488.83/86400
Decision: 345/1661	Time: 491.735/86400
Decision: 345/1661	Time: 494.475/86400
Decision: 345/1661	Time: 497.363/86400
Decision: 345/1661	Time: 500.243/86400
Decision: 345/1661	Time: 503.296/86400
Decision: 345/1661	Time: 506.155/86400
Decision: 345/1661	Time: 508.727/86400
Decision: 345/1661	Time: 512.404/86400
Decision: 345/1661	Time: 515.121/86400
Decision: 345/1661	Time: 518.062/86400
Decision: 345/1661	Time: 520.685/86400
Decision: 345/1661	Time: 523.637/86400
Decision: 345/1661	Time: 526.95/86400
Decision: 345/1661	Time: 529.595/86400
Decision: 345/1661	Time: 532.522/86400
Decision: 345/1661	Time: 535.62/86400
Decision: 345/1661	Time: 538.87/86400
Decision: 345/1661	Time: 541.985/86400
Decision: 345/1661	Time: 544.592/86400
Decision: 345/1661	Time: 547.292/86400
Decision: 345/1661	Time: 550.022/86400
Decision: 345/1661	Time: 552.749/86400
Decision: 345/1661	Time: 555.94/86400
Decision: 345/1661	Time: 558.982/86400
Decision: 345/1661	Time: 561.754/86400
Decision: 345/1661	Time: 564.909/86400
Decision: 345/1661	Time: 568.282/86400
Decision: 345/1661	Time: 572.031/86400
Decision: 345/1661	Time: 575.126/86400
Decision: 345/1661	Time: 577.988/86400
Decision: 345/1661	Time: 581.496/86400
Decision: 345/1661	Time: 584.569/86400
Decision: 345/1661	Time: 587.657/86400
Decision: 345/1661	Time: 590.286/86400
Decision: 345/1661	Time: 593.595/86400
Decision: 345/1661	Time: 596.893/86400
Decision: 345/1661	Time: 599.964/86400
Decision: 345/1661	Time: 603.275/86400
Decision: 345/1661	Time: 605.539/86400
Decision: 345/1661	Time: 608.595/86400
Decision: 345/1661	Time: 611.698/86400
Decision: 345/1661	Time: 614.452/86400
Decision: 345/1661	Time: 617.857/86400
Decision: 345/1661	Time: 620.166/86400
Decision: 345/1661	Time: 623.007/86400
Decision: 345/1661	Time: 626.406/86400
Decision: 345/1661	Time: 629.238/86400
Decision: 345/1661	Time: 632.636/86400
Decision: 345/1661	Time: 635.221/86400
Decision: 345/1661	Time: 638.435/86400
Decision: 345/1661	Time: 642.101/86400
Decision: 345/1661	Time: 645.025/86400
Decision: 345/1661	Time: 648.323/86400
Decision: 345/1661	Time: 651.81/86400
Decision: 345/1661	Time: 655.099/86400
Decision: 345/1661	Time: 658.731/86400
Decision: 345/1661	Time: 661.861/86400
Decision: 345/1661	Time: 665.199/86400
Decision: 345/1661	Time: 668.157/86400
Decision: 345/1661	Time: 671.077/86400
Decision: 345/1661	Time: 673.685/86400
Decision: 345/1661	Time: 676.541/86400
Decision: 345/1661	Time: 680.424/86400
Decision: 345/1661	Time: 683.835/86400
Decision: 345/1661	Time: 686.596/86400
Decision: 345/1661	Time: 689.931/86400
Decision: 345/1661	Time: 693.125/86400
Decision: 345/1661	Time: 696.767/86400
Decision: 345/1661	Time: 699.742/86400
Decision: 345/1661	Time: 703.307/86400
Decision: 345/1661	Time: 706.394/86400
Decision: 345/1661	Time: 709.394/86400
Decision: 345/1661	Time: 713.146/86400
Decision: 345/1661	Time: 717.176/86400
Decision: 345/1661	Time: 720.421/86400
Decision: 345/1661	Time: 723.082/86400
Decision: 345/1661	Time: 726.265/86400
Decision: 345/1661	Time: 729.869/86400
Decision: 345/1661	Time: 732.938/86400
Decision: 345/1661	Time: 736.189/86400
Decision: 345/1661	Time: 739.189/86400
Decision: 345/1661	Time: 742.752/86400
Decision: 345/1661	Time: 746.854/86400
Decision: 345/1661	Time: 750.215/86400
Decision: 345/1661	Time: 753.414/86400
Decision: 345/1661	Time: 755.959/86400
Decision: 345/1661	Time: 759.106/86400
Decision: 345/1661	Time: 763.004/86400
Decision: 345/1661	Time: 766.522/86400
Decision: 345/1661	Time: 769.593/86400
Decision: 345/1661	Time: 772.465/86400
Decision: 345/1661	Time: 775.969/86400
Decision: 345/1661	Time: 780.01/86400
Decision: 345/1661	Time: 784.024/86400
Decision: 345/1661	Time: 786.912/86400
Decision: 345/1661	Time: 790.065/86400
Decision: 345/1661	Time: 793.486/86400
Decision: 345/1661	Time: 797.276/86400
Decision: 345/1661	Time: 800.397/86400
Decision: 345/1661	Time: 803.15/86400
Decision: 345/1661	Time: 805.633/86400
Decision: 345/1661	Time: 808.748/86400
Decision: 345/1661	Time: 812.285/86400
Decision: 345/1661	Time: 815.596/86400
Decision: 345/1661	Time: 818.396/86400
Decision: 345/1661	Time: 821.634/86400
Decision: 345/1661	Time: 825.119/86400
Decision: 345/1661	Time: 828.789/86400
Decision: 345/1661	Time: 831.901/86400
Decision: 345/1661	Time: 835.326/86400
Decision: 345/1661	Time: 838.499/86400
Decision: 345/1661	Time: 841.897/86400
Decision: 345/1661	Time: 845.674/86400
Decision: 345/1661	Time: 848.413/86400
Decision: 345/1661	Time: 851.466/86400
Decision: 345/1661	Time: 854.664/86400
Decision: 345/1661	Time: 857.657/86400
Decision: 345/1661	Time: 861.292/86400
Decision: 345/1661	Time: 864.303/86400
Decision: 345/1661	Time: 867.054/86400
Decision: 345/1661	Time: 870.613/86400
Decision: 345/1661	Time: 873.292/86400
Decision: 345/1661	Time: 876.962/86400
Decision: 345/1661	Time: 880.282/86400
Decision: 345/1661	Time: 883.73/86400
Decision: 345/1661	Time: 886.959/86400
Decision: 345/1661	Time: 890.066/86400
Decision: 345/1661	Time: 893.963/86400
Decision: 345/1661	Time: 896.643/86400
Decision: 345/1661	Time: 900.04/86400
Decision: 345/1661	Time: 903.365/86400
Decision: 345/1661	Time: 907.011/86400
Decision: 345/1661	Time: 910.757/86400
Decision: 345/1661	Time: 913.674/86400
Decision: 345/1661	Time: 916.831/86400
Decision: 345/1661	Time: 920.018/86400
Decision: 345/1661	Time: 923.209/86400
Decision: 345/1661	Time: 926.624/86400
Decision: 345/1661	Time: 929.948/86400
Decision: 345/1661	Time: 932.873/86400
Decision: 345/1661	Time: 936.429/86400
Decision: 345/1661	Time: 939.306/86400
Decision: 345/1661	Time: 942.996/86400
Decision: 345/1661	Time: 946.632/86400
Decision: 345/1661	Time: 949.78/86400
Decision: 345/1661	Time: 953.126/86400
Decision: 345/1661	Time: 956.636/86400
Decision: 345/1661	Time: 960.546/86400
Decision: 345/1661	Time: 963.771/86400
Decision: 345/1661	Time: 966.918/86400
Decision: 345/1661	Time: 970.062/86400
Decision: 345/1661	Time: 973.297/86400
Decision: 345/1661	Time: 977.254/86400
Decision: 345/1661	Time: 980.639/86400
Decision: 345/1661	Time: 984.167/86400
Decision: 345/1661	Time: 987.66/86400
Decision: 345/1661	Time: 991.102/86400
Decision: 345/1661	Time: 994.567/86400
Decision: 345/1661	Time: 997.915/86400
Decision: 345/1661	Time: 1001.63/86400
Decision: 345/1661	Time: 1004.74/86400
Decision: 345/1661	Time: 1008.32/86400
Decision: 345/1661	Time: 1012.36/86400
Decision: 345/1661	Time: 1016.07/86400
Decision: 345/1661	Time: 1019.22/86400
Decision: 345/1661	Time: 1022.36/86400
Decision: 345/1661	Time: 1025.72/86400
Decision: 345/1661	Time: 1029.28/86400
Decision: 345/1661	Time: 1032.21/86400
Decision: 345/1661	Time: 1035.49/86400
Decision: 345/1661	Time: 1038.59/86400
Decision: 345/1661	Time: 1042.64/86400
Decision: 345/1661	Time: 1046.31/86400
Decision: 345/1661	Time: 1049.51/86400
Decision: 345/1661	Time: 1052.68/86400
Decision: 345/1661	Time: 1056.02/86400
Decision: 345/1661	Time: 1059.6/86400
Decision: 345/1661	Time: 1063.4/86400
Decision: 345/1661	Time: 1067.25/86400
Decision: 345/1661	Time: 1071.01/86400
Decision: 345/1661	Time: 1074.06/86400
Decision: 345/1661	Time: 1077.47/86400
Decision: 345/1661	Time: 1080.51/86400
Decision: 345/1661	Time: 1083.43/86400
Decision: 345/1661	Time: 1086.67/86400
Decision: 345/1661	Time: 1090.25/86400
Decision: 345/1661	Time: 1093.6/86400
Decision: 345/1661	Time: 1097.12/86400
Decision: 345/1661	Time: 1100.27/86400
Decision: 345/1661	Time: 1103.96/86400
Decision: 345/1661	Time: 1107.35/86400
Decision: 345/1661	Time: 1110.52/86400
Decision: 345/1661	Time: 1114.12/86400
Decision: 345/1661	Time: 1117.98/86400
Decision: 345/1661	Time: 1121.16/86400
Decision: 345/1661	Time: 1125.66/86400
Decision: 345/1661	Time: 1129.53/86400
Decision: 345/1661	Time: 1133.83/86400
Decision: 345/1661	Time: 1137.11/86400
Decision: 345/1661	Time: 1140.54/86400
Decision: 345/1661	Time: 1144.9/86400
Decision: 345/1661	Time: 1148.1/86400
Decision: 345/1661	Time: 1151.83/86400
Decision: 345/1661	Time: 1155.23/86400
Decision: 345/1661	Time: 1158.42/86400
Decision: 345/1661	Time: 1162.05/86400
Decision: 345/1661	Time: 1165.6/86400
Decision: 345/1661	Time: 1169.23/86400
Decision: 345/1661	Time: 1172.07/86400
Decision: 345/1661	Time: 1175.43/86400
Decision: 345/1661	Time: 1178.61/86400
Decision: 345/1661	Time: 1181.97/86400
Decision: 345/1661	Time: 1186.38/86400
Decision: 345/1661	Time: 1189.78/86400
Decision: 345/1661	Time: 1192.72/86400
Decision: 345/1661	Time: 1196.07/86400
Decision: 345/1661	Time: 1199.57/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.84 0.94 0.90 2/54 1984
Raw data (stat): 1984 (runsolver) R 1983 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864888621 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+9.99979 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 1017 0 0 0 994 4 0 0 25 0 1 0 864888621 5480448 848 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1338 848 300 300 0 1038 0
vsize: 5352
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 1359 0 0 0 1990 8 0 0 25 0 1 0 864888621 5922816 1190 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1446 1190 300 300 0 1146 0
vsize: 5784
[startup+30.0017 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 1843 0 0 0 2986 11 0 0 25 0 1 0 864888621 9281536 1481 4294967295 134512640 135726644 3221224576 3221223264 134744884 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2266 1481 300 300 0 1966 0
vsize: 9064
[startup+40.0017 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 2082 0 0 0 3985 13 0 0 25 0 1 0 864888621 9609216 1720 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2346 1720 300 300 0 2046 0
vsize: 9384
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 2371 0 0 0 4983 15 0 0 25 0 1 0 864888621 10297344 2009 4294967295 134512640 135726644 3221224576 3221223072 134744274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2514 2009 300 300 0 2214 0
vsize: 10056
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 2597 0 0 0 5980 18 0 0 25 0 1 0 864888621 10739712 2235 4294967295 134512640 135726644 3221224576 3221223056 134729216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2622 2235 300 300 0 2322 0
vsize: 10488
[startup+70.003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 2796 0 0 0 6978 19 0 0 25 0 1 0 864888621 15327232 2434 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3742 2434 300 300 0 3442 0
vsize: 14968
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 3382 0 0 0 7974 22 0 0 25 0 1 0 864888621 17096704 2635 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4174 2635 300 300 0 3874 0
vsize: 16696
[startup+90.0047 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 3543 0 0 0 8973 23 0 0 25 0 1 0 864888621 17293312 2796 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4222 2796 300 300 0 3922 0
vsize: 16888
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 3721 0 0 0 9972 25 0 0 25 0 1 0 864888621 17428480 2974 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4255 2974 300 300 0 3955 0
vsize: 17020
[startup+110.005 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 3917 0 0 0 10970 27 0 0 25 0 1 0 864888621 17854464 3170 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4359 3170 300 300 0 4059 0
vsize: 17436
[startup+120.006 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 4031 0 0 0 11969 28 0 0 25 0 1 0 864888621 17854464 3284 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4359 3284 300 300 0 4059 0
vsize: 17436
[startup+130.005 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 4224 0 0 0 12967 30 0 0 25 0 1 0 864888621 18395136 3477 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4491 3477 300 300 0 4191 0
vsize: 17964
[startup+140.006 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 4403 0 0 0 13966 32 0 0 25 0 1 0 864888621 18800640 3656 4294967295 134512640 135726644 3221224576 3221223072 134743946 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4590 3656 300 300 0 4290 0
vsize: 18360
[startup+150.007 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 4531 0 0 0 14965 33 0 0 25 0 1 0 864888621 18935808 3784 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4623 3784 300 300 0 4323 0
vsize: 18492
[startup+160.006 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 4687 0 0 0 15963 35 0 0 25 0 1 0 864888621 19341312 3940 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4722 3940 300 300 0 4422 0
vsize: 18888
[startup+170.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 4853 0 0 0 16962 36 0 0 25 0 1 0 864888621 19881984 4106 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4854 4106 300 300 0 4554 0
vsize: 19416
[startup+180.009 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 4970 0 0 0 17961 38 0 0 25 0 1 0 864888621 19881984 4223 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4854 4223 300 300 0 4554 0
vsize: 19416
[startup+190.01 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 5095 0 0 0 18960 39 0 0 25 0 1 0 864888621 28405760 4348 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6935 4348 300 300 0 6635 0
vsize: 27740
[startup+200.01 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 5176 0 0 0 19959 40 0 0 25 0 1 0 864888621 28405760 4429 4294967295 134512640 135726644 3221224576 3221223072 134744145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6935 4429 300 300 0 6635 0
vsize: 27740
[startup+210.01 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 5263 0 0 0 20958 42 0 0 25 0 1 0 864888621 28540928 4516 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6968 4516 300 300 0 6668 0
vsize: 27872
[startup+220.01 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 5372 0 0 0 21957 43 0 0 25 0 1 0 864888621 28688384 4625 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7004 4625 300 300 0 6704 0
vsize: 28016
[startup+230.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 5503 0 0 0 22956 44 0 0 25 0 1 0 864888621 28688384 4756 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7004 4756 300 300 0 6704 0
vsize: 28016
[startup+240.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 6434 0 0 0 23952 48 0 0 25 0 1 0 864888621 32268288 4918 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7878 4918 300 300 0 7578 0
vsize: 31512
[startup+250.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 6566 0 0 0 24950 50 0 0 25 0 1 0 864888621 32403456 5050 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7911 5050 300 300 0 7611 0
vsize: 31644
[startup+260.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 6658 0 0 0 25950 50 0 0 25 0 1 0 864888621 32403456 5142 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7911 5142 300 300 0 7611 0
vsize: 31644
[startup+270.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 6781 0 0 0 26949 51 0 0 25 0 1 0 864888621 32673792 5265 4294967295 134512640 135726644 3221224576 3221223168 134760410 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7977 5265 300 300 0 7677 0
vsize: 31908
[startup+280.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 6919 0 0 0 27949 52 0 0 25 0 1 0 864888621 33079296 5403 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8076 5403 300 300 0 7776 0
vsize: 32304
[startup+290.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 7019 0 0 0 28948 53 0 0 25 0 1 0 864888621 33079296 5503 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8076 5503 300 300 0 7776 0
vsize: 32304
[startup+300.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 7186 0 0 0 29947 54 0 0 25 0 1 0 864888621 33345536 5637 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8141 5637 300 300 0 7841 0
vsize: 32564
[startup+310.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 7353 0 0 0 30946 55 0 0 25 0 1 0 864888621 33611776 5771 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8206 5771 300 300 0 7906 0
vsize: 32824
[startup+320.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 7471 0 0 0 31945 57 0 0 25 0 1 0 864888621 33878016 5889 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8271 5889 300 300 0 7971 0
vsize: 33084
[startup+330.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 7604 0 0 0 32944 58 0 0 25 0 1 0 864888621 34009088 5989 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8303 5989 300 300 0 8003 0
vsize: 33212
[startup+340.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 7737 0 0 0 33943 59 0 0 25 0 1 0 864888621 34140160 6089 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8335 6089 300 300 0 8035 0
vsize: 33340
[startup+350.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 7901 0 0 0 34942 60 0 0 25 0 1 0 864888621 34402304 6187 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8399 6187 300 300 0 8099 0
vsize: 33596
[startup+360.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 8073 0 0 0 35941 61 0 0 25 0 1 0 864888621 34799616 6326 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8496 6326 300 300 0 8196 0
vsize: 33984
[startup+370.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 8192 0 0 0 36940 62 0 0 25 0 1 0 864888621 34930688 6412 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8528 6412 300 300 0 8228 0
vsize: 34112
[startup+380.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 8329 0 0 0 37940 63 0 0 25 0 1 0 864888621 35192832 6483 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8592 6483 300 300 0 8292 0
vsize: 34368
[startup+390.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 8480 0 0 0 38939 65 0 0 25 0 1 0 864888621 35454976 6568 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8656 6568 300 300 0 8356 0
vsize: 34624
[startup+400.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 8567 0 0 0 39938 65 0 0 25 0 1 0 864888621 35454976 6655 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8656 6655 300 300 0 8356 0
vsize: 34624
[startup+410.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 8717 0 0 0 40937 66 0 0 25 0 1 0 864888621 35749888 6772 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8728 6772 300 300 0 8428 0
vsize: 34912
[startup+420.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 8828 0 0 0 41936 68 0 0 25 0 1 0 864888621 35880960 6850 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8760 6850 300 300 0 8460 0
vsize: 35040
[startup+430.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 8977 0 0 0 42935 69 0 0 25 0 1 0 864888621 36274176 6933 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8856 6933 300 300 0 8556 0
vsize: 35424
[startup+440.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 9124 0 0 0 43935 70 0 0 25 0 1 0 864888621 36409344 7080 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8889 7080 300 300 0 8589 0
vsize: 35556
[startup+450.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 9204 0 0 0 44933 71 0 0 25 0 1 0 864888621 36409344 7160 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8889 7160 300 300 0 8589 0
vsize: 35556
[startup+460.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 9341 0 0 0 45933 72 0 0 25 0 1 0 864888621 36679680 7297 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8955 7297 300 300 0 8655 0
vsize: 35820
[startup+470.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 9445 0 0 0 46932 73 0 0 25 0 1 0 864888621 36843520 7401 4294967295 134512640 135726644 3221224576 3221223072 134744184 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8995 7401 300 300 0 8695 0
vsize: 35980
[startup+480.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 9536 0 0 0 47931 74 0 0 25 0 1 0 864888621 36843520 7492 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8995 7492 300 300 0 8695 0
vsize: 35980
[startup+490.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 9636 0 0 0 48930 75 0 0 25 0 1 0 864888621 36843520 7592 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8995 7592 300 300 0 8695 0
vsize: 35980
[startup+500.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 9756 0 0 0 49930 76 0 0 25 0 1 0 864888621 36974592 7679 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9027 7679 300 300 0 8727 0
vsize: 36108
[startup+510.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 9862 0 0 0 50929 76 0 0 25 0 1 0 864888621 37105664 7785 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9059 7785 300 300 0 8759 0
vsize: 36236
[startup+520.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 9923 0 0 0 51929 77 0 0 25 0 1 0 864888621 37105664 7846 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9059 7846 300 300 0 8759 0
vsize: 36236
[startup+530.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10003 0 0 0 52928 78 0 0 25 0 1 0 864888621 37105664 7926 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9059 7926 300 300 0 8759 0
vsize: 36236
[startup+540.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10079 0 0 0 53928 79 0 0 25 0 1 0 864888621 37273600 8002 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9100 8002 300 300 0 8800 0
vsize: 36400
[startup+550.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10117 0 0 0 54927 80 0 0 25 0 1 0 864888621 54050816 8040 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13196 8040 300 300 0 12896 0
vsize: 52784
[startup+560.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10183 0 0 0 55927 80 0 0 25 0 1 0 864888621 54050816 8106 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13196 8106 300 300 0 12896 0
vsize: 52784
[startup+570.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10295 0 0 0 56926 80 0 0 25 0 1 0 864888621 54185984 8218 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13229 8218 300 300 0 12929 0
vsize: 52916
[startup+580.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10361 0 0 0 57926 81 0 0 25 0 1 0 864888621 54185984 8284 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13229 8284 300 300 0 12929 0
vsize: 52916
[startup+590.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10483 0 0 0 58926 82 0 0 25 0 1 0 864888621 54513664 8373 4294967295 134512640 135726644 3221224576 3221223088 134742787 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13309 8373 300 300 0 13009 0
vsize: 53236
[startup+600.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10587 0 0 0 59925 82 0 0 25 0 1 0 864888621 54644736 8444 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13341 8444 300 300 0 13041 0
vsize: 53364
[startup+610.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10696 0 0 0 60924 84 0 0 25 0 1 0 864888621 54775808 8520 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13373 8520 300 300 0 13073 0
vsize: 53492
[startup+620.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10790 0 0 0 61923 85 0 0 25 0 1 0 864888621 54775808 8614 4294967295 134512640 135726644 3221224576 3221223088 134742611 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13373 8614 300 300 0 13073 0
vsize: 53492
[startup+630.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10858 0 0 0 62922 86 0 0 25 0 1 0 864888621 54898688 8682 4294967295 134512640 135726644 3221224576 3221223072 134744120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13403 8682 300 300 0 13103 0
vsize: 53612
[startup+640.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10913 0 0 0 63922 86 0 0 25 0 1 0 864888621 54898688 8737 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13403 8737 300 300 0 13103 0
vsize: 53612
[startup+650.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 10991 0 0 0 64921 88 0 0 25 0 1 0 864888621 55050240 8815 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13440 8815 300 300 0 13140 0
vsize: 53760
[startup+660.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11057 0 0 0 65920 89 0 0 25 0 1 0 864888621 55050240 8881 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13440 8881 300 300 0 13140 0
vsize: 53760
[startup+670.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11143 0 0 0 66920 89 0 0 25 0 1 0 864888621 55185408 8967 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 8967 300 300 0 13173 0
vsize: 53892
[startup+680.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11208 0 0 0 67919 90 0 0 25 0 1 0 864888621 55185408 9032 4294967295 134512640 135726644 3221224576 3221223088 134742609 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 9032 300 300 0 13173 0
vsize: 53892
[startup+690.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11257 0 0 0 68919 91 0 0 25 0 1 0 864888621 55185408 9081 4294967295 134512640 135726644 3221224576 3221223088 134742580 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 9081 300 300 0 13173 0
vsize: 53892
[startup+700.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11330 0 0 0 69917 92 0 0 25 0 1 0 864888621 55185408 9154 4294967295 134512640 135726644 3221224576 3221223072 134744214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13473 9154 300 300 0 13173 0
vsize: 53892
[startup+710.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11395 0 0 0 70917 93 0 0 25 0 1 0 864888621 55312384 9219 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13504 9219 300 300 0 13204 0
vsize: 54016
[startup+720.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11505 0 0 0 71916 94 0 0 25 0 1 0 864888621 55312384 9329 4294967295 134512640 135726644 3221224576 3221223088 134742931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13504 9329 300 300 0 13204 0
vsize: 54016
[startup+730.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11628 0 0 0 72915 95 0 0 25 0 1 0 864888621 55570432 9419 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13567 9419 300 300 0 13267 0
vsize: 54268
[startup+740.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11652 0 0 0 73915 95 0 0 25 0 1 0 864888621 55570432 9443 4294967295 134512640 135726644 3221224576 3221223132 134736791 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13567 9443 300 300 0 13267 0
vsize: 54268
[startup+750.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11741 0 0 0 74914 96 0 0 25 0 1 0 864888621 55701504 9499 4294967295 134512640 135726644 3221224576 3221223088 134742647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13599 9499 300 300 0 13299 0
vsize: 54396
[startup+760.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 11774 0 0 0 75913 97 0 0 25 0 1 0 864888621 55836672 9532 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13632 9532 300 300 0 13332 0
vsize: 54528
[startup+770.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13346 0 0 0 76909 101 0 0 25 0 1 0 864888621 62287872 9567 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15207 9567 300 300 0 14907 0
vsize: 60828
[startup+780.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13430 0 0 0 77909 102 0 0 25 0 1 0 864888621 62541824 9618 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9618 300 300 0 14969 0
vsize: 61076
[startup+790.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13471 0 0 0 78909 103 0 0 25 0 1 0 864888621 62541824 9659 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9659 300 300 0 14969 0
vsize: 61076
[startup+800.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13531 0 0 0 79908 104 0 0 25 0 1 0 864888621 62541824 9719 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9719 300 300 0 14969 0
vsize: 61076
[startup+810.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13597 0 0 0 80907 105 0 0 25 0 1 0 864888621 62541824 9785 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15269 9785 300 300 0 14969 0
vsize: 61076
[startup+820.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13640 0 0 0 81907 105 0 0 25 0 1 0 864888621 62672896 9828 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 9828 300 300 0 15001 0
vsize: 61204
[startup+830.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13719 0 0 0 82906 106 0 0 25 0 1 0 864888621 62672896 9907 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 9907 300 300 0 15001 0
vsize: 61204
[startup+840.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13780 0 0 0 83905 107 0 0 25 0 1 0 864888621 62672896 9968 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15301 9968 300 300 0 15001 0
vsize: 61204
[startup+850.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13859 0 0 0 84905 107 0 0 25 0 1 0 864888621 62795776 10047 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15331 10047 300 300 0 15031 0
vsize: 61324
[startup+860.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13892 0 0 0 85905 108 0 0 25 0 1 0 864888621 62795776 10080 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15331 10080 300 300 0 15031 0
vsize: 61324
[startup+870.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13915 0 0 0 86904 109 0 0 25 0 1 0 864888621 62795776 10103 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15331 10103 300 300 0 15031 0
vsize: 61324
[startup+880.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13935 0 0 0 87904 109 0 0 25 0 1 0 864888621 62918656 10123 4294967295 134512640 135726644 3221224576 3221223088 134742787 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15361 10123 300 300 0 15061 0
vsize: 61444
[startup+890.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 13977 0 0 0 88904 110 0 0 25 0 1 0 864888621 62918656 10165 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15361 10165 300 300 0 15061 0
vsize: 61444
[startup+900.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14005 0 0 0 89903 111 0 0 25 0 1 0 864888621 62918656 10193 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15361 10193 300 300 0 15061 0
vsize: 61444
[startup+910.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14068 0 0 0 90903 111 0 0 25 0 1 0 864888621 63045632 10256 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15392 10256 300 300 0 15092 0
vsize: 61568
[startup+920.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14106 0 0 0 91902 112 0 0 25 0 1 0 864888621 63045632 10294 4294967295 134512640 135726644 3221224576 3221223088 134742630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15392 10294 300 300 0 15092 0
vsize: 61568
[startup+930.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14193 0 0 0 92902 113 0 0 25 0 1 0 864888621 63180800 10381 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10381 300 300 0 15125 0
vsize: 61700
[startup+940.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14246 0 0 0 93902 113 0 0 25 0 1 0 864888621 63180800 10434 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10434 300 300 0 15125 0
vsize: 61700
[startup+950.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14295 0 0 0 94901 113 0 0 25 0 1 0 864888621 63180800 10483 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10483 300 300 0 15125 0
vsize: 61700
[startup+960.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14388 0 0 0 95901 115 0 0 25 0 1 0 864888621 63180800 10576 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10576 300 300 0 15125 0
vsize: 61700
[startup+970.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14425 0 0 0 96901 115 0 0 25 0 1 0 864888621 63180800 10613 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10613 300 300 0 15125 0
vsize: 61700
[startup+980.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14485 0 0 0 97901 116 0 0 25 0 1 0 864888621 63180800 10673 4294967295 134512640 135726644 3221224576 3221223120 134736681 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15425 10673 300 300 0 15125 0
vsize: 61700
[startup+990.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14570 0 0 0 98900 116 0 0 25 0 1 0 864888621 63311872 10758 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15457 10758 300 300 0 15157 0
vsize: 61828
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14623 0 0 0 99900 117 0 0 25 0 1 0 864888621 63311872 10811 4294967295 134512640 135726644 3221224576 3221223072 134744206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15457 10811 300 300 0 15157 0
vsize: 61828
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14724 0 0 0 100900 118 0 0 25 0 1 0 864888621 63447040 10912 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15490 10912 300 300 0 15190 0
vsize: 61960
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14908 0 0 0 101899 119 0 0 25 0 1 0 864888621 63971328 10966 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15618 10966 300 300 0 15318 0
vsize: 62472
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 14983 0 0 0 102899 120 0 0 25 0 1 0 864888621 63971328 11041 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15618 11041 300 300 0 15318 0
vsize: 62472
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15087 0 0 0 103898 121 0 0 25 0 1 0 864888621 64233472 11080 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15682 11080 300 300 0 15382 0
vsize: 62728
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15235 0 0 0 104897 122 0 0 25 0 1 0 864888621 64634880 11195 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15780 11195 300 300 0 15480 0
vsize: 63120
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15275 0 0 0 105897 122 0 0 25 0 1 0 864888621 64770048 11235 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15813 11235 300 300 0 15513 0
vsize: 63252
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15297 0 0 0 106896 123 0 0 25 0 1 0 864888621 64909312 11257 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11257 300 300 0 15547 0
vsize: 63388
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15310 0 0 0 107896 123 0 0 25 0 1 0 864888621 64909312 11270 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11270 300 300 0 15547 0
vsize: 63388
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15327 0 0 0 108896 124 0 0 25 0 1 0 864888621 64909312 11287 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11287 300 300 0 15547 0
vsize: 63388
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15350 0 0 0 109897 125 0 0 25 0 1 0 864888621 64909312 11310 4294967295 134512640 135726644 3221224576 3221223088 134742939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15847 11310 300 300 0 15547 0
vsize: 63388
[startup+1110.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1984
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15384 0 0 0 110898 126 0 0 25 0 1 0 864888621 65044480 11344 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15880 11344 300 300 0 15580 0
vsize: 63520
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 1985
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15435 0 0 0 111898 126 0 0 25 0 1 0 864888621 65175552 11362 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15912 11362 300 300 0 15612 0
vsize: 63648
[startup+1130.1 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 2037
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15601 0 0 0 112896 127 0 0 25 0 1 0 864888621 65703936 11430 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16041 11430 300 300 0 15741 0
vsize: 64164
[startup+1140.1 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 2037
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15675 0 0 0 113896 128 0 0 25 0 1 0 864888621 65970176 11504 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16106 11504 300 300 0 15806 0
vsize: 64424
[startup+1150.1 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 2037
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15765 0 0 0 114895 129 0 0 25 0 1 0 864888621 66232320 11529 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16170 11529 300 300 0 15870 0
vsize: 64680
[startup+1160.1 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 2037
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15776 0 0 0 115895 129 0 0 25 0 1 0 864888621 66232320 11540 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16170 11540 300 300 0 15870 0
vsize: 64680
[startup+1170.1 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 2037
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15859 0 0 0 116895 130 0 0 25 0 1 0 864888621 66494464 11558 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16234 11558 300 300 0 15934 0
vsize: 64936
[startup+1180.1 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 2037
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15875 0 0 0 117894 130 0 0 25 0 1 0 864888621 66494464 11574 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16234 11574 300 300 0 15934 0
vsize: 64936
[startup+1190.1 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 2039
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15925 0 0 0 118894 131 0 0 25 0 1 0 864888621 66625536 11591 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16266 11591 300 300 0 15966 0
vsize: 65064
[startup+1200.1 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 2039
Raw data (stat): 1984 (pb2sat) R 1983 20687 20686 0 -1 0 15950 0 0 0 119893 131 0 0 25 0 1 0 864888621 66625536 11616 4294967295 134512640 135726644 3221224576 3221223184 134741244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16266 11616 300 300 0 15966 0
vsize: 65064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.02 0.99 0.92 1/54 2039
Raw data (stat): 1984 (pb2sat) Z 1983 20687 20686 0 -1 12 15951 0 0 0 119902 134 0 0 25 0 1 0 864888621 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.22
CPU time (s): 1200.37
CPU user time (s): 1199.03
CPU system time (s): 1.3428
CPU usage (%): 100.013
Max. virtual memory (Kb): 65064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####