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/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb
MD5SUM	fa7153262db792d01bec14f5a651af5b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	872
Optimality of the best value was proved	NO
Number of terms in the objective function	232
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	9597
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	9597
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.332949
Number of variables	232
Total number of constraints	527
Number of constraints which are clauses	527
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	27
Trace number 34935

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-28 11:08:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24180 boxname=wulflinc6 idbench=254 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fa7153262db792d01bec14f5a651af5b  /oldhome/oroussel/tmp/wulflinc6/normalized-mux.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-mux.opb
IDLAUNCH: 24180
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        705888 kB
Buffers:         34112 kB
Cached:         271312 kB
SwapCached:        576 kB
Active:          18324 kB
Inactive:       289276 kB
HighTotal:      131008 kB
HighFree:       110432 kB
LowTotal:       903652 kB
LowFree:        595456 kB
SwapTotal:     2097136 kB
SwapFree:      2095604 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5176 kB
Slab:            15412 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:28:05 (client local time) WITH STATUS 0 IN 1202.56 SECONDS
stats: 24180 7 1202.56 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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.93 0.99 0.92 2/54 2473
Raw data (stat): 2473 (runsolver) R 2472 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806099410 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0013 s]
Raw data (loadavg): 0.94 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 30269 0 0 0 931 68 0 0 25 0 1 0 806099410 89710592 19126 4294967295 134512640 135726644 3221224592 3221170168 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21902 19127 300 300 0 21602 0
vsize: 87608
[startup+20.002 s]
Raw data (loadavg): 0.95 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 60014 0 0 0 1869 130 0 0 25 0 1 0 806099410 177020928 37644 4294967295 134512640 135726644 3221224592 3221213280 134767123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43218 37644 300 300 0 42918 0
vsize: 172872
[startup+30.0031 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 100006 0 0 0 2788 212 0 0 25 0 1 0 806099410 332853248 55448 4294967295 134512640 135726644 3221224592 3221202896 134782666 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81263 55449 300 300 0 80963 0
vsize: 325052
[startup+40.0039 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 120605 0 0 0 3744 256 0 0 25 0 1 0 806099410 362328064 75811 4294967295 134512640 135726644 3221224592 3221222928 134765544 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88459 75811 300 300 0 88159 0
vsize: 353836
[startup+50.0045 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 124698 0 0 0 4735 264 0 0 25 0 1 0 806099410 371679232 77190 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90742 77190 300 300 0 90442 0
vsize: 362968
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 124844 0 0 0 5735 265 0 0 25 0 1 0 806099410 372412416 77336 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90921 77336 300 300 0 90621 0
vsize: 363684
[startup+70.0061 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125035 0 0 0 6735 265 0 0 25 0 1 0 806099410 373211136 77461 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91116 77461 300 300 0 90816 0
vsize: 364464
[startup+80.0069 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125080 0 0 0 7736 265 0 0 25 0 1 0 806099410 373346304 77506 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91149 77506 300 300 0 90849 0
vsize: 364596
[startup+90.007 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125130 0 0 0 8736 265 0 0 25 0 1 0 806099410 373477376 77523 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91181 77523 300 300 0 90881 0
vsize: 364724
[startup+100.007 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125194 0 0 0 9736 266 0 0 25 0 1 0 806099410 373608448 77554 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91213 77554 300 300 0 90913 0
vsize: 364852
[startup+110.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125196 0 0 0 10736 266 0 0 25 0 1 0 806099410 373608448 77556 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91213 77556 300 300 0 90913 0
vsize: 364852
[startup+120.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125255 0 0 0 11737 266 0 0 25 0 1 0 806099410 373743616 77615 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91246 77615 300 300 0 90946 0
vsize: 364984
[startup+130.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125313 0 0 0 12737 266 0 0 25 0 1 0 806099410 373874688 77640 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91278 77640 300 300 0 90978 0
vsize: 365112
[startup+140.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125320 0 0 0 13737 266 0 0 25 0 1 0 806099410 373874688 77647 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91278 77647 300 300 0 90978 0
vsize: 365112
[startup+150.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125331 0 0 0 14737 266 0 0 25 0 1 0 806099410 373874688 77658 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91278 77658 300 300 0 90978 0
vsize: 365112
[startup+160.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125443 0 0 0 15737 266 0 0 25 0 1 0 806099410 374272000 77705 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91375 77705 300 300 0 91075 0
vsize: 365500
[startup+170.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125459 0 0 0 16737 267 0 0 25 0 1 0 806099410 374272000 77721 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91375 77721 300 300 0 91075 0
vsize: 365500
[startup+180.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125519 0 0 0 17737 267 0 0 25 0 1 0 806099410 374403072 77748 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91407 77748 300 300 0 91107 0
vsize: 365628
[startup+190.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125612 0 0 0 18738 267 0 0 25 0 1 0 806099410 374665216 77776 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 77776 300 300 0 91171 0
vsize: 365884
[startup+200.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125616 0 0 0 19738 267 0 0 25 0 1 0 806099410 374665216 77780 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 77780 300 300 0 91171 0
vsize: 365884
[startup+210.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125804 0 0 0 20738 267 0 0 25 0 1 0 806099410 375328768 77902 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91633 77902 300 300 0 91333 0
vsize: 366532
[startup+220.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125852 0 0 0 21738 267 0 0 25 0 1 0 806099410 375398400 77934 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91650 77934 300 300 0 91350 0
vsize: 366600
[startup+230.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125882 0 0 0 22738 268 0 0 25 0 1 0 806099410 375398400 77964 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91650 77964 300 300 0 91350 0
vsize: 366600
[startup+240.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125967 0 0 0 23738 268 0 0 25 0 1 0 806099410 375660544 77984 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91714 77984 300 300 0 91414 0
vsize: 366856
[startup+250.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125969 0 0 0 24739 268 0 0 25 0 1 0 806099410 375660544 77986 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91714 77986 300 300 0 91414 0
vsize: 366856
[startup+260.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125973 0 0 0 25739 268 0 0 25 0 1 0 806099410 375660544 77990 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91714 77990 300 300 0 91414 0
vsize: 366856
[startup+270.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 125976 0 0 0 26739 268 0 0 25 0 1 0 806099410 375660544 77993 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91714 77993 300 300 0 91414 0
vsize: 366856
[startup+280.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126068 0 0 0 27739 268 0 0 25 0 1 0 806099410 375922688 78020 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78020 300 300 0 91478 0
vsize: 367112
[startup+290.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126070 0 0 0 28739 268 0 0 25 0 1 0 806099410 375922688 78022 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78022 300 300 0 91478 0
vsize: 367112
[startup+300.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126072 0 0 0 29739 269 0 0 25 0 1 0 806099410 375922688 78024 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78024 300 300 0 91478 0
vsize: 367112
[startup+310.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126073 0 0 0 30739 269 0 0 25 0 1 0 806099410 375922688 78025 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78025 300 300 0 91478 0
vsize: 367112
[startup+320.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126076 0 0 0 31740 269 0 0 25 0 1 0 806099410 375922688 78028 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78028 300 300 0 91478 0
vsize: 367112
[startup+330.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126078 0 0 0 32740 269 0 0 25 0 1 0 806099410 375922688 78030 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78030 300 300 0 91478 0
vsize: 367112
[startup+340.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126080 0 0 0 33741 269 0 0 25 0 1 0 806099410 375922688 78032 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78032 300 300 0 91478 0
vsize: 367112
[startup+350.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126084 0 0 0 34741 269 0 0 25 0 1 0 806099410 375922688 78036 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78036 300 300 0 91478 0
vsize: 367112
[startup+360.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126085 0 0 0 35741 269 0 0 25 0 1 0 806099410 375922688 78037 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78037 300 300 0 91478 0
vsize: 367112
[startup+370.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126086 0 0 0 36741 269 0 0 25 0 1 0 806099410 375922688 78038 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78038 300 300 0 91478 0
vsize: 367112
[startup+380.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126089 0 0 0 37742 269 0 0 25 0 1 0 806099410 375922688 78041 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78041 300 300 0 91478 0
vsize: 367112
[startup+390.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126090 0 0 0 38742 269 0 0 25 0 1 0 806099410 375922688 78042 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78042 300 300 0 91478 0
vsize: 367112
[startup+400.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126092 0 0 0 39742 269 0 0 25 0 1 0 806099410 375922688 78044 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91778 78044 300 300 0 91478 0
vsize: 367112
[startup+410.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126131 0 0 0 40743 269 0 0 25 0 1 0 806099410 376188928 78083 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91843 78083 300 300 0 91543 0
vsize: 367372
[startup+420.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126133 0 0 0 41743 269 0 0 25 0 1 0 806099410 376188928 78085 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91843 78085 300 300 0 91543 0
vsize: 367372
[startup+430.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126155 0 0 0 42744 269 0 0 25 0 1 0 806099410 376188928 78107 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91843 78107 300 300 0 91543 0
vsize: 367372
[startup+440.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126248 0 0 0 43744 270 0 0 25 0 1 0 806099410 376451072 78135 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91907 78135 300 300 0 91607 0
vsize: 367628
[startup+450.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126253 0 0 0 44744 270 0 0 25 0 1 0 806099410 376451072 78140 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91907 78140 300 300 0 91607 0
vsize: 367628
[startup+460.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126255 0 0 0 45745 270 0 0 25 0 1 0 806099410 376451072 78142 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91907 78142 300 300 0 91607 0
vsize: 367628
[startup+470.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126256 0 0 0 46745 270 0 0 25 0 1 0 806099410 376451072 78143 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91907 78143 300 300 0 91607 0
vsize: 367628
[startup+480.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126258 0 0 0 47745 270 0 0 25 0 1 0 806099410 376451072 78145 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91907 78145 300 300 0 91607 0
vsize: 367628
[startup+490.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126260 0 0 0 48745 270 0 0 25 0 1 0 806099410 376451072 78147 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91907 78147 300 300 0 91607 0
vsize: 367628
[startup+500.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126261 0 0 0 49746 270 0 0 25 0 1 0 806099410 376451072 78148 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91907 78148 300 300 0 91607 0
vsize: 367628
[startup+510.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126263 0 0 0 50746 270 0 0 25 0 1 0 806099410 376451072 78150 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91907 78150 300 300 0 91607 0
vsize: 367628
[startup+520.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126371 0 0 0 51746 270 0 0 25 0 1 0 806099410 376852480 78225 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92005 78225 300 300 0 91705 0
vsize: 368020
[startup+530.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126452 0 0 0 52746 270 0 0 25 0 1 0 806099410 377257984 78306 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78306 300 300 0 91804 0
vsize: 368416
[startup+540.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126454 0 0 0 53747 270 0 0 25 0 1 0 806099410 377257984 78308 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78308 300 300 0 91804 0
vsize: 368416
[startup+550.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126456 0 0 0 54747 270 0 0 25 0 1 0 806099410 377257984 78310 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78310 300 300 0 91804 0
vsize: 368416
[startup+560.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126458 0 0 0 55747 270 0 0 25 0 1 0 806099410 377257984 78312 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78312 300 300 0 91804 0
vsize: 368416
[startup+570.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126461 0 0 0 56748 270 0 0 25 0 1 0 806099410 377257984 78315 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78315 300 300 0 91804 0
vsize: 368416
[startup+580.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126462 0 0 0 57748 270 0 0 25 0 1 0 806099410 377257984 78316 4294967295 134512640 135726644 3221224592 3221223088 134743886 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78316 300 300 0 91804 0
vsize: 368416
[startup+590.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126465 0 0 0 58748 270 0 0 25 0 1 0 806099410 377257984 78319 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78319 300 300 0 91804 0
vsize: 368416
[startup+600.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126471 0 0 0 59748 271 0 0 25 0 1 0 806099410 377257984 78325 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78325 300 300 0 91804 0
vsize: 368416
[startup+610.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126472 0 0 0 60749 271 0 0 25 0 1 0 806099410 377257984 78326 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78326 300 300 0 91804 0
vsize: 368416
[startup+620.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126475 0 0 0 61749 271 0 0 25 0 1 0 806099410 377257984 78329 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78329 300 300 0 91804 0
vsize: 368416
[startup+630.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126476 0 0 0 62749 271 0 0 25 0 1 0 806099410 377257984 78330 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78330 300 300 0 91804 0
vsize: 368416
[startup+640.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126489 0 0 0 63749 271 0 0 25 0 1 0 806099410 377257984 78343 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78343 300 300 0 91804 0
vsize: 368416
[startup+650.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126493 0 0 0 64749 271 0 0 25 0 1 0 806099410 377257984 78347 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78347 300 300 0 91804 0
vsize: 368416
[startup+660.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126494 0 0 0 65750 271 0 0 25 0 1 0 806099410 377257984 78348 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78348 300 300 0 91804 0
vsize: 368416
[startup+670.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126496 0 0 0 66750 271 0 0 25 0 1 0 806099410 377257984 78350 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78350 300 300 0 91804 0
vsize: 368416
[startup+680.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126500 0 0 0 67750 271 0 0 25 0 1 0 806099410 377257984 78354 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78354 300 300 0 91804 0
vsize: 368416
[startup+690.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126501 0 0 0 68751 271 0 0 25 0 1 0 806099410 377257984 78355 4294967295 134512640 135726644 3221224592 3221223228 134744478 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78355 300 300 0 91804 0
vsize: 368416
[startup+700.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126503 0 0 0 69751 271 0 0 25 0 1 0 806099410 377257984 78357 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78357 300 300 0 91804 0
vsize: 368416
[startup+710.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126505 0 0 0 70751 271 0 0 25 0 1 0 806099410 377257984 78359 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78359 300 300 0 91804 0
vsize: 368416
[startup+720.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126507 0 0 0 71751 271 0 0 25 0 1 0 806099410 377257984 78361 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78361 300 300 0 91804 0
vsize: 368416
[startup+730.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126509 0 0 0 72752 271 0 0 25 0 1 0 806099410 377257984 78363 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78363 300 300 0 91804 0
vsize: 368416
[startup+740.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126512 0 0 0 73752 271 0 0 25 0 1 0 806099410 377257984 78366 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78366 300 300 0 91804 0
vsize: 368416
[startup+750.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126517 0 0 0 74752 271 0 0 25 0 1 0 806099410 377257984 78371 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78371 300 300 0 91804 0
vsize: 368416
[startup+760.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126519 0 0 0 75753 271 0 0 25 0 1 0 806099410 377257984 78373 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78373 300 300 0 91804 0
vsize: 368416
[startup+770.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126520 0 0 0 76753 271 0 0 25 0 1 0 806099410 377257984 78374 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78374 300 300 0 91804 0
vsize: 368416
[startup+780.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126523 0 0 0 77753 271 0 0 25 0 1 0 806099410 377257984 78377 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78377 300 300 0 91804 0
vsize: 368416
[startup+790.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126524 0 0 0 78753 271 0 0 25 0 1 0 806099410 377257984 78378 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92104 78378 300 300 0 91804 0
vsize: 368416
[startup+800.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126590 0 0 0 79754 271 0 0 25 0 1 0 806099410 377528320 78444 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92170 78444 300 300 0 91870 0
vsize: 368680
[startup+810.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126595 0 0 0 80754 271 0 0 25 0 1 0 806099410 377528320 78449 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92170 78449 300 300 0 91870 0
vsize: 368680
[startup+820.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126597 0 0 0 81754 271 0 0 25 0 1 0 806099410 377528320 78451 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92170 78451 300 300 0 91870 0
vsize: 368680
[startup+830.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126598 0 0 0 82755 271 0 0 25 0 1 0 806099410 377528320 78452 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92170 78452 300 300 0 91870 0
vsize: 368680
[startup+840.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126599 0 0 0 83755 271 0 0 25 0 1 0 806099410 377528320 78453 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92170 78453 300 300 0 91870 0
vsize: 368680
[startup+850.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126815 0 0 0 84755 272 0 0 25 0 1 0 806099410 378494976 78636 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92406 78636 300 300 0 92106 0
vsize: 369624
[startup+860.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 126959 0 0 0 85755 272 0 0 25 0 1 0 806099410 378892288 78714 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92503 78714 300 300 0 92203 0
vsize: 370012
[startup+870.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127009 0 0 0 86756 272 0 0 25 0 1 0 806099410 379219968 78731 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92583 78731 300 300 0 92283 0
vsize: 370332
[startup+880.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127181 0 0 0 87755 272 0 0 25 0 1 0 806099410 379953152 78903 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92762 78903 300 300 0 92462 0
vsize: 371048
[startup+890.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127299 0 0 0 88755 273 0 0 25 0 1 0 806099410 380555264 79021 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92909 79021 300 300 0 92609 0
vsize: 371636
[startup+900.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127487 0 0 0 89755 273 0 0 25 0 1 0 806099410 381292544 79160 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93089 79160 300 300 0 92789 0
vsize: 372356
[startup+910.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127517 0 0 0 90755 273 0 0 25 0 1 0 806099410 381427712 79190 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93122 79190 300 300 0 92822 0
vsize: 372488
[startup+920.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127520 0 0 0 91755 273 0 0 25 0 1 0 806099410 381427712 79193 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93122 79193 300 300 0 92822 0
vsize: 372488
[startup+930.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127666 0 0 0 92755 274 0 0 25 0 1 0 806099410 381820928 79240 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93218 79240 300 300 0 92918 0
vsize: 372872
[startup+940.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127671 0 0 0 93756 274 0 0 25 0 1 0 806099410 381820928 79245 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93218 79245 300 300 0 92918 0
vsize: 372872
[startup+950.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127711 0 0 0 94756 274 0 0 25 0 1 0 806099410 382087168 79285 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93283 79285 300 300 0 92983 0
vsize: 373132
[startup+960.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127713 0 0 0 95756 274 0 0 25 0 1 0 806099410 382087168 79287 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93283 79287 300 300 0 92983 0
vsize: 373132
[startup+970.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127716 0 0 0 96756 274 0 0 25 0 1 0 806099410 382087168 79290 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93283 79290 300 300 0 92983 0
vsize: 373132
[startup+980.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127723 0 0 0 97757 274 0 0 25 0 1 0 806099410 382087168 79297 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93283 79297 300 300 0 92983 0
vsize: 373132
[startup+990.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127730 0 0 0 98757 274 0 0 25 0 1 0 806099410 382087168 79304 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93283 79304 300 300 0 92983 0
vsize: 373132
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 127849 0 0 0 99757 274 0 0 25 0 1 0 806099410 382484480 79357 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93380 79357 300 300 0 93080 0
vsize: 373520
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128064 0 0 0 100757 275 0 0 25 0 1 0 806099410 383143936 79440 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93541 79440 300 300 0 93241 0
vsize: 374164
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128113 0 0 0 101757 275 0 0 25 0 1 0 806099410 383275008 79456 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93573 79456 300 300 0 93273 0
vsize: 374292
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128170 0 0 0 102758 275 0 0 25 0 1 0 806099410 383541248 79513 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93638 79513 300 300 0 93338 0
vsize: 374552
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128171 0 0 0 103758 275 0 0 25 0 1 0 806099410 383541248 79514 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93638 79514 300 300 0 93338 0
vsize: 374552
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128177 0 0 0 104758 275 0 0 25 0 1 0 806099410 383541248 79520 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93638 79520 300 300 0 93338 0
vsize: 374552
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128179 0 0 0 105758 275 0 0 25 0 1 0 806099410 383541248 79522 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93638 79522 300 300 0 93338 0
vsize: 374552
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128181 0 0 0 106759 275 0 0 25 0 1 0 806099410 383541248 79524 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93638 79524 300 300 0 93338 0
vsize: 374552
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128233 0 0 0 107759 275 0 0 25 0 1 0 806099410 383807488 79576 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93703 79576 300 300 0 93403 0
vsize: 374812
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128234 0 0 0 108759 275 0 0 25 0 1 0 806099410 383807488 79577 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93703 79577 300 300 0 93403 0
vsize: 374812
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128244 0 0 0 109759 276 0 0 25 0 1 0 806099410 383807488 79587 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93703 79587 300 300 0 93403 0
vsize: 374812
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128247 0 0 0 110760 276 0 0 25 0 1 0 806099410 383807488 79590 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93703 79590 300 300 0 93403 0
vsize: 374812
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128352 0 0 0 111760 276 0 0 25 0 1 0 806099410 384069632 79630 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93767 79630 300 300 0 93467 0
vsize: 375068
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128357 0 0 0 112760 276 0 0 25 0 1 0 806099410 384069632 79635 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93767 79635 300 300 0 93467 0
vsize: 375068
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128358 0 0 0 113760 276 0 0 25 0 1 0 806099410 384069632 79636 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93767 79636 300 300 0 93467 0
vsize: 375068
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128361 0 0 0 114761 276 0 0 25 0 1 0 806099410 384069632 79639 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93767 79639 300 300 0 93467 0
vsize: 375068
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128377 0 0 0 115761 276 0 0 25 0 1 0 806099410 384069632 79655 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93767 79655 300 300 0 93467 0
vsize: 375068
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128378 0 0 0 116761 276 0 0 25 0 1 0 806099410 384069632 79656 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93767 79656 300 300 0 93467 0
vsize: 375068
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128379 0 0 0 117761 276 0 0 25 0 1 0 806099410 384069632 79657 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93767 79657 300 300 0 93467 0
vsize: 375068
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128420 0 0 0 118762 276 0 0 25 0 1 0 806099410 384069632 79698 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93767 79698 300 300 0 93467 0
vsize: 375068
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128465 0 0 0 119762 276 0 0 25 0 1 0 806099410 384069632 79743 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93767 79743 300 300 0 93467 0
vsize: 375068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.18 s]
Raw data (loadavg): 0.99 0.99 0.92 1/53 2473
Raw data (stat): 2473 (pb2sat) R 2472 25568 25567 0 -1 0 128465 0 0 0 119762 276 0 0 25 0 1 0 806099410 384069632 79743 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93767 79743 300 300 0 93467 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.18
CPU time (s): 1202.56
CPU user time (s): 1199.63
CPU system time (s): 2.93055
CPU usage (%): 100.032
Max. virtual memory (Kb): 375068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####