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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb
MD5SUM	9c5126d785c8d5465220e290c5fc25a6
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5120
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	2421502
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	1175.04
Number of variables	675
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	95
Trace number 35683

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-28 13:28:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24905 boxname=wulflinc26 idbench=1377 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9c5126d785c8d5465220e290c5fc25a6  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-pk1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-pk1.opb
IDLAUNCH: 24905
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        803976 kB
Buffers:          4108 kB
Cached:         204240 kB
SwapCached:        684 kB
Active:          18420 kB
Inactive:       191992 kB
HighTotal:      131008 kB
HighFree:        25928 kB
LowTotal:       903652 kB
LowFree:        778048 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14656 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:48:38 (client local time) WITH STATUS 0 IN 1202.27 SECONDS
stats: 24905 7 1202.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 486/908666	Time: 268.19/86400
Decision: 486/908666	Time: 440.228/86400
Decision: 486/908666	Time: 660.632/86400
Decision: 489/908666	Time: 880.801/86400
Decision: 489/908666	Time: 974.716/86400
Decision: 489/908666	Time: 1092.24/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.91 0.94 0.90 2/54 3067
Raw data (stat): 3067 (runsolver) R 3066 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865171725 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 27613 0 0 0 938 60 0 0 25 0 1 0 865171725 78794752 16524 4294967295 134512640 135726644 3221224592 3221195924 135277538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19237 16524 300 300 0 18937 0
vsize: 76948
[startup+20.0007 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 54035 0 0 0 1879 119 0 0 25 0 1 0 865171725 153432064 31973 4294967295 134512640 135726644 3221224592 3221199864 134604465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37459 31973 300 300 0 37159 0
vsize: 149836
[startup+30.0052 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 91616 0 0 0 2801 197 0 0 25 0 1 0 865171725 301490176 47883 4294967295 134512640 135726644 3221224592 3221212240 134782624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73606 47884 300 300 0 73306 0
vsize: 294424
[startup+40.0059 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 107077 0 0 0 3765 232 0 0 25 0 1 0 865171725 303656960 63072 4294967295 134512640 135726644 3221224592 3221209112 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74135 63072 300 300 0 73835 0
vsize: 296540
[startup+50.0073 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 114262 0 0 0 4746 250 0 0 25 0 1 0 865171725 326533120 68409 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79720 68409 300 300 0 79420 0
vsize: 318880
[startup+60.0073 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 116859 0 0 0 5740 257 0 0 25 0 1 0 865171725 335851520 69966 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81995 69966 300 300 0 81695 0
vsize: 327980
[startup+70.0081 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 117501 0 0 0 6738 258 0 0 25 0 1 0 865171725 337293312 70252 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82347 70252 300 300 0 82047 0
vsize: 329388
[startup+80.0076 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 119088 0 0 0 7734 262 0 0 25 0 1 0 865171725 341417984 71093 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83354 71093 300 300 0 83054 0
vsize: 333416
[startup+90.0116 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 120012 0 0 0 8734 263 0 0 25 0 1 0 865171725 343912448 71466 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83963 71466 300 300 0 83663 0
vsize: 335852
[startup+100.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 120627 0 0 0 9733 264 0 0 25 0 1 0 865171725 345223168 71759 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84283 71759 300 300 0 83983 0
vsize: 337132
[startup+110.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 120706 0 0 0 10733 264 0 0 25 0 1 0 865171725 345489408 71805 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84348 71805 300 300 0 84048 0
vsize: 337392
[startup+120.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 122072 0 0 0 11731 266 0 0 25 0 1 0 865171725 349175808 72392 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85248 72392 300 300 0 84948 0
vsize: 340992
[startup+130.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 122239 0 0 0 12731 267 0 0 25 0 1 0 865171725 349700096 72430 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85376 72430 300 300 0 85076 0
vsize: 341504
[startup+140.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 122808 0 0 0 13730 268 0 0 25 0 1 0 865171725 351272960 72612 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85760 72612 300 300 0 85460 0
vsize: 343040
[startup+150.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 122911 0 0 0 14730 268 0 0 25 0 1 0 865171725 351272960 72715 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85760 72715 300 300 0 85460 0
vsize: 343040
[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 123618 0 0 0 15728 270 0 0 25 0 1 0 865171725 352714752 73066 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86112 73066 300 300 0 85812 0
vsize: 344448
[startup+170.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 123929 0 0 0 16727 271 0 0 25 0 1 0 865171725 353501184 73183 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86304 73183 300 300 0 86004 0
vsize: 345216
[startup+180.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 124479 0 0 0 17727 272 0 0 25 0 1 0 865171725 355217408 73378 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86723 73378 300 300 0 86423 0
vsize: 346892
[startup+190.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125073 0 0 0 18728 273 0 0 25 0 1 0 865171725 356659200 73616 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73616 300 300 0 86775 0
vsize: 348300
[startup+200.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125196 0 0 0 19728 273 0 0 25 0 1 0 865171725 356659200 73739 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73739 300 300 0 86775 0
vsize: 348300
[startup+210.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125223 0 0 0 20728 273 0 0 25 0 1 0 865171725 356659200 73766 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73766 300 300 0 86775 0
vsize: 348300
[startup+220.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125239 0 0 0 21728 273 0 0 25 0 1 0 865171725 356659200 73782 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73782 300 300 0 86775 0
vsize: 348300
[startup+230.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125241 0 0 0 22728 273 0 0 25 0 1 0 865171725 356659200 73784 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73784 300 300 0 86775 0
vsize: 348300
[startup+240.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125243 0 0 0 23728 273 0 0 25 0 1 0 865171725 356659200 73786 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73786 300 300 0 86775 0
vsize: 348300
[startup+250.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125246 0 0 0 24729 273 0 0 25 0 1 0 865171725 356659200 73789 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73789 300 300 0 86775 0
vsize: 348300
[startup+260.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125249 0 0 0 25729 273 0 0 25 0 1 0 865171725 356659200 73792 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73792 300 300 0 86775 0
vsize: 348300
[startup+270.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125252 0 0 0 26729 274 0 0 25 0 1 0 865171725 356659200 73795 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73795 300 300 0 86775 0
vsize: 348300
[startup+280.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125292 0 0 0 27729 274 0 0 25 0 1 0 865171725 356659200 73835 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73835 300 300 0 86775 0
vsize: 348300
[startup+290.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125296 0 0 0 28729 274 0 0 25 0 1 0 865171725 356659200 73839 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87075 73839 300 300 0 86775 0
vsize: 348300
[startup+300.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 125523 0 0 0 29729 274 0 0 25 0 1 0 865171725 357453824 73937 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87269 73937 300 300 0 86969 0
vsize: 349076
[startup+310.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 127578 0 0 0 30724 279 0 0 25 0 1 0 865171725 358244352 74054 4294967295 134512640 135726644 3221224592 3221223216 134744518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87462 74054 300 300 0 87162 0
vsize: 349848
[startup+320.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 127579 0 0 0 31723 280 0 0 25 0 1 0 865171725 358244352 74055 4294967295 134512640 135726644 3221224592 3221223088 134744369 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87462 74055 300 300 0 87162 0
vsize: 349848
[startup+330.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 127588 0 0 0 32723 280 0 0 25 0 1 0 865171725 358244352 74064 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87462 74064 300 300 0 87162 0
vsize: 349848
[startup+340.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 127752 0 0 0 33723 280 0 0 25 0 1 0 865171725 358772736 74162 4294967295 134512640 135726644 3221224592 3221223088 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87591 74162 300 300 0 87291 0
vsize: 350364
[startup+350.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128044 0 0 0 34723 280 0 0 25 0 1 0 865171725 359559168 74260 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87783 74260 300 300 0 87483 0
vsize: 351132
[startup+360.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128223 0 0 0 35722 281 0 0 25 0 1 0 865171725 360083456 74310 4294967295 134512640 135726644 3221224592 3221223216 134744538 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87911 74310 300 300 0 87611 0
vsize: 351644
[startup+370.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128224 0 0 0 36722 281 0 0 25 0 1 0 865171725 360083456 74311 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87911 74311 300 300 0 87611 0
vsize: 351644
[startup+380.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128225 0 0 0 37722 281 0 0 25 0 1 0 865171725 360083456 74312 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87911 74312 300 300 0 87611 0
vsize: 351644
[startup+390.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128226 0 0 0 38723 281 0 0 25 0 1 0 865171725 360083456 74313 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87911 74313 300 300 0 87611 0
vsize: 351644
[startup+400.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128229 0 0 0 39723 281 0 0 25 0 1 0 865171725 360083456 74316 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87911 74316 300 300 0 87611 0
vsize: 351644
[startup+410.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128250 0 0 0 40723 281 0 0 25 0 1 0 865171725 360333312 74337 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87972 74337 300 300 0 87672 0
vsize: 351888
[startup+420.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128252 0 0 0 41723 281 0 0 25 0 1 0 865171725 360333312 74339 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87972 74339 300 300 0 87672 0
vsize: 351888
[startup+430.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128278 0 0 0 42723 281 0 0 25 0 1 0 865171725 360333312 74365 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87972 74365 300 300 0 87672 0
vsize: 351888
[startup+440.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128289 0 0 0 43723 281 0 0 25 0 1 0 865171725 360333312 74376 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87972 74376 300 300 0 87672 0
vsize: 351888
[startup+450.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128362 0 0 0 44723 282 0 0 25 0 1 0 865171725 360595456 74384 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88036 74384 300 300 0 87736 0
vsize: 352144
[startup+460.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 128716 0 0 0 45723 283 0 0 25 0 1 0 865171725 362061824 74639 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88394 74639 300 300 0 88094 0
vsize: 353576
[startup+470.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 129180 0 0 0 46722 283 0 0 25 0 1 0 865171725 363114496 74908 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88651 74908 300 300 0 88351 0
vsize: 354604
[startup+480.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 131399 0 0 0 47718 288 0 0 25 0 1 0 865171725 364965888 75158 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89103 75158 300 300 0 88803 0
vsize: 356412
[startup+490.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 131594 0 0 0 48716 289 0 0 25 0 1 0 865171725 365629440 75255 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89265 75255 300 300 0 88965 0
vsize: 357060
[startup+500.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 131595 0 0 0 49716 289 0 0 25 0 1 0 865171725 365629440 75256 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89265 75256 300 300 0 88965 0
vsize: 357060
[startup+510.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 131653 0 0 0 50716 289 0 0 25 0 1 0 865171725 365760512 75281 4294967295 134512640 135726644 3221224592 3221223216 134744503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89297 75281 300 300 0 88997 0
vsize: 357188
[startup+520.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 132041 0 0 0 51716 290 0 0 25 0 1 0 865171725 367173632 75506 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89642 75506 300 300 0 89342 0
vsize: 358568
[startup+530.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 132420 0 0 0 52715 290 0 0 25 0 1 0 865171725 367960064 75689 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89834 75689 300 300 0 89534 0
vsize: 359336
[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 133162 0 0 0 53714 293 0 0 25 0 1 0 865171725 370057216 75916 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90346 75916 300 300 0 90046 0
vsize: 361384
[startup+550.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 133505 0 0 0 54713 293 0 0 25 0 1 0 865171725 370843648 76065 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90538 76065 300 300 0 90238 0
vsize: 362152
[startup+560.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 133506 0 0 0 55713 293 0 0 25 0 1 0 865171725 370843648 76066 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90538 76066 300 300 0 90238 0
vsize: 362152
[startup+570.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 134190 0 0 0 56712 294 0 0 25 0 1 0 865171725 372678656 76299 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90986 76299 300 300 0 90686 0
vsize: 363944
[startup+580.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 135425 0 0 0 57710 297 0 0 25 0 1 0 865171725 375963648 76825 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91788 76825 300 300 0 91488 0
vsize: 367152
[startup+590.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 135855 0 0 0 58710 298 0 0 25 0 1 0 865171725 377278464 76996 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92109 76996 300 300 0 91809 0
vsize: 368436
[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 137408 0 0 0 59707 301 0 0 25 0 1 0 865171725 381759488 77837 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93203 77837 300 300 0 92903 0
vsize: 372812
[startup+610.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 137856 0 0 0 60706 301 0 0 25 0 1 0 865171725 382812160 78091 4294967295 134512640 135726644 3221224592 3221223248 134731258 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93460 78091 300 300 0 93160 0
vsize: 373840
[startup+620.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 137997 0 0 0 61706 301 0 0 25 0 1 0 865171725 383074304 78167 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93524 78167 300 300 0 93224 0
vsize: 374096
[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 138434 0 0 0 62706 302 0 0 25 0 1 0 865171725 384126976 78410 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93781 78410 300 300 0 93481 0
vsize: 375124
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 139525 0 0 0 63704 304 0 0 25 0 1 0 865171725 386879488 78823 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94453 78823 300 300 0 94153 0
vsize: 377812
[startup+650.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 139779 0 0 0 64704 305 0 0 25 0 1 0 865171725 387403776 78948 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94581 78948 300 300 0 94281 0
vsize: 378324
[startup+660.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 140076 0 0 0 65703 305 0 0 25 0 1 0 865171725 388452352 78988 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94837 78988 300 300 0 94537 0
vsize: 379348
[startup+670.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 140079 0 0 0 66704 305 0 0 25 0 1 0 865171725 388452352 78991 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94837 78991 300 300 0 94537 0
vsize: 379348
[startup+680.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 140653 0 0 0 67703 306 0 0 25 0 1 0 865171725 390025216 79178 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95221 79178 300 300 0 94921 0
vsize: 380884
[startup+690.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 140655 0 0 0 68703 306 0 0 25 0 1 0 865171725 390025216 79180 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95221 79180 300 300 0 94921 0
vsize: 380884
[startup+700.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 142763 0 0 0 69699 310 0 0 25 0 1 0 865171725 398344192 81031 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97252 81031 300 300 0 96952 0
vsize: 389008
[startup+710.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 143617 0 0 0 70696 314 0 0 25 0 1 0 865171725 393445376 79720 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96056 79720 300 300 0 95756 0
vsize: 384224
[startup+720.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 143620 0 0 0 71696 314 0 0 25 0 1 0 865171725 393445376 79723 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96056 79723 300 300 0 95756 0
vsize: 384224
[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 143623 0 0 0 72695 314 0 0 25 0 1 0 865171725 393445376 79726 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96056 79726 300 300 0 95756 0
vsize: 384224
[startup+740.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 144643 0 0 0 73694 316 0 0 25 0 1 0 865171725 395808768 80227 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96633 80227 300 300 0 96333 0
vsize: 386532
[startup+750.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 144911 0 0 0 74693 317 0 0 25 0 1 0 865171725 396595200 80300 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96825 80300 300 300 0 96525 0
vsize: 387300
[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 144913 0 0 0 75693 317 0 0 25 0 1 0 865171725 396595200 80302 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96825 80302 300 300 0 96525 0
vsize: 387300
[startup+770.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 144914 0 0 0 76693 317 0 0 25 0 1 0 865171725 396595200 80303 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96825 80303 300 300 0 96525 0
vsize: 387300
[startup+780.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 144916 0 0 0 77693 317 0 0 25 0 1 0 865171725 396595200 80305 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96825 80305 300 300 0 96525 0
vsize: 387300
[startup+790.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 145203 0 0 0 78693 318 0 0 25 0 1 0 865171725 397922304 80527 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97149 80527 300 300 0 96849 0
vsize: 388596
[startup+800.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 145512 0 0 0 79692 319 0 0 25 0 1 0 865171725 398446592 80707 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97277 80707 300 300 0 96977 0
vsize: 389108
[startup+810.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 146224 0 0 0 80691 321 0 0 25 0 1 0 865171725 400543744 80905 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97789 80905 300 300 0 97489 0
vsize: 391156
[startup+820.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 146225 0 0 0 81691 321 0 0 25 0 1 0 865171725 400543744 80906 4294967295 134512640 135726644 3221224592 3221222840 135281747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97789 80906 300 300 0 97489 0
vsize: 391156
[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 146226 0 0 0 82691 321 0 0 25 0 1 0 865171725 400543744 80907 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97789 80907 300 300 0 97489 0
vsize: 391156
[startup+840.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 146630 0 0 0 83690 321 0 0 25 0 1 0 865171725 401592320 81054 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98045 81054 300 300 0 97745 0
vsize: 392180
[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 146643 0 0 0 84690 322 0 0 25 0 1 0 865171725 401592320 81067 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98045 81067 300 300 0 97745 0
vsize: 392180
[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 147040 0 0 0 85689 323 0 0 25 0 1 0 865171725 402640896 81207 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98301 81207 300 300 0 98001 0
vsize: 393204
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 147057 0 0 0 86690 323 0 0 25 0 1 0 865171725 402640896 81224 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98301 81224 300 300 0 98001 0
vsize: 393204
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 147063 0 0 0 87690 323 0 0 25 0 1 0 865171725 402640896 81230 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98301 81230 300 300 0 98001 0
vsize: 393204
[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 147064 0 0 0 88690 323 0 0 25 0 1 0 865171725 402640896 81231 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98301 81231 300 300 0 98001 0
vsize: 393204
[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 147104 0 0 0 89690 323 0 0 25 0 1 0 865171725 402640896 81271 4294967295 134512640 135726644 3221224592 3221223088 134744369 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98301 81271 300 300 0 98001 0
vsize: 393204
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 147116 0 0 0 90690 323 0 0 25 0 1 0 865171725 402640896 81283 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98301 81283 300 300 0 98001 0
vsize: 393204
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 148891 0 0 0 91687 327 0 0 25 0 1 0 865171725 409911296 83058 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100076 83058 300 300 0 99776 0
vsize: 400304
[startup+930.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149290 0 0 0 92686 328 0 0 25 0 1 0 865171725 403828736 81488 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98591 81488 300 300 0 98291 0
vsize: 394364
[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149433 0 0 0 93685 328 0 0 25 0 1 0 865171725 404357120 81566 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98720 81566 300 300 0 98420 0
vsize: 394880
[startup+950.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149541 0 0 0 94686 328 0 0 25 0 1 0 865171725 404897792 81674 4294967295 134512640 135726644 3221224592 3221223184 134760410 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98852 81674 300 300 0 98552 0
vsize: 395408
[startup+960.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149543 0 0 0 95686 328 0 0 25 0 1 0 865171725 404897792 81676 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98852 81676 300 300 0 98552 0
vsize: 395408
[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149544 0 0 0 96686 328 0 0 25 0 1 0 865171725 404897792 81677 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98852 81677 300 300 0 98552 0
vsize: 395408
[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149622 0 0 0 97686 328 0 0 25 0 1 0 865171725 405430272 81755 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98982 81755 300 300 0 98682 0
vsize: 395928
[startup+990.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149623 0 0 0 98686 328 0 0 25 0 1 0 865171725 405430272 81756 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98982 81756 300 300 0 98682 0
vsize: 395928
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149625 0 0 0 99687 328 0 0 25 0 1 0 865171725 405430272 81758 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98982 81758 300 300 0 98682 0
vsize: 395928
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149631 0 0 0 100687 328 0 0 25 0 1 0 865171725 405430272 81764 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98982 81764 300 300 0 98682 0
vsize: 395928
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149680 0 0 0 101687 328 0 0 25 0 1 0 865171725 405430272 81813 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98982 81813 300 300 0 98682 0
vsize: 395928
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 149683 0 0 0 102687 329 0 0 25 0 1 0 865171725 405430272 81816 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98982 81816 300 300 0 98682 0
vsize: 395928
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 150016 0 0 0 103686 330 0 0 25 0 1 0 865171725 406765568 82051 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99308 82051 300 300 0 99008 0
vsize: 397232
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 150354 0 0 0 104685 330 0 0 25 0 1 0 865171725 407683072 82162 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99532 82162 300 300 0 99232 0
vsize: 398128
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 150509 0 0 0 105685 331 0 0 25 0 1 0 865171725 408354816 82284 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99696 82284 300 300 0 99396 0
vsize: 398784
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 150664 0 0 0 106685 331 0 0 25 0 1 0 865171725 408752128 82374 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99793 82374 300 300 0 99493 0
vsize: 399172
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 150875 0 0 0 107684 332 0 0 25 0 1 0 865171725 409276416 82456 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99921 82456 300 300 0 99621 0
vsize: 399684
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 150996 0 0 0 108684 333 0 0 25 0 1 0 865171725 409538560 82512 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99985 82512 300 300 0 99685 0
vsize: 399940
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 151116 0 0 0 109684 333 0 0 25 0 1 0 865171725 409800704 82567 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100049 82567 300 300 0 99749 0
vsize: 400196
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 151339 0 0 0 110683 333 0 0 25 0 1 0 865171725 410329088 82725 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100178 82725 300 300 0 99878 0
vsize: 400712
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 151342 0 0 0 111684 333 0 0 25 0 1 0 865171725 410329088 82728 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100178 82728 300 300 0 99878 0
vsize: 400712
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 153119 0 0 0 112679 338 0 0 25 0 1 0 865171725 410329088 82730 4294967295 134512640 135726644 3221224592 3221223212 134779550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100178 82730 300 300 0 99878 0
vsize: 400712
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 153163 0 0 0 113680 338 0 0 25 0 1 0 865171725 410329088 82774 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100178 82774 300 300 0 99878 0
vsize: 400712
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 153361 0 0 0 114679 339 0 0 25 0 1 0 865171725 411123712 82907 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100372 82907 300 300 0 100072 0
vsize: 401488
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 153361 0 0 0 115679 339 0 0 25 0 1 0 865171725 411123712 82907 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100372 82907 300 300 0 100072 0
vsize: 401488
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 153361 0 0 0 116679 339 0 0 25 0 1 0 865171725 411123712 82907 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100372 82907 300 300 0 100072 0
vsize: 401488
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 153758 0 0 0 117678 340 0 0 25 0 1 0 865171725 412172288 83046 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100628 83046 300 300 0 100328 0
vsize: 402512
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 153912 0 0 0 118678 340 0 0 25 0 1 0 865171725 412700672 83135 4294967295 134512640 135726644 3221224592 3221223184 134760426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100757 83135 300 300 0 100457 0
vsize: 403028
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 154227 0 0 0 119678 341 0 0 25 0 1 0 865171725 413487104 83254 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100949 83254 300 300 0 100649 0
vsize: 403796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3067
Raw data (stat): 3067 (pb2sat) R 3066 20687 20686 0 -1 0 154227 0 0 0 119678 341 0 0 25 0 1 0 865171725 413487104 83254 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100949 83254 300 300 0 100649 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.13
CPU time (s): 1202.27
CPU user time (s): 1198.69
CPU system time (s): 3.57646
CPU usage (%): 100.012
Max. virtual memory (Kb): 403796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####