PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
MD5SUM	808390b13d2d87ec4e78f628ed3af9ba
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.021995
Number of variables	750
Total number of constraints	80
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	25
Trace number 34669

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        549416 kB
Buffers:         35932 kB
Cached:         429024 kB
SwapCached:        504 kB
Active:          59996 kB
Inactive:       407292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        549164 kB
SwapTotal:     2097136 kB
SwapFree:      2096000 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5796 kB
Slab:            12356 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:30:31 (client local time) WITH STATUS 0 IN 1206.12 SECONDS
stats: 23933 7 1206.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 720/2190	Time: 20.0909/86400
Decision: 720/2190	Time: 20.9598/86400
Decision: 720/2190	Time: 21.9787/86400
Decision: 720/2190	Time: 23.1315/86400
Decision: 720/2190	Time: 24.2513/86400
Decision: 720/2190	Time: 25.4241/86400
Decision: 720/2190	Time: 26.541/86400
Decision: 720/2190	Time: 27.8008/86400
Decision: 720/2190	Time: 29.0516/86400
Decision: 720/2190	Time: 30.2724/86400
Decision: 720/2190	Time: 31.5402/86400
Decision: 720/2190	Time: 33.035/86400
Decision: 720/2190	Time: 34.4298/86400
Decision: 720/2190	Time: 35.7996/86400
Decision: 720/2190	Time: 37.1264/86400
Decision: 720/2190	Time: 38.6611/86400
Decision: 720/2190	Time: 40.1169/86400
Decision: 720/2190	Time: 41.5567/86400
Decision: 720/2190	Time: 43.0855/86400
Decision: 720/2190	Time: 44.5982/86400
Decision: 720/2190	Time: 46.248/86400
Decision: 720/2190	Time: 47.7777/86400
Decision: 720/2190	Time: 49.2905/86400
Decision: 720/2190	Time: 50.8433/86400
Decision: 720/2190	Time: 52.422/86400
Decision: 720/2190	Time: 54.3437/86400
Decision: 720/2190	Time: 55.8765/86400
Decision: 720/2190	Time: 57.3863/86400
Decision: 720/2190	Time: 59.029/86400
Decision: 720/2190	Time: 60.7708/86400
Decision: 720/2190	Time: 62.8944/86400
Decision: 720/2190	Time: 64.5152/86400
Decision: 720/2190	Time: 66.1779/86400
Decision: 720/2190	Time: 67.7907/86400
Decision: 720/2190	Time: 69.5334/86400
Decision: 720/2190	Time: 71.5021/86400
Decision: 720/2190	Time: 73.2559/86400
Decision: 720/2190	Time: 75.0546/86400
Decision: 720/2190	Time: 76.8553/86400
Decision: 720/2190	Time: 78.66/86400
Decision: 720/2190	Time: 80.8077/86400
Decision: 720/2190	Time: 82.5375/86400
Decision: 720/2190	Time: 84.3972/86400
Decision: 720/2190	Time: 86.1859/86400
Decision: 720/2190	Time: 87.9686/86400
Decision: 720/2190	Time: 90.1533/86400
Decision: 720/2190	Time: 92.019/86400
Decision: 720/2190	Time: 93.9417/86400
Decision: 720/2190	Time: 95.8524/86400
Decision: 720/2190	Time: 97.8011/86400
Decision: 720/2190	Time: 99.9418/86400
Decision: 720/2190	Time: 101.733/86400
Decision: 720/2190	Time: 103.513/86400
Decision: 720/2190	Time: 105.416/86400
Decision: 720/2190	Time: 107.334/86400
Decision: 720/2190	Time: 109.545/86400
Decision: 720/2190	Time: 111.421/86400
Decision: 720/2190	Time: 113.376/86400
Decision: 720/2190	Time: 115.099/86400
Decision: 720/2190	Time: 117.17/86400
Decision: 720/2190	Time: 119.495/86400
Decision: 720/2190	Time: 121.517/86400
Decision: 720/2190	Time: 123.353/86400
Decision: 720/2190	Time: 125.28/86400
Decision: 720/2190	Time: 127.192/86400
Decision: 720/2190	Time: 129.434/86400
Decision: 720/2190	Time: 131.404/86400
Decision: 720/2190	Time: 133.338/86400
Decision: 720/2190	Time: 135.442/86400
Decision: 720/2190	Time: 137.356/86400
Decision: 720/2190	Time: 139.77/86400
Decision: 720/2190	Time: 141.771/86400
Decision: 720/2190	Time: 143.749/86400
Decision: 720/2190	Time: 145.647/86400
Decision: 720/2190	Time: 147.799/86400
Decision: 720/2190	Time: 149.985/86400
Decision: 720/2190	Time: 152.177/86400
Decision: 720/2190	Time: 154.17/86400
Decision: 720/2190	Time: 156.241/86400
Decision: 720/2190	Time: 158.196/86400
Decision: 720/2190	Time: 160.506/86400
Decision: 720/2190	Time: 162.497/86400
Decision: 720/2190	Time: 164.64/86400
Decision: 720/2190	Time: 166.786/86400
Decision: 720/2190	Time: 168.86/86400
Decision: 720/2190	Time: 171.687/86400
Decision: 720/2190	Time: 173.828/86400
Decision: 720/2190	Time: 176.162/86400
Decision: 720/2190	Time: 178.523/86400
Decision: 720/2190	Time: 181.036/86400
Decision: 720/2190	Time: 183.647/86400
Decision: 720/2190	Time: 185.939/86400
Decision: 720/2190	Time: 188.654/86400
Decision: 720/2190	Time: 191.122/86400
Decision: 720/2190	Time: 193.549/86400
Decision: 720/2190	Time: 196.309/86400
Decision: 720/2190	Time: 198.859/86400
Decision: 720/2190	Time: 201.317/86400
Decision: 720/2190	Time: 203.778/86400
Decision: 720/2190	Time: 206.068/86400
Decision: 720/2190	Time: 208.869/86400
Decision: 720/2190	Time: 211.3/86400
Decision: 720/2190	Time: 213.641/86400
Decision: 720/2190	Time: 215.937/86400
Decision: 720/2190	Time: 218.702/86400
Decision: 720/2190	Time: 221.587/86400
Decision: 720/2190	Time: 223.968/86400
Decision: 720/2190	Time: 226.428/86400
Decision: 720/2190	Time: 228.843/86400
Decision: 720/2190	Time: 231.368/86400
Decision: 720/2190	Time: 234.738/86400
Decision: 720/2190	Time: 237.11/86400
Decision: 720/2190	Time: 239.575/86400
Decision: 720/2190	Time: 242.102/86400
Decision: 720/2190	Time: 244.603/86400
Decision: 720/2190	Time: 247.828/86400
Decision: 720/2190	Time: 250.488/86400
Decision: 720/2190	Time: 253.188/86400
Decision: 720/2190	Time: 255.85/86400
Decision: 720/2190	Time: 258.517/86400
Decision: 720/2190	Time: 261.788/86400
Decision: 720/2190	Time: 264.618/86400
Decision: 720/2190	Time: 267.465/86400
Decision: 720/2190	Time: 270.147/86400
Decision: 720/2190	Time: 272.703/86400
Decision: 720/2190	Time: 276/86400
Decision: 720/2190	Time: 278.783/86400
Decision: 720/2190	Time: 281.326/86400
Decision: 720/2190	Time: 284.245/86400
Decision: 720/2190	Time: 286.9/86400
Decision: 720/2190	Time: 290.15/86400
Decision: 720/2190	Time: 292.806/86400
Decision: 720/2190	Time: 295.583/86400
Decision: 720/2190	Time: 298.387/86400
Decision: 720/2190	Time: 301.266/86400
Decision: 720/2190	Time: 304.754/86400
Decision: 720/2190	Time: 307.477/86400
Decision: 720/2190	Time: 310.352/86400
Decision: 720/2190	Time: 313.022/86400
Decision: 720/2190	Time: 315.874/86400
Decision: 720/2190	Time: 319.151/86400
Decision: 720/2190	Time: 322.052/86400
Decision: 720/2190	Time: 324.687/86400
Decision: 720/2190	Time: 327.49/86400
Decision: 720/2190	Time: 330.44/86400
Decision: 720/2190	Time: 333.935/86400
Decision: 720/2190	Time: 336.524/86400
Decision: 720/2190	Time: 339.208/86400
Decision: 720/2190	Time: 341.712/86400
Decision: 720/2190	Time: 344.293/86400
Decision: 720/2190	Time: 347.629/86400
Decision: 720/2190	Time: 350.185/86400
Decision: 720/2190	Time: 352.953/86400
Decision: 720/2190	Time: 355.72/86400
Decision: 720/2190	Time: 358.841/86400
Decision: 720/2190	Time: 362.093/86400
Decision: 720/2190	Time: 364.648/86400
Decision: 720/2190	Time: 367.515/86400
Decision: 720/2190	Time: 370.136/86400
Decision: 720/2190	Time: 372.669/86400
Decision: 720/2190	Time: 375.89/86400
Decision: 720/2190	Time: 378.288/86400
Decision: 720/2190	Time: 381.126/86400
Decision: 720/2190	Time: 383.602/86400
Decision: 720/2190	Time: 386.337/86400
Decision: 720/2190	Time: 389.348/86400
Decision: 720/2190	Time: 391.922/86400
Decision: 720/2190	Time: 394.294/86400
Decision: 720/2190	Time: 396.659/86400
Decision: 720/2190	Time: 399.123/86400
Decision: 720/2190	Time: 402.093/86400
Decision: 720/2190	Time: 404.578/86400
Decision: 720/2190	Time: 407.071/86400
Decision: 720/2190	Time: 409.59/86400
Decision: 720/2190	Time: 412.159/86400
Decision: 720/2190	Time: 415.109/86400
Decision: 720/2190	Time: 417.557/86400
Decision: 720/2190	Time: 419.992/86400
Decision: 720/2190	Time: 422.616/86400
Decision: 720/2190	Time: 424.993/86400
Decision: 720/2190	Time: 428.088/86400
Decision: 720/2190	Time: 430.601/86400
Decision: 720/2190	Time: 433.449/86400
Decision: 720/2190	Time: 436.059/86400
Decision: 720/2190	Time: 438.622/86400
Decision: 720/2190	Time: 442.212/86400
Decision: 720/2190	Time: 445.017/86400
Decision: 720/2190	Time: 447.647/86400
Decision: 720/2190	Time: 450.359/86400
Decision: 720/2190	Time: 453.07/86400
Decision: 720/2190	Time: 456.397/86400
Decision: 720/2190	Time: 459.039/86400
Decision: 720/2190	Time: 461.558/86400
Decision: 720/2190	Time: 464.264/86400
Decision: 720/2190	Time: 467.043/86400
Decision: 720/2190	Time: 470.083/86400
Decision: 720/2190	Time: 472.771/86400
Decision: 720/2190	Time: 475.303/86400
Decision: 720/2190	Time: 477.946/86400
Decision: 720/2190	Time: 480.537/86400
Decision: 720/2190	Time: 483.744/86400
Decision: 720/2190	Time: 486.555/86400
Decision: 720/2190	Time: 489.147/86400
Decision: 720/2190	Time: 491.926/86400
Decision: 720/2190	Time: 494.709/86400
Decision: 720/2190	Time: 498.204/86400
Decision: 720/2190	Time: 500.754/86400
Decision: 720/2190	Time: 503.63/86400
Decision: 720/2190	Time: 506.271/86400
Decision: 720/2190	Time: 509.122/86400
Decision: 720/2190	Time: 512.391/86400
Decision: 720/2190	Time: 515.057/86400
Decision: 720/2190	Time: 517.805/86400
Decision: 720/2190	Time: 520.559/86400
Decision: 720/2190	Time: 523.25/86400
Decision: 720/2190	Time: 526.565/86400
Decision: 720/2190	Time: 529.308/86400
Decision: 720/2190	Time: 531.844/86400
Decision: 720/2190	Time: 534.662/86400
Decision: 720/2190	Time: 537.24/86400
Decision: 720/2190	Time: 540.247/86400
Decision: 720/2190	Time: 542.886/86400
Decision: 720/2190	Time: 545.629/86400
Decision: 720/2190	Time: 548.299/86400
Decision: 720/2190	Time: 550.823/86400
Decision: 720/2190	Time: 554.042/86400
Decision: 720/2190	Time: 556.549/86400
Decision: 720/2190	Time: 559.259/86400
Decision: 720/2190	Time: 562.076/86400
Decision: 720/2190	Time: 564.814/86400
Decision: 720/2190	Time: 568.114/86400
Decision: 720/2190	Time: 570.835/86400
Decision: 720/2190	Time: 573.509/86400
Decision: 720/2190	Time: 576.186/86400
Decision: 720/2190	Time: 578.826/86400
Decision: 720/2190	Time: 582.275/86400
Decision: 720/2190	Time: 585.012/86400
Decision: 720/2190	Time: 587.725/86400
Decision: 720/2190	Time: 590.411/86400
Decision: 720/2190	Time: 593.237/86400
Decision: 720/2190	Time: 596.432/86400
Decision: 720/2190	Time: 599.299/86400
Decision: 720/2190	Time: 602.014/86400
Decision: 720/2190	Time: 604.806/86400
Decision: 720/2190	Time: 607.693/86400
Decision: 720/2190	Time: 611.021/86400
Decision: 720/2190	Time: 614.286/86400
Decision: 720/2190	Time: 617.195/86400
Decision: 720/2190	Time: 620.126/86400
Decision: 720/2190	Time: 622.784/86400
Decision: 720/2190	Time: 626.316/86400
Decision: 720/2190	Time: 629.125/86400
Decision: 720/2190	Time: 631.923/86400
Decision: 720/2190	Time: 634.781/86400
Decision: 720/2190	Time: 637.685/86400
Decision: 720/2190	Time: 641.157/86400
Decision: 720/2190	Time: 644.327/86400
Decision: 720/2190	Time: 647.364/86400
Decision: 720/2190	Time: 650.364/86400
Decision: 720/2190	Time: 653.397/86400
Decision: 720/2190	Time: 656.843/86400
Decision: 720/2190	Time: 659.663/86400
Decision: 720/2190	Time: 662.578/86400
Decision: 720/2190	Time: 665.423/86400
Decision: 720/2190	Time: 668.322/86400
Decision: 720/2190	Time: 671.731/86400
Decision: 720/2190	Time: 674.821/86400
Decision: 720/2190	Time: 677.796/86400
Decision: 720/2190	Time: 680.943/86400
Decision: 720/2190	Time: 683.814/86400
Decision: 720/2190	Time: 687.812/86400
Decision: 720/2190	Time: 690.781/86400
Decision: 720/2190	Time: 693.489/86400
Decision: 720/2190	Time: 696.386/86400
Decision: 720/2190	Time: 699.336/86400
Decision: 720/2190	Time: 702.942/86400
Decision: 720/2190	Time: 705.942/86400
Decision: 720/2190	Time: 709.118/86400
Decision: 720/2190	Time: 712.194/86400
Decision: 720/2190	Time: 715.27/86400
Decision: 720/2190	Time: 719.39/86400
Decision: 720/2190	Time: 722.366/86400
Decision: 720/2190	Time: 725.333/86400
Decision: 720/2190	Time: 728.234/86400
Decision: 720/2190	Time: 731.02/86400
Decision: 720/2190	Time: 734.597/86400
Decision: 720/2190	Time: 737.236/86400
Decision: 720/2190	Time: 740.128/86400
Decision: 720/2190	Time: 743.381/86400
Decision: 720/2190	Time: 746.17/86400
Decision: 720/2190	Time: 749.58/86400
Decision: 720/2190	Time: 752.26/86400
Decision: 720/2190	Time: 755.123/86400
Decision: 720/2190	Time: 757.902/86400
Decision: 720/2190	Time: 760.704/86400
Decision: 720/2190	Time: 764.269/86400
Decision: 720/2190	Time: 767.083/86400
Decision: 720/2190	Time: 770.136/86400
Decision: 720/2190	Time: 773.094/86400
Decision: 720/2190	Time: 775.764/86400
Decision: 720/2190	Time: 779.056/86400
Decision: 720/2190	Time: 781.761/86400
Decision: 720/2190	Time: 784.671/86400
Decision: 720/2190	Time: 787.427/86400
Decision: 720/2190	Time: 790.157/86400
Decision: 720/2190	Time: 793.631/86400
Decision: 720/2190	Time: 796.439/86400
Decision: 720/2190	Time: 799.314/86400
Decision: 720/2190	Time: 801.92/86400
Decision: 720/2190	Time: 804.718/86400
Decision: 720/2190	Time: 807.964/86400
Decision: 720/2190	Time: 810.856/86400
Decision: 720/2190	Time: 813.819/86400
Decision: 720/2190	Time: 816.784/86400
Decision: 720/2190	Time: 819.61/86400
Decision: 720/2190	Time: 823.054/86400
Decision: 720/2190	Time: 825.595/86400
Decision: 720/2190	Time: 828.213/86400
Decision: 720/2190	Time: 831.188/86400
Decision: 720/2190	Time: 834.312/86400
Decision: 720/2190	Time: 837.707/86400
Decision: 720/2190	Time: 840.651/86400
Decision: 720/2190	Time: 843.335/86400
Decision: 720/2190	Time: 846.038/86400
Decision: 720/2190	Time: 848.812/86400
Decision: 720/2190	Time: 852.127/86400
Decision: 720/2190	Time: 855.189/86400
Decision: 720/2190	Time: 858.061/86400
Decision: 720/2190	Time: 860.651/86400
Decision: 720/2190	Time: 863.602/86400
Decision: 720/2190	Time: 866.99/86400
Decision: 720/2190	Time: 869.87/86400
Decision: 720/2190	Time: 872.606/86400
Decision: 720/2190	Time: 875.324/86400
Decision: 720/2190	Time: 878.234/86400
Decision: 720/2190	Time: 881.674/86400
Decision: 720/2190	Time: 884.633/86400
Decision: 720/2190	Time: 887.575/86400
Decision: 720/2190	Time: 890.287/86400
Decision: 720/2190	Time: 893.14/86400
Decision: 720/2190	Time: 896.888/86400
Decision: 720/2190	Time: 899.85/86400
Decision: 720/2190	Time: 902.81/86400
Decision: 720/2190	Time: 905.787/86400
Decision: 720/2190	Time: 908.518/86400
Decision: 720/2190	Time: 911.98/86400
Decision: 720/2190	Time: 914.971/86400
Decision: 720/2190	Time: 917.688/86400
Decision: 720/2190	Time: 920.57/86400
Decision: 720/2190	Time: 923.338/86400
Decision: 720/2190	Time: 926.903/86400
Decision: 720/2190	Time: 929.71/86400
Decision: 720/2190	Time: 932.416/86400
Decision: 720/2190	Time: 935.299/86400
Decision: 720/2190	Time: 937.959/86400
Decision: 720/2190	Time: 941.575/86400
Decision: 720/2190	Time: 944.464/86400
Decision: 720/2190	Time: 947.307/86400
Decision: 720/2190	Time: 950.013/86400
Decision: 720/2190	Time: 952.737/86400
Decision: 720/2190	Time: 956.084/86400
Decision: 720/2190	Time: 959.073/86400
Decision: 720/2190	Time: 961.958/86400
Decision: 720/2190	Time: 964.806/86400
Decision: 720/2190	Time: 967.749/86400
Decision: 720/2190	Time: 971.253/86400
Decision: 720/2190	Time: 974.051/86400
Decision: 720/2190	Time: 977.038/86400
Decision: 720/2190	Time: 980.076/86400
Decision: 720/2190	Time: 982.856/86400
Decision: 720/2190	Time: 986.306/86400
Decision: 720/2190	Time: 989.165/86400
Decision: 720/2190	Time: 992.115/86400
Decision: 720/2190	Time: 995.024/86400
Decision: 720/2190	Time: 998.069/86400
Decision: 720/2190	Time: 1001.63/86400
Decision: 720/2190	Time: 1004.39/86400
Decision: 720/2190	Time: 1007.63/86400
Decision: 720/2190	Time: 1010.36/86400
Decision: 720/2190	Time: 1013.25/86400
Decision: 720/2190	Time: 1016.85/86400
Decision: 720/2190	Time: 1019.56/86400
Decision: 720/2190	Time: 1022.93/86400
Decision: 720/2190	Time: 1025.85/86400
Decision: 720/2190	Time: 1028.68/86400
Decision: 720/2190	Time: 1032.35/86400
Decision: 720/2190	Time: 1035.48/86400
Decision: 720/2190	Time: 1038.23/86400
Decision: 720/2190	Time: 1041.01/86400
Decision: 720/2190	Time: 1044.25/86400
Decision: 720/2190	Time: 1047.78/86400
Decision: 720/2190	Time: 1050.97/86400
Decision: 720/2190	Time: 1054.11/86400
Decision: 720/2190	Time: 1057.96/86400
Decision: 720/2190	Time: 1060.88/86400
Decision: 720/2190	Time: 1064.46/86400
Decision: 720/2190	Time: 1067.16/86400
Decision: 720/2190	Time: 1070.06/86400
Decision: 720/2190	Time: 1073.19/86400
Decision: 720/2190	Time: 1076.32/86400
Decision: 720/2190	Time: 1079.71/86400
Decision: 720/2190	Time: 1082.68/86400
Decision: 720/2190	Time: 1085.89/86400
Decision: 720/2190	Time: 1088.98/86400
Decision: 720/2190	Time: 1092.14/86400
Decision: 720/2190	Time: 1095.92/86400
Decision: 720/2190	Time: 1098.9/86400
Decision: 720/2190	Time: 1101.84/86400
Decision: 720/2190	Time: 1104.83/86400
Decision: 720/2190	Time: 1107.77/86400
Decision: 720/2190	Time: 1111.37/86400
Decision: 720/2190	Time: 1114.51/86400
Decision: 720/2190	Time: 1117.63/86400
Decision: 720/2190	Time: 1120.67/86400
Decision: 720/2190	Time: 1123.63/86400
Decision: 720/2190	Time: 1127.26/86400
Decision: 720/2190	Time: 1130.43/86400
Decision: 720/2190	Time: 1133.26/86400
Decision: 720/2190	Time: 1136.58/86400
Decision: 720/2190	Time: 1139.55/86400
Decision: 720/2190	Time: 1143.58/86400
Decision: 720/2190	Time: 1146.76/86400
Decision: 720/2190	Time: 1149.74/86400
Decision: 720/2190	Time: 1152.76/86400
Decision: 720/2190	Time: 1155.63/86400
Decision: 720/2190	Time: 1159.77/86400
Decision: 720/2190	Time: 1162.8/86400
Decision: 720/2190	Time: 1166.33/86400
Decision: 720/2190	Time: 1169.35/86400
Decision: 720/2190	Time: 1172.33/86400
Decision: 720/2190	Time: 1175.88/86400
Decision: 720/2190	Time: 1179.07/86400
Decision: 720/2190	Time: 1182.03/86400
Decision: 720/2190	Time: 1185.5/86400
Decision: 720/2190	Time: 1188.37/86400
Decision: 720/2190	Time: 1192.08/86400
Decision: 720/2190	Time: 1195.16/86400
Decision: 720/2190	Time: 1197.86/86400
Decision: 720/2190	Time: 1200.78/86400
Decision: 720/2190	Time: 1203.87/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.07 0.02 0.00 1/54 28505
Raw data (stat): 28505 (runsolver) R 28504 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805745129 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.21 0.05 0.01 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 870 0 9 0 558 3 0 0 25 0 1 0 805745129 4550656 829 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1111 829 300 300 0 811 0
vsize: 4444
[startup+20.1124 s]
Raw data (loadavg): 0.33 0.08 0.02 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 1455 0 9 0 1567 5 0 0 25 0 1 0 805745129 7266304 1365 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1774 1365 300 300 0 1474 0
vsize: 7096
[startup+30.1119 s]
Raw data (loadavg): 0.43 0.11 0.03 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 2411 0 9 0 2563 9 0 0 25 0 1 0 805745129 12414976 2321 4294967295 134512640 135726644 3221224576 3221222896 134729268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3031 2321 300 300 0 2731 0
vsize: 12124
[startup+40.1128 s]
Raw data (loadavg): 0.52 0.14 0.04 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 3355 0 9 0 3559 13 0 0 25 0 1 0 805745129 22028288 3168 4294967295 134512640 135726644 3221224576 3221223008 134779279 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5378 3168 300 300 0 5078 0
vsize: 21512
[startup+50.113 s]
Raw data (loadavg): 0.59 0.16 0.05 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 3827 0 9 0 4557 15 0 0 25 0 1 0 805745129 22843392 3640 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5577 3640 300 300 0 5277 0
vsize: 22308
[startup+60.1124 s]
Raw data (loadavg): 0.65 0.19 0.06 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 4309 0 9 0 5554 18 0 0 25 0 1 0 805745129 23760896 4122 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5801 4122 300 300 0 5501 0
vsize: 23204
[startup+70.1122 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 5060 0 9 0 6551 20 0 0 25 0 1 0 805745129 25284608 4680 4294967295 134512640 135726644 3221224576 3221222800 134810238 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6173 4680 300 300 0 5873 0
vsize: 24692
[startup+80.1123 s]
Raw data (loadavg): 0.75 0.24 0.08 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 5676 0 9 0 7548 24 0 0 25 0 1 0 805745129 26431488 5296 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6453 5296 300 300 0 6153 0
vsize: 25812
[startup+90.1128 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 6165 0 9 0 8546 26 0 0 25 0 1 0 805745129 27250688 5785 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6653 5785 300 300 0 6353 0
vsize: 26612
[startup+100.113 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 6597 0 9 0 9545 27 0 0 25 0 1 0 805745129 27742208 6217 4294967295 134512640 135726644 3221224576 3221223088 134742923 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6773 6217 300 300 0 6473 0
vsize: 27092
[startup+110.113 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 6951 0 9 0 10542 29 0 0 25 0 1 0 805745129 45010944 6571 4294967295 134512640 135726644 3221224576 3221223120 134736700 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10989 6571 300 300 0 10689 0
vsize: 43956
[startup+120.113 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 7063 0 9 0 11542 30 0 0 25 0 1 0 805745129 45338624 6683 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11069 6683 300 300 0 10769 0
vsize: 44276
[startup+130.113 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 7154 0 9 0 12541 31 0 0 25 0 1 0 805745129 45666304 6774 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11149 6774 300 300 0 10849 0
vsize: 44596
[startup+140.113 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 7776 0 9 0 13539 33 0 0 25 0 1 0 805745129 45993984 7396 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11229 7396 300 300 0 10929 0
vsize: 44916
[startup+150.114 s]
Raw data (loadavg): 0.92 0.40 0.14 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 8059 0 9 0 14537 35 0 0 25 0 1 0 805745129 46190592 7679 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11277 7679 300 300 0 10977 0
vsize: 45108
[startup+160.114 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 8551 0 9 0 15536 36 0 0 25 0 1 0 805745129 48091136 7786 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11741 7786 300 300 0 11441 0
vsize: 46964
[startup+170.114 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 8691 0 9 0 16535 37 0 0 25 0 1 0 805745129 48254976 7926 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11781 7926 300 300 0 11481 0
vsize: 47124
[startup+180.113 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 9112 0 9 0 17533 39 0 0 25 0 1 0 805745129 49008640 8347 4294967295 134512640 135726644 3221224576 3221222648 135281339 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11965 8347 300 300 0 11665 0
vsize: 47860
[startup+190.114 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 9586 0 9 0 18531 42 0 0 25 0 1 0 805745129 50188288 8821 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12253 8821 300 300 0 11953 0
vsize: 49012
[startup+200.114 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 10259 0 9 0 19529 44 0 0 25 0 1 0 805745129 51171328 9494 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12493 9494 300 300 0 12193 0
vsize: 49972
[startup+210.114 s]
Raw data (loadavg): 0.97 0.50 0.20 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 10514 0 9 0 20529 45 0 0 25 0 1 0 805745129 51957760 9749 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12685 9749 300 300 0 12385 0
vsize: 50740
[startup+220.114 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 10749 0 9 0 21527 46 0 0 25 0 1 0 805745129 52350976 9984 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12781 9984 300 300 0 12481 0
vsize: 51124
[startup+230.115 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 11011 0 9 0 22526 47 0 0 25 0 1 0 805745129 52940800 10246 4294967295 134512640 135726644 3221224576 3221222800 134810165 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12925 10246 300 300 0 12625 0
vsize: 51700
[startup+240.115 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 11448 0 9 0 23524 50 0 0 25 0 1 0 805745129 53727232 10683 4294967295 134512640 135726644 3221224576 3221222648 135281491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13117 10683 300 300 0 12817 0
vsize: 52468
[startup+250.116 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 11862 0 9 0 24523 51 0 0 25 0 1 0 805745129 54513664 11097 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13309 11097 300 300 0 13009 0
vsize: 53236
[startup+260.116 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 12177 0 9 0 25522 52 0 0 25 0 1 0 805745129 54906880 11412 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13405 11412 300 300 0 13105 0
vsize: 53620
[startup+270.117 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 12549 0 9 0 26521 54 0 0 25 0 1 0 805745129 55496704 11784 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13549 11784 300 300 0 13249 0
vsize: 54196
[startup+280.116 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 12985 0 9 0 27519 55 0 0 25 0 1 0 805745129 55889920 12220 4294967295 134512640 135726644 3221224576 3221223200 134779424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13645 12220 300 300 0 13345 0
vsize: 54580
[startup+290.118 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 13137 0 9 0 28518 56 0 0 25 0 1 0 805745129 56086528 12372 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13693 12372 300 300 0 13393 0
vsize: 54772
[startup+300.118 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 13384 0 9 0 29517 58 0 0 25 0 1 0 805745129 56283136 12619 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13741 12619 300 300 0 13441 0
vsize: 54964
[startup+310.118 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 13766 0 9 0 30514 61 0 0 25 0 1 0 805745129 90230784 13001 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22029 13001 300 300 0 21729 0
vsize: 88116
[startup+320.119 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 13825 0 9 0 31514 62 0 0 25 0 1 0 805745129 90230784 13060 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22029 13060 300 300 0 21729 0
vsize: 88116
[startup+330.118 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 14006 0 9 0 32513 63 0 0 25 0 1 0 805745129 90427392 13241 4294967295 134512640 135726644 3221224576 3221222648 135280601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22077 13241 300 300 0 21777 0
vsize: 88308
[startup+340.118 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 14144 0 9 0 33512 64 0 0 25 0 1 0 805745129 90624000 13379 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22125 13379 300 300 0 21825 0
vsize: 88500
[startup+350.119 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 14196 0 9 0 34511 65 0 0 25 0 1 0 805745129 90624000 13431 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22125 13431 300 300 0 21825 0
vsize: 88500
[startup+360.118 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 14235 0 9 0 35511 66 0 0 25 0 1 0 805745129 90820608 13470 4294967295 134512640 135726644 3221224576 3221223088 134742591 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22173 13470 300 300 0 21873 0
vsize: 88692
[startup+370.118 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 14283 0 9 0 36510 67 0 0 25 0 1 0 805745129 90820608 13518 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22173 13518 300 300 0 21873 0
vsize: 88692
[startup+380.118 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 14314 0 9 0 37509 67 0 0 25 0 1 0 805745129 91017216 13549 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22221 13549 300 300 0 21921 0
vsize: 88884
[startup+390.118 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 14332 0 9 0 38509 67 0 0 25 0 1 0 805745129 91017216 13567 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22221 13567 300 300 0 21921 0
vsize: 88884
[startup+400.118 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 14360 0 9 0 39508 68 0 0 25 0 1 0 805745129 91017216 13595 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22221 13595 300 300 0 21921 0
vsize: 88884
[startup+410.119 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15157 0 9 0 40506 71 0 0 25 0 1 0 805745129 94162944 13623 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22989 13623 300 300 0 22689 0
vsize: 91956
[startup+420.119 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15174 0 9 0 41505 72 0 0 25 0 1 0 805745129 94162944 13640 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22989 13640 300 300 0 22689 0
vsize: 91956
[startup+430.119 s]
Raw data (loadavg): 0.99 0.75 0.36 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15241 0 9 0 42504 73 0 0 25 0 1 0 805745129 94556160 13707 4294967295 134512640 135726644 3221224576 3221223168 134760219 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23085 13707 300 300 0 22785 0
vsize: 92340
[startup+440.119 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15262 0 9 0 43504 73 0 0 25 0 1 0 805745129 94556160 13728 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23085 13728 300 300 0 22785 0
vsize: 92340
[startup+450.12 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15295 0 9 0 44504 74 0 0 25 0 1 0 805745129 94556160 13761 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23085 13761 300 300 0 22785 0
vsize: 92340
[startup+460.119 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15329 0 9 0 45503 75 0 0 25 0 1 0 805745129 94556160 13795 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23085 13795 300 300 0 22785 0
vsize: 92340
[startup+470.12 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15349 0 9 0 46502 76 0 0 25 0 1 0 805745129 94556160 13815 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23085 13815 300 300 0 22785 0
vsize: 92340
[startup+480.12 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15367 0 9 0 47502 76 0 0 25 0 1 0 805745129 94556160 13833 4294967295 134512640 135726644 3221224576 3221223056 134729216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23085 13833 300 300 0 22785 0
vsize: 92340
[startup+490.121 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15403 0 9 0 48502 76 0 0 25 0 1 0 805745129 94752768 13869 4294967295 134512640 135726644 3221224576 3221222648 135281390 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23133 13869 300 300 0 22833 0
vsize: 92532
[startup+500.121 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15446 0 9 0 49501 77 0 0 25 0 1 0 805745129 94752768 13912 4294967295 134512640 135726644 3221224576 3221222896 134729050 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23133 13912 300 300 0 22833 0
vsize: 92532
[startup+510.121 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15475 0 9 0 50501 78 0 0 25 0 1 0 805745129 94949376 13941 4294967295 134512640 135726644 3221224576 3221223088 134742627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23181 13941 300 300 0 22881 0
vsize: 92724
[startup+520.121 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15495 0 9 0 51500 78 0 0 25 0 1 0 805745129 94949376 13961 4294967295 134512640 135726644 3221224576 3221222892 134809983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23181 13961 300 300 0 22881 0
vsize: 92724
[startup+530.122 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15514 0 9 0 52500 79 0 0 25 0 1 0 805745129 94949376 13980 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23181 13980 300 300 0 22881 0
vsize: 92724
[startup+540.122 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15530 0 9 0 53499 80 0 0 25 0 1 0 805745129 94949376 13996 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23181 13996 300 300 0 22881 0
vsize: 92724
[startup+550.122 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15563 0 9 0 54499 80 0 0 25 0 1 0 805745129 94949376 14029 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23181 14029 300 300 0 22881 0
vsize: 92724
[startup+560.122 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15598 0 9 0 55499 81 0 0 25 0 1 0 805745129 94949376 14064 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23181 14064 300 300 0 22881 0
vsize: 92724
[startup+570.123 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15618 0 9 0 56498 81 0 0 25 0 1 0 805745129 94949376 14084 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23181 14084 300 300 0 22881 0
vsize: 92724
[startup+580.122 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15653 0 9 0 57498 82 0 0 25 0 1 0 805745129 95145984 14119 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23229 14119 300 300 0 22929 0
vsize: 92916
[startup+590.123 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15680 0 9 0 58497 83 0 0 25 0 1 0 805745129 95145984 14146 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23229 14146 300 300 0 22929 0
vsize: 92916
[startup+600.123 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15714 0 9 0 59497 83 0 0 25 0 1 0 805745129 95145984 14180 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23229 14180 300 300 0 22929 0
vsize: 92916
[startup+610.122 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15734 0 9 0 60497 84 0 0 25 0 1 0 805745129 95145984 14200 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23229 14200 300 300 0 22929 0
vsize: 92916
[startup+620.123 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 15790 0 9 0 61496 84 0 0 25 0 1 0 805745129 95145984 14256 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23229 14256 300 300 0 22929 0
vsize: 92916
[startup+630.123 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 16222 0 9 0 62496 85 0 0 25 0 1 0 805745129 95145984 14688 4294967295 134512640 135726644 3221224576 3221223200 134779430 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23229 14688 300 300 0 22929 0
vsize: 92916
[startup+640.123 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 16247 0 9 0 63495 85 0 0 25 0 1 0 805745129 95145984 14713 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23229 14713 300 300 0 22929 0
vsize: 92916
[startup+650.124 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 16349 0 9 0 64495 86 0 0 25 0 1 0 805745129 95281152 14815 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23262 14815 300 300 0 22962 0
vsize: 93048
[startup+660.123 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 16386 0 9 0 65494 87 0 0 25 0 1 0 805745129 95416320 14852 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23295 14852 300 300 0 22995 0
vsize: 93180
[startup+670.123 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 16419 0 9 0 66494 87 0 0 25 0 1 0 805745129 95416320 14885 4294967295 134512640 135726644 3221224576 3221223120 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23295 14885 300 300 0 22995 0
vsize: 93180
[startup+680.124 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 16457 0 9 0 67493 88 0 0 25 0 1 0 805745129 95612928 14923 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23343 14923 300 300 0 23043 0
vsize: 93372
[startup+690.124 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 16870 0 9 0 68491 90 0 0 25 0 1 0 805745129 95748096 15336 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23376 15336 300 300 0 23076 0
vsize: 93504
[startup+700.124 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 16982 0 9 0 69490 92 0 0 25 0 1 0 805745129 96153600 15448 4294967295 134512640 135726644 3221224576 3221223088 134742913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23475 15448 300 300 0 23175 0
vsize: 93900
[startup+710.124 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17093 0 9 0 70489 93 0 0 25 0 1 0 805745129 96288768 15559 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23508 15559 300 300 0 23208 0
vsize: 94032
[startup+720.125 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17154 0 9 0 71489 94 0 0 25 0 1 0 805745129 96559104 15620 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23574 15620 300 300 0 23274 0
vsize: 94296
[startup+730.124 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17272 0 9 0 72488 95 0 0 25 0 1 0 805745129 96694272 15738 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23607 15738 300 300 0 23307 0
vsize: 94428
[startup+740.126 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17295 0 9 0 73487 95 0 0 25 0 1 0 805745129 96694272 15761 4294967295 134512640 135726644 3221224576 3221222908 135280476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23607 15761 300 300 0 23307 0
vsize: 94428
[startup+750.125 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17332 0 9 0 74487 96 0 0 25 0 1 0 805745129 96829440 15798 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23640 15798 300 300 0 23340 0
vsize: 94560
[startup+760.125 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17350 0 9 0 75487 96 0 0 25 0 1 0 805745129 96829440 15816 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23640 15816 300 300 0 23340 0
vsize: 94560
[startup+770.125 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17370 0 9 0 76486 97 0 0 25 0 1 0 805745129 96829440 15836 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23640 15836 300 300 0 23340 0
vsize: 94560
[startup+780.126 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17421 0 9 0 77485 99 0 0 25 0 1 0 805745129 97099776 15887 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23706 15887 300 300 0 23406 0
vsize: 94824
[startup+790.126 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17440 0 9 0 78484 100 0 0 25 0 1 0 805745129 97099776 15906 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23706 15906 300 300 0 23406 0
vsize: 94824
[startup+800.127 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17481 0 9 0 79484 100 0 0 25 0 1 0 805745129 97234944 15947 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 15947 300 300 0 23439 0
vsize: 94956
[startup+810.127 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17505 0 9 0 80483 101 0 0 25 0 1 0 805745129 97366016 15971 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23771 15971 300 300 0 23471 0
vsize: 95084
[startup+820.128 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17529 0 9 0 81483 101 0 0 25 0 1 0 805745129 97366016 15995 4294967295 134512640 135726644 3221224576 3221223184 134741150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23771 15995 300 300 0 23471 0
vsize: 95084
[startup+830.128 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17574 0 9 0 82483 102 0 0 25 0 1 0 805745129 97501184 16040 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23804 16040 300 300 0 23504 0
vsize: 95216
[startup+840.129 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17611 0 9 0 83482 102 0 0 25 0 1 0 805745129 97636352 16077 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23837 16077 300 300 0 23537 0
vsize: 95348
[startup+850.129 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17641 0 9 0 84482 103 0 0 25 0 1 0 805745129 97787904 16107 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23874 16107 300 300 0 23574 0
vsize: 95496
[startup+860.13 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17670 0 9 0 85481 104 0 0 25 0 1 0 805745129 97787904 16136 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23874 16136 300 300 0 23574 0
vsize: 95496
[startup+870.13 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17694 0 9 0 86480 105 0 0 25 0 1 0 805745129 97787904 16160 4294967295 134512640 135726644 3221224576 3221223088 134742913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23874 16160 300 300 0 23574 0
vsize: 95496
[startup+880.131 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17729 0 9 0 87480 106 0 0 25 0 1 0 805745129 97923072 16195 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23907 16195 300 300 0 23607 0
vsize: 95628
[startup+890.132 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17754 0 9 0 88480 106 0 0 25 0 1 0 805745129 97923072 16220 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23907 16220 300 300 0 23607 0
vsize: 95628
[startup+900.133 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17785 0 9 0 89479 106 0 0 25 0 1 0 805745129 98058240 16251 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23940 16251 300 300 0 23640 0
vsize: 95760
[startup+910.132 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17821 0 9 0 90479 107 0 0 25 0 1 0 805745129 98058240 16287 4294967295 134512640 135726644 3221224576 3221223088 134742902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23940 16287 300 300 0 23640 0
vsize: 95760
[startup+920.133 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17860 0 9 0 91479 108 0 0 25 0 1 0 805745129 98308096 16326 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24001 16326 300 300 0 23701 0
vsize: 96004
[startup+930.133 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17916 0 9 0 92478 108 0 0 25 0 1 0 805745129 98578432 16382 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24067 16382 300 300 0 23767 0
vsize: 96268
[startup+940.134 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 17932 0 9 0 93478 109 0 0 25 0 1 0 805745129 98578432 16398 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24067 16398 300 300 0 23767 0
vsize: 96268
[startup+950.135 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19494 0 9 0 94474 113 0 0 25 0 1 0 805745129 104869888 16423 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25603 16423 300 300 0 25303 0
vsize: 102412
[startup+960.135 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19550 0 9 0 95473 114 0 0 25 0 1 0 805745129 105140224 16479 4294967295 134512640 135726644 3221224576 3221223200 134779694 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25669 16479 300 300 0 25369 0
vsize: 102676
[startup+970.135 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19565 0 9 0 96473 114 0 0 25 0 1 0 805745129 105140224 16494 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25669 16494 300 300 0 25369 0
vsize: 102676
[startup+980.135 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19583 0 9 0 97472 115 0 0 25 0 1 0 805745129 105140224 16512 4294967295 134512640 135726644 3221224576 3221223072 134744172 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25669 16512 300 300 0 25369 0
vsize: 102676
[startup+990.136 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19614 0 9 0 98472 116 0 0 25 0 1 0 805745129 105254912 16543 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25697 16543 300 300 0 25397 0
vsize: 102788
[startup+1000.14 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19628 0 9 0 99471 116 0 0 25 0 1 0 805745129 105254912 16557 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25697 16557 300 300 0 25397 0
vsize: 102788
[startup+1010.14 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19669 0 9 0 100471 117 0 0 25 0 1 0 805745129 105390080 16598 4294967295 134512640 135726644 3221224576 3221222764 135287598 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25730 16598 300 300 0 25430 0
vsize: 102920
[startup+1020.14 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19708 0 9 0 101471 117 0 0 25 0 1 0 805745129 105525248 16637 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25763 16637 300 300 0 25463 0
vsize: 103052
[startup+1030.14 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19742 0 9 0 102471 118 0 0 25 0 1 0 805745129 105660416 16671 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25796 16671 300 300 0 25496 0
vsize: 103184
[startup+1040.14 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19775 0 9 0 103470 119 0 0 25 0 1 0 805745129 105795584 16704 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25829 16704 300 300 0 25529 0
vsize: 103316
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19793 0 9 0 104469 119 0 0 25 0 1 0 805745129 105795584 16722 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25829 16722 300 300 0 25529 0
vsize: 103316
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 19824 0 9 0 105469 120 0 0 25 0 1 0 805745129 105795584 16753 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25829 16753 300 300 0 25529 0
vsize: 103316
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 20052 0 9 0 106468 121 0 0 25 0 1 0 805745129 106057728 16981 4294967295 134512640 135726644 3221224576 3221222756 135277538 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25893 16981 300 300 0 25593 0
vsize: 103572
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 20087 0 9 0 107467 122 0 0 25 0 1 0 805745129 106192896 17016 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25926 17016 300 300 0 25626 0
vsize: 103704
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 20101 0 9 0 108467 122 0 0 25 0 1 0 805745129 106192896 17030 4294967295 134512640 135726644 3221224576 3221223088 134742640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25926 17030 300 300 0 25626 0
vsize: 103704
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 20180 0 9 0 109466 123 0 0 25 0 1 0 805745129 106463232 17109 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25992 17109 300 300 0 25692 0
vsize: 103968
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 20300 0 9 0 110466 124 0 0 25 0 1 0 805745129 107139072 17229 4294967295 134512640 135726644 3221224576 3221223072 134744200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26157 17229 300 300 0 25857 0
vsize: 104628
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 20484 0 9 0 111465 124 0 0 25 0 1 0 805745129 107274240 17413 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26190 17413 300 300 0 25890 0
vsize: 104760
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 20558 0 9 0 112465 125 0 0 25 0 1 0 805745129 107679744 17487 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26289 17487 300 300 0 25989 0
vsize: 105156
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 20629 0 9 0 113464 126 0 0 25 0 1 0 805745129 108085248 17558 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26388 17558 300 300 0 26088 0
vsize: 105552
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 20800 0 9 0 114464 127 0 0 25 0 1 0 805745129 108625920 17729 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26520 17729 300 300 0 26220 0
vsize: 106080
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 20861 0 9 0 115463 127 0 0 25 0 1 0 805745129 108896256 17790 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26586 17790 300 300 0 26286 0
vsize: 106344
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 21035 0 9 0 116462 128 0 0 25 0 1 0 805745129 109166592 17964 4294967295 134512640 135726644 3221224576 3221223088 134742923 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26652 17964 300 300 0 26352 0
vsize: 106608
[startup+1180.14 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 21094 0 9 0 117462 129 0 0 25 0 1 0 805745129 109301760 18023 4294967295 134512640 135726644 3221224576 3221223200 134779690 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26685 18023 300 300 0 26385 0
vsize: 106740
[startup+1190.14 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 21128 0 9 0 118462 129 0 0 25 0 1 0 805745129 109436928 18057 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26718 18057 300 300 0 26418 0
vsize: 106872
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 21164 0 9 0 119461 130 0 0 25 0 1 0 805745129 109572096 18093 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26751 18093 300 300 0 26451 0
vsize: 107004
[startup+1210.14 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 28505
Raw data (stat): 28505 (pb2sat) R 28504 21152 21151 0 -1 0 21181 0 9 0 120460 131 0 0 25 0 1 0 805745129 109572096 18110 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26751 18110 300 300 0 26451 0
vsize: 107004
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.34 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 28505
Raw data (stat): 28505 (pb2sat) Z 28504 21152 21151 0 -1 12 21182 0 9 0 120476 135 0 0 25 0 1 0 805745129 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1210.34
CPU time (s): 1206.12
CPU user time (s): 1204.76
CPU system time (s): 1.35279
CPU usage (%): 99.6515
Max. virtual memory (Kb): 107004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####