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/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
MD5SUM	9b244c88702eddacf15d45f12fda5eb0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6352
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	6352
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13501
Number of constraints which are clauses	13501
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3
Trace number 42118

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 00:08:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25310 boxname=wulflinc5 idbench=212 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9b244c88702eddacf15d45f12fda5eb0  /oldhome/oroussel/tmp/wulflinc5/normalized-par32-5.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-par32-5.opb
IDLAUNCH: 25310
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        826752 kB
Buffers:         33980 kB
Cached:         151096 kB
SwapCached:        700 kB
Active:          73116 kB
Inactive:       114048 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        826500 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15024 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:28:16 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 25310 7 1200.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 1599/6365	Time: 14.3298/86400
c Decision: 1599/6365	Time: 15.9426/86400
c Decision: 1599/6365	Time: 17.2924/86400
c Decision: 1599/6365	Time: 19.1841/86400
c Decision: 1599/6365	Time: 21.1928/86400
c Decision: 1599/6365	Time: 23.3365/86400
c Decision: 1599/6365	Time: 24.9032/86400
c Decision: 1599/6365	Time: 26.615/86400
c Decision: 1599/6365	Time: 28.2347/86400
c Decision: 1599/6365	Time: 29.6535/86400
c Decision: 1599/6365	Time: 31.2363/86400
c Decision: 1599/6365	Time: 32.733/86400
c Decision: 1599/6365	Time: 34.2618/86400
c Decision: 1599/6365	Time: 35.6726/86400
c Decision: 1599/6365	Time: 37.6063/86400
c Decision: 1599/6365	Time: 39.308/86400
c Decision: 1599/6365	Time: 40.9938/86400
c Decision: 1599/6365	Time: 42.5685/86400
c Decision: 1599/6365	Time: 44.4212/86400
c Decision: 1599/6365	Time: 46.4579/86400
c Decision: 1599/6365	Time: 48.1017/86400
c Decision: 1599/6365	Time: 49.5515/86400
c Decision: 1599/6365	Time: 51.2232/86400
c Decision: 1599/6365	Time: 53.1919/86400
c Decision: 1599/6365	Time: 54.9726/86400
c Decision: 1599/6365	Time: 56.8244/86400
c Decision: 1599/6365	Time: 58.6941/86400
c Decision: 1599/6365	Time: 60.7418/86400
c Decision: 1599/6365	Time: 62.7665/86400
c Decision: 1599/6365	Time: 64.2802/86400
c Decision: 1599/6365	Time: 66.6899/86400
c Decision: 1599/6365	Time: 68.6266/86400
c Decision: 1599/6365	Time: 71.0362/86400
c Decision: 1599/6365	Time: 72.7019/86400
c Decision: 1599/6365	Time: 74.5767/86400
c Decision: 1599/6365	Time: 76.4744/86400
c Decision: 1599/6365	Time: 78.2941/86400
c Decision: 1599/6365	Time: 80.3578/86400
c Decision: 1599/6365	Time: 82.3035/86400
c Decision: 1599/6365	Time: 83.8153/86400
c Decision: 1599/6365	Time: 85.433/86400
c Decision: 1599/6365	Time: 87.4787/86400
c Decision: 1599/6365	Time: 89.4294/86400
c Decision: 1599/6365	Time: 90.9812/86400
c Decision: 1599/6365	Time: 93.4598/86400
c Decision: 1599/6365	Time: 95.5575/86400
c Decision: 1599/6365	Time: 97.5732/86400
c Decision: 1599/6365	Time: 99.6608/86400
c Decision: 1599/6365	Time: 101.929/86400
c Decision: 1599/6365	Time: 104.075/86400
c Decision: 1599/6365	Time: 106.699/86400
c Decision: 1599/6365	Time: 108.656/86400
c Decision: 1599/6365	Time: 110.971/86400
c Decision: 1599/6365	Time: 113.075/86400
c Decision: 1599/6365	Time: 115.788/86400
c Decision: 1599/6365	Time: 119.004/86400
c Decision: 1599/6365	Time: 120.94/86400
c Decision: 1599/6365	Time: 123.408/86400
c Decision: 1599/6365	Time: 125.389/86400
c Decision: 1599/6365	Time: 127.983/86400
c Decision: 1599/6365	Time: 129.793/86400
c Decision: 1599/6365	Time: 131.508/86400
c Decision: 1599/6365	Time: 134.123/86400
c Decision: 1599/6365	Time: 136.405/86400
c Decision: 1599/6365	Time: 138.973/86400
c Decision: 1599/6365	Time: 141.626/86400
c Decision: 1599/6365	Time: 144.325/86400
c Decision: 1599/6365	Time: 146.955/86400
c Decision: 1599/6365	Time: 149.136/86400
c Decision: 1599/6365	Time: 151.8/86400
c Decision: 1599/6365	Time: 154.008/86400
c Decision: 1599/6365	Time: 156.276/86400
c Decision: 1599/6365	Time: 158.663/86400
c Decision: 1599/6365	Time: 161.351/86400
c Decision: 1599/6365	Time: 163.683/86400
c Decision: 1599/6365	Time: 166.154/86400
c Decision: 1599/6365	Time: 168.372/86400
c Decision: 1599/6365	Time: 170.534/86400
c Decision: 1599/6365	Time: 173.321/86400
c Decision: 1599/6365	Time: 175.833/86400
c Decision: 1599/6365	Time: 178.921/86400
c Decision: 1599/6365	Time: 181.787/86400
c Decision: 1599/6365	Time: 183.907/86400
c Decision: 1599/6365	Time: 186.465/86400
c Decision: 1599/6365	Time: 189.318/86400
c Decision: 1599/6365	Time: 192.021/86400
c Decision: 1599/6365	Time: 194.775/86400
c Decision: 1599/6365	Time: 197.44/86400
c Decision: 1599/6365	Time: 199.732/86400
c Decision: 1599/6365	Time: 202.583/86400
c Decision: 1599/6365	Time: 205.364/86400
c Decision: 1599/6365	Time: 208.318/86400
c Decision: 1599/6365	Time: 211.109/86400
c Decision: 1599/6365	Time: 213.287/86400
c Decision: 1599/6365	Time: 216.073/86400
c Decision: 1599/6365	Time: 219.336/86400
c Decision: 1599/6365	Time: 222.28/86400
c Decision: 1599/6365	Time: 225.143/86400
c Decision: 1599/6365	Time: 227.976/86400
c Decision: 1599/6365	Time: 230.91/86400
c Decision: 1599/6365	Time: 233.97/86400
c Decision: 1599/6365	Time: 236.594/86400
c Decision: 1599/6365	Time: 239.777/86400
c Decision: 1599/6365	Time: 242.674/86400
c Decision: 1599/6365	Time: 244.971/86400
c Decision: 1599/6365	Time: 247.986/86400
c Decision: 1599/6365	Time: 250.847/86400
c Decision: 1599/6365	Time: 253.643/86400
c Decision: 1599/6365	Time: 256.503/86400
c Decision: 1599/6365	Time: 259.394/86400
c Decision: 1599/6365	Time: 263.005/86400
c Decision: 1599/6365	Time: 266.091/86400
c Decision: 1599/6365	Time: 269.206/86400
c Decision: 1599/6365	Time: 272.404/86400
c Decision: 1599/6365	Time: 275.633/86400
c Decision: 1599/6365	Time: 278.761/86400
c Decision: 1599/6365	Time: 281.644/86400
c Decision: 1599/6365	Time: 284.937/86400
c Decision: 1599/6365	Time: 287.619/86400
c Decision: 1599/6365	Time: 290.312/86400
c Decision: 1599/6365	Time: 293.633/86400
c Decision: 1599/6365	Time: 296.827/86400
c Decision: 1599/6365	Time: 299.496/86400
c Decision: 1599/6365	Time: 302.769/86400
c Decision: 1599/6365	Time: 305.839/86400
c Decision: 1599/6365	Time: 308.753/86400
c Decision: 1599/6365	Time: 311.506/86400
c Decision: 1599/6365	Time: 314.71/86400
c Decision: 1599/6365	Time: 318.004/86400
c Decision: 1599/6365	Time: 321.114/86400
c Decision: 1599/6365	Time: 324.415/86400
c Decision: 1599/6365	Time: 327.444/86400
c Decision: 1599/6365	Time: 330.681/86400
c Decision: 1599/6365	Time: 334.088/86400
c Decision: 1599/6365	Time: 336.481/86400
c Decision: 1599/6365	Time: 339.988/86400
c Decision: 1599/6365	Time: 343.032/86400
c Decision: 1599/6365	Time: 345.838/86400
c Decision: 1599/6365	Time: 348.882/86400
c Decision: 1599/6365	Time: 351.747/86400
c Decision: 1599/6365	Time: 355.036/86400
c Decision: 1599/6365	Time: 357.853/86400
c Decision: 1599/6365	Time: 361.134/86400
c Decision: 1599/6365	Time: 364.318/86400
c Decision: 1599/6365	Time: 367.032/86400
c Decision: 1599/6365	Time: 370.809/86400
c Decision: 1599/6365	Time: 373.97/86400
c Decision: 1599/6365	Time: 377.268/86400
c Decision: 1599/6365	Time: 380.714/86400
c Decision: 1599/6365	Time: 384.09/86400
c Decision: 1599/6365	Time: 387.494/86400
c Decision: 1599/6365	Time: 390.392/86400
c Decision: 1599/6365	Time: 393.718/86400
c Decision: 1599/6365	Time: 396.843/86400
c Decision: 1599/6365	Time: 400.324/86400
c Decision: 1599/6365	Time: 404.248/86400
c Decision: 1599/6365	Time: 407.14/86400
c Decision: 1599/6365	Time: 410.179/86400
c Decision: 1599/6365	Time: 413.473/86400
c Decision: 1599/6365	Time: 416.918/86400
c Decision: 1599/6365	Time: 420.524/86400
c Decision: 1599/6365	Time: 423.5/86400
c Decision: 1599/6365	Time: 426.379/86400
c Decision: 1599/6365	Time: 429.457/86400
c Decision: 1599/6365	Time: 432.413/86400
c Decision: 1599/6365	Time: 435.942/86400
c Decision: 1599/6365	Time: 439.327/86400
c Decision: 1599/6365	Time: 442.564/86400
c Decision: 1599/6365	Time: 446.053/86400
c Decision: 1599/6365	Time: 449.287/86400
c Decision: 1599/6365	Time: 452.641/86400
c Decision: 1599/6365	Time: 456.107/86400
c Decision: 1599/6365	Time: 459.442/86400
c Decision: 1599/6365	Time: 463.112/86400
c Decision: 1599/6365	Time: 466.442/86400
c Decision: 1599/6365	Time: 469.935/86400
c Decision: 1599/6365	Time: 473.466/86400
c Decision: 1599/6365	Time: 476.212/86400
c Decision: 1599/6365	Time: 479.009/86400
c Decision: 1599/6365	Time: 482.08/86400
c Decision: 1599/6365	Time: 485.754/86400
c Decision: 1599/6365	Time: 489.278/86400
c Decision: 1599/6365	Time: 492.743/86400
c Decision: 1599/6365	Time: 495.625/86400
c Decision: 1599/6365	Time: 498.705/86400
c Decision: 1599/6365	Time: 502.904/86400
c Decision: 1599/6365	Time: 506.035/86400
c Decision: 1599/6365	Time: 509.447/86400
c Decision: 1599/6365	Time: 512.889/86400
c Decision: 1599/6365	Time: 515.737/86400
c Decision: 1599/6365	Time: 519.148/86400
c Decision: 1599/6365	Time: 522.285/86400
c Decision: 1599/6365	Time: 525.346/86400
c Decision: 1599/6365	Time: 528.816/86400
c Decision: 1599/6365	Time: 532.188/86400
c Decision: 1599/6365	Time: 535.949/86400
c Decision: 1599/6365	Time: 539.187/86400
c Decision: 1599/6365	Time: 542.649/86400
c Decision: 1599/6365	Time: 546.253/86400
c Decision: 1599/6365	Time: 549.061/86400
c Decision: 1599/6365	Time: 552.734/86400
c Decision: 1599/6365	Time: 555.988/86400
c Decision: 1599/6365	Time: 559.393/86400
c Decision: 1599/6365	Time: 562.12/86400
c Decision: 1599/6365	Time: 565.145/86400
c Decision: 1599/6365	Time: 569.124/86400
c Decision: 1599/6365	Time: 572.573/86400
c Decision: 1599/6365	Time: 575.735/86400
c Decision: 1599/6365	Time: 579.039/86400
c Decision: 1599/6365	Time: 582.192/86400
c Decision: 1599/6365	Time: 585.447/86400
c Decision: 1599/6365	Time: 588.911/86400
c Decision: 1599/6365	Time: 592.588/86400
c Decision: 1599/6365	Time: 595.929/86400
c Decision: 1599/6365	Time: 599.211/86400
c Decision: 1599/6365	Time: 603.048/86400
c Decision: 1599/6365	Time: 606.708/86400
c Decision: 1599/6365	Time: 610.689/86400
c Decision: 1599/6365	Time: 613.997/86400
c Decision: 1599/6365	Time: 617.632/86400
c Decision: 1599/6365	Time: 621.601/86400
c Decision: 1599/6365	Time: 624.713/86400
c Decision: 1599/6365	Time: 628.366/86400
c Decision: 1599/6365	Time: 631.756/86400
c Decision: 1599/6365	Time: 634.947/86400
c Decision: 1599/6365	Time: 638.249/86400
c Decision: 1599/6365	Time: 641.301/86400
c Decision: 1599/6365	Time: 644.79/86400
c Decision: 1599/6365	Time: 647.859/86400
c Decision: 1599/6365	Time: 651.435/86400
c Decision: 1599/6365	Time: 655.161/86400
c Decision: 1599/6365	Time: 658.726/86400
c Decision: 1599/6365	Time: 662.496/86400
c Decision: 1599/6365	Time: 666.25/86400
c Decision: 1599/6365	Time: 669.742/86400
c Decision: 1599/6365	Time: 673.822/86400
c Decision: 1599/6365	Time: 677.259/86400
c Decision: 1599/6365	Time: 680.709/86400
c Decision: 1599/6365	Time: 683.942/86400
c Decision: 1599/6365	Time: 687.408/86400
c Decision: 1599/6365	Time: 691.056/86400
c Decision: 1599/6365	Time: 694.19/86400
c Decision: 1599/6365	Time: 697.64/86400
c Decision: 1599/6365	Time: 701.356/86400
c Decision: 1599/6365	Time: 704.908/86400
c Decision: 1599/6365	Time: 708.707/86400
c Decision: 1599/6365	Time: 712.257/86400
c Decision: 1599/6365	Time: 716.033/86400
c Decision: 1599/6365	Time: 719.601/86400
c Decision: 1599/6365	Time: 722.633/86400
c Decision: 1599/6365	Time: 726.529/86400
c Decision: 1599/6365	Time: 730.425/86400
c Decision: 1599/6365	Time: 734.272/86400
c Decision: 1599/6365	Time: 737.756/86400
c Decision: 1599/6365	Time: 741.768/86400
c Decision: 1599/6365	Time: 746.189/86400
c Decision: 1599/6365	Time: 749.209/86400
c Decision: 1599/6365	Time: 752.761/86400
c Decision: 1599/6365	Time: 756.307/86400
c Decision: 1599/6365	Time: 760.077/86400
c Decision: 1599/6365	Time: 764.732/86400
c Decision: 1599/6365	Time: 767.664/86400
c Decision: 1599/6365	Time: 771.398/86400
c Decision: 1599/6365	Time: 774.295/86400
c Decision: 1599/6365	Time: 777.969/86400
c Decision: 1599/6365	Time: 782.507/86400
c Decision: 1599/6365	Time: 786.151/86400
c Decision: 1599/6365	Time: 790.224/86400
c Decision: 1599/6365	Time: 794.676/86400
c Decision: 1599/6365	Time: 798.555/86400
c Decision: 1599/6365	Time: 802.851/86400
c Decision: 1599/6365	Time: 806.847/86400
c Decision: 1599/6365	Time: 810.54/86400
c Decision: 1599/6365	Time: 814.313/86400
c Decision: 1599/6365	Time: 818.447/86400
c Decision: 1599/6365	Time: 822.509/86400
c Decision: 1599/6365	Time: 826.248/86400
c Decision: 1599/6365	Time: 830.254/86400
c Decision: 1599/6365	Time: 834.447/86400
c Decision: 1599/6365	Time: 837.954/86400
c Decision: 1599/6365	Time: 841.861/86400
c Decision: 1599/6365	Time: 846.202/86400
c Decision: 1599/6365	Time: 849.698/86400
c Decision: 1599/6365	Time: 853.476/86400
c Decision: 1599/6365	Time: 857.225/86400
c Decision: 1599/6365	Time: 861.653/86400
c Decision: 1599/6365	Time: 865.231/86400
c Decision: 1599/6365	Time: 868.97/86400
c Decision: 1599/6365	Time: 872.916/86400
c Decision: 1599/6365	Time: 876.748/86400
c Decision: 1599/6365	Time: 881.548/86400
c Decision: 1599/6365	Time: 885.474/86400
c Decision: 1599/6365	Time: 888.795/86400
c Decision: 1599/6365	Time: 893.073/86400
c Decision: 1599/6365	Time: 896.665/86400
c Decision: 1599/6365	Time: 900.66/86400
c Decision: 1599/6365	Time: 904.414/86400
c Decision: 1599/6365	Time: 908.05/86400
c Decision: 1599/6365	Time: 911.535/86400
c Decision: 1599/6365	Time: 915.409/86400
c Decision: 1599/6365	Time: 919.064/86400
c Decision: 1599/6365	Time: 922.51/86400
c Decision: 1599/6365	Time: 926.077/86400
c Decision: 1599/6365	Time: 928.971/86400
c Decision: 1599/6365	Time: 932.613/86400
c Decision: 1599/6365	Time: 936.603/86400
c Decision: 1599/6365	Time: 940.18/86400
c Decision: 1599/6365	Time: 944.243/86400
c Decision: 1599/6365	Time: 948.003/86400
c Decision: 1599/6365	Time: 951.923/86400
c Decision: 1599/6365	Time: 955.861/86400
c Decision: 1599/6365	Time: 959.247/86400
c Decision: 1599/6365	Time: 962.894/86400
c Decision: 1599/6365	Time: 966.379/86400
c Decision: 1599/6365	Time: 970.069/86400
c Decision: 1599/6365	Time: 973.796/86400
c Decision: 1599/6365	Time: 977.531/86400
c Decision: 1599/6365	Time: 981.189/86400
c Decision: 1599/6365	Time: 984.447/86400
c Decision: 1599/6365	Time: 988.166/86400
c Decision: 1599/6365	Time: 992.658/86400
c Decision: 1599/6365	Time: 996.635/86400
c Decision: 1599/6365	Time: 1000.68/86400
c Decision: 1599/6365	Time: 1004.58/86400
c Decision: 1599/6365	Time: 1008.6/86400
c Decision: 1599/6365	Time: 1012.61/86400
c Decision: 1599/6365	Time: 1016.53/86400
c Decision: 1599/6365	Time: 1020.22/86400
c Decision: 1599/6365	Time: 1024.13/86400
c Decision: 1599/6365	Time: 1028.2/86400
c Decision: 1599/6365	Time: 1032.41/86400
c Decision: 1599/6365	Time: 1036.2/86400
c Decision: 1599/6365	Time: 1039.88/86400
c Decision: 1599/6365	Time: 1043.81/86400
c Decision: 1599/6365	Time: 1048.02/86400
c Decision: 1599/6365	Time: 1052.48/86400
c Decision: 1599/6365	Time: 1056.35/86400
c Decision: 1599/6365	Time: 1060.2/86400
c Decision: 1599/6365	Time: 1064.34/86400
c Decision: 1599/6365	Time: 1068.51/86400
c Decision: 1599/6365	Time: 1072.94/86400
c Decision: 1599/6365	Time: 1076.34/86400
c Decision: 1599/6365	Time: 1080.43/86400
c Decision: 1599/6365	Time: 1084.63/86400
c Decision: 1599/6365	Time: 1088.64/86400
c Decision: 1599/6365	Time: 1093.04/86400
c Decision: 1599/6365	Time: 1096.9/86400
c Decision: 1599/6365	Time: 1100.41/86400
c Decision: 1599/6365	Time: 1104.04/86400
c Decision: 1599/6365	Time: 1108.44/86400
c Decision: 1599/6365	Time: 1113.09/86400
c Decision: 1599/6365	Time: 1116.99/86400
c Decision: 1599/6365	Time: 1121.03/86400
c Decision: 1599/6365	Time: 1125.05/86400
c Decision: 1599/6365	Time: 1128.35/86400
c Decision: 1599/6365	Time: 1132.89/86400
c Decision: 1599/6365	Time: 1137.27/86400
c Decision: 1599/6365	Time: 1141.44/86400
c Decision: 1599/6365	Time: 1145.82/86400
c Decision: 1599/6365	Time: 1150.14/86400
c Decision: 1599/6365	Time: 1154.91/86400
c Decision: 1599/6365	Time: 1159.25/86400
c Decision: 1599/6365	Time: 1162.79/86400
c Decision: 1599/6365	Time: 1166.66/86400
c Decision: 1599/6365	Time: 1171.52/86400
c Decision: 1599/6365	Time: 1176.3/86400
c Decision: 1599/6365	Time: 1180.05/86400
c Decision: 1599/6365	Time: 1184.37/86400
c Decision: 1599/6365	Time: 1188.7/86400
c Decision: 1599/6365	Time: 1192.98/86400
c Decision: 1599/6365	Time: 1197.32/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.92 1/54 5046
Raw data (stat): 5046 (runsolver) R 5045 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966322863 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.0004 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 1487 0 0 0 994 4 0 0 25 0 1 0 966322863 6471680 1205 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1580 1205 301 301 0 1279 0
vsize: 6320
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 1809 0 0 0 1991 7 0 0 25 0 1 0 966322863 7905280 1527 4294967295 134512640 135730672 3221224592 3221223088 134747516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1930 1527 301 301 0 1629 0
vsize: 7720
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 2057 0 0 0 2989 9 0 0 25 0 1 0 966322863 10252288 1775 4294967295 134512640 135730672 3221224592 3221222804 134813634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2503 1775 301 301 0 2202 0
vsize: 10012
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 2243 0 0 0 3985 12 0 0 25 0 1 0 966322863 10616832 1961 4294967295 134512640 135730672 3221224592 3221223088 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2592 1961 301 301 0 2291 0
vsize: 10368
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 2331 0 0 0 4984 13 0 0 25 0 1 0 966322863 10747904 2049 4294967295 134512640 135730672 3221224592 3221223104 134746536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2624 2049 301 301 0 2323 0
vsize: 10496
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 2708 0 0 0 5983 14 0 0 25 0 1 0 966322863 11825152 2233 4294967295 134512640 135730672 3221224592 3221223216 134748132 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2887 2233 301 301 0 2586 0
vsize: 11548
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 2754 0 0 0 6982 15 0 0 25 0 1 0 966322863 11911168 2279 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2908 2279 301 301 0 2607 0
vsize: 11632
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 2981 0 0 0 7981 17 0 0 25 0 1 0 966322863 12095488 2506 4294967295 134512640 135730672 3221224592 3221223248 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2953 2506 301 301 0 2652 0
vsize: 11812
[startup+90.0014 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 3050 0 0 0 8979 19 0 0 25 0 1 0 966322863 12279808 2575 4294967295 134512640 135730672 3221224592 3221223088 134747636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2998 2575 301 301 0 2697 0
vsize: 11992
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 3103 0 0 0 9977 19 0 0 25 0 1 0 966322863 12460032 2628 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3042 2628 301 301 0 2741 0
vsize: 12168
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 3227 0 0 0 10976 21 0 0 25 0 1 0 966322863 12550144 2752 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3064 2752 301 301 0 2763 0
vsize: 12256
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 3489 0 0 0 11974 23 0 0 25 0 1 0 966322863 16928768 3014 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3014 301 301 0 3832 0
vsize: 16532
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 3735 0 0 0 12973 24 0 0 25 0 1 0 966322863 17022976 3260 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4156 3260 301 301 0 3855 0
vsize: 16624
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 3989 0 0 0 13971 26 0 0 25 0 1 0 966322863 17436672 3514 4294967295 134512640 135730672 3221224592 3221223248 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4257 3514 301 301 0 3956 0
vsize: 17028
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 4508 0 0 0 14969 28 0 0 25 0 1 0 966322863 19132416 3648 4294967295 134512640 135730672 3221224592 3221223072 134732885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4671 3648 301 301 0 4370 0
vsize: 18684
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 4637 0 0 0 15968 30 0 0 25 0 1 0 966322863 19369984 3777 4294967295 134512640 135730672 3221224592 3221223088 134747845 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4729 3777 301 301 0 4428 0
vsize: 18916
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 4679 0 0 0 16967 31 0 0 25 0 1 0 966322863 19472384 3819 4294967295 134512640 135730672 3221224592 3221223216 134748091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4754 3819 301 301 0 4453 0
vsize: 19016
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 4919 0 0 0 17965 33 0 0 25 0 1 0 966322863 19709952 4059 4294967295 134512640 135730672 3221224592 3221223136 134740168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4812 4059 301 301 0 4511 0
vsize: 19248
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 5152 0 0 0 18964 34 0 0 25 0 1 0 966322863 19841024 4292 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4844 4292 301 301 0 4543 0
vsize: 19376
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 5181 0 0 0 19963 35 0 0 25 0 1 0 966322863 19927040 4321 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4865 4321 301 301 0 4564 0
vsize: 19460
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 5203 0 0 0 20963 36 0 0 25 0 1 0 966322863 19927040 4343 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4865 4343 301 301 0 4564 0
vsize: 19460
[startup+220.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 5242 0 0 0 21962 37 0 0 25 0 1 0 966322863 20008960 4382 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4885 4382 301 301 0 4584 0
vsize: 19540
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 5380 0 0 0 22961 38 0 0 25 0 1 0 966322863 28491776 4520 4294967295 134512640 135730672 3221224592 3221223088 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6956 4520 301 301 0 6655 0
vsize: 27824
[startup+240.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 5564 0 0 0 23960 39 0 0 25 0 1 0 966322863 28708864 4704 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7009 4704 301 301 0 6708 0
vsize: 28036
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 5768 0 0 0 24959 40 0 0 25 0 1 0 966322863 28798976 4908 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7031 4908 301 301 0 6730 0
vsize: 28124
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 5995 0 0 0 25958 41 0 0 25 0 1 0 966322863 29011968 5135 4294967295 134512640 135730672 3221224592 3221222832 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7083 5135 301 301 0 6782 0
vsize: 28332
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6160 0 0 0 26956 44 0 0 25 0 1 0 966322863 29298688 5300 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7153 5300 301 301 0 6852 0
vsize: 28612
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6414 0 0 0 27955 45 0 0 25 0 1 0 966322863 29528064 5554 4294967295 134512640 135730672 3221224592 3221222848 134767096 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7209 5554 301 301 0 6908 0
vsize: 28836
[startup+290.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6561 0 0 0 28953 47 0 0 25 0 1 0 966322863 29700096 5701 4294967295 134512640 135730672 3221224592 3221222832 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7251 5701 301 301 0 6950 0
vsize: 29004
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6723 0 0 0 29952 48 0 0 25 0 1 0 966322863 29831168 5863 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7283 5863 301 301 0 6982 0
vsize: 29132
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6757 0 0 0 30952 49 0 0 25 0 1 0 966322863 29921280 5897 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7305 5897 301 301 0 7004 0
vsize: 29220
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6821 0 0 0 31951 49 0 0 25 0 1 0 966322863 30150656 5961 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7361 5961 301 301 0 7060 0
vsize: 29444
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6848 0 0 0 32951 50 0 0 25 0 1 0 966322863 30150656 5988 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7361 5988 301 301 0 7060 0
vsize: 29444
[startup+340.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6883 0 0 0 33950 51 0 0 25 0 1 0 966322863 30236672 6023 4294967295 134512640 135730672 3221224592 3221223072 134732581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7382 6023 301 301 0 7081 0
vsize: 29528
[startup+350.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6906 0 0 0 34950 51 0 0 25 0 1 0 966322863 30351360 6046 4294967295 134512640 135730672 3221224592 3221223184 134763672 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7410 6046 301 301 0 7109 0
vsize: 29640
[startup+360.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6941 0 0 0 35949 52 0 0 25 0 1 0 966322863 30453760 6081 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7435 6081 301 301 0 7134 0
vsize: 29740
[startup+370.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 6975 0 0 0 36949 53 0 0 25 0 1 0 966322863 30597120 6115 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7470 6115 301 301 0 7169 0
vsize: 29880
[startup+380.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 7042 0 0 0 37948 53 0 0 25 0 1 0 966322863 30597120 6182 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7470 6182 301 301 0 7169 0
vsize: 29880
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 7068 0 0 0 38948 54 0 0 25 0 1 0 966322863 30597120 6208 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7470 6208 301 301 0 7169 0
vsize: 29880
[startup+400.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 7143 0 0 0 39947 55 0 0 25 0 1 0 966322863 30687232 6283 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7492 6283 301 301 0 7191 0
vsize: 29968
[startup+410.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 7341 0 0 0 40945 57 0 0 25 0 1 0 966322863 30793728 6481 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7518 6481 301 301 0 7217 0
vsize: 30072
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 7587 0 0 0 41944 59 0 0 25 0 1 0 966322863 30892032 6727 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7542 6727 301 301 0 7241 0
vsize: 30168
[startup+430.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8480 0 0 0 42940 62 0 0 25 0 1 0 966322863 34279424 6851 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8369 6851 301 301 0 8068 0
vsize: 33476
[startup+440.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8508 0 0 0 43940 63 0 0 25 0 1 0 966322863 34377728 6879 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8393 6879 301 301 0 8092 0
vsize: 33572
[startup+450.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8530 0 0 0 44939 64 0 0 25 0 1 0 966322863 34377728 6901 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8393 6901 301 301 0 8092 0
vsize: 33572
[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8556 0 0 0 45939 64 0 0 25 0 1 0 966322863 34480128 6927 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8418 6927 301 301 0 8117 0
vsize: 33672
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8576 0 0 0 46938 65 0 0 25 0 1 0 966322863 34480128 6947 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8418 6947 301 301 0 8117 0
vsize: 33672
[startup+480.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8603 0 0 0 47938 66 0 0 25 0 1 0 966322863 34598912 6974 4294967295 134512640 135730672 3221224592 3221223088 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8447 6974 301 301 0 8146 0
vsize: 33788
[startup+490.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8636 0 0 0 48937 67 0 0 25 0 1 0 966322863 34738176 7007 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8481 7007 301 301 0 8180 0
vsize: 33924
[startup+500.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8714 0 0 0 49937 67 0 0 25 0 1 0 966322863 34738176 7085 4294967295 134512640 135730672 3221224592 3221223280 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8481 7085 301 301 0 8180 0
vsize: 33924
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8811 0 0 0 50936 68 0 0 25 0 1 0 966322863 34836480 7182 4294967295 134512640 135730672 3221224592 3221223088 134747922 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8505 7182 301 301 0 8204 0
vsize: 34020
[startup+520.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8957 0 0 0 51935 69 0 0 25 0 1 0 966322863 35053568 7328 4294967295 134512640 135730672 3221224592 3221223072 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8558 7328 301 301 0 8257 0
vsize: 34232
[startup+530.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 8997 0 0 0 52934 70 0 0 25 0 1 0 966322863 35053568 7368 4294967295 134512640 135730672 3221224592 3221223088 134747775 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8558 7368 301 301 0 8257 0
vsize: 34232
[startup+540.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9020 0 0 0 53934 71 0 0 25 0 1 0 966322863 35151872 7391 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8582 7391 301 301 0 8281 0
vsize: 34328
[startup+550.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9220 0 0 0 54932 72 0 0 25 0 1 0 966322863 35532800 7591 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8675 7591 301 301 0 8374 0
vsize: 34700
[startup+560.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9337 0 0 0 55932 73 0 0 25 0 1 0 966322863 35532800 7708 4294967295 134512640 135730672 3221224592 3221223088 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8675 7708 301 301 0 8374 0
vsize: 34700
[startup+570.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9352 0 0 0 56931 74 0 0 25 0 1 0 966322863 35532800 7723 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8675 7723 301 301 0 8374 0
vsize: 34700
[startup+580.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9390 0 0 0 57931 74 0 0 25 0 1 0 966322863 35659776 7761 4294967295 134512640 135730672 3221224592 3221223280 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8706 7761 301 301 0 8405 0
vsize: 34824
[startup+590.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9407 0 0 0 58930 75 0 0 25 0 1 0 966322863 35659776 7778 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8706 7778 301 301 0 8405 0
vsize: 34824
[startup+600.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9425 0 0 0 59930 76 0 0 25 0 1 0 966322863 35659776 7796 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8706 7796 301 301 0 8405 0
vsize: 34824
[startup+610.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9449 0 0 0 60929 76 0 0 25 0 1 0 966322863 35741696 7820 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8726 7820 301 301 0 8425 0
vsize: 34904
[startup+620.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9473 0 0 0 61929 77 0 0 25 0 1 0 966322863 35741696 7844 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8726 7844 301 301 0 8425 0
vsize: 34904
[startup+630.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9489 0 0 0 62928 78 0 0 25 0 1 0 966322863 35741696 7860 4294967295 134512640 135730672 3221224592 3221223104 134746216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8726 7860 301 301 0 8425 0
vsize: 34904
[startup+640.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9524 0 0 0 63928 78 0 0 25 0 1 0 966322863 35864576 7895 4294967295 134512640 135730672 3221224592 3221223132 135301592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8756 7895 301 301 0 8455 0
vsize: 35024
[startup+650.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9556 0 0 0 64927 79 0 0 25 0 1 0 966322863 35962880 7927 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8780 7927 301 301 0 8479 0
vsize: 35120
[startup+660.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9569 0 0 0 65927 80 0 0 25 0 1 0 966322863 35962880 7940 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8780 7940 301 301 0 8479 0
vsize: 35120
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9741 0 0 0 66925 81 0 0 25 0 1 0 966322863 52834304 8112 4294967295 134512640 135730672 3221224592 3221223184 134763671 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12899 8112 301 301 0 12598 0
vsize: 51596
[startup+680.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 9870 0 0 0 67925 82 0 0 25 0 1 0 966322863 52834304 8241 4294967295 134512640 135730672 3221224592 3221223184 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12899 8241 301 301 0 12598 0
vsize: 51596
[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 10090 0 0 0 68924 83 0 0 25 0 1 0 966322863 53010432 8461 4294967295 134512640 135730672 3221224592 3221223072 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12942 8462 301 301 0 12641 0
vsize: 51768
[startup+700.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 10172 0 0 0 69923 84 0 0 25 0 1 0 966322863 53010432 8543 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12942 8543 301 301 0 12641 0
vsize: 51768
[startup+710.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 10410 0 0 0 70922 85 0 0 25 0 1 0 966322863 53166080 8781 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12980 8781 301 301 0 12679 0
vsize: 51920
[startup+720.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 10599 0 0 0 71921 87 0 0 25 0 1 0 966322863 53288960 8970 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13010 8970 301 301 0 12709 0
vsize: 52040
[startup+730.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 10778 0 0 0 72920 88 0 0 25 0 1 0 966322863 53288960 9149 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13010 9149 301 301 0 12709 0
vsize: 52040
[startup+740.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 10848 0 0 0 73919 89 0 0 25 0 1 0 966322863 53379072 9219 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13032 9219 301 301 0 12731 0
vsize: 52128
[startup+750.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 11035 0 0 0 74918 90 0 0 25 0 1 0 966322863 53493760 9406 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13060 9406 301 301 0 12759 0
vsize: 52240
[startup+760.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 11251 0 0 0 75917 91 0 0 25 0 1 0 966322863 53493760 9622 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13060 9622 301 301 0 12759 0
vsize: 52240
[startup+770.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 11417 0 0 0 76917 92 0 0 25 0 1 0 966322863 53592064 9788 4294967295 134512640 135730672 3221224592 3221223168 134763663 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13084 9788 301 301 0 12783 0
vsize: 52336
[startup+780.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 11636 0 0 0 77915 93 0 0 25 0 1 0 966322863 53690368 10007 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13108 10007 301 301 0 12807 0
vsize: 52432
[startup+790.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 11754 0 0 0 78914 95 0 0 25 0 1 0 966322863 53854208 10125 4294967295 134512640 135730672 3221224592 3221223088 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13148 10125 301 301 0 12847 0
vsize: 52592
[startup+800.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 11835 0 0 0 79914 95 0 0 25 0 1 0 966322863 53989376 10206 4294967295 134512640 135730672 3221224592 3221223104 134746481 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13181 10206 301 301 0 12880 0
vsize: 52724
[startup+810.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 11954 0 0 0 80914 96 0 0 25 0 1 0 966322863 54222848 10325 4294967295 134512640 135730672 3221224592 3221223248 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13238 10325 301 301 0 12937 0
vsize: 52952
[startup+820.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12147 0 0 0 81913 97 0 0 25 0 1 0 966322863 54763520 10518 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13370 10518 301 301 0 13069 0
vsize: 53480
[startup+830.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12296 0 0 0 82912 98 0 0 25 0 1 0 966322863 55169024 10667 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13469 10667 301 301 0 13168 0
vsize: 53876
[startup+840.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12379 0 0 0 83911 99 0 0 25 0 1 0 966322863 55169024 10750 4294967295 134512640 135730672 3221224592 3221223088 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13469 10750 301 301 0 13168 0
vsize: 53876
[startup+850.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12495 0 0 0 84911 99 0 0 25 0 1 0 966322863 55439360 10866 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13535 10866 301 301 0 13234 0
vsize: 54140
[startup+860.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12525 0 0 0 85910 100 0 0 25 0 1 0 966322863 55574528 10896 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13568 10896 301 301 0 13267 0
vsize: 54272
[startup+870.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12543 0 0 0 86910 101 0 0 25 0 1 0 966322863 55574528 10914 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13568 10914 301 301 0 13267 0
vsize: 54272
[startup+880.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12612 0 0 0 87910 101 0 0 25 0 1 0 966322863 55934976 10983 4294967295 134512640 135730672 3221224592 3221223196 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13656 10983 301 301 0 13355 0
vsize: 54624
[startup+890.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12663 0 0 0 88909 102 0 0 25 0 1 0 966322863 56070144 11034 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13689 11034 301 301 0 13388 0
vsize: 54756
[startup+900.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12749 0 0 0 89909 102 0 0 25 0 1 0 966322863 56340480 11120 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13755 11120 301 301 0 13454 0
vsize: 55020
[startup+910.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12775 0 0 0 90908 103 0 0 25 0 1 0 966322863 56471552 11146 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13787 11146 301 301 0 13486 0
vsize: 55148
[startup+920.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12797 0 0 0 91907 104 0 0 25 0 1 0 966322863 56471552 11168 4294967295 134512640 135730672 3221224592 3221223088 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13787 11168 301 301 0 13486 0
vsize: 55148
[startup+930.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12830 0 0 0 92907 105 0 0 25 0 1 0 966322863 56606720 11201 4294967295 134512640 135730672 3221224592 3221223136 134740276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13820 11201 301 301 0 13519 0
vsize: 55280
[startup+940.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12841 0 0 0 93906 106 0 0 25 0 1 0 966322863 56606720 11212 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13820 11212 301 301 0 13519 0
vsize: 55280
[startup+950.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12858 0 0 0 94906 106 0 0 25 0 1 0 966322863 56606720 11229 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13820 11229 301 301 0 13519 0
vsize: 55280
[startup+960.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12887 0 0 0 95905 107 0 0 25 0 1 0 966322863 56745984 11258 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13854 11258 301 301 0 13553 0
vsize: 55416
[startup+970.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12921 0 0 0 96904 108 0 0 25 0 1 0 966322863 56745984 11292 4294967295 134512640 135730672 3221224592 3221222912 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13854 11292 301 301 0 13553 0
vsize: 55416
[startup+980.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12937 0 0 0 97904 109 0 0 25 0 1 0 966322863 56832000 11308 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13875 11308 301 301 0 13574 0
vsize: 55500
[startup+990.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12959 0 0 0 98903 110 0 0 25 0 1 0 966322863 56832000 11330 4294967295 134512640 135730672 3221224592 3221223104 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13875 11330 301 301 0 13574 0
vsize: 55500
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 12976 0 0 0 99903 110 0 0 25 0 1 0 966322863 56922112 11347 4294967295 134512640 135730672 3221224592 3221223248 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13897 11347 301 301 0 13596 0
vsize: 55588
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 13010 0 0 0 100902 111 0 0 25 0 1 0 966322863 56922112 11381 4294967295 134512640 135730672 3221224592 3221223104 134746175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13897 11381 301 301 0 13596 0
vsize: 55588
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 13031 0 0 0 101901 112 0 0 25 0 1 0 966322863 57008128 11402 4294967295 134512640 135730672 3221224592 3221223088 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13918 11402 301 301 0 13617 0
vsize: 55672
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 13064 0 0 0 102901 113 0 0 25 0 1 0 966322863 57106432 11435 4294967295 134512640 135730672 3221224592 3221223104 134746175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13942 11435 301 301 0 13641 0
vsize: 55768
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 13075 0 0 0 103900 113 0 0 25 0 1 0 966322863 57106432 11446 4294967295 134512640 135730672 3221224592 3221223192 135284119 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13942 11446 301 301 0 13641 0
vsize: 55768
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 13101 0 0 0 104900 114 0 0 25 0 1 0 966322863 57237504 11472 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13974 11472 301 301 0 13673 0
vsize: 55896
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 13113 0 0 0 105899 115 0 0 25 0 1 0 966322863 57237504 11484 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13974 11484 301 301 0 13673 0
vsize: 55896
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 13126 0 0 0 106898 116 0 0 25 0 1 0 966322863 57237504 11497 4294967295 134512640 135730672 3221224592 3221223104 134746486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13974 11497 301 301 0 13673 0
vsize: 55896
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 13155 0 0 0 107897 117 0 0 25 0 1 0 966322863 57327616 11526 4294967295 134512640 135730672 3221224592 3221222912 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13996 11526 301 301 0 13695 0
vsize: 55984
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 13175 0 0 0 108897 118 0 0 25 0 1 0 966322863 57327616 11546 4294967295 134512640 135730672 3221224592 3221223104 134746235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13996 11546 301 301 0 13695 0
vsize: 55984
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 13193 0 0 0 109896 118 0 0 25 0 1 0 966322863 57327616 11564 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13996 11564 301 301 0 13695 0
vsize: 55984
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 14754 0 0 0 110893 122 0 0 25 0 1 0 966322863 63733760 11588 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15560 11588 301 301 0 15259 0
vsize: 62240
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 14780 0 0 0 111892 123 0 0 25 0 1 0 966322863 63733760 11614 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15560 11614 301 301 0 15259 0
vsize: 62240
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 14854 0 0 0 112892 123 0 0 25 0 1 0 966322863 63819776 11688 4294967295 134512640 135730672 3221224592 3221223104 134746168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15581 11688 301 301 0 15280 0
vsize: 62324
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 14979 0 0 0 113891 124 0 0 25 0 1 0 966322863 64061440 11813 4294967295 134512640 135730672 3221224592 3221223148 134740375 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15640 11813 301 301 0 15339 0
vsize: 62560
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 15130 0 0 0 114890 126 0 0 25 0 1 0 966322863 64061440 11964 4294967295 134512640 135730672 3221224592 3221223136 134740245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15640 11964 301 301 0 15339 0
vsize: 62560
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 15288 0 0 0 115889 127 0 0 25 0 1 0 966322863 64339968 12122 4294967295 134512640 135730672 3221224592 3221222912 134732471 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15708 12122 301 301 0 15407 0
vsize: 62832
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 15332 0 0 0 116888 128 0 0 25 0 1 0 966322863 64471040 12166 4294967295 134512640 135730672 3221224592 3221223188 134747725 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15740 12166 301 301 0 15439 0
vsize: 62960
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 15476 0 0 0 117888 128 0 0 25 0 1 0 966322863 64471040 12310 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15740 12310 301 301 0 15439 0
vsize: 62960
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 15565 0 0 0 118887 129 0 0 25 0 1 0 966322863 64593920 12399 4294967295 134512640 135730672 3221224592 3221223104 134746523 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15770 12399 301 301 0 15469 0
vsize: 63080
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5046
Raw data (stat): 5046 (pb2sat-v2) R 5045 7266 7265 0 -1 0 15761 0 0 0 119886 130 0 0 25 0 1 0 966322863 64729088 12595 4294967295 134512640 135730672 3221224592 3221223088 134747868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15803 12595 301 301 0 15502 0
vsize: 63212
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 5046
Raw data (stat): 5046 (pb2sat-v2) Z 5045 7266 7265 0 -1 12 15763 0 0 0 119899 133 0 0 25 0 1 0 966322863 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.18
CPU time (s): 1200.33
CPU user time (s): 1199
CPU system time (s): 1.3338
CPU usage (%): 100.013
Max. virtual memory (Kb): 63212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####