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-g125.17.opb
MD5SUM	ed503628984a48598e5d5a4b8388e97a
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	4250
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	4250
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	4250
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	4250
Total number of constraints	68397
Number of constraints which are clauses	68397
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	2
Maximum length of a constraint	17
Trace number 42012

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-15 21:08:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25228 boxname=wulflinc3 idbench=130 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc3/normalized-g125.17.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-g125.17.opb
IDLAUNCH: 25228
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        845376 kB
Buffers:         33720 kB
Cached:         133556 kB
SwapCached:        820 kB
Active:          38508 kB
Inactive:       130928 kB
HighTotal:      131008 kB
HighFree:        19348 kB
LowTotal:       903652 kB
LowFree:        826028 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14192 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 21:28:31 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 25228 7 1200.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 13/4263	Time: 24.7652/86400
c Decision: 13/4263	Time: 27.8178/86400
c Decision: 13/4263	Time: 30.1354/86400
c Decision: 13/4263	Time: 32.935/86400
c Decision: 13/4263	Time: 35.5716/86400
c Decision: 13/4263	Time: 38.4282/86400
c Decision: 13/4263	Time: 41.3617/86400
c Decision: 13/4263	Time: 43.9703/86400
c Decision: 13/4263	Time: 46.6789/86400
c Decision: 13/4263	Time: 49.2535/86400
c Decision: 13/4263	Time: 52.0051/86400
c Decision: 13/4263	Time: 54.8077/86400
c Decision: 13/4263	Time: 57.7352/86400
c Decision: 13/4263	Time: 60.8268/86400
c Decision: 13/4263	Time: 63.7213/86400
c Decision: 13/4263	Time: 66.6919/86400
c Decision: 13/4263	Time: 69.6854/86400
c Decision: 13/4263	Time: 72.8359/86400
c Decision: 13/4263	Time: 75.8515/86400
c Decision: 13/4263	Time: 78.2971/86400
c Decision: 13/4263	Time: 81.4306/86400
c Decision: 13/4263	Time: 84.5322/86400
c Decision: 13/4263	Time: 87.4957/86400
c Decision: 13/4263	Time: 91.3481/86400
c Decision: 13/4263	Time: 94.8666/86400
c Decision: 13/4263	Time: 98.1971/86400
c Decision: 13/4263	Time: 101.573/86400
c Decision: 13/4263	Time: 104.643/86400
c Decision: 13/4263	Time: 107.901/86400
c Decision: 13/4263	Time: 111.533/86400
c Decision: 13/4263	Time: 114.996/86400
c Decision: 13/4263	Time: 117.697/86400
c Decision: 13/4263	Time: 121.225/86400
c Decision: 13/4263	Time: 124.623/86400
c Decision: 13/4263	Time: 127.354/86400
c Decision: 13/4263	Time: 130.469/86400
c Decision: 13/4263	Time: 133.859/86400
c Decision: 13/4263	Time: 136.799/86400
c Decision: 13/4263	Time: 139.621/86400
c Decision: 13/4263	Time: 142.823/86400
c Decision: 13/4263	Time: 145.853/86400
c Decision: 13/4263	Time: 149.065/86400
c Decision: 13/4263	Time: 151.72/86400
c Decision: 13/4263	Time: 154.804/86400
c Decision: 13/4263	Time: 157.675/86400
c Decision: 13/4263	Time: 161.13/86400
c Decision: 13/4263	Time: 164.376/86400
c Decision: 13/4263	Time: 167.648/86400
c Decision: 13/4263	Time: 170.983/86400
c Decision: 13/4263	Time: 174.482/86400
c Decision: 13/4263	Time: 177.732/86400
c Decision: 13/4263	Time: 181.391/86400
c Decision: 13/4263	Time: 184.709/86400
c Decision: 13/4263	Time: 187.848/86400
c Decision: 13/4263	Time: 191.41/86400
c Decision: 13/4263	Time: 195.052/86400
c Decision: 13/4263	Time: 198.059/86400
c Decision: 13/4263	Time: 201.2/86400
c Decision: 13/4263	Time: 204.908/86400
c Decision: 13/4263	Time: 208.171/86400
c Decision: 13/4263	Time: 211.833/86400
c Decision: 13/4263	Time: 214.73/86400
c Decision: 13/4263	Time: 217.694/86400
c Decision: 13/4263	Time: 220.876/86400
c Decision: 13/4263	Time: 224.324/86400
c Decision: 13/4263	Time: 227.516/86400
c Decision: 13/4263	Time: 230.493/86400
c Decision: 13/4263	Time: 233.827/86400
c Decision: 13/4263	Time: 236.991/86400
c Decision: 13/4263	Time: 239.784/86400
c Decision: 13/4263	Time: 243.341/86400
c Decision: 13/4263	Time: 246.9/86400
c Decision: 13/4263	Time: 250.193/86400
c Decision: 13/4263	Time: 253.596/86400
c Decision: 13/4263	Time: 256.92/86400
c Decision: 13/4263	Time: 260.181/86400
c Decision: 13/4263	Time: 263.246/86400
c Decision: 13/4263	Time: 266.229/86400
c Decision: 13/4263	Time: 269.302/86400
c Decision: 13/4263	Time: 272.614/86400
c Decision: 13/4263	Time: 275.477/86400
c Decision: 13/4263	Time: 279.158/86400
c Decision: 13/4263	Time: 282.511/86400
c Decision: 13/4263	Time: 285.828/86400
c Decision: 13/4263	Time: 288.777/86400
c Decision: 13/4263	Time: 292.341/86400
c Decision: 13/4263	Time: 295.935/86400
c Decision: 13/4263	Time: 299.166/86400
c Decision: 13/4263	Time: 302.313/86400
c Decision: 13/4263	Time: 305.577/86400
c Decision: 13/4263	Time: 309.298/86400
c Decision: 13/4263	Time: 312.203/86400
c Decision: 13/4263	Time: 314.821/86400
c Decision: 13/4263	Time: 317.751/86400
c Decision: 13/4263	Time: 321.15/86400
c Decision: 13/4263	Time: 324.585/86400
c Decision: 13/4263	Time: 327.675/86400
c Decision: 13/4263	Time: 330.737/86400
c Decision: 13/4263	Time: 333.797/86400
c Decision: 13/4263	Time: 336.88/86400
c Decision: 13/4263	Time: 340.157/86400
c Decision: 13/4263	Time: 343.04/86400
c Decision: 13/4263	Time: 345.865/86400
c Decision: 13/4263	Time: 349.344/86400
c Decision: 13/4263	Time: 352.82/86400
c Decision: 13/4263	Time: 356.435/86400
c Decision: 13/4263	Time: 359.698/86400
c Decision: 13/4263	Time: 363.184/86400
c Decision: 13/4263	Time: 365.957/86400
c Decision: 13/4263	Time: 368.995/86400
c Decision: 13/4263	Time: 372.333/86400
c Decision: 13/4263	Time: 375.896/86400
c Decision: 13/4263	Time: 379.439/86400
c Decision: 13/4263	Time: 382.544/86400
c Decision: 13/4263	Time: 386.159/86400
c Decision: 13/4263	Time: 390.086/86400
c Decision: 13/4263	Time: 393.481/86400
c Decision: 13/4263	Time: 397.194/86400
c Decision: 13/4263	Time: 399.999/86400
c Decision: 13/4263	Time: 403.945/86400
c Decision: 13/4263	Time: 407.507/86400
c Decision: 13/4263	Time: 410.441/86400
c Decision: 13/4263	Time: 413.866/86400
c Decision: 13/4263	Time: 416.7/86400
c Decision: 13/4263	Time: 419.65/86400
c Decision: 13/4263	Time: 423.194/86400
c Decision: 13/4263	Time: 426.386/86400
c Decision: 13/4263	Time: 429.518/86400
c Decision: 13/4263	Time: 432.717/86400
c Decision: 13/4263	Time: 435.128/86400
c Decision: 13/4263	Time: 438.476/86400
c Decision: 13/4263	Time: 441.847/86400
c Decision: 13/4263	Time: 444.401/86400
c Decision: 13/4263	Time: 447.735/86400
c Decision: 13/4263	Time: 450.852/86400
c Decision: 13/4263	Time: 453.905/86400
c Decision: 13/4263	Time: 457.059/86400
c Decision: 13/4263	Time: 460.262/86400
c Decision: 13/4263	Time: 464.028/86400
c Decision: 13/4263	Time: 467.721/86400
c Decision: 13/4263	Time: 471.081/86400
c Decision: 13/4263	Time: 474.55/86400
c Decision: 13/4263	Time: 477.887/86400
c Decision: 13/4263	Time: 481.552/86400
c Decision: 13/4263	Time: 485.348/86400
c Decision: 13/4263	Time: 488.062/86400
c Decision: 13/4263	Time: 491.466/86400
c Decision: 13/4263	Time: 494.503/86400
c Decision: 13/4263	Time: 497.547/86400
c Decision: 13/4263	Time: 500.985/86400
c Decision: 13/4263	Time: 504.495/86400
c Decision: 13/4263	Time: 507.834/86400
c Decision: 13/4263	Time: 511.479/86400
c Decision: 13/4263	Time: 514.74/86400
c Decision: 13/4263	Time: 517.637/86400
c Decision: 13/4263	Time: 520.602/86400
c Decision: 13/4263	Time: 523.68/86400
c Decision: 13/4263	Time: 526.653/86400
c Decision: 13/4263	Time: 529.95/86400
c Decision: 13/4263	Time: 533.355/86400
c Decision: 13/4263	Time: 536.837/86400
c Decision: 13/4263	Time: 539.781/86400
c Decision: 13/4263	Time: 542.957/86400
c Decision: 13/4263	Time: 546.138/86400
c Decision: 13/4263	Time: 549.351/86400
c Decision: 13/4263	Time: 552.52/86400
c Decision: 13/4263	Time: 555.593/86400
c Decision: 13/4263	Time: 558.885/86400
c Decision: 13/4263	Time: 561.63/86400
c Decision: 13/4263	Time: 565.136/86400
c Decision: 13/4263	Time: 568.615/86400
c Decision: 13/4263	Time: 572.01/86400
c Decision: 13/4263	Time: 575.26/86400
c Decision: 13/4263	Time: 578.284/86400
c Decision: 13/4263	Time: 581.952/86400
c Decision: 13/4263	Time: 585.441/86400
c Decision: 13/4263	Time: 588.687/86400
c Decision: 13/4263	Time: 592.269/86400
c Decision: 13/4263	Time: 595.652/86400
c Decision: 13/4263	Time: 599.457/86400
c Decision: 13/4263	Time: 602.931/86400
c Decision: 13/4263	Time: 606.308/86400
c Decision: 13/4263	Time: 609.392/86400
c Decision: 13/4263	Time: 612.394/86400
c Decision: 13/4263	Time: 616.182/86400
c Decision: 13/4263	Time: 619.491/86400
c Decision: 13/4263	Time: 622.714/86400
c Decision: 13/4263	Time: 625.332/86400
c Decision: 13/4263	Time: 628.949/86400
c Decision: 13/4263	Time: 632.453/86400
c Decision: 13/4263	Time: 635.874/86400
c Decision: 13/4263	Time: 639.232/86400
c Decision: 13/4263	Time: 642.385/86400
c Decision: 13/4263	Time: 645.811/86400
c Decision: 13/4263	Time: 648.838/86400
c Decision: 13/4263	Time: 652.279/86400
c Decision: 13/4263	Time: 655.577/86400
c Decision: 13/4263	Time: 658.662/86400
c Decision: 13/4263	Time: 661.522/86400
c Decision: 13/4263	Time: 664.728/86400
c Decision: 13/4263	Time: 667.419/86400
c Decision: 13/4263	Time: 670.384/86400
c Decision: 13/4263	Time: 673.377/86400
c Decision: 13/4263	Time: 676.559/86400
c Decision: 13/4263	Time: 679.636/86400
c Decision: 13/4263	Time: 682.724/86400
c Decision: 13/4263	Time: 685.642/86400
c Decision: 13/4263	Time: 688.134/86400
c Decision: 13/4263	Time: 691.445/86400
c Decision: 13/4263	Time: 694.94/86400
c Decision: 13/4263	Time: 698.113/86400
c Decision: 13/4263	Time: 701.363/86400
c Decision: 13/4263	Time: 704.46/86400
c Decision: 13/4263	Time: 707.48/86400
c Decision: 13/4263	Time: 710.647/86400
c Decision: 13/4263	Time: 713.318/86400
c Decision: 13/4263	Time: 716.504/86400
c Decision: 13/4263	Time: 719.89/86400
c Decision: 13/4263	Time: 722.984/86400
c Decision: 13/4263	Time: 725.9/86400
c Decision: 13/4263	Time: 729.245/86400
c Decision: 13/4263	Time: 732.795/86400
c Decision: 13/4263	Time: 735.81/86400
c Decision: 13/4263	Time: 739.012/86400
c Decision: 13/4263	Time: 742.487/86400
c Decision: 13/4263	Time: 745.869/86400
c Decision: 13/4263	Time: 748.916/86400
c Decision: 13/4263	Time: 751.757/86400
c Decision: 13/4263	Time: 755.111/86400
c Decision: 13/4263	Time: 758.018/86400
c Decision: 13/4263	Time: 761.185/86400
c Decision: 13/4263	Time: 764.428/86400
c Decision: 13/4263	Time: 767.77/86400
c Decision: 13/4263	Time: 771.176/86400
c Decision: 13/4263	Time: 774.505/86400
c Decision: 13/4263	Time: 777.748/86400
c Decision: 13/4263	Time: 780.737/86400
c Decision: 13/4263	Time: 783.765/86400
c Decision: 13/4263	Time: 786.715/86400
c Decision: 13/4263	Time: 790.186/86400
c Decision: 13/4263	Time: 793.059/86400
c Decision: 13/4263	Time: 796.605/86400
c Decision: 13/4263	Time: 799.58/86400
c Decision: 13/4263	Time: 802.625/86400
c Decision: 13/4263	Time: 805.931/86400
c Decision: 13/4263	Time: 809.24/86400
c Decision: 13/4263	Time: 812.54/86400
c Decision: 13/4263	Time: 815.671/86400
c Decision: 13/4263	Time: 818.502/86400
c Decision: 13/4263	Time: 822.092/86400
c Decision: 13/4263	Time: 825.898/86400
c Decision: 13/4263	Time: 829.109/86400
c Decision: 13/4263	Time: 832.127/86400
c Decision: 13/4263	Time: 835.113/86400
c Decision: 13/4263	Time: 838.833/86400
c Decision: 13/4263	Time: 842.57/86400
c Decision: 13/4263	Time: 846.202/86400
c Decision: 13/4263	Time: 849.484/86400
c Decision: 13/4263	Time: 852.667/86400
c Decision: 13/4263	Time: 855.717/86400
c Decision: 13/4263	Time: 859.282/86400
c Decision: 13/4263	Time: 862.528/86400
c Decision: 13/4263	Time: 866.644/86400
c Decision: 13/4263	Time: 870.459/86400
c Decision: 13/4263	Time: 874.069/86400
c Decision: 13/4263	Time: 877.865/86400
c Decision: 13/4263	Time: 881.403/86400
c Decision: 13/4263	Time: 885.085/86400
c Decision: 13/4263	Time: 888.809/86400
c Decision: 13/4263	Time: 892.627/86400
c Decision: 13/4263	Time: 896.123/86400
c Decision: 13/4263	Time: 899.722/86400
c Decision: 13/4263	Time: 903.224/86400
c Decision: 13/4263	Time: 907.02/86400
c Decision: 13/4263	Time: 910.768/86400
c Decision: 13/4263	Time: 914.256/86400
c Decision: 13/4263	Time: 918.129/86400
c Decision: 13/4263	Time: 921.419/86400
c Decision: 13/4263	Time: 924.81/86400
c Decision: 13/4263	Time: 928.105/86400
c Decision: 13/4263	Time: 931.592/86400
c Decision: 13/4263	Time: 934.668/86400
c Decision: 13/4263	Time: 937.97/86400
c Decision: 13/4263	Time: 941.191/86400
c Decision: 13/4263	Time: 944.302/86400
c Decision: 13/4263	Time: 947.905/86400
c Decision: 13/4263	Time: 951.243/86400
c Decision: 13/4263	Time: 954.674/86400
c Decision: 13/4263	Time: 957.846/86400
c Decision: 13/4263	Time: 961.395/86400
c Decision: 13/4263	Time: 964.777/86400
c Decision: 13/4263	Time: 968.281/86400
c Decision: 13/4263	Time: 971.371/86400
c Decision: 13/4263	Time: 974.436/86400
c Decision: 13/4263	Time: 977.843/86400
c Decision: 13/4263	Time: 981.658/86400
c Decision: 13/4263	Time: 985.692/86400
c Decision: 13/4263	Time: 989.379/86400
c Decision: 13/4263	Time: 993.223/86400
c Decision: 13/4263	Time: 997.384/86400
c Decision: 13/4263	Time: 1000.68/86400
c Decision: 13/4263	Time: 1004.59/86400
c Decision: 13/4263	Time: 1008.34/86400
c Decision: 13/4263	Time: 1012.22/86400
c Decision: 13/4263	Time: 1015.52/86400
c Decision: 13/4263	Time: 1018.97/86400
c Decision: 13/4263	Time: 1022.51/86400
c Decision: 13/4263	Time: 1026.02/86400
c Decision: 13/4263	Time: 1029.7/86400
c Decision: 13/4263	Time: 1032.71/86400
c Decision: 13/4263	Time: 1035.87/86400
c Decision: 13/4263	Time: 1038.26/86400
c Decision: 13/4263	Time: 1041.22/86400
c Decision: 13/4263	Time: 1044.66/86400
c Decision: 13/4263	Time: 1048.04/86400
c Decision: 13/4263	Time: 1051.66/86400
c Decision: 13/4263	Time: 1055.43/86400
c Decision: 13/4263	Time: 1058.98/86400
c Decision: 13/4263	Time: 1062.5/86400
c Decision: 13/4263	Time: 1066.26/86400
c Decision: 13/4263	Time: 1069.72/86400
c Decision: 13/4263	Time: 1073.44/86400
c Decision: 13/4263	Time: 1076.65/86400
c Decision: 13/4263	Time: 1080.07/86400
c Decision: 13/4263	Time: 1083.74/86400
c Decision: 13/4263	Time: 1086.82/86400
c Decision: 13/4263	Time: 1090.47/86400
c Decision: 13/4263	Time: 1094.25/86400
c Decision: 13/4263	Time: 1097.4/86400
c Decision: 13/4263	Time: 1100.25/86400
c Decision: 13/4263	Time: 1103.74/86400
c Decision: 13/4263	Time: 1107.15/86400
c Decision: 13/4263	Time: 1110.75/86400
c Decision: 13/4263	Time: 1114.22/86400
c Decision: 13/4263	Time: 1117.36/86400
c Decision: 13/4263	Time: 1120.77/86400
c Decision: 13/4263	Time: 1123.96/86400
c Decision: 13/4263	Time: 1127.33/86400
c Decision: 13/4263	Time: 1130.21/86400
c Decision: 13/4263	Time: 1133.39/86400
c Decision: 13/4263	Time: 1136.67/86400
c Decision: 13/4263	Time: 1139.88/86400
c Decision: 13/4263	Time: 1143.36/86400
c Decision: 13/4263	Time: 1146.53/86400
c Decision: 13/4263	Time: 1150.05/86400
c Decision: 13/4263	Time: 1153.82/86400
c Decision: 13/4263	Time: 1157.09/86400
c Decision: 13/4263	Time: 1160.7/86400
c Decision: 13/4263	Time: 1164.59/86400
c Decision: 13/4263	Time: 1167.99/86400
c Decision: 13/4263	Time: 1172.06/86400
c Decision: 13/4263	Time: 1175.63/86400
c Decision: 13/4263	Time: 1179.05/86400
c Decision: 13/4263	Time: 1182.95/86400
c Decision: 13/4263	Time: 1186.24/86400
c Decision: 13/4263	Time: 1190.19/86400
c Decision: 13/4263	Time: 1193.68/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.99 0.99 0.91 1/54 12672
Raw data (stat): 12672 (runsolver) R 12671 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965235033 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.0015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 2527 0 0 0 984 14 0 0 25 0 1 0 965235033 10297344 1672 4294967295 134512640 135730672 3221224592 3221223216 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2514 1672 301 301 0 2213 0
vsize: 10056
[startup+20.0021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 2860 0 0 0 1968 30 0 0 25 0 1 0 965235033 10960896 2005 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2676 2005 301 301 0 2375 0
vsize: 10704
[startup+30.0016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3114 0 0 0 2956 42 0 0 25 0 1 0 965235033 13582336 2259 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3316 2259 301 301 0 3015 0
vsize: 13264
[startup+40.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3348 0 0 0 3946 52 0 0 25 0 1 0 965235033 13983744 2493 4294967295 134512640 135730672 3221224592 3221222840 134813779 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3414 2493 301 301 0 3113 0
vsize: 13656
[startup+50.0023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3435 0 0 0 4934 63 0 0 25 0 1 0 965235033 14094336 2580 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3441 2580 301 301 0 3140 0
vsize: 13764
[startup+60.0021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3470 0 0 0 5924 73 0 0 25 0 1 0 965235033 14094336 2615 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3441 2615 301 301 0 3140 0
vsize: 13764
[startup+70.0022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3543 0 0 0 6915 83 0 0 25 0 1 0 965235033 14348288 2688 4294967295 134512640 135730672 3221224592 3221223088 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3503 2688 301 301 0 3202 0
vsize: 14012
[startup+80.0018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3580 0 0 0 7906 92 0 0 25 0 1 0 965235033 14462976 2725 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3531 2725 301 301 0 3230 0
vsize: 14124
[startup+90.0016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3628 0 0 0 8896 101 0 0 25 0 1 0 965235033 14598144 2773 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3564 2773 301 301 0 3263 0
vsize: 14256
[startup+100.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3679 0 0 0 9887 110 0 0 25 0 1 0 965235033 14733312 2824 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3597 2824 301 301 0 3296 0
vsize: 14388
[startup+110.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3729 0 0 0 10880 117 0 0 25 0 1 0 965235033 14970880 2874 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3655 2874 301 301 0 3354 0
vsize: 14620
[startup+120.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3758 0 0 0 11872 126 0 0 25 0 1 0 965235033 14970880 2903 4294967295 134512640 135730672 3221224592 3221223088 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3655 2903 301 301 0 3354 0
vsize: 14620
[startup+130.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3796 0 0 0 12864 134 0 0 25 0 1 0 965235033 15093760 2941 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3685 2941 301 301 0 3384 0
vsize: 14740
[startup+140.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3833 0 0 0 13856 142 0 0 25 0 1 0 965235033 15200256 2978 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3711 2978 301 301 0 3410 0
vsize: 14844
[startup+150.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3866 0 0 0 14847 151 0 0 25 0 1 0 965235033 15319040 3011 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3740 3011 301 301 0 3439 0
vsize: 14960
[startup+160.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3898 0 0 0 15838 160 0 0 25 0 1 0 965235033 15319040 3043 4294967295 134512640 135730672 3221224592 3221223180 134763658 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3740 3043 301 301 0 3439 0
vsize: 14960
[startup+170.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3934 0 0 0 16830 168 0 0 25 0 1 0 965235033 15446016 3079 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3771 3079 301 301 0 3470 0
vsize: 15084
[startup+180.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 3972 0 0 0 17822 176 0 0 25 0 1 0 965235033 15581184 3117 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3804 3117 301 301 0 3503 0
vsize: 15216
[startup+190.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 4008 0 0 0 18816 183 0 0 25 0 1 0 965235033 15687680 3153 4294967295 134512640 135730672 3221224592 3221223088 134747842 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3830 3153 301 301 0 3529 0
vsize: 15320
[startup+200.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 4027 0 0 0 19808 191 0 0 25 0 1 0 965235033 15687680 3172 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3830 3172 301 301 0 3529 0
vsize: 15320
[startup+210.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 4058 0 0 0 20802 197 0 0 25 0 1 0 965235033 15794176 3203 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3856 3203 301 301 0 3555 0
vsize: 15424
[startup+220.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 4091 0 0 0 21794 206 0 0 25 0 1 0 965235033 15794176 3236 4294967295 134512640 135730672 3221224592 3221223104 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3856 3236 301 301 0 3555 0
vsize: 15424
[startup+230.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 4126 0 0 0 22786 213 0 0 25 0 1 0 965235033 15908864 3271 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3884 3271 301 301 0 3583 0
vsize: 15536
[startup+240.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 4162 0 0 0 23778 221 0 0 25 0 1 0 965235033 16023552 3307 4294967295 134512640 135730672 3221224592 3221222912 134732486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3912 3307 301 301 0 3611 0
vsize: 15648
[startup+250.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 4194 0 0 0 24770 230 0 0 25 0 1 0 965235033 16125952 3339 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3937 3339 301 301 0 3636 0
vsize: 15748
[startup+260.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 4224 0 0 0 25763 237 0 0 25 0 1 0 965235033 16125952 3369 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3937 3369 301 301 0 3636 0
vsize: 15748
[startup+270.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 4255 0 0 0 26753 248 0 0 25 0 1 0 965235033 16240640 3400 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3965 3400 301 301 0 3664 0
vsize: 15860
[startup+280.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5049 0 0 0 27740 260 0 0 25 0 1 0 965235033 19386368 3425 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4733 3425 301 301 0 4432 0
vsize: 18932
[startup+290.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5083 0 0 0 28733 268 0 0 25 0 1 0 965235033 19501056 3459 4294967295 134512640 135730672 3221224592 3221223088 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4761 3459 301 301 0 4460 0
vsize: 19044
[startup+300.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5136 0 0 0 29725 276 0 0 25 0 1 0 965235033 19607552 3512 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4787 3512 301 301 0 4486 0
vsize: 19148
[startup+310.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5171 0 0 0 30717 284 0 0 25 0 1 0 965235033 19607552 3547 4294967295 134512640 135730672 3221224592 3221223088 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4787 3547 301 301 0 4486 0
vsize: 19148
[startup+320.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5203 0 0 0 31707 294 0 0 25 0 1 0 965235033 19726336 3579 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4816 3579 301 301 0 4515 0
vsize: 19264
[startup+330.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5232 0 0 0 32699 303 0 0 25 0 1 0 965235033 19845120 3608 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4845 3608 301 301 0 4544 0
vsize: 19380
[startup+340.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5260 0 0 0 33692 309 0 0 25 0 1 0 965235033 19845120 3636 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4845 3636 301 301 0 4544 0
vsize: 19380
[startup+350.004 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5287 0 0 0 34685 317 0 0 25 0 1 0 965235033 19947520 3663 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4870 3663 301 301 0 4569 0
vsize: 19480
[startup+360.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5315 0 0 0 35677 325 0 0 25 0 1 0 965235033 19947520 3691 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4870 3691 301 301 0 4569 0
vsize: 19480
[startup+370.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5342 0 0 0 36667 335 0 0 25 0 1 0 965235033 20049920 3718 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4895 3718 301 301 0 4594 0
vsize: 19580
[startup+380.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5367 0 0 0 37659 343 0 0 25 0 1 0 965235033 20049920 3743 4294967295 134512640 135730672 3221224592 3221223280 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4895 3743 301 301 0 4594 0
vsize: 19580
[startup+390.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5393 0 0 0 38652 351 0 0 25 0 1 0 965235033 20156416 3769 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4921 3769 301 301 0 4620 0
vsize: 19684
[startup+400.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5425 0 0 0 39644 359 0 0 25 0 1 0 965235033 20275200 3801 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4950 3801 301 301 0 4649 0
vsize: 19800
[startup+410.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5447 0 0 0 40637 366 0 0 25 0 1 0 965235033 20275200 3823 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4950 3823 301 301 0 4649 0
vsize: 19800
[startup+420.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5479 0 0 0 41630 373 0 0 25 0 1 0 965235033 20385792 3855 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4977 3855 301 301 0 4676 0
vsize: 19908
[startup+430.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5506 0 0 0 42623 380 0 0 25 0 1 0 965235033 20385792 3882 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4977 3882 301 301 0 4676 0
vsize: 19908
[startup+440.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5538 0 0 0 43616 387 0 0 25 0 1 0 965235033 20496384 3914 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5004 3914 301 301 0 4703 0
vsize: 20016
[startup+450.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5568 0 0 0 44608 395 0 0 25 0 1 0 965235033 20496384 3944 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5004 3944 301 301 0 4703 0
vsize: 20016
[startup+460.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5594 0 0 0 45599 404 0 0 25 0 1 0 965235033 20606976 3970 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5031 3970 301 301 0 4730 0
vsize: 20124
[startup+470.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5620 0 0 0 46590 414 0 0 25 0 1 0 965235033 20606976 3996 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5031 3996 301 301 0 4730 0
vsize: 20124
[startup+480.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5641 0 0 0 47581 422 0 0 25 0 1 0 965235033 20721664 4017 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5059 4017 301 301 0 4758 0
vsize: 20236
[startup+490.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5664 0 0 0 48572 432 0 0 25 0 1 0 965235033 20721664 4040 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5059 4040 301 301 0 4758 0
vsize: 20236
[startup+500.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5701 0 0 0 49565 439 0 0 25 0 1 0 965235033 20828160 4077 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5085 4077 301 301 0 4784 0
vsize: 20340
[startup+510.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5733 0 0 0 50558 447 0 0 25 0 1 0 965235033 20959232 4109 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5117 4109 301 301 0 4816 0
vsize: 20468
[startup+520.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5758 0 0 0 51549 455 0 0 25 0 1 0 965235033 20959232 4134 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5117 4134 301 301 0 4816 0
vsize: 20468
[startup+530.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5781 0 0 0 52542 463 0 0 25 0 1 0 965235033 20959232 4157 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5117 4157 301 301 0 4816 0
vsize: 20468
[startup+540.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5807 0 0 0 53534 471 0 0 25 0 1 0 965235033 21086208 4183 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5148 4183 301 301 0 4847 0
vsize: 20592
[startup+550.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5832 0 0 0 54527 478 0 0 25 0 1 0 965235033 21086208 4208 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5148 4208 301 301 0 4847 0
vsize: 20592
[startup+560.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5862 0 0 0 55518 487 0 0 25 0 1 0 965235033 21209088 4238 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5178 4238 301 301 0 4877 0
vsize: 20712
[startup+570.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5888 0 0 0 56510 495 0 0 25 0 1 0 965235033 21209088 4264 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5178 4264 301 301 0 4877 0
vsize: 20712
[startup+580.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5914 0 0 0 57502 504 0 0 25 0 1 0 965235033 21323776 4290 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5206 4290 301 301 0 4905 0
vsize: 20824
[startup+590.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5943 0 0 0 58494 512 0 0 25 0 1 0 965235033 21323776 4319 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5206 4319 301 301 0 4905 0
vsize: 20824
[startup+600.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5963 0 0 0 59485 521 0 0 25 0 1 0 965235033 21430272 4339 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5232 4339 301 301 0 4931 0
vsize: 20928
[startup+610.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 5994 0 0 0 60476 531 0 0 25 0 1 0 965235033 21430272 4370 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5232 4370 301 301 0 4931 0
vsize: 20928
[startup+620.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6023 0 0 0 61467 539 0 0 25 0 1 0 965235033 21565440 4399 4294967295 134512640 135730672 3221224592 3221223088 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5265 4399 301 301 0 4964 0
vsize: 21060
[startup+630.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6053 0 0 0 62460 546 0 0 25 0 1 0 965235033 21565440 4429 4294967295 134512640 135730672 3221224592 3221223088 134747528 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5265 4429 301 301 0 4964 0
vsize: 21060
[startup+640.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6083 0 0 0 63452 554 0 0 25 0 1 0 965235033 21667840 4459 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5290 4459 301 301 0 4989 0
vsize: 21160
[startup+650.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6110 0 0 0 64444 563 0 0 25 0 1 0 965235033 21786624 4486 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5319 4486 301 301 0 5018 0
vsize: 21276
[startup+660.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6135 0 0 0 65436 571 0 0 25 0 1 0 965235033 21786624 4511 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5319 4511 301 301 0 5018 0
vsize: 21276
[startup+670.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6168 0 0 0 66429 578 0 0 25 0 1 0 965235033 21897216 4544 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5346 4544 301 301 0 5045 0
vsize: 21384
[startup+680.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6194 0 0 0 67421 586 0 0 25 0 1 0 965235033 21897216 4570 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5346 4570 301 301 0 5045 0
vsize: 21384
[startup+690.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6221 0 0 0 68413 595 0 0 25 0 1 0 965235033 22020096 4597 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5376 4597 301 301 0 5075 0
vsize: 21504
[startup+700.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6242 0 0 0 69405 603 0 0 25 0 1 0 965235033 22020096 4618 4294967295 134512640 135730672 3221224592 3221223200 134744775 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5376 4618 301 301 0 5075 0
vsize: 21504
[startup+710.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6277 0 0 0 70395 613 0 0 25 0 1 0 965235033 22142976 4653 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5406 4653 301 301 0 5105 0
vsize: 21624
[startup+720.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6301 0 0 0 71387 621 0 0 25 0 1 0 965235033 22142976 4677 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5406 4677 301 301 0 5105 0
vsize: 21624
[startup+730.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6333 0 0 0 72379 629 0 0 25 0 1 0 965235033 22241280 4709 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5430 4709 301 301 0 5129 0
vsize: 21720
[startup+740.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6359 0 0 0 73370 639 0 0 25 0 1 0 965235033 22241280 4735 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5430 4735 301 301 0 5129 0
vsize: 21720
[startup+750.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6379 0 0 0 74361 647 0 0 25 0 1 0 965235033 22343680 4755 4294967295 134512640 135730672 3221224592 3221223088 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5455 4755 301 301 0 5154 0
vsize: 21820
[startup+760.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6411 0 0 0 75354 655 0 0 25 0 1 0 965235033 22343680 4787 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5455 4787 301 301 0 5154 0
vsize: 21820
[startup+770.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6450 0 0 0 76344 665 0 0 25 0 1 0 965235033 22454272 4826 4294967295 134512640 135730672 3221224592 3221222976 134761945 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5482 4826 301 301 0 5181 0
vsize: 21928
[startup+780.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6475 0 0 0 77337 672 0 0 25 0 1 0 965235033 22564864 4851 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5509 4851 301 301 0 5208 0
vsize: 22036
[startup+790.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6503 0 0 0 78329 681 0 0 25 0 1 0 965235033 22564864 4879 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5509 4879 301 301 0 5208 0
vsize: 22036
[startup+800.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6525 0 0 0 79320 690 0 0 25 0 1 0 965235033 22679552 4901 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5537 4901 301 301 0 5236 0
vsize: 22148
[startup+810.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6547 0 0 0 80313 697 0 0 25 0 1 0 965235033 22679552 4923 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5537 4923 301 301 0 5236 0
vsize: 22148
[startup+820.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6577 0 0 0 81305 705 0 0 25 0 1 0 965235033 22790144 4953 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5564 4953 301 301 0 5263 0
vsize: 22256
[startup+830.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6595 0 0 0 82296 714 0 0 25 0 1 0 965235033 22790144 4971 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5564 4971 301 301 0 5263 0
vsize: 22256
[startup+840.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6623 0 0 0 83287 723 0 0 25 0 1 0 965235033 22790144 4999 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5564 4999 301 301 0 5263 0
vsize: 22256
[startup+850.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6656 0 0 0 84279 731 0 0 25 0 1 0 965235033 22900736 5032 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5591 5032 301 301 0 5290 0
vsize: 22364
[startup+860.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6694 0 0 0 85272 738 0 0 25 0 1 0 965235033 23015424 5070 4294967295 134512640 135730672 3221224592 3221223216 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5619 5070 301 301 0 5318 0
vsize: 22476
[startup+870.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6743 0 0 0 86263 747 0 0 25 0 1 0 965235033 23015424 5119 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5619 5119 301 301 0 5318 0
vsize: 22476
[startup+880.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 6770 0 0 0 87255 756 0 0 25 0 1 0 965235033 23121920 5146 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5645 5146 301 301 0 5344 0
vsize: 22580
[startup+890.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8332 0 0 0 88245 766 0 0 25 0 1 0 965235033 29413376 5171 4294967295 134512640 135730672 3221224592 3221223104 135282977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7181 5171 301 301 0 6880 0
vsize: 28724
[startup+900.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8360 0 0 0 89236 775 0 0 25 0 1 0 965235033 29511680 5199 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7205 5199 301 301 0 6904 0
vsize: 28820
[startup+910.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8382 0 0 0 90229 782 0 0 25 0 1 0 965235033 29511680 5221 4294967295 134512640 135730672 3221224592 3221223088 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7205 5221 301 301 0 6904 0
vsize: 28820
[startup+920.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8405 0 0 0 91220 792 0 0 25 0 1 0 965235033 29634560 5244 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7235 5244 301 301 0 6934 0
vsize: 28940
[startup+930.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8434 0 0 0 92211 801 0 0 25 0 1 0 965235033 29634560 5273 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7235 5273 301 301 0 6934 0
vsize: 28940
[startup+940.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8463 0 0 0 93204 808 0 0 25 0 1 0 965235033 29736960 5302 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7260 5302 301 301 0 6959 0
vsize: 29040
[startup+950.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8494 0 0 0 94196 816 0 0 25 0 1 0 965235033 29839360 5333 4294967295 134512640 135730672 3221224592 3221223088 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7285 5333 301 301 0 6984 0
vsize: 29140
[startup+960.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8516 0 0 0 95186 826 0 0 25 0 1 0 965235033 29839360 5355 4294967295 134512640 135730672 3221224592 3221223088 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7285 5355 301 301 0 6984 0
vsize: 29140
[startup+970.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8542 0 0 0 96177 835 0 0 25 0 1 0 965235033 29945856 5381 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7311 5381 301 301 0 7010 0
vsize: 29244
[startup+980.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8568 0 0 0 97170 843 0 0 25 0 1 0 965235033 29945856 5407 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7311 5407 301 301 0 7010 0
vsize: 29244
[startup+990.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8583 0 0 0 98162 850 0 0 25 0 1 0 965235033 29945856 5422 4294967295 134512640 135730672 3221224592 3221222848 134767091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7311 5422 301 301 0 7010 0
vsize: 29244
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8615 0 0 0 99156 857 0 0 25 0 1 0 965235033 30081024 5454 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7344 5454 301 301 0 7043 0
vsize: 29376
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8635 0 0 0 100148 865 0 0 25 0 1 0 965235033 30081024 5474 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7344 5474 301 301 0 7043 0
vsize: 29376
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8661 0 0 0 101141 872 0 0 25 0 1 0 965235033 30195712 5500 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7372 5500 301 301 0 7071 0
vsize: 29488
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8686 0 0 0 102135 878 0 0 25 0 1 0 965235033 30195712 5525 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7372 5525 301 301 0 7071 0
vsize: 29488
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8711 0 0 0 103124 889 0 0 25 0 1 0 965235033 30302208 5550 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7398 5550 301 301 0 7097 0
vsize: 29592
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8740 0 0 0 104117 897 0 0 25 0 1 0 965235033 30302208 5579 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7398 5579 301 301 0 7097 0
vsize: 29592
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8764 0 0 0 105110 904 0 0 25 0 1 0 965235033 30420992 5603 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7427 5603 301 301 0 7126 0
vsize: 29708
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8789 0 0 0 106103 911 0 0 25 0 1 0 965235033 30420992 5628 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7427 5628 301 301 0 7126 0
vsize: 29708
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8816 0 0 0 107094 920 0 0 25 0 1 0 965235033 30519296 5655 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7451 5655 301 301 0 7150 0
vsize: 29804
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8840 0 0 0 108086 929 0 0 25 0 1 0 965235033 30519296 5679 4294967295 134512640 135730672 3221224592 3221223088 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7451 5679 301 301 0 7150 0
vsize: 29804
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8869 0 0 0 109077 937 0 0 25 0 1 0 965235033 30621696 5708 4294967295 134512640 135730672 3221224592 3221222836 134813780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7476 5708 301 301 0 7175 0
vsize: 29904
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8895 0 0 0 110069 946 0 0 25 0 1 0 965235033 30621696 5734 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7476 5734 301 301 0 7175 0
vsize: 29904
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8923 0 0 0 111063 952 0 0 25 0 1 0 965235033 30732288 5762 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7503 5762 301 301 0 7202 0
vsize: 30012
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8945 0 0 0 112054 961 0 0 25 0 1 0 965235033 30732288 5784 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7503 5784 301 301 0 7202 0
vsize: 30012
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8975 0 0 0 113046 970 0 0 25 0 1 0 965235033 30838784 5814 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7529 5814 301 301 0 7228 0
vsize: 30116
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 8999 0 0 0 114036 979 0 0 25 0 1 0 965235033 30838784 5838 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7529 5838 301 301 0 7228 0
vsize: 30116
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 9017 0 0 0 115028 987 0 0 25 0 1 0 965235033 30945280 5856 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7555 5856 301 301 0 7254 0
vsize: 30220
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 9039 0 0 0 116019 997 0 0 25 0 1 0 965235033 30945280 5878 4294967295 134512640 135730672 3221224592 3221223088 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7555 5878 301 301 0 7254 0
vsize: 30220
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 9055 0 0 0 117012 1004 0 0 25 0 1 0 965235033 30945280 5894 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7555 5894 301 301 0 7254 0
vsize: 30220
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 9091 0 0 0 118002 1014 0 0 25 0 1 0 965235033 31076352 5930 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7587 5930 301 301 0 7286 0
vsize: 30348
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 12672
Raw data (stat): 12672 (pb2sat-v2) R 12671 20224 20223 0 -1 0 9140 0 0 0 118992 1024 0 0 25 0 1 0 965235033 31178752 5979 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7612 5979 301 301 0 7311 0
vsize: 30448
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 0.99 0.99 0.91 1/54 12672
Raw data (stat): 12672 (pb2sat-v2) Z 12671 20224 20223 0 -1 12 9142 0 0 0 119010 1025 0 0 25 0 1 0 965235033 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.21
CPU time (s): 1200.36
CPU user time (s): 1190.1
CPU system time (s): 10.2564
CPU usage (%): 100.012
Max. virtual memory (Kb): 30448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####