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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb
MD5SUM	58b746ba9d27bca658263dee1941983b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	3424
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	180407058264
Number of bits of the sum of numbers in the objective function	38
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	180407058264
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.282956
Number of variables	5344
Total number of constraints	200
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	240
Trace number 42483

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 08:40:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25695 boxname=wulflinc6 idbench=995 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  58b746ba9d27bca658263dee1941983b  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-pp08a.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-pp08a.opb
IDLAUNCH: 25695
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        704396 kB
Buffers:         33512 kB
Cached:         274180 kB
SwapCached:       1028 kB
Active:          40560 kB
Inactive:       269312 kB
HighTotal:      131008 kB
HighFree:          840 kB
LowTotal:       903652 kB
LowFree:        703556 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14608 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:00:46 (client local time) WITH STATUS 0 IN 1200.75 SECONDS
stats: 25695 7 1200.75 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 6494/119108	Time: 10.8743/86400
c Decision: 6514/119108	Time: 18.1112/86400
c Decision: 6539/119108	Time: 27.5318/86400
c Decision: 6539/119108	Time: 31.5612/86400
c Decision: 6550/119108	Time: 36.0325/86400
c Decision: 6577/119108	Time: 40.3319/86400
c Decision: 6577/119108	Time: 43.8273/86400
c Decision: 6577/119108	Time: 47.2688/86400
c Decision: 6584/119108	Time: 57.7682/86400
c Decision: 6593/119108	Time: 66.1439/86400
c Decision: 6593/119108	Time: 70.3193/86400
c Decision: 6593/119108	Time: 74.2047/86400
c Decision: 6593/119108	Time: 77.6372/86400
c Decision: 6593/119108	Time: 81.4036/86400
c Decision: 6596/119108	Time: 86.6948/86400
c Decision: 6610/119108	Time: 93.5078/86400
c Decision: 6610/119108	Time: 97.1902/86400
c Decision: 6651/119108	Time: 106.489/86400
c Decision: 6651/119108	Time: 110.532/86400
c Decision: 6658/119108	Time: 114.877/86400
c Decision: 6658/119108	Time: 119.737/86400
c Decision: 6658/119108	Time: 124.211/86400
c Decision: 6658/119108	Time: 128.026/86400
c Decision: 6658/119108	Time: 132.459/86400
c Decision: 6658/119108	Time: 136.697/86400
c Decision: 6658/119108	Time: 141.43/86400
c Decision: 6658/119108	Time: 146.047/86400
c Decision: 6658/119108	Time: 150.972/86400
c Decision: 6658/119108	Time: 156.949/86400
c Decision: 6739/119108	Time: 171.031/86400
c Decision: 6742/119108	Time: 176.572/86400
c Decision: 6742/119108	Time: 182.075/86400
c Decision: 6742/119108	Time: 187.338/86400
c Decision: 6750/119108	Time: 192.324/86400
c Decision: 6750/119108	Time: 197.39/86400
c Decision: 6762/119108	Time: 208.863/86400
c Decision: 6762/119108	Time: 214.792/86400
c Decision: 6789/119108	Time: 223.749/86400
c Decision: 6793/119108	Time: 229.39/86400
c Decision: 6793/119108	Time: 235.802/86400
c Decision: 6793/119108	Time: 243.339/86400
c Decision: 6828/119108	Time: 252.649/86400
c Decision: 6840/119108	Time: 260.585/86400
c Decision: 6895/119108	Time: 276.682/86400
c Decision: 6902/119108	Time: 286.6/86400
c Decision: 6911/119108	Time: 302.722/86400
c Decision: 6911/119108	Time: 309.307/86400
c Decision: 6936/119108	Time: 325.358/86400
c Decision: 6945/119108	Time: 336.335/86400
c Decision: 6957/119108	Time: 349.853/86400
c Decision: 6960/119108	Time: 359.711/86400
c Decision: 6963/119108	Time: 369.222/86400
c Decision: 6963/119108	Time: 376.635/86400
c Decision: 6963/119108	Time: 383.186/86400
c Decision: 6966/119108	Time: 392.433/86400
c Decision: 6966/119108	Time: 400.35/86400
c Decision: 6966/119108	Time: 407.871/86400
c Decision: 6978/119108	Time: 432.895/86400
c Decision: 6978/119108	Time: 440.441/86400
c Decision: 6981/119108	Time: 453.919/86400
c Decision: 6998/119108	Time: 468.137/86400
c Decision: 7001/119108	Time: 477.403/86400
c Decision: 7001/119108	Time: 483.91/86400
c Decision: 7001/119108	Time: 491.099/86400
c Decision: 7001/119108	Time: 498.665/86400
c Decision: 7010/119108	Time: 512.989/86400
c Decision: 7016/119108	Time: 522.032/86400
c Decision: 7016/119108	Time: 529.322/86400
c Decision: 7019/119108	Time: 540.78/86400
c Decision: 7019/119108	Time: 548.319/86400
c Decision: 7022/119108	Time: 558.886/86400
c Decision: 7022/119108	Time: 564.592/86400
c Decision: 7022/119108	Time: 570.39/86400
c Decision: 7022/119108	Time: 575.798/86400
c Decision: 7022/119108	Time: 581.438/86400
c Decision: 7028/119108	Time: 587.065/86400
c Decision: 7028/119108	Time: 593.243/86400
c Decision: 7031/119108	Time: 600.662/86400
c Decision: 7031/119108	Time: 606.545/86400
c Decision: 7031/119108	Time: 612.105/86400
c Decision: 7031/119108	Time: 618.205/86400
c Decision: 7047/119108	Time: 633.543/86400
c Decision: 7047/119108	Time: 639.478/86400
c Decision: 7047/119108	Time: 645.701/86400
c Decision: 7047/119108	Time: 651.822/86400
c Decision: 7050/119108	Time: 661.358/86400
c Decision: 7050/119108	Time: 668.466/86400
c Decision: 7065/119108	Time: 683.288/86400
c Decision: 7065/119108	Time: 690.7/86400
c Decision: 7065/119108	Time: 698.316/86400
c Decision: 7065/119108	Time: 705.24/86400
c Decision: 7065/119108	Time: 712.598/86400
c Decision: 7065/119108	Time: 720.353/86400
c Decision: 7065/119108	Time: 728.645/86400
c Decision: 7065/119108	Time: 736.47/86400
c Decision: 7065/119108	Time: 745.43/86400
c Decision: 7065/119108	Time: 754.142/86400
c Decision: 7065/119108	Time: 762.38/86400
c Decision: 7068/119108	Time: 776.282/86400
c Decision: 7068/119108	Time: 784.619/86400
c Decision: 7068/119108	Time: 794.465/86400
c Decision: 7068/119108	Time: 803.752/86400
c Decision: 7068/119108	Time: 813.987/86400
c Decision: 7071/119108	Time: 823.423/86400
c Decision: 7071/119108	Time: 833.931/86400
c Decision: 7071/119108	Time: 843.904/86400
c Decision: 7074/119108	Time: 852.983/86400
c Decision: 7074/119108	Time: 863.055/86400
c Decision: 7078/119108	Time: 876.601/86400
c Decision: 7078/119108	Time: 886.531/86400
c Decision: 7078/119108	Time: 896.476/86400
c Decision: 7086/119108	Time: 916.411/86400
c Decision: 7086/119108	Time: 924.88/86400
c Decision: 7086/119108	Time: 934.356/86400
c Decision: 7086/119108	Time: 942.78/86400
c Decision: 7086/119108	Time: 951.648/86400
c Decision: 7086/119108	Time: 959.076/86400
c Decision: 7086/119108	Time: 967.256/86400
c Decision: 7086/119108	Time: 975.781/86400
c Decision: 7086/119108	Time: 986.038/86400
c Decision: 7086/119108	Time: 995.13/86400
c Decision: 7086/119108	Time: 1003.4/86400
c Decision: 7086/119108	Time: 1013.49/86400
c Decision: 7086/119108	Time: 1022.62/86400
c Decision: 7086/119108	Time: 1032.44/86400
c Decision: 7089/119108	Time: 1046.86/86400
c Decision: 7089/119108	Time: 1057.87/86400
c Decision: 7089/119108	Time: 1068.41/86400
c Decision: 7089/119108	Time: 1078.73/86400
c Decision: 7089/119108	Time: 1090.27/86400
c Decision: 7089/119108	Time: 1101.97/86400
c Decision: 7093/119108	Time: 1116.92/86400
c Decision: 7093/119108	Time: 1128.69/86400
c Decision: 7093/119108	Time: 1141.52/86400
c Decision: 7093/119108	Time: 1151.77/86400
c Decision: 7093/119108	Time: 1163.78/86400
c Decision: 7093/119108	Time: 1174.34/86400
c Decision: 7096/119108	Time: 1192.36/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
Raw data (loadavg): 0.92 0.95 0.90 2/54 16878
Raw data (stat): 16878 (runsolver) R 16877 25568 25567 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 969397211 884736 93 4294967295 134512640 135332820 3221224464 3221219508 134703346 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 14834 0 0 0 961 38 0 0 25 0 1 0 969397211 44187648 9170 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10788 9170 301 301 0 10487 0
vsize: 43152
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 15511 0 0 0 1950 49 0 0 25 0 1 0 969397211 46800896 9847 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11426 9847 301 301 0 11125 0
vsize: 45704
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 15892 0 0 0 2947 53 0 0 25 0 1 0 969397211 47366144 9995 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11564 9995 301 301 0 11263 0
vsize: 46256
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 16444 0 0 0 3941 58 0 0 25 0 1 0 969397211 47661056 10081 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11636 10081 301 301 0 11335 0
vsize: 46544
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 17211 0 0 0 4936 64 0 0 25 0 1 0 969397211 47808512 10149 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11672 10149 301 301 0 11371 0
vsize: 46688
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 17525 0 0 0 5932 69 0 0 25 0 1 0 969397211 47955968 10230 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11708 10230 301 301 0 11407 0
vsize: 46832
[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 17801 0 0 0 6927 74 0 0 25 0 1 0 969397211 48103424 10273 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11744 10273 301 301 0 11443 0
vsize: 46976
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 18545 0 0 0 7922 79 0 0 25 0 1 0 969397211 48103424 10318 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11744 10318 301 301 0 11443 0
vsize: 46976
[startup+90.0058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 19067 0 0 0 8918 83 0 0 25 0 1 0 969397211 48103424 10374 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11744 10374 301 301 0 11443 0
vsize: 46976
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 19609 0 0 0 9914 88 0 0 25 0 1 0 969397211 48386048 10450 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11813 10450 301 301 0 11512 0
vsize: 47252
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 19906 0 0 0 10910 92 0 0 25 0 1 0 969397211 48386048 10514 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11813 10514 301 301 0 11512 0
vsize: 47252
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 20671 0 0 0 11905 97 0 0 25 0 1 0 969397211 48517120 10580 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11845 10580 301 301 0 11544 0
vsize: 47380
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 21175 0 0 0 12900 103 0 0 25 0 1 0 969397211 48652288 10618 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11878 10618 301 301 0 11577 0
vsize: 47512
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 21698 0 0 0 13895 108 0 0 25 0 1 0 969397211 48652288 10675 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11878 10675 301 301 0 11577 0
vsize: 47512
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 22208 0 0 0 14891 113 0 0 25 0 1 0 969397211 48795648 10719 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11913 10719 301 301 0 11612 0
vsize: 47652
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 22729 0 0 0 15885 119 0 0 25 0 1 0 969397211 48926720 10774 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11945 10774 301 301 0 11644 0
vsize: 47780
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 23013 0 0 0 16881 123 0 0 25 0 1 0 969397211 48926720 10825 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11945 10825 301 301 0 11644 0
vsize: 47780
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 23304 0 0 0 17877 127 0 0 25 0 1 0 969397211 49074176 10883 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11981 10883 301 301 0 11680 0
vsize: 47924
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 23805 0 0 0 18873 132 0 0 25 0 1 0 969397211 49074176 10918 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11981 10918 301 301 0 11680 0
vsize: 47924
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 24323 0 0 0 19868 138 0 0 25 0 1 0 969397211 49074176 10970 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11981 10970 301 301 0 11680 0
vsize: 47924
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 24604 0 0 0 20863 142 0 0 25 0 1 0 969397211 49209344 11018 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12014 11018 301 301 0 11713 0
vsize: 48056
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 25099 0 0 0 21858 148 0 0 25 0 1 0 969397211 49209344 11047 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12014 11047 301 301 0 11713 0
vsize: 48056
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 25367 0 0 0 22854 153 0 0 25 0 1 0 969397211 49340416 11082 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12046 11082 301 301 0 11745 0
vsize: 48184
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 25645 0 0 0 23850 157 0 0 25 0 1 0 969397211 49340416 11127 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12046 11127 301 301 0 11745 0
vsize: 48184
[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 26150 0 0 0 24846 161 0 0 25 0 1 0 969397211 49475584 11166 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12079 11166 301 301 0 11778 0
vsize: 48316
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 26412 0 0 0 25842 165 0 0 25 0 1 0 969397211 49475584 11195 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12079 11195 301 301 0 11778 0
vsize: 48316
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 26691 0 0 0 26837 170 0 0 25 0 1 0 969397211 49618944 11241 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12114 11241 301 301 0 11813 0
vsize: 48456
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 26740 0 0 0 27834 174 0 0 25 0 1 0 969397211 49618944 11290 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12114 11290 301 301 0 11813 0
vsize: 48456
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 27017 0 0 0 28830 178 0 0 25 0 1 0 969397211 49618944 11334 4294967295 134512640 135730672 3221224576 3221223252 134748635 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12114 11334 301 301 0 11813 0
vsize: 48456
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 27292 0 0 0 29826 183 0 0 25 0 1 0 969397211 58138624 11376 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14194 11376 301 301 0 13893 0
vsize: 56776
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 27559 0 0 0 30823 186 0 0 25 0 1 0 969397211 58138624 11410 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14194 11410 301 301 0 13893 0
vsize: 56776
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 27824 0 0 0 31818 191 0 0 25 0 1 0 969397211 58281984 11442 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14229 11442 301 301 0 13928 0
vsize: 56916
[startup+330.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 27851 0 0 0 32815 195 0 0 25 0 1 0 969397211 58281984 11469 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14229 11469 301 301 0 13928 0
vsize: 56916
[startup+340.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 28136 0 0 0 33811 200 0 0 25 0 1 0 969397211 58413056 11521 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14261 11521 301 301 0 13960 0
vsize: 57044
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 28412 0 0 0 34806 205 0 0 25 0 1 0 969397211 58413056 11564 4294967295 134512640 135730672 3221224576 3221223264 134748700 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14261 11564 301 301 0 13960 0
vsize: 57044
[startup+360.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 28689 0 0 0 35801 210 0 0 25 0 1 0 969397211 58548224 11608 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14294 11608 301 301 0 13993 0
vsize: 57176
[startup+370.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 28948 0 0 0 36796 215 0 0 25 0 1 0 969397211 58548224 11634 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14294 11634 301 301 0 13993 0
vsize: 57176
[startup+380.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 29224 0 0 0 37792 219 0 0 25 0 1 0 969397211 58548224 11677 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14294 11677 301 301 0 13993 0
vsize: 57176
[startup+390.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 29735 0 0 0 38787 224 0 0 25 0 1 0 969397211 58683392 11722 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14327 11722 301 301 0 14026 0
vsize: 57308
[startup+400.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 30011 0 0 0 39783 229 0 0 25 0 1 0 969397211 58683392 11765 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14327 11765 301 301 0 14026 0
vsize: 57308
[startup+410.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 30275 0 0 0 40779 233 0 0 25 0 1 0 969397211 58683392 11796 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14327 11796 301 301 0 14026 0
vsize: 57308
[startup+420.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 30537 0 0 0 41775 237 0 0 25 0 1 0 969397211 58814464 11825 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14359 11825 301 301 0 14058 0
vsize: 57436
[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 30571 0 0 0 42772 241 0 0 25 0 1 0 969397211 58966016 11859 4294967295 134512640 135730672 3221224576 3221222896 134732484 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14396 11859 301 301 0 14095 0
vsize: 57584
[startup+440.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 30843 0 0 0 43768 245 0 0 25 0 1 0 969397211 58966016 11898 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14396 11898 301 301 0 14095 0
vsize: 57584
[startup+450.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 31124 0 0 0 44765 248 0 0 25 0 1 0 969397211 58966016 11946 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14396 11946 301 301 0 14095 0
vsize: 57584
[startup+460.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 31403 0 0 0 45761 253 0 0 25 0 1 0 969397211 59097088 11992 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14428 11992 301 301 0 14127 0
vsize: 57712
[startup+470.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 31449 0 0 0 46757 257 0 0 25 0 1 0 969397211 59097088 12038 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14428 12038 301 301 0 14127 0
vsize: 57712
[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 31711 0 0 0 47753 261 0 0 25 0 1 0 969397211 59097088 12067 4294967295 134512640 135730672 3221224576 3221223184 134748234 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14428 12067 301 301 0 14127 0
vsize: 57712
[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 32226 0 0 0 48747 267 0 0 25 0 1 0 969397211 59232256 12116 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14461 12116 301 301 0 14160 0
vsize: 57844
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 32518 0 0 0 49745 270 0 0 25 0 1 0 969397211 59232256 12175 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14461 12175 301 301 0 14160 0
vsize: 57844
[startup+510.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 32801 0 0 0 50741 274 0 0 25 0 1 0 969397211 59363328 12225 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14493 12225 301 301 0 14192 0
vsize: 57972
[startup+520.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 33071 0 0 0 51737 278 0 0 25 0 1 0 969397211 59502592 12262 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14527 12262 301 301 0 14226 0
vsize: 58108
[startup+530.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 33319 0 0 0 52733 283 0 0 25 0 1 0 969397211 59502592 12277 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14527 12277 301 301 0 14226 0
vsize: 58108
[startup+540.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 33584 0 0 0 53727 288 0 0 25 0 1 0 969397211 59502592 12309 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14527 12309 301 301 0 14226 0
vsize: 58108
[startup+550.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 33858 0 0 0 54724 293 0 0 25 0 1 0 969397211 59502592 12350 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14527 12350 301 301 0 14226 0
vsize: 58108
[startup+560.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 34132 0 0 0 55720 297 0 0 25 0 1 0 969397211 59637760 12391 4294967295 134512640 135730672 3221224576 3221223088 135282246 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14560 12391 301 301 0 14259 0
vsize: 58240
[startup+570.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 34626 0 0 0 56716 301 0 0 25 0 1 0 969397211 59637760 12419 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14560 12419 301 301 0 14259 0
vsize: 58240
[startup+580.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 34905 0 0 0 57711 306 0 0 25 0 1 0 969397211 59637760 12465 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14560 12465 301 301 0 14259 0
vsize: 58240
[startup+590.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 35430 0 0 0 58705 313 0 0 25 0 1 0 969397211 59772928 12524 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14593 12524 301 301 0 14292 0
vsize: 58372
[startup+600.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 35914 0 0 0 59701 317 0 0 25 0 1 0 969397211 59772928 12542 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14593 12542 301 301 0 14292 0
vsize: 58372
[startup+610.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 36168 0 0 0 60697 321 0 0 25 0 1 0 969397211 59772928 12563 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14593 12563 301 301 0 14292 0
vsize: 58372
[startup+620.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 36652 0 0 0 61692 326 0 0 25 0 1 0 969397211 59908096 12581 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14626 12581 301 301 0 14325 0
vsize: 58504
[startup+630.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 36903 0 0 0 62688 331 0 0 25 0 1 0 969397211 59908096 12599 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14626 12599 301 301 0 14325 0
vsize: 58504
[startup+640.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 37154 0 0 0 63682 337 0 0 25 0 1 0 969397211 59908096 12617 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14626 12617 301 301 0 14325 0
vsize: 58504
[startup+650.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 37406 0 0 0 64678 341 0 0 25 0 1 0 969397211 60039168 12636 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14658 12636 301 301 0 14357 0
vsize: 58632
[startup+660.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 37889 0 0 0 65674 346 0 0 25 0 1 0 969397211 60039168 12653 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14658 12653 301 301 0 14357 0
vsize: 58632
[startup+670.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 38150 0 0 0 66671 350 0 0 25 0 1 0 969397211 60174336 12681 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14691 12681 301 301 0 14390 0
vsize: 58764
[startup+680.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 38400 0 0 0 67667 354 0 0 25 0 1 0 969397211 60174336 12698 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14691 12698 301 301 0 14390 0
vsize: 58764
[startup+690.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 38678 0 0 0 68662 359 0 0 25 0 1 0 969397211 60174336 12743 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14691 12743 301 301 0 14390 0
vsize: 58764
[startup+700.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 38958 0 0 0 69658 364 0 0 25 0 1 0 969397211 60305408 12790 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14723 12790 301 301 0 14422 0
vsize: 58892
[startup+710.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 39465 0 0 0 70654 368 0 0 25 0 1 0 969397211 60305408 12831 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14723 12831 301 301 0 14422 0
vsize: 58892
[startup+720.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 39715 0 0 0 71650 372 0 0 25 0 1 0 969397211 60305408 12848 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14723 12848 301 301 0 14422 0
vsize: 58892
[startup+730.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 39963 0 0 0 72647 376 0 0 25 0 1 0 969397211 60436480 12863 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14755 12863 301 301 0 14454 0
vsize: 59020
[startup+740.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 40216 0 0 0 73644 379 0 0 25 0 1 0 969397211 60436480 12883 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14755 12883 301 301 0 14454 0
vsize: 59020
[startup+750.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 40696 0 0 0 74640 384 0 0 25 0 1 0 969397211 60436480 12897 4294967295 134512640 135730672 3221224576 3221223196 134783186 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14755 12897 301 301 0 14454 0
vsize: 59020
[startup+760.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 40942 0 0 0 75637 387 0 0 25 0 1 0 969397211 60567552 12910 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14787 12910 301 301 0 14486 0
vsize: 59148
[startup+770.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 41191 0 0 0 76634 391 0 0 25 0 1 0 969397211 60567552 12926 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14787 12926 301 301 0 14486 0
vsize: 59148
[startup+780.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 41203 0 0 0 77631 394 0 0 25 0 1 0 969397211 60567552 12938 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14787 12938 301 301 0 14486 0
vsize: 59148
[startup+790.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 41696 0 0 0 78628 397 0 0 25 0 1 0 969397211 60567552 12965 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14787 12965 301 301 0 14486 0
vsize: 59148
[startup+800.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 41970 0 0 0 79624 401 0 0 25 0 1 0 969397211 60723200 13006 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14825 13006 301 301 0 14524 0
vsize: 59300
[startup+810.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 42214 0 0 0 80622 404 0 0 25 0 1 0 969397211 60723200 13017 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14825 13017 301 301 0 14524 0
vsize: 59300
[startup+820.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 42469 0 0 0 81619 408 0 0 25 0 1 0 969397211 60723200 13039 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14825 13039 301 301 0 14524 0
vsize: 59300
[startup+830.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 42744 0 0 0 82615 412 0 0 25 0 1 0 969397211 60723200 13081 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14825 13081 301 301 0 14524 0
vsize: 59300
[startup+840.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 43013 0 0 0 83612 415 0 0 25 0 1 0 969397211 60854272 13117 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14857 13117 301 301 0 14556 0
vsize: 59428
[startup+850.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 43275 0 0 0 84609 419 0 0 25 0 1 0 969397211 60854272 13146 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14857 13146 301 301 0 14556 0
vsize: 59428
[startup+860.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 43526 0 0 0 85605 423 0 0 25 0 1 0 969397211 60854272 13164 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14857 13164 301 301 0 14556 0
vsize: 59428
[startup+870.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 43780 0 0 0 86602 427 0 0 25 0 1 0 969397211 60989440 13185 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14890 13185 301 301 0 14589 0
vsize: 59560
[startup+880.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 43793 0 0 0 87598 431 0 0 25 0 1 0 969397211 60989440 13198 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14890 13198 301 301 0 14589 0
vsize: 59560
[startup+890.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 44037 0 0 0 88595 435 0 0 25 0 1 0 969397211 60989440 13209 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14890 13209 301 301 0 14589 0
vsize: 59560
[startup+900.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 44308 0 0 0 89592 438 0 0 25 0 1 0 969397211 61153280 13247 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14930 13247 301 301 0 14629 0
vsize: 59720
[startup+910.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 44548 0 0 0 90587 443 0 0 25 0 1 0 969397211 61153280 13254 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14930 13254 301 301 0 14629 0
vsize: 59720
[startup+920.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 47632 0 0 0 91577 454 0 0 25 0 1 0 969397211 73736192 13265 4294967295 134512640 135730672 3221224576 3221222824 134813777 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18002 13265 301 301 0 17701 0
vsize: 72008
[startup+930.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 48111 0 0 0 92573 459 0 0 25 0 1 0 969397211 73736192 13278 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18002 13278 301 301 0 17701 0
vsize: 72008
[startup+940.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 48377 0 0 0 93569 463 0 0 25 0 1 0 969397211 73867264 13311 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18034 13311 301 301 0 17733 0
vsize: 72136
[startup+950.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 48651 0 0 0 94565 467 0 0 25 0 1 0 969397211 73867264 13352 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18034 13352 301 301 0 17733 0
vsize: 72136
[startup+960.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 48904 0 0 0 95561 472 0 0 25 0 1 0 969397211 73867264 13372 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18034 13372 301 301 0 17733 0
vsize: 72136
[startup+970.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 49150 0 0 0 96558 475 0 0 25 0 1 0 969397211 73867264 13385 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18034 13385 301 301 0 17733 0
vsize: 72136
[startup+980.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 49397 0 0 0 97555 478 0 0 25 0 1 0 969397211 73998336 13399 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18066 13399 301 301 0 17765 0
vsize: 72264
[startup+990.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 49664 0 0 0 98552 482 0 0 25 0 1 0 969397211 73998336 13433 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18066 13433 301 301 0 17765 0
vsize: 72264
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 50162 0 0 0 99548 486 0 0 25 0 1 0 969397211 73998336 13465 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18066 13465 301 301 0 17765 0
vsize: 72264
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 50407 0 0 0 100544 491 0 0 25 0 1 0 969397211 74129408 13477 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18098 13477 301 301 0 17797 0
vsize: 72392
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 50653 0 0 0 101541 494 0 0 25 0 1 0 969397211 74129408 13490 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18098 13490 301 301 0 17797 0
vsize: 72392
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 50907 0 0 0 102538 498 0 0 25 0 1 0 969397211 74129408 13511 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18098 13511 301 301 0 17797 0
vsize: 72392
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 51173 0 0 0 103535 501 0 0 25 0 1 0 969397211 74129408 13544 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18098 13544 301 301 0 17797 0
vsize: 72392
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 51203 0 0 0 104531 505 0 0 25 0 1 0 969397211 74129408 13574 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18098 13574 301 301 0 17797 0
vsize: 72392
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 51453 0 0 0 105528 508 0 0 25 0 1 0 969397211 74260480 13591 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18130 13591 301 301 0 17829 0
vsize: 72520
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 51717 0 0 0 106524 513 0 0 25 0 1 0 969397211 74260480 13622 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18130 13622 301 301 0 17829 0
vsize: 72520
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 51981 0 0 0 107521 516 0 0 25 0 1 0 969397211 74260480 13653 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18130 13653 301 301 0 17829 0
vsize: 72520
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 52242 0 0 0 108517 520 0 0 25 0 1 0 969397211 74260480 13681 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18130 13681 301 301 0 17829 0
vsize: 72520
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 52509 0 0 0 109514 523 0 0 25 0 1 0 969397211 74395648 13715 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18163 13715 301 301 0 17862 0
vsize: 72652
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 52763 0 0 0 110512 526 0 0 25 0 1 0 969397211 74395648 13736 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18163 13736 301 301 0 17862 0
vsize: 72652
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 52778 0 0 0 111509 529 0 0 25 0 1 0 969397211 74395648 13751 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18163 13751 301 301 0 17862 0
vsize: 72652
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 53022 0 0 0 112507 532 0 0 25 0 1 0 969397211 74395648 13762 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18163 13762 301 301 0 17862 0
vsize: 72652
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 53264 0 0 0 113503 536 0 0 25 0 1 0 969397211 74395648 13771 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18163 13771 301 301 0 17862 0
vsize: 72652
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 53514 0 0 0 114500 539 0 0 25 0 1 0 969397211 74530816 13788 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18196 13788 301 301 0 17895 0
vsize: 72784
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16878
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 53781 0 0 0 115497 542 0 0 25 0 1 0 969397211 74530816 13822 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18196 13822 301 301 0 17895 0
vsize: 72784
[startup+1170.08 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 16931
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 54038 0 0 0 116493 546 0 0 25 0 1 0 969397211 74530816 13846 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18196 13846 301 301 0 17895 0
vsize: 72784
[startup+1180.08 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16931
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 54286 0 0 0 117490 550 0 0 25 0 1 0 969397211 74674176 13861 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18231 13861 301 301 0 17930 0
vsize: 72924
[startup+1190.08 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16931
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 54293 0 0 0 118487 553 0 0 25 0 1 0 969397211 74674176 13868 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18231 13868 301 301 0 17930 0
vsize: 72924
[startup+1200.08 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16931
Raw data (stat): 16878 (pb2sat-v2) R 16877 25568 25567 0 -1 0 54536 0 0 0 119483 557 0 0 25 0 1 0 969397211 74674176 13878 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18231 13878 301 301 0 17930 0
vsize: 72924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 1.04 0.99 0.91 1/54 16931
Raw data (stat): 16878 (pb2sat-v2) Z 16877 25568 25567 0 -1 12 54538 0 0 0 119514 560 0 0 25 0 1 0 969397211 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.42
CPU time (s): 1200.75
CPU user time (s): 1195.15
CPU system time (s): 5.60015
CPU usage (%): 100.027
Max. virtual memory (Kb): 72924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####