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-seymour.opb
MD5SUM	7a556e7a6f3a7d80c9337cf46e294ecb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	482
Optimality of the best value was proved	NO
Number of terms in the objective function	1372
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1372
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1372
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05684
Number of variables	1372
Total number of constraints	6316
Number of constraints which are clauses	4944
Number of constraints which are cardinality constraints (but not clauses)	1372
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	19
Trace number 35685

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-28 13:29:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24914 boxname=wulflinc17 idbench=1386 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7a556e7a6f3a7d80c9337cf46e294ecb  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-seymour.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-seymour.opb
IDLAUNCH: 24914
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        773744 kB
Buffers:          6356 kB
Cached:         230724 kB
SwapCached:        580 kB
Active:          17900 kB
Inactive:       221168 kB
HighTotal:      131008 kB
HighFree:        23212 kB
LowTotal:       903652 kB
LowFree:        750532 kB
SwapTotal:     2097892 kB
SwapFree:      2096376 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            16116 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:49:41 (client local time) WITH STATUS 0 IN 1202.28 SECONDS
stats: 24914 7 1202.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 691645/944638	Time: 241.398/86400
Decision: 691645/944638	Time: 278.965/86400
Decision: 691645/944638	Time: 327.756/86400
Decision: 691645/944638	Time: 361.445/86400
Decision: 691645/944638	Time: 391.625/86400
Decision: 692772/944638	Time: 445.568/86400
Decision: 692774/944638	Time: 486.378/86400
Decision: 693902/944638	Time: 530.215/86400
Decision: 693902/944638	Time: 565.305/86400
Decision: 693902/944638	Time: 585.022/86400
Decision: 693902/944638	Time: 627.986/86400
Decision: 693902/944638	Time: 668.906/86400
Decision: 693902/944638	Time: 709.873/86400
Decision: 693966/944638	Time: 768.633/86400
Decision: 693966/944638	Time: 811.854/86400
Decision: 693966/944638	Time: 854.963/86400
Decision: 693966/944638	Time: 902.462/86400
Decision: 693966/944638	Time: 944.271/86400
Decision: 696205/944638	Time: 1021.06/86400
Decision: 696205/944638	Time: 1055.08/86400
Decision: 696205/944638	Time: 1097.01/86400
Decision: 696205/944638	Time: 1132.86/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.90 0.95 0.91 2/54 22103
Raw data (stat): 22103 (runsolver) R 22102 7475 7474 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865183803 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.92 0.95 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 29312 0 0 0 932 66 0 0 25 0 1 0 865183803 88952832 18408 4294967295 134512640 135726644 3221224576 3220790700 134634291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21717 18408 300 300 0 21417 0
vsize: 86868
[startup+20.0011 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 57831 0 0 0 1869 130 0 0 25 0 1 0 865183803 174809088 35970 4294967295 134512640 135726644 3221224576 3221008880 134782708 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42678 35970 300 300 0 42378 0
vsize: 170712
[startup+30.0027 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 98105 0 0 0 2788 211 0 0 25 0 1 0 865183803 298098688 54565 4294967295 134512640 135726644 3221224576 3220980060 134766502 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72778 54565 300 300 0 72478 0
vsize: 291112
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 113984 0 0 0 3752 246 0 0 25 0 1 0 865183803 345440256 70220 4294967295 134512640 135726644 3221224576 3221129752 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84336 70220 300 300 0 84036 0
vsize: 337344
[startup+50.0069 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 127442 0 0 0 4723 276 0 0 25 0 1 0 865183803 374349824 83566 4294967295 134512640 135726644 3221224576 3221222896 134765508 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91394 83566 300 300 0 91094 0
vsize: 365576
[startup+60.0069 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 130239 0 0 0 5716 282 0 0 25 0 1 0 865183803 374284288 82871 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91378 82871 300 300 0 91078 0
vsize: 365512
[startup+70.0071 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 133382 0 0 0 6710 288 0 0 25 0 1 0 865183803 381915136 84409 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93241 84409 300 300 0 92941 0
vsize: 372964
[startup+80.0077 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 135871 0 0 0 7705 294 0 0 25 0 1 0 865183803 388497408 85503 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94848 85503 300 300 0 94548 0
vsize: 379392
[startup+90.0072 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 138268 0 0 0 8701 298 0 0 25 0 1 0 865183803 394944512 86555 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96422 86555 300 300 0 96122 0
vsize: 385688
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 140070 0 0 0 9696 302 0 0 25 0 1 0 865183803 399814656 87416 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97611 87416 300 300 0 97311 0
vsize: 390444
[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 141187 0 0 0 10693 306 0 0 25 0 1 0 865183803 402780160 87981 4294967295 134512640 135726644 3221224576 3221223072 134743925 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98335 87981 300 300 0 98035 0
vsize: 393340
[startup+120.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 142382 0 0 0 11691 309 0 0 25 0 1 0 865183803 406224896 88622 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99176 88622 300 300 0 98876 0
vsize: 396704
[startup+130.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 143025 0 0 0 12690 310 0 0 25 0 1 0 865183803 408006656 88924 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99611 88924 300 300 0 99311 0
vsize: 398444
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 143877 0 0 0 13688 312 0 0 25 0 1 0 865183803 409976832 89352 4294967295 134512640 135726644 3221224576 3221223072 134743946 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100092 89352 300 300 0 99792 0
vsize: 400368
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 144644 0 0 0 14686 314 0 0 25 0 1 0 865183803 412340224 89602 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100669 89602 300 300 0 100369 0
vsize: 402676
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 144772 0 0 0 15686 314 0 0 25 0 1 0 865183803 412602368 89665 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100733 89665 300 300 0 100433 0
vsize: 402932
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 144913 0 0 0 16685 315 0 0 25 0 1 0 865183803 413130752 89741 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100862 89741 300 300 0 100562 0
vsize: 403448
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 145736 0 0 0 17684 317 0 0 25 0 1 0 865183803 416169984 90206 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101604 90206 300 300 0 101304 0
vsize: 406416
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 146108 0 0 0 18683 318 0 0 25 0 1 0 865183803 417091584 90415 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101829 90415 300 300 0 101529 0
vsize: 407316
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 146837 0 0 0 19682 319 0 0 25 0 1 0 865183803 419209216 90867 4294967295 134512640 135726644 3221224576 3221223232 134731190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102346 90867 300 300 0 102046 0
vsize: 409384
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 147749 0 0 0 20679 322 0 0 25 0 1 0 865183803 422363136 91263 4294967295 134512640 135726644 3221224576 3221223264 134744955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103116 91263 300 300 0 102816 0
vsize: 412464
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 148325 0 0 0 21678 324 0 0 25 0 1 0 865183803 424214528 91580 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103568 91580 300 300 0 103268 0
vsize: 414272
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 149141 0 0 0 22676 326 0 0 25 0 1 0 865183803 426708992 91911 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104177 91911 300 300 0 103877 0
vsize: 416708
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 149144 0 0 0 23676 326 0 0 25 0 1 0 865183803 426708992 91914 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104177 91914 300 300 0 103877 0
vsize: 416708
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 149540 0 0 0 24675 327 0 0 25 0 1 0 865183803 428027904 92115 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104499 92115 300 300 0 104199 0
vsize: 417996
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 149555 0 0 0 25675 327 0 0 25 0 1 0 865183803 428027904 92130 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104499 92130 300 300 0 104199 0
vsize: 417996
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 149581 0 0 0 26674 328 0 0 25 0 1 0 865183803 428027904 92156 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104499 92156 300 300 0 104199 0
vsize: 417996
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 149879 0 0 0 27674 329 0 0 25 0 1 0 865183803 429084672 92324 4294967295 134512640 135726644 3221224576 3221223216 134744671 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104757 92324 300 300 0 104457 0
vsize: 419028
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 151769 0 0 0 28670 333 0 0 25 0 1 0 865183803 429219840 92369 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104790 92369 300 300 0 104490 0
vsize: 419160
[startup+300.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 151894 0 0 0 29669 334 0 0 25 0 1 0 865183803 429481984 92429 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104854 92429 300 300 0 104554 0
vsize: 419416
[startup+310.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 151894 0 0 0 30668 334 0 0 25 0 1 0 865183803 429481984 92429 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104854 92429 300 300 0 104554 0
vsize: 419416
[startup+320.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 152041 0 0 0 31668 335 0 0 25 0 1 0 865183803 430354432 92576 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105067 92576 300 300 0 104767 0
vsize: 420268
[startup+330.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 154176 0 0 0 32663 340 0 0 25 0 1 0 865183803 431009792 92703 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105227 92703 300 300 0 104927 0
vsize: 420908
[startup+340.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 155057 0 0 0 33660 343 0 0 25 0 1 0 865183803 433594368 93175 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105858 93175 300 300 0 105558 0
vsize: 423432
[startup+350.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 155343 0 0 0 34659 344 0 0 25 0 1 0 865183803 434458624 93412 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106069 93412 300 300 0 105769 0
vsize: 424276
[startup+360.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 155462 0 0 0 35659 345 0 0 25 0 1 0 865183803 434991104 93531 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106199 93531 300 300 0 105899 0
vsize: 424796
[startup+370.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 155864 0 0 0 36658 346 0 0 25 0 1 0 865183803 436445184 93770 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106554 93770 300 300 0 106254 0
vsize: 426216
[startup+380.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 157712 0 0 0 37654 350 0 0 25 0 1 0 865183803 436445184 93773 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106554 93773 300 300 0 106254 0
vsize: 426216
[startup+390.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 157719 0 0 0 38654 350 0 0 25 0 1 0 865183803 436445184 93780 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106554 93780 300 300 0 106254 0
vsize: 426216
[startup+400.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 157745 0 0 0 39654 350 0 0 25 0 1 0 865183803 436445184 93806 4294967295 134512640 135726644 3221224576 3221223180 134743852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106554 93806 300 300 0 106254 0
vsize: 426216
[startup+410.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 159813 0 0 0 40649 355 0 0 25 0 1 0 865183803 436973568 93963 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106683 93963 300 300 0 106383 0
vsize: 426732
[startup+420.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 159818 0 0 0 41648 356 0 0 25 0 1 0 865183803 436973568 93968 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93968 300 300 0 106383 0
vsize: 426732
[startup+430.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 159822 0 0 0 42648 356 0 0 25 0 1 0 865183803 436973568 93972 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93972 300 300 0 106383 0
vsize: 426732
[startup+440.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 161672 0 0 0 43643 361 0 0 25 0 1 0 865183803 436973568 93977 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93977 300 300 0 106383 0
vsize: 426732
[startup+450.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 161674 0 0 0 44643 361 0 0 25 0 1 0 865183803 436973568 93979 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93979 300 300 0 106383 0
vsize: 426732
[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 161707 0 0 0 45642 362 0 0 25 0 1 0 865183803 437108736 94012 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106716 94012 300 300 0 106416 0
vsize: 426864
[startup+470.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 161762 0 0 0 46642 362 0 0 25 0 1 0 865183803 437379072 94067 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106782 94067 300 300 0 106482 0
vsize: 427128
[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 161766 0 0 0 47642 363 0 0 25 0 1 0 865183803 437379072 94071 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106782 94071 300 300 0 106482 0
vsize: 427128
[startup+490.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 163618 0 0 0 48638 367 0 0 25 0 1 0 865183803 437379072 94078 4294967295 134512640 135726644 3221224576 3221223200 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106782 94078 300 300 0 106482 0
vsize: 427128
[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 163695 0 0 0 49637 368 0 0 25 0 1 0 865183803 437645312 94122 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106847 94122 300 300 0 106547 0
vsize: 427388
[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 163743 0 0 0 50638 368 0 0 25 0 1 0 865183803 437915648 94170 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106913 94170 300 300 0 106613 0
vsize: 427652
[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 163828 0 0 0 51637 368 0 0 25 0 1 0 865183803 438317056 94222 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107011 94222 300 300 0 106711 0
vsize: 428044
[startup+530.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 163954 0 0 0 52636 369 0 0 25 0 1 0 865183803 439054336 94348 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94348 300 300 0 106891 0
vsize: 428764
[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 165802 0 0 0 53632 374 0 0 25 0 1 0 865183803 439054336 94351 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94351 300 300 0 106891 0
vsize: 428764
[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 165807 0 0 0 54631 375 0 0 25 0 1 0 865183803 439054336 94356 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94356 300 300 0 106891 0
vsize: 428764
[startup+560.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 165810 0 0 0 55631 375 0 0 25 0 1 0 865183803 439054336 94359 4294967295 134512640 135726644 3221224576 3221223120 134736684 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94359 300 300 0 106891 0
vsize: 428764
[startup+570.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 165814 0 0 0 56631 375 0 0 25 0 1 0 865183803 439054336 94363 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94363 300 300 0 106891 0
vsize: 428764
[startup+580.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 167685 0 0 0 57626 380 0 0 25 0 1 0 865183803 439250944 94389 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94389 300 300 0 106939 0
vsize: 428956
[startup+590.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 167692 0 0 0 58626 380 0 0 25 0 1 0 865183803 439250944 94396 4294967295 134512640 135726644 3221224576 3221223072 134744036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94396 300 300 0 106939 0
vsize: 428956
[startup+600.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 167699 0 0 0 59626 380 0 0 25 0 1 0 865183803 439250944 94403 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94403 300 300 0 106939 0
vsize: 428956
[startup+610.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 167704 0 0 0 60626 381 0 0 25 0 1 0 865183803 439250944 94408 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94408 300 300 0 106939 0
vsize: 428956
[startup+620.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 169553 0 0 0 61621 385 0 0 25 0 1 0 865183803 439250944 94412 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94412 300 300 0 106939 0
vsize: 428956
[startup+630.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 169570 0 0 0 62621 386 0 0 25 0 1 0 865183803 439250944 94429 4294967295 134512640 135726644 3221224576 3221223088 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94429 300 300 0 106939 0
vsize: 428956
[startup+640.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 171418 0 0 0 63617 390 0 0 25 0 1 0 865183803 439250944 94432 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94432 300 300 0 106939 0
vsize: 428956
[startup+650.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 171424 0 0 0 64616 390 0 0 25 0 1 0 865183803 439250944 94438 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94438 300 300 0 106939 0
vsize: 428956
[startup+660.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 171427 0 0 0 65616 391 0 0 25 0 1 0 865183803 439250944 94441 4294967295 134512640 135726644 3221224576 3221223216 134762117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94441 300 300 0 106939 0
vsize: 428956
[startup+670.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 171429 0 0 0 66616 392 0 0 25 0 1 0 865183803 439250944 94443 4294967295 134512640 135726644 3221224576 3221223088 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94443 300 300 0 106939 0
vsize: 428956
[startup+680.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 173275 0 0 0 67611 397 0 0 25 0 1 0 865183803 439250944 94444 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94444 300 300 0 106939 0
vsize: 428956
[startup+690.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 173276 0 0 0 68611 397 0 0 25 0 1 0 865183803 439250944 94445 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94445 300 300 0 106939 0
vsize: 428956
[startup+700.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 173296 0 0 0 69610 398 0 0 25 0 1 0 865183803 439250944 94465 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94465 300 300 0 106939 0
vsize: 428956
[startup+710.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 173298 0 0 0 70610 398 0 0 25 0 1 0 865183803 439250944 94467 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94467 300 300 0 106939 0
vsize: 428956
[startup+720.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 173302 0 0 0 71610 398 0 0 25 0 1 0 865183803 439250944 94471 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94471 300 300 0 106939 0
vsize: 428956
[startup+730.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 173322 0 0 0 72610 399 0 0 25 0 1 0 865183803 439250944 94491 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94491 300 300 0 106939 0
vsize: 428956
[startup+740.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 173324 0 0 0 73610 399 0 0 25 0 1 0 865183803 439250944 94493 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94493 300 300 0 106939 0
vsize: 428956
[startup+750.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 173328 0 0 0 74609 400 0 0 25 0 1 0 865183803 439250944 94497 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94497 300 300 0 106939 0
vsize: 428956
[startup+760.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 175175 0 0 0 75605 404 0 0 25 0 1 0 865183803 439250944 94499 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94499 300 300 0 106939 0
vsize: 428956
[startup+770.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 175179 0 0 0 76604 405 0 0 25 0 1 0 865183803 439250944 94503 4294967295 134512640 135726644 3221224576 3221223200 134744588 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94503 300 300 0 106939 0
vsize: 428956
[startup+780.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 175181 0 0 0 77604 405 0 0 25 0 1 0 865183803 439250944 94505 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94505 300 300 0 106939 0
vsize: 428956
[startup+790.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 175184 0 0 0 78604 406 0 0 25 0 1 0 865183803 439250944 94508 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94508 300 300 0 106939 0
vsize: 428956
[startup+800.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 175187 0 0 0 79603 407 0 0 25 0 1 0 865183803 439250944 94511 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94511 300 300 0 106939 0
vsize: 428956
[startup+810.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 175190 0 0 0 80603 407 0 0 25 0 1 0 865183803 439250944 94514 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94514 300 300 0 106939 0
vsize: 428956
[startup+820.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 177037 0 0 0 81598 412 0 0 25 0 1 0 865183803 439250944 94516 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94516 300 300 0 106939 0
vsize: 428956
[startup+830.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 177055 0 0 0 82598 413 0 0 25 0 1 0 865183803 439447552 94534 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94534 300 300 0 106987 0
vsize: 429148
[startup+840.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 177058 0 0 0 83597 413 0 0 25 0 1 0 865183803 439447552 94537 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94537 300 300 0 106987 0
vsize: 429148
[startup+850.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 177071 0 0 0 84597 414 0 0 25 0 1 0 865183803 439447552 94550 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94550 300 300 0 106987 0
vsize: 429148
[startup+860.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 178919 0 0 0 85593 418 0 0 25 0 1 0 865183803 439447552 94553 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94553 300 300 0 106987 0
vsize: 429148
[startup+870.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 178921 0 0 0 86592 419 0 0 25 0 1 0 865183803 439447552 94555 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94555 300 300 0 106987 0
vsize: 429148
[startup+880.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 178926 0 0 0 87592 419 0 0 25 0 1 0 865183803 439447552 94560 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94560 300 300 0 106987 0
vsize: 429148
[startup+890.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 178935 0 0 0 88592 419 0 0 25 0 1 0 865183803 439447552 94569 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94569 300 300 0 106987 0
vsize: 429148
[startup+900.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 180780 0 0 0 89587 424 0 0 25 0 1 0 865183803 439447552 94569 4294967295 134512640 135726644 3221224576 3221223136 134784026 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94569 300 300 0 106987 0
vsize: 429148
[startup+910.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 180781 0 0 0 90587 425 0 0 25 0 1 0 865183803 439447552 94570 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94570 300 300 0 106987 0
vsize: 429148
[startup+920.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 180782 0 0 0 91587 425 0 0 25 0 1 0 865183803 439447552 94571 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94571 300 300 0 106987 0
vsize: 429148
[startup+930.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 180783 0 0 0 92587 425 0 0 25 0 1 0 865183803 439447552 94572 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94572 300 300 0 106987 0
vsize: 429148
[startup+940.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 180783 0 0 0 93587 426 0 0 25 0 1 0 865183803 439447552 94572 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94572 300 300 0 106987 0
vsize: 429148
[startup+950.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 182629 0 0 0 94582 431 0 0 25 0 1 0 865183803 439447552 94573 4294967295 134512640 135726644 3221224576 3221222900 135341057 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94573 300 300 0 106987 0
vsize: 429148
[startup+960.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 182630 0 0 0 95582 431 0 0 25 0 1 0 865183803 439447552 94574 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94574 300 300 0 106987 0
vsize: 429148
[startup+970.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 182631 0 0 0 96582 432 0 0 25 0 1 0 865183803 439447552 94575 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94575 300 300 0 106987 0
vsize: 429148
[startup+980.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 182632 0 0 0 97582 432 0 0 25 0 1 0 865183803 439447552 94576 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94576 300 300 0 106987 0
vsize: 429148
[startup+990.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 184480 0 0 0 98578 436 0 0 25 0 1 0 865183803 447008768 96424 4294967295 134512640 135726644 3221224576 3221222768 134769129 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109133 96424 300 300 0 108833 0
vsize: 436532
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 184483 0 0 0 99577 437 0 0 25 0 1 0 865183803 439447552 94582 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94582 300 300 0 106987 0
vsize: 429148
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 184496 0 0 0 100577 437 0 0 25 0 1 0 865183803 439447552 94595 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94595 300 300 0 106987 0
vsize: 429148
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 184499 0 0 0 101577 438 0 0 25 0 1 0 865183803 439447552 94598 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94598 300 300 0 106987 0
vsize: 429148
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 184506 0 0 0 102577 438 0 0 25 0 1 0 865183803 439447552 94605 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94605 300 300 0 106987 0
vsize: 429148
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 184509 0 0 0 103577 438 0 0 25 0 1 0 865183803 439447552 94608 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94608 300 300 0 106987 0
vsize: 429148
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 184512 0 0 0 104577 438 0 0 25 0 1 0 865183803 439447552 94611 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94611 300 300 0 106987 0
vsize: 429148
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 184516 0 0 0 105577 439 0 0 25 0 1 0 865183803 439447552 94615 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94615 300 300 0 106987 0
vsize: 429148
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 186367 0 0 0 106571 444 0 0 25 0 1 0 865183803 439447552 94621 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94621 300 300 0 106987 0
vsize: 429148
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 186370 0 0 0 107571 445 0 0 25 0 1 0 865183803 439447552 94624 4294967295 134512640 135726644 3221224576 3221223072 134744357 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94624 300 300 0 106987 0
vsize: 429148
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 186378 0 0 0 108570 445 0 0 25 0 1 0 865183803 439447552 94632 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94632 300 300 0 106987 0
vsize: 429148
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 186432 0 0 0 109570 446 0 0 25 0 1 0 865183803 439840768 94686 4294967295 134512640 135726644 3221224576 3221223088 134742300 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94686 300 300 0 107083 0
vsize: 429532
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 188281 0 0 0 110566 450 0 0 25 0 1 0 865183803 439840768 94690 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94690 300 300 0 107083 0
vsize: 429532
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 188300 0 0 0 111566 451 0 0 25 0 1 0 865183803 439840768 94709 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94709 300 300 0 107083 0
vsize: 429532
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 188307 0 0 0 112566 451 0 0 25 0 1 0 865183803 439840768 94716 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94716 300 300 0 107083 0
vsize: 429532
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 190197 0 0 0 113562 456 0 0 25 0 1 0 865183803 447672320 96606 4294967295 134512640 135726644 3221224576 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109295 96606 300 300 0 108995 0
vsize: 437180
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 190198 0 0 0 114561 457 0 0 25 0 1 0 865183803 440111104 94762 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94762 300 300 0 107149 0
vsize: 429796
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 190199 0 0 0 115561 457 0 0 25 0 1 0 865183803 440111104 94763 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94763 300 300 0 107149 0
vsize: 429796
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 190201 0 0 0 116560 458 0 0 25 0 1 0 865183803 440111104 94765 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94765 300 300 0 107149 0
vsize: 429796
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 192136 0 0 0 117556 462 0 0 25 0 1 0 865183803 448077824 96700 4294967295 134512640 135726644 3221224576 3221222720 134765521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109394 96700 300 300 0 109094 0
vsize: 437576
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 192136 0 0 0 118556 462 0 0 25 0 1 0 865183803 440516608 94855 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94855 300 300 0 107248 0
vsize: 430192
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 192141 0 0 0 119556 462 0 0 25 0 1 0 865183803 440516608 94860 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94860 300 300 0 107248 0
vsize: 430192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.11 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 22103
Raw data (stat): 22103 (pb2sat) R 22102 7475 7474 0 -1 0 192141 0 0 0 119556 462 0 0 25 0 1 0 865183803 440516608 94860 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94860 300 300 0 107248 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.11
CPU time (s): 1202.28
CPU user time (s): 1197.46
CPU system time (s): 4.81527
CPU usage (%): 100.014
Max. virtual memory (Kb): 437576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####