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-aflow30a.opb
MD5SUM	7fcbcb2a8848112bb780308c9eb60989
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4241
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	3334110
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	7195
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	555
Trace number 42451

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 07:41:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25655 boxname=wulflinc5 idbench=955 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7fcbcb2a8848112bb780308c9eb60989  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-aflow30a.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-aflow30a.opb
IDLAUNCH: 25655
/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:        716840 kB
Buffers:         34148 kB
Cached:         260952 kB
SwapCached:        700 kB
Active:          62744 kB
Inactive:       234436 kB
HighTotal:      131008 kB
HighFree:          812 kB
LowTotal:       903652 kB
LowFree:        716028 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15056 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 08:01:32 (client local time) WITH STATUS 0 IN 1202.25 SECONDS
stats: 25655 7 1202.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 3427/1025395	Time: 231.499/86400
c Decision: 4985/1025395	Time: 638.649/86400
c Decision: 5268/1025395	Time: 1107.79/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.95 1/54 10730
Raw data (stat): 10730 (runsolver) R 10729 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969042819 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.0005 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 27114 0 0 0 937 61 0 0 25 0 1 0 969042819 78077952 16099 4294967295 134512640 135730672 3221224576 3221221696 134577280 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19062 16099 301 301 0 18761 0
vsize: 76248
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 54695 0 0 0 1876 122 0 0 25 0 1 0 969042819 154066944 32694 4294967295 134512640 135730672 3221224576 3221098128 135282712 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37614 32694 301 301 0 37313 0
vsize: 150456
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 92978 0 0 0 2801 197 0 0 25 0 1 0 969042819 301178880 49289 4294967295 134512640 135730672 3221224576 3221135056 134611253 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73530 49289 301 301 0 73229 0
vsize: 294120
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 109696 0 0 0 3765 233 0 0 25 0 1 0 969042819 306180096 65729 4294967295 134512640 135730672 3221224576 3221070628 135281175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74751 65729 301 301 0 74450 0
vsize: 299004
[startup+50.0005 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 122577 0 0 0 4735 263 0 0 25 0 1 0 969042819 330981376 75898 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80806 75898 301 301 0 80505 0
vsize: 323224
[startup+60.0003 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 125764 0 0 0 5730 268 0 0 25 0 1 0 969042819 342990848 78222 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83738 78222 301 301 0 83437 0
vsize: 334952
[startup+70.0001 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 127341 0 0 0 6727 271 0 0 25 0 1 0 969042819 349315072 79255 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85282 79255 301 301 0 84981 0
vsize: 341128
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 128162 0 0 0 7726 272 0 0 25 0 1 0 969042819 352645120 79779 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86095 79779 301 301 0 85794 0
vsize: 344380
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 129269 0 0 0 8724 274 0 0 25 0 1 0 969042819 356970496 80490 4294967295 134512640 135730672 3221224576 3221223232 134734786 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87151 80490 301 301 0 86850 0
vsize: 348604
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 129343 0 0 0 9723 275 0 0 25 0 1 0 969042819 357236736 80564 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87216 80564 301 301 0 86915 0
vsize: 348864
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 129614 0 0 0 10723 276 0 0 25 0 1 0 969042819 358432768 80786 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87508 80786 301 301 0 87207 0
vsize: 350032
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 129826 0 0 0 11722 277 0 0 25 0 1 0 969042819 358825984 80900 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87604 80900 301 301 0 87303 0
vsize: 350416
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 131677 0 0 0 12718 281 0 0 25 0 1 0 969042819 366776320 82211 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89545 82211 301 301 0 89244 0
vsize: 358180
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 132737 0 0 0 13715 284 0 0 25 0 1 0 969042819 370548736 82790 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90466 82790 301 301 0 90165 0
vsize: 361864
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 133431 0 0 0 14714 285 0 0 25 0 1 0 969042819 372805632 83197 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91017 83197 301 301 0 90716 0
vsize: 364068
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 133903 0 0 0 15712 287 0 0 25 0 1 0 969042819 374038528 83408 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91318 83408 301 301 0 91017 0
vsize: 365272
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 134443 0 0 0 16711 288 0 0 25 0 1 0 969042819 375894016 83768 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91771 83768 301 301 0 91470 0
vsize: 367084
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 135130 0 0 0 17709 290 0 0 25 0 1 0 969042819 378388480 84178 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92380 84178 301 301 0 92079 0
vsize: 369520
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 136807 0 0 0 18706 293 0 0 25 0 1 0 969042819 383971328 85103 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93743 85103 301 301 0 93442 0
vsize: 374972
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 138136 0 0 0 19704 295 0 0 25 0 1 0 969042819 388726784 85881 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94904 85889 301 301 0 94603 0
vsize: 379616
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 138559 0 0 0 20703 297 0 0 25 0 1 0 969042819 389246976 86044 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95031 86044 301 301 0 94730 0
vsize: 380124
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 138896 0 0 0 21702 298 0 0 25 0 1 0 969042819 390033408 86186 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95223 86186 301 301 0 94922 0
vsize: 380892
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 138920 0 0 0 22702 298 0 0 25 0 1 0 969042819 390033408 86210 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95223 86210 301 301 0 94922 0
vsize: 380892
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 139318 0 0 0 23702 298 0 0 25 0 1 0 969042819 391081984 86349 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95479 86349 301 301 0 95178 0
vsize: 381916
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 139521 0 0 0 24701 299 0 0 25 0 1 0 969042819 391606272 86422 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95607 86422 301 301 0 95306 0
vsize: 382428
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 140513 0 0 0 25699 301 0 0 25 0 1 0 969042819 395374592 87052 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96527 87052 301 301 0 96226 0
vsize: 386108
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 142813 0 0 0 26694 307 0 0 25 0 1 0 969042819 404647936 89254 4294967295 134512640 135730672 3221224576 3221222772 134769354 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98791 89254 301 301 0 98490 0
vsize: 395164
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 142860 0 0 0 27693 307 0 0 25 0 1 0 969042819 396443648 87298 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96788 87298 301 301 0 96487 0
vsize: 387152
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 143648 0 0 0 28691 309 0 0 25 0 1 0 969042819 399667200 87827 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97575 87827 301 301 0 97274 0
vsize: 390300
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 143774 0 0 0 29691 309 0 0 25 0 1 0 969042819 399929344 87888 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97639 87888 301 301 0 97338 0
vsize: 390556
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145301 0 0 0 30688 312 0 0 25 0 1 0 969042819 406532096 88963 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99251 88963 301 301 0 98950 0
vsize: 397004
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145376 0 0 0 31688 313 0 0 25 0 1 0 969042819 406933504 89038 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99349 89038 301 301 0 99048 0
vsize: 397396
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145389 0 0 0 32688 313 0 0 25 0 1 0 969042819 406933504 89051 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99349 89051 301 301 0 99048 0
vsize: 397396
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145497 0 0 0 33688 313 0 0 25 0 1 0 969042819 407195648 89094 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99413 89094 301 301 0 99112 0
vsize: 397652
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145680 0 0 0 34688 313 0 0 25 0 1 0 969042819 407719936 89147 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99541 89147 301 301 0 99240 0
vsize: 398164
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 145858 0 0 0 35688 314 0 0 25 0 1 0 969042819 408383488 89259 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99703 89259 301 301 0 99402 0
vsize: 398812
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 146549 0 0 0 36687 315 0 0 25 0 1 0 969042819 411168768 89787 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100383 89787 301 301 0 100082 0
vsize: 401532
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 146836 0 0 0 37685 316 0 0 25 0 1 0 969042819 411963392 89975 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100577 89975 301 301 0 100276 0
vsize: 402308
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 146985 0 0 0 38685 317 0 0 25 0 1 0 969042819 412626944 90091 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100739 90091 301 301 0 100438 0
vsize: 402956
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147020 0 0 0 39685 317 0 0 25 0 1 0 969042819 412626944 90126 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100739 90126 301 301 0 100438 0
vsize: 402956
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147040 0 0 0 40685 317 0 0 25 0 1 0 969042819 412626944 90146 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100739 90146 301 301 0 100438 0
vsize: 402956
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147056 0 0 0 41686 317 0 0 25 0 1 0 969042819 412626944 90162 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100739 90162 301 301 0 100438 0
vsize: 402956
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147063 0 0 0 42686 317 0 0 25 0 1 0 969042819 412626944 90169 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100739 90169 301 301 0 100438 0
vsize: 402956
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147080 0 0 0 43686 317 0 0 25 0 1 0 969042819 412626944 90186 4294967295 134512640 135730672 3221224576 3221223264 134748452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100739 90186 301 301 0 100438 0
vsize: 402956
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147082 0 0 0 44686 317 0 0 25 0 1 0 969042819 412626944 90188 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100739 90188 301 301 0 100438 0
vsize: 402956
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147090 0 0 0 45686 317 0 0 25 0 1 0 969042819 412626944 90196 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100739 90196 301 301 0 100438 0
vsize: 402956
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147137 0 0 0 46686 317 0 0 25 0 1 0 969042819 412626944 90243 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100739 90243 301 301 0 100438 0
vsize: 402956
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147139 0 0 0 47686 318 0 0 25 0 1 0 969042819 412626944 90245 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100739 90245 301 301 0 100438 0
vsize: 402956
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 147433 0 0 0 48685 319 0 0 25 0 1 0 969042819 413413376 90344 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100931 90344 301 301 0 100630 0
vsize: 403724
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 148096 0 0 0 49684 320 0 0 25 0 1 0 969042819 415670272 90677 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101482 90677 301 301 0 101181 0
vsize: 405928
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 148172 0 0 0 50684 320 0 0 25 0 1 0 969042819 415936512 90720 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101547 90720 301 301 0 101246 0
vsize: 406188
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 148627 0 0 0 51684 321 0 0 25 0 1 0 969042819 417394688 90995 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101903 90995 301 301 0 101602 0
vsize: 407612
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 148640 0 0 0 52684 321 0 0 25 0 1 0 969042819 417394688 91008 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101903 91008 301 301 0 101602 0
vsize: 407612
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 148745 0 0 0 53684 321 0 0 25 0 1 0 969042819 417656832 91048 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101967 91048 301 301 0 101666 0
vsize: 407868
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149006 0 0 0 54684 321 0 0 25 0 1 0 969042819 418582528 91211 4294967295 134512640 135730672 3221224576 3221223168 134764022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102193 91211 301 301 0 101892 0
vsize: 408772
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149008 0 0 0 55684 321 0 0 25 0 1 0 969042819 418582528 91213 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102193 91213 301 301 0 101892 0
vsize: 408772
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149018 0 0 0 56684 321 0 0 25 0 1 0 969042819 418582528 91223 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102193 91223 301 301 0 101892 0
vsize: 408772
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149021 0 0 0 57684 322 0 0 25 0 1 0 969042819 418582528 91226 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102193 91226 301 301 0 101892 0
vsize: 408772
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149030 0 0 0 58684 322 0 0 25 0 1 0 969042819 418582528 91235 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102193 91235 301 301 0 101892 0
vsize: 408772
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149057 0 0 0 59684 322 0 0 25 0 1 0 969042819 418582528 91262 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102193 91262 301 301 0 101892 0
vsize: 408772
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149139 0 0 0 60684 322 0 0 25 0 1 0 969042819 418844672 91279 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102257 91279 301 301 0 101956 0
vsize: 409028
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149142 0 0 0 61684 322 0 0 25 0 1 0 969042819 418844672 91282 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102257 91282 301 301 0 101956 0
vsize: 409028
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149151 0 0 0 62684 322 0 0 25 0 1 0 969042819 418844672 91291 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102257 91291 301 301 0 101956 0
vsize: 409028
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149174 0 0 0 63685 322 0 0 25 0 1 0 969042819 418844672 91314 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102257 91314 301 301 0 101956 0
vsize: 409028
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149195 0 0 0 64685 322 0 0 25 0 1 0 969042819 418844672 91335 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102257 91335 301 301 0 101956 0
vsize: 409028
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149214 0 0 0 65685 322 0 0 25 0 1 0 969042819 418844672 91354 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102257 91354 301 301 0 101956 0
vsize: 409028
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 149329 0 0 0 66685 322 0 0 25 0 1 0 969042819 419106816 91404 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102321 91404 301 301 0 102020 0
vsize: 409284
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151333 0 0 0 67680 327 0 0 25 0 1 0 969042819 427311104 93408 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104324 93408 301 301 0 104023 0
vsize: 417296
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151347 0 0 0 68679 328 0 0 25 0 1 0 969042819 419106816 91419 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102321 91419 301 301 0 102020 0
vsize: 409284
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151370 0 0 0 69679 328 0 0 25 0 1 0 969042819 419106816 91442 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102321 91442 301 301 0 102020 0
vsize: 409284
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151572 0 0 0 70679 329 0 0 25 0 1 0 969042819 419631104 91514 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102449 91514 301 301 0 102148 0
vsize: 409796
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151589 0 0 0 71679 329 0 0 25 0 1 0 969042819 419631104 91531 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102449 91531 301 301 0 102148 0
vsize: 409796
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151752 0 0 0 72679 329 0 0 25 0 1 0 969042819 420155392 91564 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102577 91564 301 301 0 102276 0
vsize: 410308
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 151754 0 0 0 73679 330 0 0 25 0 1 0 969042819 420155392 91566 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102577 91566 301 301 0 102276 0
vsize: 410308
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152163 0 0 0 74678 331 0 0 25 0 1 0 969042819 421203968 91716 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102833 91716 301 301 0 102532 0
vsize: 411332
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152244 0 0 0 75678 331 0 0 25 0 1 0 969042819 421466112 91732 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102897 91732 301 301 0 102596 0
vsize: 411588
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152377 0 0 0 76678 331 0 0 25 0 1 0 969042819 421728256 91800 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102961 91800 301 301 0 102660 0
vsize: 411844
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152381 0 0 0 77678 331 0 0 25 0 1 0 969042819 421728256 91804 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102961 91804 301 301 0 102660 0
vsize: 411844
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152395 0 0 0 78678 331 0 0 25 0 1 0 969042819 421728256 91818 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102961 91818 301 301 0 102660 0
vsize: 411844
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152423 0 0 0 79678 331 0 0 25 0 1 0 969042819 421728256 91846 4294967295 134512640 135730672 3221224576 3221223200 134748114 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102961 91846 301 301 0 102660 0
vsize: 411844
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152430 0 0 0 80678 332 0 0 25 0 1 0 969042819 421728256 91853 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102961 91853 301 301 0 102660 0
vsize: 411844
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152432 0 0 0 81677 332 0 0 25 0 1 0 969042819 421728256 91855 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102961 91855 301 301 0 102660 0
vsize: 411844
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152566 0 0 0 82677 333 0 0 25 0 1 0 969042819 421990400 91924 4294967295 134512640 135730672 3221224576 3221223196 135284036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103025 91924 301 301 0 102724 0
vsize: 412100
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152572 0 0 0 83677 333 0 0 25 0 1 0 969042819 421990400 91930 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103025 91930 301 301 0 102724 0
vsize: 412100
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152573 0 0 0 84677 333 0 0 25 0 1 0 969042819 421990400 91931 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103025 91931 301 301 0 102724 0
vsize: 412100
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152900 0 0 0 85677 334 0 0 25 0 1 0 969042819 422912000 92064 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103250 92064 301 301 0 102949 0
vsize: 413000
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152906 0 0 0 86677 334 0 0 25 0 1 0 969042819 422912000 92070 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103250 92070 301 301 0 102949 0
vsize: 413000
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152915 0 0 0 87677 334 0 0 25 0 1 0 969042819 422912000 92079 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103250 92079 301 301 0 102949 0
vsize: 413000
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 152921 0 0 0 88677 334 0 0 25 0 1 0 969042819 422912000 92085 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103250 92085 301 301 0 102949 0
vsize: 413000
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153034 0 0 0 89677 334 0 0 25 0 1 0 969042819 423174144 92133 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103314 92133 301 301 0 103013 0
vsize: 413256
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153143 0 0 0 90677 335 0 0 25 0 1 0 969042819 423436288 92177 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103378 92177 301 301 0 103077 0
vsize: 413512
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153146 0 0 0 91677 335 0 0 25 0 1 0 969042819 423436288 92180 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103378 92180 301 301 0 103077 0
vsize: 413512
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153269 0 0 0 92677 335 0 0 25 0 1 0 969042819 423698432 92238 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103442 92238 301 301 0 103141 0
vsize: 413768
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153360 0 0 0 93677 335 0 0 25 0 1 0 969042819 423960576 92264 4294967295 134512640 135730672 3221224576 3221223200 134748214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103506 92264 301 301 0 103205 0
vsize: 414024
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153439 0 0 0 94677 336 0 0 25 0 1 0 969042819 424222720 92278 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103570 92278 301 301 0 103269 0
vsize: 414280
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 153453 0 0 0 95677 336 0 0 25 0 1 0 969042819 424222720 92292 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103570 92292 301 301 0 103269 0
vsize: 414280
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 154373 0 0 0 96675 337 0 0 25 0 1 0 969042819 427212800 92754 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104300 92754 301 301 0 103999 0
vsize: 417200
[startup+980.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 154374 0 0 0 97675 337 0 0 25 0 1 0 969042819 427212800 92755 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104300 92755 301 301 0 103999 0
vsize: 417200
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 154422 0 0 0 98675 338 0 0 25 0 1 0 969042819 427212800 92803 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104300 92803 301 301 0 103999 0
vsize: 417200
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 154901 0 0 0 99674 339 0 0 25 0 1 0 969042819 429334528 93085 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104818 93085 301 301 0 104517 0
vsize: 419272
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 155371 0 0 0 100673 340 0 0 25 0 1 0 969042819 430383104 93295 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105074 93295 301 301 0 104773 0
vsize: 420296
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 155688 0 0 0 101673 341 0 0 25 0 1 0 969042819 431169536 93418 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105266 93418 301 301 0 104965 0
vsize: 421064
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 155982 0 0 0 102672 341 0 0 25 0 1 0 969042819 431955968 93518 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105458 93518 301 301 0 105157 0
vsize: 421832
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 155987 0 0 0 103672 342 0 0 25 0 1 0 969042819 431955968 93523 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105458 93523 301 301 0 105157 0
vsize: 421832
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156174 0 0 0 104672 342 0 0 25 0 1 0 969042819 432480256 93580 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105586 93580 301 301 0 105285 0
vsize: 422344
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156179 0 0 0 105672 342 0 0 25 0 1 0 969042819 432480256 93585 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105586 93585 301 301 0 105285 0
vsize: 422344
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156181 0 0 0 106672 342 0 0 25 0 1 0 969042819 432480256 93587 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105586 93587 301 301 0 105285 0
vsize: 422344
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156181 0 0 0 107673 342 0 0 25 0 1 0 969042819 432480256 93587 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105586 93587 301 301 0 105285 0
vsize: 422344
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156184 0 0 0 108673 342 0 0 25 0 1 0 969042819 432480256 93590 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105586 93590 301 301 0 105285 0
vsize: 422344
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156195 0 0 0 109673 342 0 0 25 0 1 0 969042819 432480256 93601 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105586 93601 301 301 0 105285 0
vsize: 422344
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10730
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156196 0 0 0 110673 342 0 0 25 0 1 0 969042819 432480256 93602 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105586 93602 301 301 0 105285 0
vsize: 422344
[startup+1120.02 s]
Raw data (loadavg): 1.07 0.99 0.96 3/57 10770
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156197 0 0 0 111672 343 0 0 25 0 1 0 969042819 432480256 93603 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105586 93603 301 301 0 105285 0
vsize: 422344
[startup+1130.02 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 10783
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156198 0 0 0 112672 343 0 0 25 0 1 0 969042819 432480256 93604 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105586 93604 301 301 0 105285 0
vsize: 422344
[startup+1140.02 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 10783
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 156200 0 0 0 113672 343 0 0 25 0 1 0 969042819 432480256 93606 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105586 93606 301 301 0 105285 0
vsize: 422344
[startup+1150.02 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 10783
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158206 0 0 0 114667 348 0 0 25 0 1 0 969042819 440684544 95612 4294967295 134512640 135730672 3221224576 3221222736 134769172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107589 95612 301 301 0 107288 0
vsize: 430356
[startup+1160.02 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 10783
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158339 0 0 0 115667 349 0 0 25 0 1 0 969042819 432742400 93677 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105650 93677 301 301 0 105349 0
vsize: 422600
[startup+1170.02 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 10783
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158352 0 0 0 116667 349 0 0 25 0 1 0 969042819 432742400 93690 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105650 93690 301 301 0 105349 0
vsize: 422600
[startup+1180.02 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 10783
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158353 0 0 0 117667 349 0 0 25 0 1 0 969042819 432742400 93691 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105650 93691 301 301 0 105349 0
vsize: 422600
[startup+1190.02 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 10783
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158382 0 0 0 118667 349 0 0 25 0 1 0 969042819 432742400 93720 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105650 93720 301 301 0 105349 0
vsize: 422600
[startup+1200.02 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 10785
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158389 0 0 0 119667 349 0 0 25 0 1 0 969042819 432742400 93727 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105650 93727 301 301 0 105349 0
vsize: 422600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.1 s]
Raw data (loadavg): 1.02 0.99 0.96 1/53 10785
Raw data (stat): 10730 (pb2sat-v2) R 10729 7266 7265 0 -1 0 158389 0 0 0 119667 349 0 0 25 0 1 0 969042819 432742400 93727 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105650 93727 301 301 0 105349 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.1
CPU time (s): 1202.25
CPU user time (s): 1198.57
CPU system time (s): 3.68744
CPU usage (%): 100.013
Max. virtual memory (Kb): 430356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####