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-2.opb
MD5SUM	48ed39004ec868a1cad026c865b17eb2
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	13429
Number of constraints which are clauses	13429
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 42088

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-15 23:48:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25304 boxname=wulflinc5 idbench=206 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  48ed39004ec868a1cad026c865b17eb2  /oldhome/oroussel/tmp/wulflinc5/normalized-par32-2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-par32-2.opb
IDLAUNCH: 25304
/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:        827272 kB
Buffers:         33964 kB
Cached:         150636 kB
SwapCached:        700 kB
Active:          73100 kB
Inactive:       113592 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        827020 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15020 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:08:06 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 25304 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 1585/6365	Time: 18.7302/86400
c Decision: 1585/6365	Time: 20.4389/86400
c Decision: 1585/6365	Time: 22.1336/86400
c Decision: 1585/6365	Time: 23.9274/86400
c Decision: 1585/6365	Time: 25.5531/86400
c Decision: 1585/6365	Time: 27.0989/86400
c Decision: 1585/6365	Time: 28.9406/86400
c Decision: 1585/6365	Time: 30.5014/86400
c Decision: 1585/6365	Time: 31.7682/86400
c Decision: 1585/6365	Time: 33.105/86400
c Decision: 1585/6365	Time: 34.5997/86400
c Decision: 1585/6365	Time: 36.3975/86400
c Decision: 1585/6365	Time: 38.5731/86400
c Decision: 1585/6365	Time: 40.1889/86400
c Decision: 1585/6365	Time: 42.0266/86400
c Decision: 1585/6365	Time: 43.7873/86400
c Decision: 1585/6365	Time: 45.4921/86400
c Decision: 1585/6365	Time: 47.8907/86400
c Decision: 1585/6365	Time: 50.1484/86400
c Decision: 1585/6365	Time: 52.452/86400
c Decision: 1585/6365	Time: 54.6577/86400
c Decision: 1585/6365	Time: 57.0843/86400
c Decision: 1585/6365	Time: 59.491/86400
c Decision: 1585/6365	Time: 61.8386/86400
c Decision: 1585/6365	Time: 63.3794/86400
c Decision: 1585/6365	Time: 65.612/86400
c Decision: 1585/6365	Time: 68.0147/86400
c Decision: 1585/6365	Time: 70.5233/86400
c Decision: 1585/6365	Time: 72.9419/86400
c Decision: 1585/6365	Time: 75.2166/86400
c Decision: 1585/6365	Time: 77.9451/86400
c Decision: 1585/6365	Time: 80.2238/86400
c Decision: 1585/6365	Time: 82.1475/86400
c Decision: 1585/6365	Time: 84.5551/86400
c Decision: 1585/6365	Time: 86.5398/86400
c Decision: 1585/6365	Time: 89.0845/86400
c Decision: 1585/6365	Time: 91.4501/86400
c Decision: 1585/6365	Time: 94.1197/86400
c Decision: 1585/6365	Time: 96.3663/86400
c Decision: 1585/6365	Time: 98.683/86400
c Decision: 1585/6365	Time: 101.619/86400
c Decision: 1585/6365	Time: 104.494/86400
c Decision: 1585/6365	Time: 106.81/86400
c Decision: 1585/6365	Time: 109.427/86400
c Decision: 1585/6365	Time: 111.914/86400
c Decision: 1585/6365	Time: 114.664/86400
c Decision: 1585/6365	Time: 116.978/86400
c Decision: 1585/6365	Time: 119.999/86400
c Decision: 1585/6365	Time: 122.562/86400
c Decision: 1585/6365	Time: 124.948/86400
c Decision: 1585/6365	Time: 127.715/86400
c Decision: 1585/6365	Time: 130.463/86400
c Decision: 1585/6365	Time: 132.73/86400
c Decision: 1585/6365	Time: 134.911/86400
c Decision: 1585/6365	Time: 138.24/86400
c Decision: 1585/6365	Time: 141.42/86400
c Decision: 1585/6365	Time: 144.168/86400
c Decision: 1585/6365	Time: 146.965/86400
c Decision: 1585/6365	Time: 150.064/86400
c Decision: 1585/6365	Time: 152.918/86400
c Decision: 1585/6365	Time: 155.878/86400
c Decision: 1585/6365	Time: 158.226/86400
c Decision: 1585/6365	Time: 161.177/86400
c Decision: 1585/6365	Time: 164.26/86400
c Decision: 1585/6365	Time: 167.043/86400
c Decision: 1585/6365	Time: 169.96/86400
c Decision: 1585/6365	Time: 172.546/86400
c Decision: 1585/6365	Time: 175.519/86400
c Decision: 1585/6365	Time: 178.675/86400
c Decision: 1585/6365	Time: 182.094/86400
c Decision: 1585/6365	Time: 185.381/86400
c Decision: 1585/6365	Time: 188.456/86400
c Decision: 1585/6365	Time: 191.431/86400
c Decision: 1585/6365	Time: 194.718/86400
c Decision: 1585/6365	Time: 197.483/86400
c Decision: 1585/6365	Time: 201.163/86400
c Decision: 1585/6365	Time: 204.136/86400
c Decision: 1585/6365	Time: 207.321/86400
c Decision: 1585/6365	Time: 210.248/86400
c Decision: 1585/6365	Time: 213.449/86400
c Decision: 1585/6365	Time: 216.208/86400
c Decision: 1585/6365	Time: 219.159/86400
c Decision: 1585/6365	Time: 222.074/86400
c Decision: 1585/6365	Time: 224.939/86400
c Decision: 1585/6365	Time: 228.246/86400
c Decision: 1585/6365	Time: 231.232/86400
c Decision: 1585/6365	Time: 234.03/86400
c Decision: 1585/6365	Time: 237.187/86400
c Decision: 1585/6365	Time: 240.4/86400
c Decision: 1585/6365	Time: 243.357/86400
c Decision: 1585/6365	Time: 246.496/86400
c Decision: 1585/6365	Time: 249.091/86400
c Decision: 1585/6365	Time: 252.563/86400
c Decision: 1585/6365	Time: 255.902/86400
c Decision: 1585/6365	Time: 259.011/86400
c Decision: 1585/6365	Time: 262.371/86400
c Decision: 1585/6365	Time: 265.608/86400
c Decision: 1585/6365	Time: 268.653/86400
c Decision: 1585/6365	Time: 271.528/86400
c Decision: 1585/6365	Time: 274.9/86400
c Decision: 1585/6365	Time: 278.281/86400
c Decision: 1585/6365	Time: 281.323/86400
c Decision: 1585/6365	Time: 284.755/86400
c Decision: 1585/6365	Time: 288.332/86400
c Decision: 1585/6365	Time: 291.381/86400
c Decision: 1585/6365	Time: 294.739/86400
c Decision: 1585/6365	Time: 298.251/86400
c Decision: 1585/6365	Time: 301.643/86400
c Decision: 1585/6365	Time: 304.994/86400
c Decision: 1585/6365	Time: 308.6/86400
c Decision: 1585/6365	Time: 312.225/86400
c Decision: 1585/6365	Time: 315.792/86400
c Decision: 1585/6365	Time: 319.678/86400
c Decision: 1585/6365	Time: 323.362/86400
c Decision: 1585/6365	Time: 326.563/86400
c Decision: 1585/6365	Time: 329.755/86400
c Decision: 1585/6365	Time: 332.842/86400
c Decision: 1585/6365	Time: 336.299/86400
c Decision: 1585/6365	Time: 339.892/86400
c Decision: 1585/6365	Time: 342.863/86400
c Decision: 1585/6365	Time: 346.18/86400
c Decision: 1585/6365	Time: 349.151/86400
c Decision: 1585/6365	Time: 352.77/86400
c Decision: 1585/6365	Time: 355.861/86400
c Decision: 1585/6365	Time: 359.446/86400
c Decision: 1585/6365	Time: 362.644/86400
c Decision: 1585/6365	Time: 366.192/86400
c Decision: 1585/6365	Time: 369.703/86400
c Decision: 1585/6365	Time: 372.699/86400
c Decision: 1585/6365	Time: 375.558/86400
c Decision: 1585/6365	Time: 378.596/86400
c Decision: 1585/6365	Time: 382.116/86400
c Decision: 1585/6365	Time: 385.302/86400
c Decision: 1585/6365	Time: 387.517/86400
c Decision: 1585/6365	Time: 390.931/86400
c Decision: 1585/6365	Time: 394.108/86400
c Decision: 1585/6365	Time: 397.553/86400
c Decision: 1585/6365	Time: 401.065/86400
c Decision: 1585/6365	Time: 404.668/86400
c Decision: 1585/6365	Time: 408.173/86400
c Decision: 1585/6365	Time: 411.885/86400
c Decision: 1585/6365	Time: 415.731/86400
c Decision: 1585/6365	Time: 418.991/86400
c Decision: 1585/6365	Time: 422.162/86400
c Decision: 1585/6365	Time: 425.532/86400
c Decision: 1585/6365	Time: 429.381/86400
c Decision: 1585/6365	Time: 432.893/86400
c Decision: 1585/6365	Time: 436.358/86400
c Decision: 1585/6365	Time: 440.171/86400
c Decision: 1585/6365	Time: 443.706/86400
c Decision: 1585/6365	Time: 447.835/86400
c Decision: 1585/6365	Time: 452.107/86400
c Decision: 1585/6365	Time: 456.311/86400
c Decision: 1585/6365	Time: 459.69/86400
c Decision: 1585/6365	Time: 463.046/86400
c Decision: 1585/6365	Time: 466.661/86400
c Decision: 1585/6365	Time: 469.726/86400
c Decision: 1585/6365	Time: 472.865/86400
c Decision: 1585/6365	Time: 475.888/86400
c Decision: 1585/6365	Time: 479.326/86400
c Decision: 1585/6365	Time: 482.808/86400
c Decision: 1585/6365	Time: 486.4/86400
c Decision: 1585/6365	Time: 490.113/86400
c Decision: 1585/6365	Time: 493.345/86400
c Decision: 1585/6365	Time: 496.569/86400
c Decision: 1585/6365	Time: 500.362/86400
c Decision: 1585/6365	Time: 503.853/86400
c Decision: 1585/6365	Time: 506.754/86400
c Decision: 1585/6365	Time: 510.338/86400
c Decision: 1585/6365	Time: 514.278/86400
c Decision: 1585/6365	Time: 518.318/86400
c Decision: 1585/6365	Time: 521.267/86400
c Decision: 1585/6365	Time: 524.532/86400
c Decision: 1585/6365	Time: 527.727/86400
c Decision: 1585/6365	Time: 530.977/86400
c Decision: 1585/6365	Time: 535.091/86400
c Decision: 1585/6365	Time: 539.078/86400
c Decision: 1585/6365	Time: 542.267/86400
c Decision: 1585/6365	Time: 546.173/86400
c Decision: 1585/6365	Time: 550.667/86400
c Decision: 1585/6365	Time: 554.487/86400
c Decision: 1585/6365	Time: 557.808/86400
c Decision: 1585/6365	Time: 561.614/86400
c Decision: 1585/6365	Time: 565.53/86400
c Decision: 1585/6365	Time: 569.24/86400
c Decision: 1585/6365	Time: 573.378/86400
c Decision: 1585/6365	Time: 576.584/86400
c Decision: 1585/6365	Time: 580.171/86400
c Decision: 1585/6365	Time: 583.841/86400
c Decision: 1585/6365	Time: 587.716/86400
c Decision: 1585/6365	Time: 591.577/86400
c Decision: 1585/6365	Time: 595.302/86400
c Decision: 1585/6365	Time: 599.035/86400
c Decision: 1585/6365	Time: 602.701/86400
c Decision: 1585/6365	Time: 607.121/86400
c Decision: 1585/6365	Time: 611.487/86400
c Decision: 1585/6365	Time: 614.838/86400
c Decision: 1585/6365	Time: 618.327/86400
c Decision: 1585/6365	Time: 622.016/86400
c Decision: 1585/6365	Time: 625.73/86400
c Decision: 1585/6365	Time: 629.826/86400
c Decision: 1585/6365	Time: 633.641/86400
c Decision: 1585/6365	Time: 637.473/86400
c Decision: 1585/6365	Time: 641.095/86400
c Decision: 1585/6365	Time: 644.257/86400
c Decision: 1585/6365	Time: 648.015/86400
c Decision: 1585/6365	Time: 652.029/86400
c Decision: 1585/6365	Time: 655.763/86400
c Decision: 1585/6365	Time: 659.931/86400
c Decision: 1585/6365	Time: 663.515/86400
c Decision: 1585/6365	Time: 667.731/86400
c Decision: 1585/6365	Time: 671.331/86400
c Decision: 1585/6365	Time: 674.982/86400
c Decision: 1585/6365	Time: 678.661/86400
c Decision: 1585/6365	Time: 682.657/86400
c Decision: 1585/6365	Time: 687.046/86400
c Decision: 1585/6365	Time: 691.086/86400
c Decision: 1585/6365	Time: 695.143/86400
c Decision: 1585/6365	Time: 699.325/86400
c Decision: 1585/6365	Time: 703.143/86400
c Decision: 1585/6365	Time: 707.679/86400
c Decision: 1585/6365	Time: 711.918/86400
c Decision: 1585/6365	Time: 715.69/86400
c Decision: 1585/6365	Time: 720.357/86400
c Decision: 1585/6365	Time: 724.73/86400
c Decision: 1585/6365	Time: 729.641/86400
c Decision: 1585/6365	Time: 733.672/86400
c Decision: 1585/6365	Time: 737.978/86400
c Decision: 1585/6365	Time: 741.762/86400
c Decision: 1585/6365	Time: 745.159/86400
c Decision: 1585/6365	Time: 748.898/86400
c Decision: 1585/6365	Time: 752.12/86400
c Decision: 1585/6365	Time: 756.101/86400
c Decision: 1585/6365	Time: 760.046/86400
c Decision: 1585/6365	Time: 764.242/86400
c Decision: 1585/6365	Time: 768.327/86400
c Decision: 1585/6365	Time: 772.014/86400
c Decision: 1585/6365	Time: 775.641/86400
c Decision: 1585/6365	Time: 779.317/86400
c Decision: 1585/6365	Time: 782.955/86400
c Decision: 1585/6365	Time: 787.441/86400
c Decision: 1585/6365	Time: 791.047/86400
c Decision: 1585/6365	Time: 794.92/86400
c Decision: 1585/6365	Time: 799.262/86400
c Decision: 1585/6365	Time: 803.273/86400
c Decision: 1585/6365	Time: 807.542/86400
c Decision: 1585/6365	Time: 811.002/86400
c Decision: 1585/6365	Time: 814.952/86400
c Decision: 1585/6365	Time: 818.427/86400
c Decision: 1585/6365	Time: 822.3/86400
c Decision: 1585/6365	Time: 826.162/86400
c Decision: 1585/6365	Time: 829.983/86400
c Decision: 1585/6365	Time: 833.651/86400
c Decision: 1585/6365	Time: 837.053/86400
c Decision: 1585/6365	Time: 840.721/86400
c Decision: 1585/6365	Time: 844.851/86400
c Decision: 1585/6365	Time: 848.68/86400
c Decision: 1585/6365	Time: 852.403/86400
c Decision: 1585/6365	Time: 856.129/86400
c Decision: 1585/6365	Time: 860.379/86400
c Decision: 1585/6365	Time: 864.448/86400
c Decision: 1585/6365	Time: 868.461/86400
c Decision: 1585/6365	Time: 872.146/86400
c Decision: 1585/6365	Time: 875.88/86400
c Decision: 1585/6365	Time: 879.804/86400
c Decision: 1585/6365	Time: 884.154/86400
c Decision: 1585/6365	Time: 887.935/86400
c Decision: 1585/6365	Time: 891.623/86400
c Decision: 1585/6365	Time: 895.438/86400
c Decision: 1585/6365	Time: 899.841/86400
c Decision: 1585/6365	Time: 904.614/86400
c Decision: 1585/6365	Time: 908.547/86400
c Decision: 1585/6365	Time: 912.359/86400
c Decision: 1585/6365	Time: 916.137/86400
c Decision: 1585/6365	Time: 920.155/86400
c Decision: 1585/6365	Time: 924.312/86400
c Decision: 1585/6365	Time: 928.009/86400
c Decision: 1585/6365	Time: 932.314/86400
c Decision: 1585/6365	Time: 936.4/86400
c Decision: 1585/6365	Time: 940.438/86400
c Decision: 1585/6365	Time: 944.501/86400
c Decision: 1585/6365	Time: 948.732/86400
c Decision: 1585/6365	Time: 953.16/86400
c Decision: 1585/6365	Time: 957.134/86400
c Decision: 1585/6365	Time: 960.581/86400
c Decision: 1585/6365	Time: 965.375/86400
c Decision: 1585/6365	Time: 968.887/86400
c Decision: 1585/6365	Time: 973.242/86400
c Decision: 1585/6365	Time: 977.394/86400
c Decision: 1585/6365	Time: 982.052/86400
c Decision: 1585/6365	Time: 986.566/86400
c Decision: 1585/6365	Time: 990.859/86400
c Decision: 1585/6365	Time: 994.837/86400
c Decision: 1585/6365	Time: 998.968/86400
c Decision: 1585/6365	Time: 1002.95/86400
c Decision: 1585/6365	Time: 1007.41/86400
c Decision: 1585/6365	Time: 1011.47/86400
c Decision: 1585/6365	Time: 1015.58/86400
c Decision: 1585/6365	Time: 1020.24/86400
c Decision: 1585/6365	Time: 1024.25/86400
c Decision: 1585/6365	Time: 1028.78/86400
c Decision: 1585/6365	Time: 1032.59/86400
c Decision: 1585/6365	Time: 1036.37/86400
c Decision: 1585/6365	Time: 1040.36/86400
c Decision: 1585/6365	Time: 1044.56/86400
c Decision: 1585/6365	Time: 1048.81/86400
c Decision: 1585/6365	Time: 1052.89/86400
c Decision: 1585/6365	Time: 1057.17/86400
c Decision: 1585/6365	Time: 1061.39/86400
c Decision: 1585/6365	Time: 1065.67/86400
c Decision: 1585/6365	Time: 1070.51/86400
c Decision: 1585/6365	Time: 1074.35/86400
c Decision: 1585/6365	Time: 1078.73/86400
c Decision: 1585/6365	Time: 1082.6/86400
c Decision: 1585/6365	Time: 1086.7/86400
c Decision: 1585/6365	Time: 1090.97/86400
c Decision: 1585/6365	Time: 1095.06/86400
c Decision: 1585/6365	Time: 1098.91/86400
c Decision: 1585/6365	Time: 1103.16/86400
c Decision: 1585/6365	Time: 1107.4/86400
c Decision: 1585/6365	Time: 1112.28/86400
c Decision: 1585/6365	Time: 1116.47/86400
c Decision: 1585/6365	Time: 1121/86400
c Decision: 1585/6365	Time: 1125.12/86400
c Decision: 1585/6365	Time: 1129.27/86400
c Decision: 1585/6365	Time: 1133.33/86400
c Decision: 1585/6365	Time: 1137.59/86400
c Decision: 1585/6365	Time: 1141.89/86400
c Decision: 1585/6365	Time: 1145.97/86400
c Decision: 1585/6365	Time: 1149.78/86400
c Decision: 1585/6365	Time: 1154.26/86400
c Decision: 1585/6365	Time: 1158.47/86400
c Decision: 1585/6365	Time: 1162.3/86400
c Decision: 1585/6365	Time: 1166.81/86400
c Decision: 1585/6365	Time: 1171.16/86400
c Decision: 1585/6365	Time: 1175.7/86400
c Decision: 1585/6365	Time: 1180.27/86400
c Decision: 1585/6365	Time: 1185.03/86400
c Decision: 1585/6365	Time: 1189.18/86400
c Decision: 1585/6365	Time: 1193.5/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.95 0.98 0.91 2/54 4897
Raw data (stat): 4897 (runsolver) R 4896 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966201854 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.001 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 1228 0 0 0 994 4 0 0 25 0 1 0 966201854 5369856 1043 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1311 1043 301 301 0 1010 0
vsize: 5244
[startup+20.0011 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 1776 0 0 0 1992 7 0 0 25 0 1 0 966201854 7499776 1494 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1831 1497 301 301 0 1530 0
vsize: 7324
[startup+30.0009 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 2116 0 0 0 2988 9 0 0 25 0 1 0 966201854 10244096 1834 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2501 1834 301 301 0 2200 0
vsize: 10004
[startup+40.0006 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 2277 0 0 0 3986 12 0 0 25 0 1 0 966201854 10694656 1995 4294967295 134512640 135730672 3221224592 3221223088 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2611 1995 301 301 0 2310 0
vsize: 10444
[startup+50.0004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 2371 0 0 0 4983 14 0 0 25 0 1 0 966201854 10932224 2089 4294967295 134512640 135730672 3221224592 3221222956 134814289 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2669 2089 301 301 0 2368 0
vsize: 10676
[startup+60.0001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 2630 0 0 0 5979 18 0 0 25 0 1 0 966201854 11956224 2155 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2919 2155 301 301 0 2618 0
vsize: 11676
[startup+70.0002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 2688 0 0 0 6977 21 0 0 25 0 1 0 966201854 12185600 2213 4294967295 134512640 135730672 3221224592 3221222752 134768930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2975 2213 301 301 0 2674 0
vsize: 11900
[startup+79.9996 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 2728 0 0 0 7974 23 0 0 25 0 1 0 966201854 12234752 2253 4294967295 134512640 135730672 3221224592 3221223212 134748215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2987 2253 301 301 0 2686 0
vsize: 11948
[startup+89.9994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 2818 0 0 0 8973 25 0 0 25 0 1 0 966201854 12324864 2343 4294967295 134512640 135730672 3221224592 3221223088 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3009 2343 301 301 0 2708 0
vsize: 12036
[startup+99.9993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 2904 0 0 0 9970 27 0 0 25 0 1 0 966201854 12566528 2429 4294967295 134512640 135730672 3221224592 3221223088 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3068 2429 301 301 0 2767 0
vsize: 12272
[startup+110 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 2995 0 0 0 10968 28 0 0 25 0 1 0 966201854 12673024 2520 4294967295 134512640 135730672 3221224592 3221223088 134747957 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3094 2520 301 301 0 2793 0
vsize: 12376
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 3116 0 0 0 11966 30 0 0 25 0 1 0 966201854 12775424 2641 4294967295 134512640 135730672 3221224592 3221223072 134732794 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3119 2641 301 301 0 2818 0
vsize: 12476
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 3323 0 0 0 12964 31 0 0 25 0 1 0 966201854 12959744 2848 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3164 2848 301 301 0 2863 0
vsize: 12656
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 3474 0 0 0 13963 33 0 0 25 0 1 0 966201854 17154048 2999 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4188 2999 301 301 0 3887 0
vsize: 16752
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 3597 0 0 0 14961 35 0 0 25 0 1 0 966201854 17391616 3122 4294967295 134512640 135730672 3221224592 3221223088 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4246 3122 301 301 0 3945 0
vsize: 16984
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 3818 0 0 0 15960 37 0 0 25 0 1 0 966201854 17489920 3343 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4270 3343 301 301 0 3969 0
vsize: 17080
[startup+170 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 3851 0 0 0 16958 39 0 0 25 0 1 0 966201854 17580032 3376 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4292 3376 301 301 0 3991 0
vsize: 17168
[startup+180 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 4285 0 0 0 17955 41 0 0 25 0 1 0 966201854 19333120 3425 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4720 3425 301 301 0 4419 0
vsize: 18880
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 4355 0 0 0 18955 42 0 0 25 0 1 0 966201854 19468288 3495 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4753 3495 301 301 0 4452 0
vsize: 19012
[startup+200.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 4506 0 0 0 19953 44 0 0 25 0 1 0 966201854 19574784 3646 4294967295 134512640 135730672 3221224592 3221222928 134739215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4779 3646 301 301 0 4478 0
vsize: 19116
[startup+210 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 4592 0 0 0 20952 45 0 0 25 0 1 0 966201854 19673088 3732 4294967295 134512640 135730672 3221224592 3221223136 134740239 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4803 3732 301 301 0 4502 0
vsize: 19212
[startup+220 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 4619 0 0 0 21951 47 0 0 25 0 1 0 966201854 19673088 3759 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4803 3759 301 301 0 4502 0
vsize: 19212
[startup+230 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 4779 0 0 0 22950 48 0 0 25 0 1 0 966201854 19771392 3919 4294967295 134512640 135730672 3221224592 3221223304 134764629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4827 3919 301 301 0 4526 0
vsize: 19308
[startup+240 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 5014 0 0 0 23948 49 0 0 25 0 1 0 966201854 19894272 4154 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4857 4154 301 301 0 4556 0
vsize: 19428
[startup+250 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 5248 0 0 0 24947 50 0 0 25 0 1 0 966201854 28418048 4388 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6938 4388 301 301 0 6637 0
vsize: 27752
[startup+260 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 5293 0 0 0 25946 52 0 0 25 0 1 0 966201854 28606464 4433 4294967295 134512640 135730672 3221224592 3221223088 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6984 4433 301 301 0 6683 0
vsize: 27936
[startup+270 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 5363 0 0 0 26945 53 0 0 25 0 1 0 966201854 28729344 4503 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7014 4503 301 301 0 6713 0
vsize: 28056
[startup+280 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 5618 0 0 0 27944 55 0 0 25 0 1 0 966201854 28811264 4758 4294967295 134512640 135730672 3221224592 3221223104 134746392 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7034 4758 301 301 0 6733 0
vsize: 28136
[startup+290 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 5709 0 0 0 28943 55 0 0 25 0 1 0 966201854 28905472 4849 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7057 4849 301 301 0 6756 0
vsize: 28228
[startup+300 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 5933 0 0 0 29942 56 0 0 25 0 1 0 966201854 28995584 5073 4294967295 134512640 135730672 3221224592 3221223104 134746216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7079 5073 301 301 0 6778 0
vsize: 28316
[startup+310 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6187 0 0 0 30941 58 0 0 25 0 1 0 966201854 29249536 5327 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7141 5327 301 301 0 6840 0
vsize: 28564
[startup+320 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6307 0 0 0 31939 60 0 0 25 0 1 0 966201854 29351936 5447 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7166 5447 301 301 0 6865 0
vsize: 28664
[startup+329.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6359 0 0 0 32938 61 0 0 25 0 1 0 966201854 29536256 5499 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7211 5499 301 301 0 6910 0
vsize: 28844
[startup+339.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6391 0 0 0 33938 61 0 0 25 0 1 0 966201854 29622272 5531 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7232 5531 301 301 0 6931 0
vsize: 28928
[startup+349.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6466 0 0 0 34936 63 0 0 25 0 1 0 966201854 29872128 5606 4294967295 134512640 135730672 3221224592 3221223072 134732572 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7293 5606 301 301 0 6992 0
vsize: 29172
[startup+360 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6486 0 0 0 35936 64 0 0 25 0 1 0 966201854 29872128 5626 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7293 5626 301 301 0 6992 0
vsize: 29172
[startup+370 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6519 0 0 0 36935 65 0 0 25 0 1 0 966201854 30019584 5659 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7329 5659 301 301 0 7028 0
vsize: 29316
[startup+379.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6546 0 0 0 37934 66 0 0 25 0 1 0 966201854 30019584 5686 4294967295 134512640 135730672 3221224592 3221223152 134740376 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7329 5686 301 301 0 7028 0
vsize: 29316
[startup+389.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6565 0 0 0 38933 66 0 0 25 0 1 0 966201854 30109696 5705 4294967295 134512640 135730672 3221224592 3221223088 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7351 5705 301 301 0 7050 0
vsize: 29404
[startup+399.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6583 0 0 0 39933 67 0 0 25 0 1 0 966201854 30109696 5723 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7351 5723 301 301 0 7050 0
vsize: 29404
[startup+409.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6614 0 0 0 40932 68 0 0 25 0 1 0 966201854 30240768 5754 4294967295 134512640 135730672 3221224592 3221223104 134746483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7383 5754 301 301 0 7082 0
vsize: 29532
[startup+419.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6665 0 0 0 41931 69 0 0 25 0 1 0 966201854 30494720 5805 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7445 5805 301 301 0 7144 0
vsize: 29780
[startup+429.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6680 0 0 0 42930 70 0 0 25 0 1 0 966201854 30494720 5820 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7445 5820 301 301 0 7144 0
vsize: 29780
[startup+439.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6712 0 0 0 43930 71 0 0 25 0 1 0 966201854 30580736 5852 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7466 5852 301 301 0 7165 0
vsize: 29864
[startup+449.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6749 0 0 0 44929 72 0 0 25 0 1 0 966201854 30674944 5889 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7489 5889 301 301 0 7188 0
vsize: 29956
[startup+459.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6784 0 0 0 45928 73 0 0 25 0 1 0 966201854 30806016 5924 4294967295 134512640 135730672 3221224592 3221223216 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7521 5924 301 301 0 7220 0
vsize: 30084
[startup+469.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 6872 0 0 0 46927 74 0 0 25 0 1 0 966201854 30806016 6012 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7521 6012 301 301 0 7220 0
vsize: 30084
[startup+479.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 7669 0 0 0 47925 76 0 0 25 0 1 0 966201854 34082816 6040 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8321 6040 301 301 0 8020 0
vsize: 33284
[startup+489.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 7776 0 0 0 48925 77 0 0 25 0 1 0 966201854 34213888 6147 4294967295 134512640 135730672 3221224592 3221223184 134763582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8353 6147 301 301 0 8052 0
vsize: 33412
[startup+499.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8005 0 0 0 49923 79 0 0 25 0 1 0 966201854 34213888 6376 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8353 6376 301 301 0 8052 0
vsize: 33412
[startup+509.998 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8238 0 0 0 50922 80 0 0 25 0 1 0 966201854 34295808 6609 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8373 6609 301 301 0 8072 0
vsize: 33492
[startup+519.998 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8482 0 0 0 51921 81 0 0 25 0 1 0 966201854 34410496 6853 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8401 6853 301 301 0 8100 0
vsize: 33604
[startup+529.997 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8517 0 0 0 52921 82 0 0 25 0 1 0 966201854 34496512 6888 4294967295 134512640 135730672 3221224592 3221223216 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8422 6888 301 301 0 8121 0
vsize: 33688
[startup+539.998 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8538 0 0 0 53920 82 0 0 25 0 1 0 966201854 34496512 6909 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8422 6909 301 301 0 8121 0
vsize: 33688
[startup+549.998 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8598 0 0 0 54919 83 0 0 25 0 1 0 966201854 34586624 6969 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8444 6969 301 301 0 8143 0
vsize: 33776
[startup+559.999 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8781 0 0 0 55918 85 0 0 25 0 1 0 966201854 34783232 7152 4294967295 134512640 135730672 3221224592 3221223088 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8492 7152 301 301 0 8191 0
vsize: 33968
[startup+569.999 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8828 0 0 0 56918 85 0 0 25 0 1 0 966201854 34889728 7199 4294967295 134512640 135730672 3221224592 3221223184 134763602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8518 7199 301 301 0 8217 0
vsize: 34072
[startup+579.999 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8883 0 0 0 57916 87 0 0 25 0 1 0 966201854 35020800 7254 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8550 7254 301 301 0 8249 0
vsize: 34200
[startup+589.999 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8916 0 0 0 58916 87 0 0 25 0 1 0 966201854 35184640 7287 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8590 7287 301 301 0 8289 0
vsize: 34360
[startup+600 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 8996 0 0 0 59915 89 0 0 25 0 1 0 966201854 35184640 7367 4294967295 134512640 135730672 3221224592 3221223248 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8590 7367 301 301 0 8289 0
vsize: 34360
[startup+610 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 9163 0 0 0 60914 89 0 0 25 0 1 0 966201854 35307520 7534 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8620 7534 301 301 0 8319 0
vsize: 34480
[startup+619.999 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 9258 0 0 0 61914 90 0 0 25 0 1 0 966201854 35422208 7629 4294967295 134512640 135730672 3221224592 3221223104 134746221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8648 7629 301 301 0 8347 0
vsize: 34592
[startup+629.999 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 9403 0 0 0 62913 91 0 0 25 0 1 0 966201854 52199424 7774 4294967295 134512640 135730672 3221224592 3221223088 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12744 7774 301 301 0 12443 0
vsize: 50976
[startup+640 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 9545 0 0 0 63912 92 0 0 25 0 1 0 966201854 52355072 7916 4294967295 134512640 135730672 3221224592 3221223088 134747874 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12782 7916 301 301 0 12481 0
vsize: 51128
[startup+650 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 9758 0 0 0 64912 93 0 0 25 0 1 0 966201854 52453376 8129 4294967295 134512640 135730672 3221224592 3221223088 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12806 8129 301 301 0 12505 0
vsize: 51224
[startup+660 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 9981 0 0 0 65911 94 0 0 25 0 1 0 966201854 52568064 8352 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12834 8352 301 301 0 12533 0
vsize: 51336
[startup+670 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 10220 0 0 0 66909 96 0 0 25 0 1 0 966201854 52666368 8591 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12858 8591 301 301 0 12557 0
vsize: 51432
[startup+680 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 10320 0 0 0 67909 96 0 0 25 0 1 0 966201854 52666368 8691 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12858 8691 301 301 0 12557 0
vsize: 51432
[startup+690 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 10540 0 0 0 68907 98 0 0 25 0 1 0 966201854 52797440 8911 4294967295 134512640 135730672 3221224592 3221222912 134732471 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12890 8911 301 301 0 12589 0
vsize: 51560
[startup+700 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 10714 0 0 0 69906 99 0 0 25 0 1 0 966201854 52924416 9085 4294967295 134512640 135730672 3221224592 3221222976 134761919 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12921 9085 301 301 0 12620 0
vsize: 51684
[startup+710 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4897
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 10958 0 0 0 70905 100 0 0 25 0 1 0 966201854 53207040 9329 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12990 9329 301 301 0 12689 0
vsize: 51960
[startup+720 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4898
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 10990 0 0 0 71905 101 0 0 25 0 1 0 966201854 53297152 9361 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13012 9361 301 301 0 12711 0
vsize: 52048
[startup+730 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 4950
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11020 0 0 0 72904 101 0 0 25 0 1 0 966201854 53432320 9391 4294967295 134512640 135730672 3221224592 3221223088 134747629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13045 9391 301 301 0 12744 0
vsize: 52180
[startup+740 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 4950
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11065 0 0 0 73903 103 0 0 25 0 1 0 966201854 53555200 9436 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13075 9436 301 301 0 12774 0
vsize: 52300
[startup+750 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 4950
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11090 0 0 0 74903 103 0 0 25 0 1 0 966201854 53641216 9461 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13096 9461 301 301 0 12795 0
vsize: 52384
[startup+760.001 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4950
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11108 0 0 0 75902 104 0 0 25 0 1 0 966201854 53641216 9479 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13096 9479 301 301 0 12795 0
vsize: 52384
[startup+770.002 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4950
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11135 0 0 0 76901 105 0 0 25 0 1 0 966201854 53735424 9506 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13119 9506 301 301 0 12818 0
vsize: 52476
[startup+780.001 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 4950
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11177 0 0 0 77900 106 0 0 25 0 1 0 966201854 53874688 9548 4294967295 134512640 135730672 3221224592 3221223184 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13153 9548 301 301 0 12852 0
vsize: 52612
[startup+790.002 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4950
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11199 0 0 0 78900 107 0 0 25 0 1 0 966201854 53874688 9570 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13153 9570 301 301 0 12852 0
vsize: 52612
[startup+800.003 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11210 0 0 0 79900 107 0 0 25 0 1 0 966201854 53874688 9581 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13153 9581 301 301 0 12852 0
vsize: 52612
[startup+810.004 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11237 0 0 0 80900 108 0 0 25 0 1 0 966201854 54030336 9608 4294967295 134512640 135730672 3221224592 3221223088 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13191 9608 301 301 0 12890 0
vsize: 52764
[startup+820.003 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11302 0 0 0 81899 109 0 0 25 0 1 0 966201854 54255616 9673 4294967295 134512640 135730672 3221224592 3221223104 134746474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13246 9673 301 301 0 12945 0
vsize: 52984
[startup+830.003 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11335 0 0 0 82898 109 0 0 25 0 1 0 966201854 54345728 9706 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13268 9706 301 301 0 12967 0
vsize: 53072
[startup+840.004 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11358 0 0 0 83898 110 0 0 25 0 1 0 966201854 54345728 9729 4294967295 134512640 135730672 3221224592 3221223072 134732717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13268 9729 301 301 0 12967 0
vsize: 53072
[startup+850.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11370 0 0 0 84897 111 0 0 25 0 1 0 966201854 54345728 9741 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13268 9741 301 301 0 12967 0
vsize: 53072
[startup+860.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11400 0 0 0 85897 112 0 0 25 0 1 0 966201854 54427648 9771 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13288 9771 301 301 0 12987 0
vsize: 53152
[startup+870.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11423 0 0 0 86896 112 0 0 25 0 1 0 966201854 54534144 9794 4294967295 134512640 135730672 3221224592 3221223104 134746201 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13314 9794 301 301 0 13013 0
vsize: 53256
[startup+880.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11444 0 0 0 87896 113 0 0 25 0 1 0 966201854 54534144 9815 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13314 9815 301 301 0 13013 0
vsize: 53256
[startup+890.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11460 0 0 0 88895 114 0 0 25 0 1 0 966201854 54534144 9831 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13314 9831 301 301 0 13013 0
vsize: 53256
[startup+900.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11475 0 0 0 89895 114 0 0 25 0 1 0 966201854 54693888 9846 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13353 9846 301 301 0 13052 0
vsize: 53412
[startup+910.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11502 0 0 0 90894 115 0 0 25 0 1 0 966201854 54693888 9873 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13353 9873 301 301 0 13052 0
vsize: 53412
[startup+920.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11519 0 0 0 91894 116 0 0 25 0 1 0 966201854 54693888 9890 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13353 9890 301 301 0 13052 0
vsize: 53412
[startup+930.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11553 0 0 0 92893 116 0 0 25 0 1 0 966201854 54779904 9924 4294967295 134512640 135730672 3221224592 3221222960 134763210 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13374 9924 301 301 0 13073 0
vsize: 53496
[startup+940.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11580 0 0 0 93892 118 0 0 25 0 1 0 966201854 54779904 9951 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13374 9951 301 301 0 13073 0
vsize: 53496
[startup+950.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11595 0 0 0 94892 118 0 0 25 0 1 0 966201854 54878208 9966 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13398 9966 301 301 0 13097 0
vsize: 53592
[startup+960.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11616 0 0 0 95891 119 0 0 25 0 1 0 966201854 54878208 9987 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13398 9987 301 301 0 13097 0
vsize: 53592
[startup+970.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11642 0 0 0 96891 119 0 0 25 0 1 0 966201854 54972416 10013 4294967295 134512640 135730672 3221224592 3221223180 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13421 10013 301 301 0 13120 0
vsize: 53684
[startup+980.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11671 0 0 0 97891 120 0 0 25 0 1 0 966201854 54972416 10042 4294967295 134512640 135730672 3221224592 3221223088 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13421 10042 301 301 0 13120 0
vsize: 53684
[startup+990.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11708 0 0 0 98890 121 0 0 25 0 1 0 966201854 55205888 10079 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13478 10079 301 301 0 13177 0
vsize: 53912
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11731 0 0 0 99889 122 0 0 25 0 1 0 966201854 55205888 10102 4294967295 134512640 135730672 3221224592 3221223088 134747925 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13478 10102 301 301 0 13177 0
vsize: 53912
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11754 0 0 0 100889 123 0 0 25 0 1 0 966201854 55304192 10125 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13502 10125 301 301 0 13201 0
vsize: 54008
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 11805 0 0 0 101888 124 0 0 25 0 1 0 966201854 55304192 10176 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13502 10176 301 301 0 13201 0
vsize: 54008
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12011 0 0 0 102888 124 0 0 25 0 1 0 966201854 55304192 10382 4294967295 134512640 135730672 3221224592 3221223104 134746394 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13502 10382 301 301 0 13201 0
vsize: 54008
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12031 0 0 0 103887 125 0 0 25 0 1 0 966201854 55304192 10402 4294967295 134512640 135730672 3221224592 3221222960 134762540 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13502 10402 301 301 0 13201 0
vsize: 54008
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12209 0 0 0 104886 126 0 0 25 0 1 0 966201854 55304192 10580 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13502 10580 301 301 0 13201 0
vsize: 54008
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4952
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12299 0 0 0 105886 127 0 0 25 0 1 0 966201854 55394304 10670 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13524 10670 301 301 0 13223 0
vsize: 54096
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12524 0 0 0 106885 128 0 0 25 0 1 0 966201854 55394304 10895 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13524 10895 301 301 0 13223 0
vsize: 54096
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12631 0 0 0 107884 128 0 0 25 0 1 0 966201854 55652352 11002 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 11002 301 301 0 13286 0
vsize: 54348
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12641 0 0 0 108884 129 0 0 25 0 1 0 966201854 55652352 11012 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 11012 301 301 0 13286 0
vsize: 54348
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12652 0 0 0 109883 130 0 0 25 0 1 0 966201854 55652352 11023 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 11023 301 301 0 13286 0
vsize: 54348
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12671 0 0 0 110883 131 0 0 25 0 1 0 966201854 55791616 11042 4294967295 134512640 135730672 3221224592 3221223088 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13621 11042 301 301 0 13320 0
vsize: 54484
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12693 0 0 0 111883 131 0 0 25 0 1 0 966201854 55791616 11064 4294967295 134512640 135730672 3221224592 3221223088 134747947 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13621 11064 301 301 0 13320 0
vsize: 54484
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12703 0 0 0 112882 132 0 0 25 0 1 0 966201854 55791616 11074 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13621 11074 301 301 0 13320 0
vsize: 54484
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12719 0 0 0 113881 133 0 0 25 0 1 0 966201854 55791616 11090 4294967295 134512640 135730672 3221224592 3221223088 134747477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13621 11090 301 301 0 13320 0
vsize: 54484
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12777 0 0 0 114881 133 0 0 25 0 1 0 966201854 55902208 11148 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13648 11148 301 301 0 13347 0
vsize: 54592
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 12914 0 0 0 115880 135 0 0 25 0 1 0 966201854 56037376 11285 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13681 11285 301 301 0 13380 0
vsize: 54724
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 13018 0 0 0 116879 136 0 0 25 0 1 0 966201854 56135680 11389 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13705 11389 301 301 0 13404 0
vsize: 54820
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 13201 0 0 0 117878 137 0 0 25 0 1 0 966201854 56385536 11572 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13766 11572 301 301 0 13465 0
vsize: 55064
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 13281 0 0 0 118878 137 0 0 25 0 1 0 966201854 56516608 11652 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13798 11652 301 301 0 13497 0
vsize: 55192
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4954
Raw data (stat): 4897 (pb2sat-v2) R 4896 7266 7265 0 -1 0 13474 0 0 0 119877 138 0 0 25 0 1 0 966201854 56516608 11845 4294967295 134512640 135730672 3221224592 3221223216 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13798 11845 301 301 0 13497 0
vsize: 55192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 4954
Raw data (stat): 4897 (pb2sat-v2) Z 4896 7266 7265 0 -1 12 13476 0 0 0 119890 140 0 0 25 0 1 0 966201854 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.16
CPU time (s): 1200.31
CPU user time (s): 1198.9
CPU system time (s): 1.40579
CPU usage (%): 100.012
Max. virtual memory (Kb): 55192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####