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.18.opb
MD5SUM	a18434ce5469ba587063f7e76ce3e080
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	4500
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	4500
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	4500
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	4500
Total number of constraints	72413
Number of constraints which are clauses	72413
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	18
Trace number 42013

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        732864 kB
Buffers:         33352 kB
Cached:         246408 kB
SwapCached:        944 kB
Active:          59436 kB
Inactive:       222444 kB
HighTotal:      131008 kB
HighFree:         8316 kB
LowTotal:       903652 kB
LowFree:        724548 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14220 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 21:33:11 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 25229 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 13/4513	Time: 28.2207/86400
c Decision: 13/4513	Time: 30.7903/86400
c Decision: 13/4513	Time: 33.6259/86400
c Decision: 13/4513	Time: 36.2345/86400
c Decision: 13/4513	Time: 39.1161/86400
c Decision: 13/4513	Time: 41.9296/86400
c Decision: 13/4513	Time: 44.8712/86400
c Decision: 13/4513	Time: 47.3878/86400
c Decision: 13/4513	Time: 50.2974/86400
c Decision: 13/4513	Time: 53.3419/86400
c Decision: 13/4513	Time: 56.1965/86400
c Decision: 13/4513	Time: 58.923/86400
c Decision: 13/4513	Time: 62.0486/86400
c Decision: 13/4513	Time: 64.6042/86400
c Decision: 13/4513	Time: 67.4887/86400
c Decision: 13/4513	Time: 70.4073/86400
c Decision: 13/4513	Time: 73.2559/86400
c Decision: 13/4513	Time: 76.2624/86400
c Decision: 13/4513	Time: 78.809/86400
c Decision: 13/4513	Time: 81.8926/86400
c Decision: 13/4513	Time: 84.7761/86400
c Decision: 13/4513	Time: 87.4557/86400
c Decision: 13/4513	Time: 89.8413/86400
c Decision: 13/4513	Time: 92.7009/86400
c Decision: 13/4513	Time: 95.5455/86400
c Decision: 13/4513	Time: 98.724/86400
c Decision: 13/4513	Time: 101.752/86400
c Decision: 13/4513	Time: 105.251/86400
c Decision: 13/4513	Time: 108.071/86400
c Decision: 13/4513	Time: 110.998/86400
c Decision: 13/4513	Time: 113.941/86400
c Decision: 13/4513	Time: 116.485/86400
c Decision: 13/4513	Time: 119.407/86400
c Decision: 13/4513	Time: 122.605/86400
c Decision: 13/4513	Time: 125.299/86400
c Decision: 13/4513	Time: 128.383/86400
c Decision: 13/4513	Time: 131.644/86400
c Decision: 13/4513	Time: 135.053/86400
c Decision: 13/4513	Time: 138.171/86400
c Decision: 13/4513	Time: 141.432/86400
c Decision: 13/4513	Time: 144.36/86400
c Decision: 13/4513	Time: 147.531/86400
c Decision: 13/4513	Time: 150.469/86400
c Decision: 13/4513	Time: 153.525/86400
c Decision: 13/4513	Time: 156.079/86400
c Decision: 13/4513	Time: 159.658/86400
c Decision: 13/4513	Time: 163.162/86400
c Decision: 13/4513	Time: 165.822/86400
c Decision: 13/4513	Time: 169.121/86400
c Decision: 13/4513	Time: 172.148/86400
c Decision: 13/4513	Time: 175.745/86400
c Decision: 13/4513	Time: 178.739/86400
c Decision: 13/4513	Time: 181.924/86400
c Decision: 13/4513	Time: 185.202/86400
c Decision: 13/4513	Time: 188.637/86400
c Decision: 13/4513	Time: 191.493/86400
c Decision: 13/4513	Time: 194.575/86400
c Decision: 13/4513	Time: 197.839/86400
c Decision: 13/4513	Time: 200.818/86400
c Decision: 13/4513	Time: 204.09/86400
c Decision: 13/4513	Time: 207.111/86400
c Decision: 13/4513	Time: 210.343/86400
c Decision: 13/4513	Time: 213.774/86400
c Decision: 13/4513	Time: 216.825/86400
c Decision: 13/4513	Time: 220.239/86400
c Decision: 13/4513	Time: 223.804/86400
c Decision: 13/4513	Time: 226.694/86400
c Decision: 13/4513	Time: 230.281/86400
c Decision: 13/4513	Time: 233.63/86400
c Decision: 13/4513	Time: 237.305/86400
c Decision: 13/4513	Time: 240.725/86400
c Decision: 13/4513	Time: 244.334/86400
c Decision: 13/4513	Time: 247.999/86400
c Decision: 13/4513	Time: 250.925/86400
c Decision: 13/4513	Time: 254.437/86400
c Decision: 13/4513	Time: 257.278/86400
c Decision: 13/4513	Time: 260.362/86400
c Decision: 13/4513	Time: 263.977/86400
c Decision: 13/4513	Time: 267.856/86400
c Decision: 13/4513	Time: 271.497/86400
c Decision: 13/4513	Time: 275.205/86400
c Decision: 13/4513	Time: 278.237/86400
c Decision: 13/4513	Time: 281.328/86400
c Decision: 13/4513	Time: 284.171/86400
c Decision: 13/4513	Time: 287.549/86400
c Decision: 13/4513	Time: 290.417/86400
c Decision: 13/4513	Time: 293.445/86400
c Decision: 13/4513	Time: 296.802/86400
c Decision: 13/4513	Time: 300.13/86400
c Decision: 13/4513	Time: 303.48/86400
c Decision: 13/4513	Time: 306.921/86400
c Decision: 13/4513	Time: 310.001/86400
c Decision: 13/4513	Time: 313.005/86400
c Decision: 13/4513	Time: 315.988/86400
c Decision: 13/4513	Time: 319.329/86400
c Decision: 13/4513	Time: 322.091/86400
c Decision: 13/4513	Time: 325.782/86400
c Decision: 13/4513	Time: 329.233/86400
c Decision: 13/4513	Time: 332.261/86400
c Decision: 13/4513	Time: 335.585/86400
c Decision: 13/4513	Time: 338.839/86400
c Decision: 13/4513	Time: 341.806/86400
c Decision: 13/4513	Time: 345.193/86400
c Decision: 13/4513	Time: 348.504/86400
c Decision: 13/4513	Time: 351.986/86400
c Decision: 13/4513	Time: 355.057/86400
c Decision: 13/4513	Time: 358.603/86400
c Decision: 13/4513	Time: 362.406/86400
c Decision: 13/4513	Time: 365.575/86400
c Decision: 13/4513	Time: 368.576/86400
c Decision: 13/4513	Time: 371.986/86400
c Decision: 13/4513	Time: 375.209/86400
c Decision: 13/4513	Time: 378.26/86400
c Decision: 13/4513	Time: 381.911/86400
c Decision: 13/4513	Time: 384.984/86400
c Decision: 13/4513	Time: 388.627/86400
c Decision: 13/4513	Time: 391.77/86400
c Decision: 13/4513	Time: 395.416/86400
c Decision: 13/4513	Time: 398.636/86400
c Decision: 13/4513	Time: 401.583/86400
c Decision: 13/4513	Time: 404.653/86400
c Decision: 13/4513	Time: 408.033/86400
c Decision: 13/4513	Time: 411.457/86400
c Decision: 13/4513	Time: 414.984/86400
c Decision: 13/4513	Time: 418.402/86400
c Decision: 13/4513	Time: 421.884/86400
c Decision: 13/4513	Time: 424.909/86400
c Decision: 13/4513	Time: 427.931/86400
c Decision: 13/4513	Time: 431.179/86400
c Decision: 13/4513	Time: 434.523/86400
c Decision: 13/4513	Time: 437.807/86400
c Decision: 13/4513	Time: 440.934/86400
c Decision: 13/4513	Time: 443.924/86400
c Decision: 13/4513	Time: 447.229/86400
c Decision: 13/4513	Time: 450.393/86400
c Decision: 13/4513	Time: 454.04/86400
c Decision: 13/4513	Time: 457.537/86400
c Decision: 13/4513	Time: 460.333/86400
c Decision: 13/4513	Time: 463.343/86400
c Decision: 13/4513	Time: 466.542/86400
c Decision: 13/4513	Time: 469.971/86400
c Decision: 13/4513	Time: 473.625/86400
c Decision: 13/4513	Time: 476.687/86400
c Decision: 13/4513	Time: 479.873/86400
c Decision: 13/4513	Time: 482.657/86400
c Decision: 13/4513	Time: 485.926/86400
c Decision: 13/4513	Time: 488.759/86400
c Decision: 13/4513	Time: 491.934/86400
c Decision: 13/4513	Time: 495.177/86400
c Decision: 13/4513	Time: 498.503/86400
c Decision: 13/4513	Time: 501.523/86400
c Decision: 13/4513	Time: 504.3/86400
c Decision: 13/4513	Time: 507.267/86400
c Decision: 13/4513	Time: 510.162/86400
c Decision: 13/4513	Time: 513.256/86400
c Decision: 13/4513	Time: 516.001/86400
c Decision: 13/4513	Time: 519.052/86400
c Decision: 13/4513	Time: 521.997/86400
c Decision: 13/4513	Time: 525.615/86400
c Decision: 13/4513	Time: 528.367/86400
c Decision: 13/4513	Time: 531.583/86400
c Decision: 13/4513	Time: 534.627/86400
c Decision: 13/4513	Time: 538.101/86400
c Decision: 13/4513	Time: 541.849/86400
c Decision: 13/4513	Time: 544.98/86400
c Decision: 13/4513	Time: 548.981/86400
c Decision: 13/4513	Time: 551.939/86400
c Decision: 13/4513	Time: 555.434/86400
c Decision: 13/4513	Time: 558.258/86400
c Decision: 13/4513	Time: 561.239/86400
c Decision: 13/4513	Time: 564.368/86400
c Decision: 13/4513	Time: 567.072/86400
c Decision: 13/4513	Time: 570.456/86400
c Decision: 13/4513	Time: 573.783/86400
c Decision: 13/4513	Time: 577.169/86400
c Decision: 13/4513	Time: 580.376/86400
c Decision: 13/4513	Time: 583.654/86400
c Decision: 13/4513	Time: 586.579/86400
c Decision: 13/4513	Time: 589.77/86400
c Decision: 13/4513	Time: 592.915/86400
c Decision: 13/4513	Time: 595.845/86400
c Decision: 13/4513	Time: 598.815/86400
c Decision: 13/4513	Time: 601.982/86400
c Decision: 13/4513	Time: 604.944/86400
c Decision: 13/4513	Time: 608.546/86400
c Decision: 13/4513	Time: 611.917/86400
c Decision: 13/4513	Time: 615.268/86400
c Decision: 13/4513	Time: 618.303/86400
c Decision: 13/4513	Time: 621.785/86400
c Decision: 13/4513	Time: 624.927/86400
c Decision: 13/4513	Time: 627.94/86400
c Decision: 13/4513	Time: 631.479/86400
c Decision: 13/4513	Time: 634.374/86400
c Decision: 13/4513	Time: 637.611/86400
c Decision: 13/4513	Time: 640.436/86400
c Decision: 13/4513	Time: 643.38/86400
c Decision: 13/4513	Time: 646.502/86400
c Decision: 13/4513	Time: 649.307/86400
c Decision: 13/4513	Time: 652.338/86400
c Decision: 13/4513	Time: 655.271/86400
c Decision: 13/4513	Time: 658.518/86400
c Decision: 13/4513	Time: 661.649/86400
c Decision: 13/4513	Time: 665.211/86400
c Decision: 13/4513	Time: 668.405/86400
c Decision: 13/4513	Time: 671.449/86400
c Decision: 13/4513	Time: 675.003/86400
c Decision: 13/4513	Time: 678.487/86400
c Decision: 13/4513	Time: 681.971/86400
c Decision: 13/4513	Time: 685.639/86400
c Decision: 13/4513	Time: 689.486/86400
c Decision: 13/4513	Time: 692.879/86400
c Decision: 13/4513	Time: 696.043/86400
c Decision: 13/4513	Time: 699.52/86400
c Decision: 13/4513	Time: 703.027/86400
c Decision: 13/4513	Time: 706.208/86400
c Decision: 13/4513	Time: 709.293/86400
c Decision: 13/4513	Time: 712.759/86400
c Decision: 13/4513	Time: 716.543/86400
c Decision: 13/4513	Time: 720.155/86400
c Decision: 13/4513	Time: 724.041/86400
c Decision: 13/4513	Time: 727.724/86400
c Decision: 13/4513	Time: 731.311/86400
c Decision: 13/4513	Time: 734.383/86400
c Decision: 13/4513	Time: 737.732/86400
c Decision: 13/4513	Time: 741.336/86400
c Decision: 13/4513	Time: 744.255/86400
c Decision: 13/4513	Time: 747.335/86400
c Decision: 13/4513	Time: 750.561/86400
c Decision: 13/4513	Time: 753.709/86400
c Decision: 13/4513	Time: 756.608/86400
c Decision: 13/4513	Time: 759.919/86400
c Decision: 13/4513	Time: 763.202/86400
c Decision: 13/4513	Time: 766.029/86400
c Decision: 13/4513	Time: 769.444/86400
c Decision: 13/4513	Time: 772.51/86400
c Decision: 13/4513	Time: 775.31/86400
c Decision: 13/4513	Time: 778.545/86400
c Decision: 13/4513	Time: 781.443/86400
c Decision: 13/4513	Time: 784.198/86400
c Decision: 13/4513	Time: 787.49/86400
c Decision: 13/4513	Time: 790.917/86400
c Decision: 13/4513	Time: 793.786/86400
c Decision: 13/4513	Time: 796.739/86400
c Decision: 13/4513	Time: 799.852/86400
c Decision: 13/4513	Time: 802.774/86400
c Decision: 13/4513	Time: 805.779/86400
c Decision: 13/4513	Time: 808.673/86400
c Decision: 13/4513	Time: 812.208/86400
c Decision: 13/4513	Time: 815.182/86400
c Decision: 13/4513	Time: 818.334/86400
c Decision: 13/4513	Time: 821.598/86400
c Decision: 13/4513	Time: 824.872/86400
c Decision: 13/4513	Time: 827.725/86400
c Decision: 13/4513	Time: 830.629/86400
c Decision: 13/4513	Time: 834.124/86400
c Decision: 13/4513	Time: 837.337/86400
c Decision: 13/4513	Time: 840.767/86400
c Decision: 13/4513	Time: 844.258/86400
c Decision: 13/4513	Time: 847.704/86400
c Decision: 13/4513	Time: 851.37/86400
c Decision: 13/4513	Time: 854.909/86400
c Decision: 13/4513	Time: 858.679/86400
c Decision: 13/4513	Time: 862.103/86400
c Decision: 13/4513	Time: 865.606/86400
c Decision: 13/4513	Time: 869.531/86400
c Decision: 13/4513	Time: 872.99/86400
c Decision: 13/4513	Time: 875.957/86400
c Decision: 13/4513	Time: 879.247/86400
c Decision: 13/4513	Time: 882.122/86400
c Decision: 13/4513	Time: 885.29/86400
c Decision: 13/4513	Time: 888.798/86400
c Decision: 13/4513	Time: 891.737/86400
c Decision: 13/4513	Time: 894.858/86400
c Decision: 13/4513	Time: 898.396/86400
c Decision: 13/4513	Time: 902.027/86400
c Decision: 13/4513	Time: 905.235/86400
c Decision: 13/4513	Time: 908.07/86400
c Decision: 13/4513	Time: 911.051/86400
c Decision: 13/4513	Time: 914.446/86400
c Decision: 13/4513	Time: 917.46/86400
c Decision: 13/4513	Time: 920.539/86400
c Decision: 13/4513	Time: 923.456/86400
c Decision: 13/4513	Time: 926.626/86400
c Decision: 13/4513	Time: 929.549/86400
c Decision: 13/4513	Time: 933.007/86400
c Decision: 13/4513	Time: 936.522/86400
c Decision: 13/4513	Time: 939.573/86400
c Decision: 13/4513	Time: 942.799/86400
c Decision: 13/4513	Time: 946.313/86400
c Decision: 13/4513	Time: 949.682/86400
c Decision: 13/4513	Time: 953.147/86400
c Decision: 13/4513	Time: 956.752/86400
c Decision: 13/4513	Time: 960.263/86400
c Decision: 13/4513	Time: 963.455/86400
c Decision: 13/4513	Time: 966.625/86400
c Decision: 13/4513	Time: 969.561/86400
c Decision: 13/4513	Time: 972.964/86400
c Decision: 13/4513	Time: 976.405/86400
c Decision: 13/4513	Time: 979.058/86400
c Decision: 13/4513	Time: 981.762/86400
c Decision: 13/4513	Time: 985.059/86400
c Decision: 13/4513	Time: 987.957/86400
c Decision: 13/4513	Time: 990.8/86400
c Decision: 13/4513	Time: 993.795/86400
c Decision: 13/4513	Time: 996.843/86400
c Decision: 13/4513	Time: 1000.25/86400
c Decision: 13/4513	Time: 1003.45/86400
c Decision: 13/4513	Time: 1006.51/86400
c Decision: 13/4513	Time: 1009.36/86400
c Decision: 13/4513	Time: 1012.22/86400
c Decision: 13/4513	Time: 1015.63/86400
c Decision: 13/4513	Time: 1019.05/86400
c Decision: 13/4513	Time: 1022.16/86400
c Decision: 13/4513	Time: 1024.97/86400
c Decision: 13/4513	Time: 1028.04/86400
c Decision: 13/4513	Time: 1030.83/86400
c Decision: 13/4513	Time: 1034.2/86400
c Decision: 13/4513	Time: 1037.76/86400
c Decision: 13/4513	Time: 1040.57/86400
c Decision: 13/4513	Time: 1043.04/86400
c Decision: 13/4513	Time: 1046.29/86400
c Decision: 13/4513	Time: 1049.21/86400
c Decision: 13/4513	Time: 1052.28/86400
c Decision: 13/4513	Time: 1055.62/86400
c Decision: 13/4513	Time: 1058.91/86400
c Decision: 13/4513	Time: 1062.3/86400
c Decision: 13/4513	Time: 1065.71/86400
c Decision: 13/4513	Time: 1068.58/86400
c Decision: 13/4513	Time: 1071.59/86400
c Decision: 13/4513	Time: 1074.34/86400
c Decision: 13/4513	Time: 1077.84/86400
c Decision: 13/4513	Time: 1080.7/86400
c Decision: 13/4513	Time: 1083.62/86400
c Decision: 13/4513	Time: 1086.73/86400
c Decision: 13/4513	Time: 1089.79/86400
c Decision: 13/4513	Time: 1093.09/86400
c Decision: 13/4513	Time: 1096.1/86400
c Decision: 13/4513	Time: 1099.45/86400
c Decision: 13/4513	Time: 1102.92/86400
c Decision: 13/4513	Time: 1106.64/86400
c Decision: 13/4513	Time: 1109.81/86400
c Decision: 13/4513	Time: 1112.76/86400
c Decision: 13/4513	Time: 1115.84/86400
c Decision: 13/4513	Time: 1119.43/86400
c Decision: 13/4513	Time: 1122.03/86400
c Decision: 13/4513	Time: 1125.2/86400
c Decision: 13/4513	Time: 1128.6/86400
c Decision: 13/4513	Time: 1131.87/86400
c Decision: 13/4513	Time: 1134.79/86400
c Decision: 13/4513	Time: 1137.71/86400
c Decision: 13/4513	Time: 1140.96/86400
c Decision: 13/4513	Time: 1143.81/86400
c Decision: 13/4513	Time: 1147.08/86400
c Decision: 13/4513	Time: 1149.81/86400
c Decision: 13/4513	Time: 1152.54/86400
c Decision: 13/4513	Time: 1155.37/86400
c Decision: 13/4513	Time: 1158.34/86400
c Decision: 13/4513	Time: 1161.24/86400
c Decision: 13/4513	Time: 1163.75/86400
c Decision: 13/4513	Time: 1167.13/86400
c Decision: 13/4513	Time: 1170.37/86400
c Decision: 13/4513	Time: 1172.93/86400
c Decision: 13/4513	Time: 1176.43/86400
c Decision: 13/4513	Time: 1179.53/86400
c Decision: 13/4513	Time: 1183.29/86400
c Decision: 13/4513	Time: 1187.02/86400
c Decision: 13/4513	Time: 1190.14/86400
c Decision: 13/4513	Time: 1193.97/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 15796
Raw data (stat): 15796 (runsolver) R 15795 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965262075 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 2568 0 0 0 981 17 0 0 25 0 1 0 965262075 10321920 1713 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2520 1713 301 301 0 2219 0
vsize: 10080
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 2900 0 0 0 1965 33 0 0 25 0 1 0 965262075 10981376 2045 4294967295 134512640 135730672 3221224592 3221223216 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2681 2045 301 301 0 2380 0
vsize: 10724
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3153 0 0 0 2955 43 0 0 25 0 1 0 965262075 13611008 2298 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3323 2298 301 301 0 3022 0
vsize: 13292
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3387 0 0 0 3946 53 0 0 25 0 1 0 965262075 13996032 2532 4294967295 134512640 135730672 3221224592 3221223248 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3417 2532 301 301 0 3116 0
vsize: 13668
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3541 0 0 0 4935 63 0 0 25 0 1 0 965262075 14127104 2686 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3449 2686 301 301 0 3148 0
vsize: 13796
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3582 0 0 0 5924 74 0 0 25 0 1 0 965262075 14229504 2727 4294967295 134512640 135730672 3221224592 3221223216 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3474 2727 301 301 0 3173 0
vsize: 13896
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3620 0 0 0 6912 86 0 0 25 0 1 0 965262075 14356480 2765 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3505 2765 301 301 0 3204 0
vsize: 14020
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3660 0 0 0 7902 96 0 0 25 0 1 0 965262075 14479360 2805 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3535 2805 301 301 0 3234 0
vsize: 14140
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3701 0 0 0 8890 108 0 0 25 0 1 0 965262075 14598144 2846 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3564 2846 301 301 0 3263 0
vsize: 14256
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3745 0 0 0 9878 120 0 0 25 0 1 0 965262075 14721024 2890 4294967295 134512640 135730672 3221224592 3221223088 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3594 2890 301 301 0 3293 0
vsize: 14376
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3779 0 0 0 10865 134 0 0 25 0 1 0 965262075 14721024 2924 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3594 2924 301 301 0 3293 0
vsize: 14376
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3834 0 0 0 11853 145 0 0 25 0 1 0 965262075 14974976 2979 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3656 2979 301 301 0 3355 0
vsize: 14624
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3869 0 0 0 12845 154 0 0 25 0 1 0 965262075 14974976 3014 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3656 3014 301 301 0 3355 0
vsize: 14624
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3902 0 0 0 13835 164 0 0 25 0 1 0 965262075 15093760 3047 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3685 3047 301 301 0 3384 0
vsize: 14740
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3949 0 0 0 14827 172 0 0 25 0 1 0 965262075 15224832 3094 4294967295 134512640 135730672 3221224592 3221223248 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3717 3094 301 301 0 3416 0
vsize: 14868
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 3986 0 0 0 15818 181 0 0 25 0 1 0 965262075 15339520 3131 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3745 3131 301 301 0 3444 0
vsize: 14980
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 4025 0 0 0 16809 191 0 0 25 0 1 0 965262075 15441920 3170 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3770 3170 301 301 0 3469 0
vsize: 15080
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 4051 0 0 0 17799 201 0 0 25 0 1 0 965262075 15441920 3196 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3770 3196 301 301 0 3469 0
vsize: 15080
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 4091 0 0 0 18790 210 0 0 25 0 1 0 965262075 15577088 3236 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3803 3236 301 301 0 3502 0
vsize: 15212
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 4121 0 0 0 19782 218 0 0 25 0 1 0 965262075 15683584 3266 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3829 3266 301 301 0 3528 0
vsize: 15316
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 4160 0 0 0 20772 228 0 0 25 0 1 0 965262075 15790080 3305 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3855 3305 301 301 0 3554 0
vsize: 15420
[startup+220.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 4182 0 0 0 21764 236 0 0 25 0 1 0 965262075 15790080 3327 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3855 3327 301 301 0 3554 0
vsize: 15420
[startup+230.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 4221 0 0 0 22755 245 0 0 25 0 1 0 965262075 15912960 3366 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3885 3366 301 301 0 3584 0
vsize: 15540
[startup+240.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 4253 0 0 0 23746 255 0 0 25 0 1 0 965262075 16048128 3398 4294967295 134512640 135730672 3221224592 3221223088 134747788 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3918 3398 301 301 0 3617 0
vsize: 15672
[startup+250.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 4286 0 0 0 24738 264 0 0 25 0 1 0 965262075 16048128 3431 4294967295 134512640 135730672 3221224592 3221223088 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3918 3431 301 301 0 3617 0
vsize: 15672
[startup+260.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5082 0 0 0 25727 274 0 0 25 0 1 0 965262075 19324928 3458 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4718 3458 301 301 0 4417 0
vsize: 18872
[startup+270.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5106 0 0 0 26716 285 0 0 25 0 1 0 965262075 19324928 3482 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4718 3482 301 301 0 4417 0
vsize: 18872
[startup+280.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5139 0 0 0 27707 295 0 0 25 0 1 0 965262075 19460096 3515 4294967295 134512640 135730672 3221224592 3221223200 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4751 3515 301 301 0 4450 0
vsize: 19004
[startup+290.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5168 0 0 0 28698 304 0 0 25 0 1 0 965262075 19460096 3544 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4751 3544 301 301 0 4450 0
vsize: 19004
[startup+300.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5196 0 0 0 29689 313 0 0 25 0 1 0 965262075 19587072 3572 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4782 3572 301 301 0 4481 0
vsize: 19128
[startup+310.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5230 0 0 0 30680 322 0 0 25 0 1 0 965262075 19693568 3606 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4808 3606 301 301 0 4507 0
vsize: 19232
[startup+320.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5259 0 0 0 31669 333 0 0 25 0 1 0 965262075 19693568 3635 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4808 3635 301 301 0 4507 0
vsize: 19232
[startup+330.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5282 0 0 0 32659 343 0 0 25 0 1 0 965262075 19800064 3658 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4834 3658 301 301 0 4533 0
vsize: 19336
[startup+340.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5328 0 0 0 33650 353 0 0 25 0 1 0 965262075 19931136 3704 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4866 3704 301 301 0 4565 0
vsize: 19464
[startup+350.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5346 0 0 0 34641 362 0 0 25 0 1 0 965262075 19931136 3722 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4866 3722 301 301 0 4565 0
vsize: 19464
[startup+360.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5378 0 0 0 35633 370 0 0 25 0 1 0 965262075 20033536 3754 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4891 3754 301 301 0 4590 0
vsize: 19564
[startup+370.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5411 0 0 0 36624 380 0 0 25 0 1 0 965262075 20033536 3787 4294967295 134512640 135730672 3221224592 3221223088 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4891 3787 301 301 0 4590 0
vsize: 19564
[startup+380.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5437 0 0 0 37613 390 0 0 25 0 1 0 965262075 20152320 3813 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4920 3813 301 301 0 4619 0
vsize: 19680
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5465 0 0 0 38604 399 0 0 25 0 1 0 965262075 20152320 3841 4294967295 134512640 135730672 3221224592 3221223088 134747925 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4920 3841 301 301 0 4619 0
vsize: 19680
[startup+400.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5491 0 0 0 39595 409 0 0 25 0 1 0 965262075 20250624 3867 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4944 3867 301 301 0 4643 0
vsize: 19776
[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5518 0 0 0 40585 418 0 0 25 0 1 0 965262075 20361216 3894 4294967295 134512640 135730672 3221224592 3221222920 134814506 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4971 3894 301 301 0 4670 0
vsize: 19884
[startup+420.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5549 0 0 0 41575 428 0 0 25 0 1 0 965262075 20361216 3925 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4971 3925 301 301 0 4670 0
vsize: 19884
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5575 0 0 0 42565 439 0 0 25 0 1 0 965262075 20459520 3951 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4995 3951 301 301 0 4694 0
vsize: 19980
[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5605 0 0 0 43556 448 0 0 25 0 1 0 965262075 20561920 3981 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5020 3981 301 301 0 4719 0
vsize: 20080
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5636 0 0 0 44548 456 0 0 25 0 1 0 965262075 20561920 4012 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5020 4012 301 301 0 4719 0
vsize: 20080
[startup+460.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5660 0 0 0 45540 464 0 0 25 0 1 0 965262075 20664320 4036 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5045 4036 301 301 0 4744 0
vsize: 20180
[startup+470.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5689 0 0 0 46531 473 0 0 25 0 1 0 965262075 20664320 4065 4294967295 134512640 135730672 3221224592 3221223088 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5045 4065 301 301 0 4744 0
vsize: 20180
[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5724 0 0 0 47521 483 0 0 25 0 1 0 965262075 20791296 4100 4294967295 134512640 135730672 3221224592 3221223088 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5076 4100 301 301 0 4775 0
vsize: 20304
[startup+490.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5750 0 0 0 48512 493 0 0 25 0 1 0 965262075 20893696 4126 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5101 4126 301 301 0 4800 0
vsize: 20404
[startup+500.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5770 0 0 0 49503 502 0 0 25 0 1 0 965262075 20893696 4146 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5101 4146 301 301 0 4800 0
vsize: 20404
[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5804 0 0 0 50492 513 0 0 25 0 1 0 965262075 20996096 4180 4294967295 134512640 135730672 3221224592 3221223216 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5126 4180 301 301 0 4825 0
vsize: 20504
[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5838 0 0 0 51482 523 0 0 25 0 1 0 965262075 20996096 4214 4294967295 134512640 135730672 3221224592 3221223184 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5126 4214 301 301 0 4825 0
vsize: 20504
[startup+530.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5860 0 0 0 52472 534 0 0 25 0 1 0 965262075 21102592 4236 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5152 4236 301 301 0 4851 0
vsize: 20608
[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5892 0 0 0 53462 544 0 0 25 0 1 0 965262075 21200896 4268 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5176 4268 301 301 0 4875 0
vsize: 20704
[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5911 0 0 0 54452 554 0 0 25 0 1 0 965262075 21200896 4287 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5176 4287 301 301 0 4875 0
vsize: 20704
[startup+560.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5938 0 0 0 55442 564 0 0 25 0 1 0 965262075 21200896 4314 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5176 4314 301 301 0 4875 0
vsize: 20704
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5968 0 0 0 56432 574 0 0 25 0 1 0 965262075 21319680 4344 4294967295 134512640 135730672 3221224592 3221223216 134748158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5205 4344 301 301 0 4904 0
vsize: 20820
[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 5993 0 0 0 57422 585 0 0 25 0 1 0 965262075 21319680 4369 4294967295 134512640 135730672 3221224592 3221223088 134747862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5205 4369 301 301 0 4904 0
vsize: 20820
[startup+590.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6028 0 0 0 58413 594 0 0 25 0 1 0 965262075 21442560 4404 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5235 4404 301 301 0 4934 0
vsize: 20940
[startup+600.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6053 0 0 0 59402 605 0 0 25 0 1 0 965262075 21544960 4429 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5260 4429 301 301 0 4959 0
vsize: 21040
[startup+610.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6078 0 0 0 60393 614 0 0 25 0 1 0 965262075 21544960 4454 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5260 4454 301 301 0 4959 0
vsize: 21040
[startup+620.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6105 0 0 0 61383 624 0 0 25 0 1 0 965262075 21659648 4481 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5288 4481 301 301 0 4987 0
vsize: 21152
[startup+630.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6130 0 0 0 62373 634 0 0 25 0 1 0 965262075 21659648 4506 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5288 4506 301 301 0 4987 0
vsize: 21152
[startup+640.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6159 0 0 0 63364 644 0 0 25 0 1 0 965262075 21770240 4535 4294967295 134512640 135730672 3221224592 3221223088 134747495 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5315 4535 301 301 0 5014 0
vsize: 21260
[startup+650.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6189 0 0 0 64353 655 0 0 25 0 1 0 965262075 21770240 4565 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5315 4565 301 301 0 5014 0
vsize: 21260
[startup+660.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6212 0 0 0 65342 666 0 0 25 0 1 0 965262075 21880832 4588 4294967295 134512640 135730672 3221224592 3221222916 134732533 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5342 4588 301 301 0 5041 0
vsize: 21368
[startup+670.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6232 0 0 0 66332 676 0 0 25 0 1 0 965262075 21880832 4608 4294967295 134512640 135730672 3221224592 3221223088 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5342 4608 301 301 0 5041 0
vsize: 21368
[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6250 0 0 0 67322 686 0 0 25 0 1 0 965262075 21880832 4626 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5342 4626 301 301 0 5041 0
vsize: 21368
[startup+690.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6289 0 0 0 68313 696 0 0 25 0 1 0 965262075 22016000 4665 4294967295 134512640 135730672 3221224592 3221223088 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5375 4665 301 301 0 5074 0
vsize: 21500
[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6359 0 0 0 69303 705 0 0 25 0 1 0 965262075 22016000 4735 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5375 4735 301 301 0 5074 0
vsize: 21500
[startup+710.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6387 0 0 0 70294 715 0 0 25 0 1 0 965262075 22122496 4763 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5401 4763 301 301 0 5100 0
vsize: 21604
[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6409 0 0 0 71286 723 0 0 25 0 1 0 965262075 22122496 4785 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5401 4785 301 301 0 5100 0
vsize: 21604
[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6434 0 0 0 72277 732 0 0 25 0 1 0 965262075 22224896 4810 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5426 4810 301 301 0 5125 0
vsize: 21704
[startup+740.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6465 0 0 0 73268 741 0 0 25 0 1 0 965262075 22327296 4841 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5451 4841 301 301 0 5150 0
vsize: 21804
[startup+750.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6498 0 0 0 74258 751 0 0 25 0 1 0 965262075 22441984 4874 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5479 4874 301 301 0 5178 0
vsize: 21916
[startup+760.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6524 0 0 0 75248 762 0 0 25 0 1 0 965262075 22441984 4900 4294967295 134512640 135730672 3221224592 3221223088 134747837 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5479 4900 301 301 0 5178 0
vsize: 21916
[startup+770.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6544 0 0 0 76240 770 0 0 25 0 1 0 965262075 22441984 4920 4294967295 134512640 135730672 3221224592 3221223088 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5479 4920 301 301 0 5178 0
vsize: 21916
[startup+780.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6575 0 0 0 77229 781 0 0 25 0 1 0 965262075 22548480 4951 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5505 4951 301 301 0 5204 0
vsize: 22020
[startup+790.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6610 0 0 0 78219 791 0 0 25 0 1 0 965262075 22659072 4986 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5532 4986 301 301 0 5231 0
vsize: 22128
[startup+800.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6634 0 0 0 79208 802 0 0 25 0 1 0 965262075 22659072 5010 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5532 5010 301 301 0 5231 0
vsize: 22128
[startup+810.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6656 0 0 0 80196 814 0 0 25 0 1 0 965262075 22659072 5032 4294967295 134512640 135730672 3221224592 3221223088 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5532 5032 301 301 0 5231 0
vsize: 22128
[startup+820.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6689 0 0 0 81188 822 0 0 25 0 1 0 965262075 22781952 5065 4294967295 134512640 135730672 3221224592 3221223088 134747513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5562 5065 301 301 0 5261 0
vsize: 22248
[startup+830.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6719 0 0 0 82178 832 0 0 25 0 1 0 965262075 22888448 5095 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5588 5095 301 301 0 5287 0
vsize: 22352
[startup+840.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6741 0 0 0 83170 841 0 0 25 0 1 0 965262075 22888448 5117 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5588 5117 301 301 0 5287 0
vsize: 22352
[startup+850.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6767 0 0 0 84159 852 0 0 25 0 1 0 965262075 22990848 5143 4294967295 134512640 135730672 3221224592 3221223088 134747802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5613 5143 301 301 0 5312 0
vsize: 22452
[startup+860.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 6784 0 0 0 85149 862 0 0 25 0 1 0 965262075 22990848 5160 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5613 5160 301 301 0 5312 0
vsize: 22452
[startup+870.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8346 0 0 0 86137 875 0 0 25 0 1 0 965262075 29282304 5185 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7149 5185 301 301 0 6848 0
vsize: 28596
[startup+880.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8379 0 0 0 87128 884 0 0 25 0 1 0 965262075 29417472 5218 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7182 5218 301 301 0 6881 0
vsize: 28728
[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8406 0 0 0 88119 893 0 0 25 0 1 0 965262075 29417472 5245 4294967295 134512640 135730672 3221224592 3221223196 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7182 5245 301 301 0 6881 0
vsize: 28728
[startup+900.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8433 0 0 0 89109 903 0 0 25 0 1 0 965262075 29532160 5272 4294967295 134512640 135730672 3221224592 3221222912 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7210 5272 301 301 0 6909 0
vsize: 28840
[startup+910.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8456 0 0 0 90098 914 0 0 25 0 1 0 965262075 29532160 5295 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7210 5295 301 301 0 6909 0
vsize: 28840
[startup+920.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8487 0 0 0 91090 923 0 0 25 0 1 0 965262075 29638656 5326 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7236 5326 301 301 0 6935 0
vsize: 28944
[startup+930.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8513 0 0 0 92082 930 0 0 25 0 1 0 965262075 29741056 5352 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7261 5352 301 301 0 6960 0
vsize: 29044
[startup+940.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8530 0 0 0 93072 940 0 0 25 0 1 0 965262075 29741056 5369 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7261 5369 301 301 0 6960 0
vsize: 29044
[startup+950.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8561 0 0 0 94063 950 0 0 25 0 1 0 965262075 29741056 5400 4294967295 134512640 135730672 3221224592 3221223088 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7261 5400 301 301 0 6960 0
vsize: 29044
[startup+960.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8583 0 0 0 95053 960 0 0 25 0 1 0 965262075 29851648 5422 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7288 5422 301 301 0 6987 0
vsize: 29152
[startup+970.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8620 0 0 0 96044 969 0 0 25 0 1 0 965262075 29958144 5459 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7314 5459 301 301 0 7013 0
vsize: 29256
[startup+980.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8637 0 0 0 97035 979 0 0 25 0 1 0 965262075 29958144 5476 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7314 5476 301 301 0 7013 0
vsize: 29256
[startup+990.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8667 0 0 0 98025 988 0 0 25 0 1 0 965262075 30060544 5506 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7339 5506 301 301 0 7038 0
vsize: 29356
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8701 0 0 0 99015 999 0 0 25 0 1 0 965262075 30060544 5540 4294967295 134512640 135730672 3221224592 3221223216 134748204 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7339 5540 301 301 0 7038 0
vsize: 29356
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8727 0 0 0 100005 1008 0 0 25 0 1 0 965262075 30167040 5566 4294967295 134512640 135730672 3221224592 3221223088 134747555 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7365 5566 301 301 0 7064 0
vsize: 29460
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8751 0 0 0 100994 1020 0 0 25 0 1 0 965262075 30167040 5590 4294967295 134512640 135730672 3221224592 3221223184 134763776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7365 5590 301 301 0 7064 0
vsize: 29460
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8777 0 0 0 101984 1030 0 0 25 0 1 0 965262075 30269440 5616 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7390 5616 301 301 0 7089 0
vsize: 29560
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8808 0 0 0 102974 1041 0 0 25 0 1 0 965262075 30269440 5647 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7390 5647 301 301 0 7089 0
vsize: 29560
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8836 0 0 0 103963 1052 0 0 25 0 1 0 965262075 30392320 5675 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7420 5675 301 301 0 7119 0
vsize: 29680
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8858 0 0 0 104954 1061 0 0 25 0 1 0 965262075 30392320 5697 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7420 5697 301 301 0 7119 0
vsize: 29680
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8880 0 0 0 105944 1071 0 0 25 0 1 0 965262075 30494720 5719 4294967295 134512640 135730672 3221224592 3221223088 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7445 5719 301 301 0 7144 0
vsize: 29780
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8922 0 0 0 106934 1081 0 0 25 0 1 0 965262075 30613504 5761 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7474 5761 301 301 0 7173 0
vsize: 29896
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8942 0 0 0 107924 1092 0 0 25 0 1 0 965262075 30613504 5781 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7474 5781 301 301 0 7173 0
vsize: 29896
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8974 0 0 0 108914 1102 0 0 25 0 1 0 965262075 30720000 5813 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7500 5813 301 301 0 7199 0
vsize: 30000
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 8996 0 0 0 109904 1112 0 0 25 0 1 0 965262075 30720000 5835 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7500 5835 301 301 0 7199 0
vsize: 30000
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 9022 0 0 0 110895 1121 0 0 25 0 1 0 965262075 30720000 5861 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7500 5861 301 301 0 7199 0
vsize: 30000
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 9049 0 0 0 111885 1131 0 0 25 0 1 0 965262075 30855168 5888 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7533 5888 301 301 0 7232 0
vsize: 30132
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 9072 0 0 0 112875 1141 0 0 25 0 1 0 965262075 30855168 5911 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7533 5911 301 301 0 7232 0
vsize: 30132
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 9107 0 0 0 113865 1151 0 0 25 0 1 0 965262075 30978048 5946 4294967295 134512640 135730672 3221224592 3221223088 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7563 5946 301 301 0 7262 0
vsize: 30252
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 9132 0 0 0 114854 1163 0 0 25 0 1 0 965262075 30978048 5971 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7563 5971 301 301 0 7262 0
vsize: 30252
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 9161 0 0 0 115844 1172 0 0 25 0 1 0 965262075 31076352 6000 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7587 6000 301 301 0 7286 0
vsize: 30348
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 9178 0 0 0 116835 1182 0 0 25 0 1 0 965262075 31076352 6017 4294967295 134512640 135730672 3221224592 3221223200 134748222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7587 6017 301 301 0 7286 0
vsize: 30348
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 9200 0 0 0 117827 1190 0 0 25 0 1 0 965262075 31076352 6039 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7587 6039 301 301 0 7286 0
vsize: 30348
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15796
Raw data (stat): 15796 (pb2sat-v2) R 15795 21152 21151 0 -1 0 9241 0 0 0 118821 1197 0 0 25 0 1 0 965262075 31211520 6080 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7620 6080 301 301 0 7319 0
vsize: 30480
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 15796
Raw data (stat): 15796 (pb2sat-v2) Z 15795 21152 21151 0 -1 12 9243 0 0 0 118838 1198 0 0 25 0 1 0 965262075 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.22
CPU time (s): 1200.37
CPU user time (s): 1188.38
CPU system time (s): 11.9852
CPU usage (%): 100.012
Max. virtual memory (Kb): 30480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####