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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb
MD5SUM	436f5c6ad1ef2652c1530e8335d70a6e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	8589934592
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	22548578283
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	25.9041
Number of variables	6090
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	204
Minimum length of a constraint	30
Maximum length of a constraint	120
Trace number 42362

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        730880 kB
Buffers:         34664 kB
Cached:         246360 kB
SwapCached:        700 kB
Active:          73300 kB
Inactive:       209880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        730628 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15084 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:07:33 (client local time) WITH STATUS 0 IN 1200.67 SECONDS
stats: 25558 7 1200.67 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 26246/143905	Time: 7.2489/86400
c Decision: 26450/143905	Time: 11.4703/86400
c Decision: 26662/143905	Time: 17.2254/86400
c Decision: 26871/143905	Time: 22.2376/86400
c Decision: 27180/143905	Time: 29.1436/86400
c Decision: 27180/143905	Time: 33.6239/86400
c Decision: 27987/143905	Time: 40.3019/86400
c Decision: 27987/143905	Time: 44.7572/86400
c Decision: 28089/143905	Time: 51.0042/86400
c Decision: 28089/143905	Time: 56.8084/86400
c Decision: 28089/143905	Time: 61.3787/86400
c Decision: 28089/143905	Time: 66.4489/86400
c Decision: 28089/143905	Time: 72.551/86400
c Decision: 28089/143905	Time: 79.2849/86400
c Decision: 28285/143905	Time: 87.1328/86400
c Decision: 28285/143905	Time: 92.7539/86400
c Decision: 28285/143905	Time: 98.869/86400
c Decision: 28285/143905	Time: 105.568/86400
c Decision: 28285/143905	Time: 111.599/86400
c Decision: 28286/143905	Time: 121.47/86400
c Decision: 28286/143905	Time: 128.149/86400
c Decision: 28286/143905	Time: 135.236/86400
c Decision: 28286/143905	Time: 142.186/86400
c Decision: 28286/143905	Time: 149.531/86400
c Decision: 28286/143905	Time: 155.271/86400
c Decision: 28286/143905	Time: 162.126/86400
c Decision: 28286/143905	Time: 169.048/86400
c Decision: 28286/143905	Time: 174.886/86400
c Decision: 28286/143905	Time: 181.894/86400
c Decision: 28286/143905	Time: 188.224/86400
c Decision: 28286/143905	Time: 195.55/86400
c Decision: 28286/143905	Time: 203.38/86400
c Decision: 28286/143905	Time: 210.592/86400
c Decision: 28286/143905	Time: 218.068/86400
c Decision: 28286/143905	Time: 224.931/86400
c Decision: 28286/143905	Time: 232.663/86400
c Decision: 28286/143905	Time: 238.939/86400
c Decision: 28286/143905	Time: 244.244/86400
c Decision: 28286/143905	Time: 250.631/86400
c Decision: 28286/143905	Time: 257.478/86400
c Decision: 28286/143905	Time: 265.744/86400
c Decision: 28288/143905	Time: 272.753/86400
c Decision: 28288/143905	Time: 280.789/86400
c Decision: 28288/143905	Time: 286.8/86400
c Decision: 28296/143905	Time: 298.898/86400
c Decision: 28296/143905	Time: 307/86400
c Decision: 28296/143905	Time: 314.879/86400
c Decision: 28298/143905	Time: 327.797/86400
c Decision: 28303/143905	Time: 339.745/86400
c Decision: 28303/143905	Time: 347.033/86400
c Decision: 28303/143905	Time: 355.214/86400
c Decision: 28303/143905	Time: 362.794/86400
c Decision: 28303/143905	Time: 369.889/86400
c Decision: 28303/143905	Time: 377.285/86400
c Decision: 28303/143905	Time: 385.218/86400
c Decision: 28303/143905	Time: 393.405/86400
c Decision: 28303/143905	Time: 401.709/86400
c Decision: 28303/143905	Time: 409.851/86400
c Decision: 28303/143905	Time: 418.896/86400
c Decision: 28303/143905	Time: 427.688/86400
c Decision: 28303/143905	Time: 434.697/86400
c Decision: 28307/143905	Time: 444.065/86400
c Decision: 28307/143905	Time: 451.495/86400
c Decision: 28307/143905	Time: 460.189/86400
c Decision: 28307/143905	Time: 469.875/86400
c Decision: 28307/143905	Time: 479.65/86400
c Decision: 28307/143905	Time: 489.921/86400
c Decision: 28307/143905	Time: 498.105/86400
c Decision: 28331/143905	Time: 511.145/86400
c Decision: 28331/143905	Time: 519.342/86400
c Decision: 28331/143905	Time: 529.425/86400
c Decision: 28331/143905	Time: 538.248/86400
c Decision: 28355/143905	Time: 554.773/86400
c Decision: 30544/143905	Time: 595.13/86400
c Decision: 30544/143905	Time: 605.248/86400
c Decision: 30547/143905	Time: 620.099/86400
c Decision: 30556/143905	Time: 633.785/86400
c Decision: 30737/143905	Time: 649.369/86400
c Decision: 32789/143905	Time: 689.133/86400
c Decision: 34305/143905	Time: 792.952/86400
c Decision: 34320/143905	Time: 822.159/86400
c Decision: 36382/143905	Time: 873.596/86400
c Decision: 36386/143905	Time: 886.639/86400
c Decision: 36386/143905	Time: 893.856/86400
c Decision: 36387/143905	Time: 903.726/86400
c Decision: 36401/143905	Time: 925.947/86400
c Decision: 36401/143905	Time: 932.635/86400
c Decision: 36401/143905	Time: 938.758/86400
c Decision: 36404/143905	Time: 946.146/86400
c Decision: 36406/143905	Time: 952.76/86400
c Decision: 36406/143905	Time: 960.275/86400
c Decision: 36406/143905	Time: 970.306/86400
c Decision: 36406/143905	Time: 977.756/86400
c Decision: 36406/143905	Time: 987.453/86400
c Decision: 36416/143905	Time: 1005.08/86400
c Decision: 36416/143905	Time: 1012.76/86400
c Decision: 36419/143905	Time: 1025.71/86400
c Decision: 36942/143905	Time: 1046.83/86400
c Decision: 37032/143905	Time: 1069.97/86400
c Decision: 37034/143905	Time: 1083.34/86400
c Decision: 37040/143905	Time: 1099.98/86400
c Decision: 37040/143905	Time: 1107.5/86400
c Decision: 37043/143905	Time: 1115.35/86400
c Decision: 37493/143905	Time: 1138.11/86400
c Decision: 37497/143905	Time: 1149.03/86400
c Decision: 37497/143905	Time: 1159.81/86400
c Decision: 37497/143905	Time: 1169.11/86400
c Decision: 37497/143905	Time: 1178.07/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.90 0.94 0.90 2/54 9505
Raw data (stat): 9505 (runsolver) R 9504 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968358750 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 18533 0 0 0 958 40 0 0 25 0 1 0 968358750 54243328 10440 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13243 10440 301 301 0 12942 0
vsize: 52972
[startup+20.0023 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 19373 0 0 0 1955 44 0 0 25 0 1 0 968358750 55468032 10716 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13542 10716 301 301 0 13241 0
vsize: 54168
[startup+30.0026 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 19982 0 0 0 2954 45 0 0 25 0 1 0 968358750 55468032 10761 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13542 10761 301 301 0 13241 0
vsize: 54168
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 20512 0 0 0 3952 47 0 0 25 0 1 0 968358750 56655872 11009 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13832 11009 301 301 0 13531 0
vsize: 55328
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 20874 0 0 0 4951 49 0 0 25 0 1 0 968358750 56791040 11089 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13865 11089 301 301 0 13564 0
vsize: 55460
[startup+60.0033 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 21528 0 0 0 5949 50 0 0 25 0 1 0 968358750 57061376 11179 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13931 11179 301 301 0 13630 0
vsize: 55724
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 22191 0 0 0 6947 53 0 0 25 0 1 0 968358750 57331712 11278 4294967295 134512640 135730672 3221224576 3221223264 134748440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13997 11278 301 301 0 13696 0
vsize: 55988
[startup+80.0049 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 22823 0 0 0 7945 55 0 0 25 0 1 0 968358750 57466880 11346 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14030 11346 301 301 0 13729 0
vsize: 56120
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 23200 0 0 0 8943 56 0 0 25 0 1 0 968358750 57737216 11441 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14096 11441 301 301 0 13795 0
vsize: 56384
[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 23808 0 0 0 9941 59 0 0 25 0 1 0 968358750 57737216 11485 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14096 11485 301 301 0 13795 0
vsize: 56384
[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 24116 0 0 0 10940 60 0 0 25 0 1 0 968358750 57737216 11511 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14096 11511 301 301 0 13795 0
vsize: 56384
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 24749 0 0 0 11937 63 0 0 25 0 1 0 968358750 57872384 11580 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14129 11580 301 301 0 13828 0
vsize: 56516
[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 25104 0 0 0 12935 65 0 0 25 0 1 0 968358750 66260992 11653 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16177 11653 301 301 0 15876 0
vsize: 64708
[startup+140.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 25411 0 0 0 13934 66 0 0 25 0 1 0 968358750 66260992 11678 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16177 11678 301 301 0 15876 0
vsize: 64708
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 25993 0 0 0 14933 68 0 0 25 0 1 0 968358750 66260992 11696 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16177 11696 301 301 0 15876 0
vsize: 64708
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 26350 0 0 0 15932 69 0 0 25 0 1 0 968358750 66260992 11771 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16177 11771 301 301 0 15876 0
vsize: 64708
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 26985 0 0 0 16930 71 0 0 25 0 1 0 968358750 66408448 11842 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16213 11842 301 301 0 15912 0
vsize: 64852
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 27293 0 0 0 17929 72 0 0 25 0 1 0 968358750 66547712 11868 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16247 11868 301 301 0 15946 0
vsize: 64988
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 27935 0 0 0 18927 74 0 0 25 0 1 0 968358750 66682880 11946 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16280 11946 301 301 0 15979 0
vsize: 65120
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 28277 0 0 0 19925 76 0 0 25 0 1 0 968358750 66682880 12006 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16280 12006 301 301 0 15979 0
vsize: 65120
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 28860 0 0 0 20923 78 0 0 25 0 1 0 968358750 66682880 12025 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16280 12025 301 301 0 15979 0
vsize: 65120
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 29187 0 0 0 21922 80 0 0 25 0 1 0 968358750 66818048 12070 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16313 12070 301 301 0 16012 0
vsize: 65252
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 29556 0 0 0 22921 81 0 0 25 0 1 0 968358750 66953216 12157 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16346 12157 301 301 0 16045 0
vsize: 65384
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 30172 0 0 0 23919 83 0 0 25 0 1 0 968358750 66953216 12209 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16346 12209 301 301 0 16045 0
vsize: 65384
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 30474 0 0 0 24918 84 0 0 25 0 1 0 968358750 67117056 12229 4294967295 134512640 135730672 3221224576 3221223088 134745792 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16386 12229 301 301 0 16085 0
vsize: 65544
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 31106 0 0 0 25916 86 0 0 25 0 1 0 968358750 67117056 12297 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16386 12297 301 301 0 16085 0
vsize: 65544
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 31470 0 0 0 26914 88 0 0 25 0 1 0 968358750 67272704 12379 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16424 12379 301 301 0 16123 0
vsize: 65696
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 32059 0 0 0 27913 90 0 0 25 0 1 0 968358750 67272704 12404 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16424 12404 301 301 0 16123 0
vsize: 65696
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 32358 0 0 0 28912 91 0 0 25 0 1 0 968358750 67436544 12421 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16464 12421 301 301 0 16163 0
vsize: 65856
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 32757 0 0 0 29911 92 0 0 25 0 1 0 968358750 67567616 12505 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16496 12505 301 301 0 16195 0
vsize: 65984
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 33103 0 0 0 30909 94 0 0 25 0 1 0 968358750 67567616 12569 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16496 12569 301 301 0 16195 0
vsize: 65984
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 33417 0 0 0 31908 95 0 0 25 0 1 0 968358750 67727360 12601 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16535 12601 301 301 0 16234 0
vsize: 66140
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 33729 0 0 0 32906 97 0 0 25 0 1 0 968358750 67862528 12631 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16568 12631 301 301 0 16267 0
vsize: 66272
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 34031 0 0 0 33906 98 0 0 25 0 1 0 968358750 67862528 12651 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16568 12651 301 301 0 16267 0
vsize: 66272
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 34381 0 0 0 34905 99 0 0 25 0 1 0 968358750 67862528 12719 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16568 12719 301 301 0 16267 0
vsize: 66272
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 34728 0 0 0 35903 100 0 0 25 0 1 0 968358750 67862528 12784 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16568 12784 301 301 0 16267 0
vsize: 66272
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 38389 0 0 0 36894 109 0 0 25 0 1 0 968358750 80580608 12808 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19673 12808 301 301 0 19372 0
vsize: 78692
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 38682 0 0 0 37893 111 0 0 25 0 1 0 968358750 80580608 12819 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19673 12819 301 301 0 19372 0
vsize: 78692
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 38991 0 0 0 38892 112 0 0 25 0 1 0 968358750 80715776 12846 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19706 12846 301 301 0 19405 0
vsize: 78824
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 39578 0 0 0 39890 114 0 0 25 0 1 0 968358750 80850944 12869 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19739 12869 301 301 0 19438 0
vsize: 78956
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 39883 0 0 0 40889 115 0 0 25 0 1 0 968358750 80986112 12892 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19772 12892 301 301 0 19471 0
vsize: 79088
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 40172 0 0 0 41888 116 0 0 25 0 1 0 968358750 80986112 12899 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19772 12899 301 301 0 19471 0
vsize: 79088
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 40480 0 0 0 42887 117 0 0 25 0 1 0 968358750 81121280 12925 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19805 12925 301 301 0 19504 0
vsize: 79220
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 40812 0 0 0 43886 119 0 0 25 0 1 0 968358750 81121280 12975 4294967295 134512640 135730672 3221224576 3221223088 134746235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19805 12975 301 301 0 19504 0
vsize: 79220
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 41126 0 0 0 44884 120 0 0 25 0 1 0 968358750 81256448 13007 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19838 13007 301 301 0 19537 0
vsize: 79352
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 41786 0 0 0 45881 123 0 0 25 0 1 0 968358750 81391616 13103 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19871 13103 301 301 0 19570 0
vsize: 79484
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 42170 0 0 0 46880 124 0 0 25 0 1 0 968358750 81391616 13205 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19871 13205 301 301 0 19570 0
vsize: 79484
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 42531 0 0 0 47879 125 0 0 25 0 1 0 968358750 81555456 13284 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19911 13284 301 301 0 19610 0
vsize: 79644
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 42841 0 0 0 48878 127 0 0 25 0 1 0 968358750 81555456 13312 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19911 13312 301 301 0 19610 0
vsize: 79644
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 43128 0 0 0 49876 128 0 0 25 0 1 0 968358750 81555456 13317 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19911 13317 301 301 0 19610 0
vsize: 79644
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 43423 0 0 0 50875 130 0 0 25 0 1 0 968358750 81555456 13330 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19911 13330 301 301 0 19610 0
vsize: 79644
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 43713 0 0 0 51874 131 0 0 25 0 1 0 968358750 81555456 13338 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19911 13338 301 301 0 19610 0
vsize: 79644
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 44002 0 0 0 52873 132 0 0 25 0 1 0 968358750 81555456 13345 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19911 13345 301 301 0 19610 0
vsize: 79644
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 44297 0 0 0 53872 134 0 0 25 0 1 0 968358750 81555456 13358 4294967295 134512640 135730672 3221224576 3221223088 135282243 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19911 13358 301 301 0 19610 0
vsize: 79644
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 44589 0 0 0 54870 135 0 0 25 0 1 0 968358750 81555456 13368 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19911 13368 301 301 0 19610 0
vsize: 79644
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 44650 0 0 0 55870 136 0 0 25 0 1 0 968358750 81686528 13396 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19943 13396 301 301 0 19642 0
vsize: 79772
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 45027 0 0 0 56867 138 0 0 25 0 1 0 968358750 82157568 13491 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20058 13491 301 301 0 19757 0
vsize: 80232
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 45123 0 0 0 57866 140 0 0 25 0 1 0 968358750 82157568 13587 4294967295 134512640 135730672 3221224576 3221223168 134763771 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20058 13587 301 301 0 19757 0
vsize: 80232
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 45204 0 0 0 58865 140 0 0 25 0 1 0 968358750 82292736 13668 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20091 13668 301 301 0 19790 0
vsize: 80364
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 45276 0 0 0 59865 141 0 0 25 0 1 0 968358750 82292736 13740 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20091 13740 301 301 0 19790 0
vsize: 80364
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 45653 0 0 0 60863 142 0 0 25 0 1 0 968358750 82472960 13835 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20135 13835 301 301 0 19834 0
vsize: 80540
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 46016 0 0 0 61861 145 0 0 25 0 1 0 968358750 82472960 13916 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20135 13916 301 301 0 19834 0
vsize: 80540
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 46355 0 0 0 62860 146 0 0 25 0 1 0 968358750 82661376 13973 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20181 13973 301 301 0 19880 0
vsize: 80724
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 46651 0 0 0 63858 148 0 0 25 0 1 0 968358750 82661376 13987 4294967295 134512640 135730672 3221224576 3221222992 134741733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20181 13987 301 301 0 19880 0
vsize: 80724
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 46734 0 0 0 64858 148 0 0 25 0 1 0 968358750 82857984 14070 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20229 14070 301 301 0 19928 0
vsize: 80916
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 47339 0 0 0 65853 153 0 0 25 0 1 0 968358750 84127744 14393 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20539 14393 301 301 0 20238 0
vsize: 82156
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 47538 0 0 0 66850 157 0 0 25 0 1 0 968358750 84824064 14592 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20709 14592 301 301 0 20408 0
vsize: 82836
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 48564 0 0 0 67846 161 0 0 25 0 1 0 968358750 89264128 15354 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21793 15354 301 301 0 21492 0
vsize: 87172
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 49164 0 0 0 68843 163 0 0 25 0 1 0 968358750 92053504 15855 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22474 15855 301 301 0 22173 0
vsize: 89896
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 49526 0 0 0 69841 166 0 0 25 0 1 0 968358750 92053504 15935 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22474 15935 301 301 0 22173 0
vsize: 89896
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 49586 0 0 0 70839 168 0 0 25 0 1 0 968358750 92053504 15995 4294967295 134512640 135730672 3221224576 3221223120 134740234 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22474 15995 301 301 0 22173 0
vsize: 89896
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 49635 0 0 0 71837 170 0 0 25 0 1 0 968358750 92053504 16044 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22474 16044 301 301 0 22173 0
vsize: 89896
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 49687 0 0 0 72834 173 0 0 25 0 1 0 968358750 92053504 16096 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22474 16096 301 301 0 22173 0
vsize: 89896
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 49751 0 0 0 73831 176 0 0 25 0 1 0 968358750 92053504 16160 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22474 16160 301 301 0 22173 0
vsize: 89896
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9505
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 49806 0 0 0 74829 178 0 0 25 0 1 0 968358750 92053504 16215 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22474 16215 301 301 0 22173 0
vsize: 89896
[startup+760.124 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 9549
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 49872 0 0 0 75833 182 0 0 25 0 1 0 968358750 92053504 16281 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22474 16281 301 301 0 22173 0
vsize: 89896
[startup+770.126 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 9558
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 49918 0 0 0 76832 183 0 0 25 0 1 0 968358750 92053504 16327 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22474 16327 301 301 0 22173 0
vsize: 89896
[startup+780.126 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 9558
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 50083 0 0 0 77831 185 0 0 25 0 1 0 968358750 92839936 16492 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22666 16492 301 301 0 22365 0
vsize: 90664
[startup+790.127 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 9558
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 50137 0 0 0 78829 187 0 0 25 0 1 0 968358750 92839936 16546 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22666 16546 301 301 0 22365 0
vsize: 90664
[startup+800.127 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 9558
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 50446 0 0 0 79828 189 0 0 25 0 1 0 968358750 92839936 16573 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22666 16573 301 301 0 22365 0
vsize: 90664
[startup+810.127 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 9558
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 50501 0 0 0 80827 190 0 0 25 0 1 0 968358750 93233152 16628 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22762 16628 301 301 0 22461 0
vsize: 91048
[startup+820.127 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 9558
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 50814 0 0 0 81826 191 0 0 25 0 1 0 968358750 94023680 16776 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22955 16776 301 301 0 22654 0
vsize: 91820
[startup+830.128 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 9558
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 51103 0 0 0 82824 193 0 0 25 0 1 0 968358750 94023680 16783 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22955 16783 301 301 0 22654 0
vsize: 91820
[startup+840.129 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 51111 0 0 0 83822 194 0 0 25 0 1 0 968358750 94023680 16791 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22955 16791 301 301 0 22654 0
vsize: 91820
[startup+850.129 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 51117 0 0 0 84821 196 0 0 25 0 1 0 968358750 94023680 16797 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22955 16797 301 301 0 22654 0
vsize: 91820
[startup+860.13 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 51135 0 0 0 85819 198 0 0 25 0 1 0 968358750 94023680 16815 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22955 16815 301 301 0 22654 0
vsize: 91820
[startup+870.129 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 51278 0 0 0 86818 199 0 0 25 0 1 0 968358750 94695424 16958 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23119 16958 301 301 0 22818 0
vsize: 92476
[startup+880.13 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 51602 0 0 0 87816 202 0 0 25 0 1 0 968358750 94830592 17000 4294967295 134512640 135730672 3221224576 3221223168 134763602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23152 17000 301 301 0 22851 0
vsize: 92608
[startup+890.131 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 51656 0 0 0 88814 203 0 0 25 0 1 0 968358750 94994432 17054 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23192 17054 301 301 0 22891 0
vsize: 92768
[startup+900.13 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 52330 0 0 0 89812 206 0 0 25 0 1 0 968358750 95625216 17164 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23346 17164 301 301 0 23045 0
vsize: 93384
[startup+910.131 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 52648 0 0 0 90810 207 0 0 25 0 1 0 968358750 95625216 17200 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23346 17200 301 301 0 23045 0
vsize: 93384
[startup+920.131 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 52742 0 0 0 91809 209 0 0 25 0 1 0 968358750 95956992 17294 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23427 17294 301 301 0 23126 0
vsize: 93708
[startup+930.131 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 52754 0 0 0 92807 211 0 0 25 0 1 0 968358750 96092160 17306 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23460 17306 301 301 0 23159 0
vsize: 93840
[startup+940.131 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 53388 0 0 0 93805 214 0 0 25 0 1 0 968358750 96399360 17376 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23535 17376 301 301 0 23234 0
vsize: 94140
[startup+950.132 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 53680 0 0 0 94802 216 0 0 25 0 1 0 968358750 96399360 17386 4294967295 134512640 135730672 3221224576 3221222824 135284596 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23535 17386 301 301 0 23234 0
vsize: 94140
[startup+960.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 54305 0 0 0 95800 219 0 0 25 0 1 0 968358750 96546816 17447 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23571 17447 301 301 0 23270 0
vsize: 94284
[startup+970.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 54737 0 0 0 96798 221 0 0 25 0 1 0 968358750 97222656 17597 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23736 17597 301 301 0 23435 0
vsize: 94944
[startup+980.134 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 55028 0 0 0 97795 224 0 0 25 0 1 0 968358750 97222656 17606 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23736 17606 301 301 0 23435 0
vsize: 94944
[startup+990.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 55327 0 0 0 98794 226 0 0 25 0 1 0 968358750 97386496 17623 4294967295 134512640 135730672 3221224576 3221223072 134747934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23776 17623 301 301 0 23475 0
vsize: 95104
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 55614 0 0 0 99793 227 0 0 25 0 1 0 968358750 97386496 17628 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23776 17628 301 301 0 23475 0
vsize: 95104
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 55620 0 0 0 100791 229 0 0 25 0 1 0 968358750 97386496 17634 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23776 17634 301 301 0 23475 0
vsize: 95104
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 56204 0 0 0 101789 233 0 0 25 0 1 0 968358750 97386496 17654 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23776 17654 301 301 0 23475 0
vsize: 95104
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 56229 0 0 0 102787 235 0 0 25 0 1 0 968358750 97386496 17679 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23776 17679 301 301 0 23475 0
vsize: 95104
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 56589 0 0 0 103785 237 0 0 25 0 1 0 968358750 97775616 17757 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23871 17757 301 301 0 23570 0
vsize: 95484
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 56594 0 0 0 104782 240 0 0 25 0 1 0 968358750 97775616 17762 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23871 17762 301 301 0 23570 0
vsize: 95484
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 56898 0 0 0 105780 242 0 0 25 0 1 0 968358750 97775616 17784 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23871 17784 301 301 0 23570 0
vsize: 95484
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 56915 0 0 0 106778 244 0 0 25 0 1 0 968358750 97775616 17801 4294967295 134512640 135730672 3221224576 3221223120 134740314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23871 17801 301 301 0 23570 0
vsize: 95484
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 57226 0 0 0 107777 246 0 0 25 0 1 0 968358750 97910784 17830 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23904 17830 301 301 0 23603 0
vsize: 95616
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9560
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 57539 0 0 0 108774 249 0 0 25 0 1 0 968358750 98074624 17861 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23944 17861 301 301 0 23643 0
vsize: 95776
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 57554 0 0 0 109773 250 0 0 25 0 1 0 968358750 98074624 17876 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23944 17876 301 301 0 23643 0
vsize: 95776
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 57856 0 0 0 110771 253 0 0 25 0 1 0 968358750 98074624 17896 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23944 17896 301 301 0 23643 0
vsize: 95776
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 58156 0 0 0 111769 255 0 0 25 0 1 0 968358750 98201600 17914 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23975 17914 301 301 0 23674 0
vsize: 95900
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 58454 0 0 0 112767 257 0 0 25 0 1 0 968358750 98201600 17930 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23975 17930 301 301 0 23674 0
vsize: 95900
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 58481 0 0 0 113766 259 0 0 25 0 1 0 968358750 98357248 17957 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24013 17957 301 301 0 23712 0
vsize: 96052
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 58775 0 0 0 114765 260 0 0 25 0 1 0 968358750 98357248 17969 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24013 17969 301 301 0 23712 0
vsize: 96052
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 59077 0 0 0 115762 262 0 0 25 0 1 0 968358750 98357248 17989 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24013 17989 301 301 0 23712 0
vsize: 96052
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 59375 0 0 0 116760 264 0 0 25 0 1 0 968358750 98488320 18005 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 18005 301 301 0 23744 0
vsize: 96180
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 59678 0 0 0 117758 267 0 0 25 0 1 0 968358750 98488320 18026 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 18026 301 301 0 23744 0
vsize: 96180
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 60030 0 0 0 118756 270 0 0 25 0 1 0 968358750 98856960 18096 4294967295 134512640 135730672 3221224576 3221223184 134744828 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24135 18096 301 301 0 23834 0
vsize: 96540
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9562
Raw data (stat): 9505 (pb2sat-v2) R 9504 7266 7265 0 -1 0 60036 0 0 0 119754 272 0 0 25 0 1 0 968358750 98856960 18102 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24135 18102 301 301 0 23834 0
vsize: 96540
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.57 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 9562
Raw data (stat): 9505 (pb2sat-v2) Z 9504 7266 7265 0 -1 12 60038 0 0 0 119791 275 0 0 25 0 1 0 968358750 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.57
CPU time (s): 1200.67
CPU user time (s): 1197.91
CPU system time (s): 2.75858
CPU usage (%): 100.009
Max. virtual memory (Kb): 96540
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####