PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/een/normalized-stein45.opb
MD5SUM	34647f6a75058de4a92f0ff94f3c9005
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.01484
Number of variables	45
Total number of constraints	331
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	45
Trace number 35130

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        929288 kB
Buffers:         33028 kB
Cached:          50484 kB
SwapCached:        604 kB
Active:          44772 kB
Inactive:        40776 kB
HighTotal:      131008 kB
HighFree:        78484 kB
LowTotal:       903652 kB
LowFree:        850804 kB
SwapTotal:     2097136 kB
SwapFree:      2095616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            14368 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:19:11 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 24327 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+0.216039 s]  setting bit 5 to 0

Decision: 336/1661	Time: 4.90125/86400
Decision: 336/1661	Time: 5.36519/86400
Decision: 336/1661	Time: 5.82012/86400
Decision: 336/1661	Time: 6.30904/86400
Decision: 345/1661	Time: 7.09892/86400
Decision: 345/1661	Time: 7.65084/86400
Decision: 345/1661	Time: 8.25974/86400
Decision: 345/1661	Time: 8.83166/86400
Decision: 345/1661	Time: 9.36658/86400
Decision: 345/1661	Time: 9.99348/86400
Decision: 345/1661	Time: 10.6424/86400
Decision: 345/1661	Time: 11.2253/86400
Decision: 345/1661	Time: 11.9002/86400
Decision: 345/1661	Time: 12.6501/86400
Decision: 345/1661	Time: 13.324/86400
Decision: 345/1661	Time: 14.0309/86400
Decision: 345/1661	Time: 14.7798/86400
Decision: 345/1661	Time: 15.4407/86400
Decision: 345/1661	Time: 16.1675/86400
Decision: 345/1661	Time: 16.9394/86400
Decision: 345/1661	Time: 17.7593/86400
Decision: 345/1661	Time: 18.5612/86400
Decision: 345/1661	Time: 19.3501/86400
Decision: 345/1661	Time: 20.1529/86400
Decision: 345/1661	Time: 20.9058/86400
Decision: 345/1661	Time: 21.7907/86400
Decision: 345/1661	Time: 22.5986/86400
Decision: 345/1661	Time: 23.4374/86400
Decision: 345/1661	Time: 24.2653/86400
Decision: 345/1661	Time: 25.2862/86400
Decision: 345/1661	Time: 26.246/86400
Decision: 345/1661	Time: 27.1229/86400
Decision: 345/1661	Time: 28.0517/86400
Decision: 345/1661	Time: 28.8036/86400
Decision: 345/1661	Time: 29.7295/86400
Decision: 345/1661	Time: 30.7413/86400
Decision: 345/1661	Time: 31.7102/86400
Decision: 345/1661	Time: 32.752/86400
Decision: 345/1661	Time: 33.6629/86400
Decision: 345/1661	Time: 34.6837/86400
Decision: 345/1661	Time: 35.7416/86400
Decision: 345/1661	Time: 36.7864/86400
Decision: 345/1661	Time: 37.8203/86400
Decision: 345/1661	Time: 38.9431/86400
Decision: 345/1661	Time: 39.9869/86400
Decision: 345/1661	Time: 41.1477/86400
Decision: 345/1661	Time: 42.1566/86400
Decision: 345/1661	Time: 43.2824/86400
Decision: 345/1661	Time: 44.4342/86400
Decision: 345/1661	Time: 45.4891/86400
Decision: 345/1661	Time: 46.6639/86400
Decision: 345/1661	Time: 47.8027/86400
Decision: 345/1661	Time: 48.9216/86400
Decision: 345/1661	Time: 50.0974/86400
Decision: 345/1661	Time: 51.2172/86400
Decision: 345/1661	Time: 52.461/86400
Decision: 345/1661	Time: 53.6978/86400
Decision: 345/1661	Time: 54.9566/86400
Decision: 345/1661	Time: 56.2494/86400
Decision: 345/1661	Time: 57.5463/86400
Decision: 345/1661	Time: 59.045/86400
Decision: 345/1661	Time: 60.1319/86400
Decision: 345/1661	Time: 61.4477/86400
Decision: 345/1661	Time: 62.7605/86400
Decision: 345/1661	Time: 63.9663/86400
Decision: 345/1661	Time: 65.3221/86400
Decision: 345/1661	Time: 66.7639/86400
Decision: 345/1661	Time: 67.9917/86400
Decision: 345/1661	Time: 69.4894/86400
Decision: 345/1661	Time: 70.8852/86400
Decision: 345/1661	Time: 72.308/86400
Decision: 345/1661	Time: 73.6678/86400
Decision: 345/1661	Time: 74.9476/86400
Decision: 345/1661	Time: 76.1414/86400
Decision: 345/1661	Time: 77.6512/86400
Decision: 345/1661	Time: 79.11/86400
Decision: 345/1661	Time: 80.3538/86400
Decision: 345/1661	Time: 81.7146/86400
Decision: 345/1661	Time: 83.1684/86400
Decision: 345/1661	Time: 84.4812/86400
Decision: 345/1661	Time: 86.1139/86400
Decision: 345/1661	Time: 87.5137/86400
Decision: 345/1661	Time: 89.1944/86400
Decision: 345/1661	Time: 90.8832/86400
Decision: 345/1661	Time: 92.324/86400
Decision: 345/1661	Time: 93.7567/86400
Decision: 345/1661	Time: 95.1795/86400
Decision: 345/1661	Time: 96.9183/86400
Decision: 345/1661	Time: 98.3071/86400
Decision: 345/1661	Time: 99.8778/86400
Decision: 345/1661	Time: 101.552/86400
Decision: 345/1661	Time: 102.926/86400
Decision: 345/1661	Time: 104.442/86400
Decision: 345/1661	Time: 106.071/86400
Decision: 345/1661	Time: 107.681/86400
Decision: 345/1661	Time: 109.555/86400
Decision: 345/1661	Time: 111.242/86400
Decision: 345/1661	Time: 112.747/86400
Decision: 345/1661	Time: 114.207/86400
Decision: 345/1661	Time: 115.74/86400
Decision: 345/1661	Time: 117.524/86400
Decision: 345/1661	Time: 119.052/86400
Decision: 345/1661	Time: 120.642/86400
Decision: 345/1661	Time: 122.512/86400
Decision: 345/1661	Time: 124.134/86400
Decision: 345/1661	Time: 125.877/86400
Decision: 345/1661	Time: 127.469/86400
Decision: 345/1661	Time: 129.209/86400
Decision: 345/1661	Time: 130.816/86400
Decision: 345/1661	Time: 132.561/86400
Decision: 345/1661	Time: 134.481/86400
Decision: 345/1661	Time: 136.024/86400
Decision: 345/1661	Time: 137.911/86400
Decision: 345/1661	Time: 139.516/86400
Decision: 345/1661	Time: 141.464/86400
Decision: 345/1661	Time: 143.261/86400
Decision: 345/1661	Time: 144.904/86400
Decision: 345/1661	Time: 146.798/86400
Decision: 345/1661	Time: 148.751/86400
Decision: 345/1661	Time: 150.577/86400
Decision: 345/1661	Time: 152.518/86400
Decision: 345/1661	Time: 154.265/86400
Decision: 345/1661	Time: 156.186/86400
Decision: 345/1661	Time: 157.891/86400
Decision: 345/1661	Time: 159.871/86400
Decision: 345/1661	Time: 161.83/86400
Decision: 345/1661	Time: 163.541/86400
Decision: 345/1661	Time: 165.343/86400
Decision: 345/1661	Time: 166.996/86400
Decision: 345/1661	Time: 168.833/86400
Decision: 345/1661	Time: 170.912/86400
Decision: 345/1661	Time: 172.888/86400
Decision: 345/1661	Time: 174.49/86400
Decision: 345/1661	Time: 176.295/86400
Decision: 345/1661	Time: 178.254/86400
Decision: 345/1661	Time: 180.296/86400
Decision: 345/1661	Time: 182.267/86400
Decision: 345/1661	Time: 184.064/86400
Decision: 345/1661	Time: 185.999/86400
Decision: 345/1661	Time: 187.991/86400
Decision: 345/1661	Time: 190.125/86400
Decision: 345/1661	Time: 192.57/86400
Decision: 345/1661	Time: 194.398/86400
Decision: 345/1661	Time: 196.08/86400
Decision: 345/1661	Time: 198.201/86400
Decision: 345/1661	Time: 200.435/86400
Decision: 345/1661	Time: 202.334/86400
Decision: 345/1661	Time: 204.346/86400
Decision: 345/1661	Time: 206.407/86400
Decision: 345/1661	Time: 208.483/86400
Decision: 345/1661	Time: 211.05/86400
Decision: 345/1661	Time: 212.967/86400
Decision: 345/1661	Time: 215.1/86400
Decision: 345/1661	Time: 217.114/86400
Decision: 345/1661	Time: 219.625/86400
Decision: 345/1661	Time: 221.916/86400
Decision: 345/1661	Time: 224.097/86400
Decision: 345/1661	Time: 226.1/86400
Decision: 345/1661	Time: 228.298/86400
Decision: 345/1661	Time: 230.3/86400
Decision: 345/1661	Time: 232.542/86400
Decision: 345/1661	Time: 234.793/86400
Decision: 345/1661	Time: 237.036/86400
Decision: 345/1661	Time: 239.138/86400
Decision: 345/1661	Time: 241.108/86400
Decision: 345/1661	Time: 243.513/86400
Decision: 345/1661	Time: 245.686/86400
Decision: 345/1661	Time: 247.968/86400
Decision: 345/1661	Time: 250.245/86400
Decision: 345/1661	Time: 252.211/86400
Decision: 345/1661	Time: 254.498/86400
Decision: 345/1661	Time: 256.428/86400
Decision: 345/1661	Time: 258.617/86400
Decision: 345/1661	Time: 260.537/86400
Decision: 345/1661	Time: 262.707/86400
Decision: 345/1661	Time: 265.43/86400
Decision: 345/1661	Time: 267.512/86400
Decision: 345/1661	Time: 269.849/86400
Decision: 345/1661	Time: 271.997/86400
Decision: 345/1661	Time: 274.159/86400
Decision: 345/1661	Time: 276.81/86400
Decision: 345/1661	Time: 278.887/86400
Decision: 345/1661	Time: 281.096/86400
Decision: 345/1661	Time: 283.79/86400
Decision: 345/1661	Time: 286.072/86400
Decision: 345/1661	Time: 288.431/86400
Decision: 345/1661	Time: 290.644/86400
Decision: 345/1661	Time: 292.882/86400
Decision: 345/1661	Time: 295.347/86400
Decision: 345/1661	Time: 297.878/86400
Decision: 345/1661	Time: 300.004/86400
Decision: 345/1661	Time: 302.347/86400
Decision: 345/1661	Time: 304.635/86400
Decision: 345/1661	Time: 306.903/86400
Decision: 345/1661	Time: 309.111/86400
Decision: 345/1661	Time: 311.632/86400
Decision: 345/1661	Time: 314.234/86400
Decision: 345/1661	Time: 317.175/86400
Decision: 345/1661	Time: 319.582/86400
Decision: 345/1661	Time: 322.058/86400
Decision: 345/1661	Time: 324.78/86400
Decision: 345/1661	Time: 327.368/86400
Decision: 345/1661	Time: 329.704/86400
Decision: 345/1661	Time: 332.271/86400
Decision: 345/1661	Time: 334.424/86400
Decision: 345/1661	Time: 337.258/86400
Decision: 345/1661	Time: 339.548/86400
Decision: 345/1661	Time: 342.023/86400
Decision: 345/1661	Time: 344.171/86400
Decision: 345/1661	Time: 346.458/86400
Decision: 345/1661	Time: 349.02/86400
Decision: 345/1661	Time: 351.255/86400
Decision: 345/1661	Time: 353.583/86400
Decision: 345/1661	Time: 355.627/86400
Decision: 345/1661	Time: 357.779/86400
Decision: 345/1661	Time: 360.448/86400
Decision: 345/1661	Time: 362.926/86400
Decision: 345/1661	Time: 365.104/86400
Decision: 345/1661	Time: 367.298/86400
Decision: 345/1661	Time: 369.648/86400
Decision: 345/1661	Time: 372.394/86400
Decision: 345/1661	Time: 374.688/86400
Decision: 345/1661	Time: 377.339/86400
Decision: 345/1661	Time: 379.619/86400
Decision: 345/1661	Time: 382/86400
Decision: 345/1661	Time: 384.922/86400
Decision: 345/1661	Time: 387.837/86400
Decision: 345/1661	Time: 390.371/86400
Decision: 345/1661	Time: 392.571/86400
Decision: 345/1661	Time: 394.967/86400
Decision: 345/1661	Time: 397.628/86400
Decision: 345/1661	Time: 399.751/86400
Decision: 345/1661	Time: 402.133/86400
Decision: 345/1661	Time: 404.721/86400
Decision: 345/1661	Time: 407.375/86400
Decision: 345/1661	Time: 409.812/86400
Decision: 345/1661	Time: 412.198/86400
Decision: 345/1661	Time: 414.518/86400
Decision: 345/1661	Time: 416.678/86400
Decision: 345/1661	Time: 418.747/86400
Decision: 345/1661	Time: 421.558/86400
Decision: 345/1661	Time: 424.068/86400
Decision: 345/1661	Time: 426.473/86400
Decision: 345/1661	Time: 428.739/86400
Decision: 345/1661	Time: 431.161/86400
Decision: 345/1661	Time: 433.693/86400
Decision: 345/1661	Time: 436.27/86400
Decision: 345/1661	Time: 439.052/86400
Decision: 345/1661	Time: 441.631/86400
Decision: 345/1661	Time: 444.024/86400
Decision: 345/1661	Time: 446.982/86400
Decision: 345/1661	Time: 449.488/86400
Decision: 345/1661	Time: 451.527/86400
Decision: 345/1661	Time: 453.895/86400
Decision: 345/1661	Time: 456.322/86400
Decision: 345/1661	Time: 459.171/86400
Decision: 345/1661	Time: 461.847/86400
Decision: 345/1661	Time: 464.532/86400
Decision: 345/1661	Time: 467.131/86400
Decision: 345/1661	Time: 469.69/86400
Decision: 345/1661	Time: 472.683/86400
Decision: 345/1661	Time: 474.819/86400
Decision: 345/1661	Time: 477.397/86400
Decision: 345/1661	Time: 479.81/86400
Decision: 345/1661	Time: 482.909/86400
Decision: 345/1661	Time: 486.529/86400
Decision: 345/1661	Time: 489.533/86400
Decision: 345/1661	Time: 492.588/86400
Decision: 345/1661	Time: 495.093/86400
Decision: 345/1661	Time: 497.898/86400
Decision: 345/1661	Time: 500.722/86400
Decision: 345/1661	Time: 503.461/86400
Decision: 345/1661	Time: 506.248/86400
Decision: 345/1661	Time: 508.922/86400
Decision: 345/1661	Time: 511.175/86400
Decision: 345/1661	Time: 514.02/86400
Decision: 345/1661	Time: 516.586/86400
Decision: 345/1661	Time: 518.867/86400
Decision: 345/1661	Time: 521.861/86400
Decision: 345/1661	Time: 524.487/86400
Decision: 345/1661	Time: 527.996/86400
Decision: 345/1661	Time: 530.829/86400
Decision: 345/1661	Time: 533.655/86400
Decision: 345/1661	Time: 536.089/86400
Decision: 345/1661	Time: 538.661/86400
Decision: 345/1661	Time: 541.847/86400
Decision: 345/1661	Time: 545.131/86400
Decision: 345/1661	Time: 548.001/86400
Decision: 345/1661	Time: 550.905/86400
Decision: 345/1661	Time: 553.748/86400
Decision: 345/1661	Time: 557.105/86400
Decision: 345/1661	Time: 560.148/86400
Decision: 345/1661	Time: 562.973/86400
Decision: 345/1661	Time: 566.452/86400
Decision: 345/1661	Time: 568.984/86400
Decision: 345/1661	Time: 572.193/86400
Decision: 345/1661	Time: 574.955/86400
Decision: 345/1661	Time: 577.548/86400
Decision: 345/1661	Time: 580.548/86400
Decision: 345/1661	Time: 583.348/86400
Decision: 345/1661	Time: 586.572/86400
Decision: 345/1661	Time: 589.062/86400
Decision: 345/1661	Time: 591.851/86400
Decision: 345/1661	Time: 594.497/86400
Decision: 345/1661	Time: 597.126/86400
Decision: 345/1661	Time: 599.964/86400
Decision: 345/1661	Time: 602.55/86400
Decision: 345/1661	Time: 605.075/86400
Decision: 345/1661	Time: 607.969/86400
Decision: 345/1661	Time: 610.44/86400
Decision: 345/1661	Time: 613.442/86400
Decision: 345/1661	Time: 616.399/86400
Decision: 345/1661	Time: 619.685/86400
Decision: 345/1661	Time: 622.299/86400
Decision: 345/1661	Time: 625.34/86400
Decision: 345/1661	Time: 628.269/86400
Decision: 345/1661	Time: 631.154/86400
Decision: 345/1661	Time: 634.513/86400
Decision: 345/1661	Time: 637.082/86400
Decision: 345/1661	Time: 639.736/86400
Decision: 345/1661	Time: 643.665/86400
Decision: 345/1661	Time: 646.314/86400
Decision: 345/1661	Time: 649.211/86400
Decision: 345/1661	Time: 651.932/86400
Decision: 345/1661	Time: 654.784/86400
Decision: 345/1661	Time: 658.1/86400
Decision: 345/1661	Time: 661.036/86400
Decision: 345/1661	Time: 664.333/86400
Decision: 345/1661	Time: 667.015/86400
Decision: 345/1661	Time: 669.943/86400
Decision: 345/1661	Time: 673.013/86400
Decision: 345/1661	Time: 676.218/86400
Decision: 345/1661	Time: 678.809/86400
Decision: 345/1661	Time: 681.447/86400
Decision: 345/1661	Time: 684.311/86400
Decision: 345/1661	Time: 687.191/86400
Decision: 345/1661	Time: 690.145/86400
Decision: 345/1661	Time: 693.162/86400
Decision: 345/1661	Time: 696.09/86400
Decision: 345/1661	Time: 698.665/86400
Decision: 345/1661	Time: 701.894/86400
Decision: 345/1661	Time: 704.793/86400
Decision: 345/1661	Time: 707.611/86400
Decision: 345/1661	Time: 710.234/86400
Decision: 345/1661	Time: 713.223/86400
Decision: 345/1661	Time: 716.346/86400
Decision: 345/1661	Time: 719.085/86400
Decision: 345/1661	Time: 722.138/86400
Decision: 345/1661	Time: 725.157/86400
Decision: 345/1661	Time: 727.69/86400
Decision: 345/1661	Time: 730.505/86400
Decision: 345/1661	Time: 733.277/86400
Decision: 345/1661	Time: 736.246/86400
Decision: 345/1661	Time: 739.074/86400
Decision: 345/1661	Time: 742.456/86400
Decision: 345/1661	Time: 745.696/86400
Decision: 345/1661	Time: 748.317/86400
Decision: 345/1661	Time: 750.851/86400
Decision: 345/1661	Time: 753.495/86400
Decision: 345/1661	Time: 756.182/86400
Decision: 345/1661	Time: 759.516/86400
Decision: 345/1661	Time: 762.437/86400
Decision: 345/1661	Time: 765.506/86400
Decision: 345/1661	Time: 768.296/86400
Decision: 345/1661	Time: 770.848/86400
Decision: 345/1661	Time: 774.079/86400
Decision: 345/1661	Time: 776.627/86400
Decision: 345/1661	Time: 779.43/86400
Decision: 345/1661	Time: 782.335/86400
Decision: 345/1661	Time: 785.268/86400
Decision: 345/1661	Time: 788.252/86400
Decision: 345/1661	Time: 791.218/86400
Decision: 345/1661	Time: 794.914/86400
Decision: 345/1661	Time: 797.574/86400
Decision: 345/1661	Time: 800.821/86400
Decision: 345/1661	Time: 803.898/86400
Decision: 345/1661	Time: 807/86400
Decision: 345/1661	Time: 810.231/86400
Decision: 345/1661	Time: 813.234/86400
Decision: 345/1661	Time: 816.272/86400
Decision: 345/1661	Time: 819.756/86400
Decision: 345/1661	Time: 822.415/86400
Decision: 345/1661	Time: 825.503/86400
Decision: 345/1661	Time: 828.399/86400
Decision: 345/1661	Time: 831.178/86400
Decision: 345/1661	Time: 834.64/86400
Decision: 345/1661	Time: 837.348/86400
Decision: 345/1661	Time: 840.524/86400
Decision: 345/1661	Time: 844.689/86400
Decision: 345/1661	Time: 847.646/86400
Decision: 345/1661	Time: 850.955/86400
Decision: 345/1661	Time: 853.789/86400
Decision: 345/1661	Time: 856.677/86400
Decision: 345/1661	Time: 860.81/86400
Decision: 345/1661	Time: 863.69/86400
Decision: 345/1661	Time: 867.115/86400
Decision: 345/1661	Time: 870.08/86400
Decision: 345/1661	Time: 873.154/86400
Decision: 345/1661	Time: 875.939/86400
Decision: 345/1661	Time: 878.969/86400
Decision: 345/1661	Time: 882.414/86400
Decision: 345/1661	Time: 885.541/86400
Decision: 345/1661	Time: 888.451/86400
Decision: 345/1661	Time: 891.577/86400
Decision: 345/1661	Time: 894.665/86400
Decision: 345/1661	Time: 898.649/86400
Decision: 345/1661	Time: 902.44/86400
Decision: 345/1661	Time: 905.635/86400
Decision: 345/1661	Time: 908.551/86400
Decision: 345/1661	Time: 911.767/86400
Decision: 345/1661	Time: 915.149/86400
Decision: 345/1661	Time: 918.299/86400
Decision: 345/1661	Time: 921.359/86400
Decision: 345/1661	Time: 924.681/86400
Decision: 345/1661	Time: 927.491/86400
Decision: 345/1661	Time: 930.787/86400
Decision: 345/1661	Time: 933.962/86400
Decision: 345/1661	Time: 936.94/86400
Decision: 345/1661	Time: 940.498/86400
Decision: 345/1661	Time: 943.726/86400
Decision: 345/1661	Time: 946.816/86400
Decision: 345/1661	Time: 949.778/86400
Decision: 345/1661	Time: 953.331/86400
Decision: 345/1661	Time: 956.65/86400
Decision: 345/1661	Time: 960.16/86400
Decision: 345/1661	Time: 963.718/86400
Decision: 345/1661	Time: 967.092/86400
Decision: 345/1661	Time: 970.77/86400
Decision: 345/1661	Time: 973.658/86400
Decision: 345/1661	Time: 976.907/86400
Decision: 345/1661	Time: 981.278/86400
Decision: 345/1661	Time: 983.836/86400
Decision: 345/1661	Time: 987.013/86400
Decision: 345/1661	Time: 990.205/86400
Decision: 345/1661	Time: 993.533/86400
Decision: 345/1661	Time: 997.552/86400
Decision: 345/1661	Time: 1000.94/86400
Decision: 345/1661	Time: 1004.1/86400
Decision: 345/1661	Time: 1007.21/86400
Decision: 345/1661	Time: 1010.73/86400
Decision: 345/1661	Time: 1014.72/86400
Decision: 345/1661	Time: 1018.23/86400
Decision: 345/1661	Time: 1021.74/86400
Decision: 345/1661	Time: 1024.86/86400
Decision: 345/1661	Time: 1028.14/86400
Decision: 345/1661	Time: 1032.62/86400
Decision: 345/1661	Time: 1035.87/86400
Decision: 345/1661	Time: 1038.82/86400
Decision: 345/1661	Time: 1042.37/86400
Decision: 345/1661	Time: 1045.51/86400
Decision: 345/1661	Time: 1048.99/86400
Decision: 345/1661	Time: 1052.08/86400
Decision: 345/1661	Time: 1055.47/86400
Decision: 345/1661	Time: 1058.52/86400
Decision: 345/1661	Time: 1061.38/86400
Decision: 345/1661	Time: 1065.01/86400
Decision: 345/1661	Time: 1068.16/86400
Decision: 345/1661	Time: 1071.23/86400
Decision: 345/1661	Time: 1074.05/86400
Decision: 345/1661	Time: 1077.44/86400
Decision: 345/1661	Time: 1081.09/86400
Decision: 345/1661	Time: 1084.65/86400
Decision: 345/1661	Time: 1087.75/86400
Decision: 345/1661	Time: 1090.82/86400
Decision: 345/1661	Time: 1094.05/86400
Decision: 345/1661	Time: 1097.59/86400
Decision: 345/1661	Time: 1100.32/86400
Decision: 345/1661	Time: 1103.31/86400
Decision: 345/1661	Time: 1106.54/86400
Decision: 345/1661	Time: 1109.7/86400
Decision: 345/1661	Time: 1113.19/86400
Decision: 345/1661	Time: 1116.63/86400
Decision: 345/1661	Time: 1119.52/86400
Decision: 350/1661	Time: 1124.49/86400
Decision: 350/1661	Time: 1127.28/86400
Decision: 350/1661	Time: 1130.42/86400
Decision: 350/1661	Time: 1133.21/86400
Decision: 350/1661	Time: 1136.14/86400
Decision: 350/1661	Time: 1140.05/86400
Decision: 350/1661	Time: 1143.31/86400
Decision: 350/1661	Time: 1146.22/86400
Decision: 350/1661	Time: 1148.81/86400
Decision: 350/1661	Time: 1151.64/86400
Decision: 350/1661	Time: 1154.55/86400
Decision: 350/1661	Time: 1157.61/86400
Decision: 350/1661	Time: 1160.71/86400
Decision: 350/1661	Time: 1163.63/86400
Decision: 350/1661	Time: 1166.35/86400
Decision: 350/1661	Time: 1169.3/86400
Decision: 350/1661	Time: 1172.21/86400
Decision: 350/1661	Time: 1175.68/86400
Decision: 350/1661	Time: 1178.56/86400
Decision: 350/1661	Time: 1181.3/86400
Decision: 350/1661	Time: 1184.12/86400
Decision: 350/1661	Time: 1186.63/86400
Decision: 350/1661	Time: 1189.67/86400
Decision: 350/1661	Time: 1192.52/86400
Decision: 350/1661	Time: 1195.88/86400
Decision: 350/1661	Time: 1199.02/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.83 0.93 0.90 2/54 1797
Raw data (stat): 1797 (runsolver) R 1796 23514 23513 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806400481 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 1797
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 1017 0 0 0 995 3 0 0 25 0 1 0 806400481 5496832 849 4294967295 134512640 135726644 3221224592 3221222912 134729216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1342 849 300 300 0 1042 0
vsize: 5368
[startup+20.002 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 1797
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 1359 0 0 0 1992 7 0 0 25 0 1 0 806400481 5922816 1191 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1446 1191 300 300 0 1146 0
vsize: 5784
[startup+30.0033 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 1797
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 1845 0 0 0 2988 11 0 0 25 0 1 0 806400481 9256960 1484 4294967295 134512640 135726644 3221224592 3221223088 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2260 1484 300 300 0 1960 0
vsize: 9040
[startup+40.0031 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 1797
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 2088 0 0 0 3986 13 0 0 25 0 1 0 806400481 9715712 1727 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2372 1727 300 300 0 2072 0
vsize: 9488
[startup+50.0035 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 1797
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 2361 0 0 0 4984 16 0 0 25 0 1 0 806400481 10248192 2000 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2502 2000 300 300 0 2202 0
vsize: 10008
[startup+60.0032 s]
Raw data (loadavg): 1.08 0.97 0.91 3/57 1836
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 2561 0 0 0 5977 22 0 0 25 0 1 0 806400481 10805248 2200 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2638 2200 300 300 0 2338 0
vsize: 10552
[startup+70.004 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 1850
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 2757 0 0 0 6975 24 0 0 25 0 1 0 806400481 15196160 2396 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3710 2396 300 300 0 3410 0
vsize: 14840
[startup+80.0051 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 1850
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 3311 0 0 0 7973 26 0 0 25 0 1 0 806400481 16932864 2565 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4134 2565 300 300 0 3834 0
vsize: 16536
[startup+90.0046 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 1850
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 3495 0 0 0 8972 27 0 0 25 0 1 0 806400481 17129472 2749 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4182 2749 300 300 0 3882 0
vsize: 16728
[startup+100.004 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 1850
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 3684 0 0 0 9970 29 0 0 25 0 1 0 806400481 17461248 2938 4294967295 134512640 135726644 3221224592 3221223104 134742931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4263 2938 300 300 0 3963 0
vsize: 17052
[startup+110.005 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 1850
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 3850 0 0 0 10968 31 0 0 25 0 1 0 806400481 17657856 3104 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4311 3104 300 300 0 4011 0
vsize: 17244
[startup+120.006 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 1850
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 3988 0 0 0 11967 33 0 0 25 0 1 0 806400481 17928192 3242 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4377 3242 300 300 0 4077 0
vsize: 17508
[startup+130.006 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 4170 0 0 0 12965 35 0 0 25 0 1 0 806400481 18333696 3424 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4476 3424 300 300 0 4176 0
vsize: 17904
[startup+140.006 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 4292 0 0 0 13964 36 0 0 25 0 1 0 806400481 18333696 3546 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4476 3546 300 300 0 4176 0
vsize: 17904
[startup+150.007 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 4421 0 0 0 14963 38 0 0 25 0 1 0 806400481 18767872 3675 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4582 3675 300 300 0 4282 0
vsize: 18328
[startup+160.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 4470 0 0 0 15962 39 0 0 25 0 1 0 806400481 18903040 3724 4294967295 134512640 135726644 3221224592 3221223104 134742584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4615 3724 300 300 0 4315 0
vsize: 18460
[startup+170.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 4638 0 0 0 16961 40 0 0 25 0 1 0 806400481 19443712 3892 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4747 3892 300 300 0 4447 0
vsize: 18988
[startup+180.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 4781 0 0 0 17959 41 0 0 25 0 1 0 806400481 19578880 4035 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4780 4035 300 300 0 4480 0
vsize: 19120
[startup+190.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 4917 0 0 0 18958 42 0 0 25 0 1 0 806400481 19714048 4171 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4813 4171 300 300 0 4513 0
vsize: 19252
[startup+200.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 5029 0 0 0 19957 43 0 0 25 0 1 0 806400481 19714048 4283 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4813 4283 300 300 0 4513 0
vsize: 19252
[startup+210.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 5144 0 0 0 20956 44 0 0 25 0 1 0 806400481 28102656 4398 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6861 4398 300 300 0 6561 0
vsize: 27444
[startup+220.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 5289 0 0 0 21956 45 0 0 25 0 1 0 806400481 28434432 4543 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6942 4543 300 300 0 6642 0
vsize: 27768
[startup+230.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 5445 0 0 0 22955 46 0 0 25 0 1 0 806400481 28766208 4699 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7023 4699 300 300 0 6723 0
vsize: 28092
[startup+240.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 5535 0 0 0 23953 48 0 0 25 0 1 0 806400481 28766208 4789 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7023 4789 300 300 0 6723 0
vsize: 28092
[startup+250.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 6423 0 0 0 24940 51 0 0 25 0 1 0 806400481 32043008 4908 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7823 4908 300 300 0 7523 0
vsize: 31292
[startup+260.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 6552 0 0 0 25939 52 0 0 25 0 1 0 806400481 32178176 5037 4294967295 134512640 135726644 3221224592 3221223136 134736737 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7856 5037 300 300 0 7556 0
vsize: 31424
[startup+270.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 6678 0 0 0 26938 53 0 0 25 0 1 0 806400481 32313344 5163 4294967295 134512640 135726644 3221224592 3221223104 134742632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7889 5163 300 300 0 7589 0
vsize: 31556
[startup+280.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 6785 0 0 0 27937 54 0 0 25 0 1 0 806400481 32313344 5270 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7889 5270 300 300 0 7589 0
vsize: 31556
[startup+290.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 6915 0 0 0 28937 55 0 0 25 0 1 0 806400481 32575488 5400 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7953 5400 300 300 0 7653 0
vsize: 31812
[startup+300.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 7018 0 0 0 29937 56 0 0 25 0 1 0 806400481 32706560 5470 4294967295 134512640 135726644 3221224592 3221223104 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 5470 300 300 0 7685 0
vsize: 31940
[startup+310.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 7148 0 0 0 30936 56 0 0 25 0 1 0 806400481 32989184 5567 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8054 5567 300 300 0 7754 0
vsize: 32216
[startup+320.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 7283 0 0 0 31935 57 0 0 25 0 1 0 806400481 33259520 5702 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8120 5702 300 300 0 7820 0
vsize: 32480
[startup+330.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 7357 0 0 0 32935 58 0 0 25 0 1 0 806400481 33259520 5776 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8120 5776 300 300 0 7820 0
vsize: 32480
[startup+340.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 7535 0 0 0 33933 60 0 0 25 0 1 0 806400481 33796096 5921 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8251 5921 300 300 0 7951 0
vsize: 33004
[startup+350.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 7602 0 0 0 34932 61 0 0 25 0 1 0 806400481 33927168 5955 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8283 5955 300 300 0 7983 0
vsize: 33132
[startup+360.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 7640 0 0 0 35932 62 0 0 25 0 1 0 806400481 33927168 5993 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8283 5993 300 300 0 7983 0
vsize: 33132
[startup+370.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 7743 0 0 0 36931 63 0 0 25 0 1 0 806400481 34308096 6030 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8376 6030 300 300 0 8076 0
vsize: 33504
[startup+380.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1852
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 7810 0 0 0 37931 64 0 0 25 0 1 0 806400481 34574336 6097 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8441 6097 300 300 0 8141 0
vsize: 33764
[startup+390.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 7888 0 0 0 38931 65 0 0 25 0 1 0 806400481 34840576 6175 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8506 6175 300 300 0 8206 0
vsize: 34024
[startup+400.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 8054 0 0 0 39930 66 0 0 25 0 1 0 806400481 35102720 6275 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8570 6275 300 300 0 8270 0
vsize: 34280
[startup+410.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 8149 0 0 0 40929 67 0 0 25 0 1 0 806400481 35102720 6370 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8570 6370 300 300 0 8270 0
vsize: 34280
[startup+420.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 8294 0 0 0 41928 68 0 0 25 0 1 0 806400481 35500032 6482 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8667 6482 300 300 0 8367 0
vsize: 34668
[startup+430.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 8460 0 0 0 42926 70 0 0 25 0 1 0 806400481 36032512 6615 4294967295 134512640 135726644 3221224592 3221223088 134744187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8797 6615 300 300 0 8497 0
vsize: 35188
[startup+440.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 8540 0 0 0 43926 70 0 0 25 0 1 0 806400481 36032512 6695 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8797 6695 300 300 0 8497 0
vsize: 35188
[startup+450.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 8628 0 0 0 44925 71 0 0 25 0 1 0 806400481 36032512 6783 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8797 6783 300 300 0 8497 0
vsize: 35188
[startup+460.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 8734 0 0 0 45923 72 0 0 25 0 1 0 806400481 36163584 6856 4294967295 134512640 135726644 3221224592 3221223088 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8829 6856 300 300 0 8529 0
vsize: 35316
[startup+470.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 8873 0 0 0 46923 73 0 0 25 0 1 0 806400481 36294656 6962 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8861 6962 300 300 0 8561 0
vsize: 35444
[startup+480.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 8967 0 0 0 47922 74 0 0 25 0 1 0 806400481 36429824 7056 4294967295 134512640 135726644 3221224592 3221223104 134742611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8894 7056 300 300 0 8594 0
vsize: 35576
[startup+490.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 9073 0 0 0 48922 75 0 0 25 0 1 0 806400481 36564992 7162 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8927 7162 300 300 0 8627 0
vsize: 35708
[startup+500.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 9159 0 0 0 49921 75 0 0 25 0 1 0 806400481 36564992 7248 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8927 7248 300 300 0 8627 0
vsize: 35708
[startup+510.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 9232 0 0 0 50921 76 0 0 25 0 1 0 806400481 36700160 7321 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8960 7321 300 300 0 8660 0
vsize: 35840
[startup+520.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 9308 0 0 0 51920 77 0 0 25 0 1 0 806400481 36700160 7397 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8960 7397 300 300 0 8660 0
vsize: 35840
[startup+530.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 9413 0 0 0 52919 78 0 0 25 0 1 0 806400481 36700160 7502 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8960 7502 300 300 0 8660 0
vsize: 35840
[startup+540.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 9534 0 0 0 53918 80 0 0 25 0 1 0 806400481 36831232 7590 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8992 7590 300 300 0 8692 0
vsize: 35968
[startup+550.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 9647 0 0 0 54918 80 0 0 25 0 1 0 806400481 36966400 7703 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9025 7703 300 300 0 8725 0
vsize: 36100
[startup+560.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 9764 0 0 0 55917 81 0 0 25 0 1 0 806400481 37097472 7787 4294967295 134512640 135726644 3221224592 3221223104 134742637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9057 7787 300 300 0 8757 0
vsize: 36228
[startup+570.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 9854 0 0 0 56916 82 0 0 25 0 1 0 806400481 37224448 7877 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9088 7877 300 300 0 8788 0
vsize: 36352
[startup+580.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 9926 0 0 0 57916 83 0 0 25 0 1 0 806400481 37224448 7949 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9088 7949 300 300 0 8788 0
vsize: 36352
[startup+590.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10018 0 0 0 58915 83 0 0 25 0 1 0 806400481 37359616 8041 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9121 8041 300 300 0 8821 0
vsize: 36484
[startup+600.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10117 0 0 0 59914 84 0 0 25 0 1 0 806400481 37359616 8140 4294967295 134512640 135726644 3221224592 3221223152 134784017 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9121 8140 300 300 0 8821 0
vsize: 36484
[startup+610.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10156 0 0 0 60914 85 0 0 25 0 1 0 806400481 37359616 8179 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9121 8179 300 300 0 8821 0
vsize: 36484
[startup+620.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10181 0 0 0 61914 85 0 0 25 0 1 0 806400481 37482496 8204 4294967295 134512640 135726644 3221224592 3221223088 134744229 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9151 8204 300 300 0 8851 0
vsize: 36604
[startup+630.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10211 0 0 0 62914 86 0 0 25 0 1 0 806400481 37482496 8234 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9151 8234 300 300 0 8851 0
vsize: 36604
[startup+640.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10257 0 0 0 63914 86 0 0 25 0 1 0 806400481 37617664 8280 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9184 8280 300 300 0 8884 0
vsize: 36736
[startup+650.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10288 0 0 0 64913 87 0 0 25 0 1 0 806400481 37617664 8311 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9184 8311 300 300 0 8884 0
vsize: 36736
[startup+660.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10372 0 0 0 65912 89 0 0 25 0 1 0 806400481 54517760 8395 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13310 8395 300 300 0 13010 0
vsize: 53240
[startup+670.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10449 0 0 0 66911 90 0 0 25 0 1 0 806400481 54517760 8472 4294967295 134512640 135726644 3221224592 3221223104 134742948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13310 8472 300 300 0 13010 0
vsize: 53240
[startup+680.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10549 0 0 0 67911 91 0 0 25 0 1 0 806400481 54788096 8572 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13376 8572 300 300 0 13076 0
vsize: 53504
[startup+690.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10584 0 0 0 68910 92 0 0 25 0 1 0 806400481 54788096 8607 4294967295 134512640 135726644 3221224592 3221223104 134742928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13376 8607 300 300 0 13076 0
vsize: 53504
[startup+700.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10623 0 0 0 69909 92 0 0 25 0 1 0 806400481 54923264 8646 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13409 8646 300 300 0 13109 0
vsize: 53636
[startup+710.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10648 0 0 0 70909 93 0 0 25 0 1 0 806400481 54923264 8671 4294967295 134512640 135726644 3221224592 3221223104 134742611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13409 8671 300 300 0 13109 0
vsize: 53636
[startup+720.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10705 0 0 0 71909 93 0 0 25 0 1 0 806400481 55185408 8728 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13473 8728 300 300 0 13173 0
vsize: 53892
[startup+730.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10722 0 0 0 72908 94 0 0 25 0 1 0 806400481 55185408 8745 4294967295 134512640 135726644 3221224592 3221223104 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13473 8745 300 300 0 13173 0
vsize: 53892
[startup+740.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 10739 0 0 0 73907 95 0 0 25 0 1 0 806400481 55185408 8762 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13473 8762 300 300 0 13173 0
vsize: 53892
[startup+750.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 12308 0 0 0 74904 99 0 0 25 0 1 0 806400481 61476864 8794 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15009 8794 300 300 0 14709 0
vsize: 60036
[startup+760.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 12329 0 0 0 75903 100 0 0 25 0 1 0 806400481 61607936 8815 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15041 8815 300 300 0 14741 0
vsize: 60164
[startup+770.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 12345 0 0 0 76903 100 0 0 25 0 1 0 806400481 61607936 8831 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15041 8831 300 300 0 14741 0
vsize: 60164
[startup+780.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 12367 0 0 0 77902 101 0 0 25 0 1 0 806400481 61607936 8853 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15041 8853 300 300 0 14741 0
vsize: 60164
[startup+790.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 12484 0 0 0 78902 102 0 0 25 0 1 0 806400481 61739008 8937 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15073 8937 300 300 0 14773 0
vsize: 60292
[startup+800.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 12584 0 0 0 79901 102 0 0 25 0 1 0 806400481 61739008 9037 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15073 9037 300 300 0 14773 0
vsize: 60292
[startup+810.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 12699 0 0 0 80901 103 0 0 25 0 1 0 806400481 62128128 9119 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15168 9119 300 300 0 14868 0
vsize: 60672
[startup+820.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 12792 0 0 0 81899 104 0 0 25 0 1 0 806400481 62128128 9212 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15168 9212 300 300 0 14868 0
vsize: 60672
[startup+830.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 12863 0 0 0 82899 105 0 0 25 0 1 0 806400481 62263296 9283 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15201 9283 300 300 0 14901 0
vsize: 60804
[startup+840.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 12917 0 0 0 83898 106 0 0 25 0 1 0 806400481 62263296 9337 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15201 9337 300 300 0 14901 0
vsize: 60804
[startup+850.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13051 0 0 0 84897 107 0 0 25 0 1 0 806400481 62398464 9471 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15234 9471 300 300 0 14934 0
vsize: 60936
[startup+860.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13261 0 0 0 85897 108 0 0 25 0 1 0 806400481 62922752 9549 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15362 9549 300 300 0 15062 0
vsize: 61448
[startup+870.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13334 0 0 0 86896 109 0 0 25 0 1 0 806400481 62922752 9622 4294967295 134512640 135726644 3221224592 3221223104 134742633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15362 9622 300 300 0 15062 0
vsize: 61448
[startup+880.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13400 0 0 0 87895 109 0 0 25 0 1 0 806400481 62922752 9688 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15362 9688 300 300 0 15062 0
vsize: 61448
[startup+890.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13467 0 0 0 88895 110 0 0 25 0 1 0 806400481 63045632 9755 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15392 9755 300 300 0 15092 0
vsize: 61568
[startup+900.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13606 0 0 0 89894 111 0 0 25 0 1 0 806400481 63311872 9861 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15457 9861 300 300 0 15157 0
vsize: 61828
[startup+910.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13689 0 0 0 90893 112 0 0 25 0 1 0 806400481 63311872 9944 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15457 9944 300 300 0 15157 0
vsize: 61828
[startup+920.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13746 0 0 0 91893 113 0 0 25 0 1 0 806400481 63311872 10001 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15457 10001 300 300 0 15157 0
vsize: 61828
[startup+930.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13851 0 0 0 92892 114 0 0 25 0 1 0 806400481 63311872 10106 4294967295 134512640 135726644 3221224592 3221223104 134742930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15457 10106 300 300 0 15157 0
vsize: 61828
[startup+940.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13918 0 0 0 93891 115 0 0 25 0 1 0 806400481 63447040 10173 4294967295 134512640 135726644 3221224592 3221223088 134744286 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15490 10173 300 300 0 15190 0
vsize: 61960
[startup+950.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 13992 0 0 0 94890 116 0 0 25 0 1 0 806400481 63447040 10247 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15490 10247 300 300 0 15190 0
vsize: 61960
[startup+960.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14181 0 0 0 95889 117 0 0 25 0 1 0 806400481 63983616 10403 4294967295 134512640 135726644 3221224592 3221223104 134742897 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15621 10403 300 300 0 15321 0
vsize: 62484
[startup+970.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14244 0 0 0 96888 118 0 0 25 0 1 0 806400481 64118784 10466 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15654 10466 300 300 0 15354 0
vsize: 62616
[startup+980.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14335 0 0 0 97888 119 0 0 25 0 1 0 806400481 64282624 10557 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15694 10557 300 300 0 15394 0
vsize: 62776
[startup+990.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14357 0 0 0 98887 120 0 0 25 0 1 0 806400481 64282624 10579 4294967295 134512640 135726644 3221224592 3221223104 134742850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15694 10579 300 300 0 15394 0
vsize: 62776
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14575 0 0 0 99887 120 0 0 25 0 1 0 806400481 64806912 10667 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15822 10667 300 300 0 15522 0
vsize: 63288
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14601 0 0 0 100886 121 0 0 25 0 1 0 806400481 64806912 10693 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15822 10693 300 300 0 15522 0
vsize: 63288
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14624 0 0 0 101886 122 0 0 25 0 1 0 806400481 64929792 10716 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15852 10716 300 300 0 15552 0
vsize: 63408
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14704 0 0 0 102886 122 0 0 25 0 1 0 806400481 65331200 10796 4294967295 134512640 135726644 3221224592 3221222832 135278593 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15950 10796 300 300 0 15650 0
vsize: 63800
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14728 0 0 0 103887 123 0 0 25 0 1 0 806400481 65331200 10820 4294967295 134512640 135726644 3221224592 3221223088 134744214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15950 10820 300 300 0 15650 0
vsize: 63800
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14775 0 0 0 104886 123 0 0 25 0 1 0 806400481 65462272 10834 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15982 10834 300 300 0 15682 0
vsize: 63928
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14789 0 0 0 105886 124 0 0 25 0 1 0 806400481 65462272 10848 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15982 10848 300 300 0 15682 0
vsize: 63928
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14814 0 0 0 106886 124 0 0 25 0 1 0 806400481 65462272 10873 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15982 10873 300 300 0 15682 0
vsize: 63928
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14896 0 0 0 107885 125 0 0 25 0 1 0 806400481 65462272 10955 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15982 10955 300 300 0 15682 0
vsize: 63928
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 14959 0 0 0 108885 126 0 0 25 0 1 0 806400481 65462272 11018 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15982 11018 300 300 0 15682 0
vsize: 63928
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15032 0 0 0 109884 126 0 0 25 0 1 0 806400481 65585152 11091 4294967295 134512640 135726644 3221224592 3221223104 134742584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16012 11091 300 300 0 15712 0
vsize: 64048
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15057 0 0 0 110884 127 0 0 25 0 1 0 806400481 65585152 11116 4294967295 134512640 135726644 3221224592 3221223200 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16012 11116 300 300 0 15712 0
vsize: 64048
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15077 0 0 0 111883 128 0 0 25 0 1 0 806400481 65585152 11136 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16012 11136 300 300 0 15712 0
vsize: 64048
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15411 0 0 0 112882 130 0 0 25 0 1 0 806400481 66801664 11470 4294967295 134512640 135726644 3221224592 3221223104 134742931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16309 11470 300 300 0 16009 0
vsize: 65236
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15435 0 0 0 113881 130 0 0 25 0 1 0 806400481 66801664 11494 4294967295 134512640 135726644 3221224592 3221223104 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16309 11494 300 300 0 16009 0
vsize: 65236
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15449 0 0 0 114881 130 0 0 25 0 1 0 806400481 66801664 11508 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16309 11508 300 300 0 16009 0
vsize: 65236
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15463 0 0 0 115880 132 0 0 25 0 1 0 806400481 66801664 11522 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16309 11522 300 300 0 16009 0
vsize: 65236
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15480 0 0 0 116880 132 0 0 25 0 1 0 806400481 66801664 11539 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16309 11539 300 300 0 16009 0
vsize: 65236
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15497 0 0 0 117879 133 0 0 25 0 1 0 806400481 66801664 11556 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16309 11556 300 300 0 16009 0
vsize: 65236
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15515 0 0 0 118879 133 0 0 25 0 1 0 806400481 66928640 11574 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16340 11574 300 300 0 16040 0
vsize: 65360
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1854
Raw data (stat): 1797 (pb2sat) R 1796 23514 23513 0 -1 0 15554 0 0 0 119878 134 0 0 25 0 1 0 806400481 67063808 11613 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16373 11613 300 300 0 16073 0
vsize: 65492
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 1854
Raw data (stat): 1797 (pb2sat) Z 1796 23514 23513 0 -1 12 15555 0 0 0 119891 136 0 0 25 0 1 0 806400481 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.24
CPU time (s): 1200.29
CPU user time (s): 1198.92
CPU system time (s): 1.36679
CPU usage (%): 100.004
Max. virtual memory (Kb): 65492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####